# [1;36m w18: [0;36m0x00000060[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x19: [0;36m0x0000000000000086[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w20<7:0>: [0;36m0x04[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w21<7:0>: [0;36m0x03[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w22<15:0>: [0;36m0x0004[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w23<15:0>: [0;36m0x0100[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w14: [0;36m0x00000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w15: [0;36m0x00000082[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x16: [0;36m0x000000000000000c[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x17: [0;36m0x00000000ffffff7b[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w18: [0;36m0x00000060[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w19: [0;36m0x00000086[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w18: [0;36m0x00000060[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w19: [0;36m0x00000086[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w18: [0;36m0x00000060[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w19: [0;36m0x00000086[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x20: [0;36m0x0000000000000304[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x21: [0;36m0x0000000000000403[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x20: [0;36m0x0000000000000304[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x21: [0;36m0x0000000000000403[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x20: [0;36m0x0000000000000304[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x21: [0;36m0x0000000000000403[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w22: [0;36m0x00000004[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w22: [0;36m0x00000004[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w22: [0;36m0x00000004[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x23: [0;36m0x0000000003020100[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x23: [0;36m0x0000000003020100[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x23: [0;36m0x0000000003020100[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w24<7:0>: [0;36m0x01[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w24<7:0>: [0;36m0x01[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w24<7:0>: [0;36m0x01[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w25<7:0>: [0;36m0x00[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w25<7:0>: [0;36m0x00[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w25<7:0>: [0;36m0x00[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w26<15:0>: [0;36m0xfcff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w26<15:0>: [0;36m0xfcff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w26<15:0>: [0;36m0xfcff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w27<15:0>: [0;36m0x0001[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w27<15:0>: [0;36m0x0001[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w27<15:0>: [0;36m0x0001[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w28: [0;36m0xfffeffff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m x29: [0;36m0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w2<7:0>: [0;36m0x01[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w3<7:0>: [0;36m0xff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w4<15:0>: [0;36m0x0001[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;36m w5<15:0>: [0;36m0x8500[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m0x00000000000000000000000000000020[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m0x000000000000000000000000ffff8007[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m0x000000000000000000000000ffffffff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v13: [0;35m0x0000000000000000ffffffffffffffe1[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m0x00000000000000fe0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v30: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m0x00000000000000000000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m0x000000000000000000000000ffff8007[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m0x00000000000000000000000000000040[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m0x00000000000000fe0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m0x00000000000000000000000000000040[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m 0x0000000000000000[0;m ([1;35md29: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v30: [0;35m 0x0000000000000000[0;m ([1;35md30: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m 0x0000000000000000[0;m ([1;35md31: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x0000000000000000[0;m ([1;35md0: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m 0x00000000ffffffff[0;m ([1;35md12: [0;35m2.12200e-314[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v13: [0;35m 0xffffffffffffffe1[0;m ([1;35md13: [0;35mnan[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v14: [0;35m 0x0000000000000001[0;m ([1;35md14: [0;35m4.94066e-324[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m 0x0000000000000000[0;m ([1;35md15: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v30: [0;35m 0x0000000000000000[0;m ([1;35md30: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m 0x0000000000000000[0;m ([1;35md31: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x0000000000000000[0;m ([1;35md0: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m 0x0000000000000000[0;m ([1;35md1: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m 0x0000000000007ff9[0;m ([1;35md16: [0;35m1.61861e-319[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m 0x0000000000000000[0;m ([1;35md17: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m 0x0000000000000000[0;m ([1;35md18: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m 0x0000000000000000[0;m ([1;35md3: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m 0x0000000000000000[0;m ([1;35md4: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m 0x0000000000000000[0;m ([1;35md5: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v14: [0;35m 0x0000000000000001[0;m ([1;35md14: [0;35m4.94066e-324[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m 0x0000000000000000[0;m ([1;35md15: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m 0x0000000000007ff9[0;m ([1;35md16: [0;35m1.61861e-319[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m 0x0000000000000000[0;m ([1;35md18: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m 0x0000000000000000[0;m ([1;35md19: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m 0x0000000000000000[0;m ([1;35md5: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m 0x0000000000000000[0;m ([1;35md6: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m 0x0000000000000040[0;m ([1;35md2: [0;35m3.16202e-322[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m 0x0000000000000000[0;m ([1;35md3: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m 0x0000000000000000[0;m ([1;35md4: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m 0x0000000000000000[0;m ([1;35md27: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m 0x0000000000000000[0;m ([1;35md23: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m0x00000000000000000000000000000040[0;m ([0;35m0.00000[0;m, [0;35m3.16202e-322[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m0x00000000000000000000000000007ff9[0;m ([0;35m0.00000[0;m, [0;35m1.61861e-319[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v30: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m0x00000000000000000000000000007ff9[0;m ([0;35m0.00000[0;m, [0;35m1.61861e-319[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m0x00000000000000000000000000007ff9[0;m ([0;35m0.00000[0;m, [0;35m1.61861e-319[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m0x000000000000000000000000ffff8007[0;m ([0;35m0.00000[0;m, [0;35m2.12198e-314[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m0x00000000000000fe0000000000000000[0;m ([0;35m1.25493e-321[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m0x000000000000000000000000ffff8007[0;m ([0;35m0.00000[0;m, [0;35m2.12198e-314[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m0x00000000000000000000000000000020[0;m ([0;35m0.00000[0;m, [0;35m1.58101e-322[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m 0x0000000000007ff9[0;m (..., [0;35m0.00000[0;m, [0;35m4.59079e-41[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m 0x0000000000000040[0;m (..., [0;35m0.00000[0;m, [0;35m8.96831e-44[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m 0x0000000000007ff9[0;m (..., [0;35m0.00000[0;m, [0;35m4.59079e-41[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m 0x0000000000000040[0;m (..., [0;35m0.00000[0;m, [0;35m8.96831e-44[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m 0x0000000000007ff9[0;m (..., [0;35m0.00000[0;m, [0;35m4.59079e-41[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m 0x0000000000000040[0;m (..., [0;35m0.00000[0;m, [0;35m8.96831e-44[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v30: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m 0x0000000000007ff9[0;m (..., [0;35m0.00000[0;m, [0;35m4.59079e-41[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m 0x0000000000000040[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m 0x0000000000000040[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m 0x00000000ffffffff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m 0x00000000ffffffff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v13: [0;35m 0xffffffffffffffe1[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m 0x00000000ffffffff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m 0x00000000ffffffff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v13: [0;35m 0xffffffffffffffe1[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v14: [0;35m 0x0000000000000001[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v13: [0;35m 0xffffffffffffffe1[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v14: [0;35m 0x0000000000000001[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m 0x0000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m 0x00000000ffff8007[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m 0x0000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v30: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m0x00000000000000fe0000000000000000[0;m ([0;35m0.00000[0;m, [0;35m3.55930e-43[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v30: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m0x00000000000000000000000000000040[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m8.96831e-44[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v13: [0;35m0x0000000000000000ffffffffffffffe1[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35mnan[0;m, [0;35mnan[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m 0x00000000ffffffff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v13: [0;35m 0xffffffffffffffe1[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m 0x0000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m 0x0000000000000020[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m 0x00000000ffff8007[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m 0x0000000000000040[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m 0x00000000ffffffff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v13: [0;35m 0xffffffffffffffe1[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m 0x0000000000000040[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m 0x0000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m0x00000000000000fe0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m0x000000000000000000000000ffffffff[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m0x000000000000000000000000ffff8007[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m0x00000000000000000000000000000020[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m0x00000000000000fe0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m0x00000000000000000000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v13: [0;35m 0xffffffffffffffe1[0;m ([1;35md13: [0;35mnan[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v30: [0;35m 0x0000000000000000[0;m ([1;35md30: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m 0x0000000000000000[0;m ([1;35md3: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m 0x0000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x00000000[0;m ([1;35ms0: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m0x00000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m0x00000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v14: [0;35m0x00000000000000000000000000000001[0;m ([0;35m0.00000[0;m, [0;35m4.94066e-324[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m0x00000000000000000000000000007ff9[0;m ([0;35m0.00000[0;m, [0;35m1.61861e-319[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m 0x0000000000000040[0;m (..., [0;35m0.00000[0;m, [0;35m8.96831e-44[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m 0x0000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m 0x0000000000000040[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m0x00000000000000fe0000000000000000[0;m ([0;35m0.00000[0;m, [0;35m3.55930e-43[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m 0x00000000ffff8007[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m 0x0000000000000000[0;m ([1;35md25: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m 0x0000000000000000[0;m ([1;35md26: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x0000000000000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x0000000000000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m0x0000000000000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m0x0000000000000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v14: [0;35m0x00000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m0x00000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m0x00000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m0x00000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m0x00000000000000fe0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m0x000000000000000000000000ffff8007[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m0x00000000000000000000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m0x00000000000000000000000000007ff9[0;m ([0;35m0.00000[0;m, [0;35m1.61861e-319[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m0x000000000000000000000000ffffffff[0;m ([0;35m0.00000[0;m, [0;35m2.12200e-314[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m 0x0000000000000040[0;m (..., [0;35m0.00000[0;m, [0;35m8.96831e-44[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v13: [0;35m 0xffffffffffffffe1[0;m (..., [0;35mnan[0;m, [0;35mnan[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v14: [0;35m 0x0000000000000001[0;m (..., [0;35m0.00000[0;m, [0;35m1.40130e-45[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m 0x0000000000007ff9[0;m (..., [0;35m0.00000[0;m, [0;35m4.59079e-41[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m 0x0000000000000040[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m 0x0000000000000020[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m 0x00000000ffff8007[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m0x00000000000000000000000000000020[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m4.48416e-44[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m0x00000000000000fe0000000000000000[0;m ([0;35m0.00000[0;m, [0;35m3.55930e-43[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m0x00000000000000000000000000007ff9[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m4.59079e-41[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v30: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v30: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m0x00000000000000000000000000000040[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m0x00000000000000000000000000000020[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m0x00000000000000000000000000000020[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m 0x0000000000000000[0;m ([1;35md5: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m 0x0000000000000000[0;m ([1;35md6: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m 0x0000000000000000[0;m ([1;35md7: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m 0x0000000000000000[0;m ([1;35md6: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m 0x0000000000000000[0;m ([1;35md7: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m 0x0000000000000000[0;m ([1;35md8: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x0000000000000000[0;m ([1;35md0: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m 0x0000000000000000[0;m ([1;35md1: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m 0x0000000000000040[0;m ([1;35md2: [0;35m3.16202e-322[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v14: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m 0xffff8007[0;m ([1;35ms21: [0;35mnan[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m 0x00000000[0;m ([1;35ms22: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m 0x00000000[0;m ([1;35ms23: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v13: [0;35m 0xffffffff [0;m (..., [0;35mnan[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m 0x00000000[0;m ([1;35ms15: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m 0x00007ff9[0;m ([1;35ms16: [0;35m4.59079e-41[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m 0x00000000[0;m ([1;35ms17: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m0x00000000000000000000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m0x00000000000000000000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m0x00000000000000fe0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m0x00000000000000000000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m0x00000000000000000000000000007ff9[0;m ([0;35m0.00000[0;m, [0;35m1.61861e-319[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m0x00000000000000000000000000000020[0;m ([0;35m0.00000[0;m, [0;35m1.58101e-322[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m0x00000000000000000000000000000040[0;m ([0;35m0.00000[0;m, [0;35m3.16202e-322[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m0x000000000000000000000000ffffffff[0;m ([0;35m0.00000[0;m, [0;35m2.12200e-314[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v23: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m 0x0000000000007ff9[0;m (..., [0;35m0.00000[0;m, [0;35m4.59079e-41[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m 0x0000000000007ff9[0;m (..., [0;35m0.00000[0;m, [0;35m4.59079e-41[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m 0x0000000000007ff9[0;m (..., [0;35m0.00000[0;m, [0;35m4.59079e-41[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m 0x0000000000000000[0;m (..., [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v14: [0;35m 0x0000000000000001[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m 0x0000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m 0x0000000000000020[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m 0x00000000ffff8007[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m 0x0000000000000040[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v13: [0;35m0x0000000000000000ffffffffffffffe1[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35mnan[0;m, [0;35mnan[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v14: [0;35m0x00000000000000000000000000000001[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m1.40130e-45[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m0x00000000000000000000000000007ff9[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m4.59079e-41[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m0x00000000000000000000000000000040[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m8.96831e-44[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m0x00000000000000000000000000007ff9[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m4.59079e-41[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m, [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m 0x0000000000000020[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m 0x00000000ffff8007[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m 0x0000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m0x00000000000000000000000000000020[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m0x000000000000000000000000ffff8007[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v22: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v15: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v16: [0;35m0x00000000000000000000000000007ff9[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v17: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m0x00000000000000000000000000000000[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m0x00000000000000000000000000000040[0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v11: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v12: [0;35m 0x00 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m0x0000000000000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m0x0000000000000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m0x0000000000000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m0x0000000000000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m 0x0000000000000000[0;m ([1;35md7: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m 0x0000000000000000[0;m ([1;35md8: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m 0x0000000000000040[0;m ([1;35md9: [0;35m3.16202e-322[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v10: [0;35m 0x0000000000000000[0;m ([1;35md10: [0;35m0.00000[0;m) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v31: [0;35m0x0000000000000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v0: [0;35m0x0000000000000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v1: [0;35m0x0000000000000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m0x0000000000000000 [0;m ([0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v2: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v3: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v4: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v5: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v29: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v30: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v24: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m 0x0000 [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m 0x00fe [0;m -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v18: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v19: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v20: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v21: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v6: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v7: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v8: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v9: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v25: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v26: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v27: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m # [1;35m v28: [0;35m 0x00000000 [0;m (..., [0;35m0.00000[0;m, ...) -> [1;34m0x~~~~~~~~~~~~~~~~[0;m