shankerwangmiao/arbiter-package-test-cases.tar.xz

## arbiter-package-test-cases.tar.xz
/Td6WFoAAATm1rRGAgAhARYAAAB0L+Wj4O//F9NdADoZSs4dkJsneBz/bNOb8/VIi6mfPJyl4E3R
ZPRcjYWVP8ZadAyWoshi62XKsliYPJ3ZGvuyQYNLzaIm/jpS0gzPRcE5gLB+4tZ4uGlPDpE7k9GZ
pq4A8utK90UGiwuv9fBUm9V7i3VqqeviR3k0gMBMFA9ZaFuE8fgVPumm0RVLqzGsMjjVQKeixvOm
PtLetv0A15UkErykYvsVFqJJr0kqcHNgis9Kbs50SRQKwd02jtw6IUeczWWLH8LeY4xJKaI06VwR
HeQSj01Uq7MfDCXB5TG1fcbmQ8wH0mt0TMpj7hSyB/ftQ3ffs0qJsBlD3H8UD2REt5hz+xDlOmKU
dBbrNzWLgibljkgu6kWIXUDVXfXkLQSIFdY0WkA76QfC//SpIwRV44tdxaLR2FcDIuR9hhN4qn+u
J/of6GZC8VtsSvqAe3QbqMrmDQn7c0kD4xQrm6VAg0KaWsOxE57s0TemWRsm+egHoZdkEIu8BkQV
+ceH8rKKJhHSO0oO3Z7psBdd8lJOPpMulPkC/iwq6xEM96YIPBAmYpJ2nI+ppIyxUX2GCuuEUklH
8wBFkbQkMpK42VGEemXFOIBVC7CXr6HFf+4JdVEqxETB4DCExvMTi4W0ULDIvvLh0gHq6DOPweOs
fB4TpzMlthqCBZ/OXyJviy37nUUgIGSZ+KQNN78e2pMFRDfKY1xk+e+zl14mqklRtTBg0o9EsOPR
aaiS7pSokKibbt2y2MWlQQcdF+VdWISe8aT8e7ZxFvJJDpmVJShSetTWJsEjp3YUwOLb/VA/LRVp
IHGoI/rSJez/YNDEsmIvxPG6r9nj5/b7IoOHnl+ixf+MjL9fThGqZQ/5vuFmxC697C01TAjvL3wc
LDRqLW82qoOUCa3v/tD7D8OU9teUzICf7GQYjkBiAyqnZXBgMCy4FZnrkj2QIG7t+thXZ9BzxHo5
9ytpGljLU4CbfCzq0Jyz0ObGaD4p5J9issartND30TvURlsColIwSddXvJn4CrjNM0ebv9RAqnLf
IGj6tY9wxcHDFyN94HAFLLLsS+M7WeL6dArGcJXdv3nbZt1bpCvPGIS+zAnbNi7I/2fiOfmNuTB5
LiVaV48XpE4CsebssOg4OAKqmUNL2cqVGgKO/xDi2fCFbFhw+rx3pYWOSQKgBngbkDnDwMmGNhjo
J5CDqKQuad4hZw3IKcnu+xpzC46RIFhcdLhOLtTnElVr6FL28Lhpd260OPQN9KhmZhKtutRi6cDq
xamBVBgT3YAvkyL+lfdGjBzFdmbI9oxxE/Rq/04AT22gDlpFAddLWU4PAN+IAjS/cRpW3kY6wXQ/
pQjrNnrd5ATFmxjUcDQJO2H4TV+8GFcYlkzBRm/LHyPwb31Qxgl32Pc0WHI09tW1SZeZua3zuyXN
FiuB1AcQ2IjmqQT+TEkjy2W6AURWCySwocE6oF4AvLnaWUgJWD7KvsY2TEpjZPM+N7bAh09NIdje
5WqntPYCMkF322CAp4LOfOJOnf7SOW+1tnWC4Eb92MtWQfdi80aQZJz9ZIeSZYAdtCuV2sbdB66o
D0ScklNefcPHgZeAtcorhAHzbpUlx0Lh5n7QlLQgx7XqYDiY2I6eZUS4QL8WeSOtjwoPJJHLSGyd
HxBeOPtdy/bTzqW1KDVAgY0bT26hf64V9x69h//a4RaqGrgmZfcTQ7Dky4BViv/7Q6L8nXf/eQS5
65BpBLXYAhYy8GACVkRNzU6nOXus5MzSFeu8t0tsBkq03EgYbkNikKlY7SdYi30xzBpXc8Vx4Hxw
ZPNQrBgguF2TMM7yAkv+uunPbVS0hOGseY33nCec+guBPD1oB4IZVDNIUoxwSqDz9RLVODf0dn4W
6ciQFMOxNXr56prmlUztKBVcSN/0/B6U3p0pT3wPBbMNcVCzfP2jRwXc7dqYaFnoWcGtqnW9Kspn
VoqvuTU8kaAQqCi1kOkLgGJoYabNkVa0G24MJEUG6UFvqXBKkrhulbqX9qne9vvQzjHFUO6+LlXq
Zv4OMvtr3sBEX87LMzBB9eOShQcQQXPtg6mWG2I+ue+CkFjtcTx4Zctze0FK/exdp1Xwp4dfAp/n
OIZbqStwOaEJtE0tPPgpIZObgLrap3w20/aUtUK3h0BikDl5+E7Oqe3X7WO1WuuYKiBCMXIzlsyN
499xeHB/2De6o11zCd5pZbYq+GHDRT3HVDQO/YwSDqE1P8cX3E+HDanRS5Gx5NiV0Msrx+mYRzKN
mbDah8E49JGUaGlRiH6m/1TNru91A7WDhP576EZrTE/f/TAHUdnE0vB7EajwO6I/nmI0Dk9v/LB7
JrVJyGBULRQqnpQVTzRDapkvDI+fI8QvlFLUZiF28S07+E4xZT6Kino6rjCh1Lb6nf9Pn2e5qE+H
WIRu0BLIQmquX5E3BORkbEQPm/C04tEoTfzoAPVxg/ALu0enZAUH+REFdFwSl4nNmEdt6aa9gusr
mPUP8+YjEqcJs+EZdnoE7Jvb4V+Y7hCcJWYApfpbFeH0Ql+V6sKjvwcov6YIfq99vLDmdtQHGPqZ
JlfKmosOcCkvpTi9QwrGq9uLAIMByU5IiEtUF4uaNUltAGhG8oOd42DZhkL8UDx+Y1Q85E/tyepE
EaAcvN6NuhjTIJZLMmmL1ZJkt4exrOdSkzYh9/K4V7JGI1cDDe11R3FMtYgjJkZGyP3png6EIQdk
QieskYPh+hIinBPYnh31F8k23u/6ACNxrDGLfXd/t3EWl44ew7KjJRvZiXhX3PDfQFj0Su700rM+
jw8agWYqEnU7BNp3elUHp30tSWMnnB9tZQwJvlDT8i0QG2Ag0Z6mPJuyuWQMvlBVyaSaSMK72Nrr
lFmgr2PG7A09WlCEtjtZYXRJsTVW9M2RwhbR4Edhu4AH5JSh3vda7oT3FPdaX8evfodcGd2Ijkec
6fA8DKS7R2m2TXPfirSasJaqYNk34Kbw2W675pvRJlIMt81Ss860eRCWQmkOnuWnW/JAQlV+6VEj
/dEfqiKor1TDGaGwqniVoYQ3N1KD4lMeCybnUpso+C2SRthytjaAWdNS8sgEuh1NnoxZTfkb3kMP
Wd73NA2dImFO4/kZy3Hh5gnuSbQSM0darPFDln5NDqU6SRNhJbNGJo5+7lw3fhwb26E6LaJKraDX
deUar7kBuHPV257bJh5qqNJDtZSpCaJsCvbMEFNEPa/OK2o3AvXh4CVLcbws64RLHzjqYGdm1fnI
fop7yW3m3Mwek2NaWzmLRynpfD2hXLpVqoYDoQIzsZxyeXj8UGkfM1ScgV+a/1oZSaG1xM5OqOl7
fuyoMc8H7kwko8l2wIVmKAZDoFUXnCPFwikaHrIl/C/ZGj636BmdYOVzttQrPgnbW1gE4M2OUWXE
0/v3BhkJnQE8SnoJyjq9Ef/+qKZAYlcw2rmfdu12bsjwkqQ5QyxbPkGkcYnw/b6cE0IStU9Cj1s8
04uXvAWRdH3vqvkCVBlgxz2Zkus4T4nsYyXMNIXHdC1Z9ZJ+HWFFQ0xIEfQidpRaa6V2FN/HbD62
Ado1l0qCotaZvYPhl3XWHYFW4Xr3LLqsQLecLSd06fA2IK5qEyUl5N2uifmtoCCzTk8amkiIImD+
CCM1xAY9G3MDddO2FOGR/A8m4ZwvRXqc+FlXGAWPcqTwBrNpgVbc4TkU187WmSkSXDAiScWsU+MA
98jRxD1ukOGTQIJRoCcpk8DRc6eR0HCTHlcApcpY3OkoJ9B+V9Fa83G3WgykSE542+OFtQBQD7R2
kLEjPEY5m7VZZLqapyAwftuoj8Q+I89/DXTFPqWr6Z96kwebNzjQew9owqs6HHFcQSPGDv/2CvZJ
hrj1Ji9YOITtYyZVl9NuDCjIl+le8Dp437LZJ1GbwUY8Y4Y3zj+2a7Ep3+miEk9NvhsxTS0YMXio
ESAmN3DKNQIVixWHP/p//ogkY64uazXmthxZd7nGRDV7ePxIhgIfQ6+a6+Ci8j+BgPnT54vgfkWr
gJj++qbMkxXDt2zfrtVsTyUecRrqj98p1RINT3KyNkvFr1/b1ZKP2m/0vY90tluhCjB8V7jlQOAt
2HbM3i6tuLwPoZkyVtnf+civPYjldVVGGH5F8A4AZ8X2vF05EKvJKhgkDRa1aI4DCFrJS+JudkLx
dJjXZLQFJp2FUpkgqvrr6VQXxOOwXv+5cC5Y3ajZkOeIwfTbwjJWo/R3Q8iozp/41dhx4hf6gYm9
a7Ve/Agnywtb86aoeWbaG+JlHFNaAKSTmOnuWuq6WmueNSVEQLk8W4l/Oz7i/pMbwJdZEKSDroy/
mWYrNcI62kiiEdf4iw7eJbFJZOHu+bUbig/R2ZdLE/w4YLsuwnULW3tg00GbAF6Vj/9iL+4QOY+Y
fElmrn4jMzM4NQXORoJMRKeJ8BlCQioIg09DdUHR0BqkBjqvhcOQKC3oBBApfPDvOJwbNvaGnj4Y
oWhRJW5VjNhARhfxyyMf1YnDCoeg1iBRmer83zy+HRgXa6NFQRGUtzWlnVWsBqKOV8Vu+wn+eNIm
GiqBElmv2akUfmT8JyWMsNGrpOv/fzLrXddaabEJmzyYjXts0Bu5WGtWW6pN7AGLb1yElEvLKDRP
mA7/mkX4Leh+n9aJsXsPMgQKxGpU0HHjj+7pl4qc3BQwBY5b6Klk51xGIOqA8kwSceQMC9PCQnp4
v/0Pbg1TI9yaUdPsA7p8KtqDpFukBy/HVodSWYlmolkztf/PKBafRJraHAP8RYD51Nbn855/1pDL
1Xsqgk/EmIbIEs+xlCWim+B+A8DWT1S8gtIdbhddOX0bzcsxTbIq+Vs0HonMCg7RmhAEeRaSRmWK
M2X9tigm235Rh7haKdv8kxXbBLIKj8cnSIOP11T0m8A/n6ekmGw40/jwptUIwlcxluFsSC4VwG5n
lFrsNisVSzmyE+xGc/3RhD9CgYSn++hV3MzEDhp4vBa7didV6A8ihqV9gGsVWtHWG970dW8qXsNu
SxGnVufIa0ZexY4Rzf40kXZwb9wxgFCbkwfuWOjoDabCsLUlqofqPyhG4UH7z2Ke8tlG4FBVmBJX
/dGKFzg8uvBIYXMtZxMXBNQfw6B3lQOe4XE2voFkWejEy50CNXRgRq22sacICmIQMFpaiJC2R3q9
aAdL1wtjxFPh+cXz06Axjc/anSmvUFVr1c5QqTB+joIYCoq1UiAtnDfzuqclihaW0efvaDUjemN4
5SPg9ORLdfvpeTEkWKjeoK+mysIV7KQVe4T1LVv/QVokRu74kZuwAUPKem4mfbDN/RmP2o8vq4CA
w+Lq/69kYc/u0QnN0IHebt4vu/Fy9qQhwuoFJZmBLcXycyUBQ+IXJa80SQiGrPgvtTfRic1VP/mb
UP3ooLoHbogD0fwBG8Tylwuq5UHi7XUq0dnn7V7KKovu+ZExRBZdL9zejlsSpnlTX0d4k0dzdEnj
ykgVpO4WXkqPN9/V90xP4m9TNwUO+O/JvagEcNB6w4KrZkVwtJzOGFfqtJRwIm7KWiuQ5O7hCCy9
msp4kdlB1FIM7/VFxymvSaBPoVh+NzIHC8aq179wBT0injOo4Yv3qrFgInx4+3rVMGzg001t/mbW
oJ0giK+XK6HtBgB7eW47d84ej2+gbp4DOWWsfAiW2o2JbaoPepAd5FIRtaS5M+aC+xi5AfIzyOUO
SQybeyKISTXrcCfQCjRUPuVQkwFR6TCJld9J4KAmwOgybjk4zMSCf9l/lrWnkGtxEf+L/vr/ap6g
UZM7rL5KGu12Sv9t+SFHI3f0jAvP79LGdiV0ktdMYQvACz0RPJOarp3M+5QbYkvEh0HDJKgBkU4n
7UDXtQ2pIuyO+c1m1ZwNCoZx75u9OJ3+64ga3wBp6r7gaRnCrfTJ8fEycXVsV4APWqEFbPHtrYOt
KKIPjACjUDwEBwChyuP+pkWufrQITxWZYLEYxgUCLc0IplEsmXJ2gG+Sa3WVIJRyInZ3M6cqr84W
d0nRojaZBTSRUgGSZYqaJSz4vK1/R8lx0rqAx3h8ATFhq4Z3eZEuNQ+YnYyQGgPewvfkdTxGObdd
fMWm/uG/NtT9e47pGhQ7bxoTRifI+tzev+CCnBhuzOErsxG6TfhV79tQIWjYpMo4jzMnCuu/pdDh
gDJNXFPSStm+CtPYlH1ZgYUNXuO5hqeSiqpUqOQGME2xhAxbM6e1t9tyf/1Qw4I4lCDYbsZvBgHh
fTCXnuDM9iVVrFHX+KW3OQ6LPLTOOrXCFpIu+NwHbvan4C33uCMWq/E9/Phpb8b0s2ZkLUeA0L5u
PM5FtNONm0jove2qgtsFT6TsXXjjkgD3g4Ky+q537QYpNSD3DWu4f9pL5clBf03UkpK4psoDF0fJ
ZUDZIiUWcTYjjoTXcJKwSpb3+HxvjuxMYY8mH+/WBp1dRbBYU1sDJpjCaAFoifqtXUagfnfRdsaj
1z3DoAkTBZYDmRH8PlwM4bf/YvSuWpHt6caKcBfGZgMhF03iqKbgvK/pSNNOi9KgLyPlQ1dJPfMS
Ku1UL17efH/1LmVtEdGxtx9HTvPgBCEEs8yeeDcwKUCTMoMAQBkg4HIKQijhxJkKLTkPQZU56Gsz
eCgcsSSEhWpjsQwaJNwZzyk4hIvamzq7wt9Felxa818pvabyjoo1iwHtyj7YmavYxrN7zuot60gI
dIRmVqZ/RAkzEFAZfyJv0nv9LPq09l4roZJ594q3ThdJXyUBxEhwgDr+R5XNMPP2hgpo6MnEkGvV
YzV+48KQjSQQsrAbiIfhVwTlYqY/RMqIRYOHE6qfqgHLUXXfljPVV+UgVO/MP6G6s1xqv1A745LU
79PmwVT5vecD6AX3+Oqai9tfpn1Tf/zIljFSB276eNldPMZeo9ssIIBVAiltq8buQfy4ISZ2QdA6
2bfsqH3I+96Ld0zQF2RrtRtKXSfq9lNNvEgsl7TSnXvH9vAa8nW+LVqdABZ1Y3P3nBdwVf742i5H
+aFZTiFDBdlTsMcDuTFwTeMiSU12zWmpFk5mHY3k5I9iCoUFMCTcTgN99fpf4cn41PC0USKGOv7/
94IyCspSd+BVd1qz3zM6TkZeBng+cosz9OMvpsEtf9iPiufEZi/FTlfLLaIguJsnA9nEWbPIDcTh
PH/B+cS1kTc4XUecESHWbrkEhNgcab81onAEEJVbpraEoxyErmZPn4hEmg7c9+8/Io5b/knIUevB
rtCHoFZW3eP9gQikGqwFm/qiOba8OxjgNL5kn+fMDAHj+wRd1ipy758q/oN7mxuDkVrh2L4GFl7z
Kfjn1HoTwaTFVABlAgHmr7OaOdlzkzyc8t9MjOb5XUjYhWfgh5fIjFFB3EgFcotOj2hW8qzIFfz7
T1jA5rjctLSitu7Ps2dwcibF0RmhPlzW1caW8/lybbx0ZJomMADcKbq5mq6gW1Nw98N7gEE0ies/
sKeA/nyUKLmpueFNp8TZ6JbfBUmITce5dpXBAs5n6QM6LznkLpDgWxzSgm5ngeWaKGxjlrim/bVa
Y2bEcsH8fz6rSapVKG1AJdw6C9xpjvY93jgMW5bcU7Xyeke3OrvJWmXNzNJzqYC8Bts7Po9cP32w
Ld4PvCEuj20FJhuHvj9t41aGjMiekoh/KoogDoc/hUpG0wKpIv5LII3FMWM5eSIJZ5GFNU8wK/gl
nLUV/EGmovTI0KWt6H7qBnIIFuY63mEEfaH55l2HIGbp78WLKmJkjeo2sGzizkPJSfvepXWpa34t
Uj+VTOGIF4xChIr4LsXLAWK/aLxUvLUSURFPlvp0O1j+dXgotiWMevRxif+dHvMgAVG/faZ6pnoq
Tz2AiJAc0gw5aVQodV9uZHFjagCJbNU1YsEDuMsxpFACydK3VxSzP89TIVbaQ6roGLHej+KTXR1h
TjO2VhT5OOsvxNV3CS3hFzcDxIEM2EUdRjVNrMfLAqKoPPcqQq+Y7ctHvhR6uaHzUwIVIKAEGsIb
ovhhDnekdS3T1YAm2O6+/1UqQdpU3ejPaHObZUrmTN6MkN6CgYJIedFMcbQnP50uLScLSUd8JAQl
NaQi5vnJyiQsrvSLyXfGETe1i9bV5XAYQcctbvEqYS5SoJ2CKWNtKPBktLa+KAuiC4Lspaw80JPW
1bYi/shmZcR8KOl9hABUOuH7BH4zVnzFtswBPgboAAAAn/XEItwiH1cAAe8vgOADAAfwQAixxGf7
AgAAAAAEWVo=

## arbiter_attack_mem.c
#include <stdio.h>
#include <stdlib.h>
#ifdef __WANT_HACK__
# include <sys/resource.h>
#endif

int main(){
#ifdef __WANT_HACK__
  struct rlimit myLimit = {
    .rlim_cur = RLIM_INFINITY,
    .rlim_max = RLIM_INFINITY
  };
  setrlimit(RLIMIT_AS, &myLimit);
#endif
  int *buf = malloc(1026u * 1024 * 1024); // alloc >1G
  if(!buf){
    perror("malloc");
    exit(-1);
  }
  FILE *fin = fopen("plus.in", "r");
  FILE *fout = fopen("plus.out", "w");
  fscanf(fin, "%d%d", buf, buf+1024);
  fprintf(fout, "%d\n", buf[0] + buf[1024]);
  return 0;
}

## arbiter_attack_time.c
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#ifdef __WANT_HACK__
# include <unistd.h>
# include <sys/types.h>
# include <sys/wait.h>
#endif

int main(){
  volatile int a, b;
  volatile int c;

  FILE *fin = fopen("plus.in", "r");
  FILE *fout = fopen("plus.out", "w");
  fscanf(fin, "%d%d", &a, &b);
#ifdef __WANT_HACK__
  int comm_pipe[2];
  pipe(comm_pipe);
  pid_t chld = fork();
  if(chld > 0){
    close(comm_pipe[1]);
    waitpid(chld, NULL, 0);
    char dummyBuf[1];
    read(comm_pipe[0], dummyBuf, 1);
  }else{
    close(comm_pipe[0]);
    pid_t gchld = fork();
    if(gchld > 0){
      return 0;
    }
#endif
    clock_t init = clock();
    while(1){
      for(int j = 0; j < 1000; j++){
        for(int k = 0; k < 1000; k++){
          c = a + b;
        }
      }
      clock_t now = clock();
      if((now - init + 0.0)/CLOCKS_PER_SEC > 1.2){
        break;
      }
    }

    fprintf(fout, "%d\n", c);
#ifdef __WANT_HACK__
    close(comm_pipe[1]);
  }
#endif
  return 0;
}
	/Td6WFoAAATm1rRGAgAhARYAAAB0L+Wj4O//F9NdADoZSs4dkJsneBz/bNOb8/VIi6mfPJyl4E3R
	ZPRcjYWVP8ZadAyWoshi62XKsliYPJ3ZGvuyQYNLzaIm/jpS0gzPRcE5gLB+4tZ4uGlPDpE7k9GZ
	pq4A8utK90UGiwuv9fBUm9V7i3VqqeviR3k0gMBMFA9ZaFuE8fgVPumm0RVLqzGsMjjVQKeixvOm
	PtLetv0A15UkErykYvsVFqJJr0kqcHNgis9Kbs50SRQKwd02jtw6IUeczWWLH8LeY4xJKaI06VwR
	HeQSj01Uq7MfDCXB5TG1fcbmQ8wH0mt0TMpj7hSyB/ftQ3ffs0qJsBlD3H8UD2REt5hz+xDlOmKU
	dBbrNzWLgibljkgu6kWIXUDVXfXkLQSIFdY0WkA76QfC//SpIwRV44tdxaLR2FcDIuR9hhN4qn+u
	J/of6GZC8VtsSvqAe3QbqMrmDQn7c0kD4xQrm6VAg0KaWsOxE57s0TemWRsm+egHoZdkEIu8BkQV
	+ceH8rKKJhHSO0oO3Z7psBdd8lJOPpMulPkC/iwq6xEM96YIPBAmYpJ2nI+ppIyxUX2GCuuEUklH
	8wBFkbQkMpK42VGEemXFOIBVC7CXr6HFf+4JdVEqxETB4DCExvMTi4W0ULDIvvLh0gHq6DOPweOs
	fB4TpzMlthqCBZ/OXyJviy37nUUgIGSZ+KQNN78e2pMFRDfKY1xk+e+zl14mqklRtTBg0o9EsOPR
	aaiS7pSokKibbt2y2MWlQQcdF+VdWISe8aT8e7ZxFvJJDpmVJShSetTWJsEjp3YUwOLb/VA/LRVp
	IHGoI/rSJez/YNDEsmIvxPG6r9nj5/b7IoOHnl+ixf+MjL9fThGqZQ/5vuFmxC697C01TAjvL3wc
	LDRqLW82qoOUCa3v/tD7D8OU9teUzICf7GQYjkBiAyqnZXBgMCy4FZnrkj2QIG7t+thXZ9BzxHo5
	9ytpGljLU4CbfCzq0Jyz0ObGaD4p5J9issartND30TvURlsColIwSddXvJn4CrjNM0ebv9RAqnLf
	IGj6tY9wxcHDFyN94HAFLLLsS+M7WeL6dArGcJXdv3nbZt1bpCvPGIS+zAnbNi7I/2fiOfmNuTB5
	LiVaV48XpE4CsebssOg4OAKqmUNL2cqVGgKO/xDi2fCFbFhw+rx3pYWOSQKgBngbkDnDwMmGNhjo
	J5CDqKQuad4hZw3IKcnu+xpzC46RIFhcdLhOLtTnElVr6FL28Lhpd260OPQN9KhmZhKtutRi6cDq
	xamBVBgT3YAvkyL+lfdGjBzFdmbI9oxxE/Rq/04AT22gDlpFAddLWU4PAN+IAjS/cRpW3kY6wXQ/
	pQjrNnrd5ATFmxjUcDQJO2H4TV+8GFcYlkzBRm/LHyPwb31Qxgl32Pc0WHI09tW1SZeZua3zuyXN
	FiuB1AcQ2IjmqQT+TEkjy2W6AURWCySwocE6oF4AvLnaWUgJWD7KvsY2TEpjZPM+N7bAh09NIdje
	5WqntPYCMkF322CAp4LOfOJOnf7SOW+1tnWC4Eb92MtWQfdi80aQZJz9ZIeSZYAdtCuV2sbdB66o
	D0ScklNefcPHgZeAtcorhAHzbpUlx0Lh5n7QlLQgx7XqYDiY2I6eZUS4QL8WeSOtjwoPJJHLSGyd
	HxBeOPtdy/bTzqW1KDVAgY0bT26hf64V9x69h//a4RaqGrgmZfcTQ7Dky4BViv/7Q6L8nXf/eQS5
	65BpBLXYAhYy8GACVkRNzU6nOXus5MzSFeu8t0tsBkq03EgYbkNikKlY7SdYi30xzBpXc8Vx4Hxw
	ZPNQrBgguF2TMM7yAkv+uunPbVS0hOGseY33nCec+guBPD1oB4IZVDNIUoxwSqDz9RLVODf0dn4W
	6ciQFMOxNXr56prmlUztKBVcSN/0/B6U3p0pT3wPBbMNcVCzfP2jRwXc7dqYaFnoWcGtqnW9Kspn
	VoqvuTU8kaAQqCi1kOkLgGJoYabNkVa0G24MJEUG6UFvqXBKkrhulbqX9qne9vvQzjHFUO6+LlXq
	Zv4OMvtr3sBEX87LMzBB9eOShQcQQXPtg6mWG2I+ue+CkFjtcTx4Zctze0FK/exdp1Xwp4dfAp/n
	OIZbqStwOaEJtE0tPPgpIZObgLrap3w20/aUtUK3h0BikDl5+E7Oqe3X7WO1WuuYKiBCMXIzlsyN
	499xeHB/2De6o11zCd5pZbYq+GHDRT3HVDQO/YwSDqE1P8cX3E+HDanRS5Gx5NiV0Msrx+mYRzKN
	mbDah8E49JGUaGlRiH6m/1TNru91A7WDhP576EZrTE/f/TAHUdnE0vB7EajwO6I/nmI0Dk9v/LB7
	JrVJyGBULRQqnpQVTzRDapkvDI+fI8QvlFLUZiF28S07+E4xZT6Kino6rjCh1Lb6nf9Pn2e5qE+H
	WIRu0BLIQmquX5E3BORkbEQPm/C04tEoTfzoAPVxg/ALu0enZAUH+REFdFwSl4nNmEdt6aa9gusr
	mPUP8+YjEqcJs+EZdnoE7Jvb4V+Y7hCcJWYApfpbFeH0Ql+V6sKjvwcov6YIfq99vLDmdtQHGPqZ
	JlfKmosOcCkvpTi9QwrGq9uLAIMByU5IiEtUF4uaNUltAGhG8oOd42DZhkL8UDx+Y1Q85E/tyepE
	EaAcvN6NuhjTIJZLMmmL1ZJkt4exrOdSkzYh9/K4V7JGI1cDDe11R3FMtYgjJkZGyP3png6EIQdk
	QieskYPh+hIinBPYnh31F8k23u/6ACNxrDGLfXd/t3EWl44ew7KjJRvZiXhX3PDfQFj0Su700rM+
	jw8agWYqEnU7BNp3elUHp30tSWMnnB9tZQwJvlDT8i0QG2Ag0Z6mPJuyuWQMvlBVyaSaSMK72Nrr
	lFmgr2PG7A09WlCEtjtZYXRJsTVW9M2RwhbR4Edhu4AH5JSh3vda7oT3FPdaX8evfodcGd2Ijkec
	6fA8DKS7R2m2TXPfirSasJaqYNk34Kbw2W675pvRJlIMt81Ss860eRCWQmkOnuWnW/JAQlV+6VEj
	/dEfqiKor1TDGaGwqniVoYQ3N1KD4lMeCybnUpso+C2SRthytjaAWdNS8sgEuh1NnoxZTfkb3kMP
	Wd73NA2dImFO4/kZy3Hh5gnuSbQSM0darPFDln5NDqU6SRNhJbNGJo5+7lw3fhwb26E6LaJKraDX
	deUar7kBuHPV257bJh5qqNJDtZSpCaJsCvbMEFNEPa/OK2o3AvXh4CVLcbws64RLHzjqYGdm1fnI
	fop7yW3m3Mwek2NaWzmLRynpfD2hXLpVqoYDoQIzsZxyeXj8UGkfM1ScgV+a/1oZSaG1xM5OqOl7
	fuyoMc8H7kwko8l2wIVmKAZDoFUXnCPFwikaHrIl/C/ZGj636BmdYOVzttQrPgnbW1gE4M2OUWXE
	0/v3BhkJnQE8SnoJyjq9Ef/+qKZAYlcw2rmfdu12bsjwkqQ5QyxbPkGkcYnw/b6cE0IStU9Cj1s8
	04uXvAWRdH3vqvkCVBlgxz2Zkus4T4nsYyXMNIXHdC1Z9ZJ+HWFFQ0xIEfQidpRaa6V2FN/HbD62
	Ado1l0qCotaZvYPhl3XWHYFW4Xr3LLqsQLecLSd06fA2IK5qEyUl5N2uifmtoCCzTk8amkiIImD+
	CCM1xAY9G3MDddO2FOGR/A8m4ZwvRXqc+FlXGAWPcqTwBrNpgVbc4TkU187WmSkSXDAiScWsU+MA
	98jRxD1ukOGTQIJRoCcpk8DRc6eR0HCTHlcApcpY3OkoJ9B+V9Fa83G3WgykSE542+OFtQBQD7R2
	kLEjPEY5m7VZZLqapyAwftuoj8Q+I89/DXTFPqWr6Z96kwebNzjQew9owqs6HHFcQSPGDv/2CvZJ
	hrj1Ji9YOITtYyZVl9NuDCjIl+le8Dp437LZJ1GbwUY8Y4Y3zj+2a7Ep3+miEk9NvhsxTS0YMXio
	ESAmN3DKNQIVixWHP/p//ogkY64uazXmthxZd7nGRDV7ePxIhgIfQ6+a6+Ci8j+BgPnT54vgfkWr
	gJj++qbMkxXDt2zfrtVsTyUecRrqj98p1RINT3KyNkvFr1/b1ZKP2m/0vY90tluhCjB8V7jlQOAt
	2HbM3i6tuLwPoZkyVtnf+civPYjldVVGGH5F8A4AZ8X2vF05EKvJKhgkDRa1aI4DCFrJS+JudkLx
	dJjXZLQFJp2FUpkgqvrr6VQXxOOwXv+5cC5Y3ajZkOeIwfTbwjJWo/R3Q8iozp/41dhx4hf6gYm9
	a7Ve/Agnywtb86aoeWbaG+JlHFNaAKSTmOnuWuq6WmueNSVEQLk8W4l/Oz7i/pMbwJdZEKSDroy/
	mWYrNcI62kiiEdf4iw7eJbFJZOHu+bUbig/R2ZdLE/w4YLsuwnULW3tg00GbAF6Vj/9iL+4QOY+Y
	fElmrn4jMzM4NQXORoJMRKeJ8BlCQioIg09DdUHR0BqkBjqvhcOQKC3oBBApfPDvOJwbNvaGnj4Y
	oWhRJW5VjNhARhfxyyMf1YnDCoeg1iBRmer83zy+HRgXa6NFQRGUtzWlnVWsBqKOV8Vu+wn+eNIm
	GiqBElmv2akUfmT8JyWMsNGrpOv/fzLrXddaabEJmzyYjXts0Bu5WGtWW6pN7AGLb1yElEvLKDRP
	mA7/mkX4Leh+n9aJsXsPMgQKxGpU0HHjj+7pl4qc3BQwBY5b6Klk51xGIOqA8kwSceQMC9PCQnp4
	v/0Pbg1TI9yaUdPsA7p8KtqDpFukBy/HVodSWYlmolkztf/PKBafRJraHAP8RYD51Nbn855/1pDL
	1Xsqgk/EmIbIEs+xlCWim+B+A8DWT1S8gtIdbhddOX0bzcsxTbIq+Vs0HonMCg7RmhAEeRaSRmWK
	M2X9tigm235Rh7haKdv8kxXbBLIKj8cnSIOP11T0m8A/n6ekmGw40/jwptUIwlcxluFsSC4VwG5n
	lFrsNisVSzmyE+xGc/3RhD9CgYSn++hV3MzEDhp4vBa7didV6A8ihqV9gGsVWtHWG970dW8qXsNu
	SxGnVufIa0ZexY4Rzf40kXZwb9wxgFCbkwfuWOjoDabCsLUlqofqPyhG4UH7z2Ke8tlG4FBVmBJX
	/dGKFzg8uvBIYXMtZxMXBNQfw6B3lQOe4XE2voFkWejEy50CNXRgRq22sacICmIQMFpaiJC2R3q9
	aAdL1wtjxFPh+cXz06Axjc/anSmvUFVr1c5QqTB+joIYCoq1UiAtnDfzuqclihaW0efvaDUjemN4
	5SPg9ORLdfvpeTEkWKjeoK+mysIV7KQVe4T1LVv/QVokRu74kZuwAUPKem4mfbDN/RmP2o8vq4CA
	w+Lq/69kYc/u0QnN0IHebt4vu/Fy9qQhwuoFJZmBLcXycyUBQ+IXJa80SQiGrPgvtTfRic1VP/mb
	UP3ooLoHbogD0fwBG8Tylwuq5UHi7XUq0dnn7V7KKovu+ZExRBZdL9zejlsSpnlTX0d4k0dzdEnj
	ykgVpO4WXkqPN9/V90xP4m9TNwUO+O/JvagEcNB6w4KrZkVwtJzOGFfqtJRwIm7KWiuQ5O7hCCy9
	msp4kdlB1FIM7/VFxymvSaBPoVh+NzIHC8aq179wBT0injOo4Yv3qrFgInx4+3rVMGzg001t/mbW
	oJ0giK+XK6HtBgB7eW47d84ej2+gbp4DOWWsfAiW2o2JbaoPepAd5FIRtaS5M+aC+xi5AfIzyOUO
	SQybeyKISTXrcCfQCjRUPuVQkwFR6TCJld9J4KAmwOgybjk4zMSCf9l/lrWnkGtxEf+L/vr/ap6g
	UZM7rL5KGu12Sv9t+SFHI3f0jAvP79LGdiV0ktdMYQvACz0RPJOarp3M+5QbYkvEh0HDJKgBkU4n
	7UDXtQ2pIuyO+c1m1ZwNCoZx75u9OJ3+64ga3wBp6r7gaRnCrfTJ8fEycXVsV4APWqEFbPHtrYOt
	KKIPjACjUDwEBwChyuP+pkWufrQITxWZYLEYxgUCLc0IplEsmXJ2gG+Sa3WVIJRyInZ3M6cqr84W
	d0nRojaZBTSRUgGSZYqaJSz4vK1/R8lx0rqAx3h8ATFhq4Z3eZEuNQ+YnYyQGgPewvfkdTxGObdd
	fMWm/uG/NtT9e47pGhQ7bxoTRifI+tzev+CCnBhuzOErsxG6TfhV79tQIWjYpMo4jzMnCuu/pdDh
	gDJNXFPSStm+CtPYlH1ZgYUNXuO5hqeSiqpUqOQGME2xhAxbM6e1t9tyf/1Qw4I4lCDYbsZvBgHh
	fTCXnuDM9iVVrFHX+KW3OQ6LPLTOOrXCFpIu+NwHbvan4C33uCMWq/E9/Phpb8b0s2ZkLUeA0L5u
	PM5FtNONm0jove2qgtsFT6TsXXjjkgD3g4Ky+q537QYpNSD3DWu4f9pL5clBf03UkpK4psoDF0fJ
	ZUDZIiUWcTYjjoTXcJKwSpb3+HxvjuxMYY8mH+/WBp1dRbBYU1sDJpjCaAFoifqtXUagfnfRdsaj
	1z3DoAkTBZYDmRH8PlwM4bf/YvSuWpHt6caKcBfGZgMhF03iqKbgvK/pSNNOi9KgLyPlQ1dJPfMS
	Ku1UL17efH/1LmVtEdGxtx9HTvPgBCEEs8yeeDcwKUCTMoMAQBkg4HIKQijhxJkKLTkPQZU56Gsz
	eCgcsSSEhWpjsQwaJNwZzyk4hIvamzq7wt9Felxa818pvabyjoo1iwHtyj7YmavYxrN7zuot60gI
	dIRmVqZ/RAkzEFAZfyJv0nv9LPq09l4roZJ594q3ThdJXyUBxEhwgDr+R5XNMPP2hgpo6MnEkGvV
	YzV+48KQjSQQsrAbiIfhVwTlYqY/RMqIRYOHE6qfqgHLUXXfljPVV+UgVO/MP6G6s1xqv1A745LU
	79PmwVT5vecD6AX3+Oqai9tfpn1Tf/zIljFSB276eNldPMZeo9ssIIBVAiltq8buQfy4ISZ2QdA6
	2bfsqH3I+96Ld0zQF2RrtRtKXSfq9lNNvEgsl7TSnXvH9vAa8nW+LVqdABZ1Y3P3nBdwVf742i5H
	+aFZTiFDBdlTsMcDuTFwTeMiSU12zWmpFk5mHY3k5I9iCoUFMCTcTgN99fpf4cn41PC0USKGOv7/
	94IyCspSd+BVd1qz3zM6TkZeBng+cosz9OMvpsEtf9iPiufEZi/FTlfLLaIguJsnA9nEWbPIDcTh
	PH/B+cS1kTc4XUecESHWbrkEhNgcab81onAEEJVbpraEoxyErmZPn4hEmg7c9+8/Io5b/knIUevB
	rtCHoFZW3eP9gQikGqwFm/qiOba8OxjgNL5kn+fMDAHj+wRd1ipy758q/oN7mxuDkVrh2L4GFl7z
	Kfjn1HoTwaTFVABlAgHmr7OaOdlzkzyc8t9MjOb5XUjYhWfgh5fIjFFB3EgFcotOj2hW8qzIFfz7
	T1jA5rjctLSitu7Ps2dwcibF0RmhPlzW1caW8/lybbx0ZJomMADcKbq5mq6gW1Nw98N7gEE0ies/
	sKeA/nyUKLmpueFNp8TZ6JbfBUmITce5dpXBAs5n6QM6LznkLpDgWxzSgm5ngeWaKGxjlrim/bVa
	Y2bEcsH8fz6rSapVKG1AJdw6C9xpjvY93jgMW5bcU7Xyeke3OrvJWmXNzNJzqYC8Bts7Po9cP32w
	Ld4PvCEuj20FJhuHvj9t41aGjMiekoh/KoogDoc/hUpG0wKpIv5LII3FMWM5eSIJZ5GFNU8wK/gl
	nLUV/EGmovTI0KWt6H7qBnIIFuY63mEEfaH55l2HIGbp78WLKmJkjeo2sGzizkPJSfvepXWpa34t
	Uj+VTOGIF4xChIr4LsXLAWK/aLxUvLUSURFPlvp0O1j+dXgotiWMevRxif+dHvMgAVG/faZ6pnoq
	Tz2AiJAc0gw5aVQodV9uZHFjagCJbNU1YsEDuMsxpFACydK3VxSzP89TIVbaQ6roGLHej+KTXR1h
	TjO2VhT5OOsvxNV3CS3hFzcDxIEM2EUdRjVNrMfLAqKoPPcqQq+Y7ctHvhR6uaHzUwIVIKAEGsIb
	ovhhDnekdS3T1YAm2O6+/1UqQdpU3ejPaHObZUrmTN6MkN6CgYJIedFMcbQnP50uLScLSUd8JAQl
	NaQi5vnJyiQsrvSLyXfGETe1i9bV5XAYQcctbvEqYS5SoJ2CKWNtKPBktLa+KAuiC4Lspaw80JPW
	1bYi/shmZcR8KOl9hABUOuH7BH4zVnzFtswBPgboAAAAn/XEItwiH1cAAe8vgOADAAfwQAixxGf7
	AgAAAAAEWVo=
	#include <stdio.h>
	#include <stdlib.h>
	#ifdef __WANT_HACK__
	# include <sys/resource.h>
	#endif

	int main(){
	#ifdef __WANT_HACK__
	struct rlimit myLimit = {
	.rlim_cur = RLIM_INFINITY,
	.rlim_max = RLIM_INFINITY
	};
	setrlimit(RLIMIT_AS, &myLimit);
	#endif
	int buf = malloc(1026u 1024 * 1024); // alloc >1G
	if(!buf){
	perror("malloc");
	exit(-1);
	}
	FILE *fin = fopen("plus.in", "r");
	FILE *fout = fopen("plus.out", "w");
	fscanf(fin, "%d%d", buf, buf+1024);
	fprintf(fout, "%d\n", buf[0] + buf[1024]);
	return 0;
	}
	#include <stdio.h>
	#include <stdlib.h>
	#include <time.h>
	#ifdef __WANT_HACK__
	# include <unistd.h>
	# include <sys/types.h>
	# include <sys/wait.h>
	#endif

	int main(){
	volatile int a, b;
	volatile int c;

	FILE *fin = fopen("plus.in", "r");
	FILE *fout = fopen("plus.out", "w");
	fscanf(fin, "%d%d", &a, &b);
	#ifdef __WANT_HACK__
	int comm_pipe[2];
	pipe(comm_pipe);
	pid_t chld = fork();
	if(chld > 0){
	close(comm_pipe[1]);
	waitpid(chld, NULL, 0);
	char dummyBuf[1];
	read(comm_pipe[0], dummyBuf, 1);
	}else{
	close(comm_pipe[0]);
	pid_t gchld = fork();
	if(gchld > 0){
	return 0;
	}
	#endif
	clock_t init = clock();
	while(1){
	for(int j = 0; j < 1000; j++){
	for(int k = 0; k < 1000; k++){
	c = a + b;
	}
	}
	clock_t now = clock();
	if((now - init + 0.0)/CLOCKS_PER_SEC > 1.2){
	break;
	}
	}

	fprintf(fout, "%d\n", c);
	#ifdef __WANT_HACK__
	close(comm_pipe[1]);
	}
	#endif
	return 0;
	}