Files

• 1RB1LC_1RC1LB_1LD0RB_0LE1RD_---0LF_0LA1LF.v
• README.md
• discord.md
• proof.md