text: /*
  * This file is automatically generated by Swami
  *
  * 2019-01-26 15:10:26.401133
  */
  
  
  
  
  startTest();
  
  /*
  *
  *	ABSTRACT FUNCTIONS IMPELEMTED USING DESCRIPTION FROM ECMA-262 
  *
  */
  
  function RequireObjectCoercible(argument){
          if (typeof argument == "undefined" || typeof argument == "null")
                  throw new TypeError("TypeError in RequireObjectCoercible")
          else
                  return argument
  }
  
  function ToString(argument){
          if (typeof 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 (typeof argument == 'undefined' || typeof 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)
  }
  function Get(argument, property){
  	return argument
  }
  function SameValueZero(x,y){
  	return x===y
  }
  /*TEST TEMPLATE GENERATED AUTOMATICALLY*/
  function test_map_prototype_clear(randominput){
  	if (( typeof (randominput ) != "object" )){
  		 try{
  			var output = randominput.clear();
  			 return;
  		}catch(e){
  			new TestCase("map_prototype_clear", "map_prototype_clear", true, eval(e instanceof TypeError));
  			test();
  			return;
  		}
  	}
  	if (( randominput instanceof Map === false )){
  		 try{
  			var output = randominput.clear();
  			 return;
  		}catch(e){
  			new TestCase("map_prototype_clear", "map_prototype_clear", true, eval(e instanceof TypeError));
  			test();
  			return;
  		}
  	}
  }
  
  
  
  /*TESTS GENERATED AUTOMATICALLY*/
  test_map_prototype_clear(undefined);
  test_map_prototype_clear(9.352058465516082e+307);
  test_map_prototype_clear(true);
  test_map_prototype_clear(5.209737872036056e+307);
  test_map_prototype_clear(+0);
  test_map_prototype_clear(/[^.]+/);
  test_map_prototype_clear(1.7934386582435313e+308);
  test_map_prototype_clear(-643);
  test_map_prototype_clear(6.061751733343683e+306);
  test_map_prototype_clear("XTOBAKB");
  test_map_prototype_clear("PDEUF");
  test_map_prototype_clear(-491);
  test_map_prototype_clear(false);
  test_map_prototype_clear(9.2722071873706e+307);
  test_map_prototype_clear(/yes[^]*day/);
  test_map_prototype_clear(-77);
  test_map_prototype_clear(null);
  test_map_prototype_clear("ASXMI69");
  test_map_prototype_clear(-961);
  test_map_prototype_clear(8);
  test_map_prototype_clear(1.4014870844119355e+308);
  test_map_prototype_clear(/yes.*day/);
  test_map_prototype_clear(3.8011138595008877e+307);
  test_map_prototype_clear("REBTDA5");
  test_map_prototype_clear(1.5738223185455565e+308);
  test_map_prototype_clear(1.2492614433650078e+308);
  test_map_prototype_clear(3.440699408704809e+307);
  test_map_prototype_clear(Infinity);
  test_map_prototype_clear(-605);
  test_map_prototype_clear("7M0X2D");
  test_map_prototype_clear(2.3575138022585917e+306);
  test_map_prototype_clear(-0);
  test_map_prototype_clear(/\r\n|\r|\n/);
  test_map_prototype_clear("BRUNEXUV");
  test_map_prototype_clear(-715);
  test_map_prototype_clear(-733);
  test_map_prototype_clear(/foo/g);
  test_map_prototype_clear(-739);
  test_map_prototype_clear(2.2484254532245566e+307);
  test_map_prototype_clear(1.2786482206345701e+308);
  test_map_prototype_clear(1.3371881726643766e+308);
  test_map_prototype_clear(NaN);
  test_map_prototype_clear(/(\w+)\s(\w+)/);
  test_map_prototype_clear(-335);
  test_map_prototype_clear(-793);
  test_map_prototype_clear(1.1671958316001962e+308);
  test_map_prototype_clear(-525);
  test_map_prototype_clear(4.0712423489557936e+307);
  test_map_prototype_clear(-343);
  test_map_prototype_clear(2.4907629574439674e+307);
  test_map_prototype_clear(-517);
  test_map_prototype_clear(1.7945839065273987e+308);
  test_map_prototype_clear(-759);
  test_map_prototype_clear(-545);
  test_map_prototype_clear(-963);
  test_map_prototype_clear("WE8");
  test_map_prototype_clear(4.0044490486015696e+307);
  test_map_prototype_clear(-25);
  test_map_prototype_clear("AJDX");
  test_map_prototype_clear("UIX3ICCR");
  test_map_prototype_clear("7S6AR86R");
  test_map_prototype_clear(9.731355218792283e+307);
  test_map_prototype_clear(-281);
  test_map_prototype_clear(-199);
  test_map_prototype_clear(-467);
  test_map_prototype_clear("7N24JD0GL");
  test_map_prototype_clear("B2M0");
  test_map_prototype_clear(-941);
  test_map_prototype_clear(-757);
  test_map_prototype_clear(-445);
  test_map_prototype_clear(/[\u0400-\u04FF]+/g);
  test_map_prototype_clear("PFR9B0LOEQ");
  test_map_prototype_clear(-711);
  test_map_prototype_clear("F5FG");
  test_map_prototype_clear(4.87207292181531e+307);
  test_map_prototype_clear(-395);
  test_map_prototype_clear(-581);
  test_map_prototype_clear("0T87PDP63");
  test_map_prototype_clear(-693);
  test_map_prototype_clear(1.553947108656851e+308);
  test_map_prototype_clear(-167);
  test_map_prototype_clear("VX5Y1");
  test_map_prototype_clear(-419);
  test_map_prototype_clear("64Z");
  test_map_prototype_clear(3.223215737219774e+307);
  test_map_prototype_clear(-785);
  test_map_prototype_clear("25XYFCO");
  test_map_prototype_clear(-415);
  test_map_prototype_clear(-597);
  test_map_prototype_clear(1.11174257809866e+308);
  test_map_prototype_clear(9.070458311440704e+307);
  test_map_prototype_clear(2.9815363466862446e+307);
  test_map_prototype_clear(-211);
  test_map_prototype_clear(2.5623631779084585e+307);
  test_map_prototype_clear(-263);
  test_map_prototype_clear("CDGCI88VKY");
  test_map_prototype_clear(-913);
  test_map_prototype_clear(-625);
  test_map_prototype_clear(-223);
  test_map_prototype_clear("J5JO69WBGL");
  test_map_prototype_clear(-887);
  test_map_prototype_clear("Z10PG1");
  test_map_prototype_clear(-497);
  test_map_prototype_clear(-103);
  test_map_prototype_clear(1.5263073942685833e+308);
  test_map_prototype_clear("JTV");
  test_map_prototype_clear("TYYX");
  test_map_prototype_clear(-647);
  test_map_prototype_clear(6.42275625433306e+307);
  test_map_prototype_clear(/ab+c/);
  test_map_prototype_clear(-827);
  test_map_prototype_clear(1.4630692430040956e+307);
  test_map_prototype_clear(-135);
  test_map_prototype_clear("ZJUY5X3B5U");
  test_map_prototype_clear("WXASSA1P");
  test_map_prototype_clear(4.856213317658862e+307);
  test_map_prototype_clear(4.30464107937666e+307);
  test_map_prototype_clear(2.532979474398933e+307);
  test_map_prototype_clear("A3EH");
  test_map_prototype_clear(1.1611557555198355e+308);
  test_map_prototype_clear(-641);
  test_map_prototype_clear(-17);
  test_map_prototype_clear(-783);
  test_map_prototype_clear("PFJR5EL6L");
  test_map_prototype_clear(3.7304676375152267e+307);
  test_map_prototype_clear("MFFLOCZMK");
  test_map_prototype_clear(1.6428273330098805e+308);
  test_map_prototype_clear("8T1YNF");
  test_map_prototype_clear("PNC1");
  test_map_prototype_clear(-323);
  test_map_prototype_clear(4.3055007218292373e+307);
  test_map_prototype_clear(-99);
  test_map_prototype_clear(-169);
  test_map_prototype_clear("8P1OW");
  test_map_prototype_clear(2.669974206713323e+307);
  test_map_prototype_clear("W8I72");
  test_map_prototype_clear(1.993003846646874e+307);
  test_map_prototype_clear(-361);
  test_map_prototype_clear("9JE5X");
  test_map_prototype_clear(-163);
  test_map_prototype_clear(1.174398319440866e+308);
  test_map_prototype_clear("0TMG");
  test_map_prototype_clear(1.5849688248347415e+308);
  test_map_prototype_clear("WZNF");
  test_map_prototype_clear(1.6281085195162463e+308);
  test_map_prototype_clear(-859);
  test_map_prototype_clear(-885);
  test_map_prototype_clear(4.986197091976749e+307);
  test_map_prototype_clear(-201);
  test_map_prototype_clear(3.6109184373637827e+307);
  test_map_prototype_clear(1.744700181337306e+308);
  test_map_prototype_clear(-937);
  test_map_prototype_clear("QTBK");
  test_map_prototype_clear("ZLJJBYRH");
  test_map_prototype_clear(1.5410977330820283e+308);
  test_map_prototype_clear("D0TKW");
  test_map_prototype_clear("KQU4Y7EBS");
  test_map_prototype_clear(-603);
  test_map_prototype_clear("ESY2LI2E");
  test_map_prototype_clear(-919);
  test_map_prototype_clear(-285);
  test_map_prototype_clear(1.6705613186950136e+308);
  test_map_prototype_clear(-405);
  test_map_prototype_clear(-869);
  test_map_prototype_clear(6.769594322839115e+307);
  test_map_prototype_clear(-639);
  test_map_prototype_clear("M87OY");
  test_map_prototype_clear(4.1898695144668207e+307);
  test_map_prototype_clear(-591);
  test_map_prototype_clear(4.78391211066719e+307);
  test_map_prototype_clear(-465);
  test_map_prototype_clear("694WA6ZUK3");
  test_map_prototype_clear("HX740EKH");
  test_map_prototype_clear("ZLFNBSLV");
  test_map_prototype_clear(-73);
  test_map_prototype_clear(-131);
  test_map_prototype_clear(6.384826722193916e+307);
  test_map_prototype_clear(4.055511684686014e+307);
  test_map_prototype_clear("3M8A");
  test_map_prototype_clear(8.509562009192782e+306);
  test_map_prototype_clear(8.80535666314376e+307);
  test_map_prototype_clear("U6S2RG");
  test_map_prototype_clear("CXBWPZA");
  test_map_prototype_clear(-669);
  test_map_prototype_clear(-831);
  test_map_prototype_clear(1.5341284615295902e+308);
  test_map_prototype_clear("4P9NXJVKF");
  test_map_prototype_clear(-601);
  test_map_prototype_clear("WYHOV4WTBX");
  test_map_prototype_clear(-485);
  test_map_prototype_clear("71ZG985S");
  test_map_prototype_clear("P7B7P7DNG");
  test_map_prototype_clear(4.1446284913686025e+307);
  test_map_prototype_clear("M5BGKDW");
  test_map_prototype_clear(-557);
  test_map_prototype_clear("6TFYAJ");
  test_map_prototype_clear("5LTO3995N");
  test_map_prototype_clear(1.518600771545893e+308);
  test_map_prototype_clear("9XW8P4S7NQ");
  test_map_prototype_clear(3.116917570743825e+307);
  test_map_prototype_clear(-391);
  test_map_prototype_clear(136);
  test_map_prototype_clear(1.38557531539599e+308);
  test_map_prototype_clear(-727);
  test_map_prototype_clear("KT7");
  test_map_prototype_clear(1.2145575950844062e+308);
  test_map_prototype_clear(-375);
  test_map_prototype_clear("PS2X57S");
  test_map_prototype_clear("J6S4");
  test_map_prototype_clear(-437);
  test_map_prototype_clear(1.4129215086711864e+308);
  test_map_prototype_clear("WS4FJK4I1");
  test_map_prototype_clear(1.1648966247852992e+308);
  test_map_prototype_clear(8.017207857251349e+307);
  test_map_prototype_clear(1.1605934219317957e+308);
  test_map_prototype_clear("QQUXMP");
  test_map_prototype_clear(-181);
  test_map_prototype_clear(-593);
  test_map_prototype_clear(1.0984257149971491e+306);
  test_map_prototype_clear(-809);
  test_map_prototype_clear(7.050760911581648e+307);
  test_map_prototype_clear(-247);
  test_map_prototype_clear("ZHTC6");
  test_map_prototype_clear(-293);
  test_map_prototype_clear("00K8GNNJ4Z");
  test_map_prototype_clear("XD5");
  test_map_prototype_clear("0L1HQS1B0T");
  test_map_prototype_clear(-387);
  test_map_prototype_clear("36V3QS");
  test_map_prototype_clear(2.7944546573295574e+307);
  test_map_prototype_clear(-67);
  test_map_prototype_clear(1.3351869293949033e+307);
  test_map_prototype_clear("ZY1X");
  test_map_prototype_clear("34QLD");
  test_map_prototype_clear(6.018318447845775e+307);
  test_map_prototype_clear(1.525996423273267e+308);
  test_map_prototype_clear(1.6767692510762105e+308);
  test_map_prototype_clear(-349);
  test_map_prototype_clear("PJWQYXBI");
  test_map_prototype_clear(-569);
  test_map_prototype_clear("RDRRA0");
  test_map_prototype_clear(1.0870369855220277e+307);
  test_map_prototype_clear(8.026382082698617e+307);
  test_map_prototype_clear(1.6120520617099664e+308);
  test_map_prototype_clear("DTJVSWYV");
  test_map_prototype_clear("158S");
  test_map_prototype_clear(5.157043838348166e+307);
  test_map_prototype_clear(2.735588321068043e+307);
  test_map_prototype_clear(2.407722045679106e+307);
  test_map_prototype_clear("KR2IVRPAL8");
  test_map_prototype_clear(-933);
  test_map_prototype_clear(-353);
  test_map_prototype_clear(1.3385616784054881e+308);
  test_map_prototype_clear("ZIW951POHN");
  test_map_prototype_clear("06VP");
  test_map_prototype_clear(-839);
  test_map_prototype_clear("VHP2");
  test_map_prototype_clear("HOBI");
  test_map_prototype_clear("3OUEG2WI");
  test_map_prototype_clear(1.2595904181613253e+308);
  test_map_prototype_clear("G2NYO2W5UC");
  test_map_prototype_clear("53X6P");
  test_map_prototype_clear(6.560229432883973e+307);
  test_map_prototype_clear("GX8");
  test_map_prototype_clear(-915);
  test_map_prototype_clear(1.4663935578630394e+308);
  test_map_prototype_clear(3.39649968169224e+307);
  test_map_prototype_clear("U5HFDHH");
  test_map_prototype_clear(-235);
  test_map_prototype_clear(8.436765341683658e+306);
  test_map_prototype_clear(5.317852019073035e+307);
  test_map_prototype_clear(-31);
  test_map_prototype_clear("JNNV");
  test_map_prototype_clear(3.6077756695148023e+307);
  test_map_prototype_clear(-863);
  test_map_prototype_clear(2.5368649177046784e+307);
  test_map_prototype_clear("3FEEO8");
  test_map_prototype_clear(-273);
  test_map_prototype_clear(1.6308246902091725e+308);
  test_map_prototype_clear(1.2198459458620962e+307);
  test_map_prototype_clear(9.411173845256385e+307);
  test_map_prototype_clear("IEZRG10");
  test_map_prototype_clear(1.5498662986315426e+308);
  test_map_prototype_clear("9TEA");
  test_map_prototype_clear(6.070406226471687e+307);
  test_map_prototype_clear(-507);
  test_map_prototype_clear("IZPBDW0");
  test_map_prototype_clear(-505);
  test_map_prototype_clear(1.0767971623886241e+308);
  test_map_prototype_clear(-543);
  test_map_prototype_clear(-775);
  test_map_prototype_clear(8.023542676360779e+307);
  test_map_prototype_clear(-511);
  test_map_prototype_clear(2.1724590330469573e+305);
  test_map_prototype_clear("IW6O7OPR");
  test_map_prototype_clear(2.8157160069277784e+307);
  test_map_prototype_clear("7RAC40ACF");
  test_map_prototype_clear(2.8629667954493974e+307);
  test_map_prototype_clear(-965);
  test_map_prototype_clear("0QE74XPE");
  test_map_prototype_clear(-561);
  test_map_prototype_clear(-129);
  test_map_prototype_clear(-927);
  test_map_prototype_clear("EZ7HN42CEF");
  test_map_prototype_clear("WUQY6J");
  test_map_prototype_clear("ONLQN");
  test_map_prototype_clear(2.7859663028981703e+307);
  test_map_prototype_clear("F8MGGI");
  test_map_prototype_clear("IO7A8");
  test_map_prototype_clear("GY2AA3J");
  test_map_prototype_clear(-413);
  test_map_prototype_clear(-675);
  test_map_prototype_clear(-907);
  test_map_prototype_clear(1.0282613966166942e+308);
  test_map_prototype_clear(2.926116774635041e+307);
  test_map_prototype_clear(1.4392949199185972e+308);
  test_map_prototype_clear("27FF");
  test_map_prototype_clear(1.6715703953884996e+306);
  test_map_prototype_clear(-477);
  test_map_prototype_clear(-903);
  test_map_prototype_clear(-633);
  test_map_prototype_clear("3QU");
  test_map_prototype_clear(5.215267962994527e+307);
  test_map_prototype_clear(1.0842306614941239e+308);
  test_map_prototype_clear(-333);
  test_map_prototype_clear("S3WHJI");
  test_map_prototype_clear(-371);
  test_map_prototype_clear(1.0060983464476095e+308);
  test_map_prototype_clear(6.282060615188679e+307);
  test_map_prototype_clear("4EC");
  test_map_prototype_clear("TZQV");
  test_map_prototype_clear(-845);
  test_map_prototype_clear(-11);
  test_map_prototype_clear(-57);
  test_map_prototype_clear("7Q1AJAK7XK");
  test_map_prototype_clear("2INBA");
  test_map_prototype_clear(3.4336295340706934e+307);
  test_map_prototype_clear(5.656727435138801e+307);
  test_map_prototype_clear("X51E");
  test_map_prototype_clear(-219);
  test_map_prototype_clear(-679);
  test_map_prototype_clear("3VG");
  test_map_prototype_clear(-577);
  test_map_prototype_clear(2.9572054052579797e+307);
  test_map_prototype_clear("CKCDHUR");
  test_map_prototype_clear(-659);
  test_map_prototype_clear("IGNH0VLBX");
  test_map_prototype_clear(-379);
  test_map_prototype_clear(-651);
  test_map_prototype_clear("JSGVWB26");
  test_map_prototype_clear("0405O4");
  test_map_prototype_clear("LSN9TFG");
  test_map_prototype_clear(-101);
  test_map_prototype_clear(9.609966366025026e+307);
  test_map_prototype_clear(9.999170245988172e+307);
  test_map_prototype_clear(7.750579689994432e+307);
  test_map_prototype_clear(7.938552932295811e+307);
  test_map_prototype_clear(1.5108268755137562e+308);
  test_map_prototype_clear("AARZM");
  test_map_prototype_clear(1.2918101350892745e+308);
  test_map_prototype_clear("20RRR4L24");
  test_map_prototype_clear(8.191847371417856e+307);
  test_map_prototype_clear(-305);
  test_map_prototype_clear("M92Y");
  test_map_prototype_clear(7.020540684334402e+307);
  test_map_prototype_clear("ZUYEJNO");
  test_map_prototype_clear(-861);
  test_map_prototype_clear(-157);
  test_map_prototype_clear(-519);
  test_map_prototype_clear(7.05375646135322e+307);
  test_map_prototype_clear(-117);
  test_map_prototype_clear(7.26448219084215e+307);
  test_map_prototype_clear("NUIIZ1E");
  test_map_prototype_clear(-137);
  test_map_prototype_clear(8.184418163201587e+307);
  test_map_prototype_clear("HDW");
  test_map_prototype_clear(1.8196452368717887e+307);
  test_map_prototype_clear(-921);
  test_map_prototype_clear(-259);
  test_map_prototype_clear("P22TER4524");
  test_map_prototype_clear("DC1J");
  test_map_prototype_clear(8.798832940670164e+307);
  test_map_prototype_clear(1.4698628307181914e+308);
  test_map_prototype_clear(1.4078900676209135e+308);
  test_map_prototype_clear(2.7969692872154066e+307);
  test_map_prototype_clear("3D675A48V");
  test_map_prototype_clear("POU");
  test_map_prototype_clear(-481);
  test_map_prototype_clear(1.7303372313856287e+308);
  test_map_prototype_clear(1.7312948295819878e+308);
  test_map_prototype_clear("DQZHS");
  test_map_prototype_clear(4.249901319353828e+307);
  test_map_prototype_clear(1.1278584980630048e+307);
  test_map_prototype_clear(1.230903025764552e+308);
  test_map_prototype_clear(8.358244414682242e+307);
  test_map_prototype_clear(-441);
  test_map_prototype_clear("K5YJLNGOBR");
  test_map_prototype_clear(9.055484768542846e+307);
  test_map_prototype_clear(-463);
  test_map_prototype_clear(458);
  test_map_prototype_clear("G09T1X4V6");
  test_map_prototype_clear("NNC");
  test_map_prototype_clear("INCCEFJF");
  test_map_prototype_clear(1.9432567331529309e+307);
  test_map_prototype_clear("JV8JDJ6");
  test_map_prototype_clear("MLP");
  test_map_prototype_clear(1.773030623144905e+307);
  test_map_prototype_clear(7.759385967518836e+307);
  test_map_prototype_clear(-27);
  test_map_prototype_clear("RJ2GS1R4G");
  test_map_prototype_clear("Q4UJZDJBI");
  test_map_prototype_clear(7.912300077938438e+307);
  test_map_prototype_clear(6.351767527546598e+307);
  test_map_prototype_clear(1.0148767864720853e+308);
  test_map_prototype_clear(-877);
  test_map_prototype_clear(2.379355900758997e+307);
  test_map_prototype_clear("A7RGL");
  test_map_prototype_clear("0UPTSXM4Z");
  test_map_prototype_clear("9PBWRV");
  test_map_prototype_clear(1.6978907373687841e+308);
  test_map_prototype_clear("0G0BXK");
  test_map_prototype_clear(5.00925235297998e+307);
  test_map_prototype_clear(4.445302981830754e+307);
  test_map_prototype_clear(7.429605838354787e+307);
  test_map_prototype_clear(1.9202496487230472e+307);
  test_map_prototype_clear(-513);
  test_map_prototype_clear("JXXM");
  test_map_prototype_clear(-151);
  test_map_prototype_clear("IOZZ0J7M");
  test_map_prototype_clear(1.5271481465939161e+308);
  test_map_prototype_clear("6FLSA");
  test_map_prototype_clear("JPMS4UKU6N");
  test_map_prototype_clear(-479);
  test_map_prototype_clear("NC03NEI8L");
  test_map_prototype_clear(1.3443470906896366e+308);
  test_map_prototype_clear(-249);
  test_map_prototype_clear(-407);
  test_map_prototype_clear("PR0HK4OIW2");
  test_map_prototype_clear("NK8");
  test_map_prototype_clear(2.8899483431107854e+307);
  test_map_prototype_clear("M6O235N");
  test_map_prototype_clear(1.457226427537022e+307);
  test_map_prototype_clear("OGWYZJXTY");
  test_map_prototype_clear("9HP9T");
  test_map_prototype_clear(4.836192442051e+307);
  test_map_prototype_clear(-329);
  test_map_prototype_clear(1.5247352083931548e+308);
  test_map_prototype_clear(-573);
  test_map_prototype_clear(-895);
  test_map_prototype_clear(3.394810896992589e+307);
  test_map_prototype_clear(1.3994951626521621e+308);
  test_map_prototype_clear(5.318285396336522e+307);
  test_map_prototype_clear(5.133792225408798e+307);
  test_map_prototype_clear("IPS1FB");
  test_map_prototype_clear("LGG0RQ");
  test_map_prototype_clear(2.9735447853550936e+307);
  test_map_prototype_clear(9.515947662633798e+305);
  test_map_prototype_clear(-449);
  test_map_prototype_clear(-609);
  test_map_prototype_clear(1.1917328609831548e+308);
  test_map_prototype_clear(1.2395523541877018e+308);
  test_map_prototype_clear("IJI22WYDMF");
  test_map_prototype_clear(6.195624285584863e+307);
  test_map_prototype_clear(1.0472118687340708e+308);
  test_map_prototype_clear(1.0823785802076698e+308);
  test_map_prototype_clear(-347);
  test_map_prototype_clear("GK43I");
  test_map_prototype_clear(1.4438828002993627e+308);
  test_map_prototype_clear("ZFQVR0KH");
  test_map_prototype_clear(-791);
  test_map_prototype_clear("46GWRCNL2G");
  test_map_prototype_clear(-753);
  test_map_prototype_clear(-257);
  test_map_prototype_clear(1.2258959247359715e+308);
  test_map_prototype_clear("ADP62");
  test_map_prototype_clear(1.6664529262972928e+308);
  test_map_prototype_clear("3FXMW98C9");
  test_map_prototype_clear("R63D");
  test_map_prototype_clear(-297);
  test_map_prototype_clear(1.7240070154597435e+308);
  test_map_prototype_clear(1.1356518589324953e+308);
  test_map_prototype_clear(-567);
  test_map_prototype_clear(-611);
  test_map_prototype_clear(1.1552273358241013e+308);
  test_map_prototype_clear(-645);
  test_map_prototype_clear("ZPRG35U");
  test_map_prototype_clear(1.7598623544104668e+308);
  test_map_prototype_clear("W7M0PPTI");
  test_map_prototype_clear(-217);
  test_map_prototype_clear("B7N");
  test_map_prototype_clear("RG24RQO");
  test_map_prototype_clear("GANN27CW12");
  test_map_prototype_clear(1.1870164805385633e+308);
  test_map_prototype_clear(-663);
  test_map_prototype_clear(712);
  test_map_prototype_clear("4L7K3");
  test_map_prototype_clear(-795);
  test_map_prototype_clear(2.3380896329421545e+307);
  test_map_prototype_clear(-255);
  test_map_prototype_clear(1.646841481784458e+308);
  test_map_prototype_clear(1.1608996946767216e+308);
  test_map_prototype_clear("UCTQ0NII");
  test_map_prototype_clear("RMP3R5");
  test_map_prototype_clear(-781);
  test_map_prototype_clear(7.470955171608069e+307);
  test_map_prototype_clear(1.4541486143596347e+308);
  test_map_prototype_clear("MRXEWL");
  test_map_prototype_clear(-187);
  test_map_prototype_clear(3.112764398777063e+307);
  test_map_prototype_clear("RD1CRE");
  test_map_prototype_clear(-65);
  test_map_prototype_clear(2.4767195068097213e+307);
  test_map_prototype_clear(6.766988947862555e+307);
  test_map_prototype_clear(1.5950730515054329e+308);
  test_map_prototype_clear("NWMG522");
  test_map_prototype_clear("6ML");
  test_map_prototype_clear("2Y0RFZ");
  test_map_prototype_clear(8.850972963955629e+307);
  test_map_prototype_clear(8.598315988075864e+307);
  test_map_prototype_clear("3SA8P");
  test_map_prototype_clear("U16");
  test_map_prototype_clear("EOVIT");
  test_map_prototype_clear("008DN46");
  test_map_prototype_clear(-803);
  test_map_prototype_clear("71V2QP");
  test_map_prototype_clear(-973);
  test_map_prototype_clear(-439);
  test_map_prototype_clear("TAQEDFPJH");
  test_map_prototype_clear("L63");
  test_map_prototype_clear(-745);
  test_map_prototype_clear(-37);
  test_map_prototype_clear(5.034450775193504e+307);
  test_map_prototype_clear(-311);
  test_map_prototype_clear(9.922135872137256e+307);
  test_map_prototype_clear(1.1048042892647133e+308);
  test_map_prototype_clear(5.271838869868172e+307);
  test_map_prototype_clear(1.838711412369079e+306);
  test_map_prototype_clear(1.2087948471713609e+308);
  test_map_prototype_clear(5.316790358634996e+307);
  test_map_prototype_clear("S771C778SK");
  test_map_prototype_clear("CJN35Z");
  test_map_prototype_clear(1.1936362337524066e+308);
  test_map_prototype_clear(1.6868370372562944e+308);
  test_map_prototype_clear(-55);
  test_map_prototype_clear(1.373528548567978e+308);
  test_map_prototype_clear(-275);
  test_map_prototype_clear("KRYRQ1");
  test_map_prototype_clear(1.5758064117777109e+308);
  test_map_prototype_clear("AIYUG5D9A");
  test_map_prototype_clear("JZ4H");
  test_map_prototype_clear(-213);
  test_map_prototype_clear(1.103639065672026e+308);
  test_map_prototype_clear(1.485563400548382e+308);
  test_map_prototype_clear("7DKL");
  test_map_prototype_clear(-855);
  test_map_prototype_clear(-909);
  test_map_prototype_clear(9.639443349392002e+307);
  test_map_prototype_clear("1OZFVV3N83");
  test_map_prototype_clear(-849);
  test_map_prototype_clear(-969);
  test_map_prototype_clear(-747);
  test_map_prototype_clear("G21CR9");
  test_map_prototype_clear(7.329850517831834e+307);
  test_map_prototype_clear("MTTP76K");
  test_map_prototype_clear(1.6151939793306678e+308);
  test_map_prototype_clear(-547);
  test_map_prototype_clear(1.6736111511528574e+308);
  test_map_prototype_clear(1.1825618192703746e+308);
  test_map_prototype_clear("646");
  test_map_prototype_clear(-683);
  test_map_prototype_clear(-291);
  test_map_prototype_clear(1.3903258601912469e+308);
  test_map_prototype_clear(-313);
  test_map_prototype_clear(5.916725192671083e+307);
  test_map_prototype_clear("89BHAJ");
  test_map_prototype_clear(5.384581817445654e+307);
  test_map_prototype_clear(1.607752467322818e+308);
  test_map_prototype_clear(-197);
  test_map_prototype_clear("KCVR2FBY0");
  test_map_prototype_clear("H5C2KM4NCC");
  test_map_prototype_clear(-851);
  test_map_prototype_clear("TXSK6FX");
  test_map_prototype_clear("5A1");
  test_map_prototype_clear("DAVY4S");
  test_map_prototype_clear(-989);
  test_map_prototype_clear(1.1154550938560062e+308);
  test_map_prototype_clear("4VKV");
  test_map_prototype_clear(1.4848324122435619e+308);
  test_map_prototype_clear(5.120529705583411e+307);
  test_map_prototype_clear("TO8Q5J1");
  test_map_prototype_clear(8.223076881122605e+307);
  test_map_prototype_clear("6O3HI2ZJ1");
  test_map_prototype_clear("VO3O");
  test_map_prototype_clear(5.830179809978721e+307);
  test_map_prototype_clear(9.095605643524956e+307);
  test_map_prototype_clear("UIRX");
  test_map_prototype_clear(1.2006083740724122e+308);
  test_map_prototype_clear(5.040769374321062e+307);
  test_map_prototype_clear(1.5917906037479674e+308);
  test_map_prototype_clear(-351);
  test_map_prototype_clear(7.290788276951842e+307);
  test_map_prototype_clear(-925);
  test_map_prototype_clear("W8KMOQW");
  test_map_prototype_clear("Q41CR");
  test_map_prototype_clear(-865);
  test_map_prototype_clear(-657);
  test_map_prototype_clear("PPIZ1YL2");
  test_map_prototype_clear("9124RO01PA");
  test_map_prototype_clear(1.0752870164224547e+308);
  test_map_prototype_clear(3.637618168575073e+307);
  test_map_prototype_clear(1.3216752276745757e+308);
  test_map_prototype_clear("2THL2K2FR");
  test_map_prototype_clear(-537);
  test_map_prototype_clear(4.449116215674401e+307);
  test_map_prototype_clear(5.385133730684828e+307);
  test_map_prototype_clear(1.0477803856904707e+308);
  test_map_prototype_clear(1.1876586370760266e+308);
  test_map_prototype_clear("Y6WQVKC");
  test_map_prototype_clear("TTDTWCO");
  test_map_prototype_clear(-1);
  test_map_prototype_clear(-23);
  test_map_prototype_clear(1.7980379255878114e+307);
  test_map_prototype_clear("E4PY1UV39");
  test_map_prototype_clear(9.828678907443032e+307);
  test_map_prototype_clear("PV7QM43");
  test_map_prototype_clear("1EW5Y9SQ");
  test_map_prototype_clear("4AZ3");
  test_map_prototype_clear(-421);
  test_map_prototype_clear(1.1437822967261167e+308);
  test_map_prototype_clear(8.695244911141332e+307);
  test_map_prototype_clear(7.480504826527225e+307);
  test_map_prototype_clear(-195);
  test_map_prototype_clear(5.825005648354377e+307);
  test_map_prototype_clear(-261);
  test_map_prototype_clear("N46F");
  test_map_prototype_clear("ZB0L3CG79O");
  test_map_prototype_clear(5.502660565643952e+307);
  test_map_prototype_clear(6.792294187117807e+307);
  test_map_prototype_clear("0JPE");
  test_map_prototype_clear(-701);
  test_map_prototype_clear(-805);
  test_map_prototype_clear("EPU5KY6V");
  test_map_prototype_clear(-471);
  test_map_prototype_clear("HBZE4GDXF");
  test_map_prototype_clear(-627);
  test_map_prototype_clear("8J1BMG5F2");
  test_map_prototype_clear("Y6YM43");
  test_map_prototype_clear(1.2994620277133687e+308);
  test_map_prototype_clear(1.5961617049299098e+308);
  test_map_prototype_clear(-409);
  test_map_prototype_clear("Q10E7");
  test_map_prototype_clear(1.3030120194462644e+307);
  test_map_prototype_clear(9.562555173901806e+307);
  test_map_prototype_clear(-227);
  test_map_prototype_clear(2.2699613078322637e+307);
  test_map_prototype_clear(-521);
  test_map_prototype_clear(-279);
  test_map_prototype_clear("MQQ7WK");
  test_map_prototype_clear(1.760464905244784e+308);
  test_map_prototype_clear(8.804225732890392e+307);
  test_map_prototype_clear(7.859162803475356e+307);
  test_map_prototype_clear("NN1");
  test_map_prototype_clear("8Q7JNYHZ9");
  test_map_prototype_clear(1.4580063904413605e+307);
  test_map_prototype_clear("VS2");
  test_map_prototype_clear("GUJ");
  test_map_prototype_clear("1IL550");
  test_map_prototype_clear(1.7396784244897818e+308);
  test_map_prototype_clear(-741);
  test_map_prototype_clear(-319);
  test_map_prototype_clear("D8FF");
  test_map_prototype_clear("UH1G");
  test_map_prototype_clear(1.1131860497542652e+308);
  test_map_prototype_clear("5763W");
  test_map_prototype_clear(1.4162931306327199e+308);
  test_map_prototype_clear(-551);
  test_map_prototype_clear("M5L7AVL5");
  test_map_prototype_clear(1.7673347866072412e+308);
  test_map_prototype_clear("8Y13FQAM");
  test_map_prototype_clear(-113);
  test_map_prototype_clear(1.7839378462477156e+308);
  test_map_prototype_clear(8.665745739857445e+307);
  test_map_prototype_clear("KBR9C1CTGB");
  test_map_prototype_clear(9.43689284117862e+307);
  test_map_prototype_clear(-251);
  test_map_prototype_clear(9.135635923928912e+307);
  test_map_prototype_clear("Z8TE69");
  test_map_prototype_clear("JC12D");
  test_map_prototype_clear(8.028387951148037e+307);
  test_map_prototype_clear("AG2");
  test_map_prototype_clear("6BJ6KXR5");
  test_map_prototype_clear(9.054391474820743e+307);
  test_map_prototype_clear("KYBZC00");
  test_map_prototype_clear(-461);
  test_map_prototype_clear(8.056151255459692e+307);
  test_map_prototype_clear(-713);
  test_map_prototype_clear("22USKIO6ZV");
  test_map_prototype_clear(-911);
  test_map_prototype_clear("V2KGRI");
  test_map_prototype_clear("BWN8A");
  test_map_prototype_clear(-997);
  test_map_prototype_clear("D7C4KS55KT");
  test_map_prototype_clear(-165);
  test_map_prototype_clear("9P9R4");
  test_map_prototype_clear("HDEBQL");
  test_map_prototype_clear(-821);
  test_map_prototype_clear(-769);
  test_map_prototype_clear("VINQ");
  test_map_prototype_clear(-43);
  test_map_prototype_clear(5.132370958206588e+307);
  test_map_prototype_clear(-705);
  test_map_prototype_clear(6.352939880369333e+307);
  test_map_prototype_clear("FW24CYC");
  test_map_prototype_clear(1.2077224778010271e+308);
  test_map_prototype_clear("TP4KCXZKSZ");
  test_map_prototype_clear("KNL2BM2J");
  test_map_prototype_clear(1.784918306944375e+308);
  test_map_prototype_clear(1.4426566317594636e+308);
  test_map_prototype_clear("GIDUF7A5");
  test_map_prototype_clear(1.5993710612087338e+308);
  test_map_prototype_clear(1.5066996490079655e+308);
  test_map_prototype_clear(-857);
  test_map_prototype_clear(4.699777247258774e+307);
  test_map_prototype_clear("TCMXFFSVS");
  test_map_prototype_clear("S5I4DBTV");
  test_map_prototype_clear(9.122495569782122e+307);
  test_map_prototype_clear("DVBPO");
  test_map_prototype_clear("2OS6G7J3");
  test_map_prototype_clear(-91);
  test_map_prototype_clear(-583);
  test_map_prototype_clear("QELZ02HU");
  test_map_prototype_clear(1.442293307297025e+308);
  test_map_prototype_clear("WA00CU");
  test_map_prototype_clear(7.819747619003079e+307);
  test_map_prototype_clear(1.4445488934664655e+308);
  test_map_prototype_clear(7.822896798070075e+307);
  test_map_prototype_clear("0PVZ3952N5");
  test_map_prototype_clear(4.790271719516754e+307);
  test_map_prototype_clear(5.633348169807137e+307);
  test_map_prototype_clear(-695);
  test_map_prototype_clear("80XSA");
  test_map_prototype_clear(2.773690725493782e+307);
  test_map_prototype_clear("6MX4N2INDR");
  test_map_prototype_clear(1.517431933762632e+308);
  test_map_prototype_clear(4.701321720936544e+307);
  test_map_prototype_clear("4AXJ51H");
  test_map_prototype_clear(-321);
  test_map_prototype_clear("2NN0XUZ");
  test_map_prototype_clear(-473);
  test_map_prototype_clear("60G8");
  test_map_prototype_clear(-493);
  test_map_prototype_clear("7UKSGV");
  test_map_prototype_clear("MHCJ");
  test_map_prototype_clear("VT0R");
  test_map_prototype_clear("4T7");
  test_map_prototype_clear(-423);
  test_map_prototype_clear("WWL");
  test_map_prototype_clear(8.454953867545663e+307);
  test_map_prototype_clear(6.055676128710906e+307);
  test_map_prototype_clear(-867);
  test_map_prototype_clear(1.8260966413027428e+307);
  test_map_prototype_clear(-35);
  test_map_prototype_clear(8.865874177151775e+307);
  test_map_prototype_clear(1.1416286389756621e+308);
  test_map_prototype_clear("NCREB");
  test_map_prototype_clear("3DU7P");
  test_map_prototype_clear("32CVT2Q2E7");
  test_map_prototype_clear(-459);
  test_map_prototype_clear(1.5588634927034876e+308);
  test_map_prototype_clear(2.844910026395665e+307);
  test_map_prototype_clear(-301);
  test_map_prototype_clear(1.3779944732832024e+308);
  test_map_prototype_clear("VLCG6");
  test_map_prototype_clear(8.069803728660585e+307);
  test_map_prototype_clear("7VETMB5DNB");
  test_map_prototype_clear(1.0389519672161242e+307);
  test_map_prototype_clear("R4327HVD");
  test_map_prototype_clear(2.1691451145346253e+307);
  test_map_prototype_clear(-469);
  test_map_prototype_clear("BCR8");
  test_map_prototype_clear("QHX");
  test_map_prototype_clear(-617);
  test_map_prototype_clear(-205);
  test_map_prototype_clear(1.0657764651328172e+308);
  test_map_prototype_clear(-959);
  test_map_prototype_clear(-453);
  test_map_prototype_clear(3.3792400906018923e+307);
  test_map_prototype_clear(7.33457613504272e+306);
  test_map_prototype_clear(-995);
  test_map_prototype_clear("WCS9ZZLON4");
  test_map_prototype_clear(-267);
  test_map_prototype_clear("R7PXROJG");
  test_map_prototype_clear(1.605137130710822e+308);
  test_map_prototype_clear("O7Y");
  test_map_prototype_clear("BH82WQ11T");
  test_map_prototype_clear(6.28936957110749e+307);
  test_map_prototype_clear(1.0038218190966572e+308);
  test_map_prototype_clear("CYKLC2");
  test_map_prototype_clear("0B3EQBE");
  test_map_prototype_clear(-811);
  test_map_prototype_clear(1.5246950391691924e+308);
  test_map_prototype_clear("H39V7EZUV");
  test_map_prototype_clear(8.560995854545384e+306);
  test_map_prototype_clear("JF7O1SP4KO");
  test_map_prototype_clear(1.4030059055256869e+306);
  test_map_prototype_clear(-21);
  test_map_prototype_clear(510);
  test_map_prototype_clear("9BK6UT");
  test_map_prototype_clear("MGCTQ");
  test_map_prototype_clear("NGM9H2M65U");
  test_map_prototype_clear("B74ERS");
  test_map_prototype_clear("2KW4W");
  test_map_prototype_clear(8.819485374693271e+307);
  test_map_prototype_clear("3LTLJ");
  test_map_prototype_clear(7.183130430558501e+307);
  test_map_prototype_clear("BWEJCWSJ");
  test_map_prototype_clear(1.739202955248092e+307);
  test_map_prototype_clear(7.432340400346223e+307);
  test_map_prototype_clear("98ZEHUHYP");
  test_map_prototype_clear(6.434380459348225e+307);
  test_map_prototype_clear("FMW");
  test_map_prototype_clear("NDCCDU9J");
  test_map_prototype_clear(1.5598848606087596e+308);
  test_map_prototype_clear(1.2345912800741542e+308);
  test_map_prototype_clear(1.014504019002053e+308);
  test_map_prototype_clear(-189);
  test_map_prototype_clear(1.1071649800876516e+307);
  test_map_prototype_clear(1.4279955797739877e+308);
  test_map_prototype_clear(-341);
  test_map_prototype_clear(-697);
  test_map_prototype_clear(1.6675712527017992e+308);
  test_map_prototype_clear("PA92");
  test_map_prototype_clear(1.3321415327756769e+308);
  test_map_prototype_clear(7.284016997477066e+307);
  test_map_prototype_clear(1.4234243854139759e+308);
  test_map_prototype_clear("O1JFU");
  test_map_prototype_clear(7.98002377125256e+307);
  test_map_prototype_clear("FZUTTNZ");
  test_map_prototype_clear(1.23964829485565e+307);
  test_map_prototype_clear("JGBTWD1M0V");
  test_map_prototype_clear("8355WHI5");
  test_map_prototype_clear(1.286813476284575e+308);
  test_map_prototype_clear("XG5O1T");
  test_map_prototype_clear(2.1303964130181418e+307);
  test_map_prototype_clear(9.07881254756454e+307);
  test_map_prototype_clear(-735);
  test_map_prototype_clear("7KB4F0");
  test_map_prototype_clear(3.34725951786048e+307);
  test_map_prototype_clear("L9BRU");
  test_map_prototype_clear("8UPJWIE1FI");
  test_map_prototype_clear("0CIXJWOC");
  test_map_prototype_clear(-271);
  test_map_prototype_clear(4.830756126949475e+307);
  test_map_prototype_clear("MS9TNMU8");
  test_map_prototype_clear(-299);
  test_map_prototype_clear("ORC7");
  test_map_prototype_clear("LCB7XVU2F");
  test_map_prototype_clear(-359);
  test_map_prototype_clear(2.2251103260609793e+307);
  test_map_prototype_clear(-881);
  test_map_prototype_clear(-953);
  test_map_prototype_clear("OAK5ZFJ");
  test_map_prototype_clear("EURLHIWN");
  test_map_prototype_clear("L7O");
  test_map_prototype_clear(-455);
  test_map_prototype_clear(1.29274379331783e+308);
  test_map_prototype_clear(1.3443205409713943e+308);
  test_map_prototype_clear(1.055047792267293e+308);
  test_map_prototype_clear(6.949040455303808e+306);
  test_map_prototype_clear(2.1675449894629484e+307);
  test_map_prototype_clear(9.371750261700546e+307);
  test_map_prototype_clear(1.0767736802460663e+308);
  test_map_prototype_clear(9.42344622179352e+307);
  test_map_prototype_clear(1.425793280654914e+308);
  test_map_prototype_clear(320);
  test_map_prototype_clear("F31DXB");
  test_map_prototype_clear("89Z6YBG2LB");
  test_map_prototype_clear(-893);
  test_map_prototype_clear("RR0F");
  test_map_prototype_clear(-571);
  test_map_prototype_clear(-457);
  test_map_prototype_clear(1.0055802371116031e+308);
  test_map_prototype_clear("3WY8");
  test_map_prototype_clear(5.354708006718543e+307);
  test_map_prototype_clear(-935);
  test_map_prototype_clear("KIYR");
  test_map_prototype_clear(-555);
  test_map_prototype_clear(-731);
  test_map_prototype_clear(-121);
  test_map_prototype_clear(6.41898154421832e+307);
  test_map_prototype_clear(8.464610146221831e+307);
  test_map_prototype_clear(4.2551972133840243e+307);
  test_map_prototype_clear(944);
  test_map_prototype_clear(1.7648585669492503e+308);
  test_map_prototype_clear(1.0453778793518984e+308);
  test_map_prototype_clear(1.2824132668338951e+308);
  test_map_prototype_clear(-563);
  test_map_prototype_clear(9.84927749992476e+307);
  test_map_prototype_clear(1.7171025814289335e+308);
  test_map_prototype_clear("ECHBT");
  test_map_prototype_clear("DWDP84S3U");
  test_map_prototype_clear("V6HKU5850T");
  test_map_prototype_clear("033DM2W");
  test_map_prototype_clear("LTRIHL9");
  test_map_prototype_clear(1.2172884826532815e+308);
  test_map_prototype_clear(1.368304106667096e+308);
  test_map_prototype_clear("ISG");
  test_map_prototype_clear(-765);
  test_map_prototype_clear(3.9035124698775993e+307);
  test_map_prototype_clear("ENFTBMG48");
  test_map_prototype_clear(-207);
  test_map_prototype_clear(-81);
  test_map_prototype_clear(-529);
  test_map_prototype_clear("5UOU0");
  test_map_prototype_clear(1.1066672937095118e+308);
  test_map_prototype_clear(1.1047263778754292e+308);
  test_map_prototype_clear(1.357822618003183e+308);
  test_map_prototype_clear(-215);
  test_map_prototype_clear("IDW5H80OT");
  test_map_prototype_clear("X57D4M");
  test_map_prototype_clear(1.1726886468813926e+308);
  test_map_prototype_clear("VC01GOQ2A");
  test_map_prototype_clear("VMJTEV");
  test_map_prototype_clear("CLV2");
  test_map_prototype_clear(-185);
  test_map_prototype_clear(-403);
  test_map_prototype_clear(8.044649058539714e+307);
  test_map_prototype_clear("97SXW5H");
  test_map_prototype_clear(-193);
  test_map_prototype_clear("WQNIZWB");
  test_map_prototype_clear(1.1515734648217614e+308);
  test_map_prototype_clear("24G2");
  test_map_prototype_clear(1.6502036335161738e+308);
  test_map_prototype_clear(-917);
  test_map_prototype_clear(2.47567864901624e+307);
  test_map_prototype_clear(9.483315089901986e+307);
  test_map_prototype_clear("A6K2IMYB");
  test_map_prototype_clear("W2PU");
  test_map_prototype_clear(-599);
  test_map_prototype_clear(3.6124743059808274e+307);
  test_map_prototype_clear(772);
  test_map_prototype_clear(-231);
  test_map_prototype_clear("MEMPBC1");
  test_map_prototype_clear(1.2964816102535898e+308);
  test_map_prototype_clear("ZSGZL76RRN");
  test_map_prototype_clear(1.3425462795253032e+308);
  test_map_prototype_clear(2.28634469671823e+307);
  test_map_prototype_clear(1.316099711424351e+308);
  test_map_prototype_clear(-45);
  test_map_prototype_clear("BTNKP");
  test_map_prototype_clear("92CZ5");
  test_map_prototype_clear("WNXUV4");
  test_map_prototype_clear("S7JBLFFBD2");
  test_map_prototype_clear(1.2109275048835361e+308);
  test_map_prototype_clear(1.110083304548643e+308);
  test_map_prototype_clear("5N523E8TS");
  test_map_prototype_clear("O1DPJYV");
  test_map_prototype_clear(-397);
  test_map_prototype_clear("DPK64V");
  test_map_prototype_clear(1.2571149828109492e+308);
  test_map_prototype_clear("P8CJG1");
  test_map_prototype_clear(6.810984248368905e+307);
  test_map_prototype_clear(1.2062879529448521e+308);
  test_map_prototype_clear(1.4412172327515756e+308);
  test_map_prototype_clear(830);
  test_map_prototype_clear(1.6831306396421309e+308);
  test_map_prototype_clear(-703);
  test_map_prototype_clear(1.7098127967682125e+307);
  test_map_prototype_clear(1.5714954044435792e+308);
  test_map_prototype_clear("7APV3VI96");
  test_map_prototype_clear(6.398198502411035e+307);
  test_map_prototype_clear(4.1841381107285935e+307);
  test_map_prototype_clear("B89KHM0");
  test_map_prototype_clear("IVR7HHQ");
  test_map_prototype_clear(1.5443532339051628e+308);
  test_map_prototype_clear(8.330427992996396e+307);
  test_map_prototype_clear(8.563437322007227e+307);
  test_map_prototype_clear(1.1478643413923178e+308);
  test_map_prototype_clear(904);
  test_map_prototype_clear("139572IA");
  test_map_prototype_clear(1.0497337600104513e+308);
  test_map_prototype_clear(7.408860847915785e+307);
  test_map_prototype_clear(1.700291716947975e+307);
  test_map_prototype_clear(9.53038322607997e+307);
  test_map_prototype_clear("TZOP");
  test_map_prototype_clear("5FO72C75");
  test_map_prototype_clear(3.4965569291928454e+307);
  test_map_prototype_clear(1.5137366812175927e+308);
  test_map_prototype_clear(-489);
  test_map_prototype_clear("F83Z");
  test_map_prototype_clear(-239);
  test_map_prototype_clear("2CXYAB84");
  test_map_prototype_clear("LCP3J");
  test_map_prototype_clear(4.613454263049826e+307);
  test_map_prototype_clear(1.243639518028285e+308);
  test_map_prototype_clear(-7);
  test_map_prototype_clear(1.109139108898368e+308);
  test_map_prototype_clear("AYE8WWGNT8");
  test_map_prototype_clear("WS0HRTD");
  test_map_prototype_clear(-971);
  