Files

• 1RB---_1LC0LA_1LD0LC_1RE0LB_1RF0RE_1LC0RD.v
• README.md
• discord.md
• parent-proof.md
• proof.md