Artemis: 'title': 'Improved performance and edge case handling in F1::run()'

[artemis-gen-ai]

'description': 'This commit improves the performance and edge case handling in F1::run() by removing unnecessary variable assignments and using constants, changing the type of the total variable to avoid potential integer overflow, modifying edge case handling to correctly return false when K > total, and improving performance by removing unnecessary copies and reducing reallocations when adding elements to the edges vector.'}