#lang brag

rule-0n1n: ["0" rule-0n1n "1"]