# 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~~~~~~~~~~~~~~~~