Task: Text to Code
Input (English): select the rows whose week record is greater than or equal to 13 . the sum of the attendance record of these rows is 95,901 .
Output (English): round_eq { sum { filter_greater_eq { all_rows ; week ; 13 } ; attendance } ; 95,901 }