from legrandchien import *

if __name__ == "__main__":
    k = Const(3)
    kk = Const(4)

    eq = k + kk