[verifier B: L3_11 run stopped by me (PID 77418) during the class enumeration: resident memory reached 3.5 GB, above the safe margin of the 4 GB per-process limit; L_3(11) is not covered by my own search]
