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