12831284128512861287128812891290129112921293
startPosition = dsrs.printStartPosition(); } stopPosition = dsrs.stopPositionString; if (stopPosition == null) { stopPosition = dsrs.printStopPosition(); } return new RealTableScanStatistics( dsrs.numOpens,
12841285128612871288128912901291129212931294
13211322132313241325132613271328132913301331
13031304130513061307130813091310131113121313
12531254125512561257125812591260126112621263