blob: 88a4e9946769a560645f8d3b9658ef98fdc0d238 [file] [log] [blame]
# 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~~~~~~~~~~~~~~~~