Update README.md

README.md

@@ -29,7 +29,7 @@ int main (/* implementation-defined */)
   auto rewrite_third_condition_from_definition_2_1 = for_all_p_for_some_chart. Implying (third_condition_from_definition_2_1);
 
   auto contradiction_test = Not (for_all_p_for_some_chart). And (rewrite_third_condition_from_definition_2_1).
-  Sorry ("long_llama_3b.gguf", "You are a Computer Programmer Assistant.", "Describe how to ensure that not i3l evaluate to true.", 99, 18448, "ggml-cpu-x64.dll");
+  Sorry ("long_llama_3b.gguf", "You are a Computer Programmer Assistant.", "Describe how to ensure that not i3l evaluate to true.", 99, 18238, "ggml-cpu-haswell.dll");
   
   return 0;
 }