WeiGuo Zhang, Feihong Wang: The truth table of a 22-variable 4-resilient Boolean function with nonlinearity 2095616. IEEE DataPort 2023