Basic info: size of leaf: 48 bytes, size of tnode: 40 bytes.
Main:
	Aver depth:     2.95
	Max depth:      5
	Leaves:         22
	Prefixes:       53
	Internal nodes: 15
	  1: 2  2: 12  4: 1
	Pointers: 68
Null ptrs: 32
Total size: 6  kB

Counters:
---------
gets = 3746818903
backtracks = 65127860
semantic match passed = 3681689918
semantic match miss = 572496256
null node hit= 1141544638
skipped node resize = 0

Local:
	Aver depth:     2.95
	Max depth:      5
	Leaves:         22
	Prefixes:       53
	Internal nodes: 15
	  1: 2  2: 12  4: 1
	Pointers: 68
Null ptrs: 32
Total size: 6  kB

Counters:
---------
gets = 3746818903
backtracks = 65127860
semantic match passed = 3681689918
semantic match miss = 572496256
null node hit= 1141544638
skipped node resize = 0