-- -*- M2-comint -*- hash: 8904660050115523592

i1 : x = chern_3 E

o1 = c E
      3

o1 : ChernClassVariable

i2 : chern_3 E <- 444

o2 = 444

i3 : E

o3 = E

o3 : ChernClassVariableTable

i4 : x

o4 = c E
      3

o4 : ChernClassVariable

i5 : value x

o5 = 444

i6 : 
