public static void main(String []args)
{
final Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);config.setLearnerScoreMode(ScoreMode.COMPATIBILITY);config.setLabelKind(LABELKIND.LABEL_STRING);
final ConvertALabel converter = new Transform.InternStringLabel();
MarkovModel m=new MarkovModel(3,true,true,false);
TraceLoader tool = new TraceLoader(config,converter);
tool.loadConfig(args[0]);
LearnerGraph pta = tool.getPTA();