ulkb.TheorySettings.serializer#