81AeAXVTSEDIT VERSION 1.1454aADataset4default_ds not passed in yet454aATheory 4empty454bASpec 4454dAType 45AThm4Trm4Sgn4Dec4545CAThm Node: 145GANone45HANone45IANone45DAEditable45FA4(±x : U0. (x = x))45JA5CAThm Node: 145GANone45HANone45IANone45DAEditable45FA4(±x : U0. (x = x))45JA51NCAThm Node: 145GANone45HANone45IANone45DAEditable45FA4(±x : U0. (x = x))45JA51CAThm Node: 145GAGen45HANone45IANone45DAEditable45FA4(±x : U0. (x = x))45JA4x : U044(symbol not found = symbol not found )451CADec Node: 245GANone45HANone45IANone45DAEditable45FA4x : U045JA51CADec Node: 245GAAuto45HANone45IANone45DAEditable45FADone4x : U045JA51CAThm Node: 145GAGen45HANone45IANone45DAEditable45FA4(±x : U0. (x = x))45JADone4x : U044(x = x)451CAThm Node: 345GANone45HANone45IANone45DAEditable45FA4(x = x)45JA51CAThm Node: 345GAReflex45HANone45IANone45DAEditable45FADone4(x = x)45JA51CAThm Node: 145GAGen45HANone45IANone45DAEditable45FADone4(±x : U0. (x = x))45JADone4x : U04Done4(x = x)4510