6.1. Restrictions

• ${\mathrm{𝚃𝚎𝚛𝚖}}_1\mathrm{𝙲𝚘𝚖𝚙𝚊𝚛𝚒𝚜𝚘𝚗}{\mathrm{𝚃𝚎𝚛𝚖}}_2$

• $\mathrm{𝚍𝚒𝚜𝚝𝚒𝚗𝚌𝚝}$ (114 constraints):

  • $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚊𝚖𝚘𝚗𝚐}$

  • $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}$

  • $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚜𝚎𝚚}$

  • $\mathrm{𝚊𝚜𝚜𝚒𝚐𝚗}\_\mathrm{𝚊𝚗𝚍}\_\mathrm{𝚌𝚘𝚞𝚗𝚝𝚜}$

  • $\mathrm{𝚋𝚊𝚕𝚊𝚗𝚌𝚎}\_\mathrm{𝚌𝚢𝚌𝚕𝚎}$

  • $\mathrm{𝚋𝚊𝚕𝚊𝚗𝚌𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚋𝚊𝚕𝚊𝚗𝚌𝚎}\_\mathrm{𝚙𝚊𝚝𝚑}$

  • $\mathrm{𝚋𝚊𝚕𝚊𝚗𝚌𝚎}\_\mathrm{𝚝𝚛𝚎𝚎}$

  • $\mathrm{𝚋𝚒𝚗}\_\mathrm{𝚙𝚊𝚌𝚔𝚒𝚗𝚐}\_\mathrm{𝚌𝚊𝚙𝚊}$

  • $\mathrm{𝚋𝚒𝚗𝚊𝚛𝚢}\_\mathrm{𝚝𝚛𝚎𝚎}$

  • $\mathrm{𝚋𝚒𝚙𝚊𝚛𝚝𝚒𝚝𝚎}$

  • $\mathrm{𝚌𝚊𝚕𝚎𝚗𝚍𝚊𝚛}$

  • $\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚊𝚝𝚕𝚎𝚊𝚜𝚝}$

  • $\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚊𝚝𝚖𝚘𝚜𝚝}$

  • $\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚊𝚝𝚖𝚘𝚜𝚝}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚌𝚑𝚊𝚗𝚐𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚌𝚒𝚛𝚌𝚞𝚒𝚝}$

  • $\mathrm{𝚌𝚒𝚛𝚌𝚞𝚒𝚝}\_\mathrm{𝚌𝚕𝚞𝚜𝚝𝚎𝚛}$

  • $\mathrm{𝚌𝚕𝚒𝚚𝚞𝚎}$

  • $\mathrm{𝚌𝚘𝚕𝚘𝚞𝚛𝚎𝚍}\_\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎𝚜}$

  • $\mathrm{𝚌𝚘𝚖𝚖𝚘𝚗}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚌𝚘𝚜𝚝}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛𝚎𝚚}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚕𝚎𝚜𝚜}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚕𝚎𝚜𝚜𝚎𝚚}$

  • $\mathrm{𝚌𝚘𝚗𝚗𝚎𝚌𝚝𝚎𝚍}$

  • $\mathrm{𝚌𝚘𝚞𝚗𝚝𝚜}$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎𝚜}$

  • $\mathrm{𝚌𝚞𝚝𝚜𝚎𝚝}$

  • $\mathrm{𝚌𝚢𝚌𝚕𝚎}$

  • $\mathrm{𝚌𝚢𝚌𝚕𝚎}\_\mathrm{𝚌𝚊𝚛𝚍}\_\mathrm{𝚘𝚗}\_\mathrm{𝚙𝚊𝚝𝚑}$

  • $\mathrm{𝚌𝚢𝚌𝚕𝚎}\_\mathrm{𝚘𝚛}\_\mathrm{𝚊𝚌𝚌𝚎𝚜𝚜𝚒𝚋𝚒𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚌𝚢𝚌𝚕𝚎}\_\mathrm{𝚛𝚎𝚜𝚘𝚞𝚛𝚌𝚎}$

  • $\mathrm{𝚍𝚊𝚐}$

  • $\mathrm{𝚍𝚎𝚛𝚊𝚗𝚐𝚎𝚖𝚎𝚗𝚝}$

  • $\mathrm{𝚍𝚘𝚖}\_\mathrm{𝚛𝚎𝚊𝚌𝚑𝚊𝚋𝚒𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚍𝚘𝚖𝚊𝚒𝚗}\_\mathrm{𝚌𝚘𝚗𝚜𝚝𝚛𝚊𝚒𝚗𝚝}$

  • $\mathrm{𝚎𝚕𝚎𝚖}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛𝚎𝚚}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}\_\mathrm{𝚕𝚎𝚜𝚜𝚎𝚚}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}\_\mathrm{𝚜𝚙𝚊𝚛𝚜𝚎}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝𝚜}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝𝚜}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝𝚜}\_\mathrm{𝚜𝚙𝚊𝚛𝚜𝚎}$

  • $\mathrm{𝚏𝚞𝚕𝚕}\_\mathrm{𝚐𝚛𝚘𝚞𝚙}$

  • $\mathrm{𝚐𝚎𝚘𝚜𝚝}$

  • $\mathrm{𝚐𝚎𝚘𝚜𝚝}\_\mathrm{𝚝𝚒𝚖𝚎}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}\_\mathrm{𝚗𝚘}\_\mathrm{𝚕𝚘𝚘𝚙}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚗𝚘}\_\mathrm{𝚕𝚘𝚘𝚙}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚠𝚒𝚝𝚑}\_\mathrm{𝚌𝚘𝚜𝚝𝚜}$

  • $\mathrm{𝚐𝚛𝚊𝚙𝚑}\_\mathrm{𝚒𝚜𝚘𝚖𝚘𝚛𝚙𝚑𝚒𝚜𝚖}$

  • $\mathrm{𝚐𝚛𝚘𝚞𝚙}$

  • $\mathrm{𝚐𝚛𝚘𝚞𝚙}\_\mathrm{𝚜𝚔𝚒𝚙}\_\mathrm{𝚒𝚜𝚘𝚕𝚊𝚝𝚎𝚍}\_\mathrm{𝚒𝚝𝚎𝚖}$

  • $\mathrm{𝚒𝚗}$

  • $\mathrm{𝚒𝚗}\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚒𝚗𝚝}\_\mathrm{𝚟𝚊𝚕𝚞𝚎}\_\mathrm{𝚙𝚛𝚎𝚌𝚎𝚍𝚎}\_\mathrm{𝚌𝚑𝚊𝚒𝚗}$

  • $\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}\_\mathrm{𝚊𝚗𝚍}\_\mathrm{𝚌𝚘𝚞𝚗𝚝}$

  • $\mathrm{𝚒𝚗𝚟𝚎𝚛𝚜𝚎}$

  • $\mathrm{𝚒𝚗𝚟𝚎𝚛𝚜𝚎}\_\mathrm{𝚘𝚏𝚏𝚜𝚎𝚝}$

  • $𝚔\_\mathrm{𝚌𝚞𝚝}$

  • $𝚔\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $𝚔\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚕𝚒𝚗𝚔}\_\mathrm{𝚜𝚎𝚝}\_\mathrm{𝚝𝚘}\_\mathrm{𝚋𝚘𝚘𝚕𝚎𝚊𝚗𝚜}$

  • $\mathrm{𝚖𝚊𝚙}$

  • $\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚒𝚗𝚍𝚎𝚡}$

  • $\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚒𝚗𝚍𝚎𝚡}$

  • $\mathrm{𝚗𝚌𝚕𝚊𝚜𝚜}$

  • $\mathrm{𝚗𝚎𝚡𝚝}\_\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}$

  • $\mathrm{𝚗𝚘𝚝}\_\mathrm{𝚒𝚗}$

  • $\mathrm{𝚘𝚙𝚎𝚗}\_\mathrm{𝚊𝚖𝚘𝚗𝚐}$

  • $\mathrm{𝚘𝚙𝚎𝚗}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚘𝚙𝚎𝚗}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}$

  • $\mathrm{𝚘𝚛𝚌𝚑𝚊𝚛𝚍}$

  • $\mathrm{𝚙𝚊𝚝𝚑}$

  • $\mathrm{𝚙𝚊𝚝𝚑}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚝𝚘}$

  • $\mathrm{𝚙𝚘𝚕𝚢𝚘𝚖𝚒𝚗𝚘}$

  • $\mathrm{𝚙𝚛𝚘𝚙𝚎𝚛}\_\mathrm{𝚌𝚒𝚛𝚌𝚞𝚒𝚝}$

  • $\mathrm{𝚙𝚛𝚘𝚙𝚎𝚛}\_\mathrm{𝚏𝚘𝚛𝚎𝚜𝚝}$

  • $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚊𝚗𝚍}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚊𝚗𝚍}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}$

  • $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚜𝚕𝚒𝚍𝚒𝚗𝚐}\_\mathrm{𝚌𝚊𝚛𝚍}\_\mathrm{𝚜𝚔𝚒𝚙}\mathtt{0}$

  • $\mathrm{𝚜𝚕𝚒𝚍𝚒𝚗𝚐}\_\mathrm{𝚍𝚒𝚜𝚝𝚛𝚒𝚋𝚞𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚝𝚊𝚋𝚕𝚎}\_\mathrm{𝚌𝚘𝚖𝚙𝚊𝚝𝚒𝚋𝚒𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚜𝚝𝚛𝚎𝚝𝚌𝚑}\_\mathrm{𝚌𝚒𝚛𝚌𝚞𝚒𝚝}$

  • $\mathrm{𝚜𝚝𝚛𝚎𝚝𝚌𝚑}\_\mathrm{𝚙𝚊𝚝𝚑}$

  • $\mathrm{𝚜𝚝𝚛𝚎𝚝𝚌𝚑}\_\mathrm{𝚙𝚊𝚝𝚑}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚜𝚝𝚛𝚘𝚗𝚐𝚕𝚢}\_\mathrm{𝚌𝚘𝚗𝚗𝚎𝚌𝚝𝚎𝚍}$

  • $\mathrm{𝚜𝚞𝚋𝚐𝚛𝚊𝚙𝚑}\_\mathrm{𝚒𝚜𝚘𝚖𝚘𝚛𝚙𝚑𝚒𝚜𝚖}$

  • $\mathrm{𝚜𝚞𝚖}$

  • $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚘𝚏}\_\mathrm{𝚠𝚎𝚒𝚐𝚑𝚝𝚜}\_\mathrm{𝚘𝚏}\_\mathrm{𝚍𝚒𝚜𝚝𝚒𝚗𝚌𝚝}\_\mathrm{𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚜𝚎𝚝}$

  • $\mathrm{𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌}$

  • $\mathrm{𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚎𝚡𝚌𝚎𝚙𝚝}\_\mathtt{0}$

  • $\mathrm{𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚕𝚘𝚘𝚙}$

  • $\mathrm{𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌}\_\mathrm{𝚐𝚌𝚌}$

  • $\mathrm{𝚝𝚎𝚖𝚙𝚘𝚛𝚊𝚕}\_\mathrm{𝚙𝚊𝚝𝚑}$

  • $\mathrm{𝚝𝚘𝚞𝚛}$

  • $\mathrm{𝚝𝚛𝚎𝚎}$

  • $\mathrm{𝚝𝚛𝚎𝚎}\_\mathrm{𝚛𝚊𝚗𝚐𝚎}$

  • $\mathrm{𝚝𝚛𝚎𝚎}\_\mathrm{𝚛𝚎𝚜𝚘𝚞𝚛𝚌𝚎}$

  • $\mathrm{𝚝𝚠𝚘}\_\mathrm{𝚕𝚊𝚢𝚎𝚛}\_\mathrm{𝚎𝚍𝚐𝚎}\_\mathrm{𝚌𝚛𝚘𝚜𝚜𝚒𝚗𝚐}$

  • $\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚟𝚒𝚜𝚒𝚋𝚕𝚎}$

  • $\mathrm{𝚠𝚎𝚒𝚐𝚑𝚝𝚎𝚍}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚊𝚕}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏}$

• $\mathrm{𝚒𝚗}\_\mathrm{𝚊𝚝𝚝𝚛}$ (7 constraints):

  • $\mathrm{𝚋𝚒𝚗}\_\mathrm{𝚙𝚊𝚌𝚔𝚒𝚗𝚐}\_\mathrm{𝚌𝚊𝚙𝚊}$

  • $\mathrm{𝚌𝚊𝚕𝚎𝚗𝚍𝚊𝚛}$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎𝚜}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}$

  • $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚘𝚏}\_\mathrm{𝚠𝚎𝚒𝚐𝚑𝚝𝚜}\_\mathrm{𝚘𝚏}\_\mathrm{𝚍𝚒𝚜𝚝𝚒𝚗𝚌𝚝}\_\mathrm{𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚠𝚎𝚒𝚐𝚑𝚝𝚎𝚍}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚊𝚕}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏}$

• $\mathrm{𝚒𝚗}\_\mathrm{𝚕𝚒𝚜𝚝}$

• $\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚜𝚎𝚚}$ (20 constraints):

  • $\mathrm{𝚌𝚘𝚕𝚘𝚛𝚎𝚍}\_\mathrm{𝚖𝚊𝚝𝚛𝚒𝚡}$

  • $\mathrm{𝚌𝚘𝚗𝚝𝚊𝚒𝚗𝚜}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚌𝚘𝚟𝚎𝚛𝚎𝚍𝚋𝚢}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚌𝚘𝚟𝚎𝚛𝚜}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}\_\mathrm{𝚠𝚒𝚝𝚑}\_\mathrm{𝚕𝚎𝚟𝚎𝚕}\_\mathrm{𝚘𝚏}\_\mathrm{𝚙𝚛𝚒𝚘𝚛𝚒𝚝𝚢}$

  • $\mathrm{𝚍𝚒𝚜𝚓𝚘𝚒𝚗𝚝}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚎𝚕𝚎𝚖}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚝𝚘}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}\_\mathrm{𝚖𝚊𝚝𝚛𝚒𝚡}$

  • $\mathrm{𝚎𝚚𝚞𝚊𝚕}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚠𝚒𝚝𝚑}\_\mathrm{𝚌𝚘𝚜𝚝𝚜}$

  • $\mathrm{𝚒𝚗𝚍𝚎𝚡𝚎𝚍}\_\mathrm{𝚜𝚞𝚖}$

  • $\mathrm{𝚒𝚗𝚜𝚒𝚍𝚎}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚒𝚗𝚟𝚎𝚛𝚜𝚎}\_\mathrm{𝚜𝚎𝚝}$

  • $\mathrm{𝚖𝚎𝚎𝚝}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚖𝚒𝚗𝚒𝚖𝚞𝚖}\_\mathrm{𝚠𝚎𝚒𝚐𝚑𝚝}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚗𝚘𝚗}\_\mathrm{𝚘𝚟𝚎𝚛𝚕𝚊𝚙}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚘𝚛𝚍𝚎𝚛𝚎𝚍}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚘𝚟𝚎𝚛𝚕𝚊𝚙}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚜𝚎𝚚𝚞𝚎𝚗𝚌𝚎}\_\mathrm{𝚏𝚘𝚕𝚍𝚒𝚗𝚐}$

  • $\mathrm{𝚜𝚝𝚊𝚐𝚎}\_\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}$

• $\mathrm{𝚗𝚘𝚗}\_\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚜𝚒𝚣𝚎}$ (4 constraints):

  • $𝚔\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}$

  • $𝚔\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$

  • $𝚔\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$

  • $𝚔\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

• $\mathrm{𝚛𝚎𝚚𝚞𝚒𝚛𝚎𝚍}$ (387 constraints):

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚍𝚒𝚏𝚏𝚎𝚛}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚊𝚝}\_\mathrm{𝚕𝚎𝚊𝚜𝚝}\_𝚔\_\mathrm{𝚙𝚘𝚜}$

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚍𝚒𝚏𝚏𝚎𝚛}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚊𝚝}\_\mathrm{𝚖𝚘𝚜𝚝}\_𝚔\_\mathrm{𝚙𝚘𝚜}$

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚍𝚒𝚏𝚏𝚎𝚛}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚎𝚡𝚊𝚌𝚝𝚕𝚢}\_𝚔\_\mathrm{𝚙𝚘𝚜}$

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚎𝚚𝚞𝚊𝚕}$

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚎𝚚𝚞𝚊𝚕}\_\mathrm{𝚙𝚎𝚊𝚔}$

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚎𝚚𝚞𝚊𝚕}\_\mathrm{𝚙𝚎𝚊𝚔}\_\mathrm{𝚖𝚊𝚡}$

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚎𝚚𝚞𝚊𝚕}\_\mathrm{𝚟𝚊𝚕𝚕𝚎𝚢}$

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚎𝚚𝚞𝚊𝚕}\_\mathrm{𝚟𝚊𝚕𝚕𝚎𝚢}\_\mathrm{𝚖𝚒𝚗}$

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚒𝚗𝚌𝚘𝚖𝚙𝚊𝚛𝚊𝚋𝚕𝚎}$

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚍𝚒𝚜𝚝}$

  • $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚋𝚎𝚝𝚠𝚎𝚎𝚗}\_\mathrm{𝚜𝚎𝚝𝚜}$

  • $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎}\_\mathrm{𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚌𝚜𝚝}$

  • $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚎𝚡𝚌𝚎𝚙𝚝}\_\mathtt{0}$

  • $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$

  • $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$

  • $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚘𝚗}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚜𝚎𝚌𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚟𝚊𝚕𝚞𝚎}$

  • $\mathrm{𝚊𝚕𝚕𝚙𝚎𝚛𝚖}$

  • $\mathrm{𝚊𝚖𝚘𝚗𝚐}$

  • $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚍𝚒𝚏𝚏}\_\mathtt{0}$

  • $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$

  • $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}$

  • $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$

  • $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚜𝚎𝚚}$

  • $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚊𝚗𝚍}$

  • $\mathrm{𝚊𝚛𝚒𝚝𝚑}$

  • $\mathrm{𝚊𝚛𝚒𝚝𝚑}\_\mathrm{𝚘𝚛}$

  • $\mathrm{𝚊𝚛𝚒𝚝𝚑}\_\mathrm{𝚜𝚕𝚒𝚍𝚒𝚗𝚐}$

  • $\mathrm{𝚊𝚜𝚜𝚒𝚐𝚗}\_\mathrm{𝚊𝚗𝚍}\_\mathrm{𝚌𝚘𝚞𝚗𝚝𝚜}$

  • $\mathrm{𝚊𝚜𝚜𝚒𝚐𝚗}\_\mathrm{𝚊𝚗𝚍}\_\mathrm{𝚗𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚊𝚝𝚕𝚎𝚊𝚜𝚝}$

  • $\mathrm{𝚊𝚝𝚕𝚎𝚊𝚜𝚝}\_\mathrm{𝚗𝚟𝚊𝚕𝚞𝚎}$

  • $\mathrm{𝚊𝚝𝚕𝚎𝚊𝚜𝚝}\_\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛}$

  • $\mathrm{𝚊𝚝𝚖𝚘𝚜𝚝}$

  • $\mathrm{𝚊𝚝𝚖𝚘𝚜𝚝}\mathtt{1}$

  • $\mathrm{𝚊𝚝𝚖𝚘𝚜𝚝}\_\mathrm{𝚗𝚟𝚊𝚕𝚞𝚎}$

  • $\mathrm{𝚊𝚝𝚖𝚘𝚜𝚝}\_\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛}$

  • $\mathrm{𝚋𝚊𝚕𝚊𝚗𝚌𝚎}$

  • $\mathrm{𝚋𝚊𝚕𝚊𝚗𝚌𝚎}\_\mathrm{𝚌𝚢𝚌𝚕𝚎}$

  • $\mathrm{𝚋𝚊𝚕𝚊𝚗𝚌𝚎}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$

  • $\mathrm{𝚋𝚊𝚕𝚊𝚗𝚌𝚎}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$

  • $\mathrm{𝚋𝚊𝚕𝚊𝚗𝚌𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚋𝚊𝚕𝚊𝚗𝚌𝚎}\_\mathrm{𝚙𝚊𝚝𝚑}$

  • $\mathrm{𝚋𝚊𝚕𝚊𝚗𝚌𝚎}\_\mathrm{𝚝𝚛𝚎𝚎}$

  • $\mathrm{𝚋𝚎𝚝𝚠𝚎𝚎𝚗}\_\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚖𝚊𝚡}$

  • $\mathrm{𝚋𝚒𝚐}\_\mathrm{𝚙𝚎𝚊𝚔}$

  • $\mathrm{𝚋𝚒𝚐}\_\mathrm{𝚟𝚊𝚕𝚕𝚎𝚢}$

  • $\mathrm{𝚋𝚒𝚗}\_\mathrm{𝚙𝚊𝚌𝚔𝚒𝚗𝚐}$

  • $\mathrm{𝚋𝚒𝚗}\_\mathrm{𝚙𝚊𝚌𝚔𝚒𝚗𝚐}\_\mathrm{𝚌𝚊𝚙𝚊}$

  • $\mathrm{𝚋𝚒𝚗𝚊𝚛𝚢}\_\mathrm{𝚝𝚛𝚎𝚎}$

  • $\mathrm{𝚋𝚒𝚙𝚊𝚛𝚝𝚒𝚝𝚎}$

  • $\mathrm{𝚌𝚊𝚕𝚎𝚗𝚍𝚊𝚛}$

  • $\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚊𝚝𝚕𝚎𝚊𝚜𝚝}$

  • $\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚊𝚝𝚖𝚘𝚜𝚝}$

  • $\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚊𝚝𝚖𝚘𝚜𝚝}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚌𝚑𝚊𝚗𝚐𝚎}$

  • $\mathrm{𝚌𝚑𝚊𝚗𝚐𝚎}\_\mathrm{𝚌𝚘𝚗𝚝𝚒𝚗𝚞𝚒𝚝𝚢}$

  • $\mathrm{𝚌𝚑𝚊𝚗𝚐𝚎}\_\mathrm{𝚙𝚊𝚒𝚛}$

  • $\mathrm{𝚌𝚑𝚊𝚗𝚐𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚌𝚑𝚊𝚗𝚐𝚎}\_\mathrm{𝚟𝚎𝚌𝚝𝚘𝚛𝚜}$

  • $\mathrm{𝚌𝚒𝚛𝚌𝚞𝚒𝚝}$

  • $\mathrm{𝚌𝚒𝚛𝚌𝚞𝚒𝚝}\_\mathrm{𝚌𝚕𝚞𝚜𝚝𝚎𝚛}$

  • $\mathrm{𝚌𝚒𝚛𝚌𝚞𝚕𝚊𝚛}\_\mathrm{𝚌𝚑𝚊𝚗𝚐𝚎}$

  • $\mathrm{𝚌𝚕𝚊𝚞𝚜𝚎}\_\mathrm{𝚊𝚗𝚍}$

  • $\mathrm{𝚌𝚕𝚊𝚞𝚜𝚎}\_\mathrm{𝚘𝚛}$

  • $\mathrm{𝚌𝚕𝚒𝚚𝚞𝚎}$

  • $\mathrm{𝚌𝚘𝚕𝚘𝚛𝚎𝚍}\_\mathrm{𝚖𝚊𝚝𝚛𝚒𝚡}$

  • $\mathrm{𝚌𝚘𝚕𝚘𝚞𝚛𝚎𝚍}\_\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}$

  • $\mathrm{𝚌𝚘𝚕𝚘𝚞𝚛𝚎𝚍}\_\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎𝚜}$

  • $\mathrm{𝚌𝚘𝚖𝚖𝚘𝚗}$

  • $\mathrm{𝚌𝚘𝚖𝚖𝚘𝚗}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$

  • $\mathrm{𝚌𝚘𝚖𝚖𝚘𝚗}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$

  • $\mathrm{𝚌𝚘𝚖𝚖𝚘𝚗}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚌𝚘𝚖𝚙𝚊𝚛𝚎}\_\mathrm{𝚊𝚗𝚍}\_\mathrm{𝚌𝚘𝚞𝚗𝚝}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚌𝚘𝚜𝚝}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛𝚎𝚚}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚕𝚎𝚜𝚜}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚕𝚎𝚜𝚜𝚎𝚚}$

  • $\mathrm{𝚌𝚘𝚗𝚗𝚎𝚌𝚝}\_\mathrm{𝚙𝚘𝚒𝚗𝚝𝚜}$

  • $\mathrm{𝚌𝚘𝚗𝚗𝚎𝚌𝚝𝚎𝚍}$

  • $\mathrm{𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎}\_\mathrm{𝚐𝚛𝚘𝚞𝚙𝚜}\_\mathrm{𝚘𝚏}\_\mathrm{𝚘𝚗𝚎𝚜}$

  • $\mathrm{𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎}\_\mathrm{𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚌𝚘𝚗𝚝𝚊𝚒𝚗𝚜}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚌𝚘𝚛𝚛𝚎𝚜𝚙𝚘𝚗𝚍𝚎𝚗𝚌𝚎}$

  • $\mathrm{𝚌𝚘𝚞𝚗𝚝}$

  • $\mathrm{𝚌𝚘𝚞𝚗𝚝𝚜}$

  • $\mathrm{𝚌𝚘𝚟𝚎𝚛𝚎𝚍𝚋𝚢}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚌𝚘𝚟𝚎𝚛𝚜}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚌𝚛𝚘𝚜𝚜𝚒𝚗𝚐}$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}\_\mathrm{𝚌𝚘𝚗𝚟𝚎𝚡}$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}\_\mathrm{𝚙𝚛𝚘𝚍𝚞𝚌𝚝}$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}\_\mathrm{𝚝𝚠𝚘}\_𝚍$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}\_\mathrm{𝚠𝚒𝚝𝚑}\_\mathrm{𝚕𝚎𝚟𝚎𝚕}\_\mathrm{𝚘𝚏}\_\mathrm{𝚙𝚛𝚒𝚘𝚛𝚒𝚝𝚢}$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎𝚜}$

  • $\mathrm{𝚌𝚞𝚝𝚜𝚎𝚝}$

  • $\mathrm{𝚌𝚢𝚌𝚕𝚎}$

  • $\mathrm{𝚌𝚢𝚌𝚕𝚎}\_\mathrm{𝚌𝚊𝚛𝚍}\_\mathrm{𝚘𝚗}\_\mathrm{𝚙𝚊𝚝𝚑}$

  • $\mathrm{𝚌𝚢𝚌𝚕𝚎}\_\mathrm{𝚘𝚛}\_\mathrm{𝚊𝚌𝚌𝚎𝚜𝚜𝚒𝚋𝚒𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚌𝚢𝚌𝚕𝚎}\_\mathrm{𝚛𝚎𝚜𝚘𝚞𝚛𝚌𝚎}$

  • $\mathrm{𝚌𝚢𝚌𝚕𝚒𝚌}\_\mathrm{𝚌𝚑𝚊𝚗𝚐𝚎}$

  • $\mathrm{𝚌𝚢𝚌𝚕𝚒𝚌}\_\mathrm{𝚌𝚑𝚊𝚗𝚐𝚎}\_\mathrm{𝚓𝚘𝚔𝚎𝚛}$

  • $\mathrm{𝚍𝚊𝚐}$

  • $\mathrm{𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}$

  • $\mathrm{𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚙𝚎𝚊𝚔}$

  • $\mathrm{𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚟𝚊𝚕𝚕𝚎𝚢}$

  • $\mathrm{𝚍𝚎𝚎𝚙𝚎𝚜𝚝}\_\mathrm{𝚟𝚊𝚕𝚕𝚎𝚢}$

  • $\mathrm{𝚍𝚎𝚛𝚊𝚗𝚐𝚎𝚖𝚎𝚗𝚝}$

  • $\mathrm{𝚍𝚒𝚏𝚏𝚎𝚛}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚊𝚝}\_\mathrm{𝚕𝚎𝚊𝚜𝚝}\_𝚔\_\mathrm{𝚙𝚘𝚜}$

  • $\mathrm{𝚍𝚒𝚏𝚏𝚎𝚛}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚊𝚝}\_\mathrm{𝚖𝚘𝚜𝚝}\_𝚔\_\mathrm{𝚙𝚘𝚜}$

  • $\mathrm{𝚍𝚒𝚏𝚏𝚎𝚛}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚎𝚡𝚊𝚌𝚝𝚕𝚢}\_𝚔\_\mathrm{𝚙𝚘𝚜}$

  • $\mathrm{𝚍𝚒𝚏𝚏𝚗}$

  • $\mathrm{𝚍𝚒𝚏𝚏𝚗}\_\mathrm{𝚌𝚘𝚕𝚞𝚖𝚗}$

  • $\mathrm{𝚍𝚒𝚏𝚏𝚗}\_\mathrm{𝚒𝚗𝚌𝚕𝚞𝚍𝚎}$

  • $\mathrm{𝚍𝚒𝚜𝚌𝚛𝚎𝚙𝚊𝚗𝚌𝚢}$

  • $\mathrm{𝚍𝚒𝚜𝚓}$

  • $\mathrm{𝚍𝚒𝚜𝚓𝚘𝚒𝚗𝚝}$

  • $\mathrm{𝚍𝚒𝚜𝚓𝚘𝚒𝚗𝚝}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚍𝚒𝚜𝚓𝚞𝚗𝚌𝚝𝚒𝚟𝚎}$

  • $\mathrm{𝚍𝚒𝚜𝚓𝚞𝚗𝚌𝚝𝚒𝚟𝚎}\_\mathrm{𝚘𝚛}\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚎𝚗𝚍}$

  • $\mathrm{𝚍𝚒𝚜𝚓𝚞𝚗𝚌𝚝𝚒𝚟𝚎}\_\mathrm{𝚘𝚛}\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚜𝚝𝚊𝚛𝚝}$

  • $\mathrm{𝚍𝚒𝚜𝚝𝚊𝚗𝚌𝚎}\_\mathrm{𝚋𝚎𝚝𝚠𝚎𝚎𝚗}$

  • $\mathrm{𝚍𝚒𝚜𝚝𝚊𝚗𝚌𝚎}\_\mathrm{𝚌𝚑𝚊𝚗𝚐𝚎}$

  • $\mathrm{𝚍𝚘𝚖}\_\mathrm{𝚛𝚎𝚊𝚌𝚑𝚊𝚋𝚒𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚍𝚘𝚖𝚊𝚒𝚗}$

  • $\mathrm{𝚍𝚘𝚖𝚊𝚒𝚗}\_\mathrm{𝚌𝚘𝚗𝚜𝚝𝚛𝚊𝚒𝚗𝚝}$

  • $\mathrm{𝚎𝚕𝚎𝚖}$

  • $\mathrm{𝚎𝚕𝚎𝚖}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚝𝚘}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛𝚎𝚚}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}\_\mathrm{𝚕𝚎𝚜𝚜𝚎𝚚}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}\_\mathrm{𝚖𝚊𝚝𝚛𝚒𝚡}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}\_\mathrm{𝚙𝚛𝚘𝚍𝚞𝚌𝚝}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}\_\mathrm{𝚜𝚙𝚊𝚛𝚜𝚎}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝𝚗}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝𝚜}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝𝚜}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝𝚜}\_\mathrm{𝚜𝚙𝚊𝚛𝚜𝚎}$

  • $\mathrm{𝚎𝚚𝚞𝚊𝚕}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚎𝚚𝚞𝚒𝚟𝚊𝚕𝚎𝚗𝚝}$

  • $\mathrm{𝚎𝚡𝚊𝚌𝚝𝚕𝚢}$

  • $\mathrm{𝚏𝚒𝚛𝚜𝚝}\_\mathrm{𝚟𝚊𝚕𝚞𝚎}\_\mathrm{𝚍𝚒𝚏𝚏}\_\mathtt{0}$

  • $\mathrm{𝚏𝚞𝚕𝚕}\_\mathrm{𝚐𝚛𝚘𝚞𝚙}$

  • $\mathrm{𝚐𝚎𝚘𝚜𝚝}$

  • $\mathrm{𝚐𝚎𝚘𝚜𝚝}\_\mathrm{𝚝𝚒𝚖𝚎}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}\_\mathrm{𝚗𝚘}\_\mathrm{𝚕𝚘𝚘𝚙}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚗𝚘}\_\mathrm{𝚕𝚘𝚘𝚙}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚠𝚒𝚝𝚑}\_\mathrm{𝚌𝚘𝚜𝚝𝚜}$

  • $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚘𝚗𝚝𝚒𝚐𝚞𝚒𝚝𝚢}$

  • $\mathrm{𝚐𝚘𝚕𝚘𝚖𝚋}$

  • $\mathrm{𝚐𝚛𝚊𝚙𝚑}\_\mathrm{𝚌𝚛𝚘𝚜𝚜𝚒𝚗𝚐}$

  • $\mathrm{𝚐𝚛𝚊𝚙𝚑}\_\mathrm{𝚒𝚜𝚘𝚖𝚘𝚛𝚙𝚑𝚒𝚜𝚖}$

  • $\mathrm{𝚐𝚛𝚘𝚞𝚙}$

  • $\mathrm{𝚐𝚛𝚘𝚞𝚙}\_\mathrm{𝚜𝚔𝚒𝚙}\_\mathrm{𝚒𝚜𝚘𝚕𝚊𝚝𝚎𝚍}\_\mathrm{𝚒𝚝𝚎𝚖}$

  • $\mathrm{𝚑𝚒𝚐𝚑𝚎𝚜𝚝}\_\mathrm{𝚙𝚎𝚊𝚔}$

  • $\mathrm{𝚒𝚖𝚙𝚕𝚢}$

  • $\mathrm{𝚒𝚗}$

  • $\mathrm{𝚒𝚗}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕𝚜}$

  • $\mathrm{𝚒𝚗}\_\mathrm{𝚛𝚎𝚕𝚊𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚒𝚗}\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚒𝚗𝚌𝚘𝚖𝚙𝚊𝚛𝚊𝚋𝚕𝚎}$

  • $\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}$

  • $\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚗𝚟𝚊𝚕𝚞𝚎}$

  • $\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚗𝚟𝚊𝚕𝚞𝚎}\_\mathrm{𝚌𝚑𝚊𝚒𝚗}$

  • $\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚙𝚎𝚊𝚔}$

  • $\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚜𝚞𝚖}$

  • $\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚟𝚊𝚕𝚕𝚎𝚢}$

  • $\mathrm{𝚒𝚗𝚍𝚎𝚡𝚎𝚍}\_\mathrm{𝚜𝚞𝚖}$

  • $\mathrm{𝚒𝚗𝚏𝚕𝚎𝚡𝚒𝚘𝚗}$

  • $\mathrm{𝚒𝚗𝚜𝚒𝚍𝚎}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚒𝚗𝚝}\_\mathrm{𝚟𝚊𝚕𝚞𝚎}\_\mathrm{𝚙𝚛𝚎𝚌𝚎𝚍𝚎}$

  • $\mathrm{𝚒𝚗𝚝}\_\mathrm{𝚟𝚊𝚕𝚞𝚎}\_\mathrm{𝚙𝚛𝚎𝚌𝚎𝚍𝚎}\_\mathrm{𝚌𝚑𝚊𝚒𝚗}$

  • $\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}\_\mathrm{𝚊𝚗𝚍}\_\mathrm{𝚌𝚘𝚞𝚗𝚝}$

  • $\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}\_\mathrm{𝚊𝚗𝚍}\_\mathrm{𝚜𝚞𝚖}$

  • $\mathrm{𝚒𝚗𝚟𝚎𝚛𝚜𝚎}$

  • $\mathrm{𝚒𝚗𝚟𝚎𝚛𝚜𝚎}\_\mathrm{𝚘𝚏𝚏𝚜𝚎𝚝}$

  • $\mathrm{𝚒𝚗𝚟𝚎𝚛𝚜𝚎}\_\mathrm{𝚜𝚎𝚝}$

  • $\mathrm{𝚒𝚗𝚟𝚎𝚛𝚜𝚎}\_\mathrm{𝚠𝚒𝚝𝚑𝚒𝚗}\_\mathrm{𝚛𝚊𝚗𝚐𝚎}$

  • $\mathrm{𝚒𝚝𝚑}\_\mathrm{𝚙𝚘𝚜}\_\mathrm{𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathtt{0}$

  • $𝚔\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $𝚔\_\mathrm{𝚌𝚞𝚝}$

  • $𝚔\_\mathrm{𝚍𝚒𝚜𝚓𝚘𝚒𝚗𝚝}$

  • $𝚔\_\mathrm{𝚜𝚊𝚖𝚎}$

  • $𝚔\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$

  • $𝚔\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$

  • $𝚔\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $𝚔\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}$

  • $𝚔\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$

  • $𝚔\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$

  • $𝚔\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚕𝚎𝚗𝚐𝚝𝚑}\_\mathrm{𝚏𝚒𝚛𝚜𝚝}\_\mathrm{𝚜𝚎𝚚𝚞𝚎𝚗𝚌𝚎}$

  • $\mathrm{𝚕𝚎𝚗𝚐𝚝𝚑}\_\mathrm{𝚕𝚊𝚜𝚝}\_\mathrm{𝚜𝚎𝚚𝚞𝚎𝚗𝚌𝚎}$

  • $\mathrm{𝚕𝚎𝚡}\mathtt{2}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚎𝚡𝚌𝚎𝚙𝚝}\_\mathtt{0}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚋𝚎𝚝𝚠𝚎𝚎𝚗}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚌𝚑𝚊𝚒𝚗}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚌𝚑𝚊𝚒𝚗}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛𝚎𝚚}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚌𝚑𝚊𝚒𝚗}\_\mathrm{𝚕𝚎𝚜𝚜}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚌𝚑𝚊𝚒𝚗}\_\mathrm{𝚕𝚎𝚜𝚜𝚎𝚚}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚎𝚚𝚞𝚊𝚕}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛𝚎𝚚}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚕𝚎𝚜𝚜}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚕𝚎𝚜𝚜𝚎𝚚}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚕𝚎𝚜𝚜𝚎𝚚}\_\mathrm{𝚊𝚕𝚕𝚙𝚎𝚛𝚖}$

  • $\mathrm{𝚕𝚒𝚗𝚔}\_\mathrm{𝚜𝚎𝚝}\_\mathrm{𝚝𝚘}\_\mathrm{𝚋𝚘𝚘𝚕𝚎𝚊𝚗𝚜}$

  • $\mathrm{𝚕𝚘𝚗𝚐𝚎𝚜𝚝}\_\mathrm{𝚌𝚑𝚊𝚗𝚐𝚎}$

  • $\mathrm{𝚕𝚘𝚗𝚐𝚎𝚜𝚝}\_\mathrm{𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚜𝚎𝚚𝚞𝚎𝚗𝚌𝚎}$

  • $\mathrm{𝚕𝚘𝚗𝚐𝚎𝚜𝚝}\_\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚜𝚎𝚚𝚞𝚎𝚗𝚌𝚎}$

  • $\mathrm{𝚖𝚊𝚙}$

  • $\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚜𝚕𝚘𝚙𝚎}$

  • $\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚜𝚕𝚘𝚙𝚎}$

  • $\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚒𝚗𝚍𝚎𝚡}$

  • $\mathrm{𝚖𝚊𝚡}\_𝚗$

  • $\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚗𝚟𝚊𝚕𝚞𝚎}$

  • $\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚘𝚌𝚌}\_\mathrm{𝚘𝚏}\_\mathrm{𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎}\_\mathrm{𝚝𝚞𝚙𝚕𝚎𝚜}\_\mathrm{𝚘𝚏}\_\mathrm{𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚘𝚌𝚌}\_\mathrm{𝚘𝚏}\_\mathrm{𝚜𝚘𝚛𝚝𝚎𝚍}\_\mathrm{𝚝𝚞𝚙𝚕𝚎𝚜}\_\mathrm{𝚘𝚏}\_\mathrm{𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚘𝚌𝚌}\_\mathrm{𝚘𝚏}\_\mathrm{𝚝𝚞𝚙𝚕𝚎𝚜}\_\mathrm{𝚘𝚏}\_\mathrm{𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚜𝚒𝚣𝚎}\_\mathrm{𝚜𝚎𝚝}\_\mathrm{𝚘𝚏}\_\mathrm{𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚖𝚊𝚡𝚒𝚖𝚞𝚖}$

  • $\mathrm{𝚖𝚊𝚡𝚒𝚖𝚞𝚖}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$

  • $\mathrm{𝚖𝚎𝚎𝚝}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚜𝚕𝚘𝚙𝚎}$

  • $\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚍𝚒𝚜𝚝}\_\mathrm{𝚋𝚎𝚝𝚠𝚎𝚎𝚗}\_\mathrm{𝚒𝚗𝚏𝚕𝚎𝚡𝚒𝚘𝚗}$

  • $\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}\_\mathrm{𝚜𝚕𝚘𝚙𝚎}$

  • $\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚒𝚗𝚍𝚎𝚡}$

  • $\mathrm{𝚖𝚒𝚗}\_𝚗$

  • $\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚗𝚟𝚊𝚕𝚞𝚎}$

  • $\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚜𝚒𝚣𝚎}\_\mathrm{𝚏𝚞𝚕𝚕}\_\mathrm{𝚣𝚎𝚛𝚘}\_\mathrm{𝚜𝚝𝚛𝚎𝚝𝚌𝚑}$

  • $\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚜𝚒𝚣𝚎}\_\mathrm{𝚜𝚎𝚝}\_\mathrm{𝚘𝚏}\_\mathrm{𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚠𝚒𝚍𝚝𝚑}\_\mathrm{𝚙𝚎𝚊𝚔}$

  • $\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚠𝚒𝚍𝚝𝚑}\_\mathrm{𝚟𝚊𝚕𝚕𝚎𝚢}$

  • $\mathrm{𝚖𝚒𝚗𝚒𝚖𝚞𝚖}$

  • $\mathrm{𝚖𝚒𝚗𝚒𝚖𝚞𝚖}\_\mathrm{𝚎𝚡𝚌𝚎𝚙𝚝}\_\mathtt{0}$

  • $\mathrm{𝚖𝚒𝚗𝚒𝚖𝚞𝚖}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛}\_\mathrm{𝚝𝚑𝚊𝚗}$

  • $\mathrm{𝚖𝚒𝚗𝚒𝚖𝚞𝚖}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$

  • $\mathrm{𝚖𝚒𝚗𝚒𝚖𝚞𝚖}\_\mathrm{𝚠𝚎𝚒𝚐𝚑𝚝}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚖𝚞𝚕𝚝𝚒}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚘𝚗𝚝𝚒𝚐𝚞𝚒𝚝𝚢}$

  • $\mathrm{𝚖𝚞𝚕𝚝𝚒}\_\mathrm{𝚒𝚗𝚝𝚎𝚛}\_\mathrm{𝚍𝚒𝚜𝚝𝚊𝚗𝚌𝚎}$

  • $\mathrm{𝚗𝚊𝚗𝚍}$

  • $\mathrm{𝚗𝚌𝚕𝚊𝚜𝚜}$

  • $\mathrm{𝚗𝚎𝚚𝚞𝚒𝚟𝚊𝚕𝚎𝚗𝚌𝚎}$

  • $\mathrm{𝚗𝚎𝚡𝚝}\_\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}$

  • $\mathrm{𝚗𝚎𝚡𝚝}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛}\_\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}$

  • $\mathrm{𝚗𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$

  • $\mathrm{𝚗𝚘}\_\mathrm{𝚙𝚎𝚊𝚔}$

  • $\mathrm{𝚗𝚘}\_\mathrm{𝚟𝚊𝚕𝚕𝚎𝚢}$

  • $\mathrm{𝚗𝚘𝚗}\_\mathrm{𝚘𝚟𝚎𝚛𝚕𝚊𝚙}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚗𝚘𝚛}$

  • $\mathrm{𝚗𝚘𝚝}\_\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚎𝚚𝚞𝚊𝚕}$

  • $\mathrm{𝚗𝚘𝚝}\_\mathrm{𝚒𝚗}$

  • $\mathrm{𝚗𝚙𝚊𝚒𝚛}$

  • $\mathrm{𝚗𝚜𝚎𝚝}\_\mathrm{𝚘𝚏}\_\mathrm{𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎}\_\mathrm{𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚗𝚟𝚊𝚕𝚞𝚎}$

  • $\mathrm{𝚗𝚟𝚊𝚕𝚞𝚎}\_\mathrm{𝚘𝚗}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚜𝚎𝚌𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚗𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚗𝚟𝚊𝚕𝚞𝚎𝚜}\_\mathrm{𝚎𝚡𝚌𝚎𝚙𝚝}\_\mathtt{0}$

  • $\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛}$

  • $\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛𝚜}$

  • $\mathrm{𝚗𝚟𝚒𝚜𝚒𝚋𝚕𝚎}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚎𝚗𝚍}$

  • $\mathrm{𝚗𝚟𝚒𝚜𝚒𝚋𝚕𝚎}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚜𝚝𝚊𝚛𝚝}$

  • $\mathrm{𝚘𝚙𝚎𝚗}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚘𝚙𝚎𝚗}\_\mathrm{𝚊𝚖𝚘𝚗𝚐}$

  • $\mathrm{𝚘𝚙𝚎𝚗}\_\mathrm{𝚊𝚝𝚕𝚎𝚊𝚜𝚝}$

  • $\mathrm{𝚘𝚙𝚎𝚗}\_\mathrm{𝚊𝚝𝚖𝚘𝚜𝚝}$

  • $\mathrm{𝚘𝚙𝚎𝚗}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚘𝚙𝚎𝚗}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}$

  • $\mathrm{𝚘𝚙𝚎𝚗}\_\mathrm{𝚖𝚊𝚡𝚒𝚖𝚞𝚖}$

  • $\mathrm{𝚘𝚙𝚎𝚗}\_\mathrm{𝚖𝚒𝚗𝚒𝚖𝚞𝚖}$

  • $\mathrm{𝚘𝚛}$

  • $\mathrm{𝚘𝚛𝚌𝚑𝚊𝚛𝚍}$

  • $\mathrm{𝚘𝚛𝚍𝚎𝚛}$

  • $\mathrm{𝚘𝚛𝚍𝚎𝚛𝚎𝚍}\_\mathrm{𝚊𝚝𝚕𝚎𝚊𝚜𝚝}\_\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛}$

  • $\mathrm{𝚘𝚛𝚍𝚎𝚛𝚎𝚍}\_\mathrm{𝚊𝚝𝚖𝚘𝚜𝚝}\_\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛}$

  • $\mathrm{𝚘𝚛𝚍𝚎𝚛𝚎𝚍}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚘𝚛𝚍𝚎𝚛𝚎𝚍}\_\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛}$

  • $\mathrm{𝚘𝚛𝚝𝚑𝚜}\_\mathrm{𝚊𝚛𝚎}\_\mathrm{𝚌𝚘𝚗𝚗𝚎𝚌𝚝𝚎𝚍}$

  • $\mathrm{𝚘𝚟𝚎𝚛𝚕𝚊𝚙}\_\mathrm{𝚜𝚋𝚘𝚡𝚎𝚜}$

  • $\mathrm{𝚙𝚊𝚝𝚑}$

  • $\mathrm{𝚙𝚊𝚝𝚑}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚝𝚘}$

  • $\mathrm{𝚙𝚊𝚝𝚝𝚎𝚛𝚗}$

  • $\mathrm{𝚙𝚎𝚊𝚔}$

  • $\mathrm{𝚙𝚎𝚛𝚒𝚘𝚍}$

  • $\mathrm{𝚙𝚎𝚛𝚒𝚘𝚍}\_\mathrm{𝚎𝚡𝚌𝚎𝚙𝚝}\_\mathtt{0}$

  • $\mathrm{𝚙𝚎𝚛𝚒𝚘𝚍}\_\mathrm{𝚟𝚎𝚌𝚝𝚘𝚛𝚜}$

  • $\mathrm{𝚙𝚎𝚛𝚖𝚞𝚝𝚊𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚙𝚕𝚊𝚌𝚎}\_\mathrm{𝚒𝚗}\_\mathrm{𝚙𝚢𝚛𝚊𝚖𝚒𝚍}$

  • $\mathrm{𝚙𝚘𝚕𝚢𝚘𝚖𝚒𝚗𝚘}$

  • $\mathrm{𝚙𝚛𝚎𝚌𝚎𝚍𝚎𝚗𝚌𝚎}$

  • $\mathrm{𝚙𝚛𝚘𝚍𝚞𝚌𝚝}\_\mathrm{𝚌𝚝𝚛}$

  • $\mathrm{𝚙𝚛𝚘𝚙𝚎𝚛}\_\mathrm{𝚌𝚒𝚛𝚌𝚞𝚒𝚝}$

  • $\mathrm{𝚙𝚛𝚘𝚙𝚎𝚛}\_\mathrm{𝚏𝚘𝚛𝚎𝚜𝚝}$

  • $\mathrm{𝚛𝚊𝚗𝚐𝚎}\_\mathrm{𝚌𝚝𝚛}$

  • $\mathrm{𝚛𝚎𝚕𝚊𝚡𝚎𝚍}\_\mathrm{𝚜𝚕𝚒𝚍𝚒𝚗𝚐}\_\mathrm{𝚜𝚞𝚖}$

  • $\mathrm{𝚛𝚘𝚘𝚝𝚜}$

  • $\mathrm{𝚜𝚊𝚖𝚎}$

  • $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚊𝚗𝚍}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚊𝚗𝚍}\_\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}\_\mathrm{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}$

  • $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚜𝚎𝚌𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$

  • $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$

  • $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚜𝚌𝚊𝚕𝚊𝚛}\_\mathrm{𝚙𝚛𝚘𝚍𝚞𝚌𝚝}$

  • $\mathrm{𝚜𝚎𝚚𝚞𝚎𝚗𝚌𝚎}\_\mathrm{𝚏𝚘𝚕𝚍𝚒𝚗𝚐}$

  • $\mathrm{𝚜𝚎𝚝}\_\mathrm{𝚟𝚊𝚕𝚞𝚎}\_\mathrm{𝚙𝚛𝚎𝚌𝚎𝚍𝚎}$

  • $\mathrm{𝚜𝚑𝚒𝚏𝚝}$

  • $\mathrm{𝚜𝚒𝚣𝚎}\_\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚜𝚎𝚚}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚜𝚒𝚣𝚎}\_\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚜𝚝𝚊𝚛𝚝𝚒𝚗𝚐}\_\mathrm{𝚜𝚎𝚚}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚜𝚕𝚒𝚍𝚒𝚗𝚐}\_\mathrm{𝚌𝚊𝚛𝚍}\_\mathrm{𝚜𝚔𝚒𝚙}\mathtt{0}$

  • $\mathrm{𝚜𝚕𝚒𝚍𝚒𝚗𝚐}\_\mathrm{𝚍𝚒𝚜𝚝𝚛𝚒𝚋𝚞𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚜𝚕𝚒𝚍𝚒𝚗𝚐}\_\mathrm{𝚜𝚞𝚖}$

  • $\mathrm{𝚜𝚕𝚒𝚍𝚒𝚗𝚐}\_\mathrm{𝚝𝚒𝚖𝚎}\_\mathrm{𝚠𝚒𝚗𝚍𝚘𝚠}$

  • $\mathrm{𝚜𝚕𝚒𝚍𝚒𝚗𝚐}\_\mathrm{𝚝𝚒𝚖𝚎}\_\mathrm{𝚠𝚒𝚗𝚍𝚘𝚠}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚜𝚝𝚊𝚛𝚝}$

  • $\mathrm{𝚜𝚕𝚒𝚍𝚒𝚗𝚐}\_\mathrm{𝚝𝚒𝚖𝚎}\_\mathrm{𝚠𝚒𝚗𝚍𝚘𝚠}\_\mathrm{𝚜𝚞𝚖}$

  • $\mathrm{𝚜𝚖𝚘𝚘𝚝𝚑}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚎𝚚𝚞𝚊𝚕}\_\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚎𝚚𝚞𝚊𝚕}\_\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚌𝚝𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚎𝚚𝚞𝚊𝚕}\_\mathrm{𝚖𝚒𝚗}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚌𝚝𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚟𝚊𝚛}$

  • $\mathrm{𝚜𝚘𝚖𝚎}\_\mathrm{𝚎𝚚𝚞𝚊𝚕}$

  • $\mathrm{𝚜𝚘𝚛𝚝}$

  • $\mathrm{𝚜𝚘𝚛𝚝}\_\mathrm{𝚙𝚎𝚛𝚖𝚞𝚝𝚊𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚜𝚝𝚊𝚋𝚕𝚎}\_\mathrm{𝚌𝚘𝚖𝚙𝚊𝚝𝚒𝚋𝚒𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚜𝚝𝚊𝚐𝚎}\_\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}$

  • $\mathrm{𝚜𝚝𝚛𝚎𝚝𝚌𝚑}\_\mathrm{𝚌𝚒𝚛𝚌𝚞𝚒𝚝}$

  • $\mathrm{𝚜𝚝𝚛𝚎𝚝𝚌𝚑}\_\mathrm{𝚙𝚊𝚝𝚑}$

  • $\mathrm{𝚜𝚝𝚛𝚎𝚝𝚌𝚑}\_\mathrm{𝚙𝚊𝚝𝚑}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚜𝚝𝚛𝚒𝚌𝚝}\_\mathrm{𝚕𝚎𝚡}\mathtt{2}$

  • $\mathrm{𝚜𝚝𝚛𝚒𝚌𝚝𝚕𝚢}\_\mathrm{𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}$

  • $\mathrm{𝚜𝚝𝚛𝚒𝚌𝚝𝚕𝚢}\_\mathrm{𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐}$

  • $\mathrm{𝚜𝚝𝚛𝚘𝚗𝚐𝚕𝚢}\_\mathrm{𝚌𝚘𝚗𝚗𝚎𝚌𝚝𝚎𝚍}$

  • $\mathrm{𝚜𝚞𝚋𝚐𝚛𝚊𝚙𝚑}\_\mathrm{𝚒𝚜𝚘𝚖𝚘𝚛𝚙𝚑𝚒𝚜𝚖}$

  • $\mathrm{𝚜𝚞𝚖}$

  • $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚌𝚝𝚛}$

  • $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚌𝚞𝚋𝚎𝚜}\_\mathrm{𝚌𝚝𝚛}$

  • $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚘𝚏}\_\mathrm{𝚒𝚗𝚌𝚛𝚎𝚖𝚎𝚗𝚝𝚜}$

  • $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚘𝚏}\_\mathrm{𝚠𝚎𝚒𝚐𝚑𝚝𝚜}\_\mathrm{𝚘𝚏}\_\mathrm{𝚍𝚒𝚜𝚝𝚒𝚗𝚌𝚝}\_\mathrm{𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚙𝚘𝚠𝚎𝚛𝚜}\mathtt{4}\_\mathrm{𝚌𝚝𝚛}$

  • $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚙𝚘𝚠𝚎𝚛𝚜}\mathtt{5}\_\mathrm{𝚌𝚝𝚛}$

  • $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚙𝚘𝚠𝚎𝚛𝚜}\mathtt{6}\_\mathrm{𝚌𝚝𝚛}$

  • $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚜𝚎𝚝}$

  • $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚜𝚚𝚞𝚊𝚛𝚎𝚜}\_\mathrm{𝚌𝚝𝚛}$

  • $\mathrm{𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌}$

  • $\mathrm{𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚎𝚡𝚌𝚎𝚙𝚝}\_\mathtt{0}$

  • $\mathrm{𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚕𝚘𝚘𝚙}$

  • $\mathrm{𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌}\_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$

  • $\mathrm{𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌}\_\mathrm{𝚐𝚌𝚌}$

  • $\mathrm{𝚝𝚎𝚖𝚙𝚘𝚛𝚊𝚕}\_\mathrm{𝚙𝚊𝚝𝚑}$

  • $\mathrm{𝚝𝚘𝚞𝚛}$

  • $\mathrm{𝚝𝚛𝚊𝚌𝚔}$

  • $\mathrm{𝚝𝚛𝚎𝚎}$

  • $\mathrm{𝚝𝚛𝚎𝚎}\_\mathrm{𝚛𝚊𝚗𝚐𝚎}$

  • $\mathrm{𝚝𝚛𝚎𝚎}\_\mathrm{𝚛𝚎𝚜𝚘𝚞𝚛𝚌𝚎}$

  • $\mathrm{𝚝𝚠𝚒𝚗}$

  • $\mathrm{𝚝𝚠𝚘}\_\mathrm{𝚕𝚊𝚢𝚎𝚛}\_\mathrm{𝚎𝚍𝚐𝚎}\_\mathrm{𝚌𝚛𝚘𝚜𝚜𝚒𝚗𝚐}$

  • $\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}$

  • $\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$

  • $\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$

  • $\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚞𝚜𝚎𝚜}$

  • $\mathrm{𝚟𝚊𝚕𝚕𝚎𝚢}$

  • $\mathrm{𝚟𝚎𝚌}\_\mathrm{𝚎𝚚}\_\mathrm{𝚝𝚞𝚙𝚕𝚎}$

  • $\mathrm{𝚟𝚒𝚜𝚒𝚋𝚕𝚎}$

  • $\mathrm{𝚠𝚎𝚒𝚐𝚑𝚝𝚎𝚍}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚊𝚕}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏}$

  • $\mathrm{𝚡𝚘𝚛}$

  • $\mathrm{𝚣𝚎𝚛𝚘}\_\mathrm{𝚘𝚛}\_\mathrm{𝚗𝚘𝚝}\_\mathrm{𝚣𝚎𝚛𝚘}\_\mathrm{𝚟𝚎𝚌𝚝𝚘𝚛𝚜}$

• $\mathrm{𝚛𝚎𝚚𝚞𝚒𝚛𝚎}\_\mathrm{𝚊𝚝}\_\mathrm{𝚕𝚎𝚊𝚜𝚝}$ (23 constraints):

  • $\mathrm{𝚌𝚘𝚕𝚘𝚞𝚛𝚎𝚍}\_\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}$

  • $\mathrm{𝚌𝚘𝚕𝚘𝚞𝚛𝚎𝚍}\_\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎𝚜}$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}\_\mathrm{𝚙𝚛𝚘𝚍𝚞𝚌𝚝}$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}\_\mathrm{𝚝𝚠𝚘}\_𝚍$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}\_\mathrm{𝚠𝚒𝚝𝚑}\_\mathrm{𝚕𝚎𝚟𝚎𝚕}\_\mathrm{𝚘𝚏}\_\mathrm{𝚙𝚛𝚒𝚘𝚛𝚒𝚝𝚢}$

  • $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎𝚜}$

  • $\mathrm{𝚍𝚒𝚏𝚏𝚗}$

  • $\mathrm{𝚍𝚒𝚏𝚏𝚗}\_\mathrm{𝚌𝚘𝚕𝚞𝚖𝚗}$

  • $\mathrm{𝚍𝚒𝚏𝚏𝚗}\_\mathrm{𝚒𝚗𝚌𝚕𝚞𝚍𝚎}$

  • $\mathrm{𝚍𝚒𝚜𝚓𝚘𝚒𝚗𝚝}\_\mathrm{𝚝𝚊𝚜𝚔𝚜}$

  • $\mathrm{𝚐𝚎𝚘𝚜𝚝}\_\mathrm{𝚝𝚒𝚖𝚎}$

  • $\mathrm{𝚘𝚛𝚝𝚑}\_\mathrm{𝚕𝚒𝚗𝚔}\_\mathrm{𝚘𝚛𝚒}\_\mathrm{𝚜𝚒𝚣}\_\mathrm{𝚎𝚗𝚍}$

  • $\mathrm{𝚘𝚛𝚝𝚑}\_\mathrm{𝚘𝚗}\_\mathrm{𝚝𝚑𝚎}\_\mathrm{𝚐𝚛𝚘𝚞𝚗𝚍}$

  • $\mathrm{𝚘𝚛𝚝𝚑}\_\mathrm{𝚘𝚗}\_\mathrm{𝚝𝚘𝚙}\_\mathrm{𝚘𝚏}\_\mathrm{𝚘𝚛𝚝𝚑}$

  • $\mathrm{𝚘𝚛𝚝𝚑𝚜}\_\mathrm{𝚊𝚛𝚎}\_\mathrm{𝚌𝚘𝚗𝚗𝚎𝚌𝚝𝚎𝚍}$

  • $\mathrm{𝚙𝚕𝚊𝚌𝚎}\_\mathrm{𝚒𝚗}\_\mathrm{𝚙𝚢𝚛𝚊𝚖𝚒𝚍}$

  • $\mathrm{𝚜𝚘𝚏𝚝}\_\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}$

  • $\mathrm{𝚝𝚠𝚘}\_\mathrm{𝚘𝚛𝚝𝚑}\_\mathrm{𝚊𝚛𝚎}\_\mathrm{𝚒𝚗}\_\mathrm{𝚌𝚘𝚗𝚝𝚊𝚌𝚝}$

  • $\mathrm{𝚝𝚠𝚘}\_\mathrm{𝚘𝚛𝚝𝚑}\_\mathrm{𝚌𝚘𝚕𝚞𝚖𝚗}$

  • $\mathrm{𝚝𝚠𝚘}\_\mathrm{𝚘𝚛𝚝𝚑}\_\mathrm{𝚍𝚘}\_\mathrm{𝚗𝚘𝚝}\_\mathrm{𝚘𝚟𝚎𝚛𝚕𝚊𝚙}$

  • $\mathrm{𝚝𝚠𝚘}\_\mathrm{𝚘𝚛𝚝𝚑}\_\mathrm{𝚒𝚗𝚌𝚕𝚞𝚍𝚎}$

  • $\mathrm{𝚟𝚒𝚜𝚒𝚋𝚕𝚎}$

• $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚜𝚒𝚣𝚎}$ (42 constraints):

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚍𝚒𝚏𝚏𝚎𝚛}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚊𝚝}\_\mathrm{𝚕𝚎𝚊𝚜𝚝}\_𝚔\_\mathrm{𝚙𝚘𝚜}$

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚍𝚒𝚏𝚏𝚎𝚛}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚊𝚝}\_\mathrm{𝚖𝚘𝚜𝚝}\_𝚔\_\mathrm{𝚙𝚘𝚜}$

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚍𝚒𝚏𝚏𝚎𝚛}\_\mathrm{𝚏𝚛𝚘𝚖}\_\mathrm{𝚎𝚡𝚊𝚌𝚝𝚕𝚢}\_𝚔\_\mathrm{𝚙𝚘𝚜}$

  • $\mathrm{𝚊𝚕𝚕}\_\mathrm{𝚒𝚗𝚌𝚘𝚖𝚙𝚊𝚛𝚊𝚋𝚕𝚎}$

  • $\mathrm{𝚊𝚕𝚕𝚙𝚎𝚛𝚖}$

  • $\mathrm{𝚊𝚝𝚕𝚎𝚊𝚜𝚝}\_\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛}$

  • $\mathrm{𝚊𝚝𝚖𝚘𝚜𝚝}\_\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛}$

  • $\mathrm{𝚌𝚑𝚊𝚗𝚐𝚎}\_\mathrm{𝚟𝚎𝚌𝚝𝚘𝚛𝚜}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚌𝚘𝚜𝚝}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛𝚎𝚚}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚕𝚎𝚜𝚜}$

  • $\mathrm{𝚌𝚘𝚗𝚍}\_\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚕𝚎𝚜𝚜𝚎𝚚}$

  • $\mathrm{𝚍𝚒𝚏𝚏𝚗}$

  • $\mathrm{𝚍𝚒𝚏𝚏𝚗}\_\mathrm{𝚌𝚘𝚕𝚞𝚖𝚗}$

  • $\mathrm{𝚍𝚒𝚏𝚏𝚗}\_\mathrm{𝚒𝚗𝚌𝚕𝚞𝚍𝚎}$

  • $𝚔\_\mathrm{𝚜𝚊𝚖𝚎}$

  • $𝚔\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$

  • $𝚔\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$

  • $𝚔\_\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$

  • $\mathrm{𝚕𝚎𝚡}\mathtt{2}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}\_\mathrm{𝚎𝚡𝚌𝚎𝚙𝚝}\_\mathtt{0}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚌𝚑𝚊𝚒𝚗}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚌𝚑𝚊𝚒𝚗}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛𝚎𝚚}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚌𝚑𝚊𝚒𝚗}\_\mathrm{𝚕𝚎𝚜𝚜}$

  • $\mathrm{𝚕𝚎𝚡}\_\mathrm{𝚌𝚑𝚊𝚒𝚗}\_\mathrm{𝚕𝚎𝚜𝚜𝚎𝚚}$

  • $\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚘𝚌𝚌}\_\mathrm{𝚘𝚏}\_\mathrm{𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎}\_\mathrm{𝚝𝚞𝚙𝚕𝚎𝚜}\_\mathrm{𝚘𝚏}\_\mathrm{𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚘𝚌𝚌}\_\mathrm{𝚘𝚏}\_\mathrm{𝚜𝚘𝚛𝚝𝚎𝚍}\_\mathrm{𝚝𝚞𝚙𝚕𝚎𝚜}\_\mathrm{𝚘𝚏}\_\mathrm{𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚖𝚊𝚡}\_\mathrm{𝚘𝚌𝚌}\_\mathrm{𝚘𝚏}\_\mathrm{𝚝𝚞𝚙𝚕𝚎𝚜}\_\mathrm{𝚘𝚏}\_\mathrm{𝚟𝚊𝚕𝚞𝚎𝚜}$

  • $\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛}$

  • $\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛𝚜}$

  • $\mathrm{𝚘𝚛𝚍𝚎𝚛}$

  • $\mathrm{𝚘𝚛𝚍𝚎𝚛𝚎𝚍}\_\mathrm{𝚊𝚝𝚕𝚎𝚊𝚜𝚝}\_\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛}$

  • $\mathrm{𝚘𝚛𝚍𝚎𝚛𝚎𝚍}\_\mathrm{𝚊𝚝𝚖𝚘𝚜𝚝}\_\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛}$

  • $\mathrm{𝚘𝚛𝚍𝚎𝚛𝚎𝚍}\_\mathrm{𝚗𝚟𝚎𝚌𝚝𝚘𝚛}$

  • $\mathrm{𝚘𝚛𝚝𝚑𝚜}\_\mathrm{𝚊𝚛𝚎}\_\mathrm{𝚌𝚘𝚗𝚗𝚎𝚌𝚝𝚎𝚍}$

  • $\mathrm{𝚙𝚊𝚝𝚝𝚎𝚛𝚗}$

  • $\mathrm{𝚙𝚎𝚛𝚒𝚘𝚍}\_\mathrm{𝚟𝚎𝚌𝚝𝚘𝚛𝚜}$

  • $\mathrm{𝚙𝚕𝚊𝚌𝚎}\_\mathrm{𝚒𝚗}\_\mathrm{𝚙𝚢𝚛𝚊𝚖𝚒𝚍}$

  • $\mathrm{𝚜𝚝𝚛𝚒𝚌𝚝}\_\mathrm{𝚕𝚎𝚡}\mathtt{2}$

  • $\mathrm{𝚣𝚎𝚛𝚘}\_\mathrm{𝚘𝚛}\_\mathrm{𝚗𝚘𝚝}\_\mathrm{𝚣𝚎𝚛𝚘}\_\mathrm{𝚟𝚎𝚌𝚝𝚘𝚛𝚜}$