added support for bleeding-edge E weighting function "SymOffsetsWeight"
added support for bleeding-edge E weighting function "SymOffsetsWeight"

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle