text: /*
  * This file is automatically generated by GenTest
  *
  * 2018-08-06 15:08:53.567947
  */
  
  
  
  
  startTest();
  
  /*
  *
  *	ABSTRACT FUNCTIONS IMPLEMENTED USING DESCRIPTION FROM ECMA-262 
  *
  */
  
  function RequireObjectCoercible(argument){
          if (argument == undefined || argument == null)
                  throw new TypeError("TypeError in RequireObjectCoercible")
          else
                  return argument
  }
  
  function ToString(argument){
          if (argument == undefined)
                  return "undefined"
          else if(argument == null)
                  return "null"
          else if(typeof argument == "boolean"){
                  if (argument == true)
                          return "true"
                  else
                          return "false"
  
          }
          else if(typeof argument == "string")
                  return argument
          else if(typeof argument == "number")
                  return Number(argument).toString()
          else if(typeof argument == "symbol")
                  throw new TypeError("TypeError in ToString")
          else if(typeof argument == "object")
                  return argument.toString()
  
  }
  
  function ToInteger(argument){
          var number = Number(argument)
          if (Object.is(number, NaN)){
                  return 0
          }
          if (number == 0 || number == Infinity || number == -Infinity || number == +0 || number== -0){
                  return number
          }
          return number-(number%1)
  }
  
  function ToUint32(argument){
          var number = Number(argument)
          if (Object.is(number, NaN) || number == 0 || number == Infinity || number == -Infinity || number == +0 || number== -0){
                  return 0
          }
          var i = Math.floor(Math.abs(number))
          var int32bit = i%(Math.pow(2,32))
      return int32bit
  }
  
  function IsRegExp(argument){
          return (argument instanceof RegExp)
  }
  
  function IsCallable(argument){
          if (typeof argument != 'object')
                  return false
          if (typeof argument == 'function')
                  return true
          return false
  }
  
  function ToLength(argument){
          var len = ToInteger(argument);
          if (len <= 0)
                  return 0
          return Math.min(len, 2e53-1)
  }
  
  function ToObject(argument){
          if (argument == undefined || argument == null)
                  throw new TypeError("TypeError in ToObject")
          if (typeof argument == "number")
                  return new Number(argument)
          if (typeof argument == "string")
                  return new String(argument)
          if (typeof argument == "boolean")
                  return new Boolean(argument)
          if (typeof argument == "symbol")
                  return new Symbol(argument)
          if (typeof argument == "object")
                  return argument
  }
  
  function thisNumberValue(argument){
  	return Number(argument)
  }
  
  function thisTimeValue(argument){
  	return Date(argument)
  }
  /*TEST TEMPLATE GENERATED AUTOMATICALLY*/
  function test_math_cosh(x){
  	if (Object.is( x,NaN)){
  		var output = Math.cosh(x);
  		new TestCase("math_cosh", "math_cosh", NaN, output);
  		test();
  		//console.log("Good Test")
  		return
  		}
  	if (( x===0)){
  		var output = Math.cosh(x);
  		new TestCase("math_cosh", "math_cosh", 1, output);
  		test();
  		//console.log("Good Test")
  		return
  		}
  	if (( x===-0)){
  		var output = Math.cosh(x);
  		new TestCase("math_cosh", "math_cosh", 1, output);
  		test();
  		//console.log("Good Test")
  		return
  		}
  	if (( x===Infinity)){
  		var output = Math.cosh(x);
  		new TestCase("math_cosh", "math_cosh", Infinity, output);
  		test();
  		//console.log("Good Test")
  		return
  		}
  	if (( x===-Infinity)){
  		var output = Math.cosh(x);
  		new TestCase("math_cosh", "math_cosh", Infinity, output);
  		test();
  		//console.log("Good Test")
  		return
  		}
  	//console.log("OK Test")
  }
  
  /*TESTS GENERATED AUTOMATICALLY*/
  test_math_cosh(-65);
  test_math_cosh(true);
  test_math_cosh(/[^.]+/);
  test_math_cosh(/ab+c/);
  test_math_cosh(1.2061271173481542e+308);
  test_math_cosh(1.2449249434697644e+308);
  test_math_cosh(null);
  test_math_cosh(566);
  test_math_cosh(1.6253431399805742e+308);
  test_math_cosh(undefined);
  test_math_cosh(-657);
  test_math_cosh(1.3594451216946437e+308);
  test_math_cosh(-0);
  test_math_cosh(false);
  test_math_cosh(2.945350002375746e+307);
  test_math_cosh("84YIUAXXU");
  test_math_cosh("VML1J7A1AP");
  test_math_cosh(5.523719990337418e+307);
  test_math_cosh(1.4785798145031591e+308);
  test_math_cosh(Infinity);
  test_math_cosh(1.6790748195697328e+308);
  test_math_cosh(1.7124507714266599e+308);
  test_math_cosh(-499);
  test_math_cosh(1.5729769877698343e+308);
  test_math_cosh(-995);
  test_math_cosh(-653);
  test_math_cosh(-113);
  test_math_cosh(/yes[^]*day/);
  test_math_cosh("AOGD07D42P");
  test_math_cosh(/foo/g);
  test_math_cosh(5.3828775263422776e+306);
  test_math_cosh(106);
  test_math_cosh(1.7507711855029374e+308);
  test_math_cosh("WM821W6");
  test_math_cosh(4.3154892886990697e+307);
  test_math_cosh("RC02");
  test_math_cosh("SA4H");
  test_math_cosh(-449);
  test_math_cosh(668);
  test_math_cosh(3.155426250474942e+307);
  test_math_cosh("TXR");
  test_math_cosh("HJY");
  test_math_cosh(-891);
  test_math_cosh(838);
  test_math_cosh(1.04085211477353e+308);
  test_math_cosh(1.1190660175382677e+308);
  test_math_cosh(1.030266683642037e+308);
  test_math_cosh(/[\u0400-\u04FF]+/g);
  test_math_cosh("VB7");
  test_math_cosh(NaN);
  test_math_cosh(1.4936383747944427e+308);
  test_math_cosh(-451);
  test_math_cosh("RNO6KKZR");
  test_math_cosh("Z3YXXIJ9");
  test_math_cosh("UT2V04");
  test_math_cosh("ABDGQ");
  test_math_cosh(1.6498018162790656e+307);
  test_math_cosh("F37OX");
  test_math_cosh(-661);
  test_math_cosh("5DKKN5D4");
  test_math_cosh(1.3607185264742564e+308);
  test_math_cosh(1.7757305660908711e+308);
  test_math_cosh(858);
  test_math_cosh(1.4289736605400244e+308);
  test_math_cosh(836);
  test_math_cosh("7PCVOBI");
  test_math_cosh(1.5456981070601959e+308);
  test_math_cosh("4JCT");
  test_math_cosh("LK6OD2");
  test_math_cosh("1RTSLEF");
  test_math_cosh(1.0620494952027833e+308);
  test_math_cosh(742);
  test_math_cosh(928);
  test_math_cosh("9JY3JRNKF");
  test_math_cosh(1.3164520062909386e+308);
  test_math_cosh(7.73718251955268e+307);
  test_math_cosh(9.234750626762454e+307);
  test_math_cosh("FZ0");
  test_math_cosh(1.290458956633259e+308);
  test_math_cosh(4.617401143789919e+307);
  test_math_cosh(4.29405057999638e+307);
  test_math_cosh("0DRGL7320");
  test_math_cosh(5.73265385019515e+307);
  test_math_cosh(+0);
  test_math_cosh(-835);
  test_math_cosh(5.33653995696587e+307);
  test_math_cosh(/yes.*day/);
  test_math_cosh(/(\w+)\s(\w+)/);
  test_math_cosh(512);
  test_math_cosh(120);
  test_math_cosh("P0MWY");
  test_math_cosh(350);
  test_math_cosh("NZLDPZ");
  test_math_cosh("6MP0T49J");
  test_math_cosh(-571);
  test_math_cosh(/\r\n|\r|\n/);
  test_math_cosh(2.8766264110126355e+307);
  test_math_cosh("DIF");
  test_math_cosh(1.0069735074376533e+308);
  test_math_cosh(1.5666347049725835e+308);
  test_math_cosh(4.729867604876501e+307);
  test_math_cosh(3.837660429992181e+306);
  test_math_cosh(760);
  test_math_cosh(2.502461883642694e+307);
  test_math_cosh("BMLSNHMIVT");
  test_math_cosh(284);
  test_math_cosh("PLCNAD97GQ");
  test_math_cosh(1.5407294426245487e+308);
  test_math_cosh(1.2478222747566822e+308);
  test_math_cosh(-41);
  test_math_cosh("L1ECK0NCQC");
  test_math_cosh("FXHAQ");
  test_math_cosh(8.466341792273072e+307);
  test_math_cosh(-957);
  test_math_cosh("ZB1PCE");
  test_math_cosh("BP9Q");
  test_math_cosh("DR2L4E3JO");
  test_math_cosh(3.889102555875403e+307);
  test_math_cosh("9124V");
  test_math_cosh(1.0379930409956463e+308);
  test_math_cosh("4YP");
  test_math_cosh("VWTP6WDWS");
  test_math_cosh(-591);
  test_math_cosh(-179);
  test_math_cosh(-157);
  test_math_cosh(1.0824169177494826e+307);
  test_math_cosh(396);
  test_math_cosh("LVD6");
  test_math_cosh(-877);
  test_math_cosh(-953);
  test_math_cosh(1.5597006107707642e+308);
  test_math_cosh(232);
  test_math_cosh("Q0T0L");
  test_math_cosh("JLWVFA3I2H");
  test_math_cosh(142);
  test_math_cosh(-123);
  test_math_cosh("OR1PRHM8");
  test_math_cosh(152);
  test_math_cosh(4.436650397094361e+307);
  test_math_cosh(906);
  test_math_cosh("3GE0");
  test_math_cosh("OH70R6I");
  test_math_cosh("I5PO");
  test_math_cosh(922);
  test_math_cosh(-991);
  test_math_cosh("CKNGLI");
  test_math_cosh("1KP");
  test_math_cosh("ZAHKO7O");
  test_math_cosh(-801);
  test_math_cosh(772);
  test_math_cosh("MW8PK");
  test_math_cosh(4.958796446173574e+307);
  test_math_cosh(8.658017118952238e+306);
  test_math_cosh("B7GGR6B");
  test_math_cosh("TLS");
  test_math_cosh("S4CABPOG");
  test_math_cosh("UFJWSQKEFR");
  test_math_cosh("7CNU7KSQRG");
  test_math_cosh(1.237069238800062e+308);
  test_math_cosh(-701);
  test_math_cosh(1.1779715580727265e+308);
  test_math_cosh(7.979198418196798e+307);
  test_math_cosh(1.1344530996593107e+308);
  test_math_cosh(676);
  test_math_cosh("QEOH5MRHW");
  test_math_cosh(-353);
  test_math_cosh(1.0037083406073304e+308);
  test_math_cosh(1.9261788843757598e+306);
  test_math_cosh("OHD455SXF");
  test_math_cosh(410);
  test_math_cosh(710);
  test_math_cosh("HQGUMU");
  test_math_cosh(116);
  test_math_cosh(2.0504454929920345e+307);
  test_math_cosh(-151);
  test_math_cosh("T8JGKOL14");
  test_math_cosh(696);
  test_math_cosh(4.058882935340985e+307);
  test_math_cosh("68545BAG5");
  test_math_cosh(-729);
  test_math_cosh("UHDFTRE");
  test_math_cosh(1.4226653428779895e+308);
  test_math_cosh(9.761478169480907e+307);
  test_math_cosh(1.2025549206588777e+308);
  test_math_cosh(1.3431625045448083e+308);
  test_math_cosh("UX9BGARK2");
  test_math_cosh("HM6Q6");
  test_math_cosh(9.57028965278582e+306);
  test_math_cosh(1.358123445653156e+308);
  test_math_cosh(3.6836222598422533e+307);
  test_math_cosh("PL5");
  test_math_cosh("ZSI3");
  test_math_cosh("EH54");
  test_math_cosh("NRHJNOBFQ");
  test_math_cosh("1N05P57VET");
  test_math_cosh("8ER");
  test_math_cosh(-761);
  test_math_cosh(5.64388182629727e+307);
  test_math_cosh(1.3748215514335227e+308);
  test_math_cosh("H38GC9YI");
  test_math_cosh(482);
  test_math_cosh(-557);
  test_math_cosh(784);
  test_math_cosh("ZAE6VG5");
  test_math_cosh("46TZKRE");
  test_math_cosh("DD01JES");
  test_math_cosh(4.756021964040498e+307);
  test_math_cosh(1.2737208573799233e+308);
  test_math_cosh(630);
  test_math_cosh(1.5078379106870986e+308);
  test_math_cosh("1Q3G3FSBGR");
  test_math_cosh(1.4465874983277832e+308);
  test_math_cosh("1ASG4MXN");
  test_math_cosh("Y9R");
  test_math_cosh(-865);
  test_math_cosh("BCKR");
  test_math_cosh(2.8856006801740105e+307);
  test_math_cosh("1HRN32R");
  test_math_cosh(1.1823531679616582e+308);
  test_math_cosh(9.982448782323171e+306);
  test_math_cosh(606);
  test_math_cosh(1.7326598576762952e+308);
  test_math_cosh(794);
  test_math_cosh(8.523432229045376e+307);
  test_math_cosh("VQEGYJRO7");
  test_math_cosh("H7QSF2");
  test_math_cosh(1.6585492497010067e+308);
  test_math_cosh(1.1314252353313515e+308);
  test_math_cosh(1.1556683501047204e+308);
  test_math_cosh("UPMV");
  test_math_cosh(2.5237861528660245e+307);
  test_math_cosh(1.612982145503096e+308);
  test_math_cosh("ETDF");
  test_math_cosh(526);
  test_math_cosh("P30");
  test_math_cosh(1.2822555999257542e+308);
  test_math_cosh(2.5084314346290984e+307);
  test_math_cosh(9.658289936823003e+307);
  test_math_cosh(8.588021583161297e+307);
  test_math_cosh(702);
  test_math_cosh("RB5K7M8");
  test_math_cosh(1.7339367579846051e+308);
  test_math_cosh(-387);
  test_math_cosh(3.784402863567932e+307);
  test_math_cosh(1.7533437015995957e+307);
  test_math_cosh(-785);
  test_math_cosh(1.0103153861443069e+308);
  test_math_cosh("6JZGH7");
  test_math_cosh(1.3839333972815032e+308);
  test_math_cosh(-405);
  test_math_cosh(6.196768867355343e+307);
  test_math_cosh(-285);
  test_math_cosh("B2DGHUBRP");
  test_math_cosh(950);
  test_math_cosh(-797);
  test_math_cosh("WE7O4HYQ");
  test_math_cosh(1.7217907524989278e+308);
  test_math_cosh(-889);
  test_math_cosh(118);
  test_math_cosh("0K1S9");
  test_math_cosh("K4QQS");
  test_math_cosh("3UI4VOSWH");
  test_math_cosh("UA4QM");
  test_math_cosh("QX58");
  test_math_cosh("S730MH");
  test_math_cosh(896);
  test_math_cosh("SRGQA3QM");
  test_math_cosh("TLY");
  test_math_cosh(9.716339925466073e+307);
  test_math_cosh(1.4326376251255539e+308);
  test_math_cosh(-863);
  test_math_cosh(-649);
  test_math_cosh("6L1U3JLBCC");
  test_math_cosh(206);
  test_math_cosh(-1);
  test_math_cosh("NCFL57AE");
  test_math_cosh(1.1082844247081635e+308);
  test_math_cosh(246);
  test_math_cosh(2.6226946538733653e+307);
  test_math_cosh("DI758L105Y");
  test_math_cosh(-281);
  test_math_cosh("R6P69");
  test_math_cosh("HL1PCGOEL");
  test_math_cosh(474);
  test_math_cosh(4.926835428728706e+307);
  test_math_cosh(894);
  test_math_cosh("QUZP");
  test_math_cosh("ANR");
  test_math_cosh(2.250403638039953e+307);
  test_math_cosh("1OH7J2MHM");
  test_math_cosh(1.2395675604165778e+308);
  test_math_cosh("XUG");
  test_math_cosh("HYI26B01");
  test_math_cosh("W6F36");
  test_math_cosh("XCGP");
  test_math_cosh("D22RICH");
  test_math_cosh("8RB9MK53");
  test_math_cosh("MQWF8");
  test_math_cosh("8UZK7LB1K");
  test_math_cosh(1.7902711038151138e+308);
  test_math_cosh(-453);
  test_math_cosh(-213);
  test_math_cosh(4.3173472188201237e+307);
  test_math_cosh("3A1BZ9");
  test_math_cosh("D3DX00");
  test_math_cosh("GDCM4WDC9T");
  test_math_cosh("3YRJWN6HB");
  test_math_cosh(1.3801840760875935e+308);
  test_math_cosh(934);
  test_math_cosh("DHQ");
  test_math_cosh("JYQYL5");
  test_math_cosh(286);
  test_math_cosh(1.7668387724250143e+308);
  test_math_cosh(16);
  test_math_cosh(-463);
  test_math_cosh(1.7376718119019819e+308);
  test_math_cosh(1.0439193706817403e+308);
  test_math_cosh(117);
  test_math_cosh(-137);
  test_math_cosh(-697);
  test_math_cosh(-43);
  test_math_cosh(766);
  test_math_cosh(6.338870595857706e+307);
  test_math_cosh(0);
  test_math_cosh("HFU9YMH9");
  test_math_cosh(-275);
  test_math_cosh(3.573775609150457e+307);
  test_math_cosh("63L");
  test_math_cosh("W06B");
  test_math_cosh("NMZ5W93F");
  test_math_cosh(1.3479185624481893e+306);
  test_math_cosh(1.4772398146885392e+308);
  test_math_cosh("NJ6K590F0");
  test_math_cosh(3.191706263898664e+307);
  test_math_cosh(1.7679201415197606e+308);
  test_math_cosh(460);
  test_math_cosh(-587);
  test_math_cosh("5OIU84O");
  test_math_cosh("ETK");
  test_math_cosh(1.1067625962848213e+308);
  test_math_cosh("BUV0B6MM");
  test_math_cosh(1.292039397627496e+308);
  test_math_cosh(-933);
  test_math_cosh(4.976568147584705e+307);
  test_math_cosh(370);
  test_math_cosh("FQFZUOM4");
  test_math_cosh(612);
  test_math_cosh(-233);
  test_math_cosh(1.307319657971075e+308);
  test_math_cosh("D02C7CL2");
  test_math_cosh(8.782979691128381e+307);
  test_math_cosh(1.1697444798258055e+308);
  test_math_cosh("S8R");
  test_math_cosh(8.23108176008384e+306);
  test_math_cosh(-573);
  test_math_cosh(3.473802515858417e+307);
  test_math_cosh(9.37829863727499e+307);
  test_math_cosh(-605);
  test_math_cosh(1.4783249452078242e+307);
  test_math_cosh("LXT3I");
  test_math_cosh(6.269071211641503e+307);
  test_math_cosh(-235);
  test_math_cosh(400);
  test_math_cosh("ENZY");
  test_math_cosh(-641);
  test_math_cosh(4.576991085408823e+307);
  test_math_cosh("FU3836N7");
  test_math_cosh("PYCBG");
  test_math_cosh("8WATGNZA");
  test_math_cosh("EEZVH2");
  test_math_cosh("3NMUTDF");
  test_math_cosh("AFOG1FD8O");
  test_math_cosh(-713);
  test_math_cosh("ZELFX43CLH");
  test_math_cosh(1.1762566236643275e+308);
  test_math_cosh(1.1547226250656535e+308);
  test_math_cosh(1.160983668950614e+308);
  test_math_cosh("Q5VS7Z98K");
  test_math_cosh(-613);
  test_math_cosh("XF51F");
  test_math_cosh(1.4352879263752895e+308);
  test_math_cosh("DE69YO5H");
  test_math_cosh("X5M");
  test_math_cosh(3.7261675113612734e+306);
  test_math_cosh("GB36PPWQ");
  test_math_cosh(60);
  test_math_cosh("MO82CZM9");
  test_math_cosh(3.747991154002268e+307);
  test_math_cosh(2.584772395964346e+307);
  test_math_cosh(3.3926340276321305e+307);
  test_math_cosh(1.0868644429675953e+308);
  test_math_cosh(1.3809123822810232e+308);
  test_math_cosh(3.9855291078333847e+307);
  test_math_cosh(-563);
  test_math_cosh(5.031022960225126e+306);
  test_math_cosh(4.1977735376562443e+307);
  test_math_cosh(7.513953304203665e+307);
  test_math_cosh("8EF6BO");
  test_math_cosh("CDGIYA95");
  test_math_cosh("YURCUA03N7");
  test_math_cosh("JBOKOSLRSD");
  test_math_cosh(-183);
  test_math_cosh("TWN3DH58U");
  test_math_cosh("8XVD3");
  test_math_cosh(3.0391423718375024e+307);
  test_math_cosh("AO5PZ6QF");
  test_math_cosh("VVGKSFEDU");
  test_math_cosh("9H125G");
  test_math_cosh("TX2MINGOZI");
  test_math_cosh("CVTTKT4X");
  test_math_cosh(-807);
  test_math_cosh(1.3660586668390657e+308);
  test_math_cosh(384);
  test_math_cosh(-795);
  test_math_cosh(3.904581915728591e+307);
  test_math_cosh(3.627147484288187e+307);
  test_math_cosh(4.555729830097629e+307);
  test_math_cosh(826);
  test_math_cosh("2ZCNA");
  test_math_cosh(1.1488573265580337e+308);
  test_math_cosh(8.630496225235442e+307);
  test_math_cosh(-683);
  test_math_cosh(84);
  test_math_cosh(412);
  test_math_cosh(3.0255214926633767e+307);
  test_math_cosh(-345);
  test_math_cosh(-309);
  test_math_cosh(1.5379439051457824e+308);
  test_math_cosh("SAOIGI");
  test_math_cosh("5F06");
  test_math_cosh(220);
  test_math_cosh("9EM");
  test_math_cosh("X8DK4");
  test_math_cosh(1.544552938445668e+308);
  test_math_cosh("1JV2");
  test_math_cosh(394);
  test_math_cosh("8QB8VSIR");
  test_math_cosh(1.0474002910717313e+308);
  test_math_cosh("CZOY");
  test_math_cosh(14);
  test_math_cosh(1.2691012355584719e+308);
  test_math_cosh("EF3CWS");
  test_math_cosh(3.4626135144351973e+307);
  test_math_cosh("HMAI0");
  test_math_cosh("ZKR2IVPX");
  test_math_cosh(2.9187479852418116e+307);
  test_math_cosh(912);
  test_math_cosh(-241);
  test_math_cosh(740);
  test_math_cosh(108);
  test_math_cosh(-577);
  test_math_cosh(52);
  test_math_cosh("0P28BTXN");
  test_math_cosh("0P4M");
  test_math_cosh("EEC8KH5VN");
  test_math_cosh("0TJKH");
  test_math_cosh(1.2482441043271226e+308);
  test_math_cosh("0PD");
  test_math_cosh("PSNLGJ");
  test_math_cosh("RMYF");
  test_math_cosh("9DOXUX");
  test_math_cosh(8.376288013163273e+307);
  test_math_cosh("1Y66SC");
  test_math_cosh(272);
  test_math_cosh(918);
  test_math_cosh(-719);
  test_math_cosh("470J0");
  test_math_cosh(-327);
  test_math_cosh("7ABPZ");
  test_math_cosh("94I6TK4");
  test_math_cosh("5YR4");
  test_math_cosh(1.6373247718181675e+308);
  test_math_cosh(2.7758677748079846e+307);
  test_math_cosh(6.812761270505109e+307);
  test_math_cosh(1.0068827703731945e+308);
  test_math_cosh(1.5856653539024343e+308);
  test_math_cosh(-321);
  test_math_cosh("AP6");
  test_math_cosh(3.302295037498638e+307);
  test_math_cosh(-427);
  test_math_cosh(1.5827791514817734e+308);
  test_math_cosh(4.690100638878061e+307);
  test_math_cosh(1.6337079848954967e+308);
  test_math_cosh(94);
  test_math_cosh("Y4PW");
  test_math_cosh(9.487766450668913e+307);
  test_math_cosh("8EY4KEHIP");
  test_math_cosh("KIH");
  test_math_cosh(-169);
  test_math_cosh(-77);
  test_math_cosh(1.5055273246112412e+308);
  test_math_cosh("MGOZ");
  test_math_cosh(-935);
  test_math_cosh(-551);
  test_math_cosh(1.6243571439329942e+308);
  test_math_cosh("SJZI26");
  test_math_cosh(756);
  test_math_cosh(-963);
  test_math_cosh(2.0530395944593687e+307);
  test_math_cosh(1.6685523900882583e+308);
  test_math_cosh(886);
  test_math_cosh("AMFCSMBCV");
  test_math_cosh("O2R1ASTK");
  test_math_cosh(-529);
  test_math_cosh(-277);
  test_math_cosh("TUZFQFHDU");
  test_math_cosh(276);
  test_math_cosh(8.370583854601829e+307);
  test_math_cosh(1.3223153731569433e+308);
  test_math_cosh(1.4751179308524189e+308);
  test_math_cosh("WWAC3ZF");
  test_math_cosh("CN41JX0X");
  test_math_cosh(472);
  test_math_cosh(164);
  test_math_cosh(-667);
  test_math_cosh("6RD");
  test_math_cosh("HBKG");
  test_math_cosh(810);
  test_math_cosh(4.545571209972473e+307);
  test_math_cosh(1.7266647501765024e+308);
  test_math_cosh("81G4TD167");
  test_math_cosh(1.3771003122837181e+308);
  test_math_cosh(8.216818510163123e+306);
  test_math_cosh("XU6W0");
  test_math_cosh("24U");
  test_math_cosh(1.2478294134476776e+308);
  test_math_cosh("J6DN8DP");
  test_math_cosh("00FEJXP");
  test_math_cosh("XSCKH2");
  test_math_cosh(1.6353392056905016e+308);
  test_math_cosh(-217);
  test_math_cosh("8R6A6");
  test_math_cosh("Q4F26T");
  test_math_cosh(-53);
  test_math_cosh(5.334551204304427e+307);
  test_math_cosh(9.847832477026677e+307);
  test_math_cosh(6.96514008378847e+307);
  test_math_cosh(4.92780960276812e+307);
  test_math_cosh(534);
  test_math_cosh("F4CFIWAL");
  test_math_cosh(498);
  test_math_cosh(-153);
  test_math_cosh(1.1694700786746645e+308);
  test_math_cosh(1.7051483318642618e+308);
  test_math_cosh("OMS");
  test_math_cosh(8.874301128277901e+307);
  test_math_cosh("92USWLEOGI");
  test_math_cosh(268);
  test_math_cosh("5TTJ0XKX");
  test_math_cosh(-447);
  test_math_cosh(888);
  test_math_cosh(3.4476444532167986e+307);
  test_math_cosh(9.83444022509439e+307);
  test_math_cosh("O0602");
  test_math_cosh(-855);
  test_math_cosh(330);
  test_math_cosh(-475);
  test_math_cosh(8.481236465119289e+307);
  test_math_cosh(1.1489733563059144e+308);
  test_math_cosh("URA");
  test_math_cosh("WMAJ4");
  test_math_cosh(1.79595045017359e+308);
  test_math_cosh("JBXJ80DX");
  test_math_cosh("0LXOCRPW3");
  test_math_cosh("Y44KKT");
  test_math_cosh("PW3CD2E6");
  test_math_cosh(2.5352520835685794e+307);
  test_math_cosh("OF1WX4UFTN");
  test_math_cosh(2.39391803428365e+307);
  test_math_cosh("MADM");
  test_math_cosh(5.20869338712697e+307);
  test_math_cosh("ZS812NC");
  test_math_cosh("XOMOHHG7C");
  test_math_cosh(4.969510099597928e+307);
  test_math_cosh(1.6389932582748384e+308);
  test_math_cosh("TAG0P");
  test_math_cosh("Z66U3");
  test_math_cosh(5.492698658602177e+307);
  test_math_cosh(352);
  test_math_cosh(5.797366392437547e+307);
  test_math_cosh("K56F");
  test_math_cosh(146);
  test_math_cosh(5.866807038928971e+307);
  test_math_cosh("RB3V");
  test_math_cosh(324);
  test_math_cosh(1.3957993323201888e+308);
  test_math_cosh(1.321127042494219e+307);
  test_math_cosh(1.6881600459327132e+308);
  test_math_cosh(6.026270948797251e+307);
  test_math_cosh("9P97Y9CG");
  test_math_cosh(-897);
  test_math_cosh(-831);
  test_math_cosh("89ZMLRBBNG");
  test_math_cosh(3.223083269826313e+307);
  test_math_cosh(-543);
  test_math_cosh(264);
  test_math_cosh("36ZG");
  test_math_cosh(-769);
  test_math_cosh("A1YT2H");
  test_math_cosh(1.689875128939091e+308);
  test_math_cosh(1.7047648099319205e+308);
  test_math_cosh("B2HN");
  test_math_cosh(5.273584292353217e+307);
  test_math_cosh(1.2247555795457754e+308);
  test_math_cosh(-599);
  test_math_cosh(50);
  test_math_cosh(790);
  test_math_cosh(-21);
  test_math_cosh(5.604369883396726e+307);
  test_math_cosh(4.632169109580173e+306);
  test_math_cosh("CP4QZR8I");
  test_math_cosh("Y5YQN4");
  test_math_cosh(1.3651557769261658e+308);
  test_math_cosh("QHB");
  test_math_cosh(234);
  test_math_cosh(594);
  test_math_cosh(448);
  test_math_cosh("O68KT4O65R");
  test_math_cosh("3N1");
  test_math_cosh(5.429196430622656e+307);
  test_math_cosh(2.2050538445290984e+307);
  test_math_cosh(-887);
  test_math_cosh(1.6819637081693133e+308);
  test_math_cosh(228);
  test_math_cosh(-185);
  test_math_cosh(2.0868648825007588e+307);
  test_math_cosh(82);
  test_math_cosh(1.3066625639687815e+308);
  test_math_cosh(5.988653419978617e+307);
  test_math_cosh(2.7154628899834713e+306);
  test_math_cosh(682);
  test_math_cosh("Y3I9");
  test_math_cosh("72N7D01F2");
  test_math_cosh(-229);
  test_math_cosh(-361);
  test_math_cosh("8KOHV7E4");
  test_math_cosh(-171);
  test_math_cosh("QNBYPGLL");
  test_math_cosh(1.3007840162981014e+308);
  test_math_cosh(1.346657067133919e+308);
  test_math_cosh(1.4656966124303147e+308);
  test_math_cosh("8OLN8");
  test_math_cosh(-783);
  test_math_cosh("WLZ2");
  test_math_cosh(6.907312354179013e+307);
  test_math_cosh("HOOJB");
  test_math_cosh(-379);
  test_math_cosh(1.7268781108923296e+308);
  test_math_cosh(7.250109850006442e+307);
  test_math_cosh(1.480275459668217e+308);
  test_math_cosh(1.173081418347693e+307);
  test_math_cosh(8.143761126883002e+307);
  test_math_cosh(4.137704963444624e+307);
  test_math_cosh("BZ1");
  test_math_cosh("WWEQYIJDW");
  test_math_cosh(8.715124328990999e+307);
  test_math_cosh(-663);
  test_math_cosh("OXMRN31H2");
  test_math_cosh(1.556049577038836e+308);
  test_math_cosh("AKQQFZF9E2");
  test_math_cosh("3ZJDAZ8DSS");
  test_math_cosh("MMXG3J6GC");
  test_math_cosh("IOJ3TR7");
  test_math_cosh(1.5074728703679005e+308);
  test_math_cosh(1.4974223207687564e+308);
  test_math_cosh(-59);
  test_math_cosh(-133);
  test_math_cosh("LYNZRSRC7Q");
  test_math_cosh(4.788239787022299e+307);
  test_math_cosh(3.9478308505697376e+307);
  test_math_cosh(632);
  test_math_cosh(9.08286259831794e+307);
  test_math_cosh("VHN1");
  test_math_cosh(-69);
  test_math_cosh(1.7121321862112134e+308);
  test_math_cosh("3GU5Q");
  test_math_cosh("IHPE");
  test_math_cosh("I2IWWPQH");
  test_math_cosh(-127);
  test_math_cosh(-621);
  test_math_cosh("UHKU1EOVKF");
  test_math_cosh(-669);
  test_math_cosh(2.9160610564147923e+307);
  test_math_cosh(26);
  test_math_cosh("I4WRZVV");
  test_math_cosh(1.6887517625386999e+308);
  test_math_cosh(8.251322095749663e+307);
  test_math_cosh(1.7069458510689016e+308);
  test_math_cosh("12O3");
  test_math_cosh(1.0890738433363259e+308);
  test_math_cosh("NTY5TT8");
  test_math_cosh("D7HRZQX");
  test_math_cosh(-927);
  test_math_cosh(1.5455964903868252e+307);
  test_math_cosh("7PG");
  test_math_cosh("1Y0");
  test_math_cosh(1.159974328607989e+308);
  test_math_cosh("AYLQX");
  test_math_cosh(292);
  test_math_cosh(1.3201308434736377e+308);
  test_math_cosh(1.3350430881007546e+308);
  test_math_cosh(72);
  test_math_cosh(1.761599745807455e+308);
  test_math_cosh("2KYD");
  test_math_cosh(1.8437373427838648e+307);
  test_math_cosh("1GF0HJ");
  test_math_cosh("QKK86CDVGT");
  test_math_cosh(1.4445030540497597e+307);
  test_math_cosh(1.6778571063347984e+308);
  test_math_cosh(1.3167347179045026e+308);
  test_math_cosh(1.52938041958579e+308);
  test_math_cosh(1.1270143148660944e+308);
  test_math_cosh(504);
  test_math_cosh(-535);
  test_math_cosh("947");
  test_math_cosh("9RSKJ");
  test_math_cosh(-497);
  test_math_cosh(1.0597228843936999e+307);
  test_math_cosh(8.507071854829311e+307);
  test_math_cosh(-415);
  test_math_cosh(1.7744329231320201e+308);
  test_math_cosh("KUKQ1E");
  test_math_cosh(-417);
  test_math_cosh(1.7145059187195474e+308);
  test_math_cosh(1.7229357162149839e+308);
  test_math_cosh(7.50495530903712e+307);
  test_math_cosh("Y00PR02SS");
  test_math_cosh(-397);
  test_math_cosh("JTJ5AVUHRA");
  test_math_cosh(-95);
  test_math_cosh(-75);
  test_math_cosh("B5HARNB");
  test_math_cosh(-357);
  test_math_cosh(200);
  test_math_cosh(-743);
  test_math_cosh(-837);
  test_math_cosh(3.82664834200003e+307);
  test_math_cosh(5.926887945145994e+307);
  test_math_cosh("7RJ");
  test_math_cosh("QBQOSSZ");
  test_math_cosh("MUKZBSC");
  test_math_cosh("II2VV");
  test_math_cosh("C11HOJYO");
  test_math_cosh("ZXFO925");
  test_math_cosh(796);
  test_math_cosh("WKEUHS");
  test_math_cosh("ICBV40");
  test_math_cosh(2.789968444768014e+307);
  test_math_cosh("0IBJIQSPGA");
  test_math_cosh(360);
  test_math_cosh(736);
  test_math_cosh(7.046806119928516e+307);
  test_math_cosh(5.65791984084732e+307);
  test_math_cosh(5.519894996480422e+307);
  test_math_cosh(806);
  test_math_cosh("ODO296");
  test_math_cosh(7.229915712670086e+307);
  test_math_cosh(1.0551283480370402e+308);
  test_math_cosh(4.0530199004422963e+307);
  test_math_cosh(160);
  test_math_cosh("36Y3");
  test_math_cosh(9.668311425126628e+307);
  test_math_cosh(-809);
  test_math_cosh("I0EOX79VE8");
  test_math_cosh("HYULVH46NL");
  test_math_cosh("TZ36V1NWP");
  test_math_cosh(614);
  test_math_cosh(776);
  test_math_cosh(966);
  test_math_cosh("9FA1QG4JHN");
  test_math_cosh(1.6086497775623906e+308);
  test_math_cosh(6.104008550329259e+307);
  test_math_cosh(8.967974591064774e+307);
  test_math_cosh(6.281426703016667e+307);
  test_math_cosh("BYFELZW8");
  test_math_cosh("BKLJ");
  test_math_cosh(1.770113697783195e+308);
  test_math_cosh("W22");
  test_math_cosh(9.505765739184608e+307);
  test_math_cosh(3.456764245600148e+307);
  test_math_cosh(2.2109342562360646e+307);
  test_math_cosh(1.3859437836464115e+308);
  test_math_cosh(8.962241003465969e+307);
  test_math_cosh("34PC2X");
  test_math_cosh(4.1331072550185283e+307);
  test_math_cosh(1.1596905637674352e+308);
  test_math_cosh("FM7E7G719T");
  test_math_cosh(4.323716489303984e+306);
  test_math_cosh(-237);
  test_math_cosh("QAP");
  test_math_cosh(1.4155462203754083e+308);
  test_math_cosh("E7QGIN");
  test_math_cosh(-189);
  test_math_cosh("MZD7");
  test_math_cosh(9.346842959462374e+307);
  test_math_cosh(1.239233815755929e+308);
  test_math_cosh(4.4296763657772206e+306);
  test_math_cosh("F0L88E1F");
  test_math_cosh("NL9T8DEX");
  test_math_cosh(1.341240707821383e+308);
  test_math_cosh(-99);
  test_math_cosh(-741);
  test_math_cosh("2KLHVOELNG");
  test_math_cosh(1.1497107724589417e+308);
  test_math_cosh("UQHRMT7M7");
  test_math_cosh(1.374088297647724e+308);
  test_math_cosh("60PO85");
  test_math_cosh("4UU");
  test_math_cosh(454);
  test_math_cosh("QJ5Q");
  test_math_cosh(-965);
  test_math_cosh(-645);
  test_math_cosh(-523);
  test_math_cosh(-311);
  test_math_cosh(1.7031599944795136e+308);
  test_math_cosh("UJGPMF");
  test_math_cosh(5.680512325903307e+307);
  test_math_cosh(-31);
  test_math_cosh(-919);
  test_math_cosh(-869);
  test_math_cosh("30LM");
  test_math_cosh(5.451402660164151e+307);
  test_math_cosh(1.4928190836134416e+308);
  test_math_cosh(844);
  test_math_cosh(874);
  test_math_cosh(802);
  test_math_cosh("XVHZJ");
  test_math_cosh("ND393V6Y");
  test_math_cosh(-57);
  test_math_cosh(174);
  test_math_cosh("CEY0MSF");
  test_math_cosh(2.2092653888485158e+307);
  test_math_cosh("QKL");
  test_math_cosh("C3A34S53CA");
  test_math_cosh(-685);
  test_math_cosh(3.001370385000412e+307);
  test_math_cosh(1.3094924988901973e+308);
  test_math_cosh(6.772545408086938e+307);
  test_math_cosh("SGWBX6JUN");
  test_math_cosh(7.464681552565553e+307);
  test_math_cosh(3.209116444623339e+307);
  test_math_cosh(-707);
  test_math_cosh(7.047580746979337e+307);
  test_math_cosh(1.5791156589654846e+308);
  test_math_cosh(9.167402627012284e+306);
  test_math_cosh("G8LKJ3Z");
  test_math_cosh(1.6750600607524029e+308);
  test_math_cosh(-325);
  test_math_cosh("Q445X");
  test_math_cosh(1.2051848803526718e+308);
  test_math_cosh(1.6240807489107591e+308);
  test_math_cosh(6.482060021392358e+307);
  test_math_cosh(1.7088029435367167e+308);
  test_math_cosh(1.7899361517103476e+308);
  test_math_cosh(-367);
  test_math_cosh(222);
  test_math_cosh(1.4353432552746246e+308);
  test_math_cosh(814);
  test_math_cosh(1.046336459803689e+308);
  test_math_cosh(4.2466608799353635e+306);
  test_math_cosh(226);
  test_math_cosh("C03R3A1");
  test_math_cosh(4.937276194323976e+307);
  test_math_cosh("BAFO");
  test_math_cosh(96);
  test_math_cosh(8.778367543643838e+307);
  test_math_cosh("KCYQAE");
  test_math_cosh(1.5674906440779776e+308);
  test_math_cosh(856);
  test_math_cosh(862);
  test_math_cosh(1.5189916959133184e+308);
  test_math_cosh(1.7861534662927304e+308);
  test_math_cosh("44UDL");
  test_math_cosh("EKG");
  test_math_cosh(-629);
  test_math_cosh(-239);
  test_math_cosh(2.290720068034135e+307);
  test_math_cosh(-407);
  test_math_cosh("ZF9Y");
  test_math_cosh(1.1771121229752085e+308);
  test_math_cosh("P4D6U0RSD3");
  test_math_cosh(-673);
  test_math_cosh("BJ7QSP");
  test_math_cosh("Q6CT1QO");
  test_math_cosh("ENKLT");
  test_math_cosh("HSUV");
  test_math_cosh(1.6779372388156557e+308);
  test_math_cosh("MH7");
  test_math_cosh(1.579985202110194e+308);
  test_math_cosh(5.585917705678821e+307);
  test_math_cosh(-709);
  test_math_cosh(-845);
  test_math_cosh("76UZLQ6");
  test_math_cosh(1.0002227803365296e+308);
  test_math_cosh(8.860263817640932e+307);
  test_math_cosh(964);
  test_math_cosh(296);
  test_math_cosh(-859);
  test_math_cosh(1.7633453862903356e+308);
  test_math_cosh("KAOU");
  test_math_cosh("A9Y");
  test_math_cosh("NNNU");
  test_math_cosh(558);
  test_math_cosh("AKUTSL");
  test_math_cosh("PM51QKY4");
  test_math_cosh("1346O");
  test_math_cosh(946);
  test_math_cosh(1.7300123370348193e+308);
  test_math_cosh(2.3122673185076685e+307);
  test_math_cosh(-611);
  test_math_cosh(1.117355463090248e+308);
  test_math_cosh("CK7");
  test_math_cosh(936);
  test_math_cosh(944);
  test_math_cosh(6.018006537452516e+307);
  test_math_cosh("TCF4VHR1U6");
  test_math_cosh(8.610301444547736e+307);
  test_math_cosh("OESV6");
  test_math_cosh(1.3152152674851786e+308);
  test_math_cosh(1.7643361314775676e+308);
  test_math_cosh(4.0791238305234585e+306);
  test_math_cosh(6.437050272500683e+307);
  test_math_cosh(4.274545971830702e+307);
  test_math_cosh(1.5915718473783498e+308);
  test_math_cosh("DJS");
  test_math_cosh("0XT0NF4AH");
  test_math_cosh(1.3822599323405254e+308);
  test_math_cosh(-985);
  test_math_cosh("U516");
  test_math_cosh("O1O7Q7");
  test_math_cosh("OABSZEON");
  test_math_cosh(1.2998076827237681e+308);
  test_math_cosh(1.44078427990042e+308);
  test_math_cosh(7.939283993431556e+307);
  test_math_cosh(4.92677966702876e+307);
  test_math_cosh(5.253799370920178e+307);
  test_math_cosh(4.4384209180590866e+307);
  test_math_cosh(1.162246688829049e+308);
  test_math_cosh("UM7Y");
  test_math_cosh("YWE9S5VBW");
  test_math_cosh(1.0975725228426704e+308);
  test_math_cosh(8.836601575350207e+307);
  test_math_cosh("EJD9N9D");
  test_math_cosh(-315);
  test_math_cosh(-505);
  test_math_cosh("8E3MVWCMGF");
  test_math_cosh(2.3774613282142417e+307);
  test_math_cosh(7.148681817739435e+307);
  test_math_cosh("0LQ6");
  test_math_cosh("R704E");
  test_math_cosh("2YRF");
  test_math_cosh(-283);
  test_math_cosh("PPM4C3X9B");
  test_math_cosh(4.9362433062206545e+306);
  test_math_cosh(-977);
  test_math_cosh(654);
  test_math_cosh("JBJ6S28XM");
  test_math_cosh(1.0602721953576924e+308);
  test_math_cosh("SKO4T3UH");
  test_math_cosh("53IOXLG8");
  test_math_cosh(7.525797325458918e+307);
  test_math_cosh(640);
  test_math_cosh(7.989909957888121e+305);
  test_math_cosh("PSQ4IK46H");
  test_math_cosh("DV7LPY0J");
  test_math_cosh("BE0SE");
  test_math_cosh(-335);
  test_math_cosh("Z4DO");
  test_math_cosh(3.054902683459721e+307);
  test_math_cosh(1.2632209673275755e+308);
  test_math_cosh(9.689437046898682e+307);
  test_math_cosh("UR86");
  test_math_cosh(1.6250572402142985e+308);
  test_math_cosh(5.742892138744677e+307);
  test_math_cosh(3.2620380254202084e+307);
  test_math_cosh(770);
  test_math_cosh("LGTDC8A");
  test_math_cosh("PK17Y");
  test_math_cosh(1.0918692141836262e+308);
  test_math_cosh(-347);
  test_math_cosh(-601);
  test_math_cosh("VI7D8");
  test_math_cosh(9.005180910719056e+306);
  test_math_cosh(1.3464403542569639e+308);
  test_math_cosh(8.653315854489924e+307);
  test_math_cosh("PYMFG6");
  test_math_cosh(392);
  test_math_cosh(824);
  test_math_cosh("OJPNIG0GP3");
  test_math_cosh(-507);
  test_math_cosh(5.463593773685196e+307);
  test_math_cosh(8.628959427913569e+307);
  test_math_cosh(3.357202488072319e+307);
  test_math_cosh("313NRT0");
  test_math_cosh(1.7869379664754758e+308);
  test_math_cosh(1.468106479880434e+308);
  test_math_cosh("9AWQEVE084");
  test_math_cosh("DOR3IJIP0");
  test_math_cosh("Y67W6IR5");
  test_math_cosh("DYTXYLSU68");
  