Remove support for SVE vector lengths that are not powers of two. NPOT SVE vector lengths are no longer allowed in AArch64, so remove the code that handles them, add assertions, and update tests.

commit: c40e288158b6437d86f025928d44605298aa3cf4 [log] [tgz]
author: Martyn Capewell <martyn.capewell@arm.com> Fri Mar 22 13:47:46 2024 +0000
committer: mmc28a <78873583+mmc28a@users.noreply.github.com> Thu May 22 10:18:47 2025 +0100
tree: b9de089cfb9b532b5c2c9143d352f3bc820b6534
parent: 45e3920d45bf6c15e13bce0b8d9792d660e18bd0 [diff] [blame]
diff --git a/test/test-trace-reference/log-state-colour b/test/test-trace-reference/log-state-colour
index 85acd79..02f03e0 100644
--- a/test/test-trace-reference/log-state-colour
+++ b/test/test-trace-reference/log-state-colour

@@ -34,247 +34,198 @@
 # [1;35m   z0<255:128>: [0;35m0x47e000037f03380347e000027f023802[0;m
 # [1;35m   z0<383:256>: [0;35m0x47e000057f07380547e000047f063804[0;m
 # [1;35m   z0<511:384>: [0;35m0x47e000077f07380747e000067f063806[0;m
-# [1;35m   z0<639:512>: [0;35m0x47e000097f0b380947e000087f0a3808[0;m
 # [1;35m     z1<127:0>: [0;35m0x47f000017f833c0147f000007f823c00[0;m
 # [1;35m   z1<255:128>: [0;35m0x47f000037f833c0347f000027f823c02[0;m
 # [1;35m   z1<383:256>: [0;35m0x47f000057f873c0547f000047f863c04[0;m
 # [1;35m   z1<511:384>: [0;35m0x47f000077f873c0747f000067f863c06[0;m
-# [1;35m   z1<639:512>: [0;35m0x47f000097f8b3c0947f000087f8a3c08[0;m
 # [1;35m     z2<127:0>: [0;35m0x48000001800340014800000080024000[0;m
 # [1;35m   z2<255:128>: [0;35m0x48000003800340034800000280024002[0;m
 # [1;35m   z2<383:256>: [0;35m0x48000005800740054800000480064004[0;m
 # [1;35m   z2<511:384>: [0;35m0x48000007800740074800000680064006[0;m
-# [1;35m   z2<639:512>: [0;35m0x48000009800b400948000008800a4008[0;m
 # [1;35m     z3<127:0>: [0;35m0x48100001808344014810000080824400[0;m
 # [1;35m   z3<255:128>: [0;35m0x48100003808344034810000280824402[0;m
 # [1;35m   z3<383:256>: [0;35m0x48100005808744054810000480864404[0;m
 # [1;35m   z3<511:384>: [0;35m0x48100007808744074810000680864406[0;m
-# [1;35m   z3<639:512>: [0;35m0x48100009808b440948100008808a4408[0;m
 # [1;35m     z4<127:0>: [0;35m0x48200001810348014820000081024800[0;m
 # [1;35m   z4<255:128>: [0;35m0x48200003810348034820000281024802[0;m
 # [1;35m   z4<383:256>: [0;35m0x48200005810748054820000481064804[0;m
 # [1;35m   z4<511:384>: [0;35m0x48200007810748074820000681064806[0;m
-# [1;35m   z4<639:512>: [0;35m0x48200009810b480948200008810a4808[0;m
 # [1;35m     z5<127:0>: [0;35m0x4830000181834c014830000081824c00[0;m
 # [1;35m   z5<255:128>: [0;35m0x4830000381834c034830000281824c02[0;m
 # [1;35m   z5<383:256>: [0;35m0x4830000581874c054830000481864c04[0;m
 # [1;35m   z5<511:384>: [0;35m0x4830000781874c074830000681864c06[0;m
-# [1;35m   z5<639:512>: [0;35m0x48300009818b4c0948300008818a4c08[0;m
 # [1;35m     z6<127:0>: [0;35m0x48400001820350014840000082025000[0;m
 # [1;35m   z6<255:128>: [0;35m0x48400003820350034840000282025002[0;m
 # [1;35m   z6<383:256>: [0;35m0x48400005820750054840000482065004[0;m
 # [1;35m   z6<511:384>: [0;35m0x48400007820750074840000682065006[0;m
-# [1;35m   z6<639:512>: [0;35m0x48400009820b500948400008820a5008[0;m
 # [1;35m     z7<127:0>: [0;35m0x48500001828354014850000082825400[0;m
 # [1;35m   z7<255:128>: [0;35m0x48500003828354034850000282825402[0;m
 # [1;35m   z7<383:256>: [0;35m0x48500005828754054850000482865404[0;m
 # [1;35m   z7<511:384>: [0;35m0x48500007828754074850000682865406[0;m
-# [1;35m   z7<639:512>: [0;35m0x48500009828b540948500008828a5408[0;m
 # [1;35m     z8<127:0>: [0;35m0x48600001830358014860000083025800[0;m
 # [1;35m   z8<255:128>: [0;35m0x48600003830358034860000283025802[0;m
 # [1;35m   z8<383:256>: [0;35m0x48600005830758054860000483065804[0;m
 # [1;35m   z8<511:384>: [0;35m0x48600007830758074860000683065806[0;m
-# [1;35m   z8<639:512>: [0;35m0x48600009830b580948600008830a5808[0;m
 # [1;35m     z9<127:0>: [0;35m0x4870000183835c014870000083825c00[0;m
 # [1;35m   z9<255:128>: [0;35m0x4870000383835c034870000283825c02[0;m
 # [1;35m   z9<383:256>: [0;35m0x4870000583875c054870000483865c04[0;m
 # [1;35m   z9<511:384>: [0;35m0x4870000783875c074870000683865c06[0;m
-# [1;35m   z9<639:512>: [0;35m0x48700009838b5c0948700008838a5c08[0;m
 # [1;35m    z10<127:0>: [0;35m0x48800001840360014880000084026000[0;m
 # [1;35m  z10<255:128>: [0;35m0x48800003840360034880000284026002[0;m
 # [1;35m  z10<383:256>: [0;35m0x48800005840760054880000484066004[0;m
 # [1;35m  z10<511:384>: [0;35m0x48800007840760074880000684066006[0;m
-# [1;35m  z10<639:512>: [0;35m0x48800009840b600948800008840a6008[0;m
 # [1;35m    z11<127:0>: [0;35m0x48900001848364014890000084826400[0;m
 # [1;35m  z11<255:128>: [0;35m0x48900003848364034890000284826402[0;m
 # [1;35m  z11<383:256>: [0;35m0x48900005848764054890000484866404[0;m
 # [1;35m  z11<511:384>: [0;35m0x48900007848764074890000684866406[0;m
-# [1;35m  z11<639:512>: [0;35m0x48900009848b640948900008848a6408[0;m
 # [1;35m    z12<127:0>: [0;35m0x48a000018503680148a0000085026800[0;m
 # [1;35m  z12<255:128>: [0;35m0x48a000038503680348a0000285026802[0;m
 # [1;35m  z12<383:256>: [0;35m0x48a000058507680548a0000485066804[0;m
 # [1;35m  z12<511:384>: [0;35m0x48a000078507680748a0000685066806[0;m
-# [1;35m  z12<639:512>: [0;35m0x48a00009850b680948a00008850a6808[0;m
 # [1;35m    z13<127:0>: [0;35m0x48b0000185836c0148b0000085826c00[0;m
 # [1;35m  z13<255:128>: [0;35m0x48b0000385836c0348b0000285826c02[0;m
 # [1;35m  z13<383:256>: [0;35m0x48b0000585876c0548b0000485866c04[0;m
 # [1;35m  z13<511:384>: [0;35m0x48b0000785876c0748b0000685866c06[0;m
-# [1;35m  z13<639:512>: [0;35m0x48b00009858b6c0948b00008858a6c08[0;m
 # [1;35m    z14<127:0>: [0;35m0x48c000018603700148c0000086027000[0;m
 # [1;35m  z14<255:128>: [0;35m0x48c000038603700348c0000286027002[0;m
 # [1;35m  z14<383:256>: [0;35m0x48c000058607700548c0000486067004[0;m
 # [1;35m  z14<511:384>: [0;35m0x48c000078607700748c0000686067006[0;m
-# [1;35m  z14<639:512>: [0;35m0x48c00009860b700948c00008860a7008[0;m
 # [1;35m    z15<127:0>: [0;35m0x48d000018683740148d0000086827400[0;m
 # [1;35m  z15<255:128>: [0;35m0x48d000038683740348d0000286827402[0;m
 # [1;35m  z15<383:256>: [0;35m0x48d000058687740548d0000486867404[0;m
 # [1;35m  z15<511:384>: [0;35m0x48d000078687740748d0000686867406[0;m
-# [1;35m  z15<639:512>: [0;35m0x48d00009868b740948d00008868a7408[0;m
 # [1;35m    z16<127:0>: [0;35m0x48e000018703780148e0000087027800[0;m
 # [1;35m  z16<255:128>: [0;35m0x48e000038703780348e0000287027802[0;m
 # [1;35m  z16<383:256>: [0;35m0x48e000058707780548e0000487067804[0;m
 # [1;35m  z16<511:384>: [0;35m0x48e000078707780748e0000687067806[0;m
-# [1;35m  z16<639:512>: [0;35m0x48e00009870b780948e00008870a7808[0;m
 # [1;35m    z17<127:0>: [0;35m0x48f0000187837c0148f0000087827c00[0;m
 # [1;35m  z17<255:128>: [0;35m0x48f0000387837c0348f0000287827c02[0;m
 # [1;35m  z17<383:256>: [0;35m0x48f0000587877c0548f0000487867c04[0;m
 # [1;35m  z17<511:384>: [0;35m0x48f0000787877c0748f0000687867c06[0;m
-# [1;35m  z17<639:512>: [0;35m0x48f00009878b7c0948f00008878a7c08[0;m
 # [1;35m    z18<127:0>: [0;35m0x49000001880380014900000088028000[0;m
 # [1;35m  z18<255:128>: [0;35m0x49000003880380034900000288028002[0;m
 # [1;35m  z18<383:256>: [0;35m0x49000005880780054900000488068004[0;m
 # [1;35m  z18<511:384>: [0;35m0x49000007880780074900000688068006[0;m
-# [1;35m  z18<639:512>: [0;35m0x49000009880b800949000008880a8008[0;m
 # [1;35m    z19<127:0>: [0;35m0x49100001888384014910000088828400[0;m
 # [1;35m  z19<255:128>: [0;35m0x49100003888384034910000288828402[0;m
 # [1;35m  z19<383:256>: [0;35m0x49100005888784054910000488868404[0;m
 # [1;35m  z19<511:384>: [0;35m0x49100007888784074910000688868406[0;m
-# [1;35m  z19<639:512>: [0;35m0x49100009888b840949100008888a8408[0;m
 # [1;35m    z20<127:0>: [0;35m0x49200001890388014920000089028800[0;m
 # [1;35m  z20<255:128>: [0;35m0x49200003890388034920000289028802[0;m
 # [1;35m  z20<383:256>: [0;35m0x49200005890788054920000489068804[0;m
 # [1;35m  z20<511:384>: [0;35m0x49200007890788074920000689068806[0;m
-# [1;35m  z20<639:512>: [0;35m0x49200009890b880949200008890a8808[0;m
 # [1;35m    z21<127:0>: [0;35m0x4930000189838c014930000089828c00[0;m
 # [1;35m  z21<255:128>: [0;35m0x4930000389838c034930000289828c02[0;m
 # [1;35m  z21<383:256>: [0;35m0x4930000589878c054930000489868c04[0;m
 # [1;35m  z21<511:384>: [0;35m0x4930000789878c074930000689868c06[0;m
-# [1;35m  z21<639:512>: [0;35m0x49300009898b8c0949300008898a8c08[0;m
 # [1;35m    z22<127:0>: [0;35m0x494000018a039001494000008a029000[0;m
 # [1;35m  z22<255:128>: [0;35m0x494000038a039003494000028a029002[0;m
 # [1;35m  z22<383:256>: [0;35m0x494000058a079005494000048a069004[0;m
 # [1;35m  z22<511:384>: [0;35m0x494000078a079007494000068a069006[0;m
-# [1;35m  z22<639:512>: [0;35m0x494000098a0b9009494000088a0a9008[0;m
 # [1;35m    z23<127:0>: [0;35m0x495000018a839401495000008a829400[0;m
 # [1;35m  z23<255:128>: [0;35m0x495000038a839403495000028a829402[0;m
 # [1;35m  z23<383:256>: [0;35m0x495000058a879405495000048a869404[0;m
 # [1;35m  z23<511:384>: [0;35m0x495000078a879407495000068a869406[0;m
-# [1;35m  z23<639:512>: [0;35m0x495000098a8b9409495000088a8a9408[0;m
 # [1;35m    z24<127:0>: [0;35m0x496000018b039801496000008b029800[0;m
 # [1;35m  z24<255:128>: [0;35m0x496000038b039803496000028b029802[0;m
 # [1;35m  z24<383:256>: [0;35m0x496000058b079805496000048b069804[0;m
 # [1;35m  z24<511:384>: [0;35m0x496000078b079807496000068b069806[0;m
-# [1;35m  z24<639:512>: [0;35m0x496000098b0b9809496000088b0a9808[0;m
 # [1;35m    z25<127:0>: [0;35m0x497000018b839c01497000008b829c00[0;m
 # [1;35m  z25<255:128>: [0;35m0x497000038b839c03497000028b829c02[0;m
 # [1;35m  z25<383:256>: [0;35m0x497000058b879c05497000048b869c04[0;m
 # [1;35m  z25<511:384>: [0;35m0x497000078b879c07497000068b869c06[0;m
-# [1;35m  z25<639:512>: [0;35m0x497000098b8b9c09497000088b8a9c08[0;m
 # [1;35m    z26<127:0>: [0;35m0x498000018c03a001498000008c02a000[0;m
 # [1;35m  z26<255:128>: [0;35m0x498000038c03a003498000028c02a002[0;m
 # [1;35m  z26<383:256>: [0;35m0x498000058c07a005498000048c06a004[0;m
 # [1;35m  z26<511:384>: [0;35m0x498000078c07a007498000068c06a006[0;m
-# [1;35m  z26<639:512>: [0;35m0x498000098c0ba009498000088c0aa008[0;m
 # [1;35m    z27<127:0>: [0;35m0x499000018c83a401499000008c82a400[0;m
 # [1;35m  z27<255:128>: [0;35m0x499000038c83a403499000028c82a402[0;m
 # [1;35m  z27<383:256>: [0;35m0x499000058c87a405499000048c86a404[0;m
 # [1;35m  z27<511:384>: [0;35m0x499000078c87a407499000068c86a406[0;m
-# [1;35m  z27<639:512>: [0;35m0x499000098c8ba409499000088c8aa408[0;m
 # [1;35m    z28<127:0>: [0;35m0x49a000018d03a80149a000008d02a800[0;m
 # [1;35m  z28<255:128>: [0;35m0x49a000038d03a80349a000028d02a802[0;m
 # [1;35m  z28<383:256>: [0;35m0x49a000058d07a80549a000048d06a804[0;m
 # [1;35m  z28<511:384>: [0;35m0x49a000078d07a80749a000068d06a806[0;m
-# [1;35m  z28<639:512>: [0;35m0x49a000098d0ba80949a000088d0aa808[0;m
 # [1;35m    z29<127:0>: [0;35m0x49b000018d83ac0149b000008d82ac00[0;m
 # [1;35m  z29<255:128>: [0;35m0x49b000038d83ac0349b000028d82ac02[0;m
 # [1;35m  z29<383:256>: [0;35m0x49b000058d87ac0549b000048d86ac04[0;m
 # [1;35m  z29<511:384>: [0;35m0x49b000078d87ac0749b000068d86ac06[0;m
-# [1;35m  z29<639:512>: [0;35m0x49b000098d8bac0949b000088d8aac08[0;m
 # [1;35m    z30<127:0>: [0;35m0x49c000018e03b00149c000008e02b000[0;m
 # [1;35m  z30<255:128>: [0;35m0x49c000038e03b00349c000028e02b002[0;m
 # [1;35m  z30<383:256>: [0;35m0x49c000058e07b00549c000048e06b004[0;m
 # [1;35m  z30<511:384>: [0;35m0x49c000078e07b00749c000068e06b006[0;m
-# [1;35m  z30<639:512>: [0;35m0x49c000098e0bb00949c000088e0ab008[0;m
 # [1;35m    z31<127:0>: [0;35m0x49d000018e83b40149d000008e82b400[0;m
 # [1;35m  z31<255:128>: [0;35m0x49d000038e83b40349d000028e82b402[0;m
 # [1;35m  z31<383:256>: [0;35m0x49d000058e87b40549d000048e86b404[0;m
 # [1;35m  z31<511:384>: [0;35m0x49d000078e87b40749d000068e86b406[0;m
-# [1;35m  z31<639:512>: [0;35m0x49d000098e8bb40949d000088e8ab408[0;m
 # [1;32m      p0<15:0>: [0;32m0b 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1[0;m
 # [1;32m     p0<31:16>: [0;32m0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0[0;m
 # [1;32m     p0<47:32>: [0;32m0b 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1[0;m
 # [1;32m     p0<63:48>: [0;32m0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0[0;m
-# [1;32m     p0<79:64>: [0;32m0b 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1[0;m
 # [1;32m      p1<15:0>: [0;32m0b 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1[0;m
 # [1;32m     p1<31:16>: [0;32m0b 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1[0;m
 # [1;32m     p1<47:32>: [0;32m0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0[0;m
 # [1;32m     p1<63:48>: [0;32m0b 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1[0;m
-# [1;32m     p1<79:64>: [0;32m0b 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1[0;m
 # [1;32m      p2<15:0>: [0;32m0b 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1[0;m
 # [1;32m     p2<31:16>: [0;32m0b 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1[0;m
 # [1;32m     p2<47:32>: [0;32m0b 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1[0;m
 # [1;32m     p2<63:48>: [0;32m0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0[0;m
-# [1;32m     p2<79:64>: [0;32m0b 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1[0;m
 # [1;32m      p3<15:0>: [0;32m0b 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1[0;m
 # [1;32m     p3<31:16>: [0;32m0b 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1[0;m
 # [1;32m     p3<47:32>: [0;32m0b 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1[0;m
 # [1;32m     p3<63:48>: [0;32m0b 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1[0;m
-# [1;32m     p3<79:64>: [0;32m0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0[0;m
 # [1;32m      p4<15:0>: [0;32m0b 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1[0;m
 # [1;32m     p4<31:16>: [0;32m0b 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1[0;m
 # [1;32m     p4<47:32>: [0;32m0b 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1[0;m
 # [1;32m     p4<63:48>: [0;32m0b 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1[0;m
-# [1;32m     p4<79:64>: [0;32m0b 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1[0;m
 # [1;32m      p5<15:0>: [0;32m0b 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1[0;m
 # [1;32m     p5<31:16>: [0;32m0b 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1[0;m
 # [1;32m     p5<47:32>: [0;32m0b 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1[0;m
 # [1;32m     p5<63:48>: [0;32m0b 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0[0;m
-# [1;32m     p5<79:64>: [0;32m0b 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1[0;m
 # [1;32m      p6<15:0>: [0;32m0b 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1[0;m
 # [1;32m     p6<31:16>: [0;32m0b 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1[0;m
 # [1;32m     p6<47:32>: [0;32m0b 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1[0;m
 # [1;32m     p6<63:48>: [0;32m0b 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1[0;m
-# [1;32m     p6<79:64>: [0;32m0b 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1[0;m
 # [1;32m      p7<15:0>: [0;32m0b 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1[0;m
 # [1;32m     p7<31:16>: [0;32m0b 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1[0;m
 # [1;32m     p7<47:32>: [0;32m0b 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1[0;m
 # [1;32m     p7<63:48>: [0;32m0b 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1[0;m
-# [1;32m     p7<79:64>: [0;32m0b 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1[0;m
 # [1;32m      p8<15:0>: [0;32m0b 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m     p8<31:16>: [0;32m0b 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1[0;m
 # [1;32m     p8<47:32>: [0;32m0b 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1[0;m
 # [1;32m     p8<63:48>: [0;32m0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1[0;m
-# [1;32m     p8<79:64>: [0;32m0b 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1[0;m
 # [1;32m      p9<15:0>: [0;32m0b 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m     p9<31:16>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1[0;m
 # [1;32m     p9<47:32>: [0;32m0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0[0;m
 # [1;32m     p9<63:48>: [0;32m0b 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1[0;m
-# [1;32m     p9<79:64>: [0;32m0b 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1[0;m
 # [1;32m     p10<15:0>: [0;32m0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p10<31:16>: [0;32m0b 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1[0;m
 # [1;32m    p10<47:32>: [0;32m0b 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1[0;m
 # [1;32m    p10<63:48>: [0;32m0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1[0;m
-# [1;32m    p10<79:64>: [0;32m0b 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1[0;m
 # [1;32m     p11<15:0>: [0;32m0b 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p11<31:16>: [0;32m0b 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p11<47:32>: [0;32m0b 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1[0;m
 # [1;32m    p11<63:48>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1[0;m
-# [1;32m    p11<79:64>: [0;32m0b 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0[0;m
 # [1;32m     p12<15:0>: [0;32m0b 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p12<31:16>: [0;32m0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p12<47:32>: [0;32m0b 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p12<63:48>: [0;32m0b 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1[0;m
-# [1;32m    p12<79:64>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1[0;m
 # [1;32m     p13<15:0>: [0;32m0b 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p13<31:16>: [0;32m0b 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p13<47:32>: [0;32m0b 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p13<63:48>: [0;32m0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1[0;m
-# [1;32m    p13<79:64>: [0;32m0b 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m     p14<15:0>: [0;32m0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p14<31:16>: [0;32m0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p14<47:32>: [0;32m0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p14<63:48>: [0;32m0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1[0;m
-# [1;32m    p14<79:64>: [0;32m0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m     p15<15:0>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1[0;m
 # [1;32m    p15<31:16>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0[0;m
 # [1;32m    p15<47:32>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1[0;m
 # [1;32m    p15<63:48>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1[0;m
-# [1;32m    p15<79:64>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1[0;m
-# [1;32m     FFR<15:0>: [0;32m0b 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1[0;m
+# [1;32m     FFR<15:0>: [0;32m0b 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1[0;m
 # [1;32m    FFR<31:16>: [0;32m0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0[0;m
 # [1;32m    FFR<47:32>: [0;32m0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0[0;m
 # [1;32m    FFR<63:48>: [0;32m0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0[0;m
-# [1;32m    FFR<79:64>: [0;32m0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0[0;m
 # [1;36m            w3: [0;36m        0x00900909[0;m
 # [1;36m            x6: [0;36m0x0f0000f000f00f0f[0;m
 # [1;37mNZCV: [0;mN:0 Z:0 C:0 V:0[0;m
@@ -5267,42 +5218,34 @@
 # [1;32m     p8<31:16>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m     p8<47:32>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m     p8<63:48>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;32m     p8<79:64>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m      p9<15:0>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m     p9<31:16>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m     p9<47:32>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m     p9<63:48>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;32m     p9<79:64>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m     p10<15:0>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m    p10<31:16>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m    p10<47:32>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m    p10<63:48>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;32m    p10<79:64>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m     p11<15:0>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m    p11<31:16>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m    p11<47:32>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;32m    p11<63:48>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;32m    p11<79:64>: [0;32m0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z20<127:0>: [0;35m0x7f8000007f8000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z20<255:128>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z20<383:256>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z20<511:384>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z20<639:512>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z21<127:0>: [0;35m0x7f8000007f8000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z21<255:128>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z21<383:256>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z21<511:384>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z21<639:512>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z22<127:0>: [0;35m0x7f8000007f8000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z22<255:128>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z22<383:256>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z22<511:384>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z22<639:512>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z23<127:0>: [0;35m0x7f8000007f8000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z23<255:128>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z23<383:256>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z23<511:384>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z23<639:512>: [0;35m0x00000000000000000000000000000000[0;m <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z20<127:0>: [0;35m0x7f000000008000000000000000000000[0;m
 #                    ║   ║ ║   ║ ║   ║ ║   ║ ║   ║ ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║   ║ ║   ║ ║   ║ ║   ║ ║   ╙─── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5329,30 +5272,18 @@
 #                    ╙─────────────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z20<383:256>: [0;35m0x00000000000000000000000000000000[0;m
 #
-# [1;35m  z20<511:384>: [0;35m0x2f000000000029000000000023000000[0;m
+# [1;35m  z20<511:384>: [0;35m0xff0000000000f90000000000f3000000[0;m
 #                    ║   ║ ║   ║ ║   ║ ║   ║ ║   ║ ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║   ║ ║   ║ ║   ║ ║   ║ ║   ╙─── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║   ║ ║   ║ ║   ║ ║   ║ ╙─────── 0x23 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║   ║ ║   ║ ║   ║ ║   ║ ╙─────── 0xf3 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║   ║ ║   ║ ║   ║ ║   ╙───────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║   ║ ║   ║ ║   ║ ╙───────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║   ║ ║   ║ ║   ╙─────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║   ║ ║   ║ ╙─────────────────── 0x29 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║   ║ ║   ║ ╙─────────────────── 0xf9 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║   ║ ║   ╙───────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║   ║ ╙───────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║   ╙─────────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ╙─────────────────────────────── 0x2f <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z20<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                    ║ ║   ║ ║   ║ ║   ║ ║   ║ ║   ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║   ║ ║   ║ ║   ║ ║   ║ ╙───── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║   ║ ║   ║ ║   ║ ║   ╙─────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║   ║ ║   ║ ║   ║ ╙─────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║   ║ ║   ║ ║   ╙───────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║   ║ ║   ║ ╙───────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║   ║ ║   ╙─────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║   ║ ╙─────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║   ╙───────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ╙───────────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ╙─────────────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ╙─────────────────────────────── 0xff <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z21<127:0>: [0;35m0x0d0c0b0a09080706050403020100fffe[0;m ([0;35m0.0003080[0;m, [0;35m0.0002148[0;m, [0;35m0.0001535[0;m, [0;35m0.0001072[0;m, [0;35m7.653e-05[0;m, [0;35m4.590e-05[0;m, [0;35m1.526e-05[0;m, [0;35mnan[0;m)
 #                      ║   ║   ║   ║   ║   ║   ║   ╙─ 0xfffe <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                      ║   ║   ║   ║   ║   ║   ╙───── 0x0100 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5382,15 +5313,6 @@
 #                      ╙───────────────────────────── 0x2d2c <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z21<511:384>: [0;35m0x00000000000000000000000000000000[0;m (...)
 #
-# [1;35m  z21<639:512>: [0;35m0x4d4c4b4a494847464544434241403f3e[0;m ([0;35m21.19[0;m, [0;35m14.58[0;m, [0;35m10.56[0;m, [0;35m7.273[0;m, [0;35m5.266[0;m, [0;35m3.629[0;m, [0;35m2.625[0;m, [0;35m1.811[0;m)
-#                      ║   ║   ║   ║   ║   ║   ║   ╙─ 0x3f3e <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ║   ║   ╙───── 0x4140 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ║   ╙───────── 0x4342 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ╙───────────── 0x4544 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ╙───────────────── 0x4746 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ╙───────────────────── 0x4948 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ╙───────────────────────── 0x4b4a <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ╙───────────────────────────── 0x4d4c <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z22<127:0>: [0;35m0x7f800000000000000000000000000000[0;m ([0;35minf[0;m, ..., [0;35m0.000[0;m, [0;35m0.000[0;m)
 #                          ║               ║       ╙─ 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║               ╙───────── 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5401,14 +5323,10 @@
 #                          ╙───────────────────────── 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z22<383:256>: [0;35m0x00000000000000000000000000000000[0;m (...)
 #
-# [1;35m  z22<511:384>: [0;35m0x2f2e0000000000000000000023220000[0;m ([0;35m1.583e-10[0;m, ..., [0;35m0.000[0;m, [0;35m8.782e-18[0;m)
-#                          ║               ║       ╙─ 0x23220000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;35m  z22<511:384>: [0;35m0xfffe00000000000000000000f3f20000[0;m ([0;35mnan[0;m, ..., [0;35m0.000[0;m, [0;35m-3.835e+31[0;m)
+#                          ║               ║       ╙─ 0xf3f20000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║               ╙───────── 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x2f2e0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z22<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, ..., [0;35m0.000[0;m)
-#                          ║       ║               ╙─ 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ╙───────────────── 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ╙───────────────────────── 0xfffe0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z23<127:0>: [0;35m0x00000000000000000000000000000000[0;m (..., [0;35m0.000[0;m)
 #                                                  ╙─ 0x0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z23<255:128>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
@@ -5416,39 +5334,29 @@
 #                                  ╙───────────────── 0x0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z23<383:256>: [0;35m0x00000000000000000000000000000000[0;m (...)
 #
-# [1;35m  z23<511:384>: [0;35m0x00000000000000000000000023220000[0;m (..., [0;35m2.912e-315[0;m)
-#                                                  ╙─ 0x0000000023220000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z23<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
-#                                  ║               ╙─ 0x0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                                  ╙───────────────── 0x0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m    z20<127:0>: [0;35m0x0000000000000000000000000000007f[0;m
-#                          ║   ║       ║   ║       ╙─ 0x7f <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║   ║       ║   ╙───────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║   ║       ╙───────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║   ╙───────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z20<255:128>: [0;35m0x00000000000000000000000000000000[0;m
-#                      ║   ║       ║   ║       ║   ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║       ║   ║       ╙───── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║       ║   ╙───────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║       ╙───────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ╙───────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ╙───────────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;35m  z23<511:384>: [0;35m0x000000000000000000000000f3f20000[0;m (..., [0;35m2.022e-314[0;m)
+#                                                  ╙─ 0x00000000f3f20000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;35m    z20<127:0>: [0;35m0x000000050004000000020001000000ff[0;m
+#                          ║   ║       ║   ║       ╙─ 0xff <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ║   ║       ║   ╙───────── 0x01 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ║   ║       ╙───────────── 0x02 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ║   ╙───────────────────── 0x04 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ╙───────────────────────── 0x05 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;35m  z20<255:128>: [0;35m0x000e000d0000000b000a000000080007[0;m
+#                      ║   ║       ║   ║       ║   ╙─ 0x07 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                      ║   ║       ║   ║       ╙───── 0x08 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                      ║   ║       ║   ╙───────────── 0x0a <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                      ║   ║       ╙───────────────── 0x0b <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                      ║   ╙───────────────────────── 0x0d <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                      ╙───────────────────────────── 0x0e <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z20<383:256>: [0;35m0x00000000000000000000000000000000[0;m
 #
-# [1;35m  z20<511:384>: [0;35m0x00000000000000000000000000000000[0;m
-#                          ║   ║       ║   ║       ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║   ║       ║   ╙───────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║   ║       ╙───────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║   ╙───────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z20<639:512>: [0;35m0x00000000000000230022000000000000[0;m
-#                      ║   ║       ║   ║       ║   ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║       ║   ║       ╙───── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║       ║   ╙───────────── 0x22 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║       ╙───────────────── 0x23 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ╙───────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ╙───────────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;35m  z20<511:384>: [0;35m0x0000001d001c0000001a001900000017[0;m
+#                          ║   ║       ║   ║       ╙─ 0x17 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ║   ║       ║   ╙───────── 0x19 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ║   ║       ╙───────────── 0x1a <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ║   ╙───────────────────── 0x1c <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ╙───────────────────────── 0x1d <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z21<127:0>: [0;35m0x00000000000000000000000000000000[0;m
 #                          ║               ║       ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║               ╙───────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5463,10 +5371,6 @@
 #                          ║               ║       ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║               ╙───────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ╙───────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z21<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                          ║       ║               ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ╙───────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z22<127:0>: [0;35m0x00000000000000000000000000000000[0;m
 #                                                  ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z22<255:128>: [0;35m0x00000000000000000000000000000000[0;m
@@ -5476,31 +5380,23 @@
 #
 # [1;35m  z22<511:384>: [0;35m0x00000000000000000000000000000000[0;m
 #                                                  ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z22<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                                  ║               ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                                  ╙───────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m    z23<127:0>: [0;35m0x00000000000000860000000000000000[0;m
+# [1;35m    z23<127:0>: [0;35m0x00000000000000640000000000000000[0;m
 #                          ║       ║       ║       ╙─ 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║       ║       ╙───────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ╙───────────────── 0x0086 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ║       ╙───────────────── 0x0064 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ╙───────────────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z23<255:128>: [0;35m0x00000000000000000000000000000000[0;m
 #                          ║       ║       ║       ╙─ 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║       ║       ╙───────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║       ╙───────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ╙───────────────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z23<383:256>: [0;35m0x00000000000000000000000000000304[0;m
-#                          ║       ║       ║       ╙─ 0x0304 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ║       ╙───────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ╙───────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;35m  z23<383:256>: [0;35m0x00007776000075740000737200007170[0;m
+#                          ║       ║       ║       ╙─ 0x7170 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ║       ║       ╙───────── 0x7372 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ║       ╙───────────────── 0x7574 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ╙───────────────────────── 0x7776 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z23<511:384>: [0;35m0x00000000000000000000000000000000[0;m
 #
-# [1;35m  z23<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                          ║       ║       ║       ╙─ 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ║       ╙───────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ╙───────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z24<127:0>: [0;35m0x00000000000000000000000000000000[0;m
 #                                  ║               ╙─ 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                                  ╙───────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5512,9 +5408,6 @@
 #                                  ╙───────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z24<511:384>: [0;35m0x00000000000000000000000000000000[0;m
 #
-# [1;35m  z24<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                                  ║               ╙─ 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                                  ╙───────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z20<127:0>: [0;35m0x00000000000000000000000000000000[0;m
 #                                                  ╙─ 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z20<255:128>: [0;35m0x00000000000000000000000000000000[0;m
@@ -5524,9 +5417,6 @@
 #
 # [1;35m  z20<511:384>: [0;35m0x00000000000000000000000000000000[0;m
 #                                                  ╙─ 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z20<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                                  ║               ╙─ 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                                  ╙───────────────── 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z21<127:0>: [0;35m0x00000000000000000000000000000000[0;m
 #                          ║   ║       ║   ║       ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║   ║       ║   ╙───────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5548,13 +5438,6 @@
 #                          ║   ║       ╙───────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║   ╙───────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ╙───────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z21<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                      ║   ║       ║   ║       ║   ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║       ║   ║       ╙───── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║       ║   ╙───────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║       ╙───────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ╙───────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ╙───────────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z22<127:0>: [0;35m0x00000000000000000000000000000000[0;m
 #                          ║               ║       ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║               ╙───────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5569,46 +5452,34 @@
 #                          ║               ║       ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║               ╙───────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ╙───────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z22<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                          ║       ║               ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ╙───────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m    z23<127:0>: [0;35m0x0000000000000000000000000000007f[0;m
-#                                  ║               ╙─ 0x7f <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;35m    z23<127:0>: [0;35m0x0000000000000000ffffffffffffffff[0;m
+#                                  ║               ╙─ 0xff <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                                  ╙───────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z23<255:128>: [0;35m0x00000000000000000000000000000000[0;m
-#                                  ║               ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                                  ╙───────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z23<383:256>: [0;35m0x00000000000000000000000000000000[0;m
-#                                  ║               ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                                  ╙───────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;35m  z23<255:128>: [0;35m0x00000000000000020000000000000001[0;m
+#                                  ║               ╙─ 0x01 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                                  ╙───────────────── 0x02 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;35m  z23<383:256>: [0;35m0x00000000000000040000000000000003[0;m
+#                                  ║               ╙─ 0x03 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                                  ╙───────────────── 0x04 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z23<511:384>: [0;35m0x00000000000000000000000000000000[0;m
 #
-# [1;35m  z23<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                                  ║               ╙─ 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                                  ╙───────────────── 0x00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m    z24<127:0>: [0;35m0x00000000000000860000000000000000[0;m
+# [1;35m    z24<127:0>: [0;35m0x00000000000000640000000000000000[0;m
 #                          ║       ║       ║       ╙─ 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║       ║       ╙───────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ╙───────────────── 0x0086 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ║       ╙───────────────── 0x0064 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ╙───────────────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z24<255:128>: [0;35m0x00000000000000000000000000000000[0;m
 #                          ║       ║       ║       ╙─ 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║       ║       ╙───────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║       ╙───────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ╙───────────────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z24<383:256>: [0;35m0x00000000000000000000000000000304[0;m
-#                          ║       ║       ║       ╙─ 0x0304 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ║       ╙───────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ╙───────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;35m  z24<383:256>: [0;35m0x00007776000075740000737200007170[0;m
+#                          ║       ║       ║       ╙─ 0x7170 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ║       ║       ╙───────── 0x7372 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ║       ╙───────────────── 0x7574 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                          ╙───────────────────────── 0x7776 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z24<511:384>: [0;35m0x00000000000000000000000000000000[0;m
 #
-# [1;35m  z24<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                          ║       ║       ║       ╙─ 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ║       ╙───────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ╙───────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z20<127:0>: [0;35m0x00000000000000000000000000000000[0;m
 #                                                  ╙─ 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z20<255:128>: [0;35m0x00000000000000000000000000000000[0;m
@@ -5618,9 +5489,6 @@
 #
 # [1;35m  z20<511:384>: [0;35m0x00000000000000000000000000000000[0;m
 #                                                  ╙─ 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z20<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                                  ║               ╙─ 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                                  ╙───────────────── 0x0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z21<127:0>: [0;35m0x00000000000000000000000000000000[0;m
 #                                                  ╙─ 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m  z21<255:128>: [0;35m0x00000000000000000000000000000000[0;m
@@ -5630,12 +5498,9 @@
 #
 # [1;35m  z21<511:384>: [0;35m0x00000000000000000000000000000000[0;m
 #                                                  ╙─ 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z21<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                                  ║               ╙─ 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                                  ╙───────────────── 0x00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m    z20<127:0>: [0;35m0x0000000000000000000000000000007f[0;m
-# [1;35m    z21<127:0>: [0;35m0x00000000000000000000000000000000[0;m
-#                    ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ║ ║ ║ ╙─ 0x00'7f <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+# [1;35m    z20<127:0>: [0;35m0x0000007f007f000000000000000000ff[0;m
+# [1;35m    z21<127:0>: [0;35m0x00000000800080000000000000000000[0;m
+#                    ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ║ ║ ║ ╙─ 0x00'ff <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ║ ║ ╙─── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ║ ╙───── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ╙─────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5643,30 +5508,30 @@
 #                    ║ ║   ║ ║ ║ ║ ║ ║   ╙─────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║   ║ ║ ║ ║ ║ ╙─────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║   ║ ║ ║ ║ ╙───────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║   ║ ║ ║ ╙─────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║   ║ ║ ╙───────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║   ║ ╙─────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║   ╙───────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║ ║   ║ ║ ║ ╙─────────────────── 0x80'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║ ║   ║ ║ ╙───────────────────── 0x00'7f <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║ ║   ║ ╙─────────────────────── 0x80'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║ ║   ╙───────────────────────── 0x00'7f <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ╙───────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ╙─────────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z20<255:128>: [0;35m0x000000000000002f0000290000230000[0;m
-# [1;35m  z21<255:128>: [0;35m0x00000000000000002e00000000002200[0;m
+# [1;35m  z20<255:128>: [0;35m0x00000000000000000000000000000000[0;m
+# [1;35m  z21<255:128>: [0;35m0x00000000000000000000000000000000[0;m
 #                    ║ ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ║ ╙─ 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ╙─── 0x22'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ╙───── 0x00'23 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║ ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ╙─── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║ ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ╙───── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║ ║ ║   ║ ║ ║ ║ ║ ║   ╙─────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║ ║   ║ ║ ║ ║ ║ ╙─────────── 0x00'29 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║ ║ ║ ║   ║ ║ ║ ║ ║ ╙─────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║ ║ ║   ║ ║ ║ ║ ╙───────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║ ║   ║ ║ ║ ╙─────────────── 0x2e'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║ ║   ║ ║ ╙───────────────── 0x00'2f <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║ ║ ║ ║   ║ ║ ║ ╙─────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║ ║ ║ ║   ║ ║ ╙───────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║ ║ ║   ║ ╙─────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║ ║ ║   ╙───────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║ ║ ╙───────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║ ╙─────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ╙───────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ╙─────────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z20<383:256>: [0;35m0x0000007f007f00000000000000000000[0;m
-# [1;35m  z21<383:256>: [0;35m0x00000000800000000000000000000000[0;m
+# [1;35m  z20<383:256>: [0;35m0x00000000000000000000000000000000[0;m
+# [1;35m  z21<383:256>: [0;35m0x00000000000000000000000000000000[0;m
 #                    ║ ║ ║ ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ╙─ 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║ ║ ║ ║ ║   ║ ║ ║ ║ ║ ║   ╙─── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║ ║ ║ ║ ║   ║ ║ ║ ║ ║ ╙─────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5675,9 +5540,9 @@
 #                    ║ ║ ║ ║ ║ ║   ║ ║ ╙───────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║ ║ ║ ║ ║   ║ ╙─────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║ ║ ║ ║ ║   ╙───────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║ ║ ║ ╙───────────────────── 0x00'7f <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║ ║ ╙─────────────────────── 0x80'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║ ╙───────────────────────── 0x00'7f <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║ ║ ║ ║ ║ ╙───────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║ ║ ║ ║ ╙─────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                    ║ ║ ║ ╙───────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ║ ╙─────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║ ╙───────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ╙─────────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5696,22 +5561,6 @@
 #                    ║   ║ ╙───────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║   ╙─────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ╙─────────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z20<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-# [1;35m  z21<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ║ ║ ╙─ 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ║ ╙─── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ╙───── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ╙─────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ╙───────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ╙───────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ╙─────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ╙───────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ╙─────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ╙───────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ╙─────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ╙─────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ╙───────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ╙─────────────────────────────── 0x00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z21<127:0>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
 # [1;35m    z22<127:0>: [0;35m0x000000007f807f800000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
 #                      ║   ║   ║   ║   ║   ║   ║   ╙─ 0x0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5752,16 +5601,6 @@
 #                      ║   ║   ╙───────────────────── 0x0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                      ║   ╙───────────────────────── 0x0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                      ╙───────────────────────────── 0x0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z21<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z22<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-#                      ║   ║   ║   ║   ║   ║   ║   ╙─ 0x0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ║   ║   ╙───── 0x0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ║   ╙───────── 0x0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ╙───────────── 0x0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ╙───────────────── 0x0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ╙───────────────────── 0x0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ╙───────────────────────── 0x0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ╙───────────────────────────── 0x0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z22<127:0>: [0;35m0x000000007f8000000000000000000000[0;m ([0;35m0.000[0;m, [0;35minf[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
 # [1;35m    z23<127:0>: [0;35m0x000000007f8000000000000000000000[0;m ([0;35m0.000[0;m, [0;35minf[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
 #                          ║       ║       ║       ╙─ 0x00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5786,12 +5625,6 @@
 #                          ║       ║       ╙───────── 0x00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║       ╙───────────────── 0x00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ╙───────────────────────── 0x00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z22<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z23<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-#                          ║       ║       ║       ╙─ 0x00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ║       ╙───────── 0x00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ╙───────────────── 0x00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z23<127:0>: [0;35m0x7f8000007f8000000000000000000000[0;m ([0;35m1.404e+306[0;m, [0;35m0.000[0;m)
 # [1;35m    z24<127:0>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m1.404e+306[0;m, [0;35m0.000[0;m)
 #                                  ║               ╙─ 0x0000000000000000'0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5807,10 +5640,6 @@
 # [1;35m  z23<511:384>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, ...)
 # [1;35m  z24<511:384>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, ...)
 #                                  ╙───────────────── 0x0000000000000000'0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z23<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z24<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
-#                                  ║               ╙─ 0x0000000000000000'0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                                  ╙───────────────── 0x0000000000000000'0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z24<127:0>: [0;35m0x00000000fe000000000000ff00000000[0;m
 # [1;35m    z25<127:0>: [0;35m0x0000000080000000000000ffc0000000[0;m
 # [1;35m    z26<127:0>: [0;35m0x0000000001000000000000007f000000[0;m
@@ -5878,30 +5707,13 @@
 #                    ║   ║ ╙───────────────────────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║   ╙─────────────────────────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ╙─────────────────────────────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z24<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-# [1;35m  z25<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-# [1;35m  z26<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ║ ║ ╙─ 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ║ ╙─── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ╙───── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ╙─────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ╙───────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ╙─────────────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ╙───────────────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ╙─────────────────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ╙───────────────────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ╙─────────────────────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ╙─────────────────────────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ╙───────────────────────────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ╙─────────────────────────────── 0x00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m    z25<127:0>: [0;35m0x292823221d1c17160000000000000000[0;m ([0;35m0.04028[0;m, [0;35m0.01393[0;m, [0;35m0.004990[0;m, [0;35m0.001730[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m    z26<127:0>: [0;35m0x2b2a25241f1e191813120d0c07060100[0;m ([0;35m0.04028[0;m, [0;35m0.01393[0;m, [0;35m0.004990[0;m, [0;35m0.001730[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m    z27<127:0>: [0;35m0x2d2c272621201b1a1514000009080000[0;m ([0;35m0.04028[0;m, [0;35m0.01393[0;m, [0;35m0.004990[0;m, [0;35m0.001730[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
+# [1;35m    z25<127:0>: [0;35m0x292823221d1c17161110000000000000[0;m ([0;35m0.04028[0;m, [0;35m0.01393[0;m, [0;35m0.004990[0;m, [0;35m0.001730[0;m, [0;35m0.0006180[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
+# [1;35m    z26<127:0>: [0;35m0x2b2a25241f1e191813120d0c07060100[0;m ([0;35m0.04028[0;m, [0;35m0.01393[0;m, [0;35m0.004990[0;m, [0;35m0.001730[0;m, [0;35m0.0006180[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
+# [1;35m    z27<127:0>: [0;35m0x2d2c272621201b1a15140f0e09080000[0;m ([0;35m0.04028[0;m, [0;35m0.01393[0;m, [0;35m0.004990[0;m, [0;35m0.001730[0;m, [0;35m0.0006180[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
 #                      ║   ║   ║   ║   ║   ║   ║   ╙─ 0x0000'0100'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                      ║   ║   ║   ║   ║   ║   ╙───── 0x0908'0706'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ║   ╙───────── 0x0000'0d0c'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ╙───────────── 0x1514'1312'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                      ║   ║   ║   ║   ║   ╙───────── 0x0f0e'0d0c'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
+#                      ║   ║   ║   ║   ╙───────────── 0x1514'1312'1110 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                      ║   ║   ║   ╙───────────────── 0x1b1a'1918'1716 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                      ║   ║   ╙───────────────────── 0x2120'1f1e'1d1c <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                      ║   ╙───────────────────────── 0x2726'2524'2322 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
@@ -5939,17 +5751,6 @@
 #                      ║   ║   ╙───────────────────── 0xb1b0'afae'adac <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                      ║   ╙───────────────────────── 0xb7b6'b5b4'b3b2 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                      ╙───────────────────────────── 0xbdbc'bbba'b9b8 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z25<639:512>: [0;35m0xe9e8e3e2dddcd7d6d1d0cbcac5c4bfbe[0;m ([0;35m-3024.[0;m, [0;35m-1009.[0;m, [0;35m-375.0[0;m, [0;35m-125.4[0;m, [0;35m-46.50[0;m, [0;35m-15.58[0;m, [0;35m-5.766[0;m, [0;35m-1.936[0;m)
-# [1;35m  z26<639:512>: [0;35m0xebeae5e4dfded9d8d3d2cdccc7c6c1c0[0;m ([0;35m-3024.[0;m, [0;35m-1009.[0;m, [0;35m-375.0[0;m, [0;35m-125.4[0;m, [0;35m-46.50[0;m, [0;35m-15.58[0;m, [0;35m-5.766[0;m, [0;35m-1.936[0;m)
-# [1;35m  z27<639:512>: [0;35m0xedece7e6e1e0dbdad5d4cfcec9c8c3c2[0;m ([0;35m-3024.[0;m, [0;35m-1009.[0;m, [0;35m-375.0[0;m, [0;35m-125.4[0;m, [0;35m-46.50[0;m, [0;35m-15.58[0;m, [0;35m-5.766[0;m, [0;35m-1.936[0;m)
-#                      ║   ║   ║   ║   ║   ║   ║   ╙─ 0xc3c2'c1c0'bfbe <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ║   ║   ╙───── 0xc9c8'c7c6'c5c4 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ║   ╙───────── 0xcfce'cdcc'cbca <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ╙───────────── 0xd5d4'd3d2'd1d0 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ╙───────────────── 0xdbda'd9d8'd7d6 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ╙───────────────────── 0xe1e0'dfde'dddc <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ╙───────────────────────── 0xe7e6'e5e4'e3e2 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ╙───────────────────────────── 0xedec'ebea'e9e8 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z26<127:0>: [0;35m0x00000000000000000000ffff00000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m9.183e-41[0;m, [0;35m0.000[0;m)
 # [1;35m    z27<127:0>: [0;35m0x00000000000000007fff000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m9.183e-41[0;m, [0;35m0.000[0;m)
 # [1;35m    z28<127:0>: [0;35m0x000000000180fe00000000007fc00000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m9.183e-41[0;m, [0;35m0.000[0;m)
@@ -5978,13 +5779,6 @@
 #                          ║       ║       ╙───────── 0x00000000'00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║       ╙───────────────── 0x00000000'00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ╙───────────────────────── 0x00000000'00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z26<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z27<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z28<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-#                          ║       ║       ║       ╙─ 0x00000000'00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ║       ╙───────── 0x00000000'00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ╙───────────────── 0x00000000'00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x00000000'00000000'00000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z27<127:0>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
 # [1;35m    z28<127:0>: [0;35m0x000000000180fe000000ffff7fc00000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
 # [1;35m    z29<127:0>: [0;35m0x0000000000000000000000007fff0000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
@@ -6004,11 +5798,6 @@
 # [1;35m  z28<511:384>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, ...)
 # [1;35m  z29<511:384>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, ...)
 #                                  ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z27<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z28<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z29<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
-#                                  ║               ╙─ 0x0000000000000000'0000000000000000'0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                                  ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z25<127:0>: [0;35m0x0000000000000000000000f300000000[0;m
 # [1;35m    z26<127:0>: [0;35m0x00000000000000000000000400000000[0;m
 # [1;35m    z27<127:0>: [0;35m0x0080000000800000000000ff00000000[0;m
@@ -6080,24 +5869,6 @@
 #                    ║   ║ ╙───────────────────────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ║   ╙─────────────────────────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                    ╙─────────────────────────────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z25<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-# [1;35m  z26<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-# [1;35m  z27<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-# [1;35m  z28<639:512>: [0;35m0x00000000000000000000000000000000[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ║ ║ ╙─ 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ║ ╙─── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ║ ╙───── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ║ ╙─────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ║   ╙───────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ║ ╙─────────────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ║ ╙───────────────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ║ ╙─────────────────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ║ ╙───────────────────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ║   ╙─────────────────────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ║ ╙─────────────────────────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ║ ╙───────────────────────────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                    ╙─────────────────────────────── 0x00'00'00'00 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z26<127:0>: [0;35m0x00000000000000003fb504f300000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m1.927[0;m, [0;35m7.552e-05[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
 # [1;35m    z27<127:0>: [0;35m0x7f8000007f800000ffffffff00000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m1.927[0;m, [0;35m7.552e-05[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
 # [1;35m    z28<127:0>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m1.927[0;m, [0;35m7.552e-05[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
@@ -6146,18 +5917,6 @@
 #                      ║   ║   ╙───────────────────── 0x0000'0000'0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                      ║   ╙───────────────────────── 0x0000'0000'0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                      ╙───────────────────────────── 0x0000'0000'0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z26<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z27<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z28<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z29<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
-#                      ║   ║   ║   ║   ║   ║   ║   ╙─ 0x0000'0000'0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ║   ║   ╙───── 0x0000'0000'0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ║   ╙───────── 0x0000'0000'0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ║   ╙───────────── 0x0000'0000'0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ║   ╙───────────────── 0x0000'0000'0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ║   ╙───────────────────── 0x0000'0000'0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ║   ╙───────────────────────── 0x0000'0000'0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                      ╙───────────────────────────── 0x0000'0000'0000'0000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z27<127:0>: [0;35m0x2f2e2d2c000000000000000000000000[0;m ([0;35m1.584e-10[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
 # [1;35m    z28<127:0>: [0;35m0x33323130000000007f80000000000000[0;m ([0;35m1.584e-10[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
 # [1;35m    z29<127:0>: [0;35m0x00000000000000000000000007060504[0;m ([0;35m1.584e-10[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m, [0;35m0.000[0;m)
@@ -6190,14 +5949,6 @@
 #                          ║       ║       ╙───────── 0xdbdad9d8'd7d6d5d4'd3d2d1d0'cfcecdcc <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ║       ╙───────────────── 0xebeae9e8'e7e6e5e4'e3e2e1e0'dfdedddc <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 #                          ╙───────────────────────── 0xfbfaf9f8'f7f6f5f4'f3f2f1f0'efeeedec <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z27<639:512>: [0;35m0x2f2e2d2c1f1e1d1c0f0e0d0cfffefdfc[0;m ([0;35m1.584e-10[0;m, [0;35m3.348e-20[0;m, [0;35m7.004e-30[0;m, [0;35mnan[0;m)
-# [1;35m  z28<639:512>: [0;35m0x33323130232221201312111003020100[0;m ([0;35m1.584e-10[0;m, [0;35m3.348e-20[0;m, [0;35m7.004e-30[0;m, [0;35mnan[0;m)
-# [1;35m  z29<639:512>: [0;35m0x37363534272625241716151407060504[0;m ([0;35m1.584e-10[0;m, [0;35m3.348e-20[0;m, [0;35m7.004e-30[0;m, [0;35mnan[0;m)
-# [1;35m  z30<639:512>: [0;35m0x3b3a39382b2a29281b1a19180b0a0908[0;m ([0;35m1.584e-10[0;m, [0;35m3.348e-20[0;m, [0;35m7.004e-30[0;m, [0;35mnan[0;m)
-#                          ║       ║       ║       ╙─ 0x0b0a0908'07060504'03020100'fffefdfc <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ║       ╙───────── 0x1b1a1918'17161514'13121110'0f0e0d0c <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ║       ╙───────────────── 0x2b2a2928'27262524'23222120'1f1e1d1c <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                          ╙───────────────────────── 0x3b3a3938'37363534'33323130'2f2e2d2c <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;35m    z28<127:0>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
 # [1;35m    z29<127:0>: [0;35m0x000000007f8000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
 # [1;35m    z30<127:0>: [0;35m0x000000000000000000000000ffff04f3[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
@@ -6221,12 +5972,6 @@
 # [1;35m  z30<511:384>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, ...)
 # [1;35m  z31<511:384>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, ...)
 #                                  ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-# [1;35m  z28<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z29<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z30<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
-# [1;35m  z31<639:512>: [0;35m0x00000000000000000000000000000000[0;m ([0;35m0.000[0;m, [0;35m0.000[0;m)
-#                                  ║               ╙─ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
-#                                  ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 <- [1;34m0x~~~~~~~~~~~~~~~~[0;m
 # [1;36m            sp: [0;36m0x~~~~~~~~~~~~~~~~[0;m
 # [1;36m            x0: [0;36m0x~~~~~~~~~~~~~~~~[0;m
 # [1;36m            w0: [0;36m        0x00000055[0;m
commit	c40e288158b6437d86f025928d44605298aa3cf4	[log] [tgz]
author	Martyn Capewell <martyn.capewell@arm.com>	Fri Mar 22 13:47:46 2024 +0000
committer	mmc28a <78873583+mmc28a@users.noreply.github.com>	Thu May 22 10:18:47 2025 +0100
tree	b9de089cfb9b532b5c2c9143d352f3bc820b6534
parent	45e3920d45bf6c15e13bce0b8d9792d660e18bd0 [diff] [blame]