initial crdt counters