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