public void recordInitialConfiguration(LearnerGraph smallPTA) throws IOException
{
PTASequenceEngine engine = collectionOfTraces.get(UAVAllSeeds).tracesForUAVandFrame.get(UAVAllSeeds).get(maxFrameNumber);
FileOutputStream log = new java.io.FileOutputStream("resources/largePTA/VeryLargePTA.zip");
RPNIBlueFringeVariability ourLearner = new RPNIBlueFringeVariability(learnerInitConfiguration,true,null,null);
LearnerGraph automatonAfterInit = ourLearner.getLearner().init(engine,0,0);
final Configuration shallowCopy = automatonAfterInit.config.copy();shallowCopy.setLearnerCloneGraph(false);
LearnerGraph copyOfAutomaton = new LearnerGraph(shallowCopy);LearnerGraph.copyGraphs(automatonAfterInit, copyOfAutomaton);
ourLearner.setInitPta(copyOfAutomaton);
RecordProgressDecorator recorder = new RecordProgressDecorator(ourLearner.getLearner(),log,1,learnerInitConfiguration.config,true);
learnerInitConfiguration.graph = smallPTA;learnerInitConfiguration.testSet = new LinkedList<List<statechum.Label>>();
recorder.writeLearnerEvaluationData(learnerInitConfiguration);
recorder.init(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
recorder.close();
log.close();// double-close in fact (should already been closed by recorder) but it does not really matter.