Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/js/src/tests/non262/statements/   (Browser von der Mozilla Stiftung Version 136.0.1©)  Datei vom 10.2.2025 mit Größe 95 kB image not shown  

Impressum regress-324650.js   Interaktion und
PortierbarkeitJAVA

 
/* -*- indent-tabs-mode: nil; js-indent-level: 2 -*- */
/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */


//-----------------------------------------------------------------------------
var BUGNUMBER = 324650;
var summary = 'Switch Statement with many cases';
var actual = 'No Hang';
var expect = 'No Hang';

printBugNumber(BUGNUMBER);
printStatus (summary);

var notevil = "z1";
var notevil2 = "z2";
var notevil3 = "z3";
var dut = 7;
var dut2 = 7;
var dut3 = 7;

/* shouldn't be evil */

switch ( notevil ) {
case "z1": dut = 2;
  break;
case "z2":
  notevil = (notevil + 2)/2;
  break;
case "z3":
  notevil = (notevil + 3)/2;
  break;
case "z4":
  notevil = (notevil + 4)/2;
  break;
case "z5":
  notevil = (notevil + 5)/2;
  break;
case "z6":
  notevil = (notevil + 6)/2;
  break;
case "z7":
  notevil = (notevil + 7)/2;
  break;
case "z8":
  notevil = (notevil + 8)/2;
  break;
case "z9":
  notevil = (notevil + 9)/2;
  break;
case "z10":
  notevil = (notevil + 10)/2;
  break;
case "z11":
  notevil = (notevil + 11)/2;
  break;
case "z12":
  notevil = (notevil + 12)/2;
  break;
case "z13":
  notevil = (notevil + 13)/2;
  break;
case "z14":
  notevil = (notevil + 14)/2;
  break;
case "z15":
  notevil = (notevil + 15)/2;
  break;
case "z16":
  notevil = (notevil + 16)/2;
  break;
case "z17":
  notevil = (notevil + 17)/2;
  break;
case "z18":
  notevil = (notevil + 18)/2;
  break;
case "z19":
  notevil = (notevil + 19)/2;
  break;
case "z20":
  notevil = (notevil + 20)/2;
  break;
case "z21":
  notevil = (notevil + 21)/2;
  break;
case "z22":
  notevil = (notevil + 22)/2;
  break;
case "z23":
  notevil = (notevil + 23)/2;
  break;
case "z24":
  notevil = (notevil + 24)/2;
  break;
case "z25":
  notevil = (notevil + 25)/2;
  break;
case "z26":
  notevil = (notevil + 26)/2;
  break;
case "z27":
  notevil = (notevil + 27)/2;
  break;
case "z28":
  notevil = (notevil + 28)/2;
  break;
case "z29":
  notevil = (notevil + 29)/2;
  break;
case "z30":
  notevil = (notevil + 30)/2;
  break;
case "z31":
  notevil = (notevil + 31)/2;
  break;
case "z32":
  notevil = (notevil + 32)/2;
  break;
case "z33":
  notevil = (notevil + 33)/2;
  break;
case "z34":
  notevil = (notevil + 34)/2;
  break;
case "z35":
  notevil = (notevil + 35)/2;
  break;
case "z36":
  notevil = (notevil + 36)/2;
  break;
case "z37":
  notevil = (notevil + 37)/2;
  break;
case "z38":
  notevil = (notevil + 38)/2;
  break;
case "z39":
  notevil = (notevil + 39)/2;
  break;
case "z40":
  notevil = (notevil + 40)/2;
  break;
case "z41":
  notevil = (notevil + 41)/2;
  break;
case "z42":
  notevil = (notevil + 42)/2;
  break;
case "z43":
  notevil = (notevil + 43)/2;
  break;
case "z44":
  notevil = (notevil + 44)/2;
  break;
case "z45":
  notevil = (notevil + 45)/2;
  break;
case "z46":
  notevil = (notevil + 46)/2;
  break;
case "z47":
  notevil = (notevil + 47)/2;
  break;
case "z48":
  notevil = (notevil + 48)/2;
  break;
case "z49":
  notevil = (notevil + 49)/2;
  break;
case "z50":
  notevil = (notevil + 50)/2;
  break;
case "z51":
  notevil = (notevil + 51)/2;
  break;
case "z52":
  notevil = (notevil + 52)/2;
  break;
case "z53":
  notevil = (notevil + 53)/2;
  break;
case "z54":
  notevil = (notevil + 54)/2;
  break;
case "z55":
  notevil = (notevil + 55)/2;
  break;
case "z56":
  notevil = (notevil + 56)/2;
  break;
case "z57":
  notevil = (notevil + 57)/2;
  break;
case "z58":
  notevil = (notevil + 58)/2;
  break;
case "z59":
  notevil = (notevil + 59)/2;
  break;
case "z60":
  notevil = (notevil + 60)/2;
  break;
case "z61":
  notevil = (notevil + 61)/2;
  break;
case "z62":
  notevil = (notevil + 62)/2;
  break;
case "z63":
  notevil = (notevil + 63)/2;
  break;
case "z64":
  notevil = (notevil + 64)/2;
  break;
case "z65":
  notevil = (notevil + 65)/2;
  break;
case "z66":
  notevil = (notevil + 66)/2;
  break;
case "z67":
  notevil = (notevil + 67)/2;
  break;
case "z68":
  notevil = (notevil + 68)/2;
  break;
case "z69":
  notevil = (notevil + 69)/2;
  break;
case "z70":
  notevil = (notevil + 70)/2;
  break;
case "z71":
  notevil = (notevil + 71)/2;
  break;
case "z72":
  notevil = (notevil + 72)/2;
  break;
case "z73":
  notevil = (notevil + 73)/2;
  break;
case "z74":
  notevil = (notevil + 74)/2;
  break;
case "z75":
  notevil = (notevil + 75)/2;
  break;
case "z76":
  notevil = (notevil + 76)/2;
  break;
case "z77":
  notevil = (notevil + 77)/2;
  break;
case "z78":
  notevil = (notevil + 78)/2;
  break;
case "z79":
  notevil = (notevil + 79)/2;
  break;
case "z80":
  notevil = (notevil + 80)/2;
  break;
case "z81":
  notevil = (notevil + 81)/2;
  break;
case "z82":
  notevil = (notevil + 82)/2;
  break;
case "z83":
  notevil = (notevil + 83)/2;
  break;
case "z84":
  notevil = (notevil + 84)/2;
  break;
case "z85":
  notevil = (notevil + 85)/2;
  break;
case "z86":
  notevil = (notevil + 86)/2;
  break;
case "z87":
  notevil = (notevil + 87)/2;
  break;
case "z88":
  notevil = (notevil + 88)/2;
  break;
case "z89":
  notevil = (notevil + 89)/2;
  break;
case "z90":
  notevil = (notevil + 90)/2;
  break;
case "z91":
  notevil = (notevil + 91)/2;
  break;
case "z92":
  notevil = (notevil + 92)/2;
  break;
case "z93":
  notevil = (notevil + 93)/2;
  break;
case "z94":
  notevil = (notevil + 94)/2;
  break;
case "z95":
  notevil = (notevil + 95)/2;
  break;
case "z96":
  notevil = (notevil + 96)/2;
  break;
case "z97":
  notevil = (notevil + 97)/2;
  break;
case "z98":
  notevil = (notevil + 98)/2;
  break;
case "z99":
  notevil = (notevil + 99)/2;
  break;
case "z100":
  notevil = (notevil + 100)/2;
  break;
case "z101":
  notevil = (notevil + 101)/2;
  break;
case "z102":
  notevil = (notevil + 102)/2;
  break;
case "z103":
  notevil = (notevil + 103)/2;
  break;
case "z104":
  notevil = (notevil + 104)/2;
  break;
case "z105":
  notevil = (notevil + 105)/2;
  break;
case "z106":
  notevil = (notevil + 106)/2;
  break;
case "z107":
  notevil = (notevil + 107)/2;
  break;
case "z108":
  notevil = (notevil + 108)/2;
  break;
case "z109":
  notevil = (notevil + 109)/2;
  break;
case "z110":
  notevil = (notevil + 110)/2;
  break;
case "z111":
  notevil = (notevil + 111)/2;
  break;
case "z112":
  notevil = (notevil + 112)/2;
  break;
case "z113":
  notevil = (notevil + 113)/2;
  break;
case "z114":
  notevil = (notevil + 114)/2;
  break;
case "z115":
  notevil = (notevil + 115)/2;
  break;
case "z116":
  notevil = (notevil + 116)/2;
  break;
case "z117":
  notevil = (notevil + 117)/2;
  break;
case "z118":
  notevil = (notevil + 118)/2;
  break;
case "z119":
  notevil = (notevil + 119)/2;
  break;
case "z120":
  notevil = (notevil + 120)/2;
  break;
case "z121":
  notevil = (notevil + 121)/2;
  break;
case "z122":
  notevil = (notevil + 122)/2;
  break;
case "z123":
  notevil = (notevil + 123)/2;
  break;
case "z124":
  notevil = (notevil + 124)/2;
  break;
case "z125":
  notevil = (notevil + 125)/2;
  break;
case "z126":
  notevil = (notevil + 126)/2;
  break;
case "z127":
  notevil = (notevil + 127)/2;
  break;
case "z128":
  notevil = (notevil + 128)/2;
  break;
case "z129":
  notevil = (notevil + 129)/2;
  break;
case "z130":
  notevil = (notevil + 130)/2;
  break;
case "z131":
  notevil = (notevil + 131)/2;
  break;
case "z132":
  notevil = (notevil + 132)/2;
  break;
case "z133":
  notevil = (notevil + 133)/2;
  break;
case "z134":
  notevil = (notevil + 134)/2;
  break;
case "z135":
  notevil = (notevil + 135)/2;
  break;
case "z136":
  notevil = (notevil + 136)/2;
  break;
case "z137":
  notevil = (notevil + 137)/2;
  break;
case "z138":
  notevil = (notevil + 138)/2;
  break;
case "z139":
  notevil = (notevil + 139)/2;
  break;
case "z140":
  notevil = (notevil + 140)/2;
  break;
case "z141":
  notevil = (notevil + 141)/2;
  break;
case "z142":
  notevil = (notevil + 142)/2;
  break;
case "z143":
  notevil = (notevil + 143)/2;
  break;
case "z144":
  notevil = (notevil + 144)/2;
  break;
case "z145":
  notevil = (notevil + 145)/2;
  break;
case "z146":
  notevil = (notevil + 146)/2;
  break;
case "z147":
  notevil = (notevil + 147)/2;
  break;
case "z148":
  notevil = (notevil + 148)/2;
  break;
case "z149":
  notevil = (notevil + 149)/2;
  break;
case "z150":
  notevil = (notevil + 150)/2;
  break;
case "z151":
  notevil = (notevil + 151)/2;
  break;
case "z152":
  notevil = (notevil + 152)/2;
  break;
case "z153":
  notevil = (notevil + 153)/2;
  break;
case "z154":
  notevil = (notevil + 154)/2;
  break;
case "z155":
  notevil = (notevil + 155)/2;
  break;
case "z156":
  notevil = (notevil + 156)/2;
  break;
case "z157":
  notevil = (notevil + 157)/2;
  break;
case "z158":
  notevil = (notevil + 158)/2;
  break;
case "z159":
  notevil = (notevil + 159)/2;
  break;
case "z160":
  notevil = (notevil + 160)/2;
  break;
case "z161":
  notevil = (notevil + 161)/2;
  break;
case "z162":
  notevil = (notevil + 162)/2;
  break;
case "z163":
  notevil = (notevil + 163)/2;
  break;
case "z164":
  notevil = (notevil + 164)/2;
  break;
case "z165":
  notevil = (notevil + 165)/2;
  break;
case "z166":
  notevil = (notevil + 166)/2;
  break;
case "z167":
  notevil = (notevil + 167)/2;
  break;
case "z168":
  notevil = (notevil + 168)/2;
  break;
case "z169":
  notevil = (notevil + 169)/2;
  break;
case "z170":
  notevil = (notevil + 170)/2;
  break;
case "z171":
  notevil = (notevil + 171)/2;
  break;
case "z172":
  notevil = (notevil + 172)/2;
  break;
case "z173":
  notevil = (notevil + 173)/2;
  break;
case "z174":
  notevil = (notevil + 174)/2;
  break;
case "z175":
  notevil = (notevil + 175)/2;
  break;
case "z176":
  notevil = (notevil + 176)/2;
  break;
case "z177":
  notevil = (notevil + 177)/2;
  break;
case "z178":
  notevil = (notevil + 178)/2;
  break;
case "z179":
  notevil = (notevil + 179)/2;
  break;
case "z180":
  notevil = (notevil + 180)/2;
  break;
case "z181":
  notevil = (notevil + 181)/2;
  break;
case "z182":
  notevil = (notevil + 182)/2;
  break;
case "z183":
  notevil = (notevil + 183)/2;
  break;
case "z184":
  notevil = (notevil + 184)/2;
  break;
case "z185":
  notevil = (notevil + 185)/2;
  break;
case "z186":
  notevil = (notevil + 186)/2;
  break;
case "z187":
  notevil = (notevil + 187)/2;
  break;
case "z188":
  notevil = (notevil + 188)/2;
  break;
case "z189":
  notevil = (notevil + 189)/2;
  break;
case "z190":
  notevil = (notevil + 190)/2;
  break;
case "z191":
  notevil = (notevil + 191)/2;
  break;
case "z192":
  notevil = (notevil + 192)/2;
  break;
case "z193":
  notevil = (notevil + 193)/2;
  break;
case "z194":
  notevil = (notevil + 194)/2;
  break;
case "z195":
  notevil = (notevil + 195)/2;
  break;
case "z196":
  notevil = (notevil + 196)/2;
  break;
case "z197":
  notevil = (notevil + 197)/2;
  break;
case "z198":
  notevil = (notevil + 198)/2;
  break;
case "z199":
  notevil = (notevil + 199)/2;
  break;
case "z200":
  notevil = (notevil + 200)/2;
  break;
case "z201":
  notevil = (notevil + 201)/2;
  break;
case "z202":
  notevil = (notevil + 202)/2;
  break;
case "z203":
  notevil = (notevil + 203)/2;
  break;
case "z204":
  notevil = (notevil + 204)/2;
  break;
case "z205":
  notevil = (notevil + 205)/2;
  break;
case "z206":
  notevil = (notevil + 206)/2;
  break;
case "z207":
  notevil = (notevil + 207)/2;
  break;
case "z208":
  notevil = (notevil + 208)/2;
  break;
case "z209":
  notevil = (notevil + 209)/2;
  break;
case "z210":
  notevil = (notevil + 210)/2;
  break;
case "z211":
  notevil = (notevil + 211)/2;
  break;
case "z212":
  notevil = (notevil + 212)/2;
  break;
case "z213":
  notevil = (notevil + 213)/2;
  break;
case "z214":
  notevil = (notevil + 214)/2;
  break;
case "z215":
  notevil = (notevil + 215)/2;
  break;
case "z216":
  notevil = (notevil + 216)/2;
  break;
case "z217":
  notevil = (notevil + 217)/2;
  break;
case "z218":
  notevil = (notevil + 218)/2;
  break;
case "z219":
  notevil = (notevil + 219)/2;
  break;
case "z220":
  notevil = (notevil + 220)/2;
  break;
case "z221":
  notevil = (notevil + 221)/2;
  break;
case "z222":
  notevil = (notevil + 222)/2;
  break;
case "z223":
  notevil = (notevil + 223)/2;
  break;
case "z224":
  notevil = (notevil + 224)/2;
  break;
case "z225":
  notevil = (notevil + 225)/2;
  break;
case "z226":
  notevil = (notevil + 226)/2;
  break;
case "z227":
  notevil = (notevil + 227)/2;
  break;
case "z228":
  notevil = (notevil + 228)/2;
  break;
case "z229":
  notevil = (notevil + 229)/2;
  break;
case "z230":
  notevil = (notevil + 230)/2;
  break;
case "z231":
  notevil = (notevil + 231)/2;
  break;
case "z232":
  notevil = (notevil + 232)/2;
  break;
case "z233":
  notevil = (notevil + 233)/2;
  break;
case "z234":
  notevil = (notevil + 234)/2;
  break;
case "z235":
  notevil = (notevil + 235)/2;
  break;
case "z236":
  notevil = (notevil + 236)/2;
  break;
case "z237":
  notevil = (notevil + 237)/2;
  break;
case "z238":
  notevil = (notevil + 238)/2;
  break;
case "z239":
  notevil = (notevil + 239)/2;
  break;
case "z240":
  notevil = (notevil + 240)/2;
  break;
case "z241":
  notevil = (notevil + 241)/2;
  break;
case "z242":
  notevil = (notevil + 242)/2;
  break;
case "z243":
  notevil = (notevil + 243)/2;
  break;
case "z244":
  notevil = (notevil + 244)/2;
  break;
case "z245":
  notevil = (notevil + 245)/2;
  break;
case "z246":
  notevil = (notevil + 246)/2;
  break;
case "z247":
  notevil = (notevil + 247)/2;
  break;
case "z248":
  notevil = (notevil + 248)/2;
  break;
case "z249":
  notevil = (notevil + 249)/2;
  break;
case "z250":
  notevil = (notevil + 250)/2;
  break;
case "z251":
  notevil = (notevil + 251)/2;
  break;
case "z252":
  notevil = (notevil + 252)/2;
  break;
case "z253":
  notevil = (notevil + 253)/2;
  break;
case "z254":
  notevil = (notevil + 254)/2;
  break;
case "z255":
  notevil = (notevil + 255)/2;
  break;
case "z256":
  notevil = (notevil + 256)/2;
  break;
case "z257":
  notevil = (notevil + 257)/2;
  break;
case "z258":
  notevil = (notevil + 258)/2;
  break;
case "z259":
  notevil = (notevil + 259)/2;
  break;
case "z260":
  notevil = (notevil + 260)/2;
  break;
case "z261":
  notevil = (notevil + 261)/2;
  break;
case "z262":
  notevil = (notevil + 262)/2;
  break;
case "z263":
  notevil = (notevil + 263)/2;
  break;
case "z264":
  notevil = (notevil + 264)/2;
  break;
case "z265":
  notevil = (notevil + 265)/2;
  break;
case "z266":
  notevil = (notevil + 266)/2;
  break;
case "z267":
  notevil = (notevil + 267)/2;
  break;
case "z268":
  notevil = (notevil + 268)/2;
  break;
case "z269":
  notevil = (notevil + 269)/2;
  break;
case "z270":
  notevil = (notevil + 270)/2;
  break;
case "z271":
  notevil = (notevil + 271)/2;
  break;
case "z272":
  notevil = (notevil + 272)/2;
  break;
case "z273":
  notevil = (notevil + 273)/2;
  break;
case "z274":
  notevil = (notevil + 274)/2;
  break;
case "z275":
  notevil = (notevil + 275)/2;
  break;
case "z276":
  notevil = (notevil + 276)/2;
  break;
case "z277":
  notevil = (notevil + 277)/2;
  break;
case "z278":
  notevil = (notevil + 278)/2;
  break;
case "z279":
  notevil = (notevil + 279)/2;
  break;
case "z280":
  notevil = (notevil + 280)/2;
  break;
case "z281":
  notevil = (notevil + 281)/2;
  break;
case "z282":
  notevil = (notevil + 282)/2;
  break;
case "z283":
  notevil = (notevil + 283)/2;
  break;
case "z284":
  notevil = (notevil + 284)/2;
  break;
case "z285":
  notevil = (notevil + 285)/2;
  break;
case "z286":
  notevil = (notevil + 286)/2;
  break;
case "z287":
  notevil = (notevil + 287)/2;
  break;
case "z288":
  notevil = (notevil + 288)/2;
  break;
case "z289":
  notevil = (notevil + 289)/2;
  break;
case "z290":
  notevil = (notevil + 290)/2;
  break;
case "z291":
  notevil = (notevil + 291)/2;
  break;
case "z292":
  notevil = (notevil + 292)/2;
  break;
case "z293":
  notevil = (notevil + 293)/2;
  break;
case "z294":
  notevil = (notevil + 294)/2;
  break;
case "z295":
  notevil = (notevil + 295)/2;
  break;
case "z296":
  notevil = (notevil + 296)/2;
  break;
case "z297":
  notevil = (notevil + 297)/2;
  break;
case "z298":
  notevil = (notevil + 298)/2;
  break;
case "z299":
  notevil = (notevil + 299)/2;
  break;
case "z300":
  notevil = (notevil + 300)/2;
  break;
case "z301":
  notevil = (notevil + 301)/2;
  break;
case "z302":
  notevil = (notevil + 302)/2;
  break;
case "z303":
  notevil = (notevil + 303)/2;
  break;
case "z304":
  notevil = (notevil + 304)/2;
  break;
case "z305":
  notevil = (notevil + 305)/2;
  break;
case "z306":
  notevil = (notevil + 306)/2;
  break;
case "z307":
  notevil = (notevil + 307)/2;
  break;
case "z308":
  notevil = (notevil + 308)/2;
  break;
case "z309":
  notevil = (notevil + 309)/2;
  break;
case "z310":
  notevil = (notevil + 310)/2;
  break;
case "z311":
  notevil = (notevil + 311)/2;
  break;
case "z312":
  notevil = (notevil + 312)/2;
  break;
case "z313":
  notevil = (notevil + 313)/2;
  break;
case "z314":
  notevil = (notevil + 314)/2;
  break;
case "z315":
  notevil = (notevil + 315)/2;
  break;
case "z316":
  notevil = (notevil + 316)/2;
  break;
case "z317":
  notevil = (notevil + 317)/2;
  break;
case "z318":
  notevil = (notevil + 318)/2;
  break;
case "z319":
  notevil = (notevil + 319)/2;
  break;
case "z320":
  notevil = (notevil + 320)/2;
  break;
case "z321":
  notevil = (notevil + 321)/2;
  break;
case "z322":
  notevil = (notevil + 322)/2;
  break;
case "z323":
  notevil = (notevil + 323)/2;
  break;
case "z324":
  notevil = (notevil + 324)/2;
  break;
case "z325":
  notevil = (notevil + 325)/2;
  break;
case "z326":
  notevil = (notevil + 326)/2;
  break;
case "z327":
  notevil = (notevil + 327)/2;
  break;
case "z328":
  notevil = (notevil + 328)/2;
  break;
case "z329":
  notevil = (notevil + 329)/2;
  break;
case "z330":
  notevil = (notevil + 330)/2;
  break;
case "z331":
  notevil = (notevil + 331)/2;
  break;
case "z332":
  notevil = (notevil + 332)/2;
  break;
case "z333":
  notevil = (notevil + 333)/2;
  break;
case "z334":
  notevil = (notevil + 334)/2;
  break;
case "z335":
  notevil = (notevil + 335)/2;
  break;
case "z336":
  notevil = (notevil + 336)/2;
  break;
case "z337":
  notevil = (notevil + 337)/2;
  break;
case "z338":
  notevil = (notevil + 338)/2;
  break;
case "z339":
  notevil = (notevil + 339)/2;
  break;
case "z340":
  notevil = (notevil + 340)/2;
  break;
case "z341":
  notevil = (notevil + 341)/2;
  break;
case "z342":
  notevil = (notevil + 342)/2;
  break;
case "z343":
  notevil = (notevil + 343)/2;
  break;
case "z344":
  notevil = (notevil + 344)/2;
  break;
case "z345":
  notevil = (notevil + 345)/2;
  break;
case "z346":
  notevil = (notevil + 346)/2;
  break;
case "z347":
  notevil = (notevil + 347)/2;
  break;
case "z348":
  notevil = (notevil + 348)/2;
  break;
case "z349":
  notevil = (notevil + 349)/2;
  break;
case "z350":
  notevil = (notevil + 350)/2;
  break;
case "z351":
  notevil = (notevil + 351)/2;
  break;
case "z352":
  notevil = (notevil + 352)/2;
  break;
case "z353":
  notevil = (notevil + 353)/2;
  break;
case "z354":
  notevil = (notevil + 354)/2;
  break;
case "z355":
  notevil = (notevil + 355)/2;
  break;
case "z356":
  notevil = (notevil + 356)/2;
  break;
case "z357":
  notevil = (notevil + 357)/2;
  break;
case "z358":
  notevil = (notevil + 358)/2;
  break;
case "z359":
  notevil = (notevil + 359)/2;
  break;
case "z360":
  notevil = (notevil + 360)/2;
  break;
case "z361":
  notevil = (notevil + 361)/2;
  break;
case "z362":
  notevil = (notevil + 362)/2;
  break;
case "z363":
  notevil = (notevil + 363)/2;
  break;
case "z364":
  notevil = (notevil + 364)/2;
  break;
case "z365":
  notevil = (notevil + 365)/2;
  break;
case "z366":
  notevil = (notevil + 366)/2;
  break;
case "z367":
  notevil = (notevil + 367)/2;
  break;
case "z368":
  notevil = (notevil + 368)/2;
  break;
case "z369":
  notevil = (notevil + 369)/2;
  break;
case "z370":
  notevil = (notevil + 370)/2;
  break;
case "z371":
  notevil = (notevil + 371)/2;
  break;
case "z372":
  notevil = (notevil + 372)/2;
  break;
case "z373":
  notevil = (notevil + 373)/2;
  break;
case "z374":
  notevil = (notevil + 374)/2;
  break;
case "z375":
  notevil = (notevil + 375)/2;
  break;
case "z376":
  notevil = (notevil + 376)/2;
  break;
case "z377":
  notevil = (notevil + 377)/2;
  break;
case "z378":
  notevil = (notevil + 378)/2;
  break;
case "z379":
  notevil = (notevil + 379)/2;
  break;
case "z380":
  notevil = (notevil + 380)/2;
  break;
case "z381":
  notevil = (notevil + 381)/2;
  break;
case "z382":
  notevil = (notevil + 382)/2;
  break;
case "z383":
  notevil = (notevil + 383)/2;
  break;
case "z384":
  notevil = (notevil + 384)/2;
  break;
case "z385":
  notevil = (notevil + 385)/2;
  break;
case "z386":
  notevil = (notevil + 386)/2;
  break;
case "z387":
  notevil = (notevil + 387)/2;
  break;
case "z388":
  notevil = (notevil + 388)/2;
  break;
case "z389":
  notevil = (notevil + 389)/2;
  break;
case "z390":
  notevil = (notevil + 390)/2;
  break;
case "z391":
  notevil = (notevil + 391)/2;
  break;
case "z392":
  notevil = (notevil + 392)/2;
  break;
case "z393":
  notevil = (notevil + 393)/2;
  break;
case "z394":
  notevil = (notevil + 394)/2;
  break;
case "z395":
  notevil = (notevil + 395)/2;
  break;
case "z396":
  notevil = (notevil + 396)/2;
  break;
case "z397":
  notevil = (notevil + 397)/2;
  break;
case "z398":
  notevil = (notevil + 398)/2;
  break;
case "z399":
  notevil = (notevil + 399)/2;
  break;
case "z400":
  notevil = (notevil + 400)/2;
  break;
case "z401":
  notevil = (notevil + 401)/2;
  break;
case "z402":
  notevil = (notevil + 402)/2;
  break;
case "z403":
  notevil = (notevil + 403)/2;
  break;
case "z404":
  notevil = (notevil + 404)/2;
  break;
case "z405":
  notevil = (notevil + 405)/2;
  break;
case "z406":
  notevil = (notevil + 406)/2;
  break;
case "z407":
  notevil = (notevil + 407)/2;
  break;
case "z408":
  notevil = (notevil + 408)/2;
  break;
case "z409":
  notevil = (notevil + 409)/2;
  break;
case "z410":
  notevil = (notevil + 410)/2;
  break;
case "z411":
  notevil = (notevil + 411)/2;
  break;
case "z412":
  notevil = (notevil + 412)/2;
  break;
case "z413":
  notevil = (notevil + 413)/2;
  break;
case "z414":
  notevil = (notevil + 414)/2;
  break;
case "z415":
  notevil = (notevil + 415)/2;
  break;
case "z416":
  notevil = (notevil + 416)/2;
  break;
case "z417":
  notevil = (notevil + 417)/2;
  break;
case "z418":
  notevil = (notevil + 418)/2;
  break;
case "z419":
  notevil = (notevil + 419)/2;
  break;
case "z420":
  notevil = (notevil + 420)/2;
  break;
case "z421":
  notevil = (notevil + 421)/2;
  break;
case "z422":
  notevil = (notevil + 422)/2;
  break;
case "z423":
  notevil = (notevil + 423)/2;
  break;
case "z424":
  notevil = (notevil + 424)/2;
  break;
case "z425":
  notevil = (notevil + 425)/2;
  break;
case "z426":
  notevil = (notevil + 426)/2;
  break;
case "z427":
  notevil = (notevil + 427)/2;
  break;
case "z428":
  notevil = (notevil + 428)/2;
  break;
case "z429":
  notevil = (notevil + 429)/2;
  break;
case "z430":
  notevil = (notevil + 430)/2;
  break;
case "z431":
  notevil = (notevil + 431)/2;
  break;
case "z432":
  notevil = (notevil + 432)/2;
  break;
case "z433":
  notevil = (notevil + 433)/2;
  break;
case "z434":
  notevil = (notevil + 434)/2;
  break;
case "z435":
  notevil = (notevil + 435)/2;
  break;
case "z436":
  notevil = (notevil + 436)/2;
  break;
case "z437":
  notevil = (notevil + 437)/2;
  break;
case "z438":
  notevil = (notevil + 438)/2;
  break;
case "z439":
  notevil = (notevil + 439)/2;
  break;
case "z440":
  notevil = (notevil + 440)/2;
  break;
case "z441":
  notevil = (notevil + 441)/2;
  break;
case "z442":
  notevil = (notevil + 442)/2;
  break;
case "z443":
  notevil = (notevil + 443)/2;
  break;
case "z444":
  notevil = (notevil + 444)/2;
  break;
case "z445":
  notevil = (notevil + 445)/2;
  break;
case "z446":
  notevil = (notevil + 446)/2;
  break;
case "z447":
  notevil = (notevil + 447)/2;
  break;
case "z448":
  notevil = (notevil + 448)/2;
  break;
case "z449":
  notevil = (notevil + 449)/2;
  break;
case "z450":
  notevil = (notevil + 450)/2;
  break;
case "z451":
  notevil = (notevil + 451)/2;
  break;
case "z452":
  notevil = (notevil + 452)/2;
  break;
case "z453":
  notevil = (notevil + 453)/2;
  break;
case "z454":
  notevil = (notevil + 454)/2;
  break;
case "z455":
  notevil = (notevil + 455)/2;
  break;
case "z456":
  notevil = (notevil + 456)/2;
  break;
case "z457":
  notevil = (notevil + 457)/2;
  break;
case "z458":
  notevil = (notevil + 458)/2;
  break;
case "z459":
  notevil = (notevil + 459)/2;
  break;
case "z460":
  notevil = (notevil + 460)/2;
  break;
case "z461":
  notevil = (notevil + 461)/2;
  break;
case "z462":
  notevil = (notevil + 462)/2;
  break;
case "z463":
  notevil = (notevil + 463)/2;
  break;
case "z464":
  notevil = (notevil + 464)/2;
  break;
case "z465":
  notevil = (notevil + 465)/2;
  break;
case "z466":
  notevil = (notevil + 466)/2;
  break;
case "z467":
  notevil = (notevil + 467)/2;
  break;
case "z468":
  notevil = (notevil + 468)/2;
  break;
case "z469":
  notevil = (notevil + 469)/2;
  break;
case "z470":
  notevil = (notevil + 470)/2;
  break;
case "z471":
  notevil = (notevil + 471)/2;
  break;
case "z472":
  notevil = (notevil + 472)/2;
  break;
case "z473":
  notevil = (notevil + 473)/2;
  break;
case "z474":
  notevil = (notevil + 474)/2;
  break;
case "z475":
  notevil = (notevil + 475)/2;
  break;
case "z476":
  notevil = (notevil + 476)/2;
  break;
case "z477":
  notevil = (notevil + 477)/2;
  break;
case "z478":
  notevil = (notevil + 478)/2;
  break;
case "z479":
  notevil = (notevil + 479)/2;
  break;
case "z480":
  notevil = (notevil + 480)/2;
  break;
case "z481":
  notevil = (notevil + 481)/2;
  break;
case "z482":
  notevil = (notevil + 482)/2;
  break;
case "z483":
  notevil = (notevil + 483)/2;
  break;
case "z484":
  notevil = (notevil + 484)/2;
  break;
case "z485":
  notevil = (notevil + 485)/2;
  break;
case "z486":
  notevil = (notevil + 486)/2;
  break;
case "z487":
  notevil = (notevil + 487)/2;
  break;
case "z488":
  notevil = (notevil + 488)/2;
  break;
case "z489":
  notevil = (notevil + 489)/2;
  break;
case "z490":
  notevil = (notevil + 490)/2;
  break;
case "z491":
  notevil = (notevil + 491)/2;
  break;
case "z492":
  notevil = (notevil + 492)/2;
  break;
case "z493":
  notevil = (notevil + 493)/2;
  break;
case "z494":
  notevil = (notevil + 494)/2;
  break;
case "z495":
  notevil = (notevil + 495)/2;
  break;
case "z496":
  notevil = (notevil + 496)/2;
  break;
case "z497":
  notevil = (notevil + 497)/2;
  break;
case "z498":
  notevil = (notevil + 498)/2;
  break;
case "z499":
  notevil = (notevil + 499)/2;
  break;
case "z500":
  notevil = (notevil + 500)/2;
  break;
case "z501":
  notevil = (notevil + 501)/2;
  break;
case "z502":
  notevil = (notevil + 502)/2;
  break;
case "z503":
  notevil = (notevil + 503)/2;
  break;
case "z504":
  notevil = (notevil + 504)/2;
  break;
case "z505":
  notevil = (notevil + 505)/2;
  break;
case "z506":
  notevil = (notevil + 506)/2;
  break;
case "z507":
  notevil = (notevil + 507)/2;
  break;
case "z508":
  notevil = (notevil + 508)/2;
  break;
case "z509":
  notevil = (notevil + 509)/2;
  break;
case "z510":
  notevil = (notevil + 510)/2;
  break;
case "z511":
  notevil = (notevil + 511)/2;
  break;
case "z512":
  notevil = (notevil + 512)/2;
  break;
case "z513":
  notevil = (notevil + 513)/2;
  break;
case "z514":
  notevil = (notevil + 514)/2;
  break;
case "z515":
  notevil = (notevil + 515)/2;
  break;
case "z516":
  notevil = (notevil + 516)/2;
  break;
case "z517":
  notevil = (notevil + 517)/2;
  break;
case "z518":
  notevil = (notevil + 518)/2;
  break;
case "z519":
  notevil = (notevil + 519)/2;
  break;
case "z520":
  notevil = (notevil + 520)/2;
  break;
case "z521":
  notevil = (notevil + 521)/2;
  break;
case "z522":
  notevil = (notevil + 522)/2;
  break;
case "z523":
  notevil = (notevil + 523)/2;
  break;
case "z524":
  notevil = (notevil + 524)/2;
  break;
case "z525":
  notevil = (notevil + 525)/2;
  break;
case "z526":
  notevil = (notevil + 526)/2;
  break;
case "z527":
  notevil = (notevil + 527)/2;
  break;
case "z528":
  notevil = (notevil + 528)/2;
  break;
case "z529":
  notevil = (notevil + 529)/2;
  break;
case "z530":
  notevil = (notevil + 530)/2;
  break;
case "z531":
  notevil = (notevil + 531)/2;
  break;
case "z532":
  notevil = (notevil + 532)/2;
  break;
case "z533":
  notevil = (notevil + 533)/2;
  break;
case "z534":
  notevil = (notevil + 534)/2;
  break;
case "z535":
  notevil = (notevil + 535)/2;
  break;
case "z536":
  notevil = (notevil + 536)/2;
  break;
case "z537":
  notevil = (notevil + 537)/2;
  break;
case "z538":
  notevil = (notevil + 538)/2;
  break;
case "z539":
  notevil = (notevil + 539)/2;
  break;
case "z540":
  notevil = (notevil + 540)/2;
  break;
case "z541":
  notevil = (notevil + 541)/2;
  break;
case "z542":
  notevil = (notevil + 542)/2;
  break;
case "z543":
  notevil = (notevil + 543)/2;
  break;
case "z544":
  notevil = (notevil + 544)/2;
  break;
case "z545":
  notevil = (notevil + 545)/2;
  break;
case "z546":
  notevil = (notevil + 546)/2;
  break;
case "z547":
  notevil = (notevil + 547)/2;
  break;
case "z548":
  notevil = (notevil + 548)/2;
  break;
case "z549":
  notevil = (notevil + 549)/2;
  break;
case "z550":
  notevil = (notevil + 550)/2;
  break;
case "z551":
  notevil = (notevil + 551)/2;
  break;
case "z552":
  notevil = (notevil + 552)/2;
  break;
case "z553":
  notevil = (notevil + 553)/2;
  break;
case "z554":
  notevil = (notevil + 554)/2;
  break;
case "z555":
  notevil = (notevil + 555)/2;
  break;
case "z556":
  notevil = (notevil + 556)/2;
  break;
case "z557":
  notevil = (notevil + 557)/2;
  break;
case "z558":
  notevil = (notevil + 558)/2;
  break;
case "z559":
  notevil = (notevil + 559)/2;
  break;
case "z560":
  notevil = (notevil + 560)/2;
  break;
case "z561":
  notevil = (notevil + 561)/2;
  break;
case "z562":
  notevil = (notevil + 562)/2;
  break;
case "z563":
  notevil = (notevil + 563)/2;
  break;
case "z564":
  notevil = (notevil + 564)/2;
  break;
case "z565":
  notevil = (notevil + 565)/2;
  break;
case "z566":
  notevil = (notevil + 566)/2;
  break;
case "z567":
  notevil = (notevil + 567)/2;
  break;
case "z568":
  notevil = (notevil + 568)/2;
  break;
case "z569":
  notevil = (notevil + 569)/2;
  break;
case "z570":
  notevil = (notevil + 570)/2;
  break;
case "z571":
  notevil = (notevil + 571)/2;
  break;
case "z572":
  notevil = (notevil + 572)/2;
  break;
case "z573":
  notevil = (notevil + 573)/2;
  break;
case "z574":
  notevil = (notevil + 574)/2;
  break;
case "z575":
  notevil = (notevil + 575)/2;
  break;
case "z576":
  notevil = (notevil + 576)/2;
  break;
case "z577":
  notevil = (notevil + 577)/2;
  break;
case "z578":
  notevil = (notevil + 578)/2;
  break;
case "z579":
  notevil = (notevil + 579)/2;
  break;
case "z580":
  notevil = (notevil + 580)/2;
  break;
case "z581":
  notevil = (notevil + 581)/2;
  break;
case "z582":
  notevil = (notevil + 582)/2;
  break;
case "z583":
  notevil = (notevil + 583)/2;
  break;
case "z584":
  notevil = (notevil + 584)/2;
  break;
case "z585":
  notevil = (notevil + 585)/2;
  break;
case "z586":
  notevil = (notevil + 586)/2;
  break;
case "z587":
  notevil = (notevil + 587)/2;
  break;
case "z588":
  notevil = (notevil + 588)/2;
  break;
case "z589":
  notevil = (notevil + 589)/2;
  break;
case "z590":
  notevil = (notevil + 590)/2;
  break;
case "z591":
  notevil = (notevil + 591)/2;
  break;
case "z592":
  notevil = (notevil + 592)/2;
  break;
case "z593":
  notevil = (notevil + 593)/2;
  break;
case "z594":
  notevil = (notevil + 594)/2;
  break;
case "z595":
  notevil = (notevil + 595)/2;
  break;
case "z596":
  notevil = (notevil + 596)/2;
  break;
case "z597":
  notevil = (notevil + 597)/2;
  break;
case "z598":
  notevil = (notevil + 598)/2;
  break;
case "z599":
  notevil = (notevil + 599)/2;
  break;
case "z600":
  notevil = (notevil + 600)/2;
  break;
case "z601":
  notevil = (notevil + 601)/2;
  break;
case "z602":
  notevil = (notevil + 602)/2;
  break;
case "z603":
  notevil = (notevil + 603)/2;
  break;
case "z604":
  notevil = (notevil + 604)/2;
  break;
case "z605":
  notevil = (notevil + 605)/2;
  break;
case "z606":
  notevil = (notevil + 606)/2;
  break;
case "z607":
  notevil = (notevil + 607)/2;
  break;
case "z608":
  notevil = (notevil + 608)/2;
  break;
case "z609":
  notevil = (notevil + 609)/2;
  break;
case "z610":
  notevil = (notevil + 610)/2;
  break;
case "z611":
  notevil = (notevil + 611)/2;
  break;
case "z612":
  notevil = (notevil + 612)/2;
  break;
case "z613":
  notevil = (notevil + 613)/2;
  break;
case "z614":
  notevil = (notevil + 614)/2;
  break;
case "z615":
  notevil = (notevil + 615)/2;
  break;
case "z616":
  notevil = (notevil + 616)/2;
  break;
case "z617":
  notevil = (notevil + 617)/2;
  break;
case "z618":
  notevil = (notevil + 618)/2;
  break;
case "z619":
  notevil = (notevil + 619)/2;
  break;
case "z620":
  notevil = (notevil + 620)/2;
  break;
case "z621":
  notevil = (notevil + 621)/2;
  break;
case "z622":
  notevil = (notevil + 622)/2;
  break;
case "z623":
  notevil = (notevil + 623)/2;
  break;
case "z624":
  notevil = (notevil + 624)/2;
  break;
case "z625":
  notevil = (notevil + 625)/2;
  break;
case "z626":
  notevil = (notevil + 626)/2;
  break;
case "z627":
  notevil = (notevil + 627)/2;
  break;
case "z628":
  notevil = (notevil + 628)/2;
  break;
case "z629":
  notevil = (notevil + 629)/2;
  break;
case "z630":
  notevil = (notevil + 630)/2;
  break;
case "z631":
  notevil = (notevil + 631)/2;
  break;
case "z632":
  notevil = (notevil + 632)/2;
  break;
case "z633":
  notevil = (notevil + 633)/2;
  break;
case "z634":
  notevil = (notevil + 634)/2;
  break;
case "z635":
  notevil = (notevil + 635)/2;
  break;
case "z636":
  notevil = (notevil + 636)/2;
  break;
case "z637":
  notevil = (notevil + 637)/2;
  break;
case "z638":
  notevil = (notevil + 638)/2;
  break;
case "z639":
  notevil = (notevil + 639)/2;
  break;
case "z640":
  notevil = (notevil + 640)/2;
  break;
case "z641":
  notevil = (notevil + 641)/2;
  break;
case "z642":
  notevil = (notevil + 642)/2;
  break;
case "z643":
  notevil = (notevil + 643)/2;
  break;
case "z644":
  notevil = (notevil + 644)/2;
  break;
case "z645":
  notevil = (notevil + 645)/2;
  break;
case "z646":
  notevil = (notevil + 646)/2;
  break;
case "z647":
  notevil = (notevil + 647)/2;
  break;
case "z648":
  notevil = (notevil + 648)/2;
  break;
case "z649":
  notevil = (notevil + 649)/2;
  break;
case "z650":
  notevil = (notevil + 650)/2;
  break;
case "z651":
  notevil = (notevil + 651)/2;
  break;
case "z652":
  notevil = (notevil + 652)/2;
  break;
case "z653":
  notevil = (notevil + 653)/2;
  break;
case "z654":
  notevil = (notevil + 654)/2;
  break;
case "z655":
  notevil = (notevil + 655)/2;
  break;
case "z656":
  notevil = (notevil + 656)/2;
  break;
case "z657":
  notevil = (notevil + 657)/2;
  break;
case "z658":
  notevil = (notevil + 658)/2;
  break;
case "z659":
  notevil = (notevil + 659)/2;
  break;
case "z660":
  notevil = (notevil + 660)/2;
  break;
case "z661":
  notevil = (notevil + 661)/2;
  break;
case "z662":
  notevil = (notevil + 662)/2;
  break;
case "z663":
  notevil = (notevil + 663)/2;
  break;
case "z664":
  notevil = (notevil + 664)/2;
  break;
case "z665":
  notevil = (notevil + 665)/2;
  break;
case "z666":
  notevil = (notevil + 666)/2;
  break;
case "z667":
  notevil = (notevil + 667)/2;
  break;
case "z668":
  notevil = (notevil + 668)/2;
  break;
case "z669":
  notevil = (notevil + 669)/2;
  break;
case "z670":
  notevil = (notevil + 670)/2;
  break;
case "z671":
  notevil = (notevil + 671)/2;
  break;
case "z672":
  notevil = (notevil + 672)/2;
  break;
case "z673":
  notevil = (notevil + 673)/2;
  break;
case "z674":
  notevil = (notevil + 674)/2;
  break;
case "z675":
  notevil = (notevil + 675)/2;
  break;
case "z676":
  notevil = (notevil + 676)/2;
  break;
case "z677":
  notevil = (notevil + 677)/2;
  break;
case "z678":
  notevil = (notevil + 678)/2;
  break;
case "z679":
  notevil = (notevil + 679)/2;
  break;
case "z680":
  notevil = (notevil + 680)/2;
  break;
case "z681":
  notevil = (notevil + 681)/2;
  break;
case "z682":
  notevil = (notevil + 682)/2;
  break;
case "z683":
  notevil = (notevil + 683)/2;
  break;
case "z684":
  notevil = (notevil + 684)/2;
  break;
case "z685":
  notevil = (notevil + 685)/2;
  break;
case "z686":
  notevil = (notevil + 686)/2;
  break;
case "z687":
  notevil = (notevil + 687)/2;
  break;
case "z688":
  notevil = (notevil + 688)/2;
  break;
case "z689":
  notevil = (notevil + 689)/2;
  break;
case "z690":
  notevil = (notevil + 690)/2;
  break;
case "z691":
  notevil = (notevil + 691)/2;
  break;
case "z692":
  notevil = (notevil + 692)/2;
  break;
case "z693":
  notevil = (notevil + 693)/2;
  break;
case "z694":
  notevil = (notevil + 694)/2;
  break;
case "z695":
  notevil = (notevil + 695)/2;
  break;
case "z696":
  notevil = (notevil + 696)/2;
  break;
case "z697":
  notevil = (notevil + 697)/2;
  break;
case "z698":
  notevil = (notevil + 698)/2;
  break;
case "z699":
  notevil = (notevil + 699)/2;
  break;
case "z700":
  notevil = (notevil + 700)/2;
  break;
case "z701":
  notevil = (notevil + 701)/2;
  break;
case "z702":
  notevil = (notevil + 702)/2;
  break;
case "z703":
  notevil = (notevil + 703)/2;
  break;
case "z704":
  notevil = (notevil + 704)/2;
  break;
case "z705":
  notevil = (notevil + 705)/2;
  break;
case "z706":
  notevil = (notevil + 706)/2;
  break;
case "z707":
  notevil = (notevil + 707)/2;
  break;
case "z708":
  notevil = (notevil + 708)/2;
  break;
case "z709":
  notevil = (notevil + 709)/2;
  break;
case "z710":
  notevil = (notevil + 710)/2;
  break;
case "z711":
  notevil = (notevil + 711)/2;
  break;
case "z712":
  notevil = (notevil + 712)/2;
  break;
case "z713":
  notevil = (notevil + 713)/2;
  break;
case "z714":
  notevil = (notevil + 714)/2;
  break;
case "z715":
  notevil = (notevil + 715)/2;
  break;
case "z716":
  notevil = (notevil + 716)/2;
  break;
case "z717":
  notevil = (notevil + 717)/2;
  break;
case "z718":
  notevil = (notevil + 718)/2;
  break;
case "z719":
  notevil = (notevil + 719)/2;
  break;
case "z720":
  notevil = (notevil + 720)/2;
  break;
case "z721":
  notevil = (notevil + 721)/2;
  break;
case "z722":
  notevil = (notevil + 722)/2;
  break;
case "z723":
  notevil = (notevil + 723)/2;
  break;
case "z724":
  notevil = (notevil + 724)/2;
  break;
case "z725":
  notevil = (notevil + 725)/2;
  break;
case "z726":
  notevil = (notevil + 726)/2;
  break;
case "z727":
  notevil = (notevil + 727)/2;
  break;
case "z728":
  notevil = (notevil + 728)/2;
  break;
case "z729":
  notevil = (notevil + 729)/2;
  break;
case "z730":
  notevil = (notevil + 730)/2;
  break;
case "z731":
  notevil = (notevil + 731)/2;
  break;
case "z732":
  notevil = (notevil + 732)/2;
  break;
case "z733":
  notevil = (notevil + 733)/2;
  break;
case "z734":
  notevil = (notevil + 734)/2;
  break;
case "z735":
  notevil = (notevil + 735)/2;
  break;
case "z736":
  notevil = (notevil + 736)/2;
  break;
case "z737":
  notevil = (notevil + 737)/2;
  break;
case "z738":
  notevil = (notevil + 738)/2;
  break;
case "z739":
  notevil = (notevil + 739)/2;
  break;
case "z740":
  notevil = (notevil + 740)/2;
  break;
case "z741":
  notevil = (notevil + 741)/2;
  break;
case "z742":
  notevil = (notevil + 742)/2;
  break;
case "z743":
  notevil = (notevil + 743)/2;
  break;
case "z744":
  notevil = (notevil + 744)/2;
  break;
case "z745":
  notevil = (notevil + 745)/2;
  break;
case "z746":
  notevil = (notevil + 746)/2;
  break;
case "z747":
  notevil = (notevil + 747)/2;
  break;
case "z748":
  notevil = (notevil + 748)/2;
  break;
case "z749":
  notevil = (notevil + 749)/2;
  break;
case "z750":
  notevil = (notevil + 750)/2;
  break;
case "z751":
  notevil = (notevil + 751)/2;
  break;
case "z752":
  notevil = (notevil + 752)/2;
  break;
case "z753":
  notevil = (notevil + 753)/2;
  break;
case "z754":
  notevil = (notevil + 754)/2;
  break;
case "z755":
  notevil = (notevil + 755)/2;
  break;
case "z756":
  notevil = (notevil + 756)/2;
  break;
case "z757":
  notevil = (notevil + 757)/2;
  break;
case "z758":
  notevil = (notevil + 758)/2;
  break;
case "z759":
  notevil = (notevil + 759)/2;
  break;
case "z760":
  notevil = (notevil + 760)/2;
  break;
case "z761":
  notevil = (notevil + 761)/2;
  break;
case "z762":
  notevil = (notevil + 762)/2;
  break;
case "z763":
  notevil = (notevil + 763)/2;
  break;
case "z764":
  notevil = (notevil + 764)/2;
  break;
case "z765":
  notevil = (notevil + 765)/2;
  break;
case "z766":
  notevil = (notevil + 766)/2;
  break;
case "z767":
  notevil = (notevil + 767)/2;
  break;
case "z768":
  notevil = (notevil + 768)/2;
  break;
case "z769":
  notevil = (notevil + 769)/2;
  break;
case "z770":
  notevil = (notevil + 770)/2;
  break;
case "z771":
  notevil = (notevil + 771)/2;
  break;
case "z772":
  notevil = (notevil + 772)/2;
  break;
case "z773":
  notevil = (notevil + 773)/2;
  break;
case "z774":
  notevil = (notevil + 774)/2;
  break;
case "z775":
  notevil = (notevil + 775)/2;
  break;
case "z776":
  notevil = (notevil + 776)/2;
  break;
case "z777":
  notevil = (notevil + 777)/2;
  break;
case "z778":
  notevil = (notevil + 778)/2;
  break;
case "z779":
  notevil = (notevil + 779)/2;
  break;
case "z780":
  notevil = (notevil + 780)/2;
  break;
case "z781":
  notevil = (notevil + 781)/2;
  break;
case "z782":
  notevil = (notevil + 782)/2;
  break;
case "z783":
  notevil = (notevil + 783)/2;
  break;
case "z784":
  notevil = (notevil + 784)/2;
  break;
case "z785":
  notevil = (notevil + 785)/2;
  break;
case "z786":
  notevil = (notevil + 786)/2;
  break;
case "z787":
  notevil = (notevil + 787)/2;
  break;
case "z788":
  notevil = (notevil + 788)/2;
  break;
case "z789":
  notevil = (notevil + 789)/2;
  break;
case "z790":
  notevil = (notevil + 790)/2;
  break;
case "z791":
  notevil = (notevil + 791)/2;
  break;
case "z792":
  notevil = (notevil + 792)/2;
  break;
case "z793":
  notevil = (notevil + 793)/2;
  break;
case "z794":
  notevil = (notevil + 794)/2;
  break;
case "z795":
  notevil = (notevil + 795)/2;
  break;
case "z796":
  notevil = (notevil + 796)/2;
  break;
case "z797":
  notevil = (notevil + 797)/2;
  break;
case "z798":
  notevil = (notevil + 798)/2;
  break;
case "z799":
  notevil = (notevil + 799)/2;
  break;
case "z800":
  notevil = (notevil + 800)/2;
  break;
case "z801":
  notevil = (notevil + 801)/2;
  break;
case "z802":
  notevil = (notevil + 802)/2;
  break;
case "z803":
  notevil = (notevil + 803)/2;
  break;
case "z804":
  notevil = (notevil + 804)/2;
  break;
case "z805":
  notevil = (notevil + 805)/2;
  break;
case "z806":
  notevil = (notevil + 806)/2;
  break;
case "z807":
  notevil = (notevil + 807)/2;
  break;
case "z808":
  notevil = (notevil + 808)/2;
  break;
case "z809":
  notevil = (notevil + 809)/2;
  break;
case "z810":
  notevil = (notevil + 810)/2;
  break;
case "z811":
  notevil = (notevil + 811)/2;
  break;
case "z812":
  notevil = (notevil + 812)/2;
  break;
case "z813":
  notevil = (notevil + 813)/2;
  break;
case "z814":
  notevil = (notevil + 814)/2;
  break;
case "z815":
  notevil = (notevil + 815)/2;
  break;
case "z816":
  notevil = (notevil + 816)/2;
  break;
case "z817":
  notevil = (notevil + 817)/2;
  break;
case "z818":
  notevil = (notevil + 818)/2;
  break;
case "z819":
  notevil = (notevil + 819)/2;
  break;
case "z820":
  notevil = (notevil + 820)/2;
  break;
case "z821":
  notevil = (notevil + 821)/2;
  break;
case "z822":
  notevil = (notevil + 822)/2;
  break;
case "z823":
  notevil = (notevil + 823)/2;
  break;
case "z824":
  notevil = (notevil + 824)/2;
  break;
case "z825":
  notevil = (notevil + 825)/2;
  break;
case "z826":
  notevil = (notevil + 826)/2;
  break;
case "z827":
  notevil = (notevil + 827)/2;
  break;
case "z828":
  notevil = (notevil + 828)/2;
  break;
case "z829":
  notevil = (notevil + 829)/2;
  break;
case "z830":
  notevil = (notevil + 830)/2;
  break;
case "z831":
  notevil = (notevil + 831)/2;
  break;
case "z832":
  notevil = (notevil + 832)/2;
  break;
case "z833":
  notevil = (notevil + 833)/2;
  break;
case "z834":
  notevil = (notevil + 834)/2;
  break;
case "z835":
  notevil = (notevil + 835)/2;
  break;
case "z836":
  notevil = (notevil + 836)/2;
  break;
case "z837":
  notevil = (notevil + 837)/2;
  break;
case "z838":
  notevil = (notevil + 838)/2;
  break;
case "z839":
  notevil = (notevil + 839)/2;
  break;
case "z840":
  notevil = (notevil + 840)/2;
  break;
case "z841":
  notevil = (notevil + 841)/2;
  break;
case "z842":
  notevil = (notevil + 842)/2;
  break;
case "z843":
  notevil = (notevil + 843)/2;
  break;
case "z844":
  notevil = (notevil + 844)/2;
  break;
case "z845":
  notevil = (notevil + 845)/2;
  break;
case "z846":
  notevil = (notevil + 846)/2;
  break;
case "z847":
  notevil = (notevil + 847)/2;
  break;
case "z848":
  notevil = (notevil + 848)/2;
  break;
case "z849":
  notevil = (notevil + 849)/2;
  break;
case "z850":
  notevil = (notevil + 850)/2;
  break;
case "z851":
  notevil = (notevil + 851)/2;
  break;
case "z852":
  notevil = (notevil + 852)/2;
  break;
case "z853":
  notevil = (notevil + 853)/2;
  break;
case "z854":
  notevil = (notevil + 854)/2;
  break;
case "z855":
  notevil = (notevil + 855)/2;
  break;
case "z856":
  notevil = (notevil + 856)/2;
  break;
case "z857":
  notevil = (notevil + 857)/2;
  break;
case "z858":
  notevil = (notevil + 858)/2;
  break;
case "z859":
  notevil = (notevil + 859)/2;
  break;
case "z860":
  notevil = (notevil + 860)/2;
  break;
case "z861":
  notevil = (notevil + 861)/2;
  break;
case "z862":
  notevil = (notevil + 862)/2;
  break;
case "z863":
  notevil = (notevil + 863)/2;
  break;
case "z864":
  notevil = (notevil + 864)/2;
  break;
case "z865":
  notevil = (notevil + 865)/2;
  break;
case "z866":
  notevil = (notevil + 866)/2;
  break;
case "z867":
  notevil = (notevil + 867)/2;
  break;
case "z868":
  notevil = (notevil + 868)/2;
  break;
case "z869":
  notevil = (notevil + 869)/2;
  break;
case "z870":
  notevil = (notevil + 870)/2;
  break;
case "z871":
  notevil = (notevil + 871)/2;
  break;
case "z872":
  notevil = (notevil + 872)/2;
  break;
case "z873":
  notevil = (notevil + 873)/2;
  break;
case "z874":
  notevil = (notevil + 874)/2;
  break;
case "z875":
  notevil = (notevil + 875)/2;
  break;
case "z876":
  notevil = (notevil + 876)/2;
  break;
case "z877":
  notevil = (notevil + 877)/2;
  break;
case "z878":
  notevil = (notevil + 878)/2;
  break;
case "z879":
  notevil = (notevil + 879)/2;
  break;
case "z880":
  notevil = (notevil + 880)/2;
  break;
case "z881":
  notevil = (notevil + 881)/2;
  break;
case "z882":
  notevil = (notevil + 882)/2;
  break;
case "z883":
  notevil = (notevil + 883)/2;
  break;
case "z884":
  notevil = (notevil + 884)/2;
  break;
case "z885":
  notevil = (notevil + 885)/2;
  break;
case "z886":
  notevil = (notevil + 886)/2;
  break;
case "z887":
  notevil = (notevil + 887)/2;
  break;
case "z888":
  notevil = (notevil + 888)/2;
  break;
case "z889":
  notevil = (notevil + 889)/2;
  break;
case "z890":
  notevil = (notevil + 890)/2;
  break;
case "z891":
  notevil = (notevil + 891)/2;
  break;
case "z892":
  notevil = (notevil + 892)/2;
  break;
case "z893":
  notevil = (notevil + 893)/2;
  break;
case "z894":
  notevil = (notevil + 894)/2;
  break;
case "z895":
  notevil = (notevil + 895)/2;
  break;
case "z896":
  notevil = (notevil + 896)/2;
  break;
case "z897":
  notevil = (notevil + 897)/2;
  break;
case "z898":
  notevil = (notevil + 898)/2;
  break;
case "z899":
  notevil = (notevil + 899)/2;
  break;
case "z900":
  notevil = (notevil + 900)/2;
  break;
case "z901":
  notevil = (notevil + 901)/2;
  break;
case "z902":
  notevil = (notevil + 902)/2;
  break;
case "z903":
  notevil = (notevil + 903)/2;
  break;
case "z904":
  notevil = (notevil + 904)/2;
  break;
case "z905":
  notevil = (notevil + 905)/2;
  break;
case "z906":
  notevil = (notevil + 906)/2;
  break;
case "z907":
  notevil = (notevil + 907)/2;
  break;
case "z908":
  notevil = (notevil + 908)/2;
  break;
case "z909":
  notevil = (notevil + 909)/2;
  break;
case "z910":
  notevil = (notevil + 910)/2;
  break;
case "z911":
  notevil = (notevil + 911)/2;
  break;
case "z912":
  notevil = (notevil + 912)/2;
  break;
case "z913":
  notevil = (notevil + 913)/2;
  break;
case "z914":
  notevil = (notevil + 914)/2;
  break;
case "z915":
  notevil = (notevil + 915)/2;
  break;
case "z916":
  notevil = (notevil + 916)/2;
  break;
case "z917":
  notevil = (notevil + 917)/2;
  break;
case "z918":
  notevil = (notevil + 918)/2;
  break;
case "z919":
  notevil = (notevil + 919)/2;
  break;
case "z920":
  notevil = (notevil + 920)/2;
  break;
case "z921":
  notevil = (notevil + 921)/2;
  break;
case "z922":
  notevil = (notevil + 922)/2;
  break;
case "z923":
  notevil = (notevil + 923)/2;
  break;
case "z924":
  notevil = (notevil + 924)/2;
  break;
case "z925":
  notevil = (notevil + 925)/2;
  break;
case "z926":
  notevil = (notevil + 926)/2;
  break;
case "z927":
  notevil = (notevil + 927)/2;
  break;
case "z928":
  notevil = (notevil + 928)/2;
  break;
case "z929":
  notevil = (notevil + 929)/2;
  break;
case "z930":
  notevil = (notevil + 930)/2;
  break;
case "z931":
  notevil = (notevil + 931)/2;
  break;
case "z932":
  notevil = (notevil + 932)/2;
  break;
case "z933":
  notevil = (notevil + 933)/2;
  break;
case "z934":
  notevil = (notevil + 934)/2;
  break;
case "z935":
  notevil = (notevil + 935)/2;
  break;
case "z936":
  notevil = (notevil + 936)/2;
  break;
case "z937":
  notevil = (notevil + 937)/2;
  break;
case "z938":
  notevil = (notevil + 938)/2;
  break;
case "z939":
  notevil = (notevil + 939)/2;
  break;
case "z940":
  notevil = (notevil + 940)/2;
  break;
case "z941":
  notevil = (notevil + 941)/2;
  break;
case "z942":
  notevil = (notevil + 942)/2;
  break;
case "z943":
  notevil = (notevil + 943)/2;
  break;
case "z944":
  notevil = (notevil + 944)/2;
  break;
case "z945":
  notevil = (notevil + 945)/2;
  break;
case "z946":
  notevil = (notevil + 946)/2;
  break;
case "z947":
  notevil = (notevil + 947)/2;
  break;
case "z948":
  notevil = (notevil + 948)/2;
  break;
case "z949":
  notevil = (notevil + 949)/2;
  break;
case "z950":
  notevil = (notevil + 950)/2;
  break;
case "z951":
  notevil = (notevil + 951)/2;
  break;
case "z952":
  notevil = (notevil + 952)/2;
  break;
case "z953":
  notevil = (notevil + 953)/2;
  break;
case "z954":
  notevil = (notevil + 954)/2;
  break;
case "z955":
  notevil = (notevil + 955)/2;
  break;
case "z956":
  notevil = (notevil + 956)/2;
  break;
case "z957":
  notevil = (notevil + 957)/2;
  break;
case "z958":
  notevil = (notevil + 958)/2;
  break;
case "z959":
  notevil = (notevil + 959)/2;
  break;
case "z960":
  notevil = (notevil + 960)/2;
  break;
case "z961":
  notevil = (notevil + 961)/2;
  break;
case "z962":
  notevil = (notevil + 962)/2;
  break;
case "z963":
  notevil = (notevil + 963)/2;
  break;
case "z964":
  notevil = (notevil + 964)/2;
  break;
case "z965":
  notevil = (notevil + 965)/2;
  break;
case "z966":
  notevil = (notevil + 966)/2;
  break;
case "z967":
  notevil = (notevil + 967)/2;
  break;
case "z968":
  notevil = (notevil + 968)/2;
  break;
case "z969":
  notevil = (notevil + 969)/2;
  break;
case "z970":
  notevil = (notevil + 970)/2;
  break;
case "z971":
  notevil = (notevil + 971)/2;
  break;
case "z972":
  notevil = (notevil + 972)/2;
  break;
case "z973":
  notevil = (notevil + 973)/2;
  break;
case "z974":
  notevil = (notevil + 974)/2;
  break;
case "z975":
  notevil = (notevil + 975)/2;
  break;
case "z976":
  notevil = (notevil + 976)/2;
  break;
case "z977":
  notevil = (notevil + 977)/2;
  break;
case "z978":
  notevil = (notevil + 978)/2;
  break;
case "z979":
  notevil = (notevil + 979)/2;
  break;
case "z980":
  notevil = (notevil + 980)/2;
  break;
case "z981":
  notevil = (notevil + 981)/2;
  break;
case "z982":
  notevil = (notevil + 982)/2;
  break;
case "z983":
  notevil = (notevil + 983)/2;
  break;
case "z984":
  notevil = (notevil + 984)/2;
  break;
case "z985":
  notevil = (notevil + 985)/2;
  break;
case "z986":
  notevil = (notevil + 986)/2;
  break;
case "z987":
  notevil = (notevil + 987)/2;
  break;
case "z988":
  notevil = (notevil + 988)/2;
  break;
case "z989":
  notevil = (notevil + 989)/2;
  break;
case "z990":
  notevil = (notevil + 990)/2;
  break;
case "z991":
  notevil = (notevil + 991)/2;
  break;
case "z992":
  notevil = (notevil + 992)/2;
  break;
case "z993":
  notevil = (notevil + 993)/2;
  break;
case "z994":
  notevil = (notevil + 994)/2;
  break;
case "z995":
  notevil = (notevil + 995)/2;
  break;
case "z996":
  notevil = (notevil + 996)/2;
  break;
case "z997":
  notevil = (notevil + 997)/2;
  break;
case "z998":
  notevil = (notevil + 998)/2;
  break;
case "z999":
  notevil = (notevil + 999)/2;
  break;
case "z1000":
  notevil = (notevil + 1000)/2;
  break;
case "z1001":
  notevil = (notevil + 1001)/2;
  break;
case "z1002":
  notevil = (notevil + 1002)/2;
  break;
case "z1003":
  notevil = (notevil + 1003)/2;
  break;
case "z1004":
  notevil = (notevil + 1004)/2;
  break;
case "z1005":
  notevil = (notevil + 1005)/2;
  break;
case "z1006":
  notevil = (notevil + 1006)/2;
  break;
case "z1007":
  notevil = (notevil + 1007)/2;
  break;
case "z1008":
  notevil = (notevil + 1008)/2;
  break;
case "z1009":
  notevil = (notevil + 1009)/2;
  break;
case "z1010":
  notevil = (notevil + 1010)/2;
  break;
case "z1011":
  notevil = (notevil + 1011)/2;
  break;
case "z1012":
  notevil = (notevil + 1012)/2;
  break;
case "z1013":
  notevil = (notevil + 1013)/2;
  break;
case "z1014":
  notevil = (notevil + 1014)/2;
  break;
case "z1015":
  notevil = (notevil + 1015)/2;
  break;
case "z1016":
  notevil = (notevil + 1016)/2;
  break;
case "z1017":
  notevil = (notevil + 1017)/2;
  break;
case "z1018":
  notevil = (notevil + 1018)/2;
  break;
case "z1019":
  notevil = (notevil + 1019)/2;
  break;
case "z1020":
  notevil = (notevil + 1020)/2;
  break;
case "z1021":
  notevil = (notevil + 1021)/2;
  break;
case "z1022":
  notevil = (notevil + 1022)/2;
  break;
case "z1023":
  notevil = (notevil + 1023)/2;
  break;
case "z1024":
  notevil = (notevil + 1024)/2;
  break;
case "z1025":
  notevil = (notevil + 1025)/2;
  break;
case "z1026":
  notevil = (notevil + 1026)/2;
  break;
case "z1027":
  notevil = (notevil + 1027)/2;
  break;
case "z1028":
  notevil = (notevil + 1028)/2;
  break;
case "z1029":
  notevil = (notevil + 1029)/2;
  break;
case "z1030":
  notevil = (notevil + 1030)/2;
  break;
case "z1031":
  notevil = (notevil + 1031)/2;
  break;
case "z1032":
  notevil = (notevil + 1032)/2;
  break;
case "z1033":
  notevil = (notevil + 1033)/2;
  break;
case "z1034":
  notevil = (notevil + 1034)/2;
  break;
case "z1035":
  notevil = (notevil + 1035)/2;
  break;
case "z1036":
  notevil = (notevil + 1036)/2;
  break;
case "z1037":
  notevil = (notevil + 1037)/2;
  break;
case "z1038":
  notevil = (notevil + 1038)/2;
  break;
case "z1039":
  notevil = (notevil + 1039)/2;
  break;
case "z1040":
  notevil = (notevil + 1040)/2;
  break;
case "z1041":
  notevil = (notevil + 1041)/2;
  break;
case "z1042":
  notevil = (notevil + 1042)/2;
  break;
case "z1043":
  notevil = (notevil + 1043)/2;
  break;
case "z1044":
  notevil = (notevil + 1044)/2;
  break;
case "z1045":
  notevil = (notevil + 1045)/2;
  break;
case "z1046":
  notevil = (notevil + 1046)/2;
  break;
case "z1047":
  notevil = (notevil + 1047)/2;
  break;
case "z1048":
  notevil = (notevil + 1048)/2;
  break;
case "z1049":
  notevil = (notevil + 1049)/2;
  break;
case "z1050":
  notevil = (notevil + 1050)/2;
  break;
case "z1051":
  notevil = (notevil + 1051)/2;
  break;
case "z1052":
  notevil = (notevil + 1052)/2;
  break;
case "z1053":
  notevil = (notevil + 1053)/2;
  break;
case "z1054":
  notevil = (notevil + 1054)/2;
  break;
case "z1055":
  notevil = (notevil + 1055)/2;
  break;
case "z1056":
  notevil = (notevil + 1056)/2;
  break;
case "z1057":
  notevil = (notevil + 1057)/2;
  break;
case "z1058":
  notevil = (notevil + 1058)/2;
  break;
case "z1059":
  notevil = (notevil + 1059)/2;
  break;
case "z1060":
  notevil = (notevil + 1060)/2;
  break;
case "z1061":
  notevil = (notevil + 1061)/2;
  break;
case "z1062":
  notevil = (notevil + 1062)/2;
  break;
case "z1063":
  notevil = (notevil + 1063)/2;
  break;
case "z1064":
  notevil = (notevil + 1064)/2;
  break;
case "z1065":
  notevil = (notevil + 1065)/2;
  break;
case "z1066":
  notevil = (notevil + 1066)/2;
  break;
case "z1067":
  notevil = (notevil + 1067)/2;
  break;
case "z1068":
  notevil = (notevil + 1068)/2;
  break;
case "z1069":
  notevil = (notevil + 1069)/2;
  break;
case "z1070":
  notevil = (notevil + 1070)/2;
  break;
case "z1071":
  notevil = (notevil + 1071)/2;
  break;
case "z1072":
  notevil = (notevil + 1072)/2;
  break;
case "z1073":
  notevil = (notevil + 1073)/2;
  break;
case "z1074":
  notevil = (notevil + 1074)/2;
  break;
case "z1075":
  notevil = (notevil + 1075)/2;
  break;
case "z1076":
  notevil = (notevil + 1076)/2;
  break;
case "z1077":
  notevil = (notevil + 1077)/2;
  break;
case "z1078":
  notevil = (notevil + 1078)/2;
  break;
case "z1079":
  notevil = (notevil + 1079)/2;
  break;
case "z1080":
  notevil = (notevil + 1080)/2;
  break;
case "z1081":
  notevil = (notevil + 1081)/2;
  break;
case "z1082":
  notevil = (notevil + 1082)/2;
  break;
case "z1083":
  notevil = (notevil + 1083)/2;
  break;
case "z1084":
  notevil = (notevil + 1084)/2;
  break;
case "z1085":
  notevil = (notevil + 1085)/2;
  break;
case "z1086":
  notevil = (notevil + 1086)/2;
  break;
case "z1087":
  notevil = (notevil + 1087)/2;
  break;
case "z1088":
  notevil = (notevil + 1088)/2;
  break;
case "z1089":
  notevil = (notevil + 1089)/2;
  break;
case "z1090":
  notevil = (notevil + 1090)/2;
  break;
case "z1091":
  notevil = (notevil + 1091)/2;
  break;
case "z1092":
  notevil = (notevil + 1092)/2;
  break;
case "z1093":
  notevil = (notevil + 1093)/2;
  break;
case "z1094":
  notevil = (notevil + 1094)/2;
  break;
case "z1095":
  notevil = (notevil + 1095)/2;
  break;
case "z1096":
  notevil = (notevil + 1096)/2;
  break;
case "z1097":
  notevil = (notevil + 1097)/2;
  break;
case "z1098":
  notevil = (notevil + 1098)/2;
  break;
case "z1099":
  notevil = (notevil + 1099)/2;
  break;
case "z1100":
  notevil = (notevil + 1100)/2;
  break;
case "z1101":
  notevil = (notevil + 1101)/2;
  break;
case "z1102":
  notevil = (notevil + 1102)/2;
  break;
case "z1103":
  notevil = (notevil + 1103)/2;
  break;
case "z1104":
  notevil = (notevil + 1104)/2;
  break;
case "z1105":
  notevil = (notevil + 1105)/2;
  break;
case "z1106":
  notevil = (notevil + 1106)/2;
  break;
case "z1107":
  notevil = (notevil + 1107)/2;
  break;
case "z1108":
  notevil = (notevil + 1108)/2;
  break;
case "z1109":
  notevil = (notevil + 1109)/2;
  break;
case "z1110":
  notevil = (notevil + 1110)/2;
  break;
case "z1111":
  notevil = (notevil + 1111)/2;
  break;
case "z1112":
  notevil = (notevil + 1112)/2;
  break;
case "z1113":
  notevil = (notevil + 1113)/2;
  break;
case "z1114":
  notevil = (notevil + 1114)/2;
  break;
case "z1115":
  notevil = (notevil + 1115)/2;
  break;
case "z1116":
  notevil = (notevil + 1116)/2;
  break;
case "z1117":
  notevil = (notevil + 1117)/2;
  break;
case "z1118":
  notevil = (notevil + 1118)/2;
  break;
case "z1119":
  notevil = (notevil + 1119)/2;
  break;
case "z1120":
  notevil = (notevil + 1120)/2;
  break;
case "z1121":
  notevil = (notevil + 1121)/2;
  break;
case "z1122":
  notevil = (notevil + 1122)/2;
  break;
case "z1123":
  notevil = (notevil + 1123)/2;
  break;
case "z1124":
  notevil = (notevil + 1124)/2;
  break;
case "z1125":
  notevil = (notevil + 1125)/2;
  break;
case "z1126":
  notevil = (notevil + 1126)/2;
  break;
case "z1127":
  notevil = (notevil + 1127)/2;
  break;
case "z1128":
  notevil = (notevil + 1128)/2;
  break;
case "z1129":
  notevil = (notevil + 1129)/2;
  break;
case "z1130":
  notevil = (notevil + 1130)/2;
  break;
case "z1131":
  notevil = (notevil + 1131)/2;
  break;
case "z1132":
  notevil = (notevil + 1132)/2;
  break;
case "z1133":
  notevil = (notevil + 1133)/2;
  break;
case "z1134":
  notevil = (notevil + 1134)/2;
  break;
case "z1135":
  notevil = (notevil + 1135)/2;
  break;
case "z1136":
  notevil = (notevil + 1136)/2;
  break;
case "z1137":
  notevil = (notevil + 1137)/2;
  break;
case "z1138":
  notevil = (notevil + 1138)/2;
  break;
case "z1139":
  notevil = (notevil + 1139)/2;
  break;
case "z1140":
  notevil = (notevil + 1140)/2;
  break;
case "z1141":
  notevil = (notevil + 1141)/2;
  break;
case "z1142":
  notevil = (notevil + 1142)/2;
  break;
case "z1143":
  notevil = (notevil + 1143)/2;
  break;
case "z1144":
  notevil = (notevil + 1144)/2;
  break;
case "z1145":
  notevil = (notevil + 1145)/2;
  break;
case "z1146":
  notevil = (notevil + 1146)/2;
  break;
case "z1147":
  notevil = (notevil + 1147)/2;
  break;
case "z1148":
  notevil = (notevil + 1148)/2;
  break;
case "z1149":
  notevil = (notevil + 1149)/2;
  break;
case "z1150":
  notevil = (notevil + 1150)/2;
  break;
case "z1151":
  notevil = (notevil + 1151)/2;
  break;
case "z1152":
  notevil = (notevil + 1152)/2;
  break;
case "z1153":
  notevil = (notevil + 1153)/2;
  break;
case "z1154":
  notevil = (notevil + 1154)/2;
  break;
case "z1155":
  notevil = (notevil + 1155)/2;
  break;
case "z1156":
  notevil = (notevil + 1156)/2;
  break;
case "z1157":
  notevil = (notevil + 1157)/2;
  break;
case "z1158":
  notevil = (notevil + 1158)/2;
  break;
case "z1159":
  notevil = (notevil + 1159)/2;
  break;
case "z1160":
  notevil = (notevil + 1160)/2;
  break;
case "z1161":
  notevil = (notevil + 1161)/2;
  break;
case "z1162":
  notevil = (notevil + 1162)/2;
  break;
case "z1163":
  notevil = (notevil + 1163)/2;
  break;
case "z1164":
  notevil = (notevil + 1164)/2;
  break;
case "z1165":
  notevil = (notevil + 1165)/2;
  break;
case "z1166":
  notevil = (notevil + 1166)/2;
  break;
case "z1167":
  notevil = (notevil + 1167)/2;
  break;
case "z1168":
  notevil = (notevil + 1168)/2;
  break;
case "z1169":
  notevil = (notevil + 1169)/2;
  break;
case "z1170":
  notevil = (notevil + 1170)/2;
  break;
case "z1171":
  notevil = (notevil + 1171)/2;
  break;
case "z1172":
  notevil = (notevil + 1172)/2;
  break;
case "z1173":
  notevil = (notevil + 1173)/2;
  break;
case "z1174":
  notevil = (notevil + 1174)/2;
  break;
case "z1175":
  notevil = (notevil + 1175)/2;
  break;
case "z1176":
  notevil = (notevil + 1176)/2;
  break;
case "z1177":
  notevil = (notevil + 1177)/2;
  break;
case "z1178":
  notevil = (notevil + 1178)/2;
  break;
case "z1179":
  notevil = (notevil + 1179)/2;
  break;
case "z1180":
  notevil = (notevil + 1180)/2;
  break;
case "z1181":
  notevil = (notevil + 1181)/2;
  break;
case "z1182":
  notevil = (notevil + 1182)/2;
  break;
case "z1183":
  notevil = (notevil + 1183)/2;
  break;
case "z1184":
  notevil = (notevil + 1184)/2;
  break;
case "z1185":
  notevil = (notevil + 1185)/2;
  break;
case "z1186":
  notevil = (notevil + 1186)/2;
  break;
case "z1187":
  notevil = (notevil + 1187)/2;
  break;
case "z1188":
  notevil = (notevil + 1188)/2;
  break;
case "z1189":
  notevil = (notevil + 1189)/2;
  break;
case "z1190":
  notevil = (notevil + 1190)/2;
  break;
case "z1191":
  notevil = (notevil + 1191)/2;
  break;
case "z1192":
  notevil = (notevil + 1192)/2;
  break;
case "z1193":
  notevil = (notevil + 1193)/2;
  break;
case "z1194":
  notevil = (notevil + 1194)/2;
  break;
case "z1195":
  notevil = (notevil + 1195)/2;
  break;
case "z1196":
  notevil = (notevil + 1196)/2;
  break;
case "z1197":
  notevil = (notevil + 1197)/2;
  break;
case "z1198":
  notevil = (notevil + 1198)/2;
  break;
case "z1199":
  notevil = (notevil + 1199)/2;
  break;
case "z1200":
  notevil = (notevil + 1200)/2;
  break;
case "z1201":
  notevil = (notevil + 1201)/2;
  break;
case "z1202":
  notevil = (notevil + 1202)/2;
  break;
case "z1203":
  notevil = (notevil + 1203)/2;
  break;
case "z1204":
  notevil = (notevil + 1204)/2;
  break;
case "z1205":
  notevil = (notevil + 1205)/2;
  break;
case "z1206":
  notevil = (notevil + 1206)/2;
  break;
case "z1207":
  notevil = (notevil + 1207)/2;
  break;
case "z1208":
  notevil = (notevil + 1208)/2;
  break;
case "z1209":
  notevil = (notevil + 1209)/2;
  break;
case "z1210":
  notevil = (notevil + 1210)/2;
  break;
case "z1211":
  notevil = (notevil + 1211)/2;
  break;
case "z1212":
  notevil = (notevil + 1212)/2;
  break;
case "z1213":
  notevil = (notevil + 1213)/2;
  break;
case "z1214":
  notevil = (notevil + 1214)/2;
  break;
case "z1215":
  notevil = (notevil + 1215)/2;
  break;
case "z1216":
  notevil = (notevil + 1216)/2;
  break;
case "z1217":
  notevil = (notevil + 1217)/2;
  break;
case "z1218":
  notevil = (notevil + 1218)/2;
  break;
case "z1219":
  notevil = (notevil + 1219)/2;
  break;
case "z1220":
  notevil = (notevil + 1220)/2;
  break;
--> --------------------

--> maximum size reached

--> --------------------

Messung V0.5
C=95 H=39 G=72

¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.47Bemerkung:  ¤

*Eine klare Vorstellung vom Zielzustand






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.