(field: str)
| 110 | |
| 111 | |
| 112 | def parse_int_list(field: str) -> List[int]: |
| 113 | if not field: |
| 114 | return [] |
| 115 | vals = [] |
| 116 | for part in field.split("|"): |
| 117 | vals.append(-1 if part == "-" else int(part)) |
| 118 | return vals |
| 119 | |
| 120 | |
| 121 | def load_cases(path: str) -> List[Phase7Case]: |