binary round-trip should preserve observable trie semantics

timestamp = 2026-07-23T00:14:02.054860825, FrequencyTrie properties:binary round-trip should preserve observable trie semantics = 
                              |-----------------------jqwik-----------------------
tries = 40                    | # of calls to property
checks = 40                   | # of not rejected calls
generation = RANDOMIZED       | parameters are randomly generated
after-failure = SAMPLE_FIRST  | try previously failed sample, then previous seed
when-fixed-seed = ALLOW       | fixing the random seed is allowed
edge-cases#mode = MIXIN       | edge cases are mixed in
edge-cases#total = 40         | # of all combined edge cases
edge-cases#tried = 8          | # of edge cases tried in current run
seed = -5157213363393862607   | random seed to reproduce generated values