search-optimisation-streams: 08cd41057834eb59c35dcfbd99a5a2d603b80146

     1: var s = stringify = JSON.stringify;/*function(x) {
     2:     if (typeof x === typeof [] && x.length !== undefined) return '['+x.map(stringify).toString()+']';
     3:     if (typeof x === typeof []) return JSON.stringify(x);
     4:     if (typeof x === typeof undefined) return 'undefined';
     5:     
     6:     return x.toString();
     7: };*/
     8: 
     9: var p = function(x) {
    10:     if (typeof x === 'function') print(x);
    11:     else print(stringify(x));
    12: };
    13: 
    14: var a = function(arg) {
    15:     load('run.js');
    16:     load('search.js');
    17:     load('tests.js');
    18:     p(tests(arg));
    19: };
    20: