Files

• 1RB1LF_0RC0RB_0LD1LA_1LC0LE_0LA---_1LA1LF.v
• README.md
• discord.md
• proof.md