P
Initializing...
Xf_le (KFM 4c: the closed per-round bound (MACHINE-PLAN item 4, §5 (C))) · Prove2Me