[sve] Update simulator tracing for SVE.
Change-Id: I96ef65f74db89592df4a63101bbcb546b6c95392
diff --git a/test/test-trace-reference/log-state b/test/test-trace-reference/log-state
index 5dd34d6..fbc5a35 100644
--- a/test/test-trace-reference/log-state
+++ b/test/test-trace-reference/log-state
@@ -30,38 +30,246 @@
# x29: 0x1d0001d001d01d1d
# lr: 0x0000000000000000
# sp: 0x~~~~~~~~~~~~~~~~
-# v0: 0x00055555005555550000000000000000
-# v1: 0x3ff0d2c63fcb514c3ff587933f9e0419
-# v2: 0x4000d2c6404b514c40058793401e0419
-# v3: 0x401570fb40385373401025ae406d0626
-# v4: 0x4010d2c640cb514c40158793409e0419
-# v5: 0x401fbc2d4090d04a401ae97840c5851f
-# v6: 0x402570fb40b85373402025ae40ed0626
-# v7: 0x402783f4415f16c34022d6a1410a4396
-# v8: 0x4020d2c6414b514c40258793411e0419
-# v9: 0x402d6dd3416491c9402838864131c49c
-# v10: 0x402fbc2d4110d04a402ae9784145851f
-# v11: 0x4028cf3e410c10f7402d9a6b415945a2
-# v12: 0x403570fb41385373403025ae416d0626
-# v13: 0x40342b7d41d5360140317e2841806354
-# v14: 0x403783f441df16c34032d6a1418a4396
-# v15: 0x40317a4f41c1768240342f1a419423d7
-# v16: 0x4030d2c641cb514c40358793419e0419
-# v17: 0x4033b55841f2b10e4036e00d41a7e45b
-# v18: 0x403d6dd341e491c94038388641b1c49c
-# v19: 0x403cc5aa41eef18b403990ff41bba4de
-# v20: 0x403fbc2d4190d04a403ae97841c5851f
-# v21: 0x403914a7419a3034403c41f241cf6561
-# v22: 0x4038cf3e418c10f7403d9a6b41d945a2
-# v23: 0x403ba7b141b670b1403ef2e441e325e4
-# v24: 0x404570fb41b85373404025ae41ed0626
-# v25: 0x404584be41a3b3324040d1eb41f6e667
-# v26: 0x40442b7d4255360140417e2842006354
-# v27: 0x40477f314250062040422a6442055375
-# v28: 0x404783f4425f16c34042d6a1420a4396
-# v29: 0x4046d78b425a66e2404382de420f33b7
-# v30: 0x40417a4f4241768240442f1a421423d7
-# v31: 0x40418e02424c46ad4044db57421913f8
+# z0<127:0>: 0x47e000017f03380147e000007f023800
+# z0<255:128>: 0x47e000037f03380347e000027f023802
+# z0<383:256>: 0x47e000057f07380547e000047f063804
+# z0<511:384>: 0x47e000077f07380747e000067f063806
+# z0<639:512>: 0x47e000097f0b380947e000087f0a3808
+# z1<127:0>: 0x47f000017f833c0147f000007f823c00
+# z1<255:128>: 0x47f000037f833c0347f000027f823c02
+# z1<383:256>: 0x47f000057f873c0547f000047f863c04
+# z1<511:384>: 0x47f000077f873c0747f000067f863c06
+# z1<639:512>: 0x47f000097f8b3c0947f000087f8a3c08
+# z2<127:0>: 0x48000001800340014800000080024000
+# z2<255:128>: 0x48000003800340034800000280024002
+# z2<383:256>: 0x48000005800740054800000480064004
+# z2<511:384>: 0x48000007800740074800000680064006
+# z2<639:512>: 0x48000009800b400948000008800a4008
+# z3<127:0>: 0x48100001808344014810000080824400
+# z3<255:128>: 0x48100003808344034810000280824402
+# z3<383:256>: 0x48100005808744054810000480864404
+# z3<511:384>: 0x48100007808744074810000680864406
+# z3<639:512>: 0x48100009808b440948100008808a4408
+# z4<127:0>: 0x48200001810348014820000081024800
+# z4<255:128>: 0x48200003810348034820000281024802
+# z4<383:256>: 0x48200005810748054820000481064804
+# z4<511:384>: 0x48200007810748074820000681064806
+# z4<639:512>: 0x48200009810b480948200008810a4808
+# z5<127:0>: 0x4830000181834c014830000081824c00
+# z5<255:128>: 0x4830000381834c034830000281824c02
+# z5<383:256>: 0x4830000581874c054830000481864c04
+# z5<511:384>: 0x4830000781874c074830000681864c06
+# z5<639:512>: 0x48300009818b4c0948300008818a4c08
+# z6<127:0>: 0x48400001820350014840000082025000
+# z6<255:128>: 0x48400003820350034840000282025002
+# z6<383:256>: 0x48400005820750054840000482065004
+# z6<511:384>: 0x48400007820750074840000682065006
+# z6<639:512>: 0x48400009820b500948400008820a5008
+# z7<127:0>: 0x48500001828354014850000082825400
+# z7<255:128>: 0x48500003828354034850000282825402
+# z7<383:256>: 0x48500005828754054850000482865404
+# z7<511:384>: 0x48500007828754074850000682865406
+# z7<639:512>: 0x48500009828b540948500008828a5408
+# z8<127:0>: 0x48600001830358014860000083025800
+# z8<255:128>: 0x48600003830358034860000283025802
+# z8<383:256>: 0x48600005830758054860000483065804
+# z8<511:384>: 0x48600007830758074860000683065806
+# z8<639:512>: 0x48600009830b580948600008830a5808
+# z9<127:0>: 0x4870000183835c014870000083825c00
+# z9<255:128>: 0x4870000383835c034870000283825c02
+# z9<383:256>: 0x4870000583875c054870000483865c04
+# z9<511:384>: 0x4870000783875c074870000683865c06
+# z9<639:512>: 0x48700009838b5c0948700008838a5c08
+# z10<127:0>: 0x48800001840360014880000084026000
+# z10<255:128>: 0x48800003840360034880000284026002
+# z10<383:256>: 0x48800005840760054880000484066004
+# z10<511:384>: 0x48800007840760074880000684066006
+# z10<639:512>: 0x48800009840b600948800008840a6008
+# z11<127:0>: 0x48900001848364014890000084826400
+# z11<255:128>: 0x48900003848364034890000284826402
+# z11<383:256>: 0x48900005848764054890000484866404
+# z11<511:384>: 0x48900007848764074890000684866406
+# z11<639:512>: 0x48900009848b640948900008848a6408
+# z12<127:0>: 0x48a000018503680148a0000085026800
+# z12<255:128>: 0x48a000038503680348a0000285026802
+# z12<383:256>: 0x48a000058507680548a0000485066804
+# z12<511:384>: 0x48a000078507680748a0000685066806
+# z12<639:512>: 0x48a00009850b680948a00008850a6808
+# z13<127:0>: 0x48b0000185836c0148b0000085826c00
+# z13<255:128>: 0x48b0000385836c0348b0000285826c02
+# z13<383:256>: 0x48b0000585876c0548b0000485866c04
+# z13<511:384>: 0x48b0000785876c0748b0000685866c06
+# z13<639:512>: 0x48b00009858b6c0948b00008858a6c08
+# z14<127:0>: 0x48c000018603700148c0000086027000
+# z14<255:128>: 0x48c000038603700348c0000286027002
+# z14<383:256>: 0x48c000058607700548c0000486067004
+# z14<511:384>: 0x48c000078607700748c0000686067006
+# z14<639:512>: 0x48c00009860b700948c00008860a7008
+# z15<127:0>: 0x48d000018683740148d0000086827400
+# z15<255:128>: 0x48d000038683740348d0000286827402
+# z15<383:256>: 0x48d000058687740548d0000486867404
+# z15<511:384>: 0x48d000078687740748d0000686867406
+# z15<639:512>: 0x48d00009868b740948d00008868a7408
+# z16<127:0>: 0x48e000018703780148e0000087027800
+# z16<255:128>: 0x48e000038703780348e0000287027802
+# z16<383:256>: 0x48e000058707780548e0000487067804
+# z16<511:384>: 0x48e000078707780748e0000687067806
+# z16<639:512>: 0x48e00009870b780948e00008870a7808
+# z17<127:0>: 0x48f0000187837c0148f0000087827c00
+# z17<255:128>: 0x48f0000387837c0348f0000287827c02
+# z17<383:256>: 0x48f0000587877c0548f0000487867c04
+# z17<511:384>: 0x48f0000787877c0748f0000687867c06
+# z17<639:512>: 0x48f00009878b7c0948f00008878a7c08
+# z18<127:0>: 0x49000001880380014900000088028000
+# z18<255:128>: 0x49000003880380034900000288028002
+# z18<383:256>: 0x49000005880780054900000488068004
+# z18<511:384>: 0x49000007880780074900000688068006
+# z18<639:512>: 0x49000009880b800949000008880a8008
+# z19<127:0>: 0x49100001888384014910000088828400
+# z19<255:128>: 0x49100003888384034910000288828402
+# z19<383:256>: 0x49100005888784054910000488868404
+# z19<511:384>: 0x49100007888784074910000688868406
+# z19<639:512>: 0x49100009888b840949100008888a8408
+# z20<127:0>: 0x49200001890388014920000089028800
+# z20<255:128>: 0x49200003890388034920000289028802
+# z20<383:256>: 0x49200005890788054920000489068804
+# z20<511:384>: 0x49200007890788074920000689068806
+# z20<639:512>: 0x49200009890b880949200008890a8808
+# z21<127:0>: 0x4930000189838c014930000089828c00
+# z21<255:128>: 0x4930000389838c034930000289828c02
+# z21<383:256>: 0x4930000589878c054930000489868c04
+# z21<511:384>: 0x4930000789878c074930000689868c06
+# z21<639:512>: 0x49300009898b8c0949300008898a8c08
+# z22<127:0>: 0x494000018a039001494000008a029000
+# z22<255:128>: 0x494000038a039003494000028a029002
+# z22<383:256>: 0x494000058a079005494000048a069004
+# z22<511:384>: 0x494000078a079007494000068a069006
+# z22<639:512>: 0x494000098a0b9009494000088a0a9008
+# z23<127:0>: 0x495000018a839401495000008a829400
+# z23<255:128>: 0x495000038a839403495000028a829402
+# z23<383:256>: 0x495000058a879405495000048a869404
+# z23<511:384>: 0x495000078a879407495000068a869406
+# z23<639:512>: 0x495000098a8b9409495000088a8a9408
+# z24<127:0>: 0x496000018b039801496000008b029800
+# z24<255:128>: 0x496000038b039803496000028b029802
+# z24<383:256>: 0x496000058b079805496000048b069804
+# z24<511:384>: 0x496000078b079807496000068b069806
+# z24<639:512>: 0x496000098b0b9809496000088b0a9808
+# z25<127:0>: 0x497000018b839c01497000008b829c00
+# z25<255:128>: 0x497000038b839c03497000028b829c02
+# z25<383:256>: 0x497000058b879c05497000048b869c04
+# z25<511:384>: 0x497000078b879c07497000068b869c06
+# z25<639:512>: 0x497000098b8b9c09497000088b8a9c08
+# z26<127:0>: 0x498000018c03a001498000008c02a000
+# z26<255:128>: 0x498000038c03a003498000028c02a002
+# z26<383:256>: 0x498000058c07a005498000048c06a004
+# z26<511:384>: 0x498000078c07a007498000068c06a006
+# z26<639:512>: 0x498000098c0ba009498000088c0aa008
+# z27<127:0>: 0x499000018c83a401499000008c82a400
+# z27<255:128>: 0x499000038c83a403499000028c82a402
+# z27<383:256>: 0x499000058c87a405499000048c86a404
+# z27<511:384>: 0x499000078c87a407499000068c86a406
+# z27<639:512>: 0x499000098c8ba409499000088c8aa408
+# z28<127:0>: 0x49a000018d03a80149a000008d02a800
+# z28<255:128>: 0x49a000038d03a80349a000028d02a802
+# z28<383:256>: 0x49a000058d07a80549a000048d06a804
+# z28<511:384>: 0x49a000078d07a80749a000068d06a806
+# z28<639:512>: 0x49a000098d0ba80949a000088d0aa808
+# z29<127:0>: 0x49b000018d83ac0149b000008d82ac00
+# z29<255:128>: 0x49b000038d83ac0349b000028d82ac02
+# z29<383:256>: 0x49b000058d87ac0549b000048d86ac04
+# z29<511:384>: 0x49b000078d87ac0749b000068d86ac06
+# z29<639:512>: 0x49b000098d8bac0949b000088d8aac08
+# z30<127:0>: 0x49c000018e03b00149c000008e02b000
+# z30<255:128>: 0x49c000038e03b00349c000028e02b002
+# z30<383:256>: 0x49c000058e07b00549c000048e06b004
+# z30<511:384>: 0x49c000078e07b00749c000068e06b006
+# z30<639:512>: 0x49c000098e0bb00949c000088e0ab008
+# z31<127:0>: 0x49d000018e83b40149d000008e82b400
+# z31<255:128>: 0x49d000038e83b40349d000028e82b402
+# z31<383:256>: 0x49d000058e87b40549d000048e86b404
+# z31<511:384>: 0x49d000078e87b40749d000068e86b406
+# z31<639:512>: 0x49d000098e8bb40949d000088e8ab408
+# p0<15:0>: 0b 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
+# p0<31:16>: 0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+# p0<47:32>: 0b 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
+# p0<63:48>: 0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+# p0<79:64>: 0b 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
+# p1<15:0>: 0b 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+# p1<31:16>: 0b 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+# p1<47:32>: 0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+# p1<63:48>: 0b 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+# p1<79:64>: 0b 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+# p2<15:0>: 0b 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1
+# p2<31:16>: 0b 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1
+# p2<47:32>: 0b 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1
+# p2<63:48>: 0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+# p2<79:64>: 0b 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1
+# p3<15:0>: 0b 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1
+# p3<31:16>: 0b 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1
+# p3<47:32>: 0b 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1
+# p3<63:48>: 0b 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1
+# p3<79:64>: 0b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+# p4<15:0>: 0b 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1
+# p4<31:16>: 0b 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1
+# p4<47:32>: 0b 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1
+# p4<63:48>: 0b 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1
+# p4<79:64>: 0b 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1
+# p5<15:0>: 0b 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1
+# p5<31:16>: 0b 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1
+# p5<47:32>: 0b 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1
+# p5<63:48>: 0b 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0
+# p5<79:64>: 0b 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1
+# p6<15:0>: 0b 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
+# p6<31:16>: 0b 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
+# p6<47:32>: 0b 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
+# p6<63:48>: 0b 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
+# p6<79:64>: 0b 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
+# p7<15:0>: 0b 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1
+# p7<31:16>: 0b 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1
+# p7<47:32>: 0b 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1
+# p7<63:48>: 0b 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1
+# p7<79:64>: 0b 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
+# p8<15:0>: 0b 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1
+# p8<31:16>: 0b 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1
+# p8<47:32>: 0b 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
+# p8<63:48>: 0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1
+# p8<79:64>: 0b 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1
+# p9<15:0>: 0b 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1
+# p9<31:16>: 0b 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1
+# p9<47:32>: 0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0
+# p9<63:48>: 0b 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1
+# p9<79:64>: 0b 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1
+# p10<15:0>: 0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1
+# p10<31:16>: 0b 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
+# p10<47:32>: 0b 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1
+# p10<63:48>: 0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1
+# p10<79:64>: 0b 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
+# p11<15:0>: 0b 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1
+# p11<31:16>: 0b 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1
+# p11<47:32>: 0b 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1
+# p11<63:48>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1
+# p11<79:64>: 0b 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0
+# p12<15:0>: 0b 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1
+# p12<31:16>: 0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1
+# p12<47:32>: 0b 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1
+# p12<63:48>: 0b 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
+# p12<79:64>: 0b 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1
+# p13<15:0>: 0b 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+# p13<31:16>: 0b 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1
+# p13<47:32>: 0b 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1
+# p13<63:48>: 0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1
+# p13<79:64>: 0b 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1
+# p14<15:0>: 0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+# p14<31:16>: 0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+# p14<47:32>: 0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+# p14<63:48>: 0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+# p14<79:64>: 0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+# p15<15:0>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+# p15<31:16>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+# p15<47:32>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1
+# p15<63:48>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1
+# p15<79:64>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1
# w3: 0x00900909
# x6: 0x0f0000f000f00f0f
# NZCV: N:0 Z:0 C:0 V:0
@@ -462,18 +670,18 @@
# NZCV: N:0 Z:1 C:1 V:0
# x3: 0x0000000000000000
# NZCV: N:1 Z:0 C:0 V:0
-# v13: 0x00000000000000004036e00cd9b7e45b
-# v8: 0x00000000000000000000000041c5851e
-# d1: 0x3ff587933f9e0419 (1.346)
-# s25: 0x410a4396 (8.642)
+# v13: 0x0000000000000000490ffff1110487fe
+# v8: 0x0000000000000000000000000e02aff8
+# d1: 0x47f000007f823c00 (3.403e+38)
+# s25: 0x02825400 (1.915e-37)
# v1: 0x0000000000000000ffffffffffffffff
# v4: 0x00000000000000000000000000000000
# v2: 0x00000000000000000000000000000000
# v12: 0x000000000000000000000000ffffffff
-# d13: 0x404633d07142f43a (44.40)
-# s27: 0x424094fe (48.15)
+# d13: 0x494002008a13204c (7.140e+44)
+# s27: 0x0e029fa8 (1.610e-30)
# NZCV: N:0 Z:0 C:0 V:0
-# NZCV: N:0 Z:0 C:1 V:0
+# NZCV: N:1 Z:0 C:0 V:0
# NZCV: N:0 Z:0 C:1 V:0
# NZCV: N:0 Z:1 C:1 V:0
# v19: 0x00000000000000000000000000000000
@@ -482,33 +690,33 @@
# v22: 0x00000000000000000000000000000000
# v27: 0x0000000000000000ffffffffffffffff
# v31: 0x0000000000000000ffffffffffffffff
-# v31: 0x00000000000000000000000000000000
+# v31: 0x000000000000000000000000ffffffff
# v1: 0x000000000000000000000000ffffffff
# v18: 0x00000000000000000000000000000000
-# v3: 0x00000000000000000000000000000000
+# v3: 0x0000000000000000ffffffffffffffff
# v11: 0x000000000000000000000000ffffffff
-# v17: 0x000000000000000000000000ffffffff
-# v24: 0x00000000000000000000000000000000
+# v17: 0x00000000000000000000000000000000
+# v24: 0x0000000000000000ffffffffffffffff
# v11: 0x00000000000000000000000000000000
# v5: 0x00000000000000000000000000000000
-# v18: 0x00000000000000000000000000000000
+# v18: 0x000000000000000000000000ffffffff
+# NZCV: N:0 Z:0 C:1 V:1
# NZCV: N:0 Z:0 C:1 V:0
-# NZCV: N:0 Z:0 C:1 V:0
+# NZCV: N:0 Z:0 C:1 V:1
# NZCV: N:1 Z:0 C:0 V:0
# NZCV: N:0 Z:0 C:1 V:0
# NZCV: N:0 Z:0 C:1 V:0
-# NZCV: N:0 Z:0 C:1 V:0
-# NZCV: N:0 Z:0 C:1 V:1
+# NZCV: N:1 Z:0 C:0 V:0
# NZCV: N:0 Z:1 C:1 V:0
# d10: 0x0000000000000000
-# s22: 0x00000000
-# d4: 0x0000000000000000
+# s22: 0xffffffff
+# d4: 0xfffffc0000000000
# d11: 0x0000000000000000
-# h8: 0x4a0e
+# h8: 0x7c00
# h12: 0xffff
# s12: 0x00000000
-# s27: 0x4072c000
-# v28: 0x00000000000000000000000000000016
+# s27: 0x42800000
+# v28: 0x00000000000000007fffffffffffffff
# v3: 0x00000000000000000000000000000000
# w18: 0x00000000
# w29: 0x00000000
@@ -518,55 +726,55 @@
# v31: 0x00000000000000000000000000000000
# w16: 0x00000000
# w18: 0x00000000
-# x26: 0x0000000000000009
+# x26: 0xffffffffffffffff
# x25: 0x0000000000000000
# v30: 0x00000000000000000000000000000000
-# v12: 0x00000000000000000000000000000012
-# w9: 0x00000009
-# w19: 0x00000007
-# x6: 0x0000000000000008
-# x22: 0x0000000000000008
+# v12: 0x000000000000000000000000ffffffff
+# w9: 0x7fffffff
+# w19: 0xffffffff
+# x6: 0x7fffffffffffffff
+# x22: 0xffffffffffffffff
# v27: 0x00000000000000000000000000000000
# v8: 0x00000000000000000000000000000000
# w29: 0x00000000
# w26: 0x00000000
# x13: 0x0000000000000000
# x5: 0x0000000000000000
-# v30: 0x00000000000000000000000000000014
+# v30: 0x00000000000000007fffffffffffffff
# v10: 0x00000000000000000000000000000000
-# w21: 0x00000014
+# w21: 0x7fffffff
# w18: 0x00000000
# x8: 0x0000000000000000
# x17: 0x0000000000000000
-# v0: 0x0000000000000000000000000000001c
-# v6: 0x00000000000000000000000000000009
+# v0: 0x0000000000000000ffffffffffffffff
+# v6: 0x00000000000000000000000000000000
# w29: 0x00000000
# w25: 0x00000000
# lr: 0x0000000000000000
# x27: 0x0000000000000000
-# v11: 0x00000000000000000000000000000000
-# v29: 0x00000000000000000000000000000019
+# v11: 0x00000000000000000000000000000001
+# v29: 0x00000000000000000000000000000000
# w15: 0x00000001
-# w16: 0x00000009
-# x13: 0x000000000000001b
-# x3: 0x000000000000001d
+# w16: 0x00000000
+# x13: 0x7fffffffffffffff
+# x3: 0x0000000000000000
# v24: 0x00000000000000000000000000000001
# v14: 0x00000000000000000000000000000001
-# w26: 0x00000001
-# x27: 0x0000000000000001
+# w26: 0x00000000
+# x27: 0x0000000000000000
# x29: 0x0000000000000001
# v12: 0x00000000000000000000000000000001
# v15: 0x00000000000000000000000000000000
# v13: 0x00000000000000000000000000000000
# v8: 0x00000000000000000000000000000000
# v31: 0x00000000000000000000000000000000
-# w6: 0x0000000c
+# w6: 0x7fffffff
# w25: 0x00000000
# w9: 0x00000000
# w17: 0x00000000
# x19: 0x0000000000000000
# x22: 0x0000000000000000
-# x14: 0x0000000000000018
+# x14: 0x0000000000000000
# x3: 0x0000000000000000
# v28: 0x00000000000000000000000000000000
# v0: 0x00000000000000000000000000000000
@@ -578,18 +786,18 @@
# w14: 0x00000000
# x22: 0x0000000000000000
# x8: 0x0000000000000000
-# x7: 0x0000000000000018
-# x22: 0x00008a4396000000
+# x7: 0x0000000000000000
+# x22: 0x0000000000000000
# d6: 0x7ff0000000000000 (inf)
# s26: 0x00000000 (0.000)
-# d18: 0x0000000000000014
+# d18: 0x7fffffffffffffff
# s13: 0x00000000
# d12: 0x0000000000000000 (0.000)
# s12: 0x00000000 (0.000)
# d28: 0x0000000000000000 (0.000)
# s6: 0x00000000 (0.000)
-# d20: 0x0000000000000014 (9.881e-323)
-# s7: 0x00000000 (0.000)
+# d20: 0x7fffffffffffffff (nan)
+# s7: 0x87027800 (-9.815e-35)
# d19: 0x0000000000000001 (4.941e-324)
# s0: 0xffffffff (nan)
# d13: 0x0000000000000000
@@ -600,28 +808,28 @@
# s21: 0x40380000
# w18: 0x00000001
# x18: 0x0000000000000000
-# d20: 0x0000000000000001
+# d20: 0xffffffffffffffff
# s5: 0x00000000
# d30: 0x0000000000000000 (0.000)
-# s25: 0xffffffff (nan)
+# s25: 0x00000000 (0.000)
# v4: 0x00000000000000000000000000000000
-# v14: 0x000000000000000000000000ffffffff
+# v14: 0x00000000000000000000000000000000
# d15: 0x80000000ffffffff (-2.122e-314)
# s14: 0x7fffffff (nan)
-# d0: 0x8000000000000000
-# s0: 0x80000014
+# d0: 0x87c0000086f277ff
+# s0: 0x7fffffff
# d19: 0x8000000040380000
-# s29: 0x80000000
+# s29: 0x7fffffff
# d31: 0x0000000000000000 (0.000)
-# s18: 0x7fffffff (nan)
+# s18: 0x80000000 (-0.000)
# v7: 0x00000000000000007ff0000000000000
-# v29: 0x000000000000000000000000ffffffff
+# v29: 0x0000000000000000000000007f800000
# v11: 0x00000000000000004000000000000000
# v18: 0x000000000000000000000000ffffffff
# v15: 0x00000000000000007fe0000000000000
# v5: 0x0000000000000000000000007f000000
# d16: 0x0000000000000000 (0.000)
-# s1: 0x00000000 (0.000)
+# s1: 0xffffffff (nan)
# d19: 0x0000000000000000 (0.000)
# s14: 0x40400000 (3.000)
# d20: 0x0000000000000000 (0.000)
@@ -633,119 +841,119 @@
# d13: 0x0000000000000000 (0.000)
# s17: 0x00000000 (0.000)
# d0: 0xc000000000000000 (-2.000)
-# s15: 0xffffffff (nan)
+# s15: 0x7f800000 (inf)
# v21: 0x00000000000000007ff0000000000000
-# v17: 0x000000000000000000000000ffffffff
+# v17: 0x0000000000000000000000007f800000
# v4: 0x00000000000000003ff8000000000000
# v14: 0x0000000000000000000000003fc00000
-# d14: 0x1f5ffffffff00000 (1.457e-157)
-# s4: 0xfff00000 (nan)
+# d14: 0x1f56954b41cd4293 (1.028e-157)
+# s4: 0x40a21722 (5.065)
# d13: 0xfff0000000000000 (-inf)
# s3: 0x00000000 (0.000)
# v31: 0x00000000000000000000000000000000
# v26: 0x00000000000000000000000000000000
-# d6: 0x4022000000000000
+# d6: 0x0000000000000000
# d5: 0x3f90000000000000
# d16: 0x0000000000000000
# d15: 0x0000000000000000
-# v7: 0x00000000000000007ff00000c9800000
+# v7: 0x00000000000000007ff000004e81442e
# v8: 0x0000000000000000c004000000000000
# s29: 0x00000000
-# s15: 0x3c200000
-# s27: 0x3f800000
+# s15: 0x49800000
+# s27: 0x00000000
# s26: 0x3c7fffff
-# v0: 0x000000000000000043d00a0e21904c71
-# v5: 0x00000000000000000000000000000000
-# d30: 0x3ff0000000000000
+# v0: 0x000000000000000043d21c000020e097
+# v5: 0x00000000000000003effffffffe00000
+# d30: 0x0000000000000000
# d3: 0x0000000000000000
-# d28: 0x4034000000000000
+# d28: 0x41dfffffffc00000
# d27: 0x0000000000000000
-# v11: 0x00000000000000004000000000000000
-# v0: 0x000000000000000043d00a0e4783c64c
+# v11: 0x0000000000000000400000004f7fe000
+# v0: 0x000000000000000043d21c00480a8294
# s20: 0x00000000
-# s21: 0x46160000
-# s6: 0x41d80000
+# s21: 0x00000000
+# s6: 0x5f000000
# s7: 0x38ff0000
-# v19: 0x000000000000000043d00a0e4783c64c
-# v16: 0x00000000000000004000000000000000
+# v19: 0x000000000000000043d21c00480a8294
+# v16: 0x0000000000000000400000004f7f2000
# v0: 0x00000000000000000000000000000000
-# v27: 0x00000000000000000000000000000001
-# v21: 0x00000000000000000000000000000001
+# v27: 0x00000000000000000000000000000000
+# v21: 0x00000000000000000000000000000000
# v16: 0x00000000000000000000000000000000
-# v31: 0x00000000000000000000000000000000
+# v31: 0x00000000000000003e01010101200000
# v29: 0x00000000000000000010000000000000
-# v10: 0x000000000000000000000000ffffffff
-# v31: 0x403ba7b141b670b1403ef2e47d0325e4
-# v10: 0x403ba7b141b670b15f9ef2e47cf325e4
-# v15: 0x000000000000000063300a0d4773c64c
-# v27: 0x0000000000000000403ef2e441e225e3
-# v25: 0x00000000000000004044000000000000
+# v10: 0x00000000000000003f0000007f600000
+# v31: 0x495000018a83940149500000d3029400
+# v10: 0x495000018a83940168a6954c14cfd693
+# v15: 0x00000000000000006328b14b89d7c527
+# v27: 0x0000000000000000495000000a029400
+# v25: 0x000000000000000041efffffffc00000
# v13: 0x00000000000000000000000037feffff
# v4: 0x00000000000000000000000000000000
-# v10: 0x00000000000000000000000082900a0d
-# v10: 0x0000000000000000000000003ff03c7f
-# v31: 0x00000000000000000000000000000000
+# v10: 0x000000000000000000000000827f4696
+# v10: 0x00000000000000000000000000003c7f
+# v31: 0x0000000000000000000000000000ffff
# v16: 0x00000000000000000000000000000000
# v0: 0x00000000000000000000000000000000
-# v31: 0x00000000000038fe0000000000000000
-# v14: 0x000000000000000043d00a0e4783c64c
-# v3: 0x000000007400000000000000c4000000
-# v8: 0x00000000ffffffff0000000000000000
-# v22: 0x00000000000000003c7fffff3ff00000
-# v29: 0x00000000000000004dde0dcf00000000
+# v31: 0x000000000000b87f000000000000ffff
+# v14: 0x000000000000000043d21c00480a8294
+# v3: 0x0000000020febf0000000000c4000000
+# v8: 0x000000007f8000003effffffffe00000
+# v22: 0x00000000000000003c7fffff00000000
+# v29: 0x00000000000000005fd2ca9e00000000
# v30: 0x0000000000000000000000003c7fffff
# v12: 0x0000000000000000000037000000bbfe
-# v17: 0x000000003700bbfe0000fffe00000000
-# v27: 0x0000000000000000000000000000006c
+# v17: 0x000000003700bbfe00007f803efeffe0
+# v27: 0x00000000000000000000000000000075
# v12: 0x00000000000000000000000000000000
# v27: 0x00000000000000000000000000003c7e
-# v19: 0x00000000000000000000000000005bad
+# v19: 0x00000000000000000000000000002a70
# v14: 0x00000000000000000000000000003c7e
# v10: 0x00000000000000000000000000000000
# v5: 0x00000000000000000000000000000000
-# v26: 0x000000007400000000000000c4000000
+# v26: 0x0000000020febf0000000000c4000000
# v7: 0x000000000000000000000000381b0000
-# v28: 0x00000000000000004034000000000000
-# v29: 0x00000000000000004dde0d4300000000
-# v12: 0x00000000000000000000000000000000
+# v28: 0x000000000000000040dfdcffdcc00000
+# v29: 0x00000000000000005fd2ca1200000000
+# v12: 0x0000000000000000000000000000ffff
# v18: 0x000000000000000000000000ff67ff67
-# v12: 0x000000000000000000000000c4000000
-# v2: 0x0000000000000000403ef2e441e30180
-# v8: 0x00000000ffffffff0000000004000000
+# v12: 0x00000000007ebf000000000000000000
+# v2: 0x0000000000000000495000008a828000
+# v8: 0x000000007f8000003effffffcc000000
# v5: 0x00000000000000000000000000000000
-# v9: 0x00128220009270f80016c26000c22160
+# v9: 0x0100000008009801010000000800dc00
# v14: 0x000000000000000000000000c4000000
# v29: 0x07070707070707070707070707070707
# v21: 0x00000000000000000000001f0000001f
-# v1: 0x0000000000000000000f000f0001000f
+# v1: 0x0000000000000000000f000f000f000f
# v27: 0x0000001f0000001f0000001f0000001f
# v19: 0x00000000000000000707070707070707
# v15: 0x000f000f000f000f000f000f0001000f
# v1: 0x08080808080808080808080808080808
-# v27: 0x00000000000000000000001000000020
-# v9: 0x0000000000000000000b000000080002
+# v27: 0x00000000000000000000001100000002
+# v9: 0x00000000000000000007001000040000
# v31: 0x0000000c0000000c0000000c0000000f
# v14: 0x00000000000000000505050505050505
-# v6: 0x00100010001000100001001000100010
+# v6: 0x00100010001000100001001000010000
# v18: 0x00000000000000000000000000000000
# v14: 0x00000000000000000000000000000000
-# v19: 0xffffffff00ffffff000000000000ffff
-# v15: 0xffffffffffffffffff00ffffff00ff00
+# v19: 0xffffffff000000ff0000000000ffffff
+# v15: 0xffffffffffffffffff00ff00ff00ffff
# v12: 0xffffffffffffffffffffffffffffffff
# v8: 0xffffffffffffffff0000000000000000
# v2: 0x00000000000000000000000000000000
-# v16: 0x000000000000000000000000ffffffff
-# v6: 0x00000000000000000000000000000000
+# v16: 0x00000000000000000000000000000000
+# v6: 0x00000000000000000000ffff00000000
# v16: 0x0000000000000000ffffffff00000000
-# v21: 0xffffffff0000000000000000ffffffff
-# v6: 0xffffffffffffffff00000000ffffffff
+# v21: 0xffffffff000000000000000000000000
+# v6: 0xffffffffffffffff0000000000000000
# v16: 0x0000000000000000ffffffff00000000
# v21: 0x000000000000000000000000ffffffff
-# v20: 0xffffffffffffffff0000ffff0000ffff
+# v20: 0xffffffffffffffff000000000000ffff
# v26: 0x0000000000000000ffffffffffffffff
# v16: 0x00000000000000000000000000000000
# v25: 0x0000000000000000ffffffffffffffff
-# v17: 0x000000000000ffffffffffffffff0000
+# v17: 0x0000000000ffffffffff00ff00ffffff
# v22: 0xffffffffffffffffffffffffffff0000
# v28: 0x0000000000000000ffffffffffffffff
# v6: 0xffffffffffffffffffffffffffffffff
@@ -753,9 +961,9 @@
# v21: 0x0000000000000000ffffffffffffffff
# v16: 0x0000000000000000ffffffff0000ffff
# v23: 0x0000000000000000ffffffffffffffff
-# v7: 0xffffffffffffffff00000000ffffffff
+# v7: 0xffffffffffffffff0000000000000000
# v0: 0x00000000000000000000000000000000
-# v10: 0x0000000000000000ff00ffffffff0000
+# v10: 0x0000000000000000ff00ff00ffff0000
# v21: 0x0000000000000000ffffffffffffffff
# v2: 0x0000000000000000ffffffffffffffff
# v19: 0xffffffffffffffff000000000000ffff
@@ -767,11 +975,11 @@
# v16: 0x00000000000000000000000000000000
# v5: 0x0000000000000000ffffffffffffffff
# v12: 0x00000000000000000000000000000000
-# v28: 0x00000000000000000000000000000000
+# v28: 0x0000000000000000000000000000ffff
# v22: 0x00000000000000000000000000000000
-# v5: 0x0000000000000000ffffffff00000000
+# v5: 0x0000000000000000ffffffffffffffff
# v13: 0x00000000000000000000000000000000
-# v27: 0x0000000000000000000000ffffffffff
+# v27: 0x0000000000000000000000ff000000ff
# v5: 0x00000000000000000000000000000000
# v22: 0x00000000000000000000000000000000
# v6: 0x00000000000000000000000000000000
@@ -790,7 +998,7 @@
# v26: 0x0000000000000000ffffffffffffffff
# v19: 0xffffffffffffffffffffffffffffffff
# v1: 0x00000000000000000000000000000000
-# v20: 0x00000000000000000000000000000000
+# v20: 0x0000000000000000000000000000ffff
# v30: 0x0000000000000000ffffffffffffffff
# v0: 0xffffffff00ffffffffffffffffffffff
# v2: 0xffffffffffffffffffffffffffffffff
@@ -813,7 +1021,7 @@
# v27: 0x00000000000000000000000000000000
# v26: 0x00000000000000000000000000000000
# v25: 0x00000000000000000000000000000000
-# v11: 0x0000000000000000ff00ffffffff0000
+# v11: 0x0000000000000000ff00ff00ffff0000
# v0: 0x00000000000000000000000000000000
# v25: 0x00000000000000000000000008080808
# v28: 0x00000000000000000000000000000000
@@ -826,7 +1034,7 @@
# v22: 0x00000000000000000000000000000000
# v16: 0x00000000000000000000000000000000
# v20: 0x00000000000000000000000000000000
-# v10: 0x00000018000000180000001800000018
+# v10: 0x00000000000000000000000000000000
# v30: 0x0000000000000000ffffffffffffffff
# v31: 0x00000000000000000101010101010101
# v28: 0xffffffffffffffffffffffffffffffff
@@ -3747,7 +3955,7 @@
# v11: 0xff0000850002ff01d4d3d2d1d4d3d2d1
# v3: 0x00000000000000000000000000000000
# v29: 0x000200020002ff00e73aed42f34af952
-# v2: 0x0000000c00000000ac03d811ac03d811
+# v2: 0x0000ffff00000000ac03d811ac03d811
# v22: 0x00000000000000000000000000000000
# v24: 0x000000000000000082b3330de36793c1
# x18: 0x0000000000000000
@@ -5034,3 +5242,967 @@
# v29: 0x7fc000007fc000000000000000000000
# v22: 0x4effe000000000004e001a4000000000
# v18: 0x4207bfc03d7f00000000000000000000
+# p8<15:0>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 <- 0x~~~~~~~~~~~~~~~~
+# p8<31:16>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 <- 0x~~~~~~~~~~~~~~~~
+# p8<47:32>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 <- 0x~~~~~~~~~~~~~~~~
+# p8<63:48>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 <- 0x~~~~~~~~~~~~~~~~
+# p8<79:64>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 <- 0x~~~~~~~~~~~~~~~~
+# p9<15:0>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 <- 0x~~~~~~~~~~~~~~~~
+# p9<31:16>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 <- 0x~~~~~~~~~~~~~~~~
+# p9<47:32>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 <- 0x~~~~~~~~~~~~~~~~
+# p9<63:48>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 <- 0x~~~~~~~~~~~~~~~~
+# p9<79:64>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 <- 0x~~~~~~~~~~~~~~~~
+# p10<15:0>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 <- 0x~~~~~~~~~~~~~~~~
+# p10<31:16>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 <- 0x~~~~~~~~~~~~~~~~
+# p10<47:32>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 <- 0x~~~~~~~~~~~~~~~~
+# p10<63:48>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 <- 0x~~~~~~~~~~~~~~~~
+# p10<79:64>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 <- 0x~~~~~~~~~~~~~~~~
+# p11<15:0>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 <- 0x~~~~~~~~~~~~~~~~
+# p11<31:16>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 <- 0x~~~~~~~~~~~~~~~~
+# p11<47:32>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 <- 0x~~~~~~~~~~~~~~~~
+# p11<63:48>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 <- 0x~~~~~~~~~~~~~~~~
+# p11<79:64>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 <- 0x~~~~~~~~~~~~~~~~
+# z20<127:0>: 0x7f8000007f8000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z20<255:128>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z20<383:256>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z20<511:384>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z20<639:512>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z21<127:0>: 0x7f8000007f8000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z21<255:128>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z21<383:256>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z21<511:384>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z21<639:512>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z22<127:0>: 0x7f8000007f8000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z22<255:128>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z22<383:256>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z22<511:384>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z22<639:512>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z23<127:0>: 0x7f8000007f8000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z23<255:128>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z23<383:256>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z23<511:384>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z23<639:512>: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z20<127:0>: 0x7f000000008000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙─────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────── 0x80 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙─────────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x7f <- 0x~~~~~~~~~~~~~~~~
+# z20<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙─────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z20<383:256>: 0x00000000000000000000000000000000
+#
+# z20<511:384>: 0x2f000000000029000000000023000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x23 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙─────────────────── 0x29 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙─────────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x2f <- 0x~~~~~~~~~~~~~~~~
+# z20<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙─────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z21<127:0>: 0x0d0c0b0a09080706050403020100fffe (0.0003080, 0.0002148, 0.0001535, 0.0001072, 7.653e-05, 4.590e-05, 1.526e-05, nan)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0xfffe <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0100 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0302 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0504 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0706 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0908 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0b0a <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0d0c <- 0x~~~~~~~~~~~~~~~~
+# z21<255:128>: 0x1d1c1b1a191817161514131211100f0e (0.004990, 0.003468, 0.002487, 0.001730, 0.001240, 0.0008631, 0.0006180, 0.0004306)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0f0e <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x1110 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x1312 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x1514 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x1716 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x1918 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x1b1a <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x1d1c <- 0x~~~~~~~~~~~~~~~~
+# z21<383:256>: 0x2d2c2b2a292827262524232221201f1e (0.08081, 0.05597, 0.04028, 0.02792, 0.02008, 0.01393, 0.01001, 0.006950)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x1f1e <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x2120 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x2322 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x2524 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x2726 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x2928 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x2b2a <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x2d2c <- 0x~~~~~~~~~~~~~~~~
+# z21<511:384>: 0x00000000000000000000000000000000 (...)
+#
+# z21<639:512>: 0x4d4c4b4a494847464544434241403f3e (21.19, 14.58, 10.56, 7.273, 5.266, 3.629, 2.625, 1.811)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x3f3e <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x4140 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x4342 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x4544 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x4746 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x4948 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x4b4a <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x4d4c <- 0x~~~~~~~~~~~~~~~~
+# z22<127:0>: 0x7f800000000000000000000000000000 (inf, ..., 0.000, 0.000)
+# ║ ║ ╙─ 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x7f800000 <- 0x~~~~~~~~~~~~~~~~
+# z22<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, ..., 0.000)
+# ║ ║ ╙─ 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# z22<383:256>: 0x00000000000000000000000000000000 (...)
+#
+# z22<511:384>: 0x2f2e0000000000000000000023220000 (1.583e-10, ..., 0.000, 8.782e-18)
+# ║ ║ ╙─ 0x23220000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x2f2e0000 <- 0x~~~~~~~~~~~~~~~~
+# z22<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, ..., 0.000)
+# ║ ║ ╙─ 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# z23<127:0>: 0x00000000000000000000000000000000 (..., 0.000)
+# ╙─ 0x0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z23<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z23<383:256>: 0x00000000000000000000000000000000 (...)
+#
+# z23<511:384>: 0x00000000000000000000000023220000 (..., 2.912e-315)
+# ╙─ 0x0000000023220000 <- 0x~~~~~~~~~~~~~~~~
+# z23<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z20<127:0>: 0x0000000000000000000000000000007f
+# ║ ║ ║ ║ ╙─ 0x7f <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z20<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z20<383:256>: 0x00000000000000000000000000000000
+#
+# z20<511:384>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z20<639:512>: 0x00000000000000230022000000000000
+# ║ ║ ║ ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────── 0x22 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────── 0x23 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z21<127:0>: 0x00000000000000000000000000000000
+# ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z21<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z21<383:256>: 0x00000000000000000000000000000000
+#
+# z21<511:384>: 0x00000000000000000000000000000000
+# ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z21<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z22<127:0>: 0x00000000000000000000000000000000
+# ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z22<255:128>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z22<383:256>: 0x00000000000000000000000000000000
+#
+# z22<511:384>: 0x00000000000000000000000000000000
+# ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z22<639:512>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z23<127:0>: 0x00000000000000860000000000000000
+# ║ ║ ║ ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x0086 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z23<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z23<383:256>: 0x00000000000000000000000000000304
+# ║ ║ ║ ╙─ 0x0304 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z23<511:384>: 0x00000000000000000000000000000000
+#
+# z23<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z24<127:0>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z24<255:128>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z24<383:256>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z24<511:384>: 0x00000000000000000000000000000000
+#
+# z24<639:512>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z20<127:0>: 0x00000000000000000000000000000000
+# ╙─ 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# z20<255:128>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# z20<383:256>: 0x00000000000000000000000000000000
+#
+# z20<511:384>: 0x00000000000000000000000000000000
+# ╙─ 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# z20<639:512>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# z21<127:0>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z21<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z21<383:256>: 0x00000000000000000000000000000000
+#
+# z21<511:384>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z21<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z22<127:0>: 0x00000000000000000000000000000000
+# ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z22<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z22<383:256>: 0x00000000000000000000000000000000
+#
+# z22<511:384>: 0x00000000000000000000000000000000
+# ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z22<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z23<127:0>: 0x0000000000000000000000000000007f
+# ║ ╙─ 0x7f <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z23<255:128>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z23<383:256>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z23<511:384>: 0x00000000000000000000000000000000
+#
+# z23<639:512>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00 <- 0x~~~~~~~~~~~~~~~~
+# z24<127:0>: 0x00000000000000860000000000000000
+# ║ ║ ║ ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x0086 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z24<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z24<383:256>: 0x00000000000000000000000000000304
+# ║ ║ ║ ╙─ 0x0304 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z24<511:384>: 0x00000000000000000000000000000000
+#
+# z24<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z20<127:0>: 0x00000000000000000000000000000000
+# ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z20<255:128>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z20<383:256>: 0x00000000000000000000000000000000
+#
+# z20<511:384>: 0x00000000000000000000000000000000
+# ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z20<639:512>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000 <- 0x~~~~~~~~~~~~~~~~
+# z21<127:0>: 0x00000000000000000000000000000000
+# ╙─ 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# z21<255:128>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# z21<383:256>: 0x00000000000000000000000000000000
+#
+# z21<511:384>: 0x00000000000000000000000000000000
+# ╙─ 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# z21<639:512>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00000000 <- 0x~~~~~~~~~~~~~~~~
+# z20<127:0>: 0x0000000000000000000000000000007f
+# z21<127:0>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'7f <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# z20<255:128>: 0x000000000000002f0000290000230000
+# z21<255:128>: 0x00000000000000002e00000000002200
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x22'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'23 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'29 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x2e'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'2f <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# z20<383:256>: 0x0000007f007f00000000000000000000
+# z21<383:256>: 0x00000000800000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────────────────── 0x00'7f <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙─────────────────────── 0x80'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────────── 0x00'7f <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# z20<511:384>: 0x00000000000000000000000000000000
+# z21<511:384>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙─────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# z20<639:512>: 0x00000000000000000000000000000000
+# z21<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00 <- 0x~~~~~~~~~~~~~~~~
+# z21<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z22<127:0>: 0x000000007f807f800000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x7f80'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x7f80'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# z21<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z22<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# z21<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z22<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# z21<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z22<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# z21<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z22<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# z22<127:0>: 0x000000007f8000000000000000000000 (0.000, inf, 0.000, 0.000)
+# z23<127:0>: 0x000000007f8000000000000000000000 (0.000, inf, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x7f800000'7f800000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# z22<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z23<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# z22<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z23<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# z22<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z23<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# z22<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z23<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# z23<127:0>: 0x7f8000007f8000000000000000000000 (1.404e+306, 0.000)
+# z24<127:0>: 0x00000000000000000000000000000000 (1.404e+306, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'7f8000007f800000 <- 0x~~~~~~~~~~~~~~~~
+# z23<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z24<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z23<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z24<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z23<511:384>: 0x00000000000000000000000000000000 (0.000, ...)
+# z24<511:384>: 0x00000000000000000000000000000000 (0.000, ...)
+# ╙───────────────── 0x0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z23<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z24<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z24<127:0>: 0x0000000000000000000000ff00000000
+# z25<127:0>: 0xa000000000000000000000ffc0000000
+# z26<127:0>: 0x3700000000000000000000007f000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x7f'c0'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'ff'ff <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x37'a0'00 <- 0x~~~~~~~~~~~~~~~~
+# z24<255:128>: 0x00000000000000000000000000000000
+# z25<255:128>: 0x00000000000000000000000000000000
+# z26<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# z24<383:256>: 0x00000000000000000000000000000000
+# z25<383:256>: 0x00000000000000000000000000000000
+# z26<383:256>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙─────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# z24<511:384>: 0x00000000000000000000000000000000
+# z25<511:384>: 0x00000000000000000000000000000000
+# z26<511:384>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙─────────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# z24<639:512>: 0x00000000000000000000000000000000
+# z25<639:512>: 0x00000000000000000000000000000000
+# z26<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# z25<127:0>: 0x292823221d1c17160000000000000000 (0.04028, 0.01393, 0.004990, 0.001730, 0.000, 0.000, 0.000, 0.000)
+# z26<127:0>: 0x2b2a25241f1e191813120d0c07060100 (0.04028, 0.01393, 0.004990, 0.001730, 0.000, 0.000, 0.000, 0.000)
+# z27<127:0>: 0x2d2c272621201b1a1514000009080000 (0.04028, 0.01393, 0.004990, 0.001730, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0100'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0908'0706'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0d0c'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x1514'1312'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x1b1a'1918'1716 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x2120'1f1e'1d1c <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x2726'2524'2322 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x2d2c'2b2a'2928 <- 0x~~~~~~~~~~~~~~~~
+# z25<255:128>: 0x595853524d4c474641403b3a35342f2e (171.0, 58.56, 21.19, 7.273, 2.625, 0.9033, 0.3252, 0.1122)
+# z26<255:128>: 0x5b5a55544f4e494843423d3c37363130 (171.0, 58.56, 21.19, 7.273, 2.625, 0.9033, 0.3252, 0.1122)
+# z27<255:128>: 0x5d5c575651504b4a45443f3e39383332 (171.0, 58.56, 21.19, 7.273, 2.625, 0.9033, 0.3252, 0.1122)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x3332'3130'2f2e <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x3938'3736'3534 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x3f3e'3d3c'3b3a <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x4544'4342'4140 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x4b4a'4948'4746 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x5150'4f4e'4d4c <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x5756'5554'5352 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x5d5c'5b5a'5958 <- 0x~~~~~~~~~~~~~~~~
+# z25<383:256>: 0x898883827d7c777671706b6a65645f5e (-0.0001688, -5.352e-05, nan, 3.056e+04, 1.114e+04, 3796., 1380., 471.5)
+# z26<383:256>: 0x8b8a85847f7e797873726d6c67666160 (-0.0001688, -5.352e-05, nan, 3.056e+04, 1.114e+04, 3796., 1380., 471.5)
+# z27<383:256>: 0x8d8c878681807b7a75746f6e69686362 (-0.0001688, -5.352e-05, nan, 3.056e+04, 1.114e+04, 3796., 1380., 471.5)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x6362'6160'5f5e <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x6968'6766'6564 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x6f6e'6d6c'6b6a <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x7574'7372'7170 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x7b7a'7978'7776 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x8180'7f7e'7d7c <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x8786'8584'8382 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x8d8c'8b8a'8988 <- 0x~~~~~~~~~~~~~~~~
+# z25<511:384>: 0xb9b8b3b2adaca7a6a1a09b9a95948f8e (-0.7148, -0.2405, -0.08862, -0.02988, -0.01099, -0.003712, -0.001362, -0.0004611)
+# z26<511:384>: 0xbbbab5b4afaea9a8a3a29d9c97969190 (-0.7148, -0.2405, -0.08862, -0.02988, -0.01099, -0.003712, -0.001362, -0.0004611)
+# z27<511:384>: 0xbdbcb7b6b1b0abaaa5a49f9e99989392 (-0.7148, -0.2405, -0.08862, -0.02988, -0.01099, -0.003712, -0.001362, -0.0004611)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x9392'9190'8f8e <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x9998'9796'9594 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x9f9e'9d9c'9b9a <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0xa5a4'a3a2'a1a0 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0xabaa'a9a8'a7a6 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0xb1b0'afae'adac <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0xb7b6'b5b4'b3b2 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0xbdbc'bbba'b9b8 <- 0x~~~~~~~~~~~~~~~~
+# z25<639:512>: 0xe9e8e3e2dddcd7d6d1d0cbcac5c4bfbe (-3024., -1009., -375.0, -125.4, -46.50, -15.58, -5.766, -1.936)
+# z26<639:512>: 0xebeae5e4dfded9d8d3d2cdccc7c6c1c0 (-3024., -1009., -375.0, -125.4, -46.50, -15.58, -5.766, -1.936)
+# z27<639:512>: 0xedece7e6e1e0dbdad5d4cfcec9c8c3c2 (-3024., -1009., -375.0, -125.4, -46.50, -15.58, -5.766, -1.936)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0xc3c2'c1c0'bfbe <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0xc9c8'c7c6'c5c4 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0xcfce'cdcc'cbca <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0xd5d4'd3d2'd1d0 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0xdbda'd9d8'd7d6 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0xe1e0'dfde'dddc <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0xe7e6'e5e4'e3e2 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0xedec'ebea'e9e8 <- 0x~~~~~~~~~~~~~~~~
+# z26<127:0>: 0x00000000000000000000ffff00000000 (0.000, 0.000, 9.183e-41, 0.000)
+# z27<127:0>: 0x00000000000000007fff000000000000 (0.000, 0.000, 9.183e-41, 0.000)
+# z28<127:0>: 0x37a0000000000000000000007fc00000 (0.000, 0.000, 9.183e-41, 0.000)
+# ║ ║ ║ ╙─ 0x7fc00000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'7fff0000'0000ffff <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x37a00000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# z26<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z27<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z28<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# z26<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z27<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z28<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# z26<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z27<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z28<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# z26<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z27<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z28<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# z27<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z28<127:0>: 0x00000000000000000000ffff7fc00000 (0.000, 0.000)
+# z29<127:0>: 0x37a0000000000000000000007fff0000 (0.000, 0.000)
+# ║ ╙─ 0x000000007fff0000'0000ffff7fc00000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x37a0000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z27<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z28<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z29<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z27<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z28<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z29<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z27<511:384>: 0x00000000000000000000000000000000 (0.000, ...)
+# z28<511:384>: 0x00000000000000000000000000000000 (0.000, ...)
+# z29<511:384>: 0x00000000000000000000000000000000 (0.000, ...)
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z27<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z28<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z29<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z25<127:0>: 0x0000000000000000000000f300000000
+# z26<127:0>: 0x00000000000000000000000400000000
+# z27<127:0>: 0x0080000000800000000000ff00000000
+# z28<127:0>: 0x007f0000007f0000000000ff00000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0xff'ff'04'f3 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x7f'80'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x7f'80'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# z25<255:128>: 0x00000000000000000000000000000000
+# z26<255:128>: 0x00000000000000000000000000000000
+# z27<255:128>: 0x00000000000000000000000000000000
+# z28<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# z25<383:256>: 0x00000000000000000000000000000000
+# z26<383:256>: 0x00000000000000000000000000000000
+# z27<383:256>: 0x00000000000000000000000000000000
+# z28<383:256>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙─────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# z25<511:384>: 0x00000000000000000000000000000000
+# z26<511:384>: 0x00000000000000000000000000000000
+# z27<511:384>: 0x00000000000000000000000000000000
+# z28<511:384>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙─────────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# z25<639:512>: 0x00000000000000000000000000000000
+# z26<639:512>: 0x00000000000000000000000000000000
+# z27<639:512>: 0x00000000000000000000000000000000
+# z28<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00'00 <- 0x~~~~~~~~~~~~~~~~
+# z26<127:0>: 0x00000000000000003fb504f300000000 (0.000, 0.000, 0.000, 0.000, 1.927, 7.552e-05, 0.000, 0.000)
+# z27<127:0>: 0x7f8000007f800000ffffffff00000000 (0.000, 0.000, 0.000, 0.000, 1.927, 7.552e-05, 0.000, 0.000)
+# z28<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 1.927, 7.552e-05, 0.000, 0.000)
+# z29<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 1.927, 7.552e-05, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'ffff'04f3 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'ffff'3fb5 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'7f80'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'7f80'0000 <- 0x~~~~~~~~~~~~~~~~
+# z26<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z27<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z28<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z29<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# z26<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z27<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z28<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z29<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# z26<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z27<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z28<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z29<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# z26<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z27<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z28<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z29<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'0000'0000 <- 0x~~~~~~~~~~~~~~~~
+# z27<127:0>: 0x2f2e2d2c000000000000000000000000 (1.584e-10, 0.000, 0.000, 0.000)
+# z28<127:0>: 0x33323130000000007f80000000000000 (1.584e-10, 0.000, 0.000, 0.000)
+# z29<127:0>: 0x00000000000000000000000007060504 (1.584e-10, 0.000, 0.000, 0.000)
+# z30<127:0>: 0x00000000000000007f8000000b0a0908 (1.584e-10, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x0b0a0908'07060504'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x7f800000'00000000'7f800000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000'33323130'2f2e2d2c <- 0x~~~~~~~~~~~~~~~~
+# z27<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z28<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z29<255:128>: 0x00000000000000005756555400000000 (0.000, 0.000, 0.000, 0.000)
+# z30<255:128>: 0x00000000000000005b5a595800000000 (0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x5b5a5958'57565554'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000'00000000'00000000 <- 0x~~~~~~~~~~~~~~~~
+# z27<383:256>: 0xafaeadac9f9e9d9c8f8e8d8c7f7e7d7c (-3.177e-10, -6.718e-20, -1.406e-29, 3.383e+38)
+# z28<383:256>: 0xb3b2b1b0a3a2a1a09392919083828180 (-3.177e-10, -6.718e-20, -1.406e-29, 3.383e+38)
+# z29<383:256>: 0xb7b6b5b4a7a6a5a49796959487868584 (-3.177e-10, -6.718e-20, -1.406e-29, 3.383e+38)
+# z30<383:256>: 0xbbbab9b8abaaa9a89b9a99988b8a8988 (-3.177e-10, -6.718e-20, -1.406e-29, 3.383e+38)
+# ║ ║ ║ ╙─ 0x8b8a8988'87868584'83828180'7f7e7d7c <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x9b9a9998'97969594'93929190'8f8e8d8c <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0xabaaa9a8'a7a6a5a4'a3a2a1a0'9f9e9d9c <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0xbbbab9b8'b7b6b5b4'b3b2b1b0'afaeadac <- 0x~~~~~~~~~~~~~~~~
+# z27<511:384>: 0xefeeedecdfdedddccfcecdccbfbebdbc (-1.479e+29, -3.212e+19, -6.939e+09, -1.490)
+# z28<511:384>: 0xf3f2f1f0e3e2e1e0d3d2d1d0c3c2c1c0 (-1.479e+29, -3.212e+19, -6.939e+09, -1.490)
+# z29<511:384>: 0xf7f6f5f4e7e6e5e4d7d6d5d4c7c6c5c4 (-1.479e+29, -3.212e+19, -6.939e+09, -1.490)
+# z30<511:384>: 0xfbfaf9f8ebeae9e8dbdad9d8cbcac9c8 (-1.479e+29, -3.212e+19, -6.939e+09, -1.490)
+# ║ ║ ║ ╙─ 0xcbcac9c8'c7c6c5c4'c3c2c1c0'bfbebdbc <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0xdbdad9d8'd7d6d5d4'd3d2d1d0'cfcecdcc <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0xebeae9e8'e7e6e5e4'e3e2e1e0'dfdedddc <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0xfbfaf9f8'f7f6f5f4'f3f2f1f0'efeeedec <- 0x~~~~~~~~~~~~~~~~
+# z27<639:512>: 0x2f2e2d2c1f1e1d1c0f0e0d0cfffefdfc (1.584e-10, 3.348e-20, 7.004e-30, nan)
+# z28<639:512>: 0x33323130232221201312111003020100 (1.584e-10, 3.348e-20, 7.004e-30, nan)
+# z29<639:512>: 0x37363534272625241716151407060504 (1.584e-10, 3.348e-20, 7.004e-30, nan)
+# z30<639:512>: 0x3b3a39382b2a29281b1a19180b0a0908 (1.584e-10, 3.348e-20, 7.004e-30, nan)
+# ║ ║ ║ ╙─ 0x0b0a0908'07060504'03020100'fffefdfc <- 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x1b1a1918'17161514'13121110'0f0e0d0c <- 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x2b2a2928'27262524'23222120'1f1e1d1c <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x3b3a3938'37363534'33323130'2f2e2d2c <- 0x~~~~~~~~~~~~~~~~
+# z28<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z29<127:0>: 0x000000007f8000000000000000000000 (0.000, 0.000)
+# z30<127:0>: 0x000000000000000000000000ffff04f3 (0.000, 0.000)
+# z31<127:0>: 0x000000007f80000000000000ffff3fb5 (0.000, 0.000)
+# ║ ╙─ 0x00000000ffff3fb5'00000000ffff04f3'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x000000007f800000'0000000000000000'000000007f800000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z28<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z29<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z30<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z31<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z28<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z29<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z30<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z31<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z28<511:384>: 0x00000000000000000000000000000000 (0.000, ...)
+# z29<511:384>: 0x00000000000000000000000000000000 (0.000, ...)
+# z30<511:384>: 0x00000000000000000000000000000000 (0.000, ...)
+# z31<511:384>: 0x00000000000000000000000000000000 (0.000, ...)
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# z28<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z29<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z30<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z31<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 <- 0x~~~~~~~~~~~~~~~~