Results for HOL vlINK numericumericumericumeric