[sve] Make pre-SVE register tracing consistent.
This introduces consistent rules for register tracing, and introduces
clear rules for displaying and parsing structured accesses. This fixes
several problems in the existing system, and provides the framework for
adapting the SVE tracing to match.
In particular, it is now possible to parse individual lines of trace to
build a model of machine state, without having to examine surrounding
lines.
Documentation is provided for the new format. It is not a formal
specification, but should be sufficient for authors of parsing tools.
The SVE tracing will be updated in a follow-up patch.
Change-Id: Id48dbdb28e9371a7d1359bbe17c8f24e2c5fb442
diff --git a/test/test-trace-reference/log-branch b/test/test-trace-reference/log-branch
index 1a01786..72f3dfa 100644
--- a/test/test-trace-reference/log-branch
+++ b/test/test-trace-reference/log-branch
@@ -1,595 +1,2389 @@
-# w18: 0x00000060 -> 0x~~~~~~~~~~~~~~~~
-# x19: 0x0000000000000086 -> 0x~~~~~~~~~~~~~~~~
-# w20<7:0>: 0x04 -> 0x~~~~~~~~~~~~~~~~
-# w21<7:0>: 0x03 -> 0x~~~~~~~~~~~~~~~~
-# w22<15:0>: 0x0004 -> 0x~~~~~~~~~~~~~~~~
-# w23<15:0>: 0x0100 -> 0x~~~~~~~~~~~~~~~~
-# w14: 0x00000000 -> 0x~~~~~~~~~~~~~~~~
-# w15: 0x00000082 -> 0x~~~~~~~~~~~~~~~~
-# x16: 0x000000000000000c -> 0x~~~~~~~~~~~~~~~~
-# x17: 0x00000000ffffff7b -> 0x~~~~~~~~~~~~~~~~
-# w18: 0x00000060 -> 0x~~~~~~~~~~~~~~~~
-# w19: 0x00000086 -> 0x~~~~~~~~~~~~~~~~
-# w18: 0x00000060 -> 0x~~~~~~~~~~~~~~~~
-# w19: 0x00000086 -> 0x~~~~~~~~~~~~~~~~
-# w18: 0x00000060 -> 0x~~~~~~~~~~~~~~~~
-# w19: 0x00000086 -> 0x~~~~~~~~~~~~~~~~
-# x20: 0x0000000000000304 -> 0x~~~~~~~~~~~~~~~~
-# x21: 0x0000000000000403 -> 0x~~~~~~~~~~~~~~~~
-# x20: 0x0000000000000304 -> 0x~~~~~~~~~~~~~~~~
-# x21: 0x0000000000000403 -> 0x~~~~~~~~~~~~~~~~
-# x20: 0x0000000000000304 -> 0x~~~~~~~~~~~~~~~~
-# x21: 0x0000000000000403 -> 0x~~~~~~~~~~~~~~~~
-# w22: 0x00000004 -> 0x~~~~~~~~~~~~~~~~
-# w22: 0x00000004 -> 0x~~~~~~~~~~~~~~~~
-# w22: 0x00000004 -> 0x~~~~~~~~~~~~~~~~
-# x23: 0x0000000003020100 -> 0x~~~~~~~~~~~~~~~~
-# x23: 0x0000000003020100 -> 0x~~~~~~~~~~~~~~~~
-# x23: 0x0000000003020100 -> 0x~~~~~~~~~~~~~~~~
-# w24<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~
-# w24<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~
-# w24<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~
-# w25<7:0>: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# w25<7:0>: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# w25<7:0>: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# w26<15:0>: 0xfcff -> 0x~~~~~~~~~~~~~~~~
-# w26<15:0>: 0xfcff -> 0x~~~~~~~~~~~~~~~~
-# w26<15:0>: 0xfcff -> 0x~~~~~~~~~~~~~~~~
-# w27<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~
-# w27<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~
-# w27<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~
-# w28: 0xfffeffff -> 0x~~~~~~~~~~~~~~~~
-# x29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# w2<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~
-# w3<7:0>: 0xff -> 0x~~~~~~~~~~~~~~~~
-# w4<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~
-# w5<15:0>: 0x8500 -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x000000000000000000000000ffffffff -> 0x~~~~~~~~~~~~~~~~
-# v13: 0x0000000000000000ffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v30: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x00000000000000000000000000000040 -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x00000000000000000000000000000040 -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x0000000000000000 (d29: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v30: 0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x0000000000000000 (d31: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x00000000ffffffff (d12: 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~
-# v13: 0xffffffffffffffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~
-# v14: 0x0000000000000001 (d14: 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x0000000000000000 (d15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v30: 0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x0000000000000000 (d31: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x0000000000000000 (d1: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x0000000000007ff9 (d16: 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x0000000000000000 (d17: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x0000000000000000 (d18: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x0000000000000000 (d3: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x0000000000000000 (d4: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x0000000000000000 (d5: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v14: 0x0000000000000001 (d14: 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x0000000000000000 (d15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x0000000000007ff9 (d16: 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x0000000000000000 (d18: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x0000000000000000 (d19: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x0000000000000000 (d5: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x0000000000000000 (d6: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x0000000000000040 (d2: 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x0000000000000000 (d3: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x0000000000000000 (d4: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x0000000000000000 (d27: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x0000000000000000 (d23: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x00000000000000000000000000000040 (0.00000, 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v30: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x000000000000000000000000ffff8007 (0.00000, 2.12198e-314) -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x00000000000000fe0000000000000000 (1.25493e-321, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x000000000000000000000000ffff8007 (0.00000, 2.12198e-314) -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x00000000000000000000000000000020 (0.00000, 1.58101e-322) -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v30: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
-# v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
-# v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
-# v14: 0x0000000000000001 -> 0x~~~~~~~~~~~~~~~~
-# v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
-# v14: 0x0000000000000001 -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v30: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x00000000000000fe0000000000000000 (0.00000, 3.55930e-43, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v30: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x00000000000000000000000000000040 (0.00000, 0.00000, 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v13: 0x0000000000000000ffffffffffffffe1 (0.00000, 0.00000, nan, nan) -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
-# v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
-# v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x000000000000000000000000ffffffff -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v13: 0xffffffffffffffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~
-# v30: 0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x0000000000000000 (d3: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x00000000 (s0: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v14: 0x00000000000000000000000000000001 (0.00000, 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x00000000000000fe0000000000000000 (0.00000, 3.55930e-43, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x0000000000000000 (d25: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x0000000000000000 (d26: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v14: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x000000000000000000000000ffffffff (0.00000, 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v13: 0xffffffffffffffe1 (..., nan, nan) -> 0x~~~~~~~~~~~~~~~~
-# v14: 0x0000000000000001 (..., 0.00000, 1.40130e-45) -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x00000000000000000000000000000020 (0.00000, 0.00000, 0.00000, 4.48416e-44) -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x00000000000000fe0000000000000000 (0.00000, 3.55930e-43, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v30: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v30: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x00000000000000000000000000000040 -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x0000000000000000 (d5: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x0000000000000000 (d6: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x0000000000000000 (d7: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x0000000000000000 (d6: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x0000000000000000 (d7: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x0000000000000000 (d8: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x0000000000000000 (d1: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x0000000000000040 (d2: 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v14: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v21: 0xffff8007 (s21: nan) -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x00000000 (s22: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000 (s23: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v13: 0xffffffff (..., nan, ...) -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x00000000 (s15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x00007ff9 (s16: 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000 (s17: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x00000000000000000000000000000020 (0.00000, 1.58101e-322) -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x00000000000000000000000000000040 (0.00000, 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x000000000000000000000000ffffffff (0.00000, 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~
-# v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v14: 0x0000000000000001 -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v13: 0x0000000000000000ffffffffffffffe1 (0.00000, 0.00000, nan, nan) -> 0x~~~~~~~~~~~~~~~~
-# v14: 0x00000000000000000000000000000001 (0.00000, 0.00000, 0.00000, 1.40130e-45) -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x00000000000000000000000000000040 (0.00000, 0.00000, 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
-# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v15: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v16: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
-# v17: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x00000000000000000000000000000040 -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v11: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v12: 0x00 -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x0000000000000000 (d7: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x0000000000000000 (d8: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x0000000000000040 (d9: 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~
-# v10: 0x0000000000000000 (d10: 0.00000) -> 0x~~~~~~~~~~~~~~~~
-# v31: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v0: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v1: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v2: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v3: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v4: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v5: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v29: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v30: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v24: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x0000 -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x00fe -> 0x~~~~~~~~~~~~~~~~
-# v18: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v19: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v20: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v21: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v6: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v7: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v8: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v9: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v25: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v26: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v27: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
-# v28: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
+# x18<31:0>: 0x00000060 -> 0x~~~~~~~~~~~~~~~~
+# x19<63:0>: 0x0000000000000086 -> 0x~~~~~~~~~~~~~~~~
+# x20<7:0>: 0x04 -> 0x~~~~~~~~~~~~~~~~
+# x21<7:0>: 0x03 -> 0x~~~~~~~~~~~~~~~~
+# x22<15:0>: 0x0004 -> 0x~~~~~~~~~~~~~~~~
+# x23<15:0>: 0x0100 -> 0x~~~~~~~~~~~~~~~~
+# x14<31:0>: 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# x15<31:0>: 0x00000082 -> 0x~~~~~~~~~~~~~~~~
+# x16<63:0>: 0x000000000000000c -> 0x~~~~~~~~~~~~~~~~
+# x17<63:0>: 0x00000000ffffff7b -> 0x~~~~~~~~~~~~~~~~
+# x18<31:0>: 0x00000060 -> 0x~~~~~~~~~~~~~~~~
+# x19<31:0>: 0x00000086 -> 0x~~~~~~~~~~~~~~~~
+# x18<31:0>: 0x00000060 -> 0x~~~~~~~~~~~~~~~~
+# x19<31:0>: 0x00000086 -> 0x~~~~~~~~~~~~~~~~
+# x18<31:0>: 0x00000060 -> 0x~~~~~~~~~~~~~~~~
+# x19<31:0>: 0x00000086 -> 0x~~~~~~~~~~~~~~~~
+# x20<63:0>: 0x0000000000000304 -> 0x~~~~~~~~~~~~~~~~
+# x21<63:0>: 0x0000000000000403 -> 0x~~~~~~~~~~~~~~~~
+# x20<63:0>: 0x0000000000000304 -> 0x~~~~~~~~~~~~~~~~
+# x21<63:0>: 0x0000000000000403 -> 0x~~~~~~~~~~~~~~~~
+# x20<63:0>: 0x0000000000000304 -> 0x~~~~~~~~~~~~~~~~
+# x21<63:0>: 0x0000000000000403 -> 0x~~~~~~~~~~~~~~~~
+# x22<31:0>: 0x00000004 -> 0x~~~~~~~~~~~~~~~~
+# x22<31:0>: 0x00000004 -> 0x~~~~~~~~~~~~~~~~
+# x22<31:0>: 0x00000004 -> 0x~~~~~~~~~~~~~~~~
+# x23<63:0>: 0x0000000003020100 -> 0x~~~~~~~~~~~~~~~~
+# x23<63:0>: 0x0000000003020100 -> 0x~~~~~~~~~~~~~~~~
+# x23<63:0>: 0x0000000003020100 -> 0x~~~~~~~~~~~~~~~~
+# x24<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~
+# x24<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~
+# x24<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~
+# x25<7:0>: 0x00 -> 0x~~~~~~~~~~~~~~~~
+# x25<7:0>: 0x00 -> 0x~~~~~~~~~~~~~~~~
+# x25<7:0>: 0x00 -> 0x~~~~~~~~~~~~~~~~
+# x26<15:0>: 0xfcff -> 0x~~~~~~~~~~~~~~~~
+# x26<15:0>: 0xfcff -> 0x~~~~~~~~~~~~~~~~
+# x26<15:0>: 0xfcff -> 0x~~~~~~~~~~~~~~~~
+# x27<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~
+# x27<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~
+# x27<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~
+# x28<31:0>: 0xfffeffff -> 0x~~~~~~~~~~~~~~~~
+# x29<63:0>: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# x2<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~
+# x3<7:0>: 0xff -> 0x~~~~~~~~~~~~~~~~
+# x4<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~
+# x5<15:0>: 0x8500 -> 0x~~~~~~~~~~~~~~~~
+# v21<127:0>: 0x000000000000000000000000ffff8007
+# β β β β β β β β β β β β β β β ββ 0x07 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x80 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β ββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β ββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β ββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v20<127:0>: 0x00000000000000000000000000000020
+# β β β β β β β β β β β β β β β ββ 0x20 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β ββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v19<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v18<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v13<127:0>: 0x0000000000000000ffffffffffffffe1
+# β β β β β β β β β β β β β β β ββ 0xe1 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β ββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β ββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β ββββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β ββββββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β ββββββββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β ββββββββββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β ββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v12<127:0>: 0x000000000000000000000000ffffffff
+# β β β β β β β β β β β β β β β ββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β ββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β ββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β ββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v11<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v10<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v30<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v29<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v28<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v27<127:0>: 0x00000000000000fe0000000000000000
+# β β β β β β β β β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β ββββββββββββββββββ 0xfe -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v18<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v17<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v16<127:0>: 0x00000000000000000000000000007ff9
+# β β β β β β β β β β β β β β β ββ 0xf9 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x7f -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β ββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v23<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v22<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v21<127:0>: 0x000000000000000000000000ffff8007
+# β β β β β β β β β β β β β β β ββ 0x07 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x80 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β ββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β ββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β ββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v11<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v10<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v9<127:0>: 0x00000000000000000000000000000040
+# β β β β β β β β β β β β β β β ββ 0x40 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β ββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v8<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v7<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v27<127:0>: 0x00000000000000fe0000000000000000
+# β β β β β β β β β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β ββββββββββββββββββ 0xfe -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v26<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v23<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v22<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v23<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v28<127:0>: 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~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v2<127:0>: 0x00000000000000000000000000000040
+# β β β β β β β β β β β β β β β ββ 0x40 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β ββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v0<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v31<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v30<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v29<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v15<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v14<63:0>: 0x0000000000000001 (4.941e-324)
+# ββ 0x0000000000000001 -> 0x~~~~~~~~~~~~~~~~
+# v13<63:0>: 0xffffffffffffffe1 (nan)
+# ββ 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
+# v12<63:0>: 0x00000000ffffffff (2.122e-314)
+# ββ 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
+# v1<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v0<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v31<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v30<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v18<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v17<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v16<63:0>: 0x0000000000007ff9 (1.619e-319)
+# ββ 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
+# v5<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v4<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v3<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v16<63:0>: 0x0000000000007ff9 (1.619e-319)
+# ββ 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
+# v15<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v14<63:0>: 0x0000000000000001 (4.941e-324)
+# ββ 0x0000000000000001 -> 0x~~~~~~~~~~~~~~~~
+# v19<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v18<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v6<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v5<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v3<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v2<63:0>: 0x0000000000000040 (3.162e-322)
+# ββ 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
+# v4<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v27<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v23<63:0>: 0x0000000000000000 (0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v5<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v4<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v3<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v2<127:0>: 0x00000000000000000000000000000040 (0.000, 3.162e-322)
+# β ββ 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v25<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v24<127:0>: 0x00000000000000000000000000007ff9 (0.000, 1.619e-319)
+# β ββ 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v23<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v22<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v31<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v30<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v29<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v28<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v19<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v17<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v17<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v16<127:0>: 0x00000000000000000000000000007ff9 (0.000, 1.619e-319)
+# β ββ 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v24<127:0>: 0x00000000000000000000000000007ff9 (0.000, 1.619e-319)
+# β ββ 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v23<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v22<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v22<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v21<127:0>: 0x000000000000000000000000ffff8007 (0.000, 2.122e-314)
+# β ββ 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v7<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v6<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v28<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v27<127:0>: 0x00000000000000fe0000000000000000 (1.255e-321, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x00000000000000fe -> 0x~~~~~~~~~~~~~~~~
+# v21<127:0>: 0x000000000000000000000000ffff8007 (0.000, 2.122e-314)
+# β ββ 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v29<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v20<127:0>: 0x00000000000000000000000000000020 (0.000, 1.581e-322)
+# β ββ 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v25<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v24<63:0>: 0x0000000000007ff9 (0.000, 4.591e-41)
+# β ββ 0x00007ff9 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v23<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v22<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v11<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v10<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v9<63:0>: 0x0000000000000040 (0.000, 8.968e-44)
+# β ββ 0x00000040 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v8<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v18<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v17<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v16<63:0>: 0x0000000000007ff9 (0.000, 4.591e-41)
+# β ββ 0x00007ff9 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v15<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v4<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v3<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v2<63:0>: 0x0000000000000040 (0.000, 8.968e-44)
+# β ββ 0x00000040 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v25<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v24<63:0>: 0x0000000000007ff9 (0.000, 4.591e-41)
+# β ββ 0x00007ff9 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v23<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v9<63:0>: 0x0000000000000040 (0.000, 8.968e-44)
+# β ββ 0x00000040 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v8<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v7<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v29<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v28<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v30<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v29<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v24<63:0>: 0x0000000000007ff9 (0.000, 4.591e-41)
+# β ββ 0x00007ff9 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v23<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v6<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v11<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v17<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v9<63:0>: 0x0000000000000040 (0.000, 0.000, 0.000, 3.815e-06)
+# β β β ββ 0x0040 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v8<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v7<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v6<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v12<63:0>: 0x00000000ffffffff (0.000, 0.000, nan, nan)
+# β β β ββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v11<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v10<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v9<63:0>: 0x0000000000000040 (0.000, 0.000, 0.000, 3.815e-06)
+# β β β ββ 0x0040 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v28<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v27<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v26<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v25<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v13<63:0>: 0xffffffffffffffe1 (nan, nan, nan, nan)
+# β β β ββ 0xffe1 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# v12<63:0>: 0x00000000ffffffff (0.000, 0.000, nan, nan)
+# β β β ββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v11<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v12<63:0>: 0x00000000ffffffff (0.000, 0.000, nan, nan)
+# β β β ββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v11<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v10<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v14<63:0>: 0x0000000000000001 (0.000, 0.000, 0.000, 5.960e-08)
+# β β β ββ 0x0001 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v13<63:0>: 0xffffffffffffffe1 (nan, nan, nan, nan)
+# β β β ββ 0xffe1 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# v12<63:0>: 0x00000000ffffffff (0.000, 0.000, nan, nan)
+# β β β ββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v14<63:0>: 0x0000000000000001 (0.000, 0.000, 0.000, 5.960e-08)
+# β β β ββ 0x0001 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v13<63:0>: 0xffffffffffffffe1 (nan, nan, nan, nan)
+# β β β ββ 0xffe1 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# v16<63:0>: 0x0000000000007ff9 (0.000, 0.000, 0.000, nan)
+# β β β ββ 0x7ff9 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v15<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v22<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v21<63:0>: 0x00000000ffff8007 (0.000, 0.000, nan, -4.172e-07)
+# β β β ββ 0x8007 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v16<63:0>: 0x0000000000007ff9 (0.000, 0.000, 0.000, nan)
+# β β β ββ 0x7ff9 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v8<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v30<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v6<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v5<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v4<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v3<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v28<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v27<127:0>: 0x00000000000000fe0000000000000000 (0.000, 3.559e-43, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x000000fe -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v26<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v25<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v8<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v7<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v6<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v5<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v1<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v0<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v31<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v0<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v31<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v30<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v8<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v7<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v6<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v17<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v0<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v31<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v2<127:0>: 0x00000000000000000000000000000040 (0.000, 0.000, 0.000, 8.968e-44)
+# β β β ββ 0x00000040 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v1<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v26<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v15<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v13<127:0>: 0x0000000000000000ffffffffffffffe1 (0.000, 0.000, nan, nan)
+# β β β ββ 0xffffffe1 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0xffffffff -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v29<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v28<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v27<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v26<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v13<63:0>: 0xffffffffffffffe1
+# β β β β β β β ββ 0xe1 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# v12<63:0>: 0x00000000ffffffff
+# β β β β β β β ββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v11<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v10<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v18<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v17<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v16<63:0>: 0x0000000000007ff9
+# β β β β β β β ββ 0xf9 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x7f -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v15<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v21<63:0>: 0x00000000ffff8007
+# β β β β β β β ββ 0x07 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x80 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v20<63:0>: 0x0000000000000020
+# β β β β β β β ββ 0x20 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v19<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v1<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v0<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v31<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v11<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v10<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v9<63:0>: 0x0000000000000040
+# β β β β β β β ββ 0x40 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v13<63:0>: 0xffffffffffffffe1
+# β β β β β β β ββ 0xe1 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# v12<63:0>: 0x00000000ffffffff
+# β β β β β β β ββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0xff -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v3<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v2<63:0>: 0x0000000000000040
+# β β β β β β β ββ 0x40 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v1<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v0<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v16<63:0>: 0x0000000000007ff9
+# β β β β β β β ββ 0xf9 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x7f -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v25<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v31<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v7<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v6<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v5<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v4<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v6<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v5<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v4<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v3<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v29<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v28<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v27<127:0>: 0x00000000000000fe0000000000000000 (0.000, 0.000, 0.000, 1.514e-05, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x00fe -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v26<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v12<127:0>: 0x000000000000000000000000ffffffff (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, nan, nan)
+# β β β β β β β ββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v11<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v10<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v23<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v22<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v21<127:0>: 0x000000000000000000000000ffff8007 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, nan, -4.172e-07)
+# β β β β β β β ββ 0x8007 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0xffff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v20<127:0>: 0x00000000000000000000000000000020 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 1.907e-06)
+# β β β β β β β ββ 0x0020 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v19<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v27<127:0>: 0x00000000000000fe0000000000000000 (0.000, 0.000, 0.000, 1.514e-05, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x00fe -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v26<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v25<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v24<127:0>: 0x00000000000000000000000000007ff9 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, nan)
+# β β β β β β β ββ 0x7ff9 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v17<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v29<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v19<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v23<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v19<127:0>: 0x00000000000000000000000000000000
+# ββββββββββββββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v25<127:0>: 0x00000000000000000000000000000000
+# ββββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v4<127:0>: 0x00000000000000000000000000000000
+# ββββββββββββββββββ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# v13<127:0>: 0x0000000000000000ffffffffffffffe1 (..., nan)
+# ββ 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
+# v30<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v3<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# ββ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v22<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# ββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v31<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# ββββββββββββββββββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v23<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# ββββββββββββββ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# v0<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# ββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v11<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v24<127:0>: 0x00000000000000000000000000007ff9 (0.000, ...)
+# ββββββββββββββββββββββββββ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# v7<127:0>: 0x00000000000000000000000000000000
+# v8<127:0>: 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~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# v5<127:0>: 0x00000000000000000000000000000000
+# v6<127:0>: 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~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# v18<127:0>: 0x00000000000000000000000000000000
+# v19<127:0>: 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~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# v14<127:0>: 0x00000000000000000000000000000001 (0.000, 4.941e-324)
+# v15<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000'0000000000000001 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v7<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v8<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v24<127:0>: 0x00000000000000000000000000007ff9 (0.000, 1.619e-319)
+# v25<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000'0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v22<63:0>: 0x0000000000000000 (0.000, 0.000)
+# v23<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v4<63:0>: 0x0000000000000000 (0.000, 0.000)
+# v5<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v2<63:0>: 0x0000000000000040 (0.000, 8.968e-44)
+# v3<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000'00000040 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v23<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v24<63:0>: 0x0000000000007ff9 (0.000, 0.000, 0.000, nan)
+# β β β ββ 0x7ff9'0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v8<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v9<63:0>: 0x0000000000000040 (0.000, 0.000, 0.000, 3.815e-06)
+# β β β ββ 0x0040'0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v7<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v8<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v17<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v6<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v7<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v26<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v27<127:0>: 0x00000000000000fe0000000000000000 (0.000, 3.559e-43, 0.000, 0.000)
+# β β β ββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x000000fe'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v31<63:0>: 0x0000000000000000
+# v0<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# v0<63:0>: 0x0000000000000000
+# v1<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# v21<63:0>: 0x00000000ffff8007
+# v22<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00'07 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00'80 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00'ff -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00'ff -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# v7<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v8<127:0>: 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~~~~~~~~~~~~~~~~
+# v22<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v23<127:0>: 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~~~~~~~~~~~~~~~~
+# v4<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v5<127:0>: 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~~~~~~~~~~~~~~~~
+# v8<127:0>: 0x00000000000000000000000000000000
+# v9<127:0>: 0x00000000000000000000000000000040
+# ββββββββββββββββββββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# v8<127:0>: 0x00000000000000000000000000000000
+# v9<127:0>: 0x00000000000000000000000000000040
+# ββββββββββββββββββββββββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# v7<127:0>: 0x00000000000000000000000000000000
+# v8<127:0>: 0x00000000000000000000000000000000
+# ββββββββββ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# v25<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# v26<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# ββ 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v17<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v3<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# v4<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v4<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v5<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# ββββββββββββββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v0<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v1<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# ββββββββββββββββββββββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v22<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v23<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# ββββββββββ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v14<127:0>: 0x00000000000000000000000000000001 (0.000, ...)
+# v15<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# ββββββββββββββββββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v23<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# v24<127:0>: 0x00000000000000000000000000007ff9 (0.000, ...)
+# ββββββββββββββββββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v0<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v1<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# ββββββββββββββββββ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v26<127:0>: 0x00000000000000000000000000000000
+# v27<127:0>: 0x00000000000000fe0000000000000000
+# v28<127:0>: 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'fe'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~~~~~~~~~~~~~~~~
+# v21<127:0>: 0x000000000000000000000000ffff8007
+# v22<127:0>: 0x00000000000000000000000000000000
+# v23<127:0>: 0x00000000000000000000000000000000
+# β β β β β β β β β β β β β β β ββ 0x00'00'07 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x00'00'80 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β ββββββ 0x00'00'ff -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β ββββββββ 0x00'00'ff -> 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~~~~~~~~~~~~~~~~
+# v24<127:0>: 0x00000000000000000000000000007ff9
+# v25<127:0>: 0x00000000000000000000000000000000
+# v26<127:0>: 0x00000000000000000000000000000000
+# β β β β β β β β β β β β β β β ββ 0x00'00'f9 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x00'00'7f -> 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~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# v17<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v19<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v23<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v24<127:0>: 0x00000000000000000000000000007ff9 (0.000, 1.619e-319)
+# v25<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000'0000000000007ff9'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v10<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v11<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v12<127:0>: 0x000000000000000000000000ffffffff (0.000, 2.122e-314)
+# β ββ 0x00000000ffffffff'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v9<63:0>: 0x0000000000000040 (0.000, 8.968e-44)
+# v10<63:0>: 0x0000000000000000 (0.000, 0.000)
+# v11<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000'00000000'00000040 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v13<63:0>: 0xffffffffffffffe1 (nan, nan)
+# v14<63:0>: 0x0000000000000001 (0.000, 1.401e-45)
+# v15<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000'00000001'ffffffe1 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000'00000000'ffffffff -> 0x~~~~~~~~~~~~~~~~
+# v22<63:0>: 0x0000000000000000 (0.000, 0.000)
+# v23<63:0>: 0x0000000000000000 (0.000, 0.000)
+# v24<63:0>: 0x0000000000007ff9 (0.000, 4.591e-41)
+# β ββ 0x00007ff9'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v31<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v0<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v1<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v8<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v9<63:0>: 0x0000000000000040 (0.000, 0.000, 0.000, 3.815e-06)
+# v10<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000'0040'0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v19<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v20<63:0>: 0x0000000000000020 (0.000, 0.000, 0.000, 1.907e-06)
+# v21<63:0>: 0x00000000ffff8007 (0.000, 0.000, nan, -4.172e-07)
+# β β β ββ 0x8007'0020'0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0xffff'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v19<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v20<127:0>: 0x00000000000000000000000000000020 (0.000, 0.000, 0.000, 4.484e-44)
+# β β β ββ 0x00000020'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v25<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v26<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v27<127:0>: 0x00000000000000fe0000000000000000 (0.000, 3.559e-43, 0.000, 0.000)
+# β β β ββ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x000000fe'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v16<127:0>: 0x00000000000000000000000000007ff9 (0.000, 0.000, 0.000, 4.591e-41)
+# v17<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000'00000000'00007ff9 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v27<63:0>: 0x0000000000000000
+# v28<63:0>: 0x0000000000000000
+# v29<63:0>: 0x0000000000000000
+# β β β β β β β ββ 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~~~~~~~~~~~~~~~~
+# v29<63:0>: 0x0000000000000000
+# v30<63:0>: 0x0000000000000000
+# v31<63:0>: 0x0000000000000000
+# β β β β β β β ββ 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~~~~~~~~~~~~~~~~
+# v30<63:0>: 0x0000000000000000
+# v31<63:0>: 0x0000000000000000
+# v0<63:0>: 0x0000000000000000
+# β β β β β β β ββ 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~~~~~~~~~~~~~~~~
+# v8<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v9<127:0>: 0x00000000000000000000000000000040 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 3.815e-06)
+# v10<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000'0040'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~~~~~~~~~~~~~~~~
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v19<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v20<127:0>: 0x00000000000000000000000000000020 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 1.907e-06)
+# β β β β β β β ββ 0x0020'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~~~~~~~~~~~~~~~~
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v19<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v20<127:0>: 0x00000000000000000000000000000020 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 1.907e-06)
+# β β β β β β β ββ 0x0020'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~~~~~~~~~~~~~~~~
+# v31<127:0>: 0x00000000000000000000000000000000
+# v0<127:0>: 0x00000000000000000000000000000000
+# v1<127:0>: 0x00000000000000000000000000000000
+# ββββββββββββββββββββββ 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# v4<127:0>: 0x00000000000000000000000000000000
+# v5<127:0>: 0x00000000000000000000000000000000
+# v6<127:0>: 0x00000000000000000000000000000000
+# ββββββββββββ 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# v5<127:0>: 0x00000000000000000000000000000000
+# v6<127:0>: 0x00000000000000000000000000000000
+# v7<127:0>: 0x00000000000000000000000000000000
+# ββββ 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# v5<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# v6<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# v7<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# ββ 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v6<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# v7<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# v8<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# ββ 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v0<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# v1<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# v2<127:0>: 0x00000000000000000000000000000040 (..., 3.162e-322)
+# ββ 0x0000000000000040'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v31<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v0<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v1<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# ββββββββββ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v14<127:0>: 0x00000000000000000000000000000001 (..., 0.000, ...)
+# v15<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v16<127:0>: 0x00000000000000000000000000007ff9 (..., 0.000, ...)
+# ββββββββββββββββββββββ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v21<127:0>: 0x000000000000000000000000ffff8007 (..., 0.000, ...)
+# v22<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v23<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# ββββββββββββββββββββββββββ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v21<127:0>: 0x000000000000000000000000ffff8007 (..., nan)
+# v22<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# v23<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# ββ 0x00000000'00000000'ffff8007 -> 0x~~~~~~~~~~~~~~~~
+# v11<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v12<127:0>: 0x000000000000000000000000ffffffff (..., 0.000, ...)
+# v13<127:0>: 0x0000000000000000ffffffffffffffe1 (..., nan, ...)
+# ββββββββββ 0xffffffff'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v15<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# v16<127:0>: 0x00000000000000000000000000007ff9 (..., 4.591e-41)
+# v17<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# ββ 0x00000000'00007ff9'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v22<127:0>: 0x00000000000000000000000000000000
+# v23<127:0>: 0x00000000000000000000000000000000
+# v24<127:0>: 0x00000000000000000000000000007ff9
+# v25<127:0>: 0x00000000000000000000000000000000
+# β β β β β β β β β β β β β β β ββ 0x00'f9'00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x00'7f'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~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# v24<127:0>: 0x00000000000000000000000000007ff9
+# v25<127:0>: 0x00000000000000000000000000000000
+# v26<127:0>: 0x00000000000000000000000000000000
+# v27<127:0>: 0x00000000000000fe0000000000000000
+# β β β β β β β β β β β β β β β ββ 0x00'00'00'f9 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x00'00'00'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~~~~~~~~~~~~~~~~
+# β β β β β β β ββββββββββββββββββ 0xfe'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~~~~~~~~~~~~~~~~
+# v15<127:0>: 0x00000000000000000000000000000000
+# v16<127:0>: 0x00000000000000000000000000007ff9
+# v17<127:0>: 0x00000000000000000000000000000000
+# v18<127:0>: 0x00000000000000000000000000000000
+# β β β β β β β β β β β β β β β ββ 0x00'00'f9'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β β β β β β β β β ββββ 0x00'00'7f'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~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββββββββ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# v16<127:0>: 0x00000000000000000000000000007ff9 (0.000, 1.619e-319)
+# v17<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v19<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# β ββ 0x0000000000000000'0000000000000000'0000000000000000'0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v17<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v19<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v20<127:0>: 0x00000000000000000000000000000020 (0.000, 1.581e-322)
+# β ββ 0x0000000000000020'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v9<127:0>: 0x00000000000000000000000000000040 (0.000, 3.162e-322)
+# v10<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v11<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# v12<127:0>: 0x000000000000000000000000ffffffff (0.000, 2.122e-314)
+# β ββ 0x00000000ffffffff'0000000000000000'0000000000000000'0000000000000040 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v23<63:0>: 0x0000000000000000 (0.000, 0.000)
+# v24<63:0>: 0x0000000000007ff9 (0.000, 4.591e-41)
+# v25<63:0>: 0x0000000000000000 (0.000, 0.000)
+# v26<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000'00000000'00007ff9'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v15<63:0>: 0x0000000000000000 (0.000, 0.000)
+# v16<63:0>: 0x0000000000007ff9 (0.000, 4.591e-41)
+# v17<63:0>: 0x0000000000000000 (0.000, 0.000)
+# v18<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000'00000000'00007ff9'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v24<63:0>: 0x0000000000007ff9 (0.000, 4.591e-41)
+# v25<63:0>: 0x0000000000000000 (0.000, 0.000)
+# v26<63:0>: 0x0000000000000000 (0.000, 0.000)
+# v27<63:0>: 0x0000000000000000 (0.000, 0.000)
+# β ββ 0x00000000'00000000'00000000'00007ff9 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v14<63:0>: 0x0000000000000001 (0.000, 0.000, 0.000, 5.960e-08)
+# v15<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v16<63:0>: 0x0000000000007ff9 (0.000, 0.000, 0.000, nan)
+# v17<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000'7ff9'0000'0001 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v18<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v19<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v20<63:0>: 0x0000000000000020 (0.000, 0.000, 0.000, 1.907e-06)
+# v21<63:0>: 0x00000000ffff8007 (0.000, 0.000, nan, -4.172e-07)
+# β β β ββ 0x8007'0020'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0xffff'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v1<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v2<63:0>: 0x0000000000000040 (0.000, 0.000, 0.000, 3.815e-06)
+# v3<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v4<63:0>: 0x0000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x0000'0000'0040'0000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v13<127:0>: 0x0000000000000000ffffffffffffffe1 (0.000, 0.000, nan, nan)
+# v14<127:0>: 0x00000000000000000000000000000001 (0.000, 0.000, 0.000, 1.401e-45)
+# v15<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v16<127:0>: 0x00000000000000000000000000007ff9 (0.000, 0.000, 0.000, 4.591e-41)
+# β β β ββ 0x00007ff9'00000000'00000001'ffffffe1 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000'00000000'00000000'ffffffff -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v6<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v7<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v8<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v9<127:0>: 0x00000000000000000000000000000040 (0.000, 0.000, 0.000, 8.968e-44)
+# β β β ββ 0x00000040'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v15<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v16<127:0>: 0x00000000000000000000000000007ff9 (0.000, 0.000, 0.000, 4.591e-41)
+# v17<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# β β β ββ 0x00000000'00000000'00007ff9'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v26<63:0>: 0x0000000000000000
+# v27<63:0>: 0x0000000000000000
+# v28<63:0>: 0x0000000000000000
+# v29<63:0>: 0x0000000000000000
+# β β β β β β β ββ 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~~~~~~~~~~~~~~~~
+# v25<63:0>: 0x0000000000000000
+# v26<63:0>: 0x0000000000000000
+# v27<63:0>: 0x0000000000000000
+# v28<63:0>: 0x0000000000000000
+# β β β β β β β ββ 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~~~~~~~~~~~~~~~~
+# v19<63:0>: 0x0000000000000000
+# v20<63:0>: 0x0000000000000020
+# v21<63:0>: 0x00000000ffff8007
+# v22<63:0>: 0x0000000000000000
+# β β β β β β β ββ 0x00'07'20'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββ 0x00'80'00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β ββββββ 0x00'ff'00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β β ββββββββ 0x00'ff'00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β β ββββββββββ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# β β ββββββββββββ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# β ββββββββββββββ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ββββββββββββββββ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# v19<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v20<127:0>: 0x00000000000000000000000000000020 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 1.907e-06)
+# v21<127:0>: 0x000000000000000000000000ffff8007 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, nan, -4.172e-07)
+# v22<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000'8007'0020'0000 -> 0x~~~~~~~~~~~~~~~~
+# β β β β β β ββββββ 0x0000'ffff'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~~~~~~~~~~~~~~~~
+# v15<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v16<127:0>: 0x00000000000000000000000000007ff9 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, nan)
+# v17<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v18<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# β β β β β β β ββ 0x0000'0000'7ff9'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~~~~~~~~~~~~~~~~
+# v31<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v0<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v1<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# v2<127:0>: 0x00000000000000000000000000000040 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 3.815e-06)
+# β β β β β β β ββ 0x0040'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~~~~~~~~~~~~~~~~
+# v0<127:0>: 0x00000000000000000000000000000000
+# v1<127:0>: 0x00000000000000000000000000000000
+# v2<127:0>: 0x00000000000000000000000000000040
+# v3<127:0>: 0x00000000000000000000000000000000
+# ββββββββββββββββββββββββββββ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# v4<127:0>: 0x00000000000000000000000000000000
+# v5<127:0>: 0x00000000000000000000000000000000
+# v6<127:0>: 0x00000000000000000000000000000000
+# v7<127:0>: 0x00000000000000000000000000000000
+# ββββββββββββββββββββββ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# v9<127:0>: 0x00000000000000000000000000000040
+# v10<127:0>: 0x00000000000000000000000000000000
+# v11<127:0>: 0x00000000000000000000000000000000
+# v12<127:0>: 0x000000000000000000000000ffffffff
+# ββββββββββββββββββββ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# v2<127:0>: 0x00000000000000000000000000000040 (0.000, ...)
+# v3<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# v4<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# v5<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v7<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# v8<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# v9<127:0>: 0x00000000000000000000000000000040 (..., 3.162e-322)
+# v10<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# ββ 0x0000000000000000'0000000000000040'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v31<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# v0<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# v1<127:0>: 0x00000000000000000000000000000000 (0.000, ...)
+# v2<127:0>: 0x00000000000000000000000000000040 (0.000, ...)
+# ββββββββββββββββββ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# v2<127:0>: 0x00000000000000000000000000000040 (..., 0.000, ...)
+# v3<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v4<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v5<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# ββββββ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v27<127:0>: 0x00000000000000fe0000000000000000 (..., 0.000, ...)
+# v28<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v29<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v30<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# ββββββββββββββ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v24<127:0>: 0x00000000000000000000000000007ff9 (..., 0.000, ...)
+# v25<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v26<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v27<127:0>: 0x00000000000000fe0000000000000000 (..., 1.514e-05, ...)
+# ββββββββββββββββββ 0x00fe'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# v18<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v19<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v20<127:0>: 0x00000000000000000000000000000020 (..., 0.000, ...)
+# v21<127:0>: 0x000000000000000000000000ffff8007 (..., 0.000, ...)
+# ββββββββββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v6<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v7<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v8<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v9<127:0>: 0x00000000000000000000000000000040 (..., 0.000, ...)
+# ββββββββββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# v25<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v26<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# v27<127:0>: 0x00000000000000fe0000000000000000 (..., 0.000, ...)
+# v28<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
+# ββββββββββ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~