{% if not rdocs %}
{% if not filter_uid_or_name and not filter_pid and not filter_tid %}
{{ nothing.render('Oh, there is no task in the queue!') }}
{% else %}
{{ nothing.render('Oh, there is no task that matches the filter!') }}
{% endif%}
{% else %}
{{ _('Status') }}
{{ _('Problem') }}
{{ _('Submit By') }}
{{ _('Time') }}
{{ _('Memory') }}
{{ _('Language') }}
{{ _('Submit At') }}
{% for rdoc in rdocs %}
{% with udoc = udict[rdoc['uid']], dudoc = dudict[rdoc['uid']], pdoc = pdict[(rdoc['domain_id'], rdoc['pid'])] %}
{% include 'record_main_tr.html' %}
{% endwith %}
{% endfor %}
{% if handler.has_priv(vj4.model.builtin.PRIV_VIEW_JUDGE_STATISTICS) %}