Skip to content

Instantly share code, notes, and snippets.

@eldering

eldering/test-stacksize.java

Created November 3, 2016 20:17
Show Gist options
  • Save eldering/35cac854f8dcf40541c7fb7d3f4e12b5 to your computer and use it in GitHub Desktop.
Save eldering/35cac854f8dcf40541c7fb7d3f4e12b5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
test-stacksize.java
/*
* This should fail with RUN-ERROR due to running out of (stack) memory.
* Note that in Java the stack size is set separately from the total
* amount of memory available, using the javac option -Xss in the
* relevant Java compile script (the default is 64MB currently).
* We also try to circumvent this stack size limit
*
* @EXPECTED_RESULTS@: RUN-ERROR
*/
import java.io.*;
import java.util.Random;
class Main implements Runnable {
public static void main(String[] args) throws Exception {
new Thread(null, new Main(), "Main", 256*1024*1024).start();
}
public void run() {
recurse_malloc(0);
}
static long size = 2048*8;
void recurse_malloc(int depth)
{
Random rand = new Random();
depth++;
// Declare a long list of variables. We can't use an array or
// other objects as these would be stored in the heap.
long b0001 = rand.nextInt(1000);
long b0002 = rand.nextInt(1000);
long b0003 = rand.nextInt(1000);
long b0004 = rand.nextInt(1000);
long b0005 = rand.nextInt(1000);
long b0006 = rand.nextInt(1000);
long b0007 = rand.nextInt(1000);
long b0008 = rand.nextInt(1000);
long b0009 = rand.nextInt(1000);
long b0010 = rand.nextInt(1000);
long b0011 = rand.nextInt(1000);
long b0012 = rand.nextInt(1000);
long b0013 = rand.nextInt(1000);
long b0014 = rand.nextInt(1000);
long b0015 = rand.nextInt(1000);
long b0016 = rand.nextInt(1000);
long b0017 = rand.nextInt(1000);
long b0018 = rand.nextInt(1000);
long b0019 = rand.nextInt(1000);
long b0020 = rand.nextInt(1000);
long b0021 = rand.nextInt(1000);
long b0022 = rand.nextInt(1000);
long b0023 = rand.nextInt(1000);
long b0024 = rand.nextInt(1000);
long b0025 = rand.nextInt(1000);
long b0026 = rand.nextInt(1000);
long b0027 = rand.nextInt(1000);
long b0028 = rand.nextInt(1000);
long b0029 = rand.nextInt(1000);
long b0030 = rand.nextInt(1000);
long b0031 = rand.nextInt(1000);
long b0032 = rand.nextInt(1000);
long b0033 = rand.nextInt(1000);
long b0034 = rand.nextInt(1000);
long b0035 = rand.nextInt(1000);
long b0036 = rand.nextInt(1000);
long b0037 = rand.nextInt(1000);
long b0038 = rand.nextInt(1000);
long b0039 = rand.nextInt(1000);
long b0040 = rand.nextInt(1000);
long b0041 = rand.nextInt(1000);
long b0042 = rand.nextInt(1000);
long b0043 = rand.nextInt(1000);
long b0044 = rand.nextInt(1000);
long b0045 = rand.nextInt(1000);
long b0046 = rand.nextInt(1000);
long b0047 = rand.nextInt(1000);
long b0048 = rand.nextInt(1000);
long b0049 = rand.nextInt(1000);
long b0050 = rand.nextInt(1000);
long b0051 = rand.nextInt(1000);
long b0052 = rand.nextInt(1000);
long b0053 = rand.nextInt(1000);
long b0054 = rand.nextInt(1000);
long b0055 = rand.nextInt(1000);
long b0056 = rand.nextInt(1000);
long b0057 = rand.nextInt(1000);
long b0058 = rand.nextInt(1000);
long b0059 = rand.nextInt(1000);
long b0060 = rand.nextInt(1000);
long b0061 = rand.nextInt(1000);
long b0062 = rand.nextInt(1000);
long b0063 = rand.nextInt(1000);
long b0064 = rand.nextInt(1000);
long b0065 = rand.nextInt(1000);
long b0066 = rand.nextInt(1000);
long b0067 = rand.nextInt(1000);
long b0068 = rand.nextInt(1000);
long b0069 = rand.nextInt(1000);
long b0070 = rand.nextInt(1000);
long b0071 = rand.nextInt(1000);
long b0072 = rand.nextInt(1000);
long b0073 = rand.nextInt(1000);
long b0074 = rand.nextInt(1000);
long b0075 = rand.nextInt(1000);
long b0076 = rand.nextInt(1000);
long b0077 = rand.nextInt(1000);
long b0078 = rand.nextInt(1000);
long b0079 = rand.nextInt(1000);
long b0080 = rand.nextInt(1000);
long b0081 = rand.nextInt(1000);
long b0082 = rand.nextInt(1000);
long b0083 = rand.nextInt(1000);
long b0084 = rand.nextInt(1000);
long b0085 = rand.nextInt(1000);
long b0086 = rand.nextInt(1000);
long b0087 = rand.nextInt(1000);
long b0088 = rand.nextInt(1000);
long b0089 = rand.nextInt(1000);
long b0090 = rand.nextInt(1000);
long b0091 = rand.nextInt(1000);
long b0092 = rand.nextInt(1000);
long b0093 = rand.nextInt(1000);
long b0094 = rand.nextInt(1000);
long b0095 = rand.nextInt(1000);
long b0096 = rand.nextInt(1000);
long b0097 = rand.nextInt(1000);
long b0098 = rand.nextInt(1000);
long b0099 = rand.nextInt(1000);
long b0100 = rand.nextInt(1000);
long b0101 = rand.nextInt(1000);
long b0102 = rand.nextInt(1000);
long b0103 = rand.nextInt(1000);
long b0104 = rand.nextInt(1000);
long b0105 = rand.nextInt(1000);
long b0106 = rand.nextInt(1000);
long b0107 = rand.nextInt(1000);
long b0108 = rand.nextInt(1000);
long b0109 = rand.nextInt(1000);
long b0110 = rand.nextInt(1000);
long b0111 = rand.nextInt(1000);
long b0112 = rand.nextInt(1000);
long b0113 = rand.nextInt(1000);
long b0114 = rand.nextInt(1000);
long b0115 = rand.nextInt(1000);
long b0116 = rand.nextInt(1000);
long b0117 = rand.nextInt(1000);
long b0118 = rand.nextInt(1000);
long b0119 = rand.nextInt(1000);
long b0120 = rand.nextInt(1000);
long b0121 = rand.nextInt(1000);
long b0122 = rand.nextInt(1000);
long b0123 = rand.nextInt(1000);
long b0124 = rand.nextInt(1000);
long b0125 = rand.nextInt(1000);
long b0126 = rand.nextInt(1000);
long b0127 = rand.nextInt(1000);
long b0128 = rand.nextInt(1000);
long b0129 = rand.nextInt(1000);
long b0130 = rand.nextInt(1000);
long b0131 = rand.nextInt(1000);
long b0132 = rand.nextInt(1000);
long b0133 = rand.nextInt(1000);
long b0134 = rand.nextInt(1000);
long b0135 = rand.nextInt(1000);
long b0136 = rand.nextInt(1000);
long b0137 = rand.nextInt(1000);
long b0138 = rand.nextInt(1000);
long b0139 = rand.nextInt(1000);
long b0140 = rand.nextInt(1000);
long b0141 = rand.nextInt(1000);
long b0142 = rand.nextInt(1000);
long b0143 = rand.nextInt(1000);
long b0144 = rand.nextInt(1000);
long b0145 = rand.nextInt(1000);
long b0146 = rand.nextInt(1000);
long b0147 = rand.nextInt(1000);
long b0148 = rand.nextInt(1000);
long b0149 = rand.nextInt(1000);
long b0150 = rand.nextInt(1000);
long b0151 = rand.nextInt(1000);
long b0152 = rand.nextInt(1000);
long b0153 = rand.nextInt(1000);
long b0154 = rand.nextInt(1000);
long b0155 = rand.nextInt(1000);
long b0156 = rand.nextInt(1000);
long b0157 = rand.nextInt(1000);
long b0158 = rand.nextInt(1000);
long b0159 = rand.nextInt(1000);
long b0160 = rand.nextInt(1000);
long b0161 = rand.nextInt(1000);
long b0162 = rand.nextInt(1000);
long b0163 = rand.nextInt(1000);
long b0164 = rand.nextInt(1000);
long b0165 = rand.nextInt(1000);
long b0166 = rand.nextInt(1000);
long b0167 = rand.nextInt(1000);
long b0168 = rand.nextInt(1000);
long b0169 = rand.nextInt(1000);
long b0170 = rand.nextInt(1000);
long b0171 = rand.nextInt(1000);
long b0172 = rand.nextInt(1000);
long b0173 = rand.nextInt(1000);
long b0174 = rand.nextInt(1000);
long b0175 = rand.nextInt(1000);
long b0176 = rand.nextInt(1000);
long b0177 = rand.nextInt(1000);
long b0178 = rand.nextInt(1000);
long b0179 = rand.nextInt(1000);
long b0180 = rand.nextInt(1000);
long b0181 = rand.nextInt(1000);
long b0182 = rand.nextInt(1000);
long b0183 = rand.nextInt(1000);
long b0184 = rand.nextInt(1000);
long b0185 = rand.nextInt(1000);
long b0186 = rand.nextInt(1000);
long b0187 = rand.nextInt(1000);
long b0188 = rand.nextInt(1000);
long b0189 = rand.nextInt(1000);
long b0190 = rand.nextInt(1000);
long b0191 = rand.nextInt(1000);
long b0192 = rand.nextInt(1000);
long b0193 = rand.nextInt(1000);
long b0194 = rand.nextInt(1000);
long b0195 = rand.nextInt(1000);
long b0196 = rand.nextInt(1000);
long b0197 = rand.nextInt(1000);
long b0198 = rand.nextInt(1000);
long b0199 = rand.nextInt(1000);
long b0200 = rand.nextInt(1000);
long b0201 = rand.nextInt(1000);
long b0202 = rand.nextInt(1000);
long b0203 = rand.nextInt(1000);
long b0204 = rand.nextInt(1000);
long b0205 = rand.nextInt(1000);
long b0206 = rand.nextInt(1000);
long b0207 = rand.nextInt(1000);
long b0208 = rand.nextInt(1000);
long b0209 = rand.nextInt(1000);
long b0210 = rand.nextInt(1000);
long b0211 = rand.nextInt(1000);
long b0212 = rand.nextInt(1000);
long b0213 = rand.nextInt(1000);
long b0214 = rand.nextInt(1000);
long b0215 = rand.nextInt(1000);
long b0216 = rand.nextInt(1000);
long b0217 = rand.nextInt(1000);
long b0218 = rand.nextInt(1000);
long b0219 = rand.nextInt(1000);
long b0220 = rand.nextInt(1000);
long b0221 = rand.nextInt(1000);
long b0222 = rand.nextInt(1000);
long b0223 = rand.nextInt(1000);
long b0224 = rand.nextInt(1000);
long b0225 = rand.nextInt(1000);
long b0226 = rand.nextInt(1000);
long b0227 = rand.nextInt(1000);
long b0228 = rand.nextInt(1000);
long b0229 = rand.nextInt(1000);
long b0230 = rand.nextInt(1000);
long b0231 = rand.nextInt(1000);
long b0232 = rand.nextInt(1000);
long b0233 = rand.nextInt(1000);
long b0234 = rand.nextInt(1000);
long b0235 = rand.nextInt(1000);
long b0236 = rand.nextInt(1000);
long b0237 = rand.nextInt(1000);
long b0238 = rand.nextInt(1000);
long b0239 = rand.nextInt(1000);
long b0240 = rand.nextInt(1000);
long b0241 = rand.nextInt(1000);
long b0242 = rand.nextInt(1000);
long b0243 = rand.nextInt(1000);
long b0244 = rand.nextInt(1000);
long b0245 = rand.nextInt(1000);
long b0246 = rand.nextInt(1000);
long b0247 = rand.nextInt(1000);
long b0248 = rand.nextInt(1000);
long b0249 = rand.nextInt(1000);
long b0250 = rand.nextInt(1000);
long b0251 = rand.nextInt(1000);
long b0252 = rand.nextInt(1000);
long b0253 = rand.nextInt(1000);
long b0254 = rand.nextInt(1000);
long b0255 = rand.nextInt(1000);
long b0256 = rand.nextInt(1000);
long b0257 = rand.nextInt(1000);
long b0258 = rand.nextInt(1000);
long b0259 = rand.nextInt(1000);
long b0260 = rand.nextInt(1000);
long b0261 = rand.nextInt(1000);
long b0262 = rand.nextInt(1000);
long b0263 = rand.nextInt(1000);
long b0264 = rand.nextInt(1000);
long b0265 = rand.nextInt(1000);
long b0266 = rand.nextInt(1000);
long b0267 = rand.nextInt(1000);
long b0268 = rand.nextInt(1000);
long b0269 = rand.nextInt(1000);
long b0270 = rand.nextInt(1000);
long b0271 = rand.nextInt(1000);
long b0272 = rand.nextInt(1000);
long b0273 = rand.nextInt(1000);
long b0274 = rand.nextInt(1000);
long b0275 = rand.nextInt(1000);
long b0276 = rand.nextInt(1000);
long b0277 = rand.nextInt(1000);
long b0278 = rand.nextInt(1000);
long b0279 = rand.nextInt(1000);
long b0280 = rand.nextInt(1000);
long b0281 = rand.nextInt(1000);
long b0282 = rand.nextInt(1000);
long b0283 = rand.nextInt(1000);
long b0284 = rand.nextInt(1000);
long b0285 = rand.nextInt(1000);
long b0286 = rand.nextInt(1000);
long b0287 = rand.nextInt(1000);
long b0288 = rand.nextInt(1000);
long b0289 = rand.nextInt(1000);
long b0290 = rand.nextInt(1000);
long b0291 = rand.nextInt(1000);
long b0292 = rand.nextInt(1000);
long b0293 = rand.nextInt(1000);
long b0294 = rand.nextInt(1000);
long b0295 = rand.nextInt(1000);
long b0296 = rand.nextInt(1000);
long b0297 = rand.nextInt(1000);
long b0298 = rand.nextInt(1000);
long b0299 = rand.nextInt(1000);
long b0300 = rand.nextInt(1000);
long b0301 = rand.nextInt(1000);
long b0302 = rand.nextInt(1000);
long b0303 = rand.nextInt(1000);
long b0304 = rand.nextInt(1000);
long b0305 = rand.nextInt(1000);
long b0306 = rand.nextInt(1000);
long b0307 = rand.nextInt(1000);
long b0308 = rand.nextInt(1000);
long b0309 = rand.nextInt(1000);
long b0310 = rand.nextInt(1000);
long b0311 = rand.nextInt(1000);
long b0312 = rand.nextInt(1000);
long b0313 = rand.nextInt(1000);
long b0314 = rand.nextInt(1000);
long b0315 = rand.nextInt(1000);
long b0316 = rand.nextInt(1000);
long b0317 = rand.nextInt(1000);
long b0318 = rand.nextInt(1000);
long b0319 = rand.nextInt(1000);
long b0320 = rand.nextInt(1000);
long b0321 = rand.nextInt(1000);
long b0322 = rand.nextInt(1000);
long b0323 = rand.nextInt(1000);
long b0324 = rand.nextInt(1000);
long b0325 = rand.nextInt(1000);
long b0326 = rand.nextInt(1000);
long b0327 = rand.nextInt(1000);
long b0328 = rand.nextInt(1000);
long b0329 = rand.nextInt(1000);
long b0330 = rand.nextInt(1000);
long b0331 = rand.nextInt(1000);
long b0332 = rand.nextInt(1000);
long b0333 = rand.nextInt(1000);
long b0334 = rand.nextInt(1000);
long b0335 = rand.nextInt(1000);
long b0336 = rand.nextInt(1000);
long b0337 = rand.nextInt(1000);
long b0338 = rand.nextInt(1000);
long b0339 = rand.nextInt(1000);
long b0340 = rand.nextInt(1000);
long b0341 = rand.nextInt(1000);
long b0342 = rand.nextInt(1000);
long b0343 = rand.nextInt(1000);
long b0344 = rand.nextInt(1000);
long b0345 = rand.nextInt(1000);
long b0346 = rand.nextInt(1000);
long b0347 = rand.nextInt(1000);
long b0348 = rand.nextInt(1000);
long b0349 = rand.nextInt(1000);
long b0350 = rand.nextInt(1000);
long b0351 = rand.nextInt(1000);
long b0352 = rand.nextInt(1000);
long b0353 = rand.nextInt(1000);
long b0354 = rand.nextInt(1000);
long b0355 = rand.nextInt(1000);
long b0356 = rand.nextInt(1000);
long b0357 = rand.nextInt(1000);
long b0358 = rand.nextInt(1000);
long b0359 = rand.nextInt(1000);
long b0360 = rand.nextInt(1000);
long b0361 = rand.nextInt(1000);
long b0362 = rand.nextInt(1000);
long b0363 = rand.nextInt(1000);
long b0364 = rand.nextInt(1000);
long b0365 = rand.nextInt(1000);
long b0366 = rand.nextInt(1000);
long b0367 = rand.nextInt(1000);
long b0368 = rand.nextInt(1000);
long b0369 = rand.nextInt(1000);
long b0370 = rand.nextInt(1000);
long b0371 = rand.nextInt(1000);
long b0372 = rand.nextInt(1000);
long b0373 = rand.nextInt(1000);
long b0374 = rand.nextInt(1000);
long b0375 = rand.nextInt(1000);
long b0376 = rand.nextInt(1000);
long b0377 = rand.nextInt(1000);
long b0378 = rand.nextInt(1000);
long b0379 = rand.nextInt(1000);
long b0380 = rand.nextInt(1000);
long b0381 = rand.nextInt(1000);
long b0382 = rand.nextInt(1000);
long b0383 = rand.nextInt(1000);
long b0384 = rand.nextInt(1000);
long b0385 = rand.nextInt(1000);
long b0386 = rand.nextInt(1000);
long b0387 = rand.nextInt(1000);
long b0388 = rand.nextInt(1000);
long b0389 = rand.nextInt(1000);
long b0390 = rand.nextInt(1000);
long b0391 = rand.nextInt(1000);
long b0392 = rand.nextInt(1000);
long b0393 = rand.nextInt(1000);
long b0394 = rand.nextInt(1000);
long b0395 = rand.nextInt(1000);
long b0396 = rand.nextInt(1000);
long b0397 = rand.nextInt(1000);
long b0398 = rand.nextInt(1000);
long b0399 = rand.nextInt(1000);
long b0400 = rand.nextInt(1000);
long b0401 = rand.nextInt(1000);
long b0402 = rand.nextInt(1000);
long b0403 = rand.nextInt(1000);
long b0404 = rand.nextInt(1000);
long b0405 = rand.nextInt(1000);
long b0406 = rand.nextInt(1000);
long b0407 = rand.nextInt(1000);
long b0408 = rand.nextInt(1000);
long b0409 = rand.nextInt(1000);
long b0410 = rand.nextInt(1000);
long b0411 = rand.nextInt(1000);
long b0412 = rand.nextInt(1000);
long b0413 = rand.nextInt(1000);
long b0414 = rand.nextInt(1000);
long b0415 = rand.nextInt(1000);
long b0416 = rand.nextInt(1000);
long b0417 = rand.nextInt(1000);
long b0418 = rand.nextInt(1000);
long b0419 = rand.nextInt(1000);
long b0420 = rand.nextInt(1000);
long b0421 = rand.nextInt(1000);
long b0422 = rand.nextInt(1000);
long b0423 = rand.nextInt(1000);
long b0424 = rand.nextInt(1000);
long b0425 = rand.nextInt(1000);
long b0426 = rand.nextInt(1000);
long b0427 = rand.nextInt(1000);
long b0428 = rand.nextInt(1000);
long b0429 = rand.nextInt(1000);
long b0430 = rand.nextInt(1000);
long b0431 = rand.nextInt(1000);
long b0432 = rand.nextInt(1000);
long b0433 = rand.nextInt(1000);
long b0434 = rand.nextInt(1000);
long b0435 = rand.nextInt(1000);
long b0436 = rand.nextInt(1000);
long b0437 = rand.nextInt(1000);
long b0438 = rand.nextInt(1000);
long b0439 = rand.nextInt(1000);
long b0440 = rand.nextInt(1000);
long b0441 = rand.nextInt(1000);
long b0442 = rand.nextInt(1000);
long b0443 = rand.nextInt(1000);
long b0444 = rand.nextInt(1000);
long b0445 = rand.nextInt(1000);
long b0446 = rand.nextInt(1000);
long b0447 = rand.nextInt(1000);
long b0448 = rand.nextInt(1000);
long b0449 = rand.nextInt(1000);
long b0450 = rand.nextInt(1000);
long b0451 = rand.nextInt(1000);
long b0452 = rand.nextInt(1000);
long b0453 = rand.nextInt(1000);
long b0454 = rand.nextInt(1000);
long b0455 = rand.nextInt(1000);
long b0456 = rand.nextInt(1000);
long b0457 = rand.nextInt(1000);
long b0458 = rand.nextInt(1000);
long b0459 = rand.nextInt(1000);
long b0460 = rand.nextInt(1000);
long b0461 = rand.nextInt(1000);
long b0462 = rand.nextInt(1000);
long b0463 = rand.nextInt(1000);
long b0464 = rand.nextInt(1000);
long b0465 = rand.nextInt(1000);
long b0466 = rand.nextInt(1000);
long b0467 = rand.nextInt(1000);
long b0468 = rand.nextInt(1000);
long b0469 = rand.nextInt(1000);
long b0470 = rand.nextInt(1000);
long b0471 = rand.nextInt(1000);
long b0472 = rand.nextInt(1000);
long b0473 = rand.nextInt(1000);
long b0474 = rand.nextInt(1000);
long b0475 = rand.nextInt(1000);
long b0476 = rand.nextInt(1000);
long b0477 = rand.nextInt(1000);
long b0478 = rand.nextInt(1000);
long b0479 = rand.nextInt(1000);
long b0480 = rand.nextInt(1000);
long b0481 = rand.nextInt(1000);
long b0482 = rand.nextInt(1000);
long b0483 = rand.nextInt(1000);
long b0484 = rand.nextInt(1000);
long b0485 = rand.nextInt(1000);
long b0486 = rand.nextInt(1000);
long b0487 = rand.nextInt(1000);
long b0488 = rand.nextInt(1000);
long b0489 = rand.nextInt(1000);
long b0490 = rand.nextInt(1000);
long b0491 = rand.nextInt(1000);
long b0492 = rand.nextInt(1000);
long b0493 = rand.nextInt(1000);
long b0494 = rand.nextInt(1000);
long b0495 = rand.nextInt(1000);
long b0496 = rand.nextInt(1000);
long b0497 = rand.nextInt(1000);
long b0498 = rand.nextInt(1000);
long b0499 = rand.nextInt(1000);
long b0500 = rand.nextInt(1000);
long b0501 = rand.nextInt(1000);
long b0502 = rand.nextInt(1000);
long b0503 = rand.nextInt(1000);
long b0504 = rand.nextInt(1000);
long b0505 = rand.nextInt(1000);
long b0506 = rand.nextInt(1000);
long b0507 = rand.nextInt(1000);
long b0508 = rand.nextInt(1000);
long b0509 = rand.nextInt(1000);
long b0510 = rand.nextInt(1000);
long b0511 = rand.nextInt(1000);
long b0512 = rand.nextInt(1000);
long b0513 = rand.nextInt(1000);
long b0514 = rand.nextInt(1000);
long b0515 = rand.nextInt(1000);
long b0516 = rand.nextInt(1000);
long b0517 = rand.nextInt(1000);
long b0518 = rand.nextInt(1000);
long b0519 = rand.nextInt(1000);
long b0520 = rand.nextInt(1000);
long b0521 = rand.nextInt(1000);
long b0522 = rand.nextInt(1000);
long b0523 = rand.nextInt(1000);
long b0524 = rand.nextInt(1000);
long b0525 = rand.nextInt(1000);
long b0526 = rand.nextInt(1000);
long b0527 = rand.nextInt(1000);
long b0528 = rand.nextInt(1000);
long b0529 = rand.nextInt(1000);
long b0530 = rand.nextInt(1000);
long b0531 = rand.nextInt(1000);
long b0532 = rand.nextInt(1000);
long b0533 = rand.nextInt(1000);
long b0534 = rand.nextInt(1000);
long b0535 = rand.nextInt(1000);
long b0536 = rand.nextInt(1000);
long b0537 = rand.nextInt(1000);
long b0538 = rand.nextInt(1000);
long b0539 = rand.nextInt(1000);
long b0540 = rand.nextInt(1000);
long b0541 = rand.nextInt(1000);
long b0542 = rand.nextInt(1000);
long b0543 = rand.nextInt(1000);
long b0544 = rand.nextInt(1000);
long b0545 = rand.nextInt(1000);
long b0546 = rand.nextInt(1000);
long b0547 = rand.nextInt(1000);
long b0548 = rand.nextInt(1000);
long b0549 = rand.nextInt(1000);
long b0550 = rand.nextInt(1000);
long b0551 = rand.nextInt(1000);
long b0552 = rand.nextInt(1000);
long b0553 = rand.nextInt(1000);
long b0554 = rand.nextInt(1000);
long b0555 = rand.nextInt(1000);
long b0556 = rand.nextInt(1000);
long b0557 = rand.nextInt(1000);
long b0558 = rand.nextInt(1000);
long b0559 = rand.nextInt(1000);
long b0560 = rand.nextInt(1000);
long b0561 = rand.nextInt(1000);
long b0562 = rand.nextInt(1000);
long b0563 = rand.nextInt(1000);
long b0564 = rand.nextInt(1000);
long b0565 = rand.nextInt(1000);
long b0566 = rand.nextInt(1000);
long b0567 = rand.nextInt(1000);
long b0568 = rand.nextInt(1000);
long b0569 = rand.nextInt(1000);
long b0570 = rand.nextInt(1000);
long b0571 = rand.nextInt(1000);
long b0572 = rand.nextInt(1000);
long b0573 = rand.nextInt(1000);
long b0574 = rand.nextInt(1000);
long b0575 = rand.nextInt(1000);
long b0576 = rand.nextInt(1000);
long b0577 = rand.nextInt(1000);
long b0578 = rand.nextInt(1000);
long b0579 = rand.nextInt(1000);
long b0580 = rand.nextInt(1000);
long b0581 = rand.nextInt(1000);
long b0582 = rand.nextInt(1000);
long b0583 = rand.nextInt(1000);
long b0584 = rand.nextInt(1000);
long b0585 = rand.nextInt(1000);
long b0586 = rand.nextInt(1000);
long b0587 = rand.nextInt(1000);
long b0588 = rand.nextInt(1000);
long b0589 = rand.nextInt(1000);
long b0590 = rand.nextInt(1000);
long b0591 = rand.nextInt(1000);
long b0592 = rand.nextInt(1000);
long b0593 = rand.nextInt(1000);
long b0594 = rand.nextInt(1000);
long b0595 = rand.nextInt(1000);
long b0596 = rand.nextInt(1000);
long b0597 = rand.nextInt(1000);
long b0598 = rand.nextInt(1000);
long b0599 = rand.nextInt(1000);
long b0600 = rand.nextInt(1000);
long b0601 = rand.nextInt(1000);
long b0602 = rand.nextInt(1000);
long b0603 = rand.nextInt(1000);
long b0604 = rand.nextInt(1000);
long b0605 = rand.nextInt(1000);
long b0606 = rand.nextInt(1000);
long b0607 = rand.nextInt(1000);
long b0608 = rand.nextInt(1000);
long b0609 = rand.nextInt(1000);
long b0610 = rand.nextInt(1000);
long b0611 = rand.nextInt(1000);
long b0612 = rand.nextInt(1000);
long b0613 = rand.nextInt(1000);
long b0614 = rand.nextInt(1000);
long b0615 = rand.nextInt(1000);
long b0616 = rand.nextInt(1000);
long b0617 = rand.nextInt(1000);
long b0618 = rand.nextInt(1000);
long b0619 = rand.nextInt(1000);
long b0620 = rand.nextInt(1000);
long b0621 = rand.nextInt(1000);
long b0622 = rand.nextInt(1000);
long b0623 = rand.nextInt(1000);
long b0624 = rand.nextInt(1000);
long b0625 = rand.nextInt(1000);
long b0626 = rand.nextInt(1000);
long b0627 = rand.nextInt(1000);
long b0628 = rand.nextInt(1000);
long b0629 = rand.nextInt(1000);
long b0630 = rand.nextInt(1000);
long b0631 = rand.nextInt(1000);
long b0632 = rand.nextInt(1000);
long b0633 = rand.nextInt(1000);
long b0634 = rand.nextInt(1000);
long b0635 = rand.nextInt(1000);
long b0636 = rand.nextInt(1000);
long b0637 = rand.nextInt(1000);
long b0638 = rand.nextInt(1000);
long b0639 = rand.nextInt(1000);
long b0640 = rand.nextInt(1000);
long b0641 = rand.nextInt(1000);
long b0642 = rand.nextInt(1000);
long b0643 = rand.nextInt(1000);
long b0644 = rand.nextInt(1000);
long b0645 = rand.nextInt(1000);
long b0646 = rand.nextInt(1000);
long b0647 = rand.nextInt(1000);
long b0648 = rand.nextInt(1000);
long b0649 = rand.nextInt(1000);
long b0650 = rand.nextInt(1000);
long b0651 = rand.nextInt(1000);
long b0652 = rand.nextInt(1000);
long b0653 = rand.nextInt(1000);
long b0654 = rand.nextInt(1000);
long b0655 = rand.nextInt(1000);
long b0656 = rand.nextInt(1000);
long b0657 = rand.nextInt(1000);
long b0658 = rand.nextInt(1000);
long b0659 = rand.nextInt(1000);
long b0660 = rand.nextInt(1000);
long b0661 = rand.nextInt(1000);
long b0662 = rand.nextInt(1000);
long b0663 = rand.nextInt(1000);
long b0664 = rand.nextInt(1000);
long b0665 = rand.nextInt(1000);
long b0666 = rand.nextInt(1000);
long b0667 = rand.nextInt(1000);
long b0668 = rand.nextInt(1000);
long b0669 = rand.nextInt(1000);
long b0670 = rand.nextInt(1000);
long b0671 = rand.nextInt(1000);
long b0672 = rand.nextInt(1000);
long b0673 = rand.nextInt(1000);
long b0674 = rand.nextInt(1000);
long b0675 = rand.nextInt(1000);
long b0676 = rand.nextInt(1000);
long b0677 = rand.nextInt(1000);
long b0678 = rand.nextInt(1000);
long b0679 = rand.nextInt(1000);
long b0680 = rand.nextInt(1000);
long b0681 = rand.nextInt(1000);
long b0682 = rand.nextInt(1000);
long b0683 = rand.nextInt(1000);
long b0684 = rand.nextInt(1000);
long b0685 = rand.nextInt(1000);
long b0686 = rand.nextInt(1000);
long b0687 = rand.nextInt(1000);
long b0688 = rand.nextInt(1000);
long b0689 = rand.nextInt(1000);
long b0690 = rand.nextInt(1000);
long b0691 = rand.nextInt(1000);
long b0692 = rand.nextInt(1000);
long b0693 = rand.nextInt(1000);
long b0694 = rand.nextInt(1000);
long b0695 = rand.nextInt(1000);
long b0696 = rand.nextInt(1000);
long b0697 = rand.nextInt(1000);
long b0698 = rand.nextInt(1000);
long b0699 = rand.nextInt(1000);
long b0700 = rand.nextInt(1000);
long b0701 = rand.nextInt(1000);
long b0702 = rand.nextInt(1000);
long b0703 = rand.nextInt(1000);
long b0704 = rand.nextInt(1000);
long b0705 = rand.nextInt(1000);
long b0706 = rand.nextInt(1000);
long b0707 = rand.nextInt(1000);
long b0708 = rand.nextInt(1000);
long b0709 = rand.nextInt(1000);
long b0710 = rand.nextInt(1000);
long b0711 = rand.nextInt(1000);
long b0712 = rand.nextInt(1000);
long b0713 = rand.nextInt(1000);
long b0714 = rand.nextInt(1000);
long b0715 = rand.nextInt(1000);
long b0716 = rand.nextInt(1000);
long b0717 = rand.nextInt(1000);
long b0718 = rand.nextInt(1000);
long b0719 = rand.nextInt(1000);
long b0720 = rand.nextInt(1000);
long b0721 = rand.nextInt(1000);
long b0722 = rand.nextInt(1000);
long b0723 = rand.nextInt(1000);
long b0724 = rand.nextInt(1000);
long b0725 = rand.nextInt(1000);
long b0726 = rand.nextInt(1000);
long b0727 = rand.nextInt(1000);
long b0728 = rand.nextInt(1000);
long b0729 = rand.nextInt(1000);
long b0730 = rand.nextInt(1000);
long b0731 = rand.nextInt(1000);
long b0732 = rand.nextInt(1000);
long b0733 = rand.nextInt(1000);
long b0734 = rand.nextInt(1000);
long b0735 = rand.nextInt(1000);
long b0736 = rand.nextInt(1000);
long b0737 = rand.nextInt(1000);
long b0738 = rand.nextInt(1000);
long b0739 = rand.nextInt(1000);
long b0740 = rand.nextInt(1000);
long b0741 = rand.nextInt(1000);
long b0742 = rand.nextInt(1000);
long b0743 = rand.nextInt(1000);
long b0744 = rand.nextInt(1000);
long b0745 = rand.nextInt(1000);
long b0746 = rand.nextInt(1000);
long b0747 = rand.nextInt(1000);
long b0748 = rand.nextInt(1000);
long b0749 = rand.nextInt(1000);
long b0750 = rand.nextInt(1000);
long b0751 = rand.nextInt(1000);
long b0752 = rand.nextInt(1000);
long b0753 = rand.nextInt(1000);
long b0754 = rand.nextInt(1000);
long b0755 = rand.nextInt(1000);
long b0756 = rand.nextInt(1000);
long b0757 = rand.nextInt(1000);
long b0758 = rand.nextInt(1000);
long b0759 = rand.nextInt(1000);
long b0760 = rand.nextInt(1000);
long b0761 = rand.nextInt(1000);
long b0762 = rand.nextInt(1000);
long b0763 = rand.nextInt(1000);
long b0764 = rand.nextInt(1000);
long b0765 = rand.nextInt(1000);
long b0766 = rand.nextInt(1000);
long b0767 = rand.nextInt(1000);
long b0768 = rand.nextInt(1000);
long b0769 = rand.nextInt(1000);
long b0770 = rand.nextInt(1000);
long b0771 = rand.nextInt(1000);
long b0772 = rand.nextInt(1000);
long b0773 = rand.nextInt(1000);
long b0774 = rand.nextInt(1000);
long b0775 = rand.nextInt(1000);
long b0776 = rand.nextInt(1000);
long b0777 = rand.nextInt(1000);
long b0778 = rand.nextInt(1000);
long b0779 = rand.nextInt(1000);
long b0780 = rand.nextInt(1000);
long b0781 = rand.nextInt(1000);
long b0782 = rand.nextInt(1000);
long b0783 = rand.nextInt(1000);
long b0784 = rand.nextInt(1000);
long b0785 = rand.nextInt(1000);
long b0786 = rand.nextInt(1000);
long b0787 = rand.nextInt(1000);
long b0788 = rand.nextInt(1000);
long b0789 = rand.nextInt(1000);
long b0790 = rand.nextInt(1000);
long b0791 = rand.nextInt(1000);
long b0792 = rand.nextInt(1000);
long b0793 = rand.nextInt(1000);
long b0794 = rand.nextInt(1000);
long b0795 = rand.nextInt(1000);
long b0796 = rand.nextInt(1000);
long b0797 = rand.nextInt(1000);
long b0798 = rand.nextInt(1000);
long b0799 = rand.nextInt(1000);
long b0800 = rand.nextInt(1000);
long b0801 = rand.nextInt(1000);
long b0802 = rand.nextInt(1000);
long b0803 = rand.nextInt(1000);
long b0804 = rand.nextInt(1000);
long b0805 = rand.nextInt(1000);
long b0806 = rand.nextInt(1000);
long b0807 = rand.nextInt(1000);
long b0808 = rand.nextInt(1000);
long b0809 = rand.nextInt(1000);
long b0810 = rand.nextInt(1000);
long b0811 = rand.nextInt(1000);
long b0812 = rand.nextInt(1000);
long b0813 = rand.nextInt(1000);
long b0814 = rand.nextInt(1000);
long b0815 = rand.nextInt(1000);
long b0816 = rand.nextInt(1000);
long b0817 = rand.nextInt(1000);
long b0818 = rand.nextInt(1000);
long b0819 = rand.nextInt(1000);
long b0820 = rand.nextInt(1000);
long b0821 = rand.nextInt(1000);
long b0822 = rand.nextInt(1000);
long b0823 = rand.nextInt(1000);
long b0824 = rand.nextInt(1000);
long b0825 = rand.nextInt(1000);
long b0826 = rand.nextInt(1000);
long b0827 = rand.nextInt(1000);
long b0828 = rand.nextInt(1000);
long b0829 = rand.nextInt(1000);
long b0830 = rand.nextInt(1000);
long b0831 = rand.nextInt(1000);
long b0832 = rand.nextInt(1000);
long b0833 = rand.nextInt(1000);
long b0834 = rand.nextInt(1000);
long b0835 = rand.nextInt(1000);
long b0836 = rand.nextInt(1000);
long b0837 = rand.nextInt(1000);
long b0838 = rand.nextInt(1000);
long b0839 = rand.nextInt(1000);
long b0840 = rand.nextInt(1000);
long b0841 = rand.nextInt(1000);
long b0842 = rand.nextInt(1000);
long b0843 = rand.nextInt(1000);
long b0844 = rand.nextInt(1000);
long b0845 = rand.nextInt(1000);
long b0846 = rand.nextInt(1000);
long b0847 = rand.nextInt(1000);
long b0848 = rand.nextInt(1000);
long b0849 = rand.nextInt(1000);
long b0850 = rand.nextInt(1000);
long b0851 = rand.nextInt(1000);
long b0852 = rand.nextInt(1000);
long b0853 = rand.nextInt(1000);
long b0854 = rand.nextInt(1000);
long b0855 = rand.nextInt(1000);
long b0856 = rand.nextInt(1000);
long b0857 = rand.nextInt(1000);
long b0858 = rand.nextInt(1000);
long b0859 = rand.nextInt(1000);
long b0860 = rand.nextInt(1000);
long b0861 = rand.nextInt(1000);
long b0862 = rand.nextInt(1000);
long b0863 = rand.nextInt(1000);
long b0864 = rand.nextInt(1000);
long b0865 = rand.nextInt(1000);
long b0866 = rand.nextInt(1000);
long b0867 = rand.nextInt(1000);
long b0868 = rand.nextInt(1000);
long b0869 = rand.nextInt(1000);
long b0870 = rand.nextInt(1000);
long b0871 = rand.nextInt(1000);
long b0872 = rand.nextInt(1000);
long b0873 = rand.nextInt(1000);
long b0874 = rand.nextInt(1000);
long b0875 = rand.nextInt(1000);
long b0876 = rand.nextInt(1000);
long b0877 = rand.nextInt(1000);
long b0878 = rand.nextInt(1000);
long b0879 = rand.nextInt(1000);
long b0880 = rand.nextInt(1000);
long b0881 = rand.nextInt(1000);
long b0882 = rand.nextInt(1000);
long b0883 = rand.nextInt(1000);
long b0884 = rand.nextInt(1000);
long b0885 = rand.nextInt(1000);
long b0886 = rand.nextInt(1000);
long b0887 = rand.nextInt(1000);
long b0888 = rand.nextInt(1000);
long b0889 = rand.nextInt(1000);
long b0890 = rand.nextInt(1000);
long b0891 = rand.nextInt(1000);
long b0892 = rand.nextInt(1000);
long b0893 = rand.nextInt(1000);
long b0894 = rand.nextInt(1000);
long b0895 = rand.nextInt(1000);
long b0896 = rand.nextInt(1000);
long b0897 = rand.nextInt(1000);
long b0898 = rand.nextInt(1000);
long b0899 = rand.nextInt(1000);
long b0900 = rand.nextInt(1000);
long b0901 = rand.nextInt(1000);
long b0902 = rand.nextInt(1000);
long b0903 = rand.nextInt(1000);
long b0904 = rand.nextInt(1000);
long b0905 = rand.nextInt(1000);
long b0906 = rand.nextInt(1000);
long b0907 = rand.nextInt(1000);
long b0908 = rand.nextInt(1000);
long b0909 = rand.nextInt(1000);
long b0910 = rand.nextInt(1000);
long b0911 = rand.nextInt(1000);
long b0912 = rand.nextInt(1000);
long b0913 = rand.nextInt(1000);
long b0914 = rand.nextInt(1000);
long b0915 = rand.nextInt(1000);
long b0916 = rand.nextInt(1000);
long b0917 = rand.nextInt(1000);
long b0918 = rand.nextInt(1000);
long b0919 = rand.nextInt(1000);
long b0920 = rand.nextInt(1000);
long b0921 = rand.nextInt(1000);
long b0922 = rand.nextInt(1000);
long b0923 = rand.nextInt(1000);
long b0924 = rand.nextInt(1000);
long b0925 = rand.nextInt(1000);
long b0926 = rand.nextInt(1000);
long b0927 = rand.nextInt(1000);
long b0928 = rand.nextInt(1000);
long b0929 = rand.nextInt(1000);
long b0930 = rand.nextInt(1000);
long b0931 = rand.nextInt(1000);
long b0932 = rand.nextInt(1000);
long b0933 = rand.nextInt(1000);
long b0934 = rand.nextInt(1000);
long b0935 = rand.nextInt(1000);
long b0936 = rand.nextInt(1000);
long b0937 = rand.nextInt(1000);
long b0938 = rand.nextInt(1000);
long b0939 = rand.nextInt(1000);
long b0940 = rand.nextInt(1000);
long b0941 = rand.nextInt(1000);
long b0942 = rand.nextInt(1000);
long b0943 = rand.nextInt(1000);
long b0944 = rand.nextInt(1000);
long b0945 = rand.nextInt(1000);
long b0946 = rand.nextInt(1000);
long b0947 = rand.nextInt(1000);
long b0948 = rand.nextInt(1000);
long b0949 = rand.nextInt(1000);
long b0950 = rand.nextInt(1000);
long b0951 = rand.nextInt(1000);
long b0952 = rand.nextInt(1000);
long b0953 = rand.nextInt(1000);
long b0954 = rand.nextInt(1000);
long b0955 = rand.nextInt(1000);
long b0956 = rand.nextInt(1000);
long b0957 = rand.nextInt(1000);
long b0958 = rand.nextInt(1000);
long b0959 = rand.nextInt(1000);
long b0960 = rand.nextInt(1000);
long b0961 = rand.nextInt(1000);
long b0962 = rand.nextInt(1000);
long b0963 = rand.nextInt(1000);
long b0964 = rand.nextInt(1000);
long b0965 = rand.nextInt(1000);
long b0966 = rand.nextInt(1000);
long b0967 = rand.nextInt(1000);
long b0968 = rand.nextInt(1000);
long b0969 = rand.nextInt(1000);
long b0970 = rand.nextInt(1000);
long b0971 = rand.nextInt(1000);
long b0972 = rand.nextInt(1000);
long b0973 = rand.nextInt(1000);
long b0974 = rand.nextInt(1000);
long b0975 = rand.nextInt(1000);
long b0976 = rand.nextInt(1000);
long b0977 = rand.nextInt(1000);
long b0978 = rand.nextInt(1000);
long b0979 = rand.nextInt(1000);
long b0980 = rand.nextInt(1000);
long b0981 = rand.nextInt(1000);
long b0982 = rand.nextInt(1000);
long b0983 = rand.nextInt(1000);
long b0984 = rand.nextInt(1000);
long b0985 = rand.nextInt(1000);
long b0986 = rand.nextInt(1000);
long b0987 = rand.nextInt(1000);
long b0988 = rand.nextInt(1000);
long b0989 = rand.nextInt(1000);
long b0990 = rand.nextInt(1000);
long b0991 = rand.nextInt(1000);
long b0992 = rand.nextInt(1000);
long b0993 = rand.nextInt(1000);
long b0994 = rand.nextInt(1000);
long b0995 = rand.nextInt(1000);
long b0996 = rand.nextInt(1000);
long b0997 = rand.nextInt(1000);
long b0998 = rand.nextInt(1000);
long b0999 = rand.nextInt(1000);
long b1000 = rand.nextInt(1000);
long b1001 = rand.nextInt(1000);
long b1002 = rand.nextInt(1000);
long b1003 = rand.nextInt(1000);
long b1004 = rand.nextInt(1000);
long b1005 = rand.nextInt(1000);
long b1006 = rand.nextInt(1000);
long b1007 = rand.nextInt(1000);
long b1008 = rand.nextInt(1000);
long b1009 = rand.nextInt(1000);
long b1010 = rand.nextInt(1000);
long b1011 = rand.nextInt(1000);
long b1012 = rand.nextInt(1000);
long b1013 = rand.nextInt(1000);
long b1014 = rand.nextInt(1000);
long b1015 = rand.nextInt(1000);
long b1016 = rand.nextInt(1000);
long b1017 = rand.nextInt(1000);
long b1018 = rand.nextInt(1000);
long b1019 = rand.nextInt(1000);
long b1020 = rand.nextInt(1000);
long b1021 = rand.nextInt(1000);
long b1022 = rand.nextInt(1000);
long b1023 = rand.nextInt(1000);
long b1024 = rand.nextInt(1000);
long b1025 = rand.nextInt(1000);
long b1026 = rand.nextInt(1000);
long b1027 = rand.nextInt(1000);
long b1028 = rand.nextInt(1000);
long b1029 = rand.nextInt(1000);
long b1030 = rand.nextInt(1000);
long b1031 = rand.nextInt(1000);
long b1032 = rand.nextInt(1000);
long b1033 = rand.nextInt(1000);
long b1034 = rand.nextInt(1000);
long b1035 = rand.nextInt(1000);
long b1036 = rand.nextInt(1000);
long b1037 = rand.nextInt(1000);
long b1038 = rand.nextInt(1000);
long b1039 = rand.nextInt(1000);
long b1040 = rand.nextInt(1000);
long b1041 = rand.nextInt(1000);
long b1042 = rand.nextInt(1000);
long b1043 = rand.nextInt(1000);
long b1044 = rand.nextInt(1000);
long b1045 = rand.nextInt(1000);
long b1046 = rand.nextInt(1000);
long b1047 = rand.nextInt(1000);
long b1048 = rand.nextInt(1000);
long b1049 = rand.nextInt(1000);
long b1050 = rand.nextInt(1000);
long b1051 = rand.nextInt(1000);
long b1052 = rand.nextInt(1000);
long b1053 = rand.nextInt(1000);
long b1054 = rand.nextInt(1000);
long b1055 = rand.nextInt(1000);
long b1056 = rand.nextInt(1000);
long b1057 = rand.nextInt(1000);
long b1058 = rand.nextInt(1000);
long b1059 = rand.nextInt(1000);
long b1060 = rand.nextInt(1000);
long b1061 = rand.nextInt(1000);
long b1062 = rand.nextInt(1000);
long b1063 = rand.nextInt(1000);
long b1064 = rand.nextInt(1000);
long b1065 = rand.nextInt(1000);
long b1066 = rand.nextInt(1000);
long b1067 = rand.nextInt(1000);
long b1068 = rand.nextInt(1000);
long b1069 = rand.nextInt(1000);
long b1070 = rand.nextInt(1000);
long b1071 = rand.nextInt(1000);
long b1072 = rand.nextInt(1000);
long b1073 = rand.nextInt(1000);
long b1074 = rand.nextInt(1000);
long b1075 = rand.nextInt(1000);
long b1076 = rand.nextInt(1000);
long b1077 = rand.nextInt(1000);
long b1078 = rand.nextInt(1000);
long b1079 = rand.nextInt(1000);
long b1080 = rand.nextInt(1000);
long b1081 = rand.nextInt(1000);
long b1082 = rand.nextInt(1000);
long b1083 = rand.nextInt(1000);
long b1084 = rand.nextInt(1000);
long b1085 = rand.nextInt(1000);
long b1086 = rand.nextInt(1000);
long b1087 = rand.nextInt(1000);
long b1088 = rand.nextInt(1000);
long b1089 = rand.nextInt(1000);
long b1090 = rand.nextInt(1000);
long b1091 = rand.nextInt(1000);
long b1092 = rand.nextInt(1000);
long b1093 = rand.nextInt(1000);
long b1094 = rand.nextInt(1000);
long b1095 = rand.nextInt(1000);
long b1096 = rand.nextInt(1000);
long b1097 = rand.nextInt(1000);
long b1098 = rand.nextInt(1000);
long b1099 = rand.nextInt(1000);
long b1100 = rand.nextInt(1000);
long b1101 = rand.nextInt(1000);
long b1102 = rand.nextInt(1000);
long b1103 = rand.nextInt(1000);
long b1104 = rand.nextInt(1000);
long b1105 = rand.nextInt(1000);
long b1106 = rand.nextInt(1000);
long b1107 = rand.nextInt(1000);
long b1108 = rand.nextInt(1000);
long b1109 = rand.nextInt(1000);
long b1110 = rand.nextInt(1000);
long b1111 = rand.nextInt(1000);
long b1112 = rand.nextInt(1000);
long b1113 = rand.nextInt(1000);
long b1114 = rand.nextInt(1000);
long b1115 = rand.nextInt(1000);
long b1116 = rand.nextInt(1000);
long b1117 = rand.nextInt(1000);
long b1118 = rand.nextInt(1000);
long b1119 = rand.nextInt(1000);
long b1120 = rand.nextInt(1000);
long b1121 = rand.nextInt(1000);
long b1122 = rand.nextInt(1000);
long b1123 = rand.nextInt(1000);
long b1124 = rand.nextInt(1000);
long b1125 = rand.nextInt(1000);
long b1126 = rand.nextInt(1000);
long b1127 = rand.nextInt(1000);
long b1128 = rand.nextInt(1000);
long b1129 = rand.nextInt(1000);
long b1130 = rand.nextInt(1000);
long b1131 = rand.nextInt(1000);
long b1132 = rand.nextInt(1000);
long b1133 = rand.nextInt(1000);
long b1134 = rand.nextInt(1000);
long b1135 = rand.nextInt(1000);
long b1136 = rand.nextInt(1000);
long b1137 = rand.nextInt(1000);
long b1138 = rand.nextInt(1000);
long b1139 = rand.nextInt(1000);
long b1140 = rand.nextInt(1000);
long b1141 = rand.nextInt(1000);
long b1142 = rand.nextInt(1000);
long b1143 = rand.nextInt(1000);
long b1144 = rand.nextInt(1000);
long b1145 = rand.nextInt(1000);
long b1146 = rand.nextInt(1000);
long b1147 = rand.nextInt(1000);
long b1148 = rand.nextInt(1000);
long b1149 = rand.nextInt(1000);
long b1150 = rand.nextInt(1000);
long b1151 = rand.nextInt(1000);
long b1152 = rand.nextInt(1000);
long b1153 = rand.nextInt(1000);
long b1154 = rand.nextInt(1000);
long b1155 = rand.nextInt(1000);
long b1156 = rand.nextInt(1000);
long b1157 = rand.nextInt(1000);
long b1158 = rand.nextInt(1000);
long b1159 = rand.nextInt(1000);
long b1160 = rand.nextInt(1000);
long b1161 = rand.nextInt(1000);
long b1162 = rand.nextInt(1000);
long b1163 = rand.nextInt(1000);
long b1164 = rand.nextInt(1000);
long b1165 = rand.nextInt(1000);
long b1166 = rand.nextInt(1000);
long b1167 = rand.nextInt(1000);
long b1168 = rand.nextInt(1000);
long b1169 = rand.nextInt(1000);
long b1170 = rand.nextInt(1000);
long b1171 = rand.nextInt(1000);
long b1172 = rand.nextInt(1000);
long b1173 = rand.nextInt(1000);
long b1174 = rand.nextInt(1000);
long b1175 = rand.nextInt(1000);
long b1176 = rand.nextInt(1000);
long b1177 = rand.nextInt(1000);
long b1178 = rand.nextInt(1000);
long b1179 = rand.nextInt(1000);
long b1180 = rand.nextInt(1000);
long b1181 = rand.nextInt(1000);
long b1182 = rand.nextInt(1000);
long b1183 = rand.nextInt(1000);
long b1184 = rand.nextInt(1000);
long b1185 = rand.nextInt(1000);
long b1186 = rand.nextInt(1000);
long b1187 = rand.nextInt(1000);
long b1188 = rand.nextInt(1000);
long b1189 = rand.nextInt(1000);
long b1190 = rand.nextInt(1000);
long b1191 = rand.nextInt(1000);
long b1192 = rand.nextInt(1000);
long b1193 = rand.nextInt(1000);
long b1194 = rand.nextInt(1000);
long b1195 = rand.nextInt(1000);
long b1196 = rand.nextInt(1000);
long b1197 = rand.nextInt(1000);
long b1198 = rand.nextInt(1000);
long b1199 = rand.nextInt(1000);
long b1200 = rand.nextInt(1000);
long b1201 = rand.nextInt(1000);
long b1202 = rand.nextInt(1000);
long b1203 = rand.nextInt(1000);
long b1204 = rand.nextInt(1000);
long b1205 = rand.nextInt(1000);
long b1206 = rand.nextInt(1000);
long b1207 = rand.nextInt(1000);
long b1208 = rand.nextInt(1000);
long b1209 = rand.nextInt(1000);
long b1210 = rand.nextInt(1000);
long b1211 = rand.nextInt(1000);
long b1212 = rand.nextInt(1000);
long b1213 = rand.nextInt(1000);
long b1214 = rand.nextInt(1000);
long b1215 = rand.nextInt(1000);
long b1216 = rand.nextInt(1000);
long b1217 = rand.nextInt(1000);
long b1218 = rand.nextInt(1000);
long b1219 = rand.nextInt(1000);
long b1220 = rand.nextInt(1000);
long b1221 = rand.nextInt(1000);
long b1222 = rand.nextInt(1000);
long b1223 = rand.nextInt(1000);
long b1224 = rand.nextInt(1000);
long b1225 = rand.nextInt(1000);
long b1226 = rand.nextInt(1000);
long b1227 = rand.nextInt(1000);
long b1228 = rand.nextInt(1000);
long b1229 = rand.nextInt(1000);
long b1230 = rand.nextInt(1000);
long b1231 = rand.nextInt(1000);
long b1232 = rand.nextInt(1000);
long b1233 = rand.nextInt(1000);
long b1234 = rand.nextInt(1000);
long b1235 = rand.nextInt(1000);
long b1236 = rand.nextInt(1000);
long b1237 = rand.nextInt(1000);
long b1238 = rand.nextInt(1000);
long b1239 = rand.nextInt(1000);
long b1240 = rand.nextInt(1000);
long b1241 = rand.nextInt(1000);
long b1242 = rand.nextInt(1000);
long b1243 = rand.nextInt(1000);
long b1244 = rand.nextInt(1000);
long b1245 = rand.nextInt(1000);
long b1246 = rand.nextInt(1000);
long b1247 = rand.nextInt(1000);
long b1248 = rand.nextInt(1000);
long b1249 = rand.nextInt(1000);
long b1250 = rand.nextInt(1000);
long b1251 = rand.nextInt(1000);
long b1252 = rand.nextInt(1000);
long b1253 = rand.nextInt(1000);
long b1254 = rand.nextInt(1000);
long b1255 = rand.nextInt(1000);
long b1256 = rand.nextInt(1000);
long b1257 = rand.nextInt(1000);
long b1258 = rand.nextInt(1000);
long b1259 = rand.nextInt(1000);
long b1260 = rand.nextInt(1000);
long b1261 = rand.nextInt(1000);
long b1262 = rand.nextInt(1000);
long b1263 = rand.nextInt(1000);
long b1264 = rand.nextInt(1000);
long b1265 = rand.nextInt(1000);
long b1266 = rand.nextInt(1000);
long b1267 = rand.nextInt(1000);
long b1268 = rand.nextInt(1000);
long b1269 = rand.nextInt(1000);
long b1270 = rand.nextInt(1000);
long b1271 = rand.nextInt(1000);
long b1272 = rand.nextInt(1000);
long b1273 = rand.nextInt(1000);
long b1274 = rand.nextInt(1000);
long b1275 = rand.nextInt(1000);
long b1276 = rand.nextInt(1000);
long b1277 = rand.nextInt(1000);
long b1278 = rand.nextInt(1000);
long b1279 = rand.nextInt(1000);
long b1280 = rand.nextInt(1000);
long b1281 = rand.nextInt(1000);
long b1282 = rand.nextInt(1000);
long b1283 = rand.nextInt(1000);
long b1284 = rand.nextInt(1000);
long b1285 = rand.nextInt(1000);
long b1286 = rand.nextInt(1000);
long b1287 = rand.nextInt(1000);
long b1288 = rand.nextInt(1000);
long b1289 = rand.nextInt(1000);
long b1290 = rand.nextInt(1000);
long b1291 = rand.nextInt(1000);
long b1292 = rand.nextInt(1000);
long b1293 = rand.nextInt(1000);
long b1294 = rand.nextInt(1000);
long b1295 = rand.nextInt(1000);
long b1296 = rand.nextInt(1000);
long b1297 = rand.nextInt(1000);
long b1298 = rand.nextInt(1000);
long b1299 = rand.nextInt(1000);
long b1300 = rand.nextInt(1000);
long b1301 = rand.nextInt(1000);
long b1302 = rand.nextInt(1000);
long b1303 = rand.nextInt(1000);
long b1304 = rand.nextInt(1000);
long b1305 = rand.nextInt(1000);
long b1306 = rand.nextInt(1000);
long b1307 = rand.nextInt(1000);
long b1308 = rand.nextInt(1000);
long b1309 = rand.nextInt(1000);
long b1310 = rand.nextInt(1000);
long b1311 = rand.nextInt(1000);
long b1312 = rand.nextInt(1000);
long b1313 = rand.nextInt(1000);
long b1314 = rand.nextInt(1000);
long b1315 = rand.nextInt(1000);
long b1316 = rand.nextInt(1000);
long b1317 = rand.nextInt(1000);
long b1318 = rand.nextInt(1000);
long b1319 = rand.nextInt(1000);
long b1320 = rand.nextInt(1000);
long b1321 = rand.nextInt(1000);
long b1322 = rand.nextInt(1000);
long b1323 = rand.nextInt(1000);
long b1324 = rand.nextInt(1000);
long b1325 = rand.nextInt(1000);
long b1326 = rand.nextInt(1000);
long b1327 = rand.nextInt(1000);
long b1328 = rand.nextInt(1000);
long b1329 = rand.nextInt(1000);
long b1330 = rand.nextInt(1000);
long b1331 = rand.nextInt(1000);
long b1332 = rand.nextInt(1000);
long b1333 = rand.nextInt(1000);
long b1334 = rand.nextInt(1000);
long b1335 = rand.nextInt(1000);
long b1336 = rand.nextInt(1000);
long b1337 = rand.nextInt(1000);
long b1338 = rand.nextInt(1000);
long b1339 = rand.nextInt(1000);
long b1340 = rand.nextInt(1000);
long b1341 = rand.nextInt(1000);
long b1342 = rand.nextInt(1000);
long b1343 = rand.nextInt(1000);
long b1344 = rand.nextInt(1000);
long b1345 = rand.nextInt(1000);
long b1346 = rand.nextInt(1000);
long b1347 = rand.nextInt(1000);
long b1348 = rand.nextInt(1000);
long b1349 = rand.nextInt(1000);
long b1350 = rand.nextInt(1000);
long b1351 = rand.nextInt(1000);
long b1352 = rand.nextInt(1000);
long b1353 = rand.nextInt(1000);
long b1354 = rand.nextInt(1000);
long b1355 = rand.nextInt(1000);
long b1356 = rand.nextInt(1000);
long b1357 = rand.nextInt(1000);
long b1358 = rand.nextInt(1000);
long b1359 = rand.nextInt(1000);
long b1360 = rand.nextInt(1000);
long b1361 = rand.nextInt(1000);
long b1362 = rand.nextInt(1000);
long b1363 = rand.nextInt(1000);
long b1364 = rand.nextInt(1000);
long b1365 = rand.nextInt(1000);
long b1366 = rand.nextInt(1000);
long b1367 = rand.nextInt(1000);
long b1368 = rand.nextInt(1000);
long b1369 = rand.nextInt(1000);
long b1370 = rand.nextInt(1000);
long b1371 = rand.nextInt(1000);
long b1372 = rand.nextInt(1000);
long b1373 = rand.nextInt(1000);
long b1374 = rand.nextInt(1000);
long b1375 = rand.nextInt(1000);
long b1376 = rand.nextInt(1000);
long b1377 = rand.nextInt(1000);
long b1378 = rand.nextInt(1000);
long b1379 = rand.nextInt(1000);
long b1380 = rand.nextInt(1000);
long b1381 = rand.nextInt(1000);
long b1382 = rand.nextInt(1000);
long b1383 = rand.nextInt(1000);
long b1384 = rand.nextInt(1000);
long b1385 = rand.nextInt(1000);
long b1386 = rand.nextInt(1000);
long b1387 = rand.nextInt(1000);
long b1388 = rand.nextInt(1000);
long b1389 = rand.nextInt(1000);
long b1390 = rand.nextInt(1000);
long b1391 = rand.nextInt(1000);
long b1392 = rand.nextInt(1000);
long b1393 = rand.nextInt(1000);
long b1394 = rand.nextInt(1000);
long b1395 = rand.nextInt(1000);
long b1396 = rand.nextInt(1000);
long b1397 = rand.nextInt(1000);
long b1398 = rand.nextInt(1000);
long b1399 = rand.nextInt(1000);
long b1400 = rand.nextInt(1000);
long b1401 = rand.nextInt(1000);
long b1402 = rand.nextInt(1000);
long b1403 = rand.nextInt(1000);
long b1404 = rand.nextInt(1000);
long b1405 = rand.nextInt(1000);
long b1406 = rand.nextInt(1000);
long b1407 = rand.nextInt(1000);
long b1408 = rand.nextInt(1000);
long b1409 = rand.nextInt(1000);
long b1410 = rand.nextInt(1000);
long b1411 = rand.nextInt(1000);
long b1412 = rand.nextInt(1000);
long b1413 = rand.nextInt(1000);
long b1414 = rand.nextInt(1000);
long b1415 = rand.nextInt(1000);
long b1416 = rand.nextInt(1000);
long b1417 = rand.nextInt(1000);
long b1418 = rand.nextInt(1000);
long b1419 = rand.nextInt(1000);
long b1420 = rand.nextInt(1000);
long b1421 = rand.nextInt(1000);
long b1422 = rand.nextInt(1000);
long b1423 = rand.nextInt(1000);
long b1424 = rand.nextInt(1000);
long b1425 = rand.nextInt(1000);
long b1426 = rand.nextInt(1000);
long b1427 = rand.nextInt(1000);
long b1428 = rand.nextInt(1000);
long b1429 = rand.nextInt(1000);
long b1430 = rand.nextInt(1000);
long b1431 = rand.nextInt(1000);
long b1432 = rand.nextInt(1000);
long b1433 = rand.nextInt(1000);
long b1434 = rand.nextInt(1000);
long b1435 = rand.nextInt(1000);
long b1436 = rand.nextInt(1000);
long b1437 = rand.nextInt(1000);
long b1438 = rand.nextInt(1000);
long b1439 = rand.nextInt(1000);
long b1440 = rand.nextInt(1000);
long b1441 = rand.nextInt(1000);
long b1442 = rand.nextInt(1000);
long b1443 = rand.nextInt(1000);
long b1444 = rand.nextInt(1000);
long b1445 = rand.nextInt(1000);
long b1446 = rand.nextInt(1000);
long b1447 = rand.nextInt(1000);
long b1448 = rand.nextInt(1000);
long b1449 = rand.nextInt(1000);
long b1450 = rand.nextInt(1000);
long b1451 = rand.nextInt(1000);
long b1452 = rand.nextInt(1000);
long b1453 = rand.nextInt(1000);
long b1454 = rand.nextInt(1000);
long b1455 = rand.nextInt(1000);
long b1456 = rand.nextInt(1000);
long b1457 = rand.nextInt(1000);
long b1458 = rand.nextInt(1000);
long b1459 = rand.nextInt(1000);
long b1460 = rand.nextInt(1000);
long b1461 = rand.nextInt(1000);
long b1462 = rand.nextInt(1000);
long b1463 = rand.nextInt(1000);
long b1464 = rand.nextInt(1000);
long b1465 = rand.nextInt(1000);
long b1466 = rand.nextInt(1000);
long b1467 = rand.nextInt(1000);
long b1468 = rand.nextInt(1000);
long b1469 = rand.nextInt(1000);
long b1470 = rand.nextInt(1000);
long b1471 = rand.nextInt(1000);
long b1472 = rand.nextInt(1000);
long b1473 = rand.nextInt(1000);
long b1474 = rand.nextInt(1000);
long b1475 = rand.nextInt(1000);
long b1476 = rand.nextInt(1000);
long b1477 = rand.nextInt(1000);
long b1478 = rand.nextInt(1000);
long b1479 = rand.nextInt(1000);
long b1480 = rand.nextInt(1000);
long b1481 = rand.nextInt(1000);
long b1482 = rand.nextInt(1000);
long b1483 = rand.nextInt(1000);
long b1484 = rand.nextInt(1000);
long b1485 = rand.nextInt(1000);
long b1486 = rand.nextInt(1000);
long b1487 = rand.nextInt(1000);
long b1488 = rand.nextInt(1000);
long b1489 = rand.nextInt(1000);
long b1490 = rand.nextInt(1000);
long b1491 = rand.nextInt(1000);
long b1492 = rand.nextInt(1000);
long b1493 = rand.nextInt(1000);
long b1494 = rand.nextInt(1000);
long b1495 = rand.nextInt(1000);
long b1496 = rand.nextInt(1000);
long b1497 = rand.nextInt(1000);
long b1498 = rand.nextInt(1000);
long b1499 = rand.nextInt(1000);
long b1500 = rand.nextInt(1000);
long b1501 = rand.nextInt(1000);
long b1502 = rand.nextInt(1000);
long b1503 = rand.nextInt(1000);
long b1504 = rand.nextInt(1000);
long b1505 = rand.nextInt(1000);
long b1506 = rand.nextInt(1000);
long b1507 = rand.nextInt(1000);
long b1508 = rand.nextInt(1000);
long b1509 = rand.nextInt(1000);
long b1510 = rand.nextInt(1000);
long b1511 = rand.nextInt(1000);
long b1512 = rand.nextInt(1000);
long b1513 = rand.nextInt(1000);
long b1514 = rand.nextInt(1000);
long b1515 = rand.nextInt(1000);
long b1516 = rand.nextInt(1000);
long b1517 = rand.nextInt(1000);
long b1518 = rand.nextInt(1000);
long b1519 = rand.nextInt(1000);
long b1520 = rand.nextInt(1000);
long b1521 = rand.nextInt(1000);
long b1522 = rand.nextInt(1000);
long b1523 = rand.nextInt(1000);
long b1524 = rand.nextInt(1000);
long b1525 = rand.nextInt(1000);
long b1526 = rand.nextInt(1000);
long b1527 = rand.nextInt(1000);
long b1528 = rand.nextInt(1000);
long b1529 = rand.nextInt(1000);
long b1530 = rand.nextInt(1000);
long b1531 = rand.nextInt(1000);
long b1532 = rand.nextInt(1000);
long b1533 = rand.nextInt(1000);
long b1534 = rand.nextInt(1000);
long b1535 = rand.nextInt(1000);
long b1536 = rand.nextInt(1000);
long b1537 = rand.nextInt(1000);
long b1538 = rand.nextInt(1000);
long b1539 = rand.nextInt(1000);
long b1540 = rand.nextInt(1000);
long b1541 = rand.nextInt(1000);
long b1542 = rand.nextInt(1000);
long b1543 = rand.nextInt(1000);
long b1544 = rand.nextInt(1000);
long b1545 = rand.nextInt(1000);
long b1546 = rand.nextInt(1000);
long b1547 = rand.nextInt(1000);
long b1548 = rand.nextInt(1000);
long b1549 = rand.nextInt(1000);
long b1550 = rand.nextInt(1000);
long b1551 = rand.nextInt(1000);
long b1552 = rand.nextInt(1000);
long b1553 = rand.nextInt(1000);
long b1554 = rand.nextInt(1000);
long b1555 = rand.nextInt(1000);
long b1556 = rand.nextInt(1000);
long b1557 = rand.nextInt(1000);
long b1558 = rand.nextInt(1000);
long b1559 = rand.nextInt(1000);
long b1560 = rand.nextInt(1000);
long b1561 = rand.nextInt(1000);
long b1562 = rand.nextInt(1000);
long b1563 = rand.nextInt(1000);
long b1564 = rand.nextInt(1000);
long b1565 = rand.nextInt(1000);
long b1566 = rand.nextInt(1000);
long b1567 = rand.nextInt(1000);
long b1568 = rand.nextInt(1000);
long b1569 = rand.nextInt(1000);
long b1570 = rand.nextInt(1000);
long b1571 = rand.nextInt(1000);
long b1572 = rand.nextInt(1000);
long b1573 = rand.nextInt(1000);
long b1574 = rand.nextInt(1000);
long b1575 = rand.nextInt(1000);
long b1576 = rand.nextInt(1000);
long b1577 = rand.nextInt(1000);
long b1578 = rand.nextInt(1000);
long b1579 = rand.nextInt(1000);
long b1580 = rand.nextInt(1000);
long b1581 = rand.nextInt(1000);
long b1582 = rand.nextInt(1000);
long b1583 = rand.nextInt(1000);
long b1584 = rand.nextInt(1000);
long b1585 = rand.nextInt(1000);
long b1586 = rand.nextInt(1000);
long b1587 = rand.nextInt(1000);
long b1588 = rand.nextInt(1000);
long b1589 = rand.nextInt(1000);
long b1590 = rand.nextInt(1000);
long b1591 = rand.nextInt(1000);
long b1592 = rand.nextInt(1000);
long b1593 = rand.nextInt(1000);
long b1594 = rand.nextInt(1000);
long b1595 = rand.nextInt(1000);
long b1596 = rand.nextInt(1000);
long b1597 = rand.nextInt(1000);
long b1598 = rand.nextInt(1000);
long b1599 = rand.nextInt(1000);
long b1600 = rand.nextInt(1000);
long b1601 = rand.nextInt(1000);
long b1602 = rand.nextInt(1000);
long b1603 = rand.nextInt(1000);
long b1604 = rand.nextInt(1000);
long b1605 = rand.nextInt(1000);
long b1606 = rand.nextInt(1000);
long b1607 = rand.nextInt(1000);
long b1608 = rand.nextInt(1000);
long b1609 = rand.nextInt(1000);
long b1610 = rand.nextInt(1000);
long b1611 = rand.nextInt(1000);
long b1612 = rand.nextInt(1000);
long b1613 = rand.nextInt(1000);
long b1614 = rand.nextInt(1000);
long b1615 = rand.nextInt(1000);
long b1616 = rand.nextInt(1000);
long b1617 = rand.nextInt(1000);
long b1618 = rand.nextInt(1000);
long b1619 = rand.nextInt(1000);
long b1620 = rand.nextInt(1000);
long b1621 = rand.nextInt(1000);
long b1622 = rand.nextInt(1000);
long b1623 = rand.nextInt(1000);
long b1624 = rand.nextInt(1000);
long b1625 = rand.nextInt(1000);
long b1626 = rand.nextInt(1000);
long b1627 = rand.nextInt(1000);
long b1628 = rand.nextInt(1000);
long b1629 = rand.nextInt(1000);
long b1630 = rand.nextInt(1000);
long b1631 = rand.nextInt(1000);
long b1632 = rand.nextInt(1000);
long b1633 = rand.nextInt(1000);
long b1634 = rand.nextInt(1000);
long b1635 = rand.nextInt(1000);
long b1636 = rand.nextInt(1000);
long b1637 = rand.nextInt(1000);
long b1638 = rand.nextInt(1000);
long b1639 = rand.nextInt(1000);
long b1640 = rand.nextInt(1000);
long b1641 = rand.nextInt(1000);
long b1642 = rand.nextInt(1000);
long b1643 = rand.nextInt(1000);
long b1644 = rand.nextInt(1000);
long b1645 = rand.nextInt(1000);
long b1646 = rand.nextInt(1000);
long b1647 = rand.nextInt(1000);
long b1648 = rand.nextInt(1000);
long b1649 = rand.nextInt(1000);
long b1650 = rand.nextInt(1000);
long b1651 = rand.nextInt(1000);
long b1652 = rand.nextInt(1000);
long b1653 = rand.nextInt(1000);
long b1654 = rand.nextInt(1000);
long b1655 = rand.nextInt(1000);
long b1656 = rand.nextInt(1000);
long b1657 = rand.nextInt(1000);
long b1658 = rand.nextInt(1000);
long b1659 = rand.nextInt(1000);
long b1660 = rand.nextInt(1000);
long b1661 = rand.nextInt(1000);
long b1662 = rand.nextInt(1000);
long b1663 = rand.nextInt(1000);
long b1664 = rand.nextInt(1000);
long b1665 = rand.nextInt(1000);
long b1666 = rand.nextInt(1000);
long b1667 = rand.nextInt(1000);
long b1668 = rand.nextInt(1000);
long b1669 = rand.nextInt(1000);
long b1670 = rand.nextInt(1000);
long b1671 = rand.nextInt(1000);
long b1672 = rand.nextInt(1000);
long b1673 = rand.nextInt(1000);
long b1674 = rand.nextInt(1000);
long b1675 = rand.nextInt(1000);
long b1676 = rand.nextInt(1000);
long b1677 = rand.nextInt(1000);
long b1678 = rand.nextInt(1000);
long b1679 = rand.nextInt(1000);
long b1680 = rand.nextInt(1000);
long b1681 = rand.nextInt(1000);
long b1682 = rand.nextInt(1000);
long b1683 = rand.nextInt(1000);
long b1684 = rand.nextInt(1000);
long b1685 = rand.nextInt(1000);
long b1686 = rand.nextInt(1000);
long b1687 = rand.nextInt(1000);
long b1688 = rand.nextInt(1000);
long b1689 = rand.nextInt(1000);
long b1690 = rand.nextInt(1000);
long b1691 = rand.nextInt(1000);
long b1692 = rand.nextInt(1000);
long b1693 = rand.nextInt(1000);
long b1694 = rand.nextInt(1000);
long b1695 = rand.nextInt(1000);
long b1696 = rand.nextInt(1000);
long b1697 = rand.nextInt(1000);
long b1698 = rand.nextInt(1000);
long b1699 = rand.nextInt(1000);
long b1700 = rand.nextInt(1000);
long b1701 = rand.nextInt(1000);
long b1702 = rand.nextInt(1000);
long b1703 = rand.nextInt(1000);
long b1704 = rand.nextInt(1000);
long b1705 = rand.nextInt(1000);
long b1706 = rand.nextInt(1000);
long b1707 = rand.nextInt(1000);
long b1708 = rand.nextInt(1000);
long b1709 = rand.nextInt(1000);
long b1710 = rand.nextInt(1000);
long b1711 = rand.nextInt(1000);
long b1712 = rand.nextInt(1000);
long b1713 = rand.nextInt(1000);
long b1714 = rand.nextInt(1000);
long b1715 = rand.nextInt(1000);
long b1716 = rand.nextInt(1000);
long b1717 = rand.nextInt(1000);
long b1718 = rand.nextInt(1000);
long b1719 = rand.nextInt(1000);
long b1720 = rand.nextInt(1000);
long b1721 = rand.nextInt(1000);
long b1722 = rand.nextInt(1000);
long b1723 = rand.nextInt(1000);
long b1724 = rand.nextInt(1000);
long b1725 = rand.nextInt(1000);
long b1726 = rand.nextInt(1000);
long b1727 = rand.nextInt(1000);
long b1728 = rand.nextInt(1000);
long b1729 = rand.nextInt(1000);
long b1730 = rand.nextInt(1000);
long b1731 = rand.nextInt(1000);
long b1732 = rand.nextInt(1000);
long b1733 = rand.nextInt(1000);
long b1734 = rand.nextInt(1000);
long b1735 = rand.nextInt(1000);
long b1736 = rand.nextInt(1000);
long b1737 = rand.nextInt(1000);
long b1738 = rand.nextInt(1000);
long b1739 = rand.nextInt(1000);
long b1740 = rand.nextInt(1000);
long b1741 = rand.nextInt(1000);
long b1742 = rand.nextInt(1000);
long b1743 = rand.nextInt(1000);
long b1744 = rand.nextInt(1000);
long b1745 = rand.nextInt(1000);
long b1746 = rand.nextInt(1000);
long b1747 = rand.nextInt(1000);
long b1748 = rand.nextInt(1000);
long b1749 = rand.nextInt(1000);
long b1750 = rand.nextInt(1000);
long b1751 = rand.nextInt(1000);
long b1752 = rand.nextInt(1000);
long b1753 = rand.nextInt(1000);
long b1754 = rand.nextInt(1000);
long b1755 = rand.nextInt(1000);
long b1756 = rand.nextInt(1000);
long b1757 = rand.nextInt(1000);
long b1758 = rand.nextInt(1000);
long b1759 = rand.nextInt(1000);
long b1760 = rand.nextInt(1000);
long b1761 = rand.nextInt(1000);
long b1762 = rand.nextInt(1000);
long b1763 = rand.nextInt(1000);
long b1764 = rand.nextInt(1000);
long b1765 = rand.nextInt(1000);
long b1766 = rand.nextInt(1000);
long b1767 = rand.nextInt(1000);
long b1768 = rand.nextInt(1000);
long b1769 = rand.nextInt(1000);
long b1770 = rand.nextInt(1000);
long b1771 = rand.nextInt(1000);
long b1772 = rand.nextInt(1000);
long b1773 = rand.nextInt(1000);
long b1774 = rand.nextInt(1000);
long b1775 = rand.nextInt(1000);
long b1776 = rand.nextInt(1000);
long b1777 = rand.nextInt(1000);
long b1778 = rand.nextInt(1000);
long b1779 = rand.nextInt(1000);
long b1780 = rand.nextInt(1000);
long b1781 = rand.nextInt(1000);
long b1782 = rand.nextInt(1000);
long b1783 = rand.nextInt(1000);
long b1784 = rand.nextInt(1000);
long b1785 = rand.nextInt(1000);
long b1786 = rand.nextInt(1000);
long b1787 = rand.nextInt(1000);
long b1788 = rand.nextInt(1000);
long b1789 = rand.nextInt(1000);
long b1790 = rand.nextInt(1000);
long b1791 = rand.nextInt(1000);
long b1792 = rand.nextInt(1000);
long b1793 = rand.nextInt(1000);
long b1794 = rand.nextInt(1000);
long b1795 = rand.nextInt(1000);
long b1796 = rand.nextInt(1000);
long b1797 = rand.nextInt(1000);
long b1798 = rand.nextInt(1000);
long b1799 = rand.nextInt(1000);
long b1800 = rand.nextInt(1000);
long b1801 = rand.nextInt(1000);
long b1802 = rand.nextInt(1000);
long b1803 = rand.nextInt(1000);
long b1804 = rand.nextInt(1000);
long b1805 = rand.nextInt(1000);
long b1806 = rand.nextInt(1000);
long b1807 = rand.nextInt(1000);
long b1808 = rand.nextInt(1000);
long b1809 = rand.nextInt(1000);
long b1810 = rand.nextInt(1000);
long b1811 = rand.nextInt(1000);
long b1812 = rand.nextInt(1000);
long b1813 = rand.nextInt(1000);
long b1814 = rand.nextInt(1000);
long b1815 = rand.nextInt(1000);
long b1816 = rand.nextInt(1000);
long b1817 = rand.nextInt(1000);
long b1818 = rand.nextInt(1000);
long b1819 = rand.nextInt(1000);
long b1820 = rand.nextInt(1000);
long b1821 = rand.nextInt(1000);
long b1822 = rand.nextInt(1000);
long b1823 = rand.nextInt(1000);
long b1824 = rand.nextInt(1000);
long b1825 = rand.nextInt(1000);
long b1826 = rand.nextInt(1000);
long b1827 = rand.nextInt(1000);
long b1828 = rand.nextInt(1000);
long b1829 = rand.nextInt(1000);
long b1830 = rand.nextInt(1000);
long b1831 = rand.nextInt(1000);
long b1832 = rand.nextInt(1000);
long b1833 = rand.nextInt(1000);
long b1834 = rand.nextInt(1000);
long b1835 = rand.nextInt(1000);
long b1836 = rand.nextInt(1000);
long b1837 = rand.nextInt(1000);
long b1838 = rand.nextInt(1000);
long b1839 = rand.nextInt(1000);
long b1840 = rand.nextInt(1000);
long b1841 = rand.nextInt(1000);
long b1842 = rand.nextInt(1000);
long b1843 = rand.nextInt(1000);
long b1844 = rand.nextInt(1000);
long b1845 = rand.nextInt(1000);
long b1846 = rand.nextInt(1000);
long b1847 = rand.nextInt(1000);
long b1848 = rand.nextInt(1000);
long b1849 = rand.nextInt(1000);
long b1850 = rand.nextInt(1000);
long b1851 = rand.nextInt(1000);
long b1852 = rand.nextInt(1000);
long b1853 = rand.nextInt(1000);
long b1854 = rand.nextInt(1000);
long b1855 = rand.nextInt(1000);
long b1856 = rand.nextInt(1000);
long b1857 = rand.nextInt(1000);
long b1858 = rand.nextInt(1000);
long b1859 = rand.nextInt(1000);
long b1860 = rand.nextInt(1000);
long b1861 = rand.nextInt(1000);
long b1862 = rand.nextInt(1000);
long b1863 = rand.nextInt(1000);
long b1864 = rand.nextInt(1000);
long b1865 = rand.nextInt(1000);
long b1866 = rand.nextInt(1000);
long b1867 = rand.nextInt(1000);
long b1868 = rand.nextInt(1000);
long b1869 = rand.nextInt(1000);
long b1870 = rand.nextInt(1000);
long b1871 = rand.nextInt(1000);
long b1872 = rand.nextInt(1000);
long b1873 = rand.nextInt(1000);
long b1874 = rand.nextInt(1000);
long b1875 = rand.nextInt(1000);
long b1876 = rand.nextInt(1000);
long b1877 = rand.nextInt(1000);
long b1878 = rand.nextInt(1000);
long b1879 = rand.nextInt(1000);
long b1880 = rand.nextInt(1000);
long b1881 = rand.nextInt(1000);
long b1882 = rand.nextInt(1000);
long b1883 = rand.nextInt(1000);
long b1884 = rand.nextInt(1000);
long b1885 = rand.nextInt(1000);
long b1886 = rand.nextInt(1000);
long b1887 = rand.nextInt(1000);
long b1888 = rand.nextInt(1000);
long b1889 = rand.nextInt(1000);
long b1890 = rand.nextInt(1000);
long b1891 = rand.nextInt(1000);
long b1892 = rand.nextInt(1000);
long b1893 = rand.nextInt(1000);
long b1894 = rand.nextInt(1000);
long b1895 = rand.nextInt(1000);
long b1896 = rand.nextInt(1000);
long b1897 = rand.nextInt(1000);
long b1898 = rand.nextInt(1000);
long b1899 = rand.nextInt(1000);
long b1900 = rand.nextInt(1000);
long b1901 = rand.nextInt(1000);
long b1902 = rand.nextInt(1000);
long b1903 = rand.nextInt(1000);
long b1904 = rand.nextInt(1000);
long b1905 = rand.nextInt(1000);
long b1906 = rand.nextInt(1000);
long b1907 = rand.nextInt(1000);
long b1908 = rand.nextInt(1000);
long b1909 = rand.nextInt(1000);
long b1910 = rand.nextInt(1000);
long b1911 = rand.nextInt(1000);
long b1912 = rand.nextInt(1000);
long b1913 = rand.nextInt(1000);
long b1914 = rand.nextInt(1000);
long b1915 = rand.nextInt(1000);
long b1916 = rand.nextInt(1000);
long b1917 = rand.nextInt(1000);
long b1918 = rand.nextInt(1000);
long b1919 = rand.nextInt(1000);
long b1920 = rand.nextInt(1000);
long b1921 = rand.nextInt(1000);
long b1922 = rand.nextInt(1000);
long b1923 = rand.nextInt(1000);
long b1924 = rand.nextInt(1000);
long b1925 = rand.nextInt(1000);
long b1926 = rand.nextInt(1000);
long b1927 = rand.nextInt(1000);
long b1928 = rand.nextInt(1000);
long b1929 = rand.nextInt(1000);
long b1930 = rand.nextInt(1000);
long b1931 = rand.nextInt(1000);
long b1932 = rand.nextInt(1000);
long b1933 = rand.nextInt(1000);
long b1934 = rand.nextInt(1000);
long b1935 = rand.nextInt(1000);
long b1936 = rand.nextInt(1000);
long b1937 = rand.nextInt(1000);
long b1938 = rand.nextInt(1000);
long b1939 = rand.nextInt(1000);
long b1940 = rand.nextInt(1000);
long b1941 = rand.nextInt(1000);
long b1942 = rand.nextInt(1000);
long b1943 = rand.nextInt(1000);
long b1944 = rand.nextInt(1000);
long b1945 = rand.nextInt(1000);
long b1946 = rand.nextInt(1000);
long b1947 = rand.nextInt(1000);
long b1948 = rand.nextInt(1000);
long b1949 = rand.nextInt(1000);
long b1950 = rand.nextInt(1000);
long b1951 = rand.nextInt(1000);
long b1952 = rand.nextInt(1000);
long b1953 = rand.nextInt(1000);
long b1954 = rand.nextInt(1000);
long b1955 = rand.nextInt(1000);
long b1956 = rand.nextInt(1000);
long b1957 = rand.nextInt(1000);
long b1958 = rand.nextInt(1000);
long b1959 = rand.nextInt(1000);
long b1960 = rand.nextInt(1000);
long b1961 = rand.nextInt(1000);
long b1962 = rand.nextInt(1000);
long b1963 = rand.nextInt(1000);
long b1964 = rand.nextInt(1000);
long b1965 = rand.nextInt(1000);
long b1966 = rand.nextInt(1000);
long b1967 = rand.nextInt(1000);
long b1968 = rand.nextInt(1000);
long b1969 = rand.nextInt(1000);
long b1970 = rand.nextInt(1000);
long b1971 = rand.nextInt(1000);
long b1972 = rand.nextInt(1000);
long b1973 = rand.nextInt(1000);
long b1974 = rand.nextInt(1000);
long b1975 = rand.nextInt(1000);
long b1976 = rand.nextInt(1000);
long b1977 = rand.nextInt(1000);
long b1978 = rand.nextInt(1000);
long b1979 = rand.nextInt(1000);
long b1980 = rand.nextInt(1000);
long b1981 = rand.nextInt(1000);
long b1982 = rand.nextInt(1000);
long b1983 = rand.nextInt(1000);
long b1984 = rand.nextInt(1000);
long b1985 = rand.nextInt(1000);
long b1986 = rand.nextInt(1000);
long b1987 = rand.nextInt(1000);
long b1988 = rand.nextInt(1000);
long b1989 = rand.nextInt(1000);
long b1990 = rand.nextInt(1000);
long b1991 = rand.nextInt(1000);
long b1992 = rand.nextInt(1000);
long b1993 = rand.nextInt(1000);
long b1994 = rand.nextInt(1000);
long b1995 = rand.nextInt(1000);
long b1996 = rand.nextInt(1000);
long b1997 = rand.nextInt(1000);
long b1998 = rand.nextInt(1000);
long b1999 = rand.nextInt(1000);
long b2000 = rand.nextInt(1000);
long b2001 = rand.nextInt(1000);
long b2002 = rand.nextInt(1000);
long b2003 = rand.nextInt(1000);
long b2004 = rand.nextInt(1000);
long b2005 = rand.nextInt(1000);
long b2006 = rand.nextInt(1000);
long b2007 = rand.nextInt(1000);
long b2008 = rand.nextInt(1000);
long b2009 = rand.nextInt(1000);
long b2010 = rand.nextInt(1000);
long b2011 = rand.nextInt(1000);
long b2012 = rand.nextInt(1000);
long b2013 = rand.nextInt(1000);
long b2014 = rand.nextInt(1000);
long b2015 = rand.nextInt(1000);
long b2016 = rand.nextInt(1000);
long b2017 = rand.nextInt(1000);
long b2018 = rand.nextInt(1000);
long b2019 = rand.nextInt(1000);
long b2020 = rand.nextInt(1000);
long b2021 = rand.nextInt(1000);
long b2022 = rand.nextInt(1000);
long b2023 = rand.nextInt(1000);
long b2024 = rand.nextInt(1000);
long b2025 = rand.nextInt(1000);
long b2026 = rand.nextInt(1000);
long b2027 = rand.nextInt(1000);
long b2028 = rand.nextInt(1000);
long b2029 = rand.nextInt(1000);
long b2030 = rand.nextInt(1000);
long b2031 = rand.nextInt(1000);
long b2032 = rand.nextInt(1000);
long b2033 = rand.nextInt(1000);
long b2034 = rand.nextInt(1000);
long b2035 = rand.nextInt(1000);
long b2036 = rand.nextInt(1000);
long b2037 = rand.nextInt(1000);
long b2038 = rand.nextInt(1000);
long b2039 = rand.nextInt(1000);
long b2040 = rand.nextInt(1000);
long b2041 = rand.nextInt(1000);
long b2042 = rand.nextInt(1000);
long b2043 = rand.nextInt(1000);
long b2044 = rand.nextInt(1000);
long b2045 = rand.nextInt(1000);
long b2046 = rand.nextInt(1000);
long b2047 = rand.nextInt(1000);
long sum = b0001 + b0002 + b0003 + b0004 + b0005 + b0006 + b0007 + b0008 + b0009 + b0010 + b0011 + b0012 + b0013 + b0014 + b0015 + b0016 + b0017 + b0018 + b0019 + b0020 + b0021 + b0022 + b0023 + b0024 + b0025 + b0026 + b0027 + b0028 + b0029 + b0030 + b0031 + b0032 + b0033 + b0034 + b0035 + b0036 + b0037 + b0038 + b0039 + b0040 + b0041 + b0042 + b0043 + b0044 + b0045 + b0046 + b0047 + b0048 + b0049 + b0050 + b0051 + b0052 + b0053 + b0054 + b0055 + b0056 + b0057 + b0058 + b0059 + b0060 + b0061 + b0062 + b0063 + b0064 + b0065 + b0066 + b0067 + b0068 + b0069 + b0070 + b0071 + b0072 + b0073 + b0074 + b0075 + b0076 + b0077 + b0078 + b0079 + b0080 + b0081 + b0082 + b0083 + b0084 + b0085 + b0086 + b0087 + b0088 + b0089 + b0090 + b0091 + b0092 + b0093 + b0094 + b0095 + b0096 + b0097 + b0098 + b0099 + b0100 + b0101 + b0102 + b0103 + b0104 + b0105 + b0106 + b0107 + b0108 + b0109 + b0110 + b0111 + b0112 + b0113 + b0114 + b0115 + b0116 + b0117 + b0118 + b0119 + b0120 + b0121 + b0122 + b0123 + b0124 + b0125 + b0126 + b0127 + b0128 + b0129 + b0130 + b0131 + b0132 + b0133 + b0134 + b0135 + b0136 + b0137 + b0138 + b0139 + b0140 + b0141 + b0142 + b0143 + b0144 + b0145 + b0146 + b0147 + b0148 + b0149 + b0150 + b0151 + b0152 + b0153 + b0154 + b0155 + b0156 + b0157 + b0158 + b0159 + b0160 + b0161 + b0162 + b0163 + b0164 + b0165 + b0166 + b0167 + b0168 + b0169 + b0170 + b0171 + b0172 + b0173 + b0174 + b0175 + b0176 + b0177 + b0178 + b0179 + b0180 + b0181 + b0182 + b0183 + b0184 + b0185 + b0186 + b0187 + b0188 + b0189 + b0190 + b0191 + b0192 + b0193 + b0194 + b0195 + b0196 + b0197 + b0198 + b0199 + b0200 + b0201 + b0202 + b0203 + b0204 + b0205 + b0206 + b0207 + b0208 + b0209 + b0210 + b0211 + b0212 + b0213 + b0214 + b0215 + b0216 + b0217 + b0218 + b0219 + b0220 + b0221 + b0222 + b0223 + b0224 + b0225 + b0226 + b0227 + b0228 + b0229 + b0230 + b0231 + b0232 + b0233 + b0234 + b0235 + b0236 + b0237 + b0238 + b0239 + b0240 + b0241 + b0242 + b0243 + b0244 + b0245 + b0246 + b0247 + b0248 + b0249 + b0250 + b0251 + b0252 + b0253 + b0254 + b0255 + b0256 + b0257 + b0258 + b0259 + b0260 + b0261 + b0262 + b0263 + b0264 + b0265 + b0266 + b0267 + b0268 + b0269 + b0270 + b0271 + b0272 + b0273 + b0274 + b0275 + b0276 + b0277 + b0278 + b0279 + b0280 + b0281 + b0282 + b0283 + b0284 + b0285 + b0286 + b0287 + b0288 + b0289 + b0290 + b0291 + b0292 + b0293 + b0294 + b0295 + b0296 + b0297 + b0298 + b0299 + b0300 + b0301 + b0302 + b0303 + b0304 + b0305 + b0306 + b0307 + b0308 + b0309 + b0310 + b0311 + b0312 + b0313 + b0314 + b0315 + b0316 + b0317 + b0318 + b0319 + b0320 + b0321 + b0322 + b0323 + b0324 + b0325 + b0326 + b0327 + b0328 + b0329 + b0330 + b0331 + b0332 + b0333 + b0334 + b0335 + b0336 + b0337 + b0338 + b0339 + b0340 + b0341 + b0342 + b0343 + b0344 + b0345 + b0346 + b0347 + b0348 + b0349 + b0350 + b0351 + b0352 + b0353 + b0354 + b0355 + b0356 + b0357 + b0358 + b0359 + b0360 + b0361 + b0362 + b0363 + b0364 + b0365 + b0366 + b0367 + b0368 + b0369 + b0370 + b0371 + b0372 + b0373 + b0374 + b0375 + b0376 + b0377 + b0378 + b0379 + b0380 + b0381 + b0382 + b0383 + b0384 + b0385 + b0386 + b0387 + b0388 + b0389 + b0390 + b0391 + b0392 + b0393 + b0394 + b0395 + b0396 + b0397 + b0398 + b0399 + b0400 + b0401 + b0402 + b0403 + b0404 + b0405 + b0406 + b0407 + b0408 + b0409 + b0410 + b0411 + b0412 + b0413 + b0414 + b0415 + b0416 + b0417 + b0418 + b0419 + b0420 + b0421 + b0422 + b0423 + b0424 + b0425 + b0426 + b0427 + b0428 + b0429 + b0430 + b0431 + b0432 + b0433 + b0434 + b0435 + b0436 + b0437 + b0438 + b0439 + b0440 + b0441 + b0442 + b0443 + b0444 + b0445 + b0446 + b0447 + b0448 + b0449 + b0450 + b0451 + b0452 + b0453 + b0454 + b0455 + b0456 + b0457 + b0458 + b0459 + b0460 + b0461 + b0462 + b0463 + b0464 + b0465 + b0466 + b0467 + b0468 + b0469 + b0470 + b0471 + b0472 + b0473 + b0474 + b0475 + b0476 + b0477 + b0478 + b0479 + b0480 + b0481 + b0482 + b0483 + b0484 + b0485 + b0486 + b0487 + b0488 + b0489 + b0490 + b0491 + b0492 + b0493 + b0494 + b0495 + b0496 + b0497 + b0498 + b0499 + b0500 + b0501 + b0502 + b0503 + b0504 + b0505 + b0506 + b0507 + b0508 + b0509 + b0510 + b0511 + b0512 + b0513 + b0514 + b0515 + b0516 + b0517 + b0518 + b0519 + b0520 + b0521 + b0522 + b0523 + b0524 + b0525 + b0526 + b0527 + b0528 + b0529 + b0530 + b0531 + b0532 + b0533 + b0534 + b0535 + b0536 + b0537 + b0538 + b0539 + b0540 + b0541 + b0542 + b0543 + b0544 + b0545 + b0546 + b0547 + b0548 + b0549 + b0550 + b0551 + b0552 + b0553 + b0554 + b0555 + b0556 + b0557 + b0558 + b0559 + b0560 + b0561 + b0562 + b0563 + b0564 + b0565 + b0566 + b0567 + b0568 + b0569 + b0570 + b0571 + b0572 + b0573 + b0574 + b0575 + b0576 + b0577 + b0578 + b0579 + b0580 + b0581 + b0582 + b0583 + b0584 + b0585 + b0586 + b0587 + b0588 + b0589 + b0590 + b0591 + b0592 + b0593 + b0594 + b0595 + b0596 + b0597 + b0598 + b0599 + b0600 + b0601 + b0602 + b0603 + b0604 + b0605 + b0606 + b0607 + b0608 + b0609 + b0610 + b0611 + b0612 + b0613 + b0614 + b0615 + b0616 + b0617 + b0618 + b0619 + b0620 + b0621 + b0622 + b0623 + b0624 + b0625 + b0626 + b0627 + b0628 + b0629 + b0630 + b0631 + b0632 + b0633 + b0634 + b0635 + b0636 + b0637 + b0638 + b0639 + b0640 + b0641 + b0642 + b0643 + b0644 + b0645 + b0646 + b0647 + b0648 + b0649 + b0650 + b0651 + b0652 + b0653 + b0654 + b0655 + b0656 + b0657 + b0658 + b0659 + b0660 + b0661 + b0662 + b0663 + b0664 + b0665 + b0666 + b0667 + b0668 + b0669 + b0670 + b0671 + b0672 + b0673 + b0674 + b0675 + b0676 + b0677 + b0678 + b0679 + b0680 + b0681 + b0682 + b0683 + b0684 + b0685 + b0686 + b0687 + b0688 + b0689 + b0690 + b0691 + b0692 + b0693 + b0694 + b0695 + b0696 + b0697 + b0698 + b0699 + b0700 + b0701 + b0702 + b0703 + b0704 + b0705 + b0706 + b0707 + b0708 + b0709 + b0710 + b0711 + b0712 + b0713 + b0714 + b0715 + b0716 + b0717 + b0718 + b0719 + b0720 + b0721 + b0722 + b0723 + b0724 + b0725 + b0726 + b0727 + b0728 + b0729 + b0730 + b0731 + b0732 + b0733 + b0734 + b0735 + b0736 + b0737 + b0738 + b0739 + b0740 + b0741 + b0742 + b0743 + b0744 + b0745 + b0746 + b0747 + b0748 + b0749 + b0750 + b0751 + b0752 + b0753 + b0754 + b0755 + b0756 + b0757 + b0758 + b0759 + b0760 + b0761 + b0762 + b0763 + b0764 + b0765 + b0766 + b0767 + b0768 + b0769 + b0770 + b0771 + b0772 + b0773 + b0774 + b0775 + b0776 + b0777 + b0778 + b0779 + b0780 + b0781 + b0782 + b0783 + b0784 + b0785 + b0786 + b0787 + b0788 + b0789 + b0790 + b0791 + b0792 + b0793 + b0794 + b0795 + b0796 + b0797 + b0798 + b0799 + b0800 + b0801 + b0802 + b0803 + b0804 + b0805 + b0806 + b0807 + b0808 + b0809 + b0810 + b0811 + b0812 + b0813 + b0814 + b0815 + b0816 + b0817 + b0818 + b0819 + b0820 + b0821 + b0822 + b0823 + b0824 + b0825 + b0826 + b0827 + b0828 + b0829 + b0830 + b0831 + b0832 + b0833 + b0834 + b0835 + b0836 + b0837 + b0838 + b0839 + b0840 + b0841 + b0842 + b0843 + b0844 + b0845 + b0846 + b0847 + b0848 + b0849 + b0850 + b0851 + b0852 + b0853 + b0854 + b0855 + b0856 + b0857 + b0858 + b0859 + b0860 + b0861 + b0862 + b0863 + b0864 + b0865 + b0866 + b0867 + b0868 + b0869 + b0870 + b0871 + b0872 + b0873 + b0874 + b0875 + b0876 + b0877 + b0878 + b0879 + b0880 + b0881 + b0882 + b0883 + b0884 + b0885 + b0886 + b0887 + b0888 + b0889 + b0890 + b0891 + b0892 + b0893 + b0894 + b0895 + b0896 + b0897 + b0898 + b0899 + b0900 + b0901 + b0902 + b0903 + b0904 + b0905 + b0906 + b0907 + b0908 + b0909 + b0910 + b0911 + b0912 + b0913 + b0914 + b0915 + b0916 + b0917 + b0918 + b0919 + b0920 + b0921 + b0922 + b0923 + b0924 + b0925 + b0926 + b0927 + b0928 + b0929 + b0930 + b0931 + b0932 + b0933 + b0934 + b0935 + b0936 + b0937 + b0938 + b0939 + b0940 + b0941 + b0942 + b0943 + b0944 + b0945 + b0946 + b0947 + b0948 + b0949 + b0950 + b0951 + b0952 + b0953 + b0954 + b0955 + b0956 + b0957 + b0958 + b0959 + b0960 + b0961 + b0962 + b0963 + b0964 + b0965 + b0966 + b0967 + b0968 + b0969 + b0970 + b0971 + b0972 + b0973 + b0974 + b0975 + b0976 + b0977 + b0978 + b0979 + b0980 + b0981 + b0982 + b0983 + b0984 + b0985 + b0986 + b0987 + b0988 + b0989 + b0990 + b0991 + b0992 + b0993 + b0994 + b0995 + b0996 + b0997 + b0998 + b0999 + b1000 + b1001 + b1002 + b1003 + b1004 + b1005 + b1006 + b1007 + b1008 + b1009 + b1010 + b1011 + b1012 + b1013 + b1014 + b1015 + b1016 + b1017 + b1018 + b1019 + b1020 + b1021 + b1022 + b1023;
sum += b1024 + b1025 + b1026 + b1027 + b1028 + b1029 + b1030 + b1031 + b1032 + b1033 + b1034 + b1035 + b1036 + b1037 + b1038 + b1039 + b1040 + b1041 + b1042 + b1043 + b1044 + b1045 + b1046 + b1047 + b1048 + b1049 + b1050 + b1051 + b1052 + b1053 + b1054 + b1055 + b1056 + b1057 + b1058 + b1059 + b1060 + b1061 + b1062 + b1063 + b1064 + b1065 + b1066 + b1067 + b1068 + b1069 + b1070 + b1071 + b1072 + b1073 + b1074 + b1075 + b1076 + b1077 + b1078 + b1079 + b1080 + b1081 + b1082 + b1083 + b1084 + b1085 + b1086 + b1087 + b1088 + b1089 + b1090 + b1091 + b1092 + b1093 + b1094 + b1095 + b1096 + b1097 + b1098 + b1099 + b1100 + b1101 + b1102 + b1103 + b1104 + b1105 + b1106 + b1107 + b1108 + b1109 + b1110 + b1111 + b1112 + b1113 + b1114 + b1115 + b1116 + b1117 + b1118 + b1119 + b1120 + b1121 + b1122 + b1123 + b1124 + b1125 + b1126 + b1127 + b1128 + b1129 + b1130 + b1131 + b1132 + b1133 + b1134 + b1135 + b1136 + b1137 + b1138 + b1139 + b1140 + b1141 + b1142 + b1143 + b1144 + b1145 + b1146 + b1147 + b1148 + b1149 + b1150 + b1151 + b1152 + b1153 + b1154 + b1155 + b1156 + b1157 + b1158 + b1159 + b1160 + b1161 + b1162 + b1163 + b1164 + b1165 + b1166 + b1167 + b1168 + b1169 + b1170 + b1171 + b1172 + b1173 + b1174 + b1175 + b1176 + b1177 + b1178 + b1179 + b1180 + b1181 + b1182 + b1183 + b1184 + b1185 + b1186 + b1187 + b1188 + b1189 + b1190 + b1191 + b1192 + b1193 + b1194 + b1195 + b1196 + b1197 + b1198 + b1199 + b1200 + b1201 + b1202 + b1203 + b1204 + b1205 + b1206 + b1207 + b1208 + b1209 + b1210 + b1211 + b1212 + b1213 + b1214 + b1215 + b1216 + b1217 + b1218 + b1219 + b1220 + b1221 + b1222 + b1223 + b1224 + b1225 + b1226 + b1227 + b1228 + b1229 + b1230 + b1231 + b1232 + b1233 + b1234 + b1235 + b1236 + b1237 + b1238 + b1239 + b1240 + b1241 + b1242 + b1243 + b1244 + b1245 + b1246 + b1247 + b1248 + b1249 + b1250 + b1251 + b1252 + b1253 + b1254 + b1255 + b1256 + b1257 + b1258 + b1259 + b1260 + b1261 + b1262 + b1263 + b1264 + b1265 + b1266 + b1267 + b1268 + b1269 + b1270 + b1271 + b1272 + b1273 + b1274 + b1275 + b1276 + b1277 + b1278 + b1279 + b1280 + b1281 + b1282 + b1283 + b1284 + b1285 + b1286 + b1287 + b1288 + b1289 + b1290 + b1291 + b1292 + b1293 + b1294 + b1295 + b1296 + b1297 + b1298 + b1299 + b1300 + b1301 + b1302 + b1303 + b1304 + b1305 + b1306 + b1307 + b1308 + b1309 + b1310 + b1311 + b1312 + b1313 + b1314 + b1315 + b1316 + b1317 + b1318 + b1319 + b1320 + b1321 + b1322 + b1323 + b1324 + b1325 + b1326 + b1327 + b1328 + b1329 + b1330 + b1331 + b1332 + b1333 + b1334 + b1335 + b1336 + b1337 + b1338 + b1339 + b1340 + b1341 + b1342 + b1343 + b1344 + b1345 + b1346 + b1347 + b1348 + b1349 + b1350 + b1351 + b1352 + b1353 + b1354 + b1355 + b1356 + b1357 + b1358 + b1359 + b1360 + b1361 + b1362 + b1363 + b1364 + b1365 + b1366 + b1367 + b1368 + b1369 + b1370 + b1371 + b1372 + b1373 + b1374 + b1375 + b1376 + b1377 + b1378 + b1379 + b1380 + b1381 + b1382 + b1383 + b1384 + b1385 + b1386 + b1387 + b1388 + b1389 + b1390 + b1391 + b1392 + b1393 + b1394 + b1395 + b1396 + b1397 + b1398 + b1399 + b1400 + b1401 + b1402 + b1403 + b1404 + b1405 + b1406 + b1407 + b1408 + b1409 + b1410 + b1411 + b1412 + b1413 + b1414 + b1415 + b1416 + b1417 + b1418 + b1419 + b1420 + b1421 + b1422 + b1423 + b1424 + b1425 + b1426 + b1427 + b1428 + b1429 + b1430 + b1431 + b1432 + b1433 + b1434 + b1435 + b1436 + b1437 + b1438 + b1439 + b1440 + b1441 + b1442 + b1443 + b1444 + b1445 + b1446 + b1447 + b1448 + b1449 + b1450 + b1451 + b1452 + b1453 + b1454 + b1455 + b1456 + b1457 + b1458 + b1459 + b1460 + b1461 + b1462 + b1463 + b1464 + b1465 + b1466 + b1467 + b1468 + b1469 + b1470 + b1471 + b1472 + b1473 + b1474 + b1475 + b1476 + b1477 + b1478 + b1479 + b1480 + b1481 + b1482 + b1483 + b1484 + b1485 + b1486 + b1487 + b1488 + b1489 + b1490 + b1491 + b1492 + b1493 + b1494 + b1495 + b1496 + b1497 + b1498 + b1499 + b1500 + b1501 + b1502 + b1503 + b1504 + b1505 + b1506 + b1507 + b1508 + b1509 + b1510 + b1511 + b1512 + b1513 + b1514 + b1515 + b1516 + b1517 + b1518 + b1519 + b1520 + b1521 + b1522 + b1523 + b1524 + b1525 + b1526 + b1527 + b1528 + b1529 + b1530 + b1531 + b1532 + b1533 + b1534 + b1535 + b1536 + b1537 + b1538 + b1539 + b1540 + b1541 + b1542 + b1543 + b1544 + b1545 + b1546 + b1547 + b1548 + b1549 + b1550 + b1551 + b1552 + b1553 + b1554 + b1555 + b1556 + b1557 + b1558 + b1559 + b1560 + b1561 + b1562 + b1563 + b1564 + b1565 + b1566 + b1567 + b1568 + b1569 + b1570 + b1571 + b1572 + b1573 + b1574 + b1575 + b1576 + b1577 + b1578 + b1579 + b1580 + b1581 + b1582 + b1583 + b1584 + b1585 + b1586 + b1587 + b1588 + b1589 + b1590 + b1591 + b1592 + b1593 + b1594 + b1595 + b1596 + b1597 + b1598 + b1599 + b1600 + b1601 + b1602 + b1603 + b1604 + b1605 + b1606 + b1607 + b1608 + b1609 + b1610 + b1611 + b1612 + b1613 + b1614 + b1615 + b1616 + b1617 + b1618 + b1619 + b1620 + b1621 + b1622 + b1623 + b1624 + b1625 + b1626 + b1627 + b1628 + b1629 + b1630 + b1631 + b1632 + b1633 + b1634 + b1635 + b1636 + b1637 + b1638 + b1639 + b1640 + b1641 + b1642 + b1643 + b1644 + b1645 + b1646 + b1647 + b1648 + b1649 + b1650 + b1651 + b1652 + b1653 + b1654 + b1655 + b1656 + b1657 + b1658 + b1659 + b1660 + b1661 + b1662 + b1663 + b1664 + b1665 + b1666 + b1667 + b1668 + b1669 + b1670 + b1671 + b1672 + b1673 + b1674 + b1675 + b1676 + b1677 + b1678 + b1679 + b1680 + b1681 + b1682 + b1683 + b1684 + b1685 + b1686 + b1687 + b1688 + b1689 + b1690 + b1691 + b1692 + b1693 + b1694 + b1695 + b1696 + b1697 + b1698 + b1699 + b1700 + b1701 + b1702 + b1703 + b1704 + b1705 + b1706 + b1707 + b1708 + b1709 + b1710 + b1711 + b1712 + b1713 + b1714 + b1715 + b1716 + b1717 + b1718 + b1719 + b1720 + b1721 + b1722 + b1723 + b1724 + b1725 + b1726 + b1727 + b1728 + b1729 + b1730 + b1731 + b1732 + b1733 + b1734 + b1735 + b1736 + b1737 + b1738 + b1739 + b1740 + b1741 + b1742 + b1743 + b1744 + b1745 + b1746 + b1747 + b1748 + b1749 + b1750 + b1751 + b1752 + b1753 + b1754 + b1755 + b1756 + b1757 + b1758 + b1759 + b1760 + b1761 + b1762 + b1763 + b1764 + b1765 + b1766 + b1767 + b1768 + b1769 + b1770 + b1771 + b1772 + b1773 + b1774 + b1775 + b1776 + b1777 + b1778 + b1779 + b1780 + b1781 + b1782 + b1783 + b1784 + b1785 + b1786 + b1787 + b1788 + b1789 + b1790 + b1791 + b1792 + b1793 + b1794 + b1795 + b1796 + b1797 + b1798 + b1799 + b1800 + b1801 + b1802 + b1803 + b1804 + b1805 + b1806 + b1807 + b1808 + b1809 + b1810 + b1811 + b1812 + b1813 + b1814 + b1815 + b1816 + b1817 + b1818 + b1819 + b1820 + b1821 + b1822 + b1823 + b1824 + b1825 + b1826 + b1827 + b1828 + b1829 + b1830 + b1831 + b1832 + b1833 + b1834 + b1835 + b1836 + b1837 + b1838 + b1839 + b1840 + b1841 + b1842 + b1843 + b1844 + b1845 + b1846 + b1847 + b1848 + b1849 + b1850 + b1851 + b1852 + b1853 + b1854 + b1855 + b1856 + b1857 + b1858 + b1859 + b1860 + b1861 + b1862 + b1863 + b1864 + b1865 + b1866 + b1867 + b1868 + b1869 + b1870 + b1871 + b1872 + b1873 + b1874 + b1875 + b1876 + b1877 + b1878 + b1879 + b1880 + b1881 + b1882 + b1883 + b1884 + b1885 + b1886 + b1887 + b1888 + b1889 + b1890 + b1891 + b1892 + b1893 + b1894 + b1895 + b1896 + b1897 + b1898 + b1899 + b1900 + b1901 + b1902 + b1903 + b1904 + b1905 + b1906 + b1907 + b1908 + b1909 + b1910 + b1911 + b1912 + b1913 + b1914 + b1915 + b1916 + b1917 + b1918 + b1919 + b1920 + b1921 + b1922 + b1923 + b1924 + b1925 + b1926 + b1927 + b1928 + b1929 + b1930 + b1931 + b1932 + b1933 + b1934 + b1935 + b1936 + b1937 + b1938 + b1939 + b1940 + b1941 + b1942 + b1943 + b1944 + b1945 + b1946 + b1947 + b1948 + b1949 + b1950 + b1951 + b1952 + b1953 + b1954 + b1955 + b1956 + b1957 + b1958 + b1959 + b1960 + b1961 + b1962 + b1963 + b1964 + b1965 + b1966 + b1967 + b1968 + b1969 + b1970 + b1971 + b1972 + b1973 + b1974 + b1975 + b1976 + b1977 + b1978 + b1979 + b1980 + b1981 + b1982 + b1983 + b1984 + b1985 + b1986 + b1987 + b1988 + b1989 + b1990 + b1991 + b1992 + b1993 + b1994 + b1995 + b1996 + b1997 + b1998 + b1999 + b2000 + b2001 + b2002 + b2003 + b2004 + b2005 + b2006 + b2007 + b2008 + b2009 + b2010 + b2011 + b2012 + b2013 + b2014 + b2015 + b2016 + b2017 + b2018 + b2019 + b2020 + b2021 + b2022 + b2023 + b2024 + b2025 + b2026 + b2027 + b2028 + b2029 + b2030 + b2031 + b2032 + b2033 + b2034 + b2035 + b2036 + b2037 + b2038 + b2039 + b2040 + b2041 + b2042 + b2043 + b2044 + b2045 + b2046 + b2047;
System.out.println("Allocated " + (depth*size/1024) + " KB on the stack, foo = " + sum);
recurse_malloc(depth);
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment