Build Number: 488f307
Project Version: 0.55.0
Build Date: 2022-11-16T07:45:45Z

SortedSetEnvelope.class: 1810
Sorted.class: 2049
SetEnvelope.class: 678
SetOf.class: 1775
package-info.class: 121
