/* automatically generated by jscov - do not edit */
if (typeof _$jscoverage === 'undefined') _$jscoverage = {};
if (! _$jscoverage['subfolder/vis.js']) {
  _$jscoverage['subfolder/vis.js'] = [];
  _$jscoverage['subfolder/vis.js'][1] = 0;
}
_$jscoverage['subfolder/vis.js'][1]++;
3;
_$jscoverage['subfolder/vis.js'].source = ["1+2"];