Build Number: 3faaa5f
Project Version: 0.54.0
Build Date: 2022-08-21T19:10:19Z

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