------------------- CASE 1 -------------------
Condition:
  Green list: [ U1 ]
  Red list: [ U1 - 1, U2 ]
 Basis: [ (6 * U2^3) ]
------------------- CASE 2 -------------------
Condition:
  Green list: [ U1 - 1 ]
  Red list: [ U1, U2 ]
 Basis: [ (6 * U2^3) ]
------------------- CASE 3 -------------------
Condition:
  Green list: [  ]
  Red list: [ U1 - 1, U2, U1 ]
 Basis: [ (6 * U1 * U2^3 - 6 * U2^3) ]
Finished loading euler.lisp
T