#include <stdio.h>

#ifndef INLINE
#define INLINE
#endif

INLINE void
main1(const int i)
{
   switch(i) {
case 19: printf("#0010:case 1 19\n"); break;
case 20: printf("#0011:case 1 20\n"); break;
case 21: printf("#0012:case 1 21\n"); break;
case 22: printf("#0013:case 1 22\n"); break;
case 23: printf("#0014:case 1 23\n"); break;
case 24: printf("#0015:case 1 24\n"); break;
case 25: printf("#0016:case 1 25\n"); break;
case 26: printf("#0017:case 1 26\n"); break;
case 27: printf("#0018:case 1 27\n"); break;
case 28: printf("#0019:case 1 28\n"); break;
case 29: printf("#0020:case 1 29\n"); break;
case 30: printf("#0021:case 1 30\n"); break;
case 31: printf("#0022:case 1 31\n"); break;
case 32: printf("#0023:case 1 32\n"); break;
case 33: printf("#0024:case 1 33\n"); break;
case 34: printf("#0025:case 1 34\n"); break;
case 35: printf("#0026:case 1 35\n"); break;
case 36: printf("#0027:case 1 36\n"); break;
case 37: printf("#0028:case 1 37\n"); break;
case 38: printf("#0029:case 1 38\n"); break;
case 39: printf("#0030:case 1 39\n"); break;
case 40: printf("#0031:case 1 40\n"); break;
case 41: printf("#0032:case 1 41\n"); break;
case 42: printf("#0033:case 1 42\n"); break;
case 43: printf("#0034:case 1 43\n"); break;
case 44: printf("#0035:case 1 44\n"); break;
case 45: printf("#0036:case 1 45\n"); break;
case 46: printf("#0037:case 1 46\n"); break;
case 47: printf("#0038:case 1 47\n"); break;
case 48: printf("#0039:case 1 48\n"); break;
case 49: printf("#0040:case 1 49\n"); break;
case 50: printf("#0041:case 1 50\n"); break;
case 51: printf("#0042:case 1 51\n"); break;
case 52: printf("#0043:case 1 52\n"); break;
case 53: printf("#0044:case 1 53\n"); break;
case 54: printf("#0045:case 1 54\n"); break;
case 55: printf("#0046:case 1 55\n"); break;
case 56: printf("#0047:case 1 56\n"); break;
case 57: printf("#0048:case 1 57\n"); break;
case 58: printf("#0049:case 1 58\n"); break;
case 59: printf("#0050:case 1 59\n"); break;
case 60: printf("#0051:case 1 60\n"); break;
case 61: printf("#0052:case 1 61\n"); break;
case 62: printf("#0053:case 1 62\n"); break;
case 63: printf("#0054:case 1 63\n"); break;
case 64: printf("#0055:case 1 64\n"); break;
case 65: printf("#0056:case 1 65\n"); break;
case 66: printf("#0057:case 1 66\n"); break;
case 67: printf("#0058:case 1 67\n"); break;
case 68: printf("#0059:case 1 68\n"); break;
case 69: printf("#0060:case 1 69\n"); break;
case 70: printf("#0061:case 1 70\n"); break;
case 71: printf("#0062:case 1 71\n"); break;
case 72: printf("#0063:case 1 72\n"); break;
case 73: printf("#0064:case 1 73\n"); break;
case 74: printf("#0065:case 1 74\n"); break;
case 75: printf("#0066:case 1 75\n"); break;
case 76: printf("#0067:case 1 76\n"); break;
case 77: printf("#0068:case 1 77\n"); break;
case 78: printf("#0069:case 1 78\n"); break;
case 79: printf("#0070:case 1 79\n"); break;
case 80: printf("#0071:case 1 80\n"); break;
case 81: printf("#0072:case 1 81\n"); break;
case 82: printf("#0073:case 1 82\n"); break;
case 83: printf("#0074:case 1 83\n"); break;
case 84: printf("#0075:case 1 84\n"); break;
case 85: printf("#0076:case 1 85\n"); break;
case 86: printf("#0077:case 1 86\n"); break;
case 87: printf("#0078:case 1 87\n"); break;
case 88: printf("#0079:case 1 88\n"); break;
case 89: printf("#0080:case 1 89\n"); break;
case 90: printf("#0081:case 1 90\n"); break;
case 91: printf("#0082:case 1 91\n"); break;
case 92: printf("#0083:case 1 92\n"); break;
case 93: printf("#0084:case 1 93\n"); break;
case 94: printf("#0085:case 1 94\n"); break;
case 95: printf("#0086:case 1 95\n"); break;
case 96: printf("#0087:case 1 96\n"); break;
case 97: printf("#0088:case 1 97\n"); break;
case 98: printf("#0089:case 1 98\n"); break;
case 99: printf("#0090:case 1 99\n"); break;
case 100: printf("#0091:case 1 100\n"); break;
case 101: printf("#0092:case 1 101\n"); break;
case 102: printf("#0093:case 1 102\n"); break;
case 103: printf("#0094:case 1 103\n"); break;
case 104: printf("#0095:case 1 104\n"); break;
case 105: printf("#0096:case 1 105\n"); break;
case 106: printf("#0097:case 1 106\n"); break;
case 107: printf("#0098:case 1 107\n"); break;
case 108: printf("#0099:case 1 108\n"); break;
case 109: printf("#0100:case 1 109\n"); break;
case 110: printf("#0101:case 1 110\n"); break;
case 111: printf("#0102:case 1 111\n"); break;
case 112: printf("#0103:case 1 112\n"); break;
case 113: printf("#0104:case 1 113\n"); break;
case 114: printf("#0105:case 1 114\n"); break;
case 115: printf("#0106:case 1 115\n"); break;
case 116: printf("#0107:case 1 116\n"); break;
case 117: printf("#0108:case 1 117\n"); break;
case 118: printf("#0109:case 1 118\n"); break;
case 119: printf("#0110:case 1 119\n"); break;
case 120: printf("#0111:case 1 120\n"); break;
case 121: printf("#0112:case 1 121\n"); break;
case 122: printf("#0113:case 1 122\n"); break;
case 123: printf("#0114:case 1 123\n"); break;
case 124: printf("#0115:case 1 124\n"); break;
case 125: printf("#0116:case 1 125\n"); break;
case 126: printf("#0117:case 1 126\n"); break;
case 127: printf("#0118:case 1 127\n"); break;
case 128: printf("#0119:case 1 128\n"); break;
case 129: printf("#0120:case 1 129\n"); break;
case 130: printf("#0121:case 1 130\n"); break;
case 131: printf("#0122:case 1 131\n"); break;
case 132: printf("#0123:case 1 132\n"); break;
case 133: printf("#0124:case 1 133\n"); break;
case 134: printf("#0125:case 1 134\n"); break;
case 135: printf("#0126:case 1 135\n"); break;
case 136: printf("#0127:case 1 136\n"); break;
case 137: printf("#0128:case 1 137\n"); break;
case 138: printf("#0129:case 1 138\n"); break;
case 139: printf("#0130:case 1 139\n"); break;
case 140: printf("#0131:case 1 140\n"); break;
case 141: printf("#0132:case 1 141\n"); break;
case 142: printf("#0133:case 1 142\n"); break;
case 143: printf("#0134:case 1 143\n"); break;
case 144: printf("#0135:case 1 144\n"); break;
case 145: printf("#0136:case 1 145\n"); break;
case 146: printf("#0137:case 1 146\n"); break;
case 147: printf("#0138:case 1 147\n"); break;
case 148: printf("#0139:case 1 148\n"); break;
case 149: printf("#0140:case 1 149\n"); break;
case 150: printf("#0141:case 1 150\n"); break;
case 151: printf("#0142:case 1 151\n"); break;
case 152: printf("#0143:case 1 152\n"); break;
case 153: printf("#0144:case 1 153\n"); break;
case 154: printf("#0145:case 1 154\n"); break;
case 155: printf("#0146:case 1 155\n"); break;
case 156: printf("#0147:case 1 156\n"); break;
case 157: printf("#0148:case 1 157\n"); break;
case 158: printf("#0149:case 1 158\n"); break;
case 159: printf("#0150:case 1 159\n"); break;
case 160: printf("#0151:case 1 160\n"); break;
case 161: printf("#0152:case 1 161\n"); break;
case 162: printf("#0153:case 1 162\n"); break;
case 163: printf("#0154:case 1 163\n"); break;
case 164: printf("#0155:case 1 164\n"); break;
case 165: printf("#0156:case 1 165\n"); break;
case 166: printf("#0157:case 1 166\n"); break;
case 167: printf("#0158:case 1 167\n"); break;
case 168: printf("#0159:case 1 168\n"); break;
case 169: printf("#0160:case 1 169\n"); break;
case 170: printf("#0161:case 1 170\n"); break;
case 171: printf("#0162:case 1 171\n"); break;
case 172: printf("#0163:case 1 172\n"); break;
case 173: printf("#0164:case 1 173\n"); break;
case 174: printf("#0165:case 1 174\n"); break;
case 175: printf("#0166:case 1 175\n"); break;
case 176: printf("#0167:case 1 176\n"); break;
case 177: printf("#0168:case 1 177\n"); break;
case 178: printf("#0169:case 1 178\n"); break;
case 179: printf("#0170:case 1 179\n"); break;
case 180: printf("#0171:case 1 180\n"); break;
case 181: printf("#0172:case 1 181\n"); break;
case 182: printf("#0173:case 1 182\n"); break;
case 183: printf("#0174:case 1 183\n"); break;
case 184: printf("#0175:case 1 184\n"); break;
case 185: printf("#0176:case 1 185\n"); break;
case 186: printf("#0177:case 1 186\n"); break;
case 187: printf("#0178:case 1 187\n"); break;
case 188: printf("#0179:case 1 188\n"); break;
case 189: printf("#0180:case 1 189\n"); break;
case 190: printf("#0181:case 1 190\n"); break;
case 191: printf("#0182:case 1 191\n"); break;
case 192: printf("#0183:case 1 192\n"); break;
case 193: printf("#0184:case 1 193\n"); break;
case 194: printf("#0185:case 1 194\n"); break;
case 195: printf("#0186:case 1 195\n"); break;
case 196: printf("#0187:case 1 196\n"); break;
case 197: printf("#0188:case 1 197\n"); break;
case 198: printf("#0189:case 1 198\n"); break;
case 199: printf("#0190:case 1 199\n"); break;
case 200: printf("#0191:case 1 200\n"); break;
case 201: printf("#0192:case 1 201\n"); break;
case 202: printf("#0193:case 1 202\n"); break;
case 203: printf("#0194:case 1 203\n"); break;
case 204: printf("#0195:case 1 204\n"); break;
case 205: printf("#0196:case 1 205\n"); break;
case 206: printf("#0197:case 1 206\n"); break;
case 207: printf("#0198:case 1 207\n"); break;
case 208: printf("#0199:case 1 208\n"); break;
case 209: printf("#0200:case 1 209\n"); break;
case 210: printf("#0201:case 1 210\n"); break;
case 211: printf("#0202:case 1 211\n"); break;
case 212: printf("#0203:case 1 212\n"); break;
case 213: printf("#0204:case 1 213\n"); break;
case 214: printf("#0205:case 1 214\n"); break;
case 215: printf("#0206:case 1 215\n"); break;
case 216: printf("#0207:case 1 216\n"); break;
case 217: printf("#0208:case 1 217\n"); break;
case 218: printf("#0209:case 1 218\n"); break;
case 219: printf("#0210:case 1 219\n"); break;
case 220: printf("#0211:case 1 220\n"); break;
case 221: printf("#0212:case 1 221\n"); break;
case 222: printf("#0213:case 1 222\n"); break;
case 223: printf("#0214:case 1 223\n"); break;
case 224: printf("#0215:case 1 224\n"); break;
case 225: printf("#0216:case 1 225\n"); break;
case 226: printf("#0217:case 1 226\n"); break;
case 227: printf("#0218:case 1 227\n"); break;
case 228: printf("#0219:case 1 228\n"); break;
case 229: printf("#0220:case 1 229\n"); break;
case 230: printf("#0221:case 1 230\n"); break;
case 231: printf("#0222:case 1 231\n"); break;
case 232: printf("#0223:case 1 232\n"); break;
case 233: printf("#0224:case 1 233\n"); break;
case 234: printf("#0225:case 1 234\n"); break;
case 235: printf("#0226:case 1 235\n"); break;
case 236: printf("#0227:case 1 236\n"); break;
case 237: printf("#0228:case 1 237\n"); break;
case 238: printf("#0229:case 1 238\n"); break;
case 239: printf("#0230:case 1 239\n"); break;
case 240: printf("#0231:case 1 240\n"); break;
case 241: printf("#0232:case 1 241\n"); break;
case 242: printf("#0233:case 1 242\n"); break;
case 243: printf("#0234:case 1 243\n"); break;
case 244: printf("#0235:case 1 244\n"); break;
case 245: printf("#0236:case 1 245\n"); break;
case 246: printf("#0237:case 1 246\n"); break;
case 247: printf("#0238:case 1 247\n"); break;
case 248: printf("#0239:case 1 248\n"); break;
case 249: printf("#0240:case 1 249\n"); break;
case 250: printf("#0241:case 1 250\n"); break;
case 251: printf("#0242:case 1 251\n"); break;
case 252: printf("#0243:case 1 252\n"); break;
case 253: printf("#0244:case 1 253\n"); break;
case 254: printf("#0245:case 1 254\n"); break;
case 255: printf("#0246:case 1 255\n"); break;
case 256: printf("#0247:case 1 256\n"); break;
case 257: printf("#0248:case 1 257\n"); break;
case 258: printf("#0249:case 1 258\n"); break;
case 259: printf("#0250:case 1 259\n"); break;
case 260: printf("#0251:case 1 260\n"); break;
case 261: printf("#0252:case 1 261\n"); break;
case 262: printf("#0253:case 1 262\n"); break;
case 263: printf("#0254:case 1 263\n"); break;
case 264: printf("#0255:case 1 264\n"); break;
case 265: printf("#0256:case 1 265\n"); break;
case 266: printf("#0257:case 1 266\n"); break;
case 267: printf("#0258:case 1 267\n"); break;
case 268: printf("#0259:case 1 268\n"); break;
case 269: printf("#0260:case 1 269\n"); break;
case 270: printf("#0261:case 1 270\n"); break;
case 271: printf("#0262:case 1 271\n"); break;
case 272: printf("#0263:case 1 272\n"); break;
case 273: printf("#0264:case 1 273\n"); break;
case 274: printf("#0265:case 1 274\n"); break;
case 275: printf("#0266:case 1 275\n"); break;
case 276: printf("#0267:case 1 276\n"); break;
case 277: printf("#0268:case 1 277\n"); break;
case 278: printf("#0269:case 1 278\n"); break;
case 279: printf("#0270:case 1 279\n"); break;
case 280: printf("#0271:case 1 280\n"); break;
case 281: printf("#0272:case 1 281\n"); break;
case 282: printf("#0273:case 1 282\n"); break;
case 283: printf("#0274:case 1 283\n"); break;
case 284: printf("#0275:case 1 284\n"); break;
case 285: printf("#0276:case 1 285\n"); break;
case 286: printf("#0277:case 1 286\n"); break;
case 287: printf("#0278:case 1 287\n"); break;
case 288: printf("#0279:case 1 288\n"); break;
case 289: printf("#0280:case 1 289\n"); break;
case 290: printf("#0281:case 1 290\n"); break;
case 291: printf("#0282:case 1 291\n"); break;
case 292: printf("#0283:case 1 292\n"); break;
case 293: printf("#0284:case 1 293\n"); break;
case 294: printf("#0285:case 1 294\n"); break;
case 295: printf("#0286:case 1 295\n"); break;
case 296: printf("#0287:case 1 296\n"); break;
case 297: printf("#0288:case 1 297\n"); break;
case 298: printf("#0289:case 1 298\n"); break;
case 299: printf("#0290:case 1 299\n"); break;
case 300: printf("#0291:case 1 300\n"); break;
case 301: printf("#0292:case 1 301\n"); break;
case 302: printf("#0293:case 1 302\n"); break;
case 303: printf("#0294:case 1 303\n"); break;
case 304: printf("#0295:case 1 304\n"); break;
case 305: printf("#0296:case 1 305\n"); break;
case 306: printf("#0297:case 1 306\n"); break;
case 307: printf("#0298:case 1 307\n"); break;
case 308: printf("#0299:case 1 308\n"); break;
case 309: printf("#0300:case 1 309\n"); break;
case 310: printf("#0301:case 1 310\n"); break;
case 311: printf("#0302:case 1 311\n"); break;
case 312: printf("#0303:case 1 312\n"); break;
case 313: printf("#0304:case 1 313\n"); break;
case 314: printf("#0305:case 1 314\n"); break;
case 315: printf("#0306:case 1 315\n"); break;
case 316: printf("#0307:case 1 316\n"); break;
case 317: printf("#0308:case 1 317\n"); break;
case 318: printf("#0309:case 1 318\n"); break;
case 319: printf("#0310:case 1 319\n"); break;
case 320: printf("#0311:case 1 320\n"); break;
case 321: printf("#0312:case 1 321\n"); break;
case 322: printf("#0313:case 1 322\n"); break;
case 323: printf("#0314:case 1 323\n"); break;
case 324: printf("#0315:case 1 324\n"); break;
case 325: printf("#0316:case 1 325\n"); break;
case 326: printf("#0317:case 1 326\n"); break;
case 327: printf("#0318:case 1 327\n"); break;
case 328: printf("#0319:case 1 328\n"); break;
case 329: printf("#0320:case 1 329\n"); break;
case 330: printf("#0321:case 1 330\n"); break;
case 331: printf("#0322:case 1 331\n"); break;
case 332: printf("#0323:case 1 332\n"); break;
case 333: printf("#0324:case 1 333\n"); break;
case 334: printf("#0325:case 1 334\n"); break;
case 335: printf("#0326:case 1 335\n"); break;
case 336: printf("#0327:case 1 336\n"); break;
case 337: printf("#0328:case 1 337\n"); break;
case 338: printf("#0329:case 1 338\n"); break;
case 339: printf("#0330:case 1 339\n"); break;
case 340: printf("#0331:case 1 340\n"); break;
case 341: printf("#0332:case 1 341\n"); break;
case 342: printf("#0333:case 1 342\n"); break;
case 343: printf("#0334:case 1 343\n"); break;
case 344: printf("#0335:case 1 344\n"); break;
case 345: printf("#0336:case 1 345\n"); break;
case 346: printf("#0337:case 1 346\n"); break;
case 347: printf("#0338:case 1 347\n"); break;
case 348: printf("#0339:case 1 348\n"); break;
case 349: printf("#0340:case 1 349\n"); break;
case 350: printf("#0341:case 1 350\n"); break;
case 351: printf("#0342:case 1 351\n"); break;
case 352: printf("#0343:case 1 352\n"); break;
case 353: printf("#0344:case 1 353\n"); break;
case 354: printf("#0345:case 1 354\n"); break;
case 355: printf("#0346:case 1 355\n"); break;
case 356: printf("#0347:case 1 356\n"); break;
case 357: printf("#0348:case 1 357\n"); break;
case 358: printf("#0349:case 1 358\n"); break;
case 359: printf("#0350:case 1 359\n"); break;
case 360: printf("#0351:case 1 360\n"); break;
case 361: printf("#0352:case 1 361\n"); break;
case 362: printf("#0353:case 1 362\n"); break;
case 363: printf("#0354:case 1 363\n"); break;
case 364: printf("#0355:case 1 364\n"); break;
case 365: printf("#0356:case 1 365\n"); break;
case 366: printf("#0357:case 1 366\n"); break;
case 367: printf("#0358:case 1 367\n"); break;
case 368: printf("#0359:case 1 368\n"); break;
case 369: printf("#0360:case 1 369\n"); break;
case 370: printf("#0361:case 1 370\n"); break;
case 371: printf("#0362:case 1 371\n"); break;
case 372: printf("#0363:case 1 372\n"); break;
case 373: printf("#0364:case 1 373\n"); break;
case 374: printf("#0365:case 1 374\n"); break;
case 375: printf("#0366:case 1 375\n"); break;
case 376: printf("#0367:case 1 376\n"); break;
case 377: printf("#0368:case 1 377\n"); break;
case 378: printf("#0369:case 1 378\n"); break;
case 379: printf("#0370:case 1 379\n"); break;
case 380: printf("#0371:case 1 380\n"); break;
case 381: printf("#0372:case 1 381\n"); break;
case 382: printf("#0373:case 1 382\n"); break;
case 383: printf("#0374:case 1 383\n"); break;
case 384: printf("#0375:case 1 384\n"); break;
case 385: printf("#0376:case 1 385\n"); break;
case 386: printf("#0377:case 1 386\n"); break;
case 387: printf("#0378:case 1 387\n"); break;
case 388: printf("#0379:case 1 388\n"); break;
case 389: printf("#0380:case 1 389\n"); break;
case 390: printf("#0381:case 1 390\n"); break;
case 391: printf("#0382:case 1 391\n"); break;
case 392: printf("#0383:case 1 392\n"); break;
case 393: printf("#0384:case 1 393\n"); break;
case 394: printf("#0385:case 1 394\n"); break;
case 395: printf("#0386:case 1 395\n"); break;
case 396: printf("#0387:case 1 396\n"); break;
case 397: printf("#0388:case 1 397\n"); break;
case 398: printf("#0389:case 1 398\n"); break;
case 399: printf("#0390:case 1 399\n"); break;
   }
}
INLINE void
main2(const int i)
{
   switch(i) {
case -205: printf("#0397:case 2 -205\n"); break;
case -195: printf("#0398:case 2 -195\n"); break;
case -185: printf("#0399:case 2 -185\n"); break;
case -175: printf("#0400:case 2 -175\n"); break;
case -165: printf("#0401:case 2 -165\n"); break;
case -155: printf("#0402:case 2 -155\n"); break;
case -145: printf("#0403:case 2 -145\n"); break;
case -135: printf("#0404:case 2 -135\n"); break;
case -125: printf("#0405:case 2 -125\n"); break;
case -115: printf("#0406:case 2 -115\n"); break;
case -105: printf("#0407:case 2 -105\n"); break;
case -95: printf("#0408:case 2 -95\n"); break;
case -85: printf("#0409:case 2 -85\n"); break;
case -75: printf("#0410:case 2 -75\n"); break;
case -65: printf("#0411:case 2 -65\n"); break;
case -55: printf("#0412:case 2 -55\n"); break;
case -45: printf("#0413:case 2 -45\n"); break;
case -35: printf("#0414:case 2 -35\n"); break;
case -25: printf("#0415:case 2 -25\n"); break;
case -15: printf("#0416:case 2 -15\n"); break;
case -5: printf("#0417:case 2 -5\n"); break;
case 5: printf("#0418:case 2 5\n"); break;
case 15: printf("#0419:case 2 15\n"); break;
case 25: printf("#0420:case 2 25\n"); break;
case 35: printf("#0421:case 2 35\n"); break;
case 45: printf("#0422:case 2 45\n"); break;
case 55: printf("#0423:case 2 55\n"); break;
case 65: printf("#0424:case 2 65\n"); break;
case 75: printf("#0425:case 2 75\n"); break;
case 85: printf("#0426:case 2 85\n"); break;
case 95: printf("#0427:case 2 95\n"); break;
case 105: printf("#0428:case 2 105\n"); break;
case 115: printf("#0429:case 2 115\n"); break;
case 125: printf("#0430:case 2 125\n"); break;
case 135: printf("#0431:case 2 135\n"); break;
case 145: printf("#0432:case 2 145\n"); break;
case 155: printf("#0433:case 2 155\n"); break;
case 165: printf("#0434:case 2 165\n"); break;
case 175: printf("#0435:case 2 175\n"); break;
case 185: printf("#0436:case 2 185\n"); break;
case 195: printf("#0437:case 2 195\n"); break;
case 205: printf("#0438:case 2 205\n"); break;
case 215: printf("#0439:case 2 215\n"); break;
case 225: printf("#0440:case 2 225\n"); break;
case 235: printf("#0441:case 2 235\n"); break;
case 245: printf("#0442:case 2 245\n"); break;
case 255: printf("#0443:case 2 255\n"); break;
case 265: printf("#0444:case 2 265\n"); break;
case 275: printf("#0445:case 2 275\n"); break;
case 285: printf("#0446:case 2 285\n"); break;
case 295: printf("#0447:case 2 295\n"); break;
case 305: printf("#0448:case 2 305\n"); break;
case 315: printf("#0449:case 2 315\n"); break;
case 325: printf("#0450:case 2 325\n"); break;
case 335: printf("#0451:case 2 335\n"); break;
case 345: printf("#0452:case 2 345\n"); break;
case 355: printf("#0453:case 2 355\n"); break;
case 365: printf("#0454:case 2 365\n"); break;
case 375: printf("#0455:case 2 375\n"); break;
case 385: printf("#0456:case 2 385\n"); break;
case 395: printf("#0457:case 2 395\n"); break;
case 405: printf("#0458:case 2 405\n"); break;
case 415: printf("#0459:case 2 415\n"); break;
case 425: printf("#0460:case 2 425\n"); break;
case 435: printf("#0461:case 2 435\n"); break;
case 445: printf("#0462:case 2 445\n"); break;
case 455: printf("#0463:case 2 455\n"); break;
case 465: printf("#0464:case 2 465\n"); break;
case 475: printf("#0465:case 2 475\n"); break;
case 485: printf("#0466:case 2 485\n"); break;
case 495: printf("#0467:case 2 495\n"); break;
case 505: printf("#0468:case 2 505\n"); break;
case 515: printf("#0469:case 2 515\n"); break;
case 525: printf("#0470:case 2 525\n"); break;
case 535: printf("#0471:case 2 535\n"); break;
case 545: printf("#0472:case 2 545\n"); break;
case 555: printf("#0473:case 2 555\n"); break;
case 565: printf("#0474:case 2 565\n"); break;
case 575: printf("#0475:case 2 575\n"); break;
case 585: printf("#0476:case 2 585\n"); break;
case 595: printf("#0477:case 2 595\n"); break;
case 605: printf("#0478:case 2 605\n"); break;
case 615: printf("#0479:case 2 615\n"); break;
case 625: printf("#0480:case 2 625\n"); break;
case 635: printf("#0481:case 2 635\n"); break;
case 645: printf("#0482:case 2 645\n"); break;
case 655: printf("#0483:case 2 655\n"); break;
case 665: printf("#0484:case 2 665\n"); break;
case 675: printf("#0485:case 2 675\n"); break;
case 685: printf("#0486:case 2 685\n"); break;
case 695: printf("#0487:case 2 695\n"); break;
case 705: printf("#0488:case 2 705\n"); break;
case 715: printf("#0489:case 2 715\n"); break;
case 725: printf("#0490:case 2 725\n"); break;
case 735: printf("#0491:case 2 735\n"); break;
case 745: printf("#0492:case 2 745\n"); break;
case 755: printf("#0493:case 2 755\n"); break;
case 765: printf("#0494:case 2 765\n"); break;
case 775: printf("#0495:case 2 775\n"); break;
case 785: printf("#0496:case 2 785\n"); break;
case 795: printf("#0497:case 2 795\n"); break;
case 805: printf("#0498:case 2 805\n"); break;
case 815: printf("#0499:case 2 815\n"); break;
case 825: printf("#0500:case 2 825\n"); break;
case 835: printf("#0501:case 2 835\n"); break;
case 845: printf("#0502:case 2 845\n"); break;
case 855: printf("#0503:case 2 855\n"); break;
case 865: printf("#0504:case 2 865\n"); break;
case 875: printf("#0505:case 2 875\n"); break;
case 885: printf("#0506:case 2 885\n"); break;
case 895: printf("#0507:case 2 895\n"); break;
case 905: printf("#0508:case 2 905\n"); break;
case 915: printf("#0509:case 2 915\n"); break;
case 925: printf("#0510:case 2 925\n"); break;
case 935: printf("#0511:case 2 935\n"); break;
case 945: printf("#0512:case 2 945\n"); break;
case 955: printf("#0513:case 2 955\n"); break;
case 965: printf("#0514:case 2 965\n"); break;
case 975: printf("#0515:case 2 975\n"); break;
case 985: printf("#0516:case 2 985\n"); break;
case 995: printf("#0517:case 2 995\n"); break;
case 1005: printf("#0518:case 2 1005\n"); break;
case 1015: printf("#0519:case 2 1015\n"); break;
case 1025: printf("#0520:case 2 1025\n"); break;
case 1035: printf("#0521:case 2 1035\n"); break;
case 1045: printf("#0522:case 2 1045\n"); break;
case 1055: printf("#0523:case 2 1055\n"); break;
case 1065: printf("#0524:case 2 1065\n"); break;
case 1075: printf("#0525:case 2 1075\n"); break;
case 1085: printf("#0526:case 2 1085\n"); break;
case 1095: printf("#0527:case 2 1095\n"); break;
case 1105: printf("#0528:case 2 1105\n"); break;
case 1115: printf("#0529:case 2 1115\n"); break;
case 1125: printf("#0530:case 2 1125\n"); break;
case 1135: printf("#0531:case 2 1135\n"); break;
case 1145: printf("#0532:case 2 1145\n"); break;
case 1155: printf("#0533:case 2 1155\n"); break;
case 1165: printf("#0534:case 2 1165\n"); break;
case 1175: printf("#0535:case 2 1175\n"); break;
case 1185: printf("#0536:case 2 1185\n"); break;
case 1195: printf("#0537:case 2 1195\n"); break;
case 1205: printf("#0538:case 2 1205\n"); break;
case 1215: printf("#0539:case 2 1215\n"); break;
case 1225: printf("#0540:case 2 1225\n"); break;
case 1235: printf("#0541:case 2 1235\n"); break;
case 1245: printf("#0542:case 2 1245\n"); break;
case 1255: printf("#0543:case 2 1255\n"); break;
case 1265: printf("#0544:case 2 1265\n"); break;
case 1275: printf("#0545:case 2 1275\n"); break;
case 1285: printf("#0546:case 2 1285\n"); break;
case 1295: printf("#0547:case 2 1295\n"); break;
case 1305: printf("#0548:case 2 1305\n"); break;
case 1315: printf("#0549:case 2 1315\n"); break;
case 1325: printf("#0550:case 2 1325\n"); break;
case 1335: printf("#0551:case 2 1335\n"); break;
case 1345: printf("#0552:case 2 1345\n"); break;
case 1355: printf("#0553:case 2 1355\n"); break;
case 1365: printf("#0554:case 2 1365\n"); break;
case 1375: printf("#0555:case 2 1375\n"); break;
case 1385: printf("#0556:case 2 1385\n"); break;
case 1395: printf("#0557:case 2 1395\n"); break;
case 1405: printf("#0558:case 2 1405\n"); break;
case 1415: printf("#0559:case 2 1415\n"); break;
case 1425: printf("#0560:case 2 1425\n"); break;
case 1435: printf("#0561:case 2 1435\n"); break;
case 1445: printf("#0562:case 2 1445\n"); break;
case 1455: printf("#0563:case 2 1455\n"); break;
case 1465: printf("#0564:case 2 1465\n"); break;
case 1475: printf("#0565:case 2 1475\n"); break;
case 1485: printf("#0566:case 2 1485\n"); break;
case 1495: printf("#0567:case 2 1495\n"); break;
case 1505: printf("#0568:case 2 1505\n"); break;
case 1515: printf("#0569:case 2 1515\n"); break;
case 1525: printf("#0570:case 2 1525\n"); break;
case 1535: printf("#0571:case 2 1535\n"); break;
case 1545: printf("#0572:case 2 1545\n"); break;
case 1555: printf("#0573:case 2 1555\n"); break;
case 1565: printf("#0574:case 2 1565\n"); break;
case 1575: printf("#0575:case 2 1575\n"); break;
case 1585: printf("#0576:case 2 1585\n"); break;
case 1595: printf("#0577:case 2 1595\n"); break;
case 1605: printf("#0578:case 2 1605\n"); break;
case 1615: printf("#0579:case 2 1615\n"); break;
case 1625: printf("#0580:case 2 1625\n"); break;
case 1635: printf("#0581:case 2 1635\n"); break;
case 1645: printf("#0582:case 2 1645\n"); break;
case 1655: printf("#0583:case 2 1655\n"); break;
case 1665: printf("#0584:case 2 1665\n"); break;
case 1675: printf("#0585:case 2 1675\n"); break;
case 1685: printf("#0586:case 2 1685\n"); break;
case 1695: printf("#0587:case 2 1695\n"); break;
case 1705: printf("#0588:case 2 1705\n"); break;
case 1715: printf("#0589:case 2 1715\n"); break;
case 1725: printf("#0590:case 2 1725\n"); break;
case 1735: printf("#0591:case 2 1735\n"); break;
case 1745: printf("#0592:case 2 1745\n"); break;
case 1755: printf("#0593:case 2 1755\n"); break;
case 1765: printf("#0594:case 2 1765\n"); break;
case 1775: printf("#0595:case 2 1775\n"); break;
case 1785: printf("#0596:case 2 1785\n"); break;
case 1795: printf("#0597:case 2 1795\n"); break;
case 1805: printf("#0598:case 2 1805\n"); break;
case 1815: printf("#0599:case 2 1815\n"); break;
case 1825: printf("#0600:case 2 1825\n"); break;
case 1835: printf("#0601:case 2 1835\n"); break;
case 1845: printf("#0602:case 2 1845\n"); break;
case 1855: printf("#0603:case 2 1855\n"); break;
case 1865: printf("#0604:case 2 1865\n"); break;
case 1875: printf("#0605:case 2 1875\n"); break;
case 1885: printf("#0606:case 2 1885\n"); break;
case 1895: printf("#0607:case 2 1895\n"); break;
case 1905: printf("#0608:case 2 1905\n"); break;
case 1915: printf("#0609:case 2 1915\n"); break;
case 1925: printf("#0610:case 2 1925\n"); break;
case 1935: printf("#0611:case 2 1935\n"); break;
case 1945: printf("#0612:case 2 1945\n"); break;
case 1955: printf("#0613:case 2 1955\n"); break;
case 1965: printf("#0614:case 2 1965\n"); break;
case 1975: printf("#0615:case 2 1975\n"); break;
case 1985: printf("#0616:case 2 1985\n"); break;
case 1995: printf("#0617:case 2 1995\n"); break;
case 2005: printf("#0618:case 2 2005\n"); break;
case 2015: printf("#0619:case 2 2015\n"); break;
case 2025: printf("#0620:case 2 2025\n"); break;
case 2035: printf("#0621:case 2 2035\n"); break;
case 2045: printf("#0622:case 2 2045\n"); break;
case 2055: printf("#0623:case 2 2055\n"); break;
case 2065: printf("#0624:case 2 2065\n"); break;
case 2075: printf("#0625:case 2 2075\n"); break;
case 2085: printf("#0626:case 2 2085\n"); break;
case 2095: printf("#0627:case 2 2095\n"); break;
case 2105: printf("#0628:case 2 2105\n"); break;
case 2115: printf("#0629:case 2 2115\n"); break;
case 2125: printf("#0630:case 2 2125\n"); break;
case 2135: printf("#0631:case 2 2135\n"); break;
case 2145: printf("#0632:case 2 2145\n"); break;
case 2155: printf("#0633:case 2 2155\n"); break;
case 2165: printf("#0634:case 2 2165\n"); break;
case 2175: printf("#0635:case 2 2175\n"); break;
case 2185: printf("#0636:case 2 2185\n"); break;
case 2195: printf("#0637:case 2 2195\n"); break;
case 2205: printf("#0638:case 2 2205\n"); break;
case 2215: printf("#0639:case 2 2215\n"); break;
case 2225: printf("#0640:case 2 2225\n"); break;
case 2235: printf("#0641:case 2 2235\n"); break;
case 2245: printf("#0642:case 2 2245\n"); break;
case 2255: printf("#0643:case 2 2255\n"); break;
case 2265: printf("#0644:case 2 2265\n"); break;
case 2275: printf("#0645:case 2 2275\n"); break;
case 2285: printf("#0646:case 2 2285\n"); break;
case 2295: printf("#0647:case 2 2295\n"); break;
case 2305: printf("#0648:case 2 2305\n"); break;
case 2315: printf("#0649:case 2 2315\n"); break;
case 2325: printf("#0650:case 2 2325\n"); break;
case 2335: printf("#0651:case 2 2335\n"); break;
case 2345: printf("#0652:case 2 2345\n"); break;
case 2355: printf("#0653:case 2 2355\n"); break;
case 2365: printf("#0654:case 2 2365\n"); break;
case 2375: printf("#0655:case 2 2375\n"); break;
case 2385: printf("#0656:case 2 2385\n"); break;
case 2395: printf("#0657:case 2 2395\n"); break;
case 2405: printf("#0658:case 2 2405\n"); break;
case 2415: printf("#0659:case 2 2415\n"); break;
case 2425: printf("#0660:case 2 2425\n"); break;
case 2435: printf("#0661:case 2 2435\n"); break;
case 2445: printf("#0662:case 2 2445\n"); break;
case 2455: printf("#0663:case 2 2455\n"); break;
case 2465: printf("#0664:case 2 2465\n"); break;
case 2475: printf("#0665:case 2 2475\n"); break;
case 2485: printf("#0666:case 2 2485\n"); break;
case 2495: printf("#0667:case 2 2495\n"); break;
case 2505: printf("#0668:case 2 2505\n"); break;
case 2515: printf("#0669:case 2 2515\n"); break;
case 2525: printf("#0670:case 2 2525\n"); break;
case 2535: printf("#0671:case 2 2535\n"); break;
case 2545: printf("#0672:case 2 2545\n"); break;
case 2555: printf("#0673:case 2 2555\n"); break;
case 2565: printf("#0674:case 2 2565\n"); break;
case 2575: printf("#0675:case 2 2575\n"); break;
case 2585: printf("#0676:case 2 2585\n"); break;
case 2595: printf("#0677:case 2 2595\n"); break;
case 2605: printf("#0678:case 2 2605\n"); break;
case 2615: printf("#0679:case 2 2615\n"); break;
case 2625: printf("#0680:case 2 2625\n"); break;
case 2635: printf("#0681:case 2 2635\n"); break;
case 2645: printf("#0682:case 2 2645\n"); break;
case 2655: printf("#0683:case 2 2655\n"); break;
case 2665: printf("#0684:case 2 2665\n"); break;
case 2675: printf("#0685:case 2 2675\n"); break;
case 2685: printf("#0686:case 2 2685\n"); break;
case 2695: printf("#0687:case 2 2695\n"); break;
case 2705: printf("#0688:case 2 2705\n"); break;
case 2715: printf("#0689:case 2 2715\n"); break;
case 2725: printf("#0690:case 2 2725\n"); break;
case 2735: printf("#0691:case 2 2735\n"); break;
case 2745: printf("#0692:case 2 2745\n"); break;
case 2755: printf("#0693:case 2 2755\n"); break;
case 2765: printf("#0694:case 2 2765\n"); break;
case 2775: printf("#0695:case 2 2775\n"); break;
case 2785: printf("#0696:case 2 2785\n"); break;
case 2795: printf("#0697:case 2 2795\n"); break;
case 2805: printf("#0698:case 2 2805\n"); break;
case 2815: printf("#0699:case 2 2815\n"); break;
case 2825: printf("#0700:case 2 2825\n"); break;
case 2835: printf("#0701:case 2 2835\n"); break;
case 2845: printf("#0702:case 2 2845\n"); break;
case 2855: printf("#0703:case 2 2855\n"); break;
case 2865: printf("#0704:case 2 2865\n"); break;
case 2875: printf("#0705:case 2 2875\n"); break;
case 2885: printf("#0706:case 2 2885\n"); break;
case 2895: printf("#0707:case 2 2895\n"); break;
case 2905: printf("#0708:case 2 2905\n"); break;
case 2915: printf("#0709:case 2 2915\n"); break;
case 2925: printf("#0710:case 2 2925\n"); break;
case 2935: printf("#0711:case 2 2935\n"); break;
case 2945: printf("#0712:case 2 2945\n"); break;
case 2955: printf("#0713:case 2 2955\n"); break;
case 2965: printf("#0714:case 2 2965\n"); break;
case 2975: printf("#0715:case 2 2975\n"); break;
case 2985: printf("#0716:case 2 2985\n"); break;
case 2995: printf("#0717:case 2 2995\n"); break;
default: printf("#0718:default 2 %d\n",i); break;
   }
}
INLINE void
main3(const int i)
{
   switch(i) {
case -223: printf("#0725:case 3 -223\n"); break;
case -224: printf("#0726:case 3 -224\n"); break;
case 2000: printf("#0727:case 3 2000\n"); break;
case 2001: printf("#0728:case 3 2001\n"); break;
case 2002: printf("#0729:case 3 2002\n"); break;
case 2003: printf("#0730:case 3 2003\n"); break;
case 2004: printf("#0731:case 3 2004\n"); break;
case 2005: printf("#0732:case 3 2005\n"); break;
case 171: printf("#0733:case 3 171\n"); break;
case -20: printf("#0734:case 3 -20\n"); break;
case -10: printf("#0735:case 3 -10\n"); break;
case 0: printf("#0736:case 3 0\n"); break;
case 10: printf("#0737:case 3 10\n"); break;
case 20: printf("#0738:case 3 20\n"); break;
case 30: printf("#0739:case 3 30\n"); break;
case 40: printf("#0740:case 3 40\n"); break;
case 50: printf("#0741:case 3 50\n"); break;
case 60: printf("#0742:case 3 60\n"); break;
case 70: printf("#0743:case 3 70\n"); break;
case 80: printf("#0744:case 3 80\n"); break;
case 90: printf("#0745:case 3 90\n"); break;
case 100: printf("#0746:case 3 100\n"); break;
case 110: printf("#0747:case 3 110\n"); break;
case 120: printf("#0748:case 3 120\n"); break;
case 130: printf("#0749:case 3 130\n"); break;
case 140: printf("#0750:case 3 140\n"); break;
case 150: printf("#0751:case 3 150\n"); break;
case 160: printf("#0752:case 3 160\n"); break;
case 170: printf("#0753:case 3 170\n"); break;
case 180: printf("#0754:case 3 180\n"); break;
case 190: printf("#0755:case 3 190\n"); break;
case 200: printf("#0756:case 3 200\n"); break;
case 210: printf("#0757:case 3 210\n"); break;
case 220: printf("#0758:case 3 220\n"); break;
case 230: printf("#0759:case 3 230\n"); break;
case 240: printf("#0760:case 3 240\n"); break;
case 250: printf("#0761:case 3 250\n"); break;
case 260: printf("#0762:case 3 260\n"); break;
case 270: printf("#0763:case 3 270\n"); break;
case 280: printf("#0764:case 3 280\n"); break;
case 290: printf("#0765:case 3 290\n"); break;
case 300: printf("#0766:case 3 300\n"); break;
case 310: printf("#0767:case 3 310\n"); break;
case 320: printf("#0768:case 3 320\n"); break;
case 330: printf("#0769:case 3 330\n"); break;
case 340: printf("#0770:case 3 340\n"); break;
case 350: printf("#0771:case 3 350\n"); break;
case 360: printf("#0772:case 3 360\n"); break;
case 370: printf("#0773:case 3 370\n"); break;
case 380: printf("#0774:case 3 380\n"); break;
case 390: printf("#0775:case 3 390\n"); break;
case 400: printf("#0776:case 3 400\n"); break;
case 410: printf("#0777:case 3 410\n"); break;
case 420: printf("#0778:case 3 420\n"); break;
case 430: printf("#0779:case 3 430\n"); break;
case 440: printf("#0780:case 3 440\n"); break;
case 450: printf("#0781:case 3 450\n"); break;
case 460: printf("#0782:case 3 460\n"); break;
case 470: printf("#0783:case 3 470\n"); break;
case 480: printf("#0784:case 3 480\n"); break;
case 490: printf("#0785:case 3 490\n"); break;
case 500: printf("#0786:case 3 500\n"); break;
case 510: printf("#0787:case 3 510\n"); break;
case 520: printf("#0788:case 3 520\n"); break;
case 530: printf("#0789:case 3 530\n"); break;
case 540: printf("#0790:case 3 540\n"); break;
case 550: printf("#0791:case 3 550\n"); break;
case 560: printf("#0792:case 3 560\n"); break;
case 570: printf("#0793:case 3 570\n"); break;
case 580: printf("#0794:case 3 580\n"); break;
case 590: printf("#0795:case 3 590\n"); break;
case 600: printf("#0796:case 3 600\n"); break;
case 610: printf("#0797:case 3 610\n"); break;
case 620: printf("#0798:case 3 620\n"); break;
case 630: printf("#0799:case 3 630\n"); break;
case 640: printf("#0800:case 3 640\n"); break;
case 650: printf("#0801:case 3 650\n"); break;
case 660: printf("#0802:case 3 660\n"); break;
case 670: printf("#0803:case 3 670\n"); break;
case 680: printf("#0804:case 3 680\n"); break;
case 690: printf("#0805:case 3 690\n"); break;
case 700: printf("#0806:case 3 700\n"); break;
case 710: printf("#0807:case 3 710\n"); break;
case 720: printf("#0808:case 3 720\n"); break;
case 730: printf("#0809:case 3 730\n"); break;
case 740: printf("#0810:case 3 740\n"); break;
case 750: printf("#0811:case 3 750\n"); break;
case 760: printf("#0812:case 3 760\n"); break;
case 770: printf("#0813:case 3 770\n"); break;
case 780: printf("#0814:case 3 780\n"); break;
case 790: printf("#0815:case 3 790\n"); break;
case 800: printf("#0816:case 3 800\n"); break;
case 810: printf("#0817:case 3 810\n"); break;
case 820: printf("#0818:case 3 820\n"); break;
case 830: printf("#0819:case 3 830\n"); break;
case 840: printf("#0820:case 3 840\n"); break;
case 850: printf("#0821:case 3 850\n"); break;
case 860: printf("#0822:case 3 860\n"); break;
case 870: printf("#0823:case 3 870\n"); break;
case 880: printf("#0824:case 3 880\n"); break;
case 890: printf("#0825:case 3 890\n"); break;
case 900: printf("#0826:case 3 900\n"); break;
case 910: printf("#0827:case 3 910\n"); break;
case 920: printf("#0828:case 3 920\n"); break;
case 930: printf("#0829:case 3 930\n"); break;
case 940: printf("#0830:case 3 940\n"); break;
case 950: printf("#0831:case 3 950\n"); break;
case 960: printf("#0832:case 3 960\n"); break;
case 970: printf("#0833:case 3 970\n"); break;
case 980: printf("#0834:case 3 980\n"); break;
case 990: printf("#0835:case 3 990\n"); break;
case 1000: printf("#0836:case 3 1000\n"); break;
case 1010: printf("#0837:case 3 1010\n"); break;
case 1020: printf("#0838:case 3 1020\n"); break;
case 1030: printf("#0839:case 3 1030\n"); break;
case 1040: printf("#0840:case 3 1040\n"); break;
case 1050: printf("#0841:case 3 1050\n"); break;
case 1060: printf("#0842:case 3 1060\n"); break;
case 1070: printf("#0843:case 3 1070\n"); break;
case 1080: printf("#0844:case 3 1080\n"); break;
case 1090: printf("#0845:case 3 1090\n"); break;
case 1100: printf("#0846:case 3 1100\n"); break;
case 1110: printf("#0847:case 3 1110\n"); break;
case 1120: printf("#0848:case 3 1120\n"); break;
case 1130: printf("#0849:case 3 1130\n"); break;
case 1140: printf("#0850:case 3 1140\n"); break;
case 1150: printf("#0851:case 3 1150\n"); break;
case 1160: printf("#0852:case 3 1160\n"); break;
case 1170: printf("#0853:case 3 1170\n"); break;
case 1180: printf("#0854:case 3 1180\n"); break;
case 1190: printf("#0855:case 3 1190\n"); break;
case 1200: printf("#0856:case 3 1200\n"); break;
case 1210: printf("#0857:case 3 1210\n"); break;
case 1220: printf("#0858:case 3 1220\n"); break;
case 1230: printf("#0859:case 3 1230\n"); break;
case 1240: printf("#0860:case 3 1240\n"); break;
case 1250: printf("#0861:case 3 1250\n"); break;
case 1260: printf("#0862:case 3 1260\n"); break;
case 1270: printf("#0863:case 3 1270\n"); break;
case 1280: printf("#0864:case 3 1280\n"); break;
case 1290: printf("#0865:case 3 1290\n"); break;
case 1300: printf("#0866:case 3 1300\n"); break;
case 1310: printf("#0867:case 3 1310\n"); break;
case 1320: printf("#0868:case 3 1320\n"); break;
case 1330: printf("#0869:case 3 1330\n"); break;
case 1340: printf("#0870:case 3 1340\n"); break;
case 1350: printf("#0871:case 3 1350\n"); break;
case 1360: printf("#0872:case 3 1360\n"); break;
case 1370: printf("#0873:case 3 1370\n"); break;
case 1380: printf("#0874:case 3 1380\n"); break;
case 1390: printf("#0875:case 3 1390\n"); break;
case 1400: printf("#0876:case 3 1400\n"); break;
case 1410: printf("#0877:case 3 1410\n"); break;
case 1420: printf("#0878:case 3 1420\n"); break;
case 1430: printf("#0879:case 3 1430\n"); break;
case 1440: printf("#0880:case 3 1440\n"); break;
case 1450: printf("#0881:case 3 1450\n"); break;
case 1460: printf("#0882:case 3 1460\n"); break;
case 1470: printf("#0883:case 3 1470\n"); break;
case 1480: printf("#0884:case 3 1480\n"); break;
case 1490: printf("#0885:case 3 1490\n"); break;
case 1500: printf("#0886:case 3 1500\n"); break;
case 1510: printf("#0887:case 3 1510\n"); break;
case 1520: printf("#0888:case 3 1520\n"); break;
case 1530: printf("#0889:case 3 1530\n"); break;
case 1540: printf("#0890:case 3 1540\n"); break;
case 1550: printf("#0891:case 3 1550\n"); break;
case 1560: printf("#0892:case 3 1560\n"); break;
case 1570: printf("#0893:case 3 1570\n"); break;
case 1580: printf("#0894:case 3 1580\n"); break;
case 1590: printf("#0895:case 3 1590\n"); break;
case 1600: printf("#0896:case 3 1600\n"); break;
case 1610: printf("#0897:case 3 1610\n"); break;
case 1620: printf("#0898:case 3 1620\n"); break;
case 1630: printf("#0899:case 3 1630\n"); break;
case 1640: printf("#0900:case 3 1640\n"); break;
case 1650: printf("#0901:case 3 1650\n"); break;
case 1660: printf("#0902:case 3 1660\n"); break;
case 1670: printf("#0903:case 3 1670\n"); break;
case 1680: printf("#0904:case 3 1680\n"); break;
case 1690: printf("#0905:case 3 1690\n"); break;
case 1700: printf("#0906:case 3 1700\n"); break;
case 1710: printf("#0907:case 3 1710\n"); break;
case 1720: printf("#0908:case 3 1720\n"); break;
case 1730: printf("#0909:case 3 1730\n"); break;
case 1740: printf("#0910:case 3 1740\n"); break;
case 1750: printf("#0911:case 3 1750\n"); break;
case 1760: printf("#0912:case 3 1760\n"); break;
case 1770: printf("#0913:case 3 1770\n"); break;
case 1780: printf("#0914:case 3 1780\n"); break;
case 1790: printf("#0915:case 3 1790\n"); break;
case 1800: printf("#0916:case 3 1800\n"); break;
case 1810: printf("#0917:case 3 1810\n"); break;
case 1820: printf("#0918:case 3 1820\n"); break;
case 1830: printf("#0919:case 3 1830\n"); break;
case 1840: printf("#0920:case 3 1840\n"); break;
case 1850: printf("#0921:case 3 1850\n"); break;
case 1860: printf("#0922:case 3 1860\n"); break;
case 1870: printf("#0923:case 3 1870\n"); break;
case 1880: printf("#0924:case 3 1880\n"); break;
case 1890: printf("#0925:case 3 1890\n"); break;
case 1900: printf("#0926:case 3 1900\n"); break;
case 1910: printf("#0927:case 3 1910\n"); break;
case 1920: printf("#0928:case 3 1920\n"); break;
case 1930: printf("#0929:case 3 1930\n"); break;
case 1940: printf("#0930:case 3 1940\n"); break;
case 1950: printf("#0931:case 3 1950\n"); break;
case 1960: printf("#0932:case 3 1960\n"); break;
case 1970: printf("#0933:case 3 1970\n"); break;
case 1980: printf("#0934:case 3 1980\n"); break;
case 1990: printf("#0935:case 3 1990\n"); break;
case 2010: printf("#0936:case 3 2010\n"); break;
case 2020: printf("#0937:case 3 2020\n"); break;
case 2030: printf("#0938:case 3 2030\n"); break;
case 2040: printf("#0939:case 3 2040\n"); break;
case 2050: printf("#0940:case 3 2050\n"); break;
case 2060: printf("#0941:case 3 2060\n"); break;
case 2070: printf("#0942:case 3 2070\n"); break;
case 2080: printf("#0943:case 3 2080\n"); break;
case 2090: printf("#0944:case 3 2090\n"); break;
case 2100: printf("#0945:case 3 2100\n"); break;
case 2110: printf("#0946:case 3 2110\n"); break;
case 2120: printf("#0947:case 3 2120\n"); break;
case 2130: printf("#0948:case 3 2130\n"); break;
case 2140: printf("#0949:case 3 2140\n"); break;
case 2150: printf("#0950:case 3 2150\n"); break;
case 2160: printf("#0951:case 3 2160\n"); break;
case 2170: printf("#0952:case 3 2170\n"); break;
case 2180: printf("#0953:case 3 2180\n"); break;
case 2190: printf("#0954:case 3 2190\n"); break;
case 2200: printf("#0955:case 3 2200\n"); break;
case 2210: printf("#0956:case 3 2210\n"); break;
case 2220: printf("#0957:case 3 2220\n"); break;
case 2230: printf("#0958:case 3 2230\n"); break;
case 2240: printf("#0959:case 3 2240\n"); break;
case 2250: printf("#0960:case 3 2250\n"); break;
case 2260: printf("#0961:case 3 2260\n"); break;
case 2270: printf("#0962:case 3 2270\n"); break;
case 2280: printf("#0963:case 3 2280\n"); break;
case 2290: printf("#0964:case 3 2290\n"); break;
case 2300: printf("#0965:case 3 2300\n"); break;
case 2310: printf("#0966:case 3 2310\n"); break;
case 2320: printf("#0967:case 3 2320\n"); break;
case 2330: printf("#0968:case 3 2330\n"); break;
case 2340: printf("#0969:case 3 2340\n"); break;
case 2350: printf("#0970:case 3 2350\n"); break;
case 2360: printf("#0971:case 3 2360\n"); break;
case 2370: printf("#0972:case 3 2370\n"); break;
case 2380: printf("#0973:case 3 2380\n"); break;
case 2390: printf("#0974:case 3 2390\n"); break;
case 2400: printf("#0975:case 3 2400\n"); break;
case 2410: printf("#0976:case 3 2410\n"); break;
case 2420: printf("#0977:case 3 2420\n"); break;
case 2430: printf("#0978:case 3 2430\n"); break;
case 2440: printf("#0979:case 3 2440\n"); break;
case 2450: printf("#0980:case 3 2450\n"); break;
case 2460: printf("#0981:case 3 2460\n"); break;
case 2470: printf("#0982:case 3 2470\n"); break;
case 2480: printf("#0983:case 3 2480\n"); break;
case 2490: printf("#0984:case 3 2490\n"); break;
case 2500: printf("#0985:case 3 2500\n"); break;
case 2510: printf("#0986:case 3 2510\n"); break;
case 2520: printf("#0987:case 3 2520\n"); break;
case 2530: printf("#0988:case 3 2530\n"); break;
case 2540: printf("#0989:case 3 2540\n"); break;
case 2550: printf("#0990:case 3 2550\n"); break;
case 2560: printf("#0991:case 3 2560\n"); break;
case 2570: printf("#0992:case 3 2570\n"); break;
case 2580: printf("#0993:case 3 2580\n"); break;
case 2590: printf("#0994:case 3 2590\n"); break;
case 2600: printf("#0995:case 3 2600\n"); break;
case 2610: printf("#0996:case 3 2610\n"); break;
case 2620: printf("#0997:case 3 2620\n"); break;
case 2630: printf("#0998:case 3 2630\n"); break;
case 2640: printf("#0999:case 3 2640\n"); break;
case 2650: printf("#1000:case 3 2650\n"); break;
case 2660: printf("#1001:case 3 2660\n"); break;
case 2670: printf("#1002:case 3 2670\n"); break;
case 2680: printf("#1003:case 3 2680\n"); break;
case 2690: printf("#1004:case 3 2690\n"); break;
case 2700: printf("#1005:case 3 2700\n"); break;
case 2710: printf("#1006:case 3 2710\n"); break;
case 2720: printf("#1007:case 3 2720\n"); break;
case 2730: printf("#1008:case 3 2730\n"); break;
case 2740: printf("#1009:case 3 2740\n"); break;
case 2750: printf("#1010:case 3 2750\n"); break;
case 2760: printf("#1011:case 3 2760\n"); break;
case 2770: printf("#1012:case 3 2770\n"); break;
case 2780: printf("#1013:case 3 2780\n"); break;
case 2790: printf("#1014:case 3 2790\n"); break;
case 2800: printf("#1015:case 3 2800\n"); break;
case 2810: printf("#1016:case 3 2810\n"); break;
case 2820: printf("#1017:case 3 2820\n"); break;
case 2830: printf("#1018:case 3 2830\n"); break;
case 2840: printf("#1019:case 3 2840\n"); break;
case 2850: printf("#1020:case 3 2850\n"); break;
case 2860: printf("#1021:case 3 2860\n"); break;
case 2870: printf("#1022:case 3 2870\n"); break;
case 2880: printf("#1023:case 3 2880\n"); break;
case 2890: printf("#1024:case 3 2890\n"); break;
case 2900: printf("#1025:case 3 2900\n"); break;
case 2910: printf("#1026:case 3 2910\n"); break;
case 2920: printf("#1027:case 3 2920\n"); break;
case 2930: printf("#1028:case 3 2930\n"); break;
case 2940: printf("#1029:case 3 2940\n"); break;
case 2950: printf("#1030:case 3 2950\n"); break;
case 2960: printf("#1031:case 3 2960\n"); break;
case 2970: printf("#1032:case 3 2970\n"); break;
case 2980: printf("#1033:case 3 2980\n"); break;
case 2990: printf("#1034:case 3 2990\n"); break;
default: printf("#1035:default 3 %d\n",i); break;
case 10007: printf("#1036:case 3 10007\n"); break;
case 10011: printf("#1037:case 3 10011\n"); break;
case 10015: printf("#1038:case 3 10015\n"); break;
case 10019: printf("#1039:case 3 10019\n"); break;
case 10023: printf("#1040:case 3 10023\n"); break;
case 10027: printf("#1041:case 3 10027\n"); break;
case 10031: printf("#1042:case 3 10031\n"); break;
case 10035: printf("#1043:case 3 10035\n"); break;
case 10039: printf("#1044:case 3 10039\n"); break;
case 10043: printf("#1045:case 3 10043\n"); break;
case 10047: printf("#1046:case 3 10047\n"); break;
case 10051: printf("#1047:case 3 10051\n"); break;
case 10055: printf("#1048:case 3 10055\n"); break;
case 10059: printf("#1049:case 3 10059\n"); break;
case 10063: printf("#1050:case 3 10063\n"); break;
case 10067: printf("#1051:case 3 10067\n"); break;
case 10071: printf("#1052:case 3 10071\n"); break;
case 10075: printf("#1053:case 3 10075\n"); break;
case 10079: printf("#1054:case 3 10079\n"); break;
case 10083: printf("#1055:case 3 10083\n"); break;
case 10087: printf("#1056:case 3 10087\n"); break;
case 10091: printf("#1057:case 3 10091\n"); break;
case 10095: printf("#1058:case 3 10095\n"); break;
case 10099: printf("#1059:case 3 10099\n"); break;
case 10103: printf("#1060:case 3 10103\n"); break;
case 10107: printf("#1061:case 3 10107\n"); break;
case 10111: printf("#1062:case 3 10111\n"); break;
case 10115: printf("#1063:case 3 10115\n"); break;
case 10119: printf("#1064:case 3 10119\n"); break;
case 10123: printf("#1065:case 3 10123\n"); break;
case 10127: printf("#1066:case 3 10127\n"); break;
case 10131: printf("#1067:case 3 10131\n"); break;
case 10135: printf("#1068:case 3 10135\n"); break;
case 10139: printf("#1069:case 3 10139\n"); break;
case 10143: printf("#1070:case 3 10143\n"); break;
case 10147: printf("#1071:case 3 10147\n"); break;
case 10151: printf("#1072:case 3 10151\n"); break;
case 10155: printf("#1073:case 3 10155\n"); break;
case 10159: printf("#1074:case 3 10159\n"); break;
case 10163: printf("#1075:case 3 10163\n"); break;
case 10167: printf("#1076:case 3 10167\n"); break;
case 10171: printf("#1077:case 3 10171\n"); break;
case 10175: printf("#1078:case 3 10175\n"); break;
case 10179: printf("#1079:case 3 10179\n"); break;
case 10183: printf("#1080:case 3 10183\n"); break;
case 10187: printf("#1081:case 3 10187\n"); break;
case 10191: printf("#1082:case 3 10191\n"); break;
case 10195: printf("#1083:case 3 10195\n"); break;
case 10199: printf("#1084:case 3 10199\n"); break;
case 10203: printf("#1085:case 3 10203\n"); break;
case 10207: printf("#1086:case 3 10207\n"); break;
case 10211: printf("#1087:case 3 10211\n"); break;
case 10215: printf("#1088:case 3 10215\n"); break;
case 10219: printf("#1089:case 3 10219\n"); break;
case 10223: printf("#1090:case 3 10223\n"); break;
case 10227: printf("#1091:case 3 10227\n"); break;
case 10231: printf("#1092:case 3 10231\n"); break;
case 10235: printf("#1093:case 3 10235\n"); break;
case 10239: printf("#1094:case 3 10239\n"); break;
case 10243: printf("#1095:case 3 10243\n"); break;
case 10247: printf("#1096:case 3 10247\n"); break;
case 10251: printf("#1097:case 3 10251\n"); break;
case 10255: printf("#1098:case 3 10255\n"); break;
case 10259: printf("#1099:case 3 10259\n"); break;
case 10263: printf("#1100:case 3 10263\n"); break;
case 10267: printf("#1101:case 3 10267\n"); break;
case 10271: printf("#1102:case 3 10271\n"); break;
case 10275: printf("#1103:case 3 10275\n"); break;
case 10279: printf("#1104:case 3 10279\n"); break;
case 10283: printf("#1105:case 3 10283\n"); break;
case 10287: printf("#1106:case 3 10287\n"); break;
case 10291: printf("#1107:case 3 10291\n"); break;
case 10295: printf("#1108:case 3 10295\n"); break;
case 10299: printf("#1109:case 3 10299\n"); break;
   }
}
INLINE void
main4(const int i)
{
   switch(i) {
/*
for($i=-333;$i<-100;$i+=4) {
print "case $i: printf(\"case 4 $i\\n\"); break;\n";
}
 */
case -333: printf("#1121:case 4 -333\n"); break;
case -329: printf("#1122:case 4 -329\n"); break;
case -325: printf("#1123:case 4 -325\n"); break;
case -321: printf("#1124:case 4 -321\n"); break;
case -317: printf("#1125:case 4 -317\n"); break;
case -313: printf("#1126:case 4 -313\n"); break;
case -309: printf("#1127:case 4 -309\n"); break;
case -305: printf("#1128:case 4 -305\n"); break;
case -301: printf("#1129:case 4 -301\n"); break;
case -297: printf("#1130:case 4 -297\n"); break;
case -293: printf("#1131:case 4 -293\n"); break;
case -289: printf("#1132:case 4 -289\n"); break;
case -285: printf("#1133:case 4 -285\n"); break;
case -281: printf("#1134:case 4 -281\n"); break;
case -277: printf("#1135:case 4 -277\n"); break;
case -273: printf("#1136:case 4 -273\n"); break;
case -269: printf("#1137:case 4 -269\n"); break;
case -265: printf("#1138:case 4 -265\n"); break;
case -261: printf("#1139:case 4 -261\n"); break;
case -257: printf("#1140:case 4 -257\n"); break;
case -253: printf("#1141:case 4 -253\n"); break;
case -249: printf("#1142:case 4 -249\n"); break;
case -245: printf("#1143:case 4 -245\n"); break;
case -241: printf("#1144:case 4 -241\n"); break;
case -237: printf("#1145:case 4 -237\n"); break;
case -233: printf("#1146:case 4 -233\n"); break;
case -229: printf("#1147:case 4 -229\n"); break;
case -225: printf("#1148:case 4 -225\n"); break;
case -221: printf("#1149:case 4 -221\n"); break;
case -217: printf("#1150:case 4 -217\n"); break;
case -213: printf("#1151:case 4 -213\n"); break;
case -209: printf("#1152:case 4 -209\n"); break;
case -205: printf("#1153:case 4 -205\n"); break;
case -201: printf("#1154:case 4 -201\n"); break;
case -197: printf("#1155:case 4 -197\n"); break;
case -193: printf("#1156:case 4 -193\n"); break;
case -189: printf("#1157:case 4 -189\n"); break;
case -185: printf("#1158:case 4 -185\n"); break;
case -181: printf("#1159:case 4 -181\n"); break;
case -177: printf("#1160:case 4 -177\n"); break;
case -173: printf("#1161:case 4 -173\n"); break;
case -169: printf("#1162:case 4 -169\n"); break;
case -165: printf("#1163:case 4 -165\n"); break;
case -161: printf("#1164:case 4 -161\n"); break;
case -157: printf("#1165:case 4 -157\n"); break;
case -153: printf("#1166:case 4 -153\n"); break;
case -149: printf("#1167:case 4 -149\n"); break;
case -145: printf("#1168:case 4 -145\n"); break;
case -141: printf("#1169:case 4 -141\n"); break;
case -137: printf("#1170:case 4 -137\n"); break;
case -133: printf("#1171:case 4 -133\n"); break;
case -129: printf("#1172:case 4 -129\n"); break;
case -125: printf("#1173:case 4 -125\n"); break;
case -121: printf("#1174:case 4 -121\n"); break;
case -117: printf("#1175:case 4 -117\n"); break;
case -113: printf("#1176:case 4 -113\n"); break;
case -109: printf("#1177:case 4 -109\n"); break;
case -105: printf("#1178:case 4 -105\n"); break;
case -101: printf("#1179:case 4 -101\n"); break;
case 3: printf("#1180:case 4 3\n"); break;
case 5: printf("#1181:case 4 5\n"); break;
case 7: printf("#1182:case 4 7\n"); break;
case 9: printf("#1183:case 4 9\n"); break;
case 11: printf("#1184:case 4 11\n"); break;
case 13: printf("#1185:case 4 13\n"); break;
case 15: printf("#1186:case 4 15\n"); break;
case 17: printf("#1187:case 4 17\n"); break;
case 19: printf("#1188:case 4 19\n"); break;
case 21: printf("#1189:case 4 21\n"); break;
case 23: printf("#1190:case 4 23\n"); break;
case 25: printf("#1191:case 4 25\n"); break;
case 27: printf("#1192:case 4 27\n"); break;
case 29: printf("#1193:case 4 29\n"); break;
case 31: printf("#1194:case 4 31\n"); break;
case 33: printf("#1195:case 4 33\n"); break;
case 35: printf("#1196:case 4 35\n"); break;
case 37: printf("#1197:case 4 37\n"); break;
case 39: printf("#1198:case 4 39\n"); break;
case 41: printf("#1199:case 4 41\n"); break;
case 43: printf("#1200:case 4 43\n"); break;
case 45: printf("#1201:case 4 45\n"); break;
case 47: printf("#1202:case 4 47\n"); break;
case 49: printf("#1203:case 4 49\n"); break;
case 51: printf("#1204:case 4 51\n"); break;
case 53: printf("#1205:case 4 53\n"); break;
case 55: printf("#1206:case 4 55\n"); break;
case 57: printf("#1207:case 4 57\n"); break;
case 59: printf("#1208:case 4 59\n"); break;
case 61: printf("#1209:case 4 61\n"); break;
case 63: printf("#1210:case 4 63\n"); break;
case 65: printf("#1211:case 4 65\n"); break;
case 67: printf("#1212:case 4 67\n"); break;
case 69: printf("#1213:case 4 69\n"); break;
case 71: printf("#1214:case 4 71\n"); break;
case 73: printf("#1215:case 4 73\n"); break;
case 75: printf("#1216:case 4 75\n"); break;
case 77: printf("#1217:case 4 77\n"); break;
case 79: printf("#1218:case 4 79\n"); break;
   }
}
INLINE void
main5(int r)
{
    int i,j,k;
    i = 3;
    k = 0;
    j = 1;
    switch(i) { 
        for(;j<10;j++) {
            case 3: k+=4;
            case 2: k+=3;
            case 1: k+=2;
            case 0: k+=1;
        }
    }
    
    printf("#1237:main5 %d\n",k);
    for(i=0;i<3;i++) ;
    printf("#1239:main5 %d\n",i);
   
}
int
main(int ac,char *av[])
{
    int i;
        main1(15);
        main2(16);
        main3(17);
        main3(60);
        main4(19);
        main4(-109);
        main5(19);
    for(i=-1000;i<3000;i++) {
        // main1(i);
        main2(i);
        main3(i);
        main4(i);
        main5(i);
    }
    return 0;
}