1 # w18: 0x00000060 -> 0x~~~~~~~~~~~~~~~~ 2 # x19: 0x0000000000000086 -> 0x~~~~~~~~~~~~~~~~ 3 # w20<7:0>: 0x04 -> 0x~~~~~~~~~~~~~~~~ 4 # w21<7:0>: 0x03 -> 0x~~~~~~~~~~~~~~~~ 5 # w22<15:0>: 0x0004 -> 0x~~~~~~~~~~~~~~~~ 6 # w23<15:0>: 0x0100 -> 0x~~~~~~~~~~~~~~~~ 7 # w14: 0x00000000 -> 0x~~~~~~~~~~~~~~~~ 8 # w15: 0x00000082 -> 0x~~~~~~~~~~~~~~~~ 9 # x16: 0x000000000000000c -> 0x~~~~~~~~~~~~~~~~ 10 # x17: 0x00000000ffffff7b -> 0x~~~~~~~~~~~~~~~~ 11 # w18: 0x00000060 -> 0x~~~~~~~~~~~~~~~~ 12 # w19: 0x00000086 -> 0x~~~~~~~~~~~~~~~~ 13 # w18: 0x00000060 -> 0x~~~~~~~~~~~~~~~~ 14 # w19: 0x00000086 -> 0x~~~~~~~~~~~~~~~~ 15 # w18: 0x00000060 -> 0x~~~~~~~~~~~~~~~~ 16 # w19: 0x00000086 -> 0x~~~~~~~~~~~~~~~~ 17 # x20: 0x0000000000000304 -> 0x~~~~~~~~~~~~~~~~ 18 # x21: 0x0000000000000403 -> 0x~~~~~~~~~~~~~~~~ 19 # x20: 0x0000000000000304 -> 0x~~~~~~~~~~~~~~~~ 20 # x21: 0x0000000000000403 -> 0x~~~~~~~~~~~~~~~~ 21 # x20: 0x0000000000000304 -> 0x~~~~~~~~~~~~~~~~ 22 # x21: 0x0000000000000403 -> 0x~~~~~~~~~~~~~~~~ 23 # w22: 0x00000004 -> 0x~~~~~~~~~~~~~~~~ 24 # w22: 0x00000004 -> 0x~~~~~~~~~~~~~~~~ 25 # w22: 0x00000004 -> 0x~~~~~~~~~~~~~~~~ 26 # x23: 0x0000000003020100 -> 0x~~~~~~~~~~~~~~~~ 27 # x23: 0x0000000003020100 -> 0x~~~~~~~~~~~~~~~~ 28 # x23: 0x0000000003020100 -> 0x~~~~~~~~~~~~~~~~ 29 # w24<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~ 30 # w24<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~ 31 # w24<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~ 32 # w25<7:0>: 0x00 -> 0x~~~~~~~~~~~~~~~~ 33 # w25<7:0>: 0x00 -> 0x~~~~~~~~~~~~~~~~ 34 # w25<7:0>: 0x00 -> 0x~~~~~~~~~~~~~~~~ 35 # w26<15:0>: 0xfcff -> 0x~~~~~~~~~~~~~~~~ 36 # w26<15:0>: 0xfcff -> 0x~~~~~~~~~~~~~~~~ 37 # w26<15:0>: 0xfcff -> 0x~~~~~~~~~~~~~~~~ 38 # w27<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~ 39 # w27<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~ 40 # w27<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~ 41 # w28: 0xfffeffff -> 0x~~~~~~~~~~~~~~~~ 42 # x29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 43 # w2<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~ 44 # w3<7:0>: 0xff -> 0x~~~~~~~~~~~~~~~~ 45 # w4<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~ 46 # w5<15:0>: 0x8500 -> 0x~~~~~~~~~~~~~~~~ 47 # v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 48 # v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 49 # v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~ 50 # v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~ 51 # v10: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 52 # v11: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 53 # v12: 0x000000000000000000000000ffffffff -> 0x~~~~~~~~~~~~~~~~ 54 # v13: 0x0000000000000000ffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~ 55 # v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 56 # v28: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 57 # v29: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 58 # v30: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 59 # v16: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 60 # v17: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 61 # v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 62 # v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~ 63 # v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 64 # v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 65 # v9: 0x00000000000000000000000000000040 -> 0x~~~~~~~~~~~~~~~~ 66 # v10: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 67 # v11: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 68 # v7: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 69 # v8: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 70 # v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 71 # v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 72 # v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 73 # v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 74 # v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 75 # v28: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 76 # v2: 0x00000000000000000000000000000040 -> 0x~~~~~~~~~~~~~~~~ 77 # v29: 0x0000000000000000 (d29: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 78 # v30: 0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 79 # v31: 0x0000000000000000 (d31: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 80 # v0: 0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 81 # v12: 0x00000000ffffffff (d12: 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~ 82 # v13: 0xffffffffffffffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~ 83 # v14: 0x0000000000000001 (d14: 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~ 84 # v15: 0x0000000000000000 (d15: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 85 # v30: 0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 86 # v31: 0x0000000000000000 (d31: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 87 # v0: 0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 88 # v1: 0x0000000000000000 (d1: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 89 # v16: 0x0000000000007ff9 (d16: 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~ 90 # v17: 0x0000000000000000 (d17: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 91 # v18: 0x0000000000000000 (d18: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 92 # v3: 0x0000000000000000 (d3: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 93 # v4: 0x0000000000000000 (d4: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 94 # v5: 0x0000000000000000 (d5: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 95 # v14: 0x0000000000000001 (d14: 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~ 96 # v15: 0x0000000000000000 (d15: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 97 # v16: 0x0000000000007ff9 (d16: 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~ 98 # v18: 0x0000000000000000 (d18: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 99 # v19: 0x0000000000000000 (d19: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 100 # v5: 0x0000000000000000 (d5: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 101 # v6: 0x0000000000000000 (d6: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 102 # v2: 0x0000000000000040 (d2: 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~ 103 # v3: 0x0000000000000000 (d3: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 104 # v4: 0x0000000000000000 (d4: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 105 # v27: 0x0000000000000000 (d27: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 106 # v23: 0x0000000000000000 (d23: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 107 # v2: 0x00000000000000000000000000000040 (0.00000, 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~ 108 # v3: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 109 # v4: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 110 # v5: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 111 # v22: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 112 # v23: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 113 # v24: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~ 114 # v25: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 115 # v28: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 116 # v29: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 117 # v30: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 118 # v31: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 119 # v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 120 # v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 121 # v19: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 122 # v16: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~ 123 # v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 124 # v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 125 # v22: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 126 # v23: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 127 # v24: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~ 128 # v21: 0x000000000000000000000000ffff8007 (0.00000, 2.12198e-314) -> 0x~~~~~~~~~~~~~~~~ 129 # v22: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 130 # v6: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 131 # v7: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 132 # v27: 0x00000000000000fe0000000000000000 (1.25493e-321, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 133 # v28: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 134 # v21: 0x000000000000000000000000ffff8007 (0.00000, 2.12198e-314) -> 0x~~~~~~~~~~~~~~~~ 135 # v29: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 136 # v20: 0x00000000000000000000000000000020 (0.00000, 1.58101e-322) -> 0x~~~~~~~~~~~~~~~~ 137 # v22: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 138 # v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 139 # v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~ 140 # v25: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 141 # v8: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 142 # v9: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~ 143 # v10: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 144 # v11: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 145 # v15: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 146 # v16: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~ 147 # v17: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 148 # v18: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 149 # v2: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~ 150 # v3: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 151 # v4: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 152 # v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 153 # v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~ 154 # v25: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 155 # v7: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 156 # v8: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 157 # v9: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~ 158 # v28: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 159 # v29: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 160 # v29: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 161 # v30: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 162 # v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 163 # v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~ 164 # v6: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 165 # v11: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 166 # v17: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 167 # v6: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 168 # v7: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 169 # v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 170 # v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~ 171 # v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~ 172 # v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 173 # v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 174 # v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~ 175 # v25: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 176 # v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 177 # v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 178 # v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 179 # v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 180 # v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~ 181 # v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~ 182 # v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 183 # v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 184 # v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~ 185 # v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~ 186 # v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~ 187 # v14: 0x0000000000000001 -> 0x~~~~~~~~~~~~~~~~ 188 # v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~ 189 # v14: 0x0000000000000001 -> 0x~~~~~~~~~~~~~~~~ 190 # v15: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 191 # v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 192 # v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~ 193 # v22: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 194 # v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 195 # v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 196 # v30: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 197 # v3: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 198 # v4: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 199 # v5: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 200 # v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 201 # v25: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 202 # v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 203 # v27: 0x00000000000000fe0000000000000000 (0.00000, 3.55930e-43, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 204 # v28: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 205 # v5: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 206 # v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 207 # v7: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 208 # v8: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 209 # v31: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 210 # v0: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 211 # v1: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 212 # v30: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 213 # v31: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 214 # v0: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 215 # v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 216 # v7: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 217 # v8: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 218 # v17: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 219 # v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 220 # v31: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 221 # v0: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 222 # v1: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 223 # v2: 0x00000000000000000000000000000040 (0.00000, 0.00000, 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~ 224 # v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 225 # v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 226 # v13: 0x0000000000000000ffffffffffffffe1 (0.00000, 0.00000, nan, nan) -> 0x~~~~~~~~~~~~~~~~ 227 # v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 228 # v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 229 # v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 230 # v29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 231 # v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 232 # v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 233 # v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~ 234 # v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~ 235 # v15: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 236 # v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 237 # v17: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 238 # v18: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 239 # v19: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 240 # v20: 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~ 241 # v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~ 242 # v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 243 # v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 244 # v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 245 # v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~ 246 # v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 247 # v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 248 # v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~ 249 # v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~ 250 # v2: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~ 251 # v3: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 252 # v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 253 # v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 254 # v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 255 # v25: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 256 # v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 257 # v4: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 258 # v5: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 259 # v6: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 260 # v7: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 261 # v3: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 262 # v4: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 263 # v5: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 264 # v6: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 265 # v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 266 # v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 267 # v28: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 268 # v29: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 269 # v10: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 270 # v11: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 271 # v12: 0x000000000000000000000000ffffffff -> 0x~~~~~~~~~~~~~~~~ 272 # v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~ 273 # v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 274 # v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 275 # v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 276 # v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 277 # v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~ 278 # v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 279 # v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 280 # v24: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 281 # v25: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 282 # v17: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 283 # v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 284 # v29: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 285 # v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 286 # v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 287 # v19: 0x00 -> 0x~~~~~~~~~~~~~~~~ 288 # v25: 0x00 -> 0x~~~~~~~~~~~~~~~~ 289 # v4: 0x00 -> 0x~~~~~~~~~~~~~~~~ 290 # v13: 0xffffffffffffffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~ 291 # v30: 0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 292 # v3: 0x0000000000000000 (d3: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 293 # v22: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 294 # v31: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 295 # v23: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 296 # v0: 0x00000000 (s0: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 297 # v11: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 298 # v24: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 299 # v7: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 300 # v8: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 301 # v5: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 302 # v6: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 303 # v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 304 # v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 305 # v14: 0x00000000000000000000000000000001 (0.00000, 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~ 306 # v15: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 307 # v7: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 308 # v8: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 309 # v24: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~ 310 # v25: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 311 # v22: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 312 # v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 313 # v4: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 314 # v5: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 315 # v2: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~ 316 # v3: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 317 # v23: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 318 # v24: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 319 # v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 320 # v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~ 321 # v7: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 322 # v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 323 # v17: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 324 # v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 325 # v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 326 # v7: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 327 # v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 328 # v27: 0x00000000000000fe0000000000000000 (0.00000, 3.55930e-43, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 329 # v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 330 # v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 331 # v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 332 # v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 333 # v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~ 334 # v22: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 335 # v7: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 336 # v8: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 337 # v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 338 # v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 339 # v4: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 340 # v5: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 341 # v8: 0x00 -> 0x~~~~~~~~~~~~~~~~ 342 # v9: 0x00 -> 0x~~~~~~~~~~~~~~~~ 343 # v8: 0x00 -> 0x~~~~~~~~~~~~~~~~ 344 # v9: 0x00 -> 0x~~~~~~~~~~~~~~~~ 345 # v7: 0x00 -> 0x~~~~~~~~~~~~~~~~ 346 # v8: 0x00 -> 0x~~~~~~~~~~~~~~~~ 347 # v25: 0x0000000000000000 (d25: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 348 # v26: 0x0000000000000000 (d26: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 349 # v17: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 350 # v18: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 351 # v3: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 352 # v4: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 353 # v4: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 354 # v5: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 355 # v0: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 356 # v1: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 357 # v22: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 358 # v23: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 359 # v14: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 360 # v15: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 361 # v23: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 362 # v24: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 363 # v0: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 364 # v1: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 365 # v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 366 # v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 367 # v28: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 368 # v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~ 369 # v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 370 # v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 371 # v24: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 372 # v25: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 373 # v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 374 # v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 375 # v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 376 # v19: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 377 # v23: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 378 # v24: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~ 379 # v25: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 380 # v10: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 381 # v11: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 382 # v12: 0x000000000000000000000000ffffffff (0.00000, 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~ 383 # v9: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~ 384 # v10: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 385 # v11: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 386 # v13: 0xffffffffffffffe1 (..., nan, nan) -> 0x~~~~~~~~~~~~~~~~ 387 # v14: 0x0000000000000001 (..., 0.00000, 1.40130e-45) -> 0x~~~~~~~~~~~~~~~~ 388 # v15: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 389 # v22: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 390 # v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 391 # v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~ 392 # v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 393 # v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 394 # v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 395 # v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 396 # v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~ 397 # v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 398 # v19: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 399 # v20: 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~ 400 # v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~ 401 # v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 402 # v19: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 403 # v20: 0x00000000000000000000000000000020 (0.00000, 0.00000, 0.00000, 4.48416e-44) -> 0x~~~~~~~~~~~~~~~~ 404 # v25: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 405 # v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 406 # v27: 0x00000000000000fe0000000000000000 (0.00000, 3.55930e-43, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 407 # v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~ 408 # v17: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 409 # v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 410 # v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 411 # v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 412 # v29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 413 # v29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 414 # v30: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 415 # v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 416 # v30: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 417 # v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 418 # v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 419 # v8: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 420 # v9: 0x00000000000000000000000000000040 -> 0x~~~~~~~~~~~~~~~~ 421 # v10: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 422 # v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 423 # v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 424 # v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~ 425 # v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 426 # v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 427 # v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~ 428 # v31: 0x00 -> 0x~~~~~~~~~~~~~~~~ 429 # v0: 0x00 -> 0x~~~~~~~~~~~~~~~~ 430 # v1: 0x00 -> 0x~~~~~~~~~~~~~~~~ 431 # v4: 0x00 -> 0x~~~~~~~~~~~~~~~~ 432 # v5: 0x00 -> 0x~~~~~~~~~~~~~~~~ 433 # v6: 0x00 -> 0x~~~~~~~~~~~~~~~~ 434 # v5: 0x00 -> 0x~~~~~~~~~~~~~~~~ 435 # v6: 0x00 -> 0x~~~~~~~~~~~~~~~~ 436 # v7: 0x00 -> 0x~~~~~~~~~~~~~~~~ 437 # v5: 0x0000000000000000 (d5: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 438 # v6: 0x0000000000000000 (d6: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 439 # v7: 0x0000000000000000 (d7: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 440 # v6: 0x0000000000000000 (d6: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 441 # v7: 0x0000000000000000 (d7: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 442 # v8: 0x0000000000000000 (d8: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 443 # v0: 0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 444 # v1: 0x0000000000000000 (d1: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 445 # v2: 0x0000000000000040 (d2: 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~ 446 # v31: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 447 # v0: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 448 # v1: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 449 # v14: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 450 # v15: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 451 # v16: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 452 # v21: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 453 # v22: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 454 # v23: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 455 # v21: 0xffff8007 (s21: nan) -> 0x~~~~~~~~~~~~~~~~ 456 # v22: 0x00000000 (s22: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 457 # v23: 0x00000000 (s23: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 458 # v11: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 459 # v12: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 460 # v13: 0xffffffff (..., nan, ...) -> 0x~~~~~~~~~~~~~~~~ 461 # v15: 0x00000000 (s15: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 462 # v16: 0x00007ff9 (s16: 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~ 463 # v17: 0x00000000 (s17: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 464 # v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 465 # v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 466 # v24: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 467 # v25: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 468 # v24: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 469 # v25: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 470 # v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 471 # v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 472 # v15: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 473 # v16: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 474 # v17: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 475 # v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 476 # v16: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~ 477 # v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 478 # v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 479 # v19: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 480 # v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 481 # v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 482 # v19: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 483 # v20: 0x00000000000000000000000000000020 (0.00000, 1.58101e-322) -> 0x~~~~~~~~~~~~~~~~ 484 # v9: 0x00000000000000000000000000000040 (0.00000, 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~ 485 # v10: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 486 # v11: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 487 # v12: 0x000000000000000000000000ffffffff (0.00000, 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~ 488 # v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 489 # v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~ 490 # v25: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 491 # v26: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 492 # v15: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 493 # v16: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~ 494 # v17: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 495 # v18: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 496 # v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~ 497 # v25: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 498 # v26: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 499 # v27: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 500 # v14: 0x0000000000000001 -> 0x~~~~~~~~~~~~~~~~ 501 # v15: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 502 # v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 503 # v17: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 504 # v18: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 505 # v19: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 506 # v20: 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~ 507 # v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~ 508 # v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 509 # v2: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~ 510 # v3: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 511 # v4: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 512 # v13: 0x0000000000000000ffffffffffffffe1 (0.00000, 0.00000, nan, nan) -> 0x~~~~~~~~~~~~~~~~ 513 # v14: 0x00000000000000000000000000000001 (0.00000, 0.00000, 0.00000, 1.40130e-45) -> 0x~~~~~~~~~~~~~~~~ 514 # v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 515 # v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~ 516 # v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 517 # v7: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 518 # v8: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 519 # v9: 0x00000000000000000000000000000040 (0.00000, 0.00000, 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~ 520 # v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 521 # v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~ 522 # v17: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 523 # v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~ 524 # v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 525 # v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 526 # v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 527 # v29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 528 # v25: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 529 # v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 530 # v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 531 # v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 532 # v19: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 533 # v20: 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~ 534 # v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~ 535 # v22: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~ 536 # v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 537 # v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~ 538 # v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~ 539 # v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 540 # v15: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 541 # v16: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~ 542 # v17: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 543 # v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 544 # v31: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 545 # v0: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 546 # v1: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~ 547 # v2: 0x00000000000000000000000000000040 -> 0x~~~~~~~~~~~~~~~~ 548 # v0: 0x00 -> 0x~~~~~~~~~~~~~~~~ 549 # v1: 0x00 -> 0x~~~~~~~~~~~~~~~~ 550 # v2: 0x00 -> 0x~~~~~~~~~~~~~~~~ 551 # v3: 0x00 -> 0x~~~~~~~~~~~~~~~~ 552 # v4: 0x00 -> 0x~~~~~~~~~~~~~~~~ 553 # v5: 0x00 -> 0x~~~~~~~~~~~~~~~~ 554 # v6: 0x00 -> 0x~~~~~~~~~~~~~~~~ 555 # v7: 0x00 -> 0x~~~~~~~~~~~~~~~~ 556 # v9: 0x00 -> 0x~~~~~~~~~~~~~~~~ 557 # v10: 0x00 -> 0x~~~~~~~~~~~~~~~~ 558 # v11: 0x00 -> 0x~~~~~~~~~~~~~~~~ 559 # v12: 0x00 -> 0x~~~~~~~~~~~~~~~~ 560 # v2: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 561 # v3: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 562 # v4: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 563 # v5: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 564 # v7: 0x0000000000000000 (d7: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 565 # v8: 0x0000000000000000 (d8: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 566 # v9: 0x0000000000000040 (d9: 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~ 567 # v10: 0x0000000000000000 (d10: 0.00000) -> 0x~~~~~~~~~~~~~~~~ 568 # v31: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 569 # v0: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 570 # v1: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 571 # v2: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 572 # v2: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 573 # v3: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 574 # v4: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 575 # v5: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 576 # v27: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 577 # v28: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 578 # v29: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 579 # v30: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 580 # v24: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 581 # v25: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 582 # v26: 0x0000 -> 0x~~~~~~~~~~~~~~~~ 583 # v27: 0x00fe -> 0x~~~~~~~~~~~~~~~~ 584 # v18: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 585 # v19: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 586 # v20: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 587 # v21: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 588 # v6: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 589 # v7: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 590 # v8: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 591 # v9: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 592 # v25: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 593 # v26: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 594 # v27: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 595 # v28: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~ 596
