6.2. Arc generators

• $\mathrm{𝐶𝐻𝐴𝐼𝑁}$ (1 constraint):

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

• $\mathrm{𝐶𝐼𝑅𝐶𝑈𝐼𝑇}$ (2 constraints):

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

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

• $\mathrm{𝐶𝐿𝐼𝑄𝑈𝐸}$ (112 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{𝚎𝚡𝚌𝚎𝚙𝚝}\_\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{𝚎𝚡𝚌𝚎𝚙𝚝}\_\mathtt{0}$

  • $\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{𝐺𝑅𝐼𝐷}$ (1 constraint):

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

• $\mathrm{𝐿𝑂𝑂𝑃}$ (6 constraints):

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

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

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

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

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

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

• $\mathrm{𝑃𝐴𝑇𝐻}$ (47 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{𝚜𝚔𝚒𝚙}\mathtt{0}$

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

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

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

  • $\mathrm{𝚜𝚘𝚛𝚝}$

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

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

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

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

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

• $\mathrm{𝑃𝐴𝑇𝐻}\_\mathit{1}$ (2 constraints):

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

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

• $\mathrm{𝑃𝐴𝑇𝐻}\_𝑁$ (1 constraint):

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

• $\mathrm{𝑃𝑅𝑂𝐷𝑈𝐶𝑇}$ (98 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{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}\_\mathrm{𝚟𝚊𝚛}$

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

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

  • $\mathrm{𝚜𝚘𝚛𝚝}$

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

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

  • $\mathrm{𝚜𝚞𝚖}$

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

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

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

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

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

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

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

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

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

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

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

  • $\mathrm{𝚞𝚜𝚎𝚜}$

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

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

• $\mathrm{𝑆𝐸𝐿𝐹}$ (46 constraints):

  • $\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{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}$

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

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

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

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

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

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

• $\mathrm{𝑆𝑌𝑀𝑀𝐸𝑇𝑅𝐼𝐶}\_\mathrm{𝑃𝑅𝑂𝐷𝑈𝐶𝑇}$ (2 constraints):

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

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

• $\mathrm{𝑉𝑂𝐼𝐷}$ (4 constraints):

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

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

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

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