Results for omniproof numericumericumericumeric