Build Number: 5ed390b
Project Version: 0.50
Build Date: 2021-05-02T16:11:34

SetEnvelope.class: 678
SetOf.class: 1775
SortedSetEnvelope.class: 1810
Sorted.class: 2049
