Trace number 3725773\npwbo 2.02 SAT (TO) -9467 1800.08 900.421\nBest CPU time to get the best result obtained on this benchmark 26.399\n0.00/0.00\tc Parsing opb file format. File HOME/instance-3725773-1338651550.opb.\n0.00/0.00\tc Instance file HOME/instance-3725773-1338651550.opb\n0.00/0.00\tc File size is 1509680 bytes.\n0.09/0.15\tc Cost Offset: -11139\n0.09/0.15\tc Highest Coefficient sum: 7117\n0.09/0.15\tc |  Number Variables:      12596                                               |\n0.09/0.15\tc |  Number Clauses:        2176                                                |\n0.09/0.15\tc |  Number Cardinality:    12361                                               |\n0.09/0.15\tc |  Number PB Constraints: 652                                                 |\n274.15/137.26\to -330\n274.15/137.26\to -944\n274.15/137.26\to -1594\n274.15/137.26\to -1669\n274.15/137.26\to -3664\n274.15/137.26\to -3665\n274.15/137.26\to -3731\n274.15/137.26\to -3831\n274.15/137.26\to -4053\n274.15/137.26\to -4072\n274.15/137.26\to -4250\n274.15/137.26\to -4260\n274.15/137.26\to -4413\n274.15/137.26\to -4415\n274.15/137.26\to -4419\n274.15/137.26\to -4421\n274.15/137.26\to -4423\n274.15/137.26\to -4430\n274.15/137.26\to -4922\n274.15/137.26\to -4926\n274.15/137.26\to -4927\n274.15/137.26\to -4956\n274.15/137.26\to -4957\n274.15/137.26\to -4960\n274.15/137.26\to -5942\n274.15/137.26\to -5946\n274.15/137.26\to -5951\n274.15/137.26\to -5955\n274.15/137.26\to -5959\n274.15/137.26\to -5962\n274.15/137.26\to -5964\n274.15/137.26\to -5969\n274.15/137.26\to -5974\n274.15/137.26\to -5979\n274.15/137.26\to -5983\n274.15/137.26\to -5988\n274.15/137.26\to -6179\n274.15/137.26\to -6180\n274.15/137.26\to -6181\n274.15/137.26\to -6184\n274.15/137.26\to -6191\n274.15/137.26\to -6192\n274.15/137.26\to -6194\n274.15/137.26\to -6195\n274.15/137.26\to -6200\n274.15/137.26\to -6203\n274.15/137.26\to -6205\n274.15/137.26\to -6206\n274.15/137.26\to -6210\n274.15/137.26\to -6211\n274.15/137.26\to -6213\n274.15/137.26\to -6214\n274.15/137.26\to -6215\n274.15/137.26\to -6219\n274.15/137.26\to -6268\n274.15/137.26\to -6269\n274.15/137.26\to -6270\n274.15/137.26\to -6275\n274.15/137.26\to -6277\n274.15/137.26\to -6280\n274.15/137.26\to -6286\n274.15/137.26\to -6290\n274.15/137.26\to -6294\n274.15/137.26\to -6296\n274.15/137.26\to -6299\n274.15/137.26\to -6304\n274.15/137.26\to -6305\n274.15/137.26\to -6309\n274.15/137.26\to -6311\n274.15/137.26\to -6315\n274.15/137.26\to -6318\n274.15/137.26\to -6411\n274.15/137.26\to -6415\n274.15/137.26\to -6878\n274.15/137.26\to -6883\n274.15/137.26\to -6887\n274.15/137.26\to -6891\n274.15/137.26\to -6895\n274.15/137.26\to -6899\n274.15/137.26\to -6909\n274.15/137.26\to -6914\n274.15/137.26\to -6919\n274.15/137.26\to -6924\n274.15/137.26\to -6927\n274.15/137.26\to -6928\n274.15/137.26\to -6951\n274.15/137.26\to -6955\n274.15/137.26\to -6957\n274.15/137.26\to -6960\n274.15/137.26\to -6965\n274.15/137.26\to -6967\n274.15/137.26\to -6969\n274.15/137.26\to -6970\n274.15/137.26\to -6975\n274.15/137.26\to -6977\n274.15/137.26\to -6981\n274.15/137.26\to -6984\n274.15/137.26\to -6989\n274.15/137.26\to -6993\n274.15/137.26\to -6998\n274.15/137.26\to -6999\n274.15/137.26\to -7002\n274.15/137.26\to -7004\n274.15/137.26\to -7006\n274.15/137.26\to -7007\n274.15/137.26\to -7010\n274.15/137.26\to -7013\n274.15/137.26\to -7017\n274.15/137.26\to -7019\n274.15/137.26\to -7020\n274.15/137.26\to -7025\n274.15/137.26\to -7028\n274.15/137.26\to -7029\n274.15/137.26\to -7030\n274.15/137.26\to -7031\n274.15/137.26\to -7032\n274.15/137.26\to -7036\n274.15/137.26\to -7037\n274.15/137.26\to -7039\n274.15/137.26\to -7041\n274.15/137.26\to -7043\n274.15/137.26\to -7045\n274.15/137.26\to -7048\n274.15/137.26\to -7051\n274.15/137.26\to -7054\n274.15/137.26\to -7059\n274.15/137.26\to -7061\n274.15/137.26\to -7066\n274.15/137.26\to -7069\n274.15/137.26\to -7070\n274.15/137.26\to -7075\n274.15/137.26\to -7078\n274.15/137.26\to -7081\n274.15/137.26\to -7086\n274.15/137.26\to -7090\n274.15/137.26\to -7092\n274.15/137.26\to -7097\n274.15/137.26\to -7100\n274.15/137.26\to -7101\n274.15/137.26\to -7102\n274.15/137.26\to -7105\n274.15/137.26\to -7106\n274.15/137.26\to -7108\n274.15/137.26\to -7111\n274.15/137.26\to -7114\n274.15/137.26\to -7115\n274.15/137.26\to -7119\n274.15/137.26\to -7120\n274.15/137.26\to -7124\n274.15/137.26\to -7128\n274.15/137.26\to -7131\n274.15/137.26\to -7135\n274.15/137.26\to -7139\n274.15/137.26\to -7142\n274.15/137.26\to -7145\n274.15/137.26\to -7150\n274.15/137.26\to -7153\n274.15/137.26\to -7154\n274.15/137.26\to -7155\n274.15/137.26\to -7160\n274.15/137.26\to -7161\n274.15/137.26\to -7165\n274.15/137.26\to -7168\n274.15/137.26\to -7169\n274.15/137.26\to -7172\n274.15/137.26\to -7174\n274.15/137.26\to -7175\n274.15/137.26\to -7176\n274.15/137.26\to -7180\n274.15/137.26\to -7184\n274.15/137.26\to -7185\n274.15/137.26\to -7187\n274.15/137.26\to -7189\n274.15/137.26\to -7190\n274.15/137.26\to -7192\n274.15/137.26\to -7196\n274.15/137.26\to -7199\n274.15/137.26\to -7204\n274.15/137.26\to -7205\n274.15/137.26\to -7210\n274.15/137.26\to -7215\n274.15/137.26\to -7217\n274.15/137.26\to -7222\n274.15/137.26\to -7225\n274.15/137.26\to -7229\n274.15/137.26\to -7234\n274.15/137.26\to -7236\n274.15/137.26\to -7240\n274.15/137.26\to -7245\n274.15/137.26\to -7250\n274.15/137.26\to -7253\n274.15/137.26\to -7258\n274.15/137.26\to -7261\n274.15/137.26\to -7264\n274.15/137.26\to -7269\n274.15/137.26\to -7270\n274.15/137.26\to -7271\n274.15/137.26\to -7276\n274.15/137.26\to -7278\n274.15/137.26\to -7279\n274.15/137.26\to -7284\n274.15/137.26\to -7287\n274.15/137.26\to -7289\n274.15/137.26\to -7291\n274.15/137.26\to -7292\n274.15/137.26\to -7296\n274.15/137.26\to -7300\n274.15/137.26\to -7302\n274.15/137.26\to -7304\n274.15/137.26\to -7305\n274.15/137.26\to -7309\n274.15/137.26\to -7311\n274.15/137.26\to -7316\n274.15/137.26\to -7320\n274.15/137.26\to -7321\n274.15/137.26\to -7323\n274.15/137.26\to -7324\n274.15/137.26\to -7327\n274.15/137.26\to -7332\n274.15/137.26\to -7337\n274.15/137.26\to -7338\n274.15/137.26\to -7343\n274.15/137.26\to -7346\n274.15/137.26\to -7347\n274.15/137.26\to -7355\n274.15/137.26\to -7359\n274.15/137.26\to -7398\n274.15/137.26\to -7403\n274.15/137.26\to -7407\n274.15/137.26\to -7408\n274.15/137.26\to -7413\n274.15/137.26\to -7415\n274.15/137.26\to -7416\n274.15/137.26\to -7419\n274.15/137.26\to -7420\n274.15/137.26\to -7424\n274.15/137.26\to -7425\n274.15/137.26\to -7426\n274.15/137.26\to -7431\n274.15/137.26\to -7434\n274.15/137.26\to -7437\n274.15/137.26\to -7442\n274.15/137.26\to -7443\n274.15/137.26\to -7447\n274.15/137.26\to -7451\n274.15/137.26\to -7454\n274.15/137.26\to -7455\n274.15/137.26\to -7463\n274.15/137.26\to -7468\n274.15/137.26\to -7478\n274.15/137.26\to -7483\n274.15/137.26\to -7488\n274.15/137.26\to -7490\n274.15/137.26\to -7494\n274.15/137.26\to -7497\n274.15/137.26\to -7499\n274.15/137.26\to -7504\n274.15/137.26\to -7505\n274.15/137.26\to -7506\n274.15/137.26\to -7510\n274.15/137.26\to -7511\n274.15/137.26\to -7513\n274.15/137.26\to -7514\n274.15/137.26\to -7515\n274.15/137.26\to -7516\n274.15/137.26\to -7521\n274.15/137.26\to -7522\n274.15/137.26\to -7524\n274.15/137.26\to -7525\n274.15/137.26\to -7526\n274.15/137.26\to -7530\n274.15/137.26\to -7535\n274.15/137.26\to -7538\n274.15/137.26\to -7540\n274.15/137.26\to -7545\n274.15/137.26\to -7550\n274.15/137.26\to -7551\n274.15/137.26\to -7555\n274.15/137.26\to -7560\n274.15/137.26\to -7561\n274.15/137.26\to -7562\n274.15/137.26\to -7564\n274.15/137.26\to -7565\n274.15/137.26\to -7570\n274.15/137.26\to -7572\n274.15/137.26\to -7577\n274.15/137.26\to -7582\n274.15/137.26\to -7583\n274.15/137.26\to -7586\n274.15/137.26\to -7589\n274.15/137.26\to -7592\n274.15/137.26\to -7596\n274.15/137.26\to -7600\n274.15/137.26\to -7603\n274.15/137.26\to -7608\n274.15/137.26\to -7611\n274.15/137.26\to -7614\n274.15/137.26\to -7617\n274.15/137.26\to -7620\n274.15/137.26\to -7625\n274.15/137.26\to -7630\n274.15/137.26\to -7632\n274.15/137.26\to -7637\n274.15/137.26\to -7642\n274.15/137.26\to -7646\n274.15/137.26\to -7650\n274.15/137.26\to -7653\n274.15/137.26\to -7657\n274.15/137.26\to -7661\n274.15/137.26\to -7666\n274.15/137.26\to -7670\n274.15/137.26\to -7675\n274.15/137.26\to -7679\n274.15/137.26\to -7681\n274.15/137.26\to -7686\n274.15/137.26\to -7687\n274.15/137.26\to -7692\n274.15/137.26\to -7697\n274.15/137.26\to -7702\n274.15/137.26\to -7703\n274.15/137.26\to -7705\n274.15/137.26\to -7709\n274.15/137.26\to -7710\n274.15/137.26\to -7711\n274.15/137.26\to -7716\n274.15/137.26\to -7717\n274.15/137.26\to -7721\n274.15/137.26\to -7726\n274.15/137.26\to -7727\n274.15/137.26\to -7729\n274.15/137.26\to -7730\n274.15/137.26\to -7731\n274.15/137.26\to -7733\n274.15/137.26\to -7738\n274.15/137.26\to -7740\n274.15/137.26\to -7741\n274.15/137.26\to -7742\n274.15/137.26\to -7744\n274.15/137.26\to -7747\n274.15/137.26\to -7752\n274.15/137.26\to -7753\n274.15/137.26\to -7755\n274.15/137.26\to -7758\n274.15/137.26\to -7763\n274.15/137.26\to -7768\n274.15/137.26\to -7771\n274.15/137.26\to -7776\n274.15/137.26\to -7779\n274.15/137.26\to -7781\n274.15/137.26\to -7783\n274.15/137.26\to -7784\n274.15/137.26\to -7786\n274.15/137.26\to -7791\n274.15/137.26\to -7796\n274.15/137.26\to -7800\n274.15/137.26\to -7805\n274.15/137.26\to -7806\n274.15/137.26\to -7810\n274.15/137.26\to -7815\n274.15/137.26\to -7819\n274.15/137.26\to -7824\n274.15/137.26\to -7826\n274.15/137.26\to -7831\n274.15/137.26\to -7834\n274.15/137.26\to -7839\n274.15/137.26\to -7842\n274.15/137.26\to -7844\n274.15/137.26\to -7849\n274.15/137.26\to -7854\n274.15/137.26\to -7855\n274.15/137.26\to -7856\n274.15/137.26\to -7857\n274.15/137.26\to -7860\n274.15/137.26\to -7864\n274.15/137.26\to -7866\n274.15/137.26\to -7870\n274.15/137.26\to -7871\n274.15/137.26\to -7876\n274.15/137.26\to -7881\n274.15/137.26\to -7882\n274.15/137.26\to -7886\n274.15/137.26\to -7889\n274.15/137.26\to -7894\n274.15/137.26\to -7899\n274.15/137.26\to -7900\n274.15/137.26\to -7905\n274.15/137.26\to -7907\n274.15/137.26\to -7912\n274.15/137.26\to -7913\n274.15/137.26\to -7918\n274.15/137.26\to -7923\n274.15/137.26\to -7925\n274.15/137.26\to -7929\n274.15/137.26\to -7930\n274.15/137.26\to -7933\n274.15/137.26\to -7934\n274.15/137.26\to -7937\n274.15/137.26\to -7938\n274.15/137.26\to -7942\n274.15/137.26\to -7945\n274.15/137.26\to -7946\n274.15/137.26\to -7949\n274.15/137.26\to -7953\n274.15/137.26\to -7956\n274.15/137.26\to -7959\n274.15/137.26\to -7960\n274.15/137.26\to -7961\n274.15/137.26\to -7965\n274.15/137.26\to -7966\n274.15/137.26\to -7967\n274.15/137.26\to -7971\n274.15/137.26\to -7975\n274.15/137.26\to -7977\n274.15/137.26\to -7980\n274.15/137.26\to -7984\n274.15/137.26\to -7989\n274.15/137.26\to -7990\n274.15/137.26\to -7993\n274.15/137.26\to -7995\n274.15/137.26\to -8000\n274.15/137.26\to -8002\n274.15/137.26\to -8005\n274.15/137.26\to -8009\n274.15/137.26\to -8010\n274.15/137.26\to -8011\n274.15/137.26\to -8015\n274.15/137.26\to -8018\n274.15/137.26\to -8020\n274.15/137.26\to -8024\n274.15/137.26\to -8029\n274.15/137.26\to -8030\n274.15/137.26\to -8035\n274.15/137.26\to -8038\n274.15/137.26\to -8042\n274.15/137.26\to -8043\n274.15/137.26\to -8044\n274.15/137.26\to -8045\n274.15/137.26\to -8049\n274.15/137.26\to -8050\n274.15/137.26\to -8051\n274.15/137.26\to -8054\n274.15/137.26\to -8056\n274.15/137.26\to -8061\n274.15/137.26\to -8064\n274.15/137.26\to -8066\n274.15/137.26\to -8071\n274.15/137.26\to -8076\n274.15/137.26\to -8080\n274.15/137.26\to -8081\n274.15/137.26\to -8085\n274.15/137.26\to -8088\n274.15/137.26\to -8092\n274.15/137.26\to -8096\n274.15/137.26\to -8101\n274.15/137.26\to -8105\n274.15/137.26\to -8106\n274.15/137.26\to -8108\n274.15/137.26\to -8110\n274.15/137.26\to -8111\n274.15/137.26\to -8115\n274.15/137.26\to -8118\n274.15/137.26\to -8123\n274.15/137.26\to -8125\n274.15/137.26\to -8128\n274.15/137.26\to -8130\n274.15/137.26\to -8133\n274.15/137.26\to -8136\n274.15/137.26\to -8138\n274.15/137.26\to -8140\n274.15/137.26\to -8141\n274.15/137.26\to -8145\n274.15/137.26\to -8149\n274.15/137.26\to -8152\n274.15/137.26\to -8156\n274.15/137.26\to -8160\n274.15/137.26\to -8161\n274.15/137.26\to -8165\n274.15/137.26\to -8168\n274.15/137.26\to -8169\n274.15/137.26\to -8170\n274.15/137.26\to -8171\n274.15/137.26\to -8175\n274.15/137.26\to -8179\n274.15/137.26\to -8180\n274.15/137.26\to -8183\n274.15/137.26\to -8188\n274.15/137.26\to -8190\n274.15/137.26\to -8192\n274.15/137.26\to -8194\n274.15/137.26\to -8195\n274.15/137.26\to -8196\n274.15/137.26\to -8197\n274.15/137.26\to -8199\n274.15/137.26\to -8201\n274.15/137.26\to -8202\n274.15/137.26\to -8207\n274.15/137.26\to -8212\n274.15/137.26\to -8216\n274.15/137.26\to -8219\n274.15/137.26\to -8220\n274.15/137.26\to -8225\n274.15/137.26\to -8226\n274.15/137.26\to -8228\n274.15/137.26\to -8231\n274.15/137.26\to -8232\n274.15/137.26\to -8235\n274.15/137.26\to -8237\n274.15/137.26\to -8241\n274.15/137.26\to -8244\n274.15/137.26\to -8246\n274.15/137.26\to -8249\n274.15/137.26\to -8250\n274.15/137.26\to -8252\n1800.08/900.41\to -8255\n1800.08/900.41\to -8257\n1800.08/900.41\to -8262\n1800.08/900.41\to -8266\n1800.08/900.41\to -8268\n1800.08/900.41\to -8270\n1800.08/900.41\to -8272\n1800.08/900.41\to -8275\n1800.08/900.41\to -8280\n1800.08/900.41\to -8282\n1800.08/900.41\to -8284\n1800.08/900.41\to -8286\n1800.08/900.41\to -8290\n1800.08/900.41\to -8295\n1800.08/900.41\to -8296\n1800.08/900.41\to -8300\n1800.08/900.41\to -8304\n1800.08/900.41\to -8305\n1800.08/900.41\to -8307\n1800.08/900.41\to -8310\n1800.08/900.41\to -8315\n1800.08/900.41\to -8318\n1800.08/900.41\to -8320\n1800.08/900.41\to -8322\n1800.08/900.41\to -8326\n1800.08/900.41\to -8330\n1800.08/900.41\to -8333\n1800.08/900.41\to -8334\n1800.08/900.41\to -8335\n1800.08/900.41\to -8336\n1800.08/900.41\to -8340\n1800.08/900.41\to -8344\n1800.08/900.41\to -8346\n1800.08/900.41\to -8347\n1800.08/900.41\to -8352\n1800.08/900.41\to -8354\n1800.08/900.41\to -8355\n1800.08/900.41\to -8360\n1800.08/900.41\to -8361\n1800.08/900.41\to -8363\n1800.08/900.41\to -8366\n1800.08/900.41\to -8370\n1800.08/900.41\to -8371\n1800.08/900.41\to -8373\n1800.08/900.41\to -8377\n1800.08/900.41\to -8382\n1800.08/900.41\to -8387\n1800.08/900.41\to -8388\n1800.08/900.41\to -8390\n1800.08/900.41\to -8392\n1800.08/900.41\to -8395\n1800.08/900.41\to -8397\n1800.08/900.41\to -8399\n1800.08/900.41\to -8400\n1800.08/900.41\to -8404\n1800.08/900.41\to -8409\n1800.08/900.41\to -8410\n1800.08/900.41\to -8411\n1800.08/900.41\to -8415\n1800.08/900.41\to -8417\n1800.08/900.41\to -8420\n1800.08/900.41\to -8422\n1800.08/900.41\to -8425\n1800.08/900.41\to -8430\n1800.08/900.41\to -8431\n1800.08/900.41\to -8435\n1800.08/900.41\to -8436\n1800.08/900.41\to -8440\n1800.08/900.41\to -8442\n1800.08/900.41\to -8445\n1800.08/900.41\to -8447\n1800.08/900.41\to -8449\n1800.08/900.41\to -8450\n1800.08/900.41\to -8451\n1800.08/900.41\to -8456\n1800.08/900.41\to -8457\n1800.08/900.41\to -8459\n1800.08/900.41\to -8464\n1800.08/900.41\to -8468\n1800.08/900.41\to -8470\n1800.08/900.41\to -8472\n1800.08/900.41\to -8476\n1800.08/900.41\to -8480\n1800.08/900.41\to -8483\n1800.08/900.41\to -8486\n1800.08/900.41\to -8487\n1800.08/900.41\to -8490\n1800.08/900.41\to -8495\n1800.08/900.41\to -8496\n1800.08/900.41\to -8500\n1800.08/900.41\to -8504\n1800.08/900.41\to -8506\n1800.08/900.41\to -8507\n1800.08/900.41\to -8508\n1800.08/900.41\to -8509\n1800.08/900.41\to -8510\n1800.08/900.41\to -8513\n1800.08/900.41\to -8514\n1800.08/900.41\to -8516\n1800.08/900.41\to -8521\n1800.08/900.41\to -8522\n1800.08/900.41\to -8527\n1800.08/900.41\to -8528\n1800.08/900.41\to -8530\n1800.08/900.41\to -8535\n1800.08/900.41\to -8536\n1800.08/900.41\to -8538\n1800.08/900.41\to -8540\n1800.08/900.41\to -8541\n1800.08/900.41\to -8546\n1800.08/900.41\to -8550\n1800.08/900.41\to -8553\n1800.08/900.41\to -8556\n1800.08/900.41\to -8560\n1800.08/900.41\to -8565\n1800.08/900.41\to -8570\n1800.08/900.41\to -8575\n1800.08/900.41\to -8579\n1800.08/900.41\to -8581\n1800.08/900.41\to -8586\n1800.08/900.41\to -8590\n1800.08/900.41\to -8595\n1800.08/900.41\to -8596\n1800.08/900.41\to -8601\n1800.08/900.41\to -8603\n1800.08/900.41\to -8604\n1800.08/900.41\to -8609\n1800.08/900.41\to -8610\n1800.08/900.41\to -8613\n1800.08/900.41\to -8615\n1800.08/900.41\to -8620\n1800.08/900.41\to -8621\n1800.08/900.41\to -8626\n1800.08/900.41\to -8630\n1800.08/900.41\to -8633\n1800.08/900.41\to -8637\n1800.08/900.41\to -8640\n1800.08/900.41\to -8641\n1800.08/900.41\to -8646\n1800.08/900.41\to -8650\n1800.08/900.41\to -8655\n1800.08/900.41\to -8657\n1800.08/900.41\to -8660\n1800.08/900.41\to -8661\n1800.08/900.41\to -8666\n1800.08/900.41\to -8667\n1800.08/900.41\to -8671\n1800.08/900.41\to -8675\n1800.08/900.41\to -8680\n1800.08/900.41\to -8681\n1800.08/900.41\to -8683\n1800.08/900.41\to -8685\n1800.08/900.41\to -8686\n1800.08/900.41\to -8690\n1800.08/900.41\to -8691\n1800.08/900.41\to -8695\n1800.08/900.41\to -8698\n1800.08/900.41\to -8700\n1800.08/900.41\to -8703\n1800.08/900.41\to -8706\n1800.08/900.41\to -8711\n1800.08/900.41\to -8716\n1800.08/900.41\to -8720\n1800.08/900.41\to -8722\n1800.08/900.41\to -8726\n1800.08/900.41\to -8730\n1800.08/900.41\to -8731\n1800.08/900.41\to -8733\n1800.08/900.41\to -8735\n1800.08/900.41\to -8740\n1800.08/900.41\to -8745\n1800.08/900.41\to -8748\n1800.08/900.41\to -8749\n1800.08/900.41\to -8750\n1800.08/900.41\to -8755\n1800.08/900.41\to -8756\n1800.08/900.41\to -8758\n1800.08/900.41\to -8763\n1800.08/900.41\to -8766\n1800.08/900.41\to -8771\n1800.08/900.41\to -8776\n1800.08/900.41\to -8780\n1800.08/900.41\to -8785\n1800.08/900.41\to -8786\n1800.08/900.41\to -8787\n1800.08/900.41\to -8788\n1800.08/900.41\to -8790\n1800.08/900.41\to -8795\n1800.08/900.41\to -8797\n1800.08/900.41\to -8801\n1800.08/900.41\to -8805\n1800.08/900.41\to -8808\n1800.08/900.41\to -8813\n1800.08/900.41\to -8817\n1800.08/900.41\to -8820\n1800.08/900.41\to -8823\n1800.08/900.41\to -8827\n1800.08/900.41\to -8831\n1800.08/900.41\to -8832\n1800.08/900.41\to -8835\n1800.08/900.41\to -8836\n1800.08/900.41\to -8839\n1800.08/900.41\to -8840\n1800.08/900.41\to -8845\n1800.08/900.41\to -8846\n1800.08/900.41\to -8850\n1800.08/900.41\to -8855\n1800.08/900.41\to -8857\n1800.08/900.41\to -8860\n1800.08/900.41\to -8865\n1800.08/900.41\to -8870\n1800.08/900.41\to -8873\n1800.08/900.41\to -8875\n1800.08/900.41\to -8876\n1800.08/900.41\to -8880\n1800.08/900.41\to -8883\n1800.08/900.41\to -8885\n1800.08/900.41\to -8890\n1800.08/900.41\to -8895\n1800.08/900.41\to -8896\n1800.08/900.41\to -8900\n1800.08/900.41\to -8905\n1800.08/900.41\to -8906\n1800.08/900.41\to -8909\n1800.08/900.41\to -8910\n1800.08/900.41\to -8915\n1800.08/900.41\to -8919\n1800.08/900.41\to -8920\n1800.08/900.41\to -8921\n1800.08/900.41\to -8924\n1800.08/900.41\to -8928\n1800.08/900.41\to -8932\n1800.08/900.41\to -8935\n1800.08/900.41\to -8936\n1800.08/900.41\to -8940\n1800.08/900.41\to -8941\n1800.08/900.41\to -8945\n1800.08/900.41\to -8949\n1800.08/900.41\to -8951\n1800.08/900.41\to -8952\n1800.08/900.41\to -8955\n1800.08/900.41\to -8960\n1800.08/900.41\to -8963\n1800.08/900.41\to -8967\n1800.08/900.41\to -8970\n1800.08/900.41\to -8975\n1800.08/900.41\to -8976\n1800.08/900.41\to -8981\n1800.08/900.41\to -8985\n1800.08/900.41\to -8987\n1800.08/900.41\to -8990\n1800.08/900.41\to -8995\n1800.08/900.41\to -8998\n1800.08/900.41\to -9001\n1800.08/900.41\to -9005\n1800.08/900.41\to -9006\n1800.08/900.41\to -9007\n1800.08/900.41\to -9008\n1800.08/900.41\to -9011\n1800.08/900.41\to -9015\n1800.08/900.41\to -9018\n1800.08/900.41\to -9020\n1800.08/900.41\to -9021\n1800.08/900.41\to -9025\n1800.08/900.41\to -9027\n1800.08/900.41\to -9032\n1800.08/900.41\to -9036\n1800.08/900.41\to -9040\n1800.08/900.41\to -9041\n1800.08/900.41\to -9045\n1800.08/900.41\to -9050\n1800.08/900.41\to -9051\n1800.08/900.41\to -9052\n1800.08/900.41\to -9056\n1800.08/900.41\to -9057\n1800.08/900.41\to -9060\n1800.08/900.41\to -9065\n1800.08/900.41\to -9066\n1800.08/900.41\to -9068\n1800.08/900.41\to -9071\n1800.08/900.41\to -9073\n1800.08/900.41\to -9076\n1800.08/900.41\to -9081\n1800.08/900.41\to -9084\n1800.08/900.41\to -9085\n1800.08/900.41\to -9090\n1800.08/900.41\to -9091\n1800.08/900.41\to -9096\n1800.08/900.41\to -9097\n1800.08/900.41\to -9102\n1800.08/900.41\to -9105\n1800.08/900.41\to -9106\n1800.08/900.41\to -9110\n1800.08/900.41\to -9111\n1800.08/900.41\to -9115\n1800.08/900.41\to -9116\n1800.08/900.41\to -9118\n1800.08/900.41\to -9121\n1800.08/900.41\to -9125\n1800.08/900.41\to -9128\n1800.08/900.41\to -9131\n1800.08/900.41\to -9136\n1800.08/900.41\to -9138\n1800.08/900.41\to -9140\n1800.08/900.41\to -9141\n1800.08/900.41\to -9145\n1800.08/900.41\to -9146\n1800.08/900.41\to -9147\n1800.08/900.41\to -9151\n1800.08/900.41\to -9155\n1800.08/900.41\to -9156\n1800.08/900.41\to -9161\n1800.08/900.41\to -9165\n1800.08/900.41\to -9166\n1800.08/900.41\to -9170\n1800.08/900.41\to -9171\n1800.08/900.41\to -9172\n1800.08/900.41\to -9175\n1800.08/900.41\to -9179\n1800.08/900.41\to -9180\n1800.08/900.41\to -9181\n1800.08/900.41\to -9182\n1800.08/900.41\to -9186\n1800.08/900.41\to -9190\n1800.08/900.41\to -9191\n1800.08/900.41\to -9195\n1800.08/900.41\to -9196\n1800.08/900.41\to -9200\n1800.08/900.41\to -9205\n1800.08/900.41\to -9210\n1800.08/900.41\to -9215\n1800.08/900.41\to -9220\n1800.08/900.41\to -9225\n1800.08/900.41\to -9226\n1800.08/900.41\to -9231\n1800.08/900.41\to -9232\n1800.08/900.41\to -9235\n1800.08/900.41\to -9240\n1800.08/900.41\to -9245\n1800.08/900.41\to -9246\n1800.08/900.41\to -9251\n1800.08/900.41\to -9255\n1800.08/900.41\to -9258\n1800.08/900.41\to -9260\n1800.08/900.41\to -9265\n1800.08/900.41\to -9270\n1800.08/900.41\to -9275\n1800.08/900.41\to -9280\n1800.08/900.41\to -9283\n1800.08/900.41\to -9285\n1800.08/900.41\to -9286\n1800.08/900.41\to -9290\n1800.08/900.41\to -9291\n1800.08/900.41\to -9293\n1800.08/900.41\to -9296\n1800.08/900.41\to -9300\n1800.08/900.41\to -9301\n1800.08/900.41\to -9306\n1800.08/900.41\to -9310\n1800.08/900.41\to -9311\n1800.08/900.41\to -9316\n1800.08/900.41\to -9320\n1800.08/900.41\to -9325\n1800.08/900.41\to -9326\n1800.08/900.41\to -9330\n1800.08/900.41\to -9332\n1800.08/900.41\to -9335\n1800.08/900.41\to -9340\n1800.08/900.41\to -9345\n1800.08/900.41\to -9346\n1800.08/900.41\to -9350\n1800.08/900.41\to -9352\n1800.08/900.41\to -9355\n1800.08/900.41\to -9359\n1800.08/900.41\to -9360\n1800.08/900.41\to -9361\n1800.08/900.41\to -9365\n1800.08/900.41\to -9366\n1800.08/900.41\to -9371\n1800.08/900.41\to -9376\n1800.08/900.41\to -9380\n1800.08/900.41\to -9383\n1800.08/900.41\to -9385\n1800.08/900.41\to -9386\n1800.08/900.41\to -9391\n1800.08/900.41\to -9393\n1800.08/900.41\to -9395\n1800.08/900.41\to -9396\n1800.08/900.41\to -9400\n1800.08/900.41\to -9401\n1800.08/900.41\to -9405\n1800.08/900.41\to -9407\n1800.08/900.41\to -9410\n1800.08/900.41\to -9415\n1800.08/900.41\to -9418\n1800.08/900.41\to -9420\n1800.08/900.41\to -9421\n1800.08/900.41\to -9425\n1800.08/900.41\to -9428\n1800.08/900.41\to -9431\n1800.08/900.41\to -9435\n1800.08/900.41\to -9437\n1800.08/900.41\to -9441\n1800.08/900.41\to -9445\n1800.08/900.41\to -9447\n1800.08/900.41\to -9450\n1800.08/900.41\to -9451\n1800.08/900.41\to -9455\n1800.08/900.41\to -9460\n1800.08/900.41\to -9462\n1800.08/900.41\to -9465\n1800.08/900.41\to -9467\n1800.08/900.41\tc Best Solution: -9467\n1800.08/900.41\tv x1 x3190 x4609 x5720 x6862 x8018 x9166 x10315 x11456 x2 x1143 x2043 x2186 x2321 x2452 x2592 x2742 x2901 x3039 x3191 x3362 x3512 x3661 x3813 x3955 x4112 x4271 x4387 x4498 x4610 x4721 x4832 -x4943 x5054 x5165 x5276 x5387 x5498 -x5609 x5721 x5832 x5943 -x6054 -x6055 -x6056 -x6057 -x6058 -x6169 -x6170 -x6171 -x6172 -x6173 -x6284 -x6285 -x6286 -x6287 -x6288 -x6399 -x6400 -x6401 -x6402 -x6403 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7447 -x7448 -x7449 -x7450 -x7561 -x7562 -x7563 -x7564 -x7675 -x7676 -x7677 -x7678 -x7789 -x7790 -x7791 -x7792 -x7903 -x7904 -x7905 -x7906 -x7907 -x8019 -x8020 -x8021 -x8022 -x8023 -x8134 -x8135 -x8136 -x8137 -x8138 -x8249 -x8250 -x8251 -x8252 -x8253 -x8364 -x8365 -x8366 -x8367 -x8368 -x8479 -x8480 -x8481 -x8482 -x8483 -x8594 -x8595 -x8596 -x8597 -x8598 -x8709 -x8710 -x8711 -x8712 -x8713 -x8824 -x8825 -x8826 -x8827 -x8938 -x8939 -x8940 -x8941 -x9052 -x9053 -x9054 -x9055 -x9167 -x9168 -x9169 -x9170 -x9281 -x9282 -x9283 -x9284 -x9285 -x9396 -x9397 -x9398 -x9399 -x9400 -x9511 -x9512 -x9513 -x9514 -x9515 -x9626 -x9627 -x9628 -x9629 -x9630 -x9741 -x9742 -x9743 -x9744 -x9745 -x9856 -x9857 -x9858 -x9859 -x9860 -x9971 -x9972 -x9973 -x9974 -x9975 -x10086 -x10087 -x10088 -x10089 -x10090 -x10201 -x10202 -x10203 -x10204 -x10316 -x10317 -x10318 -x10319 -x10430 -x10431 -x10432 -x10433 -x10544 -x10545 -x10546 -x10547 -x10658 -x10659 -x10660 -x10661 -x10772 -x10773 -x10774 -x10775 -x10886 -x10887 -x10888 -x10889 -x11000 -x11001 -x11002 -x11003 -x11114 -x11115 -x11116 -x11117 -x11228 -x11229 -x11230 -x11231 -x11342 -x11343 -x11344 -x11345 -x11457 -x11458 -x11459 -x11460 -x11571 -x11572 -x11573 -x11574 -x11685 -x11686 -x11687 -x11688 -x11799 -x11800 -x11801 -x11802 -x11913 -x11914 -x11915 -x11916 -x12027 -x12028 -x12029 -x12030 -x12141 -x12142 -x12143 -x12144 -x12255 -x12256 -x12257 -x12258 -x12369 -x12370 -x12371 -x12372 -x12483 -x12484 -x12485 -x12486 -x3 -x4 -x5 -x6 -x117 -x118 -x119 -x120 -x231 -x232 -x233 -x234 -x345 -x346 -x347 -x348 -x459 -x460 -x461 -x462 -x573 -x574 x575 -x576 -x687 -x688 -x689 -x690 -x801 -x802 -x803 -x804 -x915 -x916 -x917 -x918 -x1029 -x1030 x1031 -x1032 -x1144 -x1145 -x1146 -x1147 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1722 -x1723 -x1724 -x1725 -x1726 -x1837 -x1838 x1839 -x1840 -x1841 -x1952 -x1953 -x1954 -x1955 -x1956 -x2011 -x2012 -x2013 -x2014 -x2015 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2095 -x2096 -x2097 -x2108 -x2109 -x2110 x2121 -x2122 -x2123 -x2134 -x2135 -x2136 -x2147 -x2148 -x2149 x2160 -x2161 -x2162 -x2173 -x2174 -x2175 -x2187 -x2188 -x2189 -x2200 -x2201 -x2202 -x2213 -x2214 x2215 x2226 -x2227 -x2228 -x2239 -x2240 -x2241 -x2252 -x2253 x2254 -x2255 -x2266 -x2267 -x2268 -x2269 x2280 x2281 -x2282 -x2283 -x2294 -x2295 -x2296 -x2297 -x2308 -x2309 -x2310 -x2322 -x2323 -x2324 -x2335 -x2336 -x2337 -x2348 -x2349 -x2350 -x2361 -x2362 -x2363 -x2374 -x2375 -x2376 -x2387 -x2388 -x2389 -x2400 -x2401 -x2402 -x2413 -x2414 -x2415 -x2426 -x2427 -x2428 -x2439 -x2440 -x2441 -x2453 -x2454 -x2455 -x2466 -x2467 -x2468 -x2479 -x2480 -x2481 -x2492 -x2493 -x2494 -x2505 -x2506 -x2507 -x2518 -x2519 -x2520 -x2521 -x2522 x2533 -x2534 -x2535 x2536 -x2537 -x2548 -x2549 -x2550 -x2551 -x2552 -x2563 -x2564 -x2565 -x2566 -x2567 -x2578 -x2579 -x2580 -x2581 -x2593 -x2594 -x2595 -x2596 -x2607 -x2608 -x2609 -x2610 -x2621 -x2622 -x2623 -x2624 -x2635 -x2636 -x2637 -x2638 x2649 -x2650 -x2651 -x2652 -x2663 -x2664 -x2665 x2666 -x2677 -x2678 -x2679 -x2680 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2824 -x2825 -x2826 x2827 x2828 -x2829 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2856 -x2857 x2858 -x2859 x2860 -x2861 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2888 -x2889 -x2890 -x2902 -x2903 -x2904 -x2915 -x2916 -x2917 -x2928 -x2929 -x2930 -x2941 -x2942 -x2943 -x2944 -x2955 -x2956 -x2957 -x2958 -x2969 -x2970 -x2971 -x2972 -x2983 -x2984 -x2985 -x2986 -x2997 x2998 -x2999 -x3000 -x3011 -x3012 -x3013 -x3014 -x3025 -x3026 -x3027 -x3028 -x3040 -x3041 -x3042 -x3043 -x3054 -x3055 -x3056 -x3057 -x3068 -x3069 x3070 -x3071 -x3082 -x3083 -x3084 -x3085 -x3096 -x3097 -x3098 -x3099 x3110 x3111 x3112 x3113 -x3114 -x3125 x3126 x3127 x3128 x3129 -x3130 -x3141 -x3142 x3143 -x3144 x3145 -x3156 x3157 x3158 -x3159 -x3160 -x3161 x3162 -x3173 x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3192 x3193 x3194 x3195 x3196 x3197 -x3198 -x3209 x3210 x3211 -x3212 -x3213 -x3214 x3215 -x3226 x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3243 x3244 x3245 x3246 x3247 x3248 -x3249 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 x3266 x3277 x3278 -x3279 x3280 -x3281 -x3282 x3283 -x3294 x3295 x3296 -x3297 -x3298 -x3299 x3300 -x3311 -x3312 -x3313 -x3314 x3315 -x3316 x3317 x3328 x3329 -x3330 x3331 -x3332 -x3333 x3334 -x3345 x3346 x3347 -x3348 -x3349 -x3350 x3351 x3391 x3392 x3393 x3394 -x3395 -x3406 -x3407 x3408 x3409 -x3410 -x3421 x3422 -x3423 x3424 -x3435 x3436 -x3437 x3438 x3439 -x3440 x3451 -x3452 x3453 -x3454 x3455 x3466 -x3467 -x3468 -x3469 x3470 -x3481 -x3482 x3483 -x3484 x3485 -x3496 x3497 -x3498 -x3499 -x3500 x3501 -x3513 -x3514 x3515 x3516 x3517 -x3528 x3529 x3530 -x3531 x3532 -x3543 -x3544 -x3545 -x3546 x3547 x3558 x3559 x3560 -x3561 -x3562 -x3573 -x3574 -x3575 -x3576 x3587 x3588 -x3589 -x3590 x3591 -x3602 -x3603 x3604 x3605 -x3606 -x3617 x3618 x3619 -x3620 -x3631 -x3632 -x3633 x3634 -x3635 x3636 x3647 x3648 -x3649 -x3650 -x3662 -x3663 -x3664 x3665 -x3666 x3677 -x3678 -x3679 x3680 -x3691 x3692 -x3693 -x3694 -x3705 x3706 x3707 x3708 x3709 -x3710 x3721 x3722 x3723 -x3724 x3725 x3736 x3737 x3738 -x3739 x3740 -x3751 x3752 -x3753 x3754 x3755 -x3766 x3767 -x3768 x3769 x3770 -x3771 x3782 -x3783 x3784 x3785 x3786 -x3787 -x3798 x3799 -x3800 x3801 x3802 -x3814 x3815 -x3816 x3817 x3818 x3829 -x3830 x3831 x3832 x3833 -x3834 -x3923 -x3924 -x3925 x3926 -x3927 x3928 -x3939 -x3940 -x3941 x3942 -x3943 x3944 -x3956 x3957 -x3958 -x3959 x3960 x3961 -x3972 -x3973 -x3974 x3975 -x3976 x3977 -x3988 -x3989 -x3990 x3991 x3992 x4003 -x4004 x4005 -x4006 x4007 x4008 -x4019 -x4020 x4021 -x4022 x4023 x4024 x4035 -x4036 x4037 -x4038 x4039 x4040 -x4051 -x4052 -x4053 x4054 x4055 x4056 -x4067 x4068 x4069 -x4070 x4071 -x4082 x4083 x4084 -x4085 x4086 -x4097 x4098 x4099 -x4100 x4101 -x4113 x4114 x4115 -x4116 x4117 x4128 -x4129 -x4130 -x4131 x4132 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 x4159 -x4160 -x4161 x4162 x4163 x4174 x4175 -x4176 x4177 x4178 x4179 -x4180 -x4191 -x4192 -x4193 x4194 x4195 x4196 -x4207 -x4208 x4209 x4210 x4211 x4212 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4239 -x4240 -x4241 x4242 -x4243 x4244 -x4255 -x4256 -x4257 x4258 -x4259 x4260 -x4272 -x4273 -x4274 x4275 -x4276 x4277 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 x1978 -x1979 x1980 -x1981 -x1982 x1983 x1984 -x1985 -x1986 -x1987 x1988 x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x3698 -x3701 -x3702 -x3703 -x3704 -x6378 -x6383 -x6389 -x6393 -x6397 x6424 -x6428 -x6431 -x6504 -x6508 -x6512 -x6603 -x6716 -x12032 -x12039 -x12047 -x12216 -x12223 -x12229 -x12235 -x1331 -x1339 -x1348 -x1686 -x1695 -x1704 -x6407 -x6434 -x6523 -x6607 x6720 -x11987 -x12055 -x12240 -x1357 -x1712 -x6411 -x6438 -x6527 -x6612 -x6725 -x11995 -x12062 -x12246 -x675 -x1366 -x1719 -x6292 -x6441 -x6533 -x6616 -x6729 -x12002 -x12070 -x12251 -x683 -x1381 -x1732 -x6444 x6538 -x6621 -x6733 -x12010 -x12260 -x695 -x1389 -x1741 -x6293 -x6544 -x6625 -x6738 -x12018 -x12078 -x12085 -x12264 -x703 -x1398 -x1750 -x12025 -x6548 -x6637 -x6743 -x12093 -x12267 -x710 -x1407 -x1758 -x6838 -x12037 -x12045 x6642 -x6755 -x12101 -x12271 -x717 -x1416 -x1766 -x3711 -x3712 -x3713 -x3714 -x6648 -x6760 -x12109 -x12274 -x725 -x1425 -x1774 -x6652 -x6766 -x6843 -x12052 -x12116 -x12277 -x732 -x1433 -x1781 -x6847 -x6875 -x12060 -x12124 -x12280 -x739 x1441 -x1788 -x6787 -x6878 -x12068 -x12132 -x12284 -x743 -x1449 -x1792 -x6882 -x12076 -x12139 -x12288 -x748 -x1456 -x1797 -x6788 -x12083 -x12151 -x12293 -x752 -x1463 -x1801 -x12091 -x12159 -x12297 -x756 -x1467 x1806 -x12099 -x12166 -x12301 -x761 -x1472 -x1810 -x12106 -x12174 -x12306 -x874 -x1476 -x1966 -x12114 -x12183 -x12310 -x1481 -x3715 x3716 -x3717 x3718 -x12122 -x12192 -x12315 -x1485 -x12129 -x12199 -x12319 -x1675 -x12137 -x12206 -x12323 -x12149 -x12213 -x12328 -x12157 -x12219 -x12332 -x12164 -x12226 -x12337 -x12172 -x12232 -x12341 -x12181 -x12238 -x12345 -x12190 -x12243 -x12350 -x12198 -x12249 -x12354 -x3719 -x3720 x3726 -x3727 -x11028 -x12253 -x12359 -x11030 -x12262 -x3022 -x3081 -x3092 -x3103 -x3441 -x3446 -x3456 -x2993 -x3004 -x3015 -x3425 -x3430 -x3115 -x7709 -x7715 -x7720 -x7726 -x8312 -x8317 -x8324 -x8345 -x8351 x9911 -x9917 -x9922 -x9928 -x10409 -x10418 -x10428 -x10442 -x10474 -x10485 -x10496 -x10584 -x10594 -x10604 -x7731 -x8329 -x8358 -x9933 -x10452 -x10507 -x10613 -x7737 -x8025 -x8336 -x8370 -x9939 -x10462 x10517 -x10623 -x7742 -x8031 -x8377 -x9944 -x10472 -x10527 -x10633 -x7748 -x8037 -x8341 -x8385 -x9950 -x10483 -x10537 -x10643 -x3728 -x3729 -x3730 -x3731 -x3732 -x7753 -x8040 -x8348 -x8393 -x9955 -x10494 -x10551 -x10653 -x7759 -x8043 -x8355 -x8400 -x9961 -x10505 -x10561 -x10667 -x7764 -x8045 -x8361 -x8408 -x9966 -x10515 -x10571 -x10677 -x7770 -x8374 -x8416 -x9977 -x10525 -x10580 -x10687 -x7775 -x8049 -x8382 -x8423 -x9982 -x10535 -x10590 -x10697 -x7780 -x8053 -x8389 -x8430 -x9986 -x10549 -x10600 -x10707 -x7784 -x8056 -x8397 -x8437 -x9991 -x10558 -x10610 -x10718 -x1329 -x1685 -x7788 -x8405 -x8444 -x9995 -x10568 -x10620 -x10729 -x1338 -x1694 -x7797 -x8412 -x8451 -x10000 -x10578 -x10630 -x10740 -x1347 -x1703 -x7801 -x8420 -x10004 -x10588 -x10640 -x10751 -x1356 -x1710 -x3733 -x3734 -x3735 -x3741 -x3742 -x7806 -x8427 -x8458 -x10008 -x10598 -x10650 -x10762 -x674 -x1365 -x1718 -x7810 -x8434 -x8464 -x10013 -x10608 -x10664 -x10777 -x682 -x1373 -x1731 -x7847 -x7851 -x7853 -x10050 -x10054 -x10056 -x10712 -x10723 -x10734 -x10745 -x10784 -x10795 -x10900 -x10910 -x10920 -x686 -x698 -x754 -x759 -x876 -x1324 -x1333 -x1342 -x1350 -x1384 -x1393 -x1465 -x1470 -x1474 -x1680 -x1688 -x1697 -x1735 -x1744 x1803 -x1808 -x1969 -x10859 -x10870 -x10881 -x10927 -x10937 -x10947 -x11010 -x11016 -x11020 -x6373 -x6379 -x6384 -x6395 -x6405 -x6409 -x11990 -x12000 -x12008 -x12015 -x6413 -x11998 -x12023 -x11988 -x12006 -x12013 -x12035 -x12043 -x7653 -x12173 -x12182 -x12191 -x12214 -x12220 -x12227 -x12236 -x12241 -x12247 -x7712 -x7767 -x3743 -x3744 -x3745 -x3746 -x7620 -x7679 -x7690 -x7734 -x7745 -x7793 -x7804 -x7848 -x7881 -x7941 -x7996 -x7859 -x8046 -x7908 -x7974 -x8024 -x8068 x8139 -x8183 -x8227 -x7963 -x8112 -x8265 -x6575 -x6586 -x6608 -x6647 -x6669 -x6724 -x6774 -x6447 -x6451 -x6454 -x6456 -x6457 -x6460 -x6461 -x6463 -x100 -x102 -x104 -x107 -x109 -x111 -x122 -x129 -x6702 -x6464 -x6466 -x113 -x115 -x138 -x6469 -x124 -x126 -x147 -x6495 -x133 -x135 -x156 -x141 -x144 -x164 -x150 -x152 -x173 -x3695 -x3747 -x3748 -x159 -x161 -x182 -x4420 -x4423 -x168 -x170 -x190 -x4425 -x4427 -x177 -x179 -x197 -x4429 -x4431 -x6885 -x6887 -x184 -x186 -x205 -x4434 x4436 -x6889 -x192 -x194 -x213 -x4438 -x4440 -x6890 -x200 -x202 -x221 -x4444 -x207 -x210 -x228 -x4446 -x215 -x217 -x240 -x4733 -x224 -x225 -x248 -x236 -x237 -x254 -x3749 -x3750 -x3756 -x9938 -x243 -x244 -x261 -x9976 -x251 -x252 -x267 -x258 -x259 -x274 -x9723 -x9725 -x264 -x265 -x281 -x5389 -x9727 -x9729 -x271 -x272 -x287 -x5394 -x9732 -x9734 -x277 -x278 -x294 -x5384 -x5385 -x5400 -x9736 -x9738 -x284 -x285 -x300 -x5391 -x5392 -x5405 -x9740 -x9748 -x291 -x292 -x307 -x5396 -x5397 -x5411 -x9750 -x9752 -x298 -x314 -x5402 -x5403 -x5416 -x9755 -x297 -x305 -x320 -x3757 -x3758 -x5407 -x5408 -x5422 -x9754 -x304 -x310 -x311 -x327 -x5413 -x5414 -x5427 -x6004 -x9759 -x317 -x318 -x333 -x5418 -x5419 -x5431 -x6009 -x9866 -x324 -x325 -x339 -x5424 -x5425 -x5436 -x6001 -x6002 -x6015 -x331 -x344 -x8353 -x5429 -x5564 -x6006 -x6007 -x6020 -x330 -x337 -x667 -x5434 -x6012 -x6013 -x6025 -x342 -x6017 -x6018 -x6029 -x6023 -x6157 -x4403 -x9606 -x9608 -x9609 -x9610 -x354 -x362 -x373 -x384 -x395 -x422 -x434 -x446 -x458 -x479 -x491 -x503 -x515 -x4406 -x9616 -x475 -x527 -x3759 -x3760 -x3761 -x3762 -x539 -x4409 x4413 -x4416 -x9621 -x9625 -x9762 -x9765 -x9769 -x9795 -x407 -x419 -x431 -x487 -x499 -x511 -x552 -x563 -x578 -x4419 -x9773 -x9800 -x443 -x523 -x587 -x4459 -x9777 -x9805 -x455 -x535 -x596 -x9781 -x9809 -x471 -x547 -x604 -x9785 -x9814 -x483 -x558 -x611 -x9673 -x9818 -x495 -x569 -x617 -x9792 -x9821 -x508 -x583 -x624 -x9797 -x520 -x593 -x630 -x9803 -x9826 -x532 -x601 -x636 -x3763 x3764 x3765 -x9807 -x9830 -x544 -x607 -x640 -x9811 -x9833 -x555 -x614 -x646 -x9816 -x9838 -x566 -x620 -x650 -x9820 -x9842 -x581 -x627 -x655 -x9847 -x591 -x633 -x659 -x9824 -x9851 -x96 -x638 -x663 -x9716 -x9828 -x98 -x644 -x2892 -x2897 -x2907 -x2913 -x2922 -x2933 x2936 -x2939 -x2947 -x3138 -x3150 -x3165 -x3180 -x3183 -x3200 -x3208 -x3222 -x3537 -x3542 -x3553 -x3236 -x2927 -x2951 -x2959 -x2963 -x3136 -x3148 -x3163 -x3188 -x3205 -x3219 -x3242 -x3253 -x3257 -x3535 -x3539 -x3564 -x3570 -x3580 x3772 -x3773 -x3774 -x3171 -x3233 -x3268 -x3550 -x3586 -x3186 -x3239 -x3271 -x3556 -x3596 -x3203 -x3251 -x3274 -x3567 -x3600 -x3255 -x3415 -x3577 x3608 -x7856 -x7858 -x7861 -x7863 -x7865 -x8541 -x8546 -x8563 -x8568 -x8574 -x10059 -x10061 -x10063 -x10066 -x10068 -x11036 -x11052 -x11064 -x11076 -x11088 -x7867 -x7869 -x8553 -x8559 -x8580 -x8585 -x10070 -x10072 -x11047 -x11060 -x11100 -x11112 -x7872 -x7874 -x7876 -x8565 -x8571 -x8577 -x8590 -x8603 -x10074 -x10077 -x10079 -x11033 -x11044 -x11072 -x11084 -x11096 -x11128 -x11141 -x11153 -x7878 -x8582 -x8611 -x10081 -x11108 -x11165 -x7880 -x8617 -x10083 -x11056 -x11124 -x11177 -x7883 -x8624 -x10085 -x11068 -x11080 -x11136 -x11189 -x3775 -x3776 -x3777 -x7885 -x8600 -x8631 -x10093 -x11093 -x11148 -x11201 -x7887 -x7889 -x8607 -x8614 -x8646 -x10095 -x10097 -x11105 -x11121 -x11160 -x11172 -x11213 -x11225 -x7891 -x8620 -x8653 -x11185 -x11241 -x7894 -x8628 -x8661 -x10099 -x11133 -x11197 -x11252 -x7896 -x8636 -x8669 -x10101 -x10104 -x11145 -x11157 -x11263 -x7898 -x8642 -x8675 -x10106 -x11169 -x11209 -x11274 x7900 -x8650 -x8682 -x10108 -x11181 -x11221 -x11285 -x7902 -x8658 -x8690 -x10110 -x11193 -x11237 -x11296 -x8666 -x8695 -x11205 -x11248 -x11259 -x11306 -x8672 -x11218 -x11270 -x11315 -x8680 -x8702 -x11234 -x11281 -x11324 -x8686 -x8715 -x11245 -x11292 -x11333 -x8693 -x8722 -x11256 -x11302 -x11341 -x8729 -x11267 -x11312 -x11354 -x8700 -x8735 -x11278 -x11321 -x11363 -x8706 -x8743 -x11289 -x11329 -x11372 -x1497 -x8719 -x8726 -x8732 -x8751 -x8759 -x8766 -x11300 -x11310 -x11318 -x11338 -x11351 -x11360 -x11382 -x11391 -x11399 -x8740 -x8774 -x11327 -x11369 -x11408 -x8748 -x8781 -x11336 -x11378 -x11417 -x8755 -x8786 -x11349 -x11387 -x11426 -x3689 -x3699 -x8763 -x8790 -x11358 -x11396 -x11435 -x8771 -x8794 -x11366 -x11405 -x11442 -x8777 -x11376 -x11414 -x11450 -x8784 -x8798 -x11422 -x11463 -x2344 -x2353 -x2360 -x2370 -x2372 -x2381 -x2383 -x2386 -x2394 -x2397 -x2408 -x2419 -x2392 -x2405 -x2430 -x2403 -x2416 -x2438 -x2766 -x2411 -x2424 -x2449 -x2768 -x2782 -x2422 -x2435 -x2461 -x2770 -x2786 -x2433 -x2446 -x2472 -x2790 -x2801 -x3697 -x2444 -x2458 -x2483 -x2805 -x2456 -x2469 x2491 -x2815 -x2464 -x2477 -x2501 -x2475 -x2488 -x2511 -x2486 -x2498 -x2523 -x2496 -x2508 -x2530 -x2503 -x2515 -x2541 -x2513 -x2527 -x2547 -x2525 -x2538 -x2557 -x2544 -x2561 -x5024 -x9185 -x9191 -x9199 -x9207 -x9210 -x9214 -x9219 -x9228 -x5133 -x9223 -x9234 -x5116 -x5119 -x5129 -x5144 -x5156 -x9231 -x9239 -x9243 -x9252 -x5126 -x5140 -x5169 -x9247 -x9261 -x5137 -x5151 -x5181 -x9256 -x9269 -x5148 -x5163 -x5193 -x9265 -x9278 -x5160 -x5176 -x5205 -x9274 -x9292 -x5173 -x5189 -x5217 -x9288 -x9301 -x5185 -x5201 -x5229 -x9296 -x9309 -x5197 -x5213 -x5241 -x9305 -x9317 -x5209 -x5225 -x5253 -x9313 -x9325 -x5222 -x5237 -x5266 -x5797 -x9321 x9333 -x5234 -x5249 -x5278 -x5830 -x9328 -x9340 -x5246 -x5261 -x5289 -x5818 -x5841 -x9336 -x9348 -x5258 -x5272 -x5300 -x5815 -x5827 -x5852 -x9344 -x9356 -x5269 -x5284 -x5311 -x5824 -x5838 -x5863 -x9351 -x9364 -x5281 -x5295 -x5322 -x5835 -x5848 -x5873 -x9359 -x5292 -x5306 -x5331 -x5845 -x5859 -x5883 -x9367 -x9370 -x5303 -x5317 -x5341 -x5856 -x5869 -x5892 -x9373 -x9378 -x5314 -x5327 -x5350 -x5879 -x5898 -x9381 -x9386 -x5337 -x5357 -x5887 -x9389 -x9392 -x9405 -x9425 -x9430 -x9442 -x9446 -x9450 -x9453 -x1265 -x9457 -x9465 -x1316 -x8163 -x9462 -x9469 -x9474 -x9476 -x9480 -x9483 -x9490 -x1272 -x1273 -x8165 -x9486 -x9494 -x8160 -x8164 -x8166 -x8167 -x8168 -x8169 -x8170 -x8206 -x8209 -x8223 -x9492 -x9496 -x9501 -x9503 -x9505 -x9507 -x9517 -x8212 -x8217 -x8229 -x9509 -x9520 -x8215 -x8221 -x8234 -x9519 x9524 -x11749 -x8220 -x8226 -x8239 -x9522 -x9529 -x12381 -x8225 -x8232 -x8244 -x9526 -x9533 -x12374 -x12388 -x8231 -x8237 -x8255 -x9531 -x9537 -x12367 -x12379 -x12397 -x7945 -x8236 -x8242 -x8260 -x9535 -x9542 -x10148 -x12377 -x12405 -x7946 -x8241 x8247 -x8264 -x9540 -x9546 -x10149 -x12383 -x12386 -x12414 -x12393 -x7947 -x8246 -x8269 -x9544 -x10150 -x12391 -x12423 -x8258 -x9551 -x7948 -x7949 -x12402 -x8257 -x8273 -x9548 -x12433 -x10151 -x7950 -x8262 -x9556 -x12411 -x8275 -x9554 -x10152 -x12400 -x12409 -x12443 -x7951 -x8267 -x9562 -x12420 -x9559 -x10153 -x12418 -x12453 -x7953 -x8271 -x9566 -x12430 -x9564 -x10154 -x12427 -x12462 -x9572 -x7954 -x12440 -x3778 -x9569 -x9577 -x10155 -x12437 -x12449 -x12470 -x7955 -x9575 -x9581 -x10156 -x12447 -x12458 -x12479 -x9154 -x9586 -x10158 -x12457 -x12467 -x12491 -x7956 -x9584 -x9590 -x10159 -x12466 -x12499 -x7959 -x9589 -x10162 -x12475 -x12476 -x12489 -x12506 -x7962 -x9594 -x10165 -x12488 -x12496 -x12514 -x7966 -x9598 -x10169 -x12495 -x12504 -x12522 -x3779 -x3780 -x3781 -x3788 -x7969 -x9165 -x10172 -x12503 -x12512 -x12529 -x7972 -x10175 -x12511 -x12519 -x12537 -x7976 -x10178 -x12518 -x12527 -x12545 -x7979 -x10182 -x12526 -x12535 -x12552 -x7982 -x10185 -x12534 -x12543 -x12560 -x7986 -x10188 -x12541 -x12550 -x12568 -x7989 -x10192 -x12549 -x12558 -x12576 x8013 -x10220 -x12557 -x12566 -x12583 -x12565 -x12573 -x12591 -x12572 -x12581 -x9 -x3789 -x3790 -x3791 -x3792 -x12580 -x12589 -x16 -x12588 -x12596 -x24 -x12595 -x14 -x32 -x13 -x22 -x39 -x21 -x30 -x47 -x28 -x37 -x55 -x36 -x45 -x63 -x44 -x53 -x70 -x52 -x60 -x77 -x59 -x68 -x83 -x3793 -x3794 -x3795 -x3796 -x67 -x75 -x90 -x81 -x94 -x11217 -x11254 -x11287 -x11320 x11357 -x11390 -x11423 -x11461 -x11494 -x3797 -x3803 -x3804 -x3805 x3845 -x3846 x3847 x3858 -x3859 x3860 x3871 -x3872 x3873 x3884 -x3885 x3886 x3897 -x3898 x3899 x3910 -x3911 x3912 -x3806 -x3807 x3808 x3809 -x3810 -x3811 -x3812 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x5332 -x5388 -x5443 -x5499 -x5554 -x5610 -x5665 -x5722 x5777 -x5833 -x5888 -x5944 -x5988 -x6032 -x6059 -x6619 -x6680 -x6735 -x6785 -x6829 -x6880 -x6924 -x6986 -x7041 -x7103 x7147 -x7191 -x7242 -x7286 -x7337 -x7381 -x7425 -x7598 -x7664 -x7723 -x7778 -x7837 -x7892 -x7952 -x8007 -x8057 x8101 -x8150 -x8194 -x8238 -x8276 -x8309 -x8331 -x8676 -x8714 -x8747 -x8780 -x8813 -x8850 -x8883 -x8916 -x8953 -x8986 -x9019 -x9056 -x9089 -x9122 x9155 -x9193 -x9226 -x9259 -x9297 -x9330 -x9363 -x9385 -x3848 -x3849 -x393 -x426 -x463 -x496 -x529 -x551 x588 -x621 -x654 -x691 -x724 -x735 -x2351 -x2358 -x2368 -x2379 -x2390 -x2398 -x2409 -x2420 -x2431 -x2442 -x2450 -x2462 -x2473 -x2484 x2495 -x2502 -x2512 -x2524 -x2531 -x2542 -x2553 -x2558 -x2562 -x2569 -x2784 -x2788 -x2798 -x2802 -x2806 -x2816 -x2820 -x2830 x2833 -x2836 -x2839 -x2848 -x2851 -x2854 -x2855 -x2895 -x2905 -x2911 -x2920 -x2926 -x2934 x2937 -x2940 -x2948 -x2952 -x2960 -x2964 -x3001 -x3008 -x3019 -x3030 -x3036 -x3047 -x3053 -x3064 x3075 -x3086 -x3093 -x3104 -x3116 -x3123 -x3133 -x3426 -x3431 -x3442 -x3447 -x3457 -x3462 -x3471 -x3476 x3486 -x3491 -x3502 -x3507 -x3518 -x3523 -x3526 -x3696 -x3700 -x3870 -x3877 -x3881 -x3888 x3892 -x3896 -x3903 -x3908 -x3914 -x3994 -x3998 -x4002 -x4012 x4016 -x4026 -x4030 -x4034 -x4043 -x3850 -x3851 x3852 x3853 -x4087 -x4091 -x4095 -x4104 x4108 -x4118 -x4122 -x4126 -x4134 -x4173 -x4184 -x4188 -x4198 x4202 -x4206 -x4216 -x4220 -x4229 -x4349 -x4352 -x4356 -x4359 -x4362 -x4366 -x4370 -x4374 -x4379 -x4382 -x4385 -x4390 -x4393 x4396 -x4398 -x3363 -x3364 x3365 x3366 -x4424 -x4428 -x4433 x4437 -x4441 -x4445 -x4447 -x3377 -x3378 x3379 x3380 -x4462 -x4466 -x4469 x4472 -x4475 -x4479 -x4481 -x5123 -x5134 -x5145 -x5157 -x5170 -x5182 -x5194 -x5206 -x5218 -x5230 x5242 -x5255 -x5267 -x5279 -x5290 -x5301 -x5312 -x5323 -x5333 -x5342 -x5351 -x5822 -x5831 -x5842 -x5853 -x5864 -x5874 -x5884 -x5893 -x5900 -x5905 -x5911 x5916 -x5920 -x5924 -x5927 -x5929 -x6038 -x6047 -x6061 -x6069 -x6077 -x6085 x6091 -x6097 -x6102 -x6108 -x6113 -x6119 -x6124 -x6376 -x6382 -x6387 -x6392 -x6396 -x6406 -x6410 -x6414 -x6417 -x6419 -x6422 x6425 -x6429 -x6432 -x6435 -x6439 -x6442 -x6445 -x6446 -x6580 -x6582 -x6584 -x6587 -x6589 -x6591 -x6593 x6595 -x6598 -x6599 -x3854 x3855 -x3856 -x6684 -x6686 -x6688 -x6690 -x6693 -x6695 -x6697 x6699 -x6701 -x6703 -x6842 x6846 -x6850 -x6853 -x6855 -x6857 -x6859 -x6861 -x6871 -x6873 -x6876 -x6879 -x6883 -x6884 -x6905 -x6907 x6909 -x6910 -x6922 -x6925 x6927 -x6928 -x6940 -x6942 x6944 -x6945 -x6955 -x6958 x6960 -x6962 -x7254 -x7259 -x7265 -x7270 -x7274 -x7280 -x7285 -x7292 -x7300 -x7306 -x7313 -x7320 -x7327 -x7342 -x7350 -x7357 -x7365 -x7373 -x7380 -x7388 -x7396 -x7404 -x7411 -x7419 -x7427 -x7434 -x7442 -x7454 -x7461 -x7469 -x7476 -x7481 -x7486 x7490 -x7494 -x7499 -x7503 -x7594 -x7600 -x7605 -x7611 -x7615 -x7619 -x7623 -x7626 -x7630 -x7635 -x7639 -x7666 -x7670 -x7674 -x7683 -x7687 -x7692 -x7696 -x7700 -x7705 -x7710 -x7716 -x7721 -x7727 -x7732 x7738 -x7743 -x7749 -x7754 -x7760 -x7765 -x7771 -x8076 -x8082 -x8087 -x8093 -x8098 -x8104 -x8109 -x8115 x8120 -x8126 -x8131 -x8142 -x8146 -x8151 -x8155 -x8157 -x8158 x3857 -x3861 -x3862 -x9176 -x9183 -x9188 -x9196 -x9203 -x9211 -x9220 -x9229 -x9235 -x9244 -x9253 -x9262 -x9271 -x9279 -x9293 -x9302 -x9310 -x9318 -x9326 x9334 -x9342 -x9349 -x9357 -x9365 -x9371 -x9379 -x9387 -x9393 -x9406 -x9414 -x9421 -x9428 -x9435 -x9439 -x9447 -x9454 -x9460 -x9466 -x9472 -x9477 -x9484 -x9871 -x9876 -x9880 -x9885 -x9889 -x9893 -x9898 -x9902 x9907 -x9912 -x9918 -x9923 -x9929 -x9934 -x9940 -x9945 -x9951 -x9956 -x9962 -x9967 -x9978 x11993 -x12001 -x12009 -x12017 -x12024 -x12036 -x12044 -x12051 -x12059 -x12067 -x12074 -x12082 -x12090 -x12098 -x12105 -x12113 -x12121 -x12128 -x12136 -x12148 -x12155 -x12163 -x12171 -x12180 -x12188 -x12197 -x12205 -x12212 -x12218 -x12225 -x12231 -x12237 -x12242 -x12248 -x12252 -x12261 -x12265 -x12268 -x12272 -x12275 -x12278 -x12282 -x12285 -x12289 -x12294 -x12298 -x12302 -x12307 -x12311 -x12316 -x12320 -x12324 -x12329 -x12333 -x12338 -x12342 -x12346 -x12351 -x12355 -x12360 -x12362 -x844 -x846 -x848 -x851 -x853 -x855 -x857 -x859 -x862 -x864 -x866 -x868 -x870 -x873 -x875 -x1165 -x1172 -x1178 -x1184 -x1188 -x1193 -x1197 -x1201 -x1206 -x1209 -x1213 -x1218 -x1222 -x1227 -x1231 -x1234 x1238 -x1241 -x1244 -x1248 -x1251 -x1254 -x1257 -x1268 -x1271 -x1630 -x1632 -x1635 -x1637 -x1639 -x1641 -x1643 -x1646 -x1648 -x1650 -x1652 -x1654 x1657 -x1659 -x1661 -x1663 -x1665 -x1668 -x1670 -x1672 -x1674 -x1676 -x1923 -x1925 -x1927 -x1929 -x1932 -x1934 -x1936 -x1938 -x1940 -x1943 -x1945 -x1947 -x1949 -x1951 -x1959 -x1961 x1963 -x1965 -x1967 -x4443 -x4476 -x4510 -x4543 x4576 -x4611 -x4644 -x4677 -x4688 -x4955 -x5188 -x6070 -x6218 -x6251 -x6289 -x6322 -x6355 x6388 -x6426 -x6459 -x6492 -x6531 -x7576 -x8205 -x8320 -x8380 -x8413 -x8446 -x8484 x8517 -x8550 -x8583 -x8621 -x8632 -x3863 -x3864 -x3865 -x9516 -x9549 -x9582 -x9615 -x9653 -x9686 -x9719 -x9757 -x9823 -x9861 -x9894 -x9905 x10434 -x10798 -x11059 -x11092 -x11129 x11162 -x11173 -x11994 -x62 -x106 -x143 x187 -x235 -x279 -x334 -x1380 -x1457 -x1540 -x1623 -x1700 -x1782 -x1864 x1941 -x2006 -x2016 -x2020 -x2024 -x2035 -x2039 -x2570 -x2606 -x2615 -x2619 -x2627 x2631 -x2639 -x2643 -x2647 -x2655 -x2966 -x2968 -x2975 x2978 -x2981 -x2988 -x2991 -x3369 -x3373 -x3381 -x3385 x3389 -x3398 -x3402 -x3411 -x3417 -x3651 -x3654 -x3657 -x3660 x3669 -x3672 -x3675 -x3683 -x3688 -x3866 -x3931 -x3934 x3937 -x3946 -x3949 -x3969 -x3978 x3981 -x3984 -x4044 -x4063 -x4066 x4074 -x4077 -x4135 -x4154 -x4157 x4165 -x4168 -x4230 -x4278 -x4308 -x4314 -x4319 -x4325 -x4329 -x4334 -x4338 x4344 -x4375 -x4397 -x4400 -x4401 -x4404 -x4407 x4411 -x4414 -x4417 -x4418 -x4482 -x4485 -x4489 x4492 -x4495 -x4500 -x4501 -x4514 -x4519 -x4621 -x4626 -x4630 -x4635 -x4639 x4643 -x4648 -x4652 -x4657 -x4661 -x4662 -x4981 -x5012 -x5535 -x5558 -x5566 -x5568 -x5592 -x5596 -x5601 -x5605 -x5611 -x5615 -x5619 x5624 -x5625 -x5760 -x5791 -x5954 -x5973 -x5978 -x5979 -x5981 -x5984 -x5987 x5991 -x5994 -x5997 -x5998 -x6134 -x6153 -x6159 -x6168 -x6278 -x6283 -x6319 -x6325 -x6330 -x6336 -x6341 -x6346 x6350 -x6353 -x6357 -x6360 -x6363 -x6368 -x6369 -x6493 -x6539 -x6545 -x6559 -x6562 -x6566 -x6569 x6572 -x6576 -x6577 -x6643 -x6649 -x6663 -x6666 -x6670 -x6673 -x6676 x6679 -x6681 -x6710 -x6778 -x6783 x6810 -x6814 -x6819 -x6822 -x6825 -x6828 -x6832 -x6835 -x6836 -x6894 x6898 -x6901 -x6911 x6916 -x6919 -x6929 x6933 -x6937 -x6947 x6951 -x6952 -x6961 -x7016 -x7020 -x7023 -x7026 -x7029 -x7033 -x7036 -x7039 -x7043 -x7046 -x7049 -x7053 -x7056 -x7059 -x7062 -x7066 -x7069 -x7073 -x7078 -x7082 -x7087 x7091 -x7095 -x7107 -x7108 -x7478 -x7502 -x7513 -x7527 -x7555 -x7641 -x7645 -x7648 -x7651 -x7655 -x7658 -x7659 -x7661 -x7957 -x7960 -x7964 -x7967 -x7970 -x7973 -x7977 -x7983 -x7987 -x7988 -x8171 -x8175 -x8178 -x8181 -x8185 -x8188 x8191 -x8195 -x8198 -x8201 -x8202 -x8807 -x9150 -x9164 -x9611 -x9617 -x9622 -x9632 -x9637 -x9643 -x9648 -x9654 x9659 -x9663 -x9669 -x9674 -x9680 -x9685 -x9696 -x9702 -x9707 -x9712 -x9717 -x9718 -x9867 -x10160 -x10163 -x10166 -x10170 x10173 -x10176 -x10180 -x10186 -x10189 -x10191 x11735 -x11743 -x11752 -x11761 -x11770 -x11779 -x11787 -x11796 -x11809 -x11818 -x11827 -x11835 -x11844 -x11852 -x11860 -x11866 -x11873 -x11879 -x11885 -x11890 -x11895 -x11899 -x11904 -x11908 -x11921 -x11925 -x11930 -x11934 -x11938 -x11943 -x11947 -x11952 -x11956 -x11960 -x11965 -x11969 -x11974 -x11978 -x11982 -x11984 -x88 -x706 -x817 -x819 -x821 -x823 -x825 -x828 -x830 -x836 -x840 -x841 -x886 -x1276 -x1278 -x1280 -x1282 -x1284 -x1287 -x1289 -x1291 x1293 -x1298 -x1300 -x1302 -x1304 -x1306 -x1309 -x1310 -x1321 -x1368 -x1428 -x1580 -x1582 -x1585 -x1587 -x1590 x1593 -x1597 -x1600 -x1613 -x1616 -x1619 -x1622 -x1626 -x1627 -x1677 -x1753 -x1887 -x1889 -x1891 -x1893 -x1895 -x1899 -x1902 -x1905 -x1909 x1915 -x1918 -x1920 -x9790 -x4342 -x7980 -x9691 -x10183 -x11912 -x833 -x1295 -x1603 -x1912 -x3867 -x3868 -x3869 -x3874 -x3875 -x3876 -x3878 -x3879 -x3880 -x3882 -x3883 -x3887 -x3889 x3890 -x3891 -x3893 x3894 -x3895 -x3900 -x3901 x3902 -x3904 -x3905 -x3906 -x3907 -x3909 -x3913 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3929 -x3930 -x3932 -x3933 -x3935 -x3936 -x3938 x3945 -x3947 -x3948 -x3950 -x3951 -x3952 -x3953 -x3954 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3970 -x3971 -x3979 -x3980 -x3982 x3983 -x3985 -x3986 -x3987 -x3993 -x3995 -x3996 -x3997 -x3999 -x4000 -x4001 -x4009 -x4010 -x4011 -x4013 x4014 -x4015 -x4017 x4018 -x4025 -x4027 -x4028 x4029 -x4031 -x4032 -x4033 -x4041 -x4042 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4064 -x4065 -x4072 -x4073 -x4075 x4076 -x4078 -x4079 -x4080 -x4081 -x4088 -x4089 -x4090 -x4092 -x4093 -x4094 -x4096 -x4102 -x4103 -x4105 x4106 -x4107 x4109 -x4110 -x4111 -x4119 -x4120 -x4121 -x4123 -x4124 -x4125 -x4127 -x4133 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4149 -x4150 -x4151 -x4152 -x4153 x4155 x4156 x4158 -x4164 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 -x4181 -x4182 -x4183 -x4185 -x4186 -x4187 -x4189 -x4190 -x4197 -x4199 -x4200 x4201 -x4203 -x4204 -x4205 -x4213 -x4214 -x4215 -x4217 -x4218 -x4219 -x4221 -x4222 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4309 -x4311 -x4312 -x4313 -x4315 -x4316 -x4317 -x4318 -x4320 -x4322 -x4323 -x4324 -x4326 -x4327 -x4328 -x4330 -x4331 -x4333 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 x4345 -x4346 -x4347 -x4348 -x4350 -x4351 -x4353 -x4355 -x4357 -x4358 -x4360 -x4361 -x4363 -x4364 -x4367 -x4368 -x4369 -x4371 -x4372 -x4373 -x4377 -x4378 -x4380 -x4381 -x4383 -x4384 -x4386 -x4389 -x4391 -x4392 -x4394 x4395 -x4402 -x4405 -x4408 -x4412 -x4415 -x4422 -x4426 -x4430 -x4435 -x4439 -x4442 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4455 -x4456 -x4457 -x4458 -x4460 -x4461 -x4463 -x4464 -x4467 -x4468 -x4470 x4471 -x4473 -x4474 -x4477 -x4478 -x4480 -x4483 -x4484 -x4486 -x4488 -x4490 -x4491 -x4493 x4494 -x4496 -x4497 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4511 -x4512 x4513 -x4515 -x4516 -x4517 -x4518 -x4520 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4623 -x4624 -x4625 -x4627 -x4628 -x4629 -x4631 -x4632 -x4634 x4636 -x4637 x4638 x4640 -x4641 -x4642 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 -x4653 -x4654 -x4656 -x4658 -x4659 -x4660 -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5011 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5022 -x5023 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5111 -x5112 -x5113 -x5114 -x5115 -x5117 -x5118 -x5120 -x5122 -x5124 -x5125 -x5127 -x5128 -x5130 -x5131 -x5135 -x5136 -x5138 -x5139 -x5141 -x5142 -x5146 -x5147 -x5149 -x5150 -x5152 -x5153 -x5155 -x5158 -x5159 -x5161 -x5162 -x5164 -x5167 -x5168 -x5171 -x5172 -x5174 -x5175 -x5178 -x5179 -x5180 -x5183 -x5184 -x5186 -x5187 -x5190 -x5191 -x5192 -x5195 -x5196 -x5198 -x5200 -x5202 -x5203 -x5204 -x5207 -x5208 -x5211 -x5212 -x5214 -x5215 -x5216 -x5219 -x5220 -x5223 -x5224 -x5226 -x5227 -x5228 -x5231 -x5233 -x5235 -x5236 x5238 -x5239 -x5240 -x5244 -x5245 -x5247 -x5248 -x5250 x5251 -x5252 -x5256 -x5257 -x5259 -x5260 -x5262 -x5263 -x5264 -x5268 -x5270 -x5271 -x5273 -x5274 -x5275 -x5280 -x5282 -x5283 -x5285 -x5286 -x5287 -x5291 -x5293 -x5294 -x5296 -x5297 -x5298 -x5302 -x5304 -x5305 -x5307 -x5308 -x5309 -x5313 -x5315 -x5316 -x5318 -x5319 -x5320 -x5324 -x5325 -x5326 -x5328 -x5329 -x5330 -x5334 -x5335 -x5336 -x5338 -x5339 -x5340 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5352 -x5353 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5386 -x5390 -x5393 -x5395 -x5398 -x5401 -x5404 -x5406 -x5409 -x5412 -x5415 -x5417 -x5420 -x5423 -x5426 -x5428 -x5430 -x5433 -x5435 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5488 -x5489 -x5490 -x5491 x5492 x5493 x5494 -x5495 -x5496 -x5497 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5533 -x5534 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5555 -x5556 -x5557 -x5559 -x5560 -x5561 -x5562 -x5563 -x5567 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5588 -x5589 -x5590 -x5591 -x5593 -x5594 -x5595 -x5597 -x5599 -x5600 -x5602 -x5603 -x5604 -x5606 -x5607 -x5608 -x5612 -x5613 -x5614 -x5616 -x5617 -x5618 -x5620 -x5622 -x5623 x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 x5775 -x5776 x5778 -x5779 -x5780 x5781 -x5782 -x5783 -x5784 x5785 -x5786 -x5787 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5798 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 -x5819 -x5820 -x5823 -x5825 -x5826 -x5828 -x5829 -x5834 -x5836 -x5837 -x5839 -x5840 -x5843 -x5846 -x5847 -x5849 -x5850 -x5851 -x5854 -x5857 -x5858 -x5860 -x5861 -x5862 -x5865 -x5867 -x5868 -x5870 -x5871 -x5872 -x5875 -x5876 -x5878 -x5880 -x5881 -x5882 -x5885 -x5886 -x5889 -x5890 -x5891 -x5894 -x5895 -x5896 -x5897 -x5901 -x5902 -x5903 -x5904 -x5906 -x5907 -x5908 -x5909 -x5912 -x5913 -x5914 x5915 -x5917 -x5918 -x5919 -x5922 -x5923 -x5925 -x5926 -x5928 -x5930 -x5931 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5974 -x5975 -x5976 -x5980 -x5982 -x5983 -x5985 -x5986 x5989 x5990 -x5992 -x5993 -x5995 -x5996 -x6000 -x6003 -x6005 -x6008 -x6011 -x6014 -x6016 -x6019 -x6022 -x6024 -x6026 -x6027 -x6028 -x6030 -x6031 -x6033 -x6034 -x6035 -x6036 -x6037 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6060 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6078 -x6079 -x6080 -x6082 -x6083 -x6084 -x6086 -x6087 x6088 -x6089 -x6090 -x6093 -x6094 x6095 -x6096 -x6098 -x6099 x6100 -x6101 -x6104 -x6105 x6106 -x6107 -x6109 -x6110 x6111 -x6112 x6115 -x6116 -x6117 -x6118 -x6120 -x6121 -x6122 -x6123 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6135 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6148 -x6149 -x6150 -x6151 -x6152 -x6154 -x6155 -x6156 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 x6247 -x6248 x6249 -x6250 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6274 -x6275 -x6276 -x6277 -x6279 -x6280 -x6281 -x6282 -x6290 -x6291 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6320 -x6321 -x6323 -x6324 -x6326 -x6327 -x6328 -x6329 -x6331 -x6332 -x6334 -x6335 -x6337 -x6338 -x6339 -x6340 -x6342 -x6343 -x6345 x6347 -x6348 x6349 -x6351 -x6352 -x6354 -x6356 -x6358 -x6359 -x6361 -x6362 -x6364 -x6365 -x6367 -x6370 -x6371 -x6372 -x6374 -x6375 -x6380 -x6381 -x6385 -x6386 -x6390 -x6391 -x6394 -x6398 -x6408 -x6412 -x6416 -x6418 -x6420 -x6421 -x6423 -x6427 -x6430 -x6433 -x6436 -x6440 -x6443 -x6449 -x6450 -x6452 -x6453 -x6455 -x6458 -x6462 -x6465 -x6467 -x6468 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6494 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6505 -x6506 -x6507 -x6509 -x6510 -x6511 -x6513 -x6521 -x6522 -x6524 -x6525 -x6526 -x6528 -x6529 -x6530 -x6532 -x6534 -x6535 x6536 -x6537 -x6540 -x6541 -x6543 -x6546 -x6547 -x6549 -x6550 -x6551 -x6552 -x6554 -x6555 -x6556 -x6557 -x6558 -x6560 -x6561 -x6563 -x6565 -x6567 -x6568 -x6570 -x6571 -x6573 x6574 -x6578 -x6579 -x6581 x4288 -x6583 -x6585 -x6588 -x6590 -x6592 -x6594 -x6596 x4299 -x6600 -x6601 -x6602 -x6604 -x6605 -x6606 x4310 -x6609 -x6610 -x6611 -x6613 -x6614 -x6615 -x6617 -x6618 -x6620 -x6622 -x6623 -x6624 -x6626 -x6627 -x6628 -x6629 x6638 -x6639 -x6640 -x6641 -x6644 -x6645 -x6646 -x6650 -x6651 -x6653 -x6654 -x6655 -x6656 -x6657 -x6659 x4321 -x6660 -x6661 -x6662 -x6664 -x6665 -x6667 -x6668 -x6671 -x6672 -x6674 -x6675 -x6677 -x6678 x6682 -x6683 -x6685 -x6687 -x4332 -x4343 -x4354 -x4365 -x4376 -x4388 -x4399 -x4410 -x4421 -x4432 -x6689 -x6692 -x6694 -x6696 -x6698 -x6700 -x4454 -x4465 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6711 -x4487 -x4499 -x6712 -x6714 -x6715 -x6717 -x6718 x6719 -x6721 -x6722 -x6723 -x6726 -x6727 -x6728 -x6730 -x6731 -x6732 -x6734 -x6736 -x6737 -x6739 -x6740 -x6741 -x6742 -x6744 -x6745 -x6753 -x6754 -x6756 -x6757 -x6758 -x6759 -x6761 -x6762 -x6764 -x6765 x4521 x4532 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6775 -x6776 -x6777 -x6779 -x6780 -x6781 -x6782 -x6784 -x6786 -x6789 -x6790 -x6791 x6792 -x6793 x6794 -x6795 x6797 -x6798 -x6799 -x6800 x6801 -x6802 -x6803 -x6804 x6805 -x6806 -x6808 -x6809 -x6811 -x6812 -x6813 x4554 -x4565 -x6815 -x6816 -x6817 -x6820 -x6821 -x6823 -x6824 -x6826 -x6827 -x6830 -x6831 -x6833 -x6834 -x6837 -x6839 -x6841 -x6844 -x6845 -x6848 -x6849 -x4587 -x4598 -x6852 -x6854 -x6856 -x6858 -x6860 -x6870 -x6872 -x6874 -x6877 -x6881 -x4622 -x4633 -x6886 -x6888 -x6892 -x6893 -x4655 -x4666 -x4699 -x6895 -x6896 -x6897 -x6899 x6900 -x4710 -x4722 -x4744 -x6903 -x6904 -x6906 -x6908 -x6912 -x6914 -x6915 -x6917 x6918 -x6920 -x6921 -x6923 -x4755 -x4766 -x4777 -x6926 -x6930 -x6931 -x6932 -x6934 x6936 -x6938 -x6939 -x6941 -x6943 -x6948 -x6949 -x6950 -x4788 -x4799 -x4810 x6953 -x6954 -x6956 -x6959 -x6963 -x6964 -x6965 -x6966 -x6967 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x4821 -x4833 -x4844 -x4855 -x6995 -x6996 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7017 -x7018 -x7021 -x7022 -x7024 -x7025 -x7027 -x7028 -x7031 -x7032 -x4866 -x4877 -x4888 -x4899 -x7034 -x7035 -x7037 -x7038 -x7040 -x7042 -x7044 -x7045 -x7047 -x7048 -x7050 -x7051 -x7054 -x7055 -x7057 -x7058 -x7060 -x7061 -x7064 -x7065 -x4910 -x4921 -x4932 -x4944 -x7067 -x7068 -x7070 -x7071 -x7072 -x7075 -x7076 -x7077 -x7079 -x7080 -x7081 -x7083 -x7084 -x7086 -x7088 -x7089 -x7090 -x7092 x7093 -x7094 -x7104 -x7105 -x7106 -x7109 -x7110 -x7111 -x7112 -x7113 -x7115 -x4966 -x4977 -x4988 -x4999 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7159 -x5010 -x5021 -x5032 -x5043 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7203 -x5055 -x5066 x5077 x5088 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x5099 -x5110 -x5121 -x5132 -x7255 -x7256 -x7257 -x7258 -x7260 -x7261 -x7262 -x7263 -x7266 -x7267 -x7268 -x7269 -x7271 -x7272 -x7273 -x7276 -x7277 -x7278 -x7279 -x7281 -x7282 -x7283 -x7284 -x7287 -x7288 -x7289 -x7290 -x7291 -x7293 -x7294 -x7295 -x7296 -x7298 -x7299 -x7301 -x7302 -x7303 -x7304 -x7305 -x7307 -x7309 -x7310 -x7311 -x7312 -x7314 -x5143 -x5154 -x5166 -x5177 -x7315 -x7316 -x7317 -x7318 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7328 -x7329 -x7338 -x7339 -x7340 -x7341 -x7343 -x7344 -x7345 -x7346 -x7347 -x7349 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7358 -x7360 -x7361 -x7362 -x7363 -x7364 -x7366 -x7367 -x7368 -x7369 -x7371 -x7372 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7389 -x7390 -x7391 -x7393 -x7394 -x7395 -x7397 -x5199 -x5210 -x5221 -x7398 -x7399 -x7400 -x7401 -x7402 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7412 -x7413 -x7415 -x7416 -x7417 -x7418 -x7420 -x7421 -x7422 -x7423 -x7424 -x7426 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7435 -x7437 -x7438 -x7439 -x7440 -x7441 -x7443 -x7444 -x7445 -x7446 -x7452 -x7453 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7470 -x7471 -x7472 -x7474 -x7475 -x7477 -x5232 -x5243 -x5254 -x7479 -x7480 -x7482 -x7483 -x7485 -x7487 -x7488 x7489 -x7491 -x7492 -x7493 -x7496 -x7497 -x7498 -x7500 -x7501 -x7504 -x7505 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x5265 -x5277 -x5288 -x7514 -x7515 -x7516 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x5299 -x5310 -x5321 -x5343 -x5354 -x5365 -x5376 -x5399 -x5410 -x5421 -x5432 -x5454 -x5465 -x5476 -x5487 -x5510 -x5521 -x5532 -x5543 -x5565 -x5576 -x5587 -x5598 -x5621 -x5632 -x5643 -x5654 -x5676 -x5687 -x5698 -x5709 -x5733 -x5744 -x5755 x5766 -x5788 -x5799 -x5810 -x5821 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7551 -x7552 -x7553 -x7554 -x7556 -x7557 -x7558 -x7559 -x7560 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x5844 -x5855 -x5866 -x5877 -x7573 -x7574 -x7575 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7595 -x7596 -x7597 -x7599 -x7601 -x7602 -x7603 -x7604 -x7606 -x7607 -x7608 -x7610 -x7612 -x7613 -x7614 -x7616 -x7617 -x7618 -x5899 -x5910 -x5921 -x5932 -x7621 -x7622 -x7624 -x7625 -x7627 -x7628 -x7629 -x7632 -x7633 -x7634 -x7636 -x7637 -x7638 -x7640 -x7643 -x7644 -x7646 -x7647 -x7649 -x7650 -x7652 -x7654 -x5955 -x5966 -x5977 -x7656 -x7657 -x7660 -x5999 -x6010 -x6021 -x6043 -x7662 -x7663 -x7665 -x7667 -x7668 -x7669 -x7671 -x7672 -x7673 -x7680 -x7681 -x7682 -x7684 -x7685 -x7686 -x7688 -x7689 -x7691 -x7693 -x7694 -x7695 -x7697 -x7698 -x7699 -x7702 -x7703 -x7704 -x7706 -x7707 -x7708 -x7711 -x7713 -x7714 -x7717 -x7718 -x7719 -x7722 -x7724 -x7725 -x7728 -x7729 -x7730 -x7733 x7735 -x7736 -x7739 x7740 -x7741 -x7744 x7746 -x7747 -x7750 x7751 -x7752 -x7755 x7757 -x7758 -x7761 -x7762 x7763 -x7766 -x7768 -x7769 -x7772 -x7773 -x7774 -x7776 -x7777 -x7779 -x7781 -x7782 -x7783 -x7785 -x7786 -x7787 -x7794 -x7795 -x7796 -x7798 -x7799 -x7800 -x7802 -x7803 -x7805 -x7807 -x7808 -x7809 -x7811 -x7812 -x7813 -x7814 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7849 -x7850 -x7852 -x7854 -x7855 -x7857 -x7860 -x7862 -x7864 -x7866 -x7868 -x7871 -x7873 -x7875 -x7877 -x7879 -x7882 -x7884 -x7886 -x7888 -x7890 -x7893 -x7895 x7897 -x7899 -x7901 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7942 -x7943 -x7944 -x7958 -x7961 -x7965 -x7968 -x7971 -x7975 -x7978 -x7981 -x7984 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008 -x8009 -x8010 -x8011 x8012 -x8014 -x8015 -x8016 -x8017 -x8026 -x8027 -x8028 -x8029 -x8030 -x8032 -x8033 -x8034 -x8036 -x8038 -x8039 -x8041 -x8042 -x8044 -x8047 -x8048 -x8050 -x8051 -x8052 -x8054 -x8055 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8077 -x8078 -x8080 -x8081 -x8083 -x8084 -x8085 -x8086 -x8088 -x8089 -x8091 -x8092 -x8094 -x8095 -x8096 -x8097 -x8099 -x8100 -x8102 -x8103 -x8105 -x8106 -x8107 -x8108 -x8110 -x8111 -x8113 -x8114 -x8116 -x8117 -x8118 x8119 -x8121 -x8122 -x8124 -x8125 -x8127 -x8128 -x8129 -x8130 -x8132 -x8133 -x8140 -x8141 -x8143 -x8144 -x8145 -x8147 -x8148 -x8149 -x8152 -x8153 -x8154 -x8156 -x8159 -x8162 -x8173 -x8174 -x8176 -x8177 -x8179 -x8180 -x8182 -x8184 -x8186 -x8187 -x8189 -x8190 -x8192 x8193 -x8196 -x8197 -x8199 -x8200 -x8203 -x8204 -x8207 -x8208 -x8210 -x8211 -x8213 -x8214 -x8218 -x8219 -x8222 -x8224 -x8228 -x8230 -x8233 -x8235 x8240 x8243 -x8245 -x8248 -x8256 -x8259 -x8261 -x8263 -x8266 -x8268 -x8270 -x8272 -x8274 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8310 -x8311 -x8313 -x8314 -x8315 -x8316 -x8318 -x8319 -x8321 -x8322 -x8323 -x8325 -x8326 -x8327 -x8328 -x8330 -x8332 -x8333 -x8334 -x8335 -x8337 -x8338 -x8339 -x8340 -x8343 -x8344 -x8346 -x8347 -x8349 -x8350 -x8352 -x8354 -x8356 -x8357 -x8359 -x8360 -x8362 -x8363 -x8371 -x8372 -x8373 -x8375 -x8376 -x8378 -x8379 -x8381 -x8383 -x8384 -x8386 -x8387 -x8388 -x8390 -x8392 -x8394 -x8395 -x8396 -x8398 -x8399 -x8401 -x8403 -x8404 -x8406 -x8407 -x8409 -x8410 -x8411 -x8414 -x8415 -x8417 -x8418 -x8419 -x8421 -x8422 -x8425 -x8426 -x8428 -x8429 -x8431 -x8432 -x8433 -x8436 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8445 -x8447 -x8448 -x8449 -x8450 -x8452 -x8453 -x6081 -x6092 -x6103 -x6114 -x6125 -x6136 -x6147 -x6158 -x6174 -x6185 -x6196 -x6207 -x8454 -x8455 -x8456 -x8459 -x8460 -x8461 -x8462 -x8463 -x8465 -x8466 -x8467 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8518 -x8519 -x8520 -x6229 -x6240 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8540 -x8542 -x8543 -x8544 -x8545 -x8547 -x8548 -x8549 -x8551 -x8552 -x8554 -x8555 -x8556 -x8557 -x8558 -x8560 -x8562 -x8564 -x8566 -x8567 -x8569 -x8570 -x8573 -x8575 -x6262 -x6273 -x8576 -x8578 -x8579 -x8581 -x8584 -x8586 -x8587 -x8588 -x8589 -x8591 -x8592 -x8593 -x8601 -x8602 -x8604 -x8605 -x8606 -x8608 -x8609 -x8612 -x8613 -x8615 -x8616 -x8618 -x8619 -x8622 -x8623 -x8625 -x8626 -x8627 -x8629 -x8630 -x8633 -x8634 -x8635 -x8637 -x8638 -x8639 -x8640 -x8641 -x8644 -x8645 -x8647 -x8648 -x6300 -x6311 -x8649 -x8651 -x8652 -x8655 -x8656 -x8657 -x8659 -x8660 -x8662 -x8663 -x8664 -x8667 -x8668 -x8670 -x8671 -x8673 -x8674 -x8677 -x8678 -x8679 -x8681 -x8683 -x8684 -x8685 -x8688 -x8689 -x8691 -x8692 -x8694 -x8696 -x8697 -x8699 -x8701 -x8703 -x8704 -x8705 -x8707 -x8708 -x8716 -x8717 -x8718 -x8720 -x8721 -x8723 x6333 x6344 -x8724 -x8727 -x8728 -x8730 -x8731 -x8733 -x8734 -x8737 -x8738 -x8739 -x8741 -x8742 -x8744 -x8745 -x8746 -x8749 -x8750 -x8752 -x8753 -x8754 -x8756 -x8757 -x8760 -x8761 -x8762 -x8764 -x8765 -x8767 -x8768 -x8770 -x8772 -x8773 -x8775 -x8776 -x8778 -x8779 -x8782 -x8783 -x8785 -x8787 -x8788 -x8789 -x8792 -x8793 x6366 -x6377 -x8795 -x8796 -x8797 -x8799 -x8800 -x8801 -x8803 -x8804 -x8805 -x8806 -x8808 -x8809 -x8810 -x8811 -x8812 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x6404 -x6415 -x8846 -x8847 -x8848 -x8849 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8906 -x8907 -x8908 -x6437 -x6448 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8928 -x8929 -x8930 -x8931 -x8932 x8933 -x8934 -x8935 x8936 -x8937 -x8943 -x8944 -x8945 x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x6470 -x6481 -x8972 -x8973 -x8974 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x6503 -x6520 -x9016 -x9017 -x9018 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x6542 -x6553 -x9065 -x9066 -x9068 -x9069 -x9070 -x9071 x9072 -x9073 -x9074 x9075 -x9076 x9077 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 x9085 -x9086 -x9087 -x9088 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x6564 -x6597 -x9118 -x9119 -x9120 -x9121 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9145 -x9146 -x9147 -x9148 -x9149 -x9151 -x9152 -x9153 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x6636 -x6658 -x9172 -x9173 -x9174 -x9175 -x9177 -x9178 -x9179 -x9180 -x9181 -x9184 -x9186 -x9187 -x9189 -x9190 -x9192 -x9194 -x9195 -x9197 -x9198 -x9200 -x9201 -x9202 -x9205 -x9206 -x9208 -x9209 -x9212 -x9213 -x9216 -x9217 -x9218 -x9221 -x9222 -x9224 -x9225 -x9227 -x9230 -x9232 -x9233 -x9236 -x9238 -x9240 -x9241 -x9242 -x6691 -x6713 -x9245 -x9246 -x9249 -x9250 -x9251 -x9254 -x9255 -x9257 -x9258 -x9260 -x9263 -x9264 -x9266 -x9267 -x9268 -x9272 -x9273 -x9275 -x9276 -x9277 -x9280 -x9287 -x9289 -x9290 -x9291 -x9294 -x9295 -x9298 -x9299 -x9300 -x9303 -x9304 -x9306 -x9307 -x9311 -x9312 -x9314 -x9315 -x9316 -x9320 -x9322 -x9323 -x9324 -x9327 -x9329 -x9331 -x9332 -x6752 -x6763 -x9335 -x9337 -x9338 -x9339 -x9343 -x9345 -x9346 -x9347 -x9350 -x9353 -x9354 -x9355 -x9358 -x9360 -x9361 -x9362 -x9366 -x9368 -x9369 -x9372 -x9375 -x9376 -x9377 -x9380 -x9382 -x9383 -x9384 -x9388 -x9390 -x9391 -x9394 -x9395 -x9402 -x9403 -x9404 -x9407 -x9408 -x9409 -x9410 -x9411 -x9413 -x9415 -x6796 -x6807 -x6818 -x9416 -x9417 -x9418 -x9419 -x9420 -x9422 -x9424 -x9426 -x9427 -x9429 -x9431 -x9432 -x9433 -x9436 -x9437 -x9438 -x9440 -x9441 -x9443 -x9444 -x9448 -x9449 -x9451 -x9452 -x9455 -x9458 -x9459 -x9461 -x9463 -x9464 -x9468 -x9470 -x9471 -x9473 -x9475 -x9479 -x6840 -x6851 -x6869 -x9481 -x9482 -x9485 -x9487 -x9488 -x9491 -x9493 -x9495 -x9497 -x9498 -x9499 -x9502 -x9504 -x9506 -x9508 x9510 x9518 -x9521 -x9523 -x9525 -x9528 -x9530 -x6891 -x6902 -x6913 -x9532 -x9534 -x9536 -x9539 -x9541 -x9543 -x9545 -x9547 -x9550 -x9552 -x9553 -x9555 -x9557 -x9558 -x9561 -x9563 -x9565 -x9567 -x9568 -x9570 -x9573 -x9574 -x9576 -x9578 -x9579 -x6935 -x6946 -x6957 -x6968 -x9580 -x9583 -x9585 -x9587 -x9588 -x9591 -x9592 -x9595 -x9596 -x9597 -x9599 -x9600 -x9601 -x9602 -x9603 -x9605 -x9607 -x9612 -x9613 -x9614 -x9618 -x9619 -x9620 -x9623 -x9624 -x6997 -x7008 -x7019 -x7030 -x9633 -x9634 -x9635 -x9636 -x9638 -x9639 -x9640 -x9641 -x9644 -x9645 -x9646 -x9647 -x9649 -x9650 -x9651 -x9652 -x9655 -x9656 -x9657 -x9658 -x9660 x9661 -x9662 -x9665 -x9666 -x9667 -x9668 -x9670 -x9671 -x9672 -x9676 -x9677 -x9678 -x9679 -x9681 -x9682 -x9683 -x9684 -x7052 -x7063 -x7074 -x7085 -x9687 -x9688 -x9689 -x9690 -x9692 -x9693 -x9694 -x9695 -x9698 -x9699 -x9700 -x9701 -x9703 -x9704 -x9705 -x9706 -x9709 -x9710 -x9711 -x9713 -x9714 -x9715 -x9720 -x9721 -x9722 -x9724 -x9726 -x9728 -x9731 -x9733 -x9735 -x7114 -x7125 x7136 -x9737 -x9739 -x9747 -x9749 -x9751 -x9753 -x9756 -x9758 -x9760 -x9761 -x9763 -x9764 -x9766 -x9767 -x9770 -x9771 -x9772 -x9774 -x9775 -x9776 -x9778 -x9780 -x7158 -x7169 -x7180 -x9782 -x9783 -x9784 -x9786 -x9787 -x9788 -x9789 -x9791 -x9793 -x9794 -x9796 -x9798 -x9799 -x9802 -x9804 -x9806 -x9808 -x9810 -x9813 -x9815 -x9817 -x9819 -x9822 -x7202 -x7220 -x7231 -x9825 -x9827 -x9829 -x9831 -x9832 -x9835 -x9836 -x9837 -x9839 -x9840 -x9841 -x9843 -x9844 -x9846 -x9848 -x9849 -x9850 -x9852 -x9853 -x9854 -x9855 -x9862 -x9863 -x9864 -x9865 -x7253 -x7264 -x7275 -x7297 -x7308 -x7319 -x7348 -x7359 -x7370 -x7392 -x7403 -x7414 -x7436 -x7451 -x7462 -x7473 -x7484 -x7495 -x7506 -x7517 -x7528 -x7539 -x7550 -x7565 -x7587 -x7609 -x7631 -x7642 -x7701 -x7756 -x7815 -x7826 -x7870 -x7919 -x7930 -x7985 -x8035 -x9868 -x9869 -x9870 -x9873 -x9874 -x9875 x8079 -x8090 -x9877 -x9878 -x9879 -x9881 -x9882 -x9884 -x9886 -x9887 -x9888 -x9890 -x9891 -x9892 -x9895 -x9896 -x9897 -x9899 -x9900 -x9901 x9903 -x9904 -x9906 -x9908 -x9909 -x9910 -x9913 -x9914 -x9915 -x9919 -x9920 -x9921 -x9924 -x8123 -x9925 -x9926 -x9930 -x9931 -x9932 -x9935 -x9936 -x9937 -x9941 -x9942 -x9943 -x9946 -x9947 -x9948 -x9952 -x9953 -x9954 -x9957 -x9958 -x9959 -x9963 -x9964 -x9965 -x9968 -x9969 -x9970 -x9979 -x9980 -x9981 -x9983 -x8161 -x8172 -x9984 -x9985 -x9988 -x9989 -x9990 -x9992 -x9993 -x9994 -x9996 -x9997 -x9999 -x10001 -x10002 -x10003 -x10005 -x10006 -x10007 -x10010 -x10011 -x10012 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x8216 -x10028 -x10029 -x10030 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10051 -x10052 -x10055 -x10057 -x10058 -x8254 -x10060 -x10062 -x10065 -x10067 -x10069 -x10071 -x10073 -x10076 -x10078 -x10080 -x8287 -x8298 -x10082 -x10084 -x10092 -x10094 -x10096 -x10098 -x10100 -x10103 -x10105 -x10107 -x10109 -x10111 -x10112 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x8342 -x10121 -x10122 -x10123 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10136 -x10137 -x10138 -x10139 -x8369 -x10140 -x10141 x10142 -x10143 x10144 -x10145 x10147 x10161 x10164 x10167 x10171 -x10174 -x10177 -x8391 -x8402 -x10181 -x10184 -x10187 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x8424 -x8435 -x10199 -x10200 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x8457 -x8468 -x10214 -x10215 -x10217 -x10218 -x10219 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10250 -x10251 -x10252 -x10253 -x10254 x8495 x8506 -x10255 -x10256 -x10257 -x10258 -x10259 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10332 -x10333 -x8528 -x8539 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x8561 -x8572 -x10396 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 x10407 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 x10416 -x10417 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10429 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10443 -x10444 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10453 -x10454 -x10455 -x10457 -x10458 -x10459 -x10460 -x10461 -x10463 -x10464 -x10465 -x10466 -x10468 -x10469 -x10470 -x10471 -x10473 -x10475 -x10476 -x10477 -x10479 -x10480 -x10481 -x10482 -x10484 -x10486 -x10487 -x10488 -x10490 -x10491 -x10492 -x8599 -x8610 -x10493 -x10495 -x10497 -x10498 -x10499 -x10501 -x10502 -x10503 -x10504 -x10506 -x10508 -x10509 -x10510 -x10512 -x10513 -x10514 -x10516 -x10518 -x10519 -x10520 x10521 -x10523 -x10524 -x10526 -x10528 -x10529 -x10530 -x10531 -x10532 -x10534 -x10536 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10550 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10560 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10569 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10579 -x10582 -x10583 -x10585 -x10586 -x10587 -x10589 -x10591 -x10593 -x10595 -x10596 -x8643 -x10597 -x10599 -x10601 -x10602 -x10605 -x10606 -x10607 -x10609 -x10611 -x10612 -x10615 -x10616 -x10617 -x10618 -x10619 -x10621 -x10622 -x10624 -x10626 -x10627 -x10628 -x10629 -x10631 -x10632 -x10634 -x10635 -x10637 -x10638 -x10639 -x10641 -x10642 -x10644 -x10645 -x10646 -x10648 -x10649 -x10651 -x10652 -x10654 -x10655 -x10656 -x10657 -x10663 -x10665 -x10666 -x10668 -x10669 -x10670 -x10671 -x10672 -x10674 -x10675 -x10676 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10685 -x10686 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10696 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10708 -x10709 -x10710 -x10711 -x10713 -x10714 -x10715 -x10716 -x10719 -x10720 -x10721 -x10722 -x10724 -x10725 -x10726 -x10727 -x10730 -x10731 -x10732 -x10733 -x10735 -x10736 -x10737 -x10738 -x10741 -x10742 -x10743 -x10744 -x10746 -x10747 -x10748 -x10749 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10785 -x10786 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10796 -x10797 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10854 -x10855 -x10856 -x10857 -x10858 -x10860 -x10861 -x10862 -x10863 -x10865 -x10866 -x10867 -x10868 -x10869 -x10871 -x10872 -x10873 -x10874 -x10876 -x10877 -x10878 -x10879 -x10880 -x10882 -x10883 -x10884 -x10885 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10911 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10921 -x10922 -x10924 -x10925 -x10926 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10935 -x10936 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10946 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11005 -x11006 -x11007 -x11008 -x11009 -x11011 -x11012 -x11013 -x11014 -x11017 -x11018 -x11019 -x11021 -x11022 -x11023 -x11024 -x11025 -x11027 -x11029 -x11031 -x11032 -x11034 -x11035 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11045 -x11046 x11049 -x11050 -x11051 x11053 -x11054 -x11055 -x11057 -x11058 x11061 -x11062 -x11063 -x11065 -x11066 x11067 -x11069 -x11071 -x11073 -x11074 -x11075 -x11077 -x11078 -x11079 -x11082 -x11083 -x11085 -x11086 -x11087 -x11089 -x11090 -x11091 -x11094 -x11095 -x11097 -x11098 -x11099 -x11101 -x11102 -x11104 -x11106 -x11107 -x11109 -x11110 -x11111 -x11113 -x11119 -x11120 -x11122 -x11123 -x11125 -x11126 -x11127 -x11130 -x11131 -x11132 -x11134 -x11135 -x11137 -x11138 -x11139 -x11142 -x11143 -x11144 -x11146 -x11147 -x11149 -x11150 -x11152 -x11154 -x11155 -x11156 -x11158 -x11159 -x11161 -x11163 -x11164 -x11166 -x11167 -x11168 -x11170 -x11171 -x11174 -x11175 -x11176 -x11178 -x11179 -x11180 -x11182 -x11183 -x11186 -x11187 -x11188 -x11190 -x11191 -x11192 -x11194 -x11196 -x11198 -x11199 -x11200 -x11202 -x11203 -x11204 -x11207 -x11208 -x11210 -x11211 -x11212 -x11214 -x11215 -x11216 -x11219 -x11220 -x11222 -x11223 -x11224 -x11226 -x11227 -x11233 -x11235 -x11236 -x11238 -x11239 -x11240 -x11242 -x11244 -x11246 -x11247 -x11249 -x11250 -x11251 -x11253 -x11255 -x11257 -x11258 -x11260 -x11261 -x11262 -x11264 -x11266 -x11268 -x11269 -x11271 -x11272 -x11273 -x11275 -x11277 -x11279 -x11280 -x11282 -x11283 -x11284 -x11286 -x11288 -x11290 -x11291 -x11293 -x11294 -x11295 -x11297 -x11299 -x11301 -x11303 -x11304 -x11305 -x11307 -x11308 -x11311 -x11313 -x11314 -x11316 -x11317 -x11319 -x11322 -x11323 -x11325 -x11326 -x11328 -x11330 -x11332 -x11334 -x11335 -x11337 -x11339 -x11340 -x11347 -x11348 -x11350 -x11352 -x11353 -x11355 -x11356 -x11359 -x11361 -x11362 -x11364 -x11365 -x11367 -x11370 -x11371 -x11373 -x11374 -x11375 -x11377 -x11380 -x11381 -x11383 -x11384 -x11385 -x11386 -x11388 -x11389 -x11392 -x11393 -x11394 -x11395 -x11397 -x11398 -x11400 -x11402 -x11403 -x11404 -x11406 -x11407 -x11409 -x11410 -x11411 -x11413 -x11415 -x11416 -x11418 -x11419 -x11420 -x11421 -x11424 -x11425 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11443 -x11444 -x11446 -x11447 -x11448 -x11449 -x11451 -x11452 -x11453 -x11454 -x11455 -x11462 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11517 -x8654 -x8665 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11587 -x11588 -x11589 -x11590 -x8687 -x8698 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x8725 -x8736 -x11661 -x11662 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11734 -x11736 -x11737 -x11738 x11739 -x11740 -x11741 -x11742 -x11745 -x11746 -x11747 -x11748 -x8758 -x8769 -x11750 -x11751 -x11753 -x11754 -x11756 -x11757 -x11758 -x11759 -x11760 -x11762 -x11763 -x11764 -x11765 -x11767 -x11768 -x11769 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11778 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11797 -x11798 -x11804 -x11805 -x11806 -x11807 -x11808 -x11810 -x11811 -x11812 -x11813 -x11815 -x11816 -x11817 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11826 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11837 -x11838 -x11839 -x11840 -x11841 -x8791 -x8802 -x11842 -x11843 -x11845 -x11846 -x11848 -x11849 -x11850 -x11851 -x11853 -x11854 -x11855 -x11856 -x11857 -x11859 -x11861 -x11862 -x11863 -x11864 -x11865 -x11867 -x11868 -x11870 -x11871 -x11872 -x11874 -x11875 -x11876 -x11877 -x11878 -x11881 -x11882 -x11883 -x11884 -x11886 -x11887 -x11888 -x11889 -x11892 -x11893 -x11894 -x11896 -x11897 -x11898 -x11900 -x11901 -x11903 -x8828 -x8839 -x11905 -x11906 -x11907 -x11909 -x11910 -x11911 -x11918 -x11919 -x11920 -x11922 -x11923 -x11924 -x11926 -x11927 -x11929 -x11931 -x11932 -x11933 -x11935 -x11936 -x11937 -x11940 -x11941 -x11942 -x11944 -x11945 -x11946 -x11948 -x11949 -x11951 -x8861 -x8872 -x11953 -x11954 -x11955 -x11957 -x11958 -x11959 -x11962 -x11963 -x11964 -x11966 -x11967 -x11968 -x11970 -x11971 -x11973 -x11975 -x11976 -x11977 -x11979 -x11980 -x11981 -x11985 -x11986 -x11989 -x11991 -x11992 -x11996 -x11997 -x11999 -x8894 -x8905 -x12003 -x12004 -x12007 -x12011 -x12012 -x12014 -x12019 -x12020 -x12021 -x12022 -x12026 -x12033 -x12034 -x12038 -x12040 -x12041 -x12046 -x12048 -x12049 -x12050 -x12054 -x12056 -x12057 -x12058 -x12061 -x12063 -x12065 -x12066 -x12069 -x12071 -x12072 -x12073 -x12077 -x12079 -x12080 -x12081 -x8927 -x8942 -x12084 -x12087 -x12088 -x12089 -x12092 -x12094 -x12095 -x12096 -x12100 -x12102 -x12103 -x12104 -x12107 -x12110 -x12111 -x12112 -x12115 -x12117 -x12118 -x12120 -x12123 -x12125 -x12126 -x12127 -x12131 -x12133 -x12134 -x12135 -x12138 -x12140 -x12146 -x12147 -x12150 -x12152 -x12153 -x12154 -x12158 -x12160 -x12161 -x12162 -x8964 -x8975 -x12165 -x12168 -x12169 -x12170 -x12175 -x12176 -x12177 -x12179 -x12184 -x12185 -x12186 -x12187 -x12193 -x12194 -x12195 -x12196 -x12201 -x12202 -x12203 -x12204 -x12207 -x12208 -x12209 -x12210 -x12215 -x12217 -x12221 -x12224 -x12228 -x12230 -x12234 -x8997 -x9008 -x12239 -x12245 -x12250 -x12254 -x12263 -x12266 -x12269 -x12273 -x12276 -x12279 -x9030 -x9041 -x12283 -x12286 -x12287 -x12290 -x12291 -x12295 -x12296 -x12299 -x12300 -x12304 -x12305 -x12308 -x12309 -x12312 -x12313 -x12317 -x12318 -x12321 -x12322 -x12326 -x9067 -x9078 -x12327 -x12330 -x12331 -x12334 -x12335 -x12339 -x12340 -x12343 -x12344 -x12348 -x12349 -x12352 -x12353 -x12356 -x12357 -x12361 -x12363 -x12364 -x12365 -x12366 -x12368 -x12375 -x9100 -x9111 -x12376 -x12378 -x12380 -x12382 -x12385 -x12387 -x12389 -x12390 -x12392 -x12394 -x12396 -x12398 -x12399 -x12401 -x12403 -x12404 -x12407 -x12408 -x12410 -x12412 -x12413 -x12415 -x12416 -x12419 -x12421 -x12422 -x12424 -x12425 -x12426 -x12429 -x12431 -x12432 -x12434 -x12435 -x12436 -x12438 -x12441 -x12442 -x12444 -x12445 -x12446 -x12448 -x12451 -x12452 -x12454 -x12455 -x12456 -x12459 -x12460 -x12463 -x12464 -x12465 x9133 -x9144 -x12468 -x12469 -x12471 -x12473 -x12474 -x12477 -x12478 -x12480 -x12481 -x12482 -x12490 -x12492 -x12493 -x12494 -x12497 -x12500 -x12501 -x12502 -x12505 -x12507 -x12508 -x12510 -x12513 -x12515 -x12516 -x12517 -x12521 -x12523 -x12524 -x12525 -x12528 -x12530 -x12532 -x12533 -x12536 -x12538 -x12539 -x12540 -x12544 -x12546 -x12547 -x12548 x9171 -x9182 -x12551 -x12554 -x12555 -x12556 -x12559 -x12561 -x12562 -x12563 -x12567 -x12569 -x12570 -x12571 -x12574 -x12577 -x12578 -x12579 -x12582 -x12584 -x12585 -x12587 -x12590 -x12592 -x12593 -x12594 -x8 -x10 -x11 -x12 -x15 -x17 -x19 -x20 -x23 -x25 -x26 -x27 -x31 -x33 -x34 -x35 x9204 -x9215 -x38 -x41 -x42 -x43 -x46 -x48 -x49 -x50 -x54 -x56 -x57 -x58 -x61 -x64 -x65 -x66 -x69 -x71 -x72 -x74 -x76 -x78 -x79 -x80 -x82 -x85 -x86 -x87 -x89 -x91 -x92 -x93 -x97 -x99 -x101 -x103 x9237 -x9248 -x105 -x108 -x110 -x112 -x114 -x116 -x123 -x125 -x127 -x128 -x130 -x131 -x134 -x136 -x137 -x139 -x140 -x142 -x145 -x146 -x148 -x149 -x151 -x153 -x155 -x157 -x158 -x160 -x162 -x163 -x166 -x167 -x169 -x171 -x172 -x174 -x175 -x178 -x180 -x181 -x183 -x185 -x188 -x189 -x191 x9270 -x9286 -x193 -x195 -x196 -x199 -x201 -x203 -x204 -x206 -x208 -x211 -x212 -x214 -x216 -x218 -x219 -x222 -x223 -x226 -x227 -x229 -x230 -x238 -x239 -x241 -x242 -x245 -x247 -x249 -x250 -x253 -x255 -x256 -x260 -x262 -x263 -x266 -x269 -x270 x9308 -x9319 -x273 -x275 -x276 -x280 -x282 -x283 -x286 -x288 -x289 -x293 -x295 -x296 -x299 -x302 -x303 -x306 -x308 -x309 -x313 -x315 -x316 -x319 -x321 -x322 -x326 -x328 -x329 -x332 -x335 -x336 x9341 -x9352 -x338 -x340 -x341 -x343 -x350 -x351 -x352 -x353 -x355 -x356 -x357 -x358 -x359 -x361 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x372 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x383 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x394 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x405 -x406 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x427 -x428 -x429 -x430 -x432 -x433 -x435 -x436 -x438 -x439 -x440 x9374 -x441 -x442 -x444 -x445 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x476 -x477 -x478 -x480 -x481 -x482 -x484 -x486 -x488 -x489 -x490 -x492 -x493 -x494 -x497 -x498 -x500 -x501 -x502 -x504 -x505 -x506 -x509 -x510 -x512 -x513 -x514 -x516 -x517 -x519 -x521 -x522 -x524 -x525 -x526 -x528 -x530 -x531 -x533 -x534 -x536 -x537 -x538 -x541 -x542 -x543 -x545 -x546 -x548 -x549 -x550 -x553 -x554 -x556 -x557 -x559 -x560 -x561 -x564 -x9401 -x9412 -x9423 -x9434 -x9445 -x9456 -x9467 -x9478 -x9489 -x9500 -x565 -x567 -x568 -x570 -x571 -x572 -x579 -x580 -x582 -x584 -x585 -x586 -x589 -x590 -x592 -x594 -x595 -x597 -x598 -x600 -x602 -x603 -x605 -x606 -x608 -x609 -x612 -x613 -x615 -x616 -x618 -x619 -x622 -x623 -x625 -x626 -x628 -x629 -x631 -x634 -x635 -x637 -x639 -x641 -x642 -x9527 -x9538 -x645 -x647 -x648 -x649 -x651 -x652 -x653 -x656 -x657 -x658 -x660 -x661 -x662 -x664 -x666 -x9560 -x9571 -x9593 -x9604 -x9631 -x9642 -x668 -x9664 -x9675 -x9697 -x9708 -x9730 -x9746 -x9768 -x9779 -x9801 -x9812 -x9834 -x9845 -x9872 -x9883 -x9916 -x9927 -x9949 -x9960 -x9987 -x9998 -x10009 -x10020 -x10031 -x10042 -x10053 -x10064 -x10075 -x10091 -x10102 -x10113 -x10124 -x10135 -x10146 -x10157 -x10168 -x10179 -x10190 -x10205 -x10216 -x10227 -x10238 -x10249 -x10260 -x10271 -x10282 -x10293 -x10304 -x10320 -x10331 -x10342 -x10353 -x10364 -x10375 -x10386 -x10397 -x10408 -x10419 x10445 -x10456 -x10467 -x10478 -x10489 -x10500 -x10511 -x10522 -x10533 -x10548 -x10559 -x10570 -x10581 -x10592 -x10603 -x10614 -x10625 -x10636 -x10647 -x10662 -x10673 -x10684 -x669 -x670 -x671 -x672 -x673 -x677 -x678 -x679 -x680 -x681 -x684 -x685 -x692 -x693 -x694 -x696 -x697 -x699 -x700 -x701 -x704 -x705 -x707 -x708 -x709 -x711 -x712 -x714 -x715 -x716 -x718 -x719 -x720 -x721 -x722 -x723 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x736 -x737 -x738 -x740 -x741 -x742 -x744 -x745 -x747 -x10695 -x10706 -x10717 -x749 -x750 -x751 -x753 -x755 -x758 -x760 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x10728 -x10739 -x10750 -x800 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x818 -x820 -x822 -x824 -x826 -x10761 -x10776 -x10787 -x829 -x831 -x832 -x834 -x835 -x837 -x839 -x842 -x843 -x845 -x847 -x850 -x852 -x10809 -x854 -x856 -x858 -x861 -x863 -x865 -x867 -x869 -x872 -x10820 -x10831 -x10842 -x10853 -x10864 -x10875 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x10890 -x938 -x939 -x940 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 x1006 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x10901 -x10912 -x10923 -x10934 -x10945 -x10956 -x10967 -x10978 -x10989 -x11004 -x11015 -x11026 -x11037 -x11048 -x1015 -x1016 -x1017 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1067 -x1068 -x1069 -x11070 -x11081 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1122 -x1123 -x1124 -x11103 -x11118 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1160 -x1161 -x1162 -x1163 -x1164 -x1166 -x1167 -x1168 -x1169 -x1171 -x1173 -x1174 -x1175 -x1176 -x1177 -x1179 -x1180 -x1182 -x1183 -x1185 -x1186 -x1187 x11140 x11151 -x1189 -x1190 -x1191 -x1194 -x1195 -x1196 -x1198 -x1199 -x1200 -x1202 -x1204 -x1205 -x1207 -x1208 -x1210 -x1211 -x1212 -x1215 -x1216 -x1217 -x1219 -x1220 -x1221 -x1223 -x1224 -x1226 -x1228 -x1229 -x1230 -x11184 -x1232 -x1233 -x1235 x1237 -x1239 -x1240 -x1242 -x1243 -x1245 -x1246 -x1249 -x1250 -x1252 -x1253 -x1255 -x1256 -x1266 -x1267 -x1269 -x1270 -x11195 -x11206 -x1274 -x1277 -x1279 -x1281 -x1283 -x1285 -x1288 -x1290 -x1292 -x1294 -x11232 -x11243 -x1296 -x1299 -x1301 -x1303 -x1305 -x1307 -x1311 -x1312 -x1313 -x1314 -x1315 -x1317 -x1318 -x1320 -x11265 -x11276 -x11298 -x11309 -x11331 x11346 -x11368 -x11379 -x1322 -x11401 -x11412 -x11434 -x11445 -x1323 -x1325 -x1326 -x1327 -x1328 -x1332 -x1334 -x1335 -x1336 -x1337 -x11472 -x11483 -x1340 -x1343 -x1344 -x1345 -x1346 -x1349 -x1351 -x1353 -x1354 -x1355 -x1358 -x1359 -x1360 -x1361 -x1362 -x1364 -x1367 -x1369 -x1370 -x1371 -x1372 -x1382 -x1383 -x1385 -x1386 -x1387 -x1388 -x1390 -x1392 -x1394 -x1395 -x1396 -x1397 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1426 -x1427 -x1429 -x1430 -x1431 -x1432 -x11505 -x11516 -x11527 -x11538 -x11549 -x11560 -x11575 -x11586 -x11597 -x1434 -x1436 -x1437 -x1438 x1439 -x1440 -x1442 -x1443 -x1444 -x1445 -x1447 -x1448 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1458 -x1459 -x1460 -x1461 -x1462 -x1464 -x1466 -x1469 -x1471 -x1473 -x1475 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1486 -x1487 -x1488 -x1489 -x1498 -x11608 -x11619 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1552 -x1553 -x11630 -x11641 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1583 -x1586 -x1588 -x1589 -x11652 -x11663 -x1591 -x1592 -x1594 x1596 -x1598 -x1599 -x1601 -x1602 -x1604 -x1605 -x1614 -x1615 -x1617 -x1618 -x1620 -x1621 -x1624 -x1625 -x1628 -x11674 -x11689 -x1629 -x1631 -x1633 -x1636 -x1638 -x1640 -x1642 -x1644 -x1647 -x1649 -x11700 -x11711 -x1651 -x1653 -x1655 -x1658 -x1660 -x1662 -x1664 -x1666 -x1669 -x1671 x11722 x11733 -x1673 x11744 -x11755 x11766 -x11777 x11788 -x11803 x11814 -x11825 -x1679 -x1681 -x1682 -x1683 -x1684 -x1687 -x1690 -x1691 -x1692 -x1693 -x1696 -x1698 -x1699 -x1701 -x1702 -x1705 -x1706 -x1707 -x1708 -x1709 -x1713 -x1714 -x1715 -x1716 -x1717 x11836 -x11847 -x1720 -x1721 -x1728 -x1729 -x1730 -x1733 -x1734 -x1736 -x1737 -x1739 -x1740 -x1742 -x1743 -x1745 -x1746 -x1747 -x1748 -x1751 -x1752 -x1754 -x1755 -x1756 -x1757 -x1759 -x1761 -x1762 -x1763 -x1764 -x1765 -x1767 -x1768 -x1769 -x1770 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1783 -x1784 -x1785 -x1786 -x1787 -x1789 -x1790 -x1791 -x1794 -x1795 -x1796 x11858 -x11869 -x1798 -x1799 -x1800 -x1802 -x1805 -x1807 -x1809 -x1811 -x1812 -x1813 -x1814 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 x11880 -x11891 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1888 -x1890 -x1892 x11902 -x11917 -x1894 -x1896 -x1898 -x1900 -x1901 -x1903 -x1904 -x1906 -x1907 -x1910 -x1911 -x1913 -x1914 -x1916 x1917 -x1921 -x1922 x11928 -x11939 -x1924 -x1926 -x1928 -x1931 -x1933 -x1935 -x1937 -x1939 -x1942 -x1944 -x11950 -x11961 -x1946 -x1948 -x1950 -x1958 -x1960 -x1962 -x1964 -x11972 -x11983 -x12005 -x12016 -x12031 -x12042 -x12053 x12064 -x12075 -x12086 -x12097 -x12108 -x12119 -x12130 -x12145 -x12156 -x12167 -x12178 -x12189 -x12200 -x12211 -x12222 -x12233 -x12244 -x12259 -x12270 -x12281 -x12292 -x12303 -x12314 -x12325 -x12336 -x12347 -x12358 -x12373 -x12384 -x12395 -x12406 -x12417 -x12428 -x12439 -x12450 -x12461 -x12472 -x12487 -x12498 -x12509 -x12520 -x12531 -x12542 -x12553 -x12564 -x12575 -x12586 -x7 -x2865 -x2891 -x2896 -x2899 -x2906 -x2909 -x18 -x29 -x40 -x51 -x2912 -x2918 -x2921 -x2924 -x2932 -x3135 -x3137 -x3140 -x3147 -x3149 -x3152 -x3472 -x3534 -x3155 -x3164 -x3167 -x3538 -x3541 -x3170 -x3172 -x3182 -x3549 -x3552 -x3185 -x3187 -x3199 -x3555 -x3563 -x3202 -x3204 -x3207 -x3566 -x3569 -x3217 -x3218 -x3221 -x3572 -x3579 -x3224 -x3225 -x3235 -x3582 -x3585 -x73 -x84 -x95 -x3238 -x3241 -x3527 -x3595 -x3533 -x2051 -x2052 -x2054 -x2056 -x2057 -x2059 -x2068 -x2069 -x2071 -x2073 -x2074 -x2076 -x2085 -x2086 -x2088 -x2090 -x2091 -x2093 -x121 -x132 -x2098 -x2099 -x2101 -x2104 -x2105 -x2107 -x2113 -x2114 -x2116 -x2119 -x2120 -x2125 -x2128 -x2129 -x2131 -x2575 -x2659 -x2137 -x2138 -x2140 -x2662 -x2668 -x2143 -x2144 -x2146 -x2670 -x2672 -x2152 -x2153 -x2155 -x2674 -x2676 -x2158 -x2159 -x2164 -x2682 -x2684 -x154 -x165 -x176 -x2167 -x2168 -x2170 -x2686 -x2688 -x2176 -x2177 -x2179 -x2690 -x2699 -x2182 -x2183 -x2185 -x2701 -x2703 -x2192 -x2193 -x2195 -x2706 -x2715 -x2198 -x2199 -x2204 -x2718 -x2720 -x2207 -x2208 -x2210 -x2723 x2732 -x2216 -x2217 -x2219 -x2735 -x2737 -x2222 -x2223 -x2225 -x2740 -x2750 -x2231 -x2232 -x2656 -x2754 -x2657 -x198 x209 -x220 -x246 -x257 -x268 -x290 -x301 -x312 -x323 -x349 -x360 -x371 -x382 -x404 -x415 -x437 -x448 -x474 -x485 -x507 -x518 -x540 x562 -x577 x599 -x610 -x632 x643 -x665 -x676 -x702 -x713 -x860 -x930 -x996 -x2235 -x2236 -x2244 -x2245 -x2249 -x2250 -x1066 -x1132 -x1203 -x1275 -x1341 -x1424 -x1507 -x2292 -x2300 -x2304 -x2257 -x2258 -x2307 -x2262 -x2270 -x2274 x2313 -x2316 -x2319 -x2261 -x2277 -x2284 -x2287 -x2326 -x2329 -x2332 -x2630 -x2634 -x2265 -x2290 -x2642 -x2273 -x2298 -x2646 -x2338 -x2302 -x2654 -x2341 -x2571 -x746 -x757 -x768 -x779 -x790 -x805 -x816 -x827 -x838 -x849 -x871 -x882 -x893 -x904 -x919 -x941 -x952 -x963 -x974 -x985 -x1007 -x1018 -x1033 -x1044 -x1055 -x1077 -x1088 -x1099 -x1110 -x1121 -x1148 -x1159 -x1170 -x1181 -x1192 -x1214 -x1225 -x1236 -x1247 -x1264 -x1286 -x1297 -x1308 -x1319 -x1330 -x1352 -x1363 -x1391 -x1402 -x1413 -x1435 -x1446 -x1468 -x1479 -x1496 -x1518 -x1529 -x1551 -x1562 -x1573 -x1584 -x1595 -x1612 -x1634 -x1645 -x1656 -x1667 -x1678 -x1689 -x1711 -x1727 -x1738 -x1749 -x1760 -x1771 -x1793 -x1804 -x1815 -x1826 -x1842 -x1853 x1875 -x1886 -x1897 x1908 -x1919 -x1930 -x1957 -x1968 -x2003 -x2004 -x2005 -x2007 -x2008 -x2009 -x2010 -x2017 -x2018 -x2019 -x2021 -x2022 -x2023 -x2025 -x2033 -x2034 -x2036 -x2037 -x2038 -x2040 -x2041 -x2042 -x2053 -x2055 -x2058 -x2060 -x2070 -x2072 -x2075 -x2077 -x2087 -x2089 -x2092 -x2094 -x2100 -x2102 -x2103 -x2106 -x2111 -x2112 -x2115 -x2117 -x2118 -x2124 -x2126 -x2127 -x2130 -x2132 -x2133 -x2139 -x2141 -x2142 -x2145 -x2150 -x2151 -x2154 -x2156 -x2157 -x2163 -x2165 -x2166 -x2169 -x2171 -x2172 -x2178 -x2180 -x2181 -x2184 -x2190 -x2191 -x2194 -x2196 -x2197 -x2203 -x2205 -x2206 -x2209 -x2211 -x2212 -x2218 -x2220 -x2221 -x2224 -x2229 -x2230 -x2233 -x2234 -x2237 -x2238 -x2242 -x2243 -x2246 -x2247 -x2248 -x2251 -x2256 -x2259 -x2260 -x2263 -x2264 -x2271 -x2272 -x2275 -x2276 -x2278 -x2279 -x2285 -x2286 -x2288 -x2289 -x2291 -x2293 -x2299 -x2301 -x2303 -x2305 -x2306 -x2311 -x2343 -x2345 -x2352 -x2354 -x2359 -x2364 -x2371 -x2377 -x2385 -x2396 -x2407 -x2369 -x2380 -x2382 -x2393 -x2418 -x2404 -x2412 -x2423 -x2429 -x2437 -x2448 -x2460 -x2661 -x2669 -x2312 x2314 -x2391 -x2399 -x2434 -x2445 -x2471 -x2482 -x2490 -x2673 -x2681 -x2315 -x2317 -x2410 -x2457 -x2500 -x2685 -x2775 -x2421 -x2465 -x2689 -x2785 -x2318 -x2320 -x2432 -x2476 -x2510 -x2789 -x2819 -x2443 -x2487 -x2517 -x2529 -x2799 -x2823 -x2325 -x2327 -x2451 -x2497 -x2832 -x2803 -x2328 -x2330 -x2504 -x2540 -x2835 -x2463 -x2807 -x2474 -x2514 -x2546 -x2817 x2838 -x2331 -x2333 -x2485 -x2526 -x2556 -x2821 -x2847 -x2532 -x2560 -x2757 -x2850 -x2334 -x2339 -x2543 -x2568 -x2853 -x2758 -x2340 -x2342 -x2346 -x2347 -x2355 -x2356 -x2357 -x2365 -x2366 -x2367 -x2373 -x2378 -x2384 -x2395 -x2406 -x2417 -x2425 -x2436 -x2447 -x2459 -x2470 -x2478 -x2489 -x2499 -x2509 -x2516 -x2528 -x2539 -x3276 -x3284 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3301 -x3302 -x3303 -x3305 -x3309 -x3306 -x3307 -x3320 -x3318 -x3324 -x3310 -x3322 -x3335 -x3321 -x3326 x3339 -x3325 -x3337 -x3343 -x2545 -x3336 -x3341 -x3353 -x3340 -x3344 -x3357 -x3355 -x3361 -x3628 -x3626 -x3359 -x3416 -x3637 -x2554 -x2555 -x3629 -x3638 -x3640 -x3642 -x3644 -x3645 -x2559 -x2862 -x2864 -x2866 -x2868 -x2992 -x2995 -x3002 -x3003 -x3006 -x3009 -x3010 -x3017 -x3418 -x3420 -x3427 -x3429 -x2870 -x2878 -x3020 -x3021 -x3024 -x3432 -x3434 -x2880 -x2882 -x3031 -x3032 -x3034 -x3443 -x3445 -x2884 -x2886 -x3037 -x3038 -x3045 -x3448 -x3450 -x2962 -x3048 -x3049 -x3051 -x3458 -x3460 -x3059 -x3060 -x3062 -x3463 -x3465 -x3066 -x3067 -x3073 -x3473 -x3475 -x3077 -x3078 -x3080 -x3478 x3480 -x3088 -x3089 -x3091 -x3488 -x3490 -x3095 -x3100 -x3102 -x3493 -x3495 -x3106 -x3107 -x3109 -x3504 -x3506 -x3118 -x3119 -x3121 -x3509 -x3511 -x3131 -x3132 -x3520 -x3522 -x3525 -x2572 -x2574 -x2576 -x2582 -x2584 -x2586 -x2588 -x2590 -x2597 -x2599 -x2601 -x2603 -x2605 -x2612 -x2614 -x2617 -x2625 -x2573 -x2577 -x2583 -x2585 -x2587 -x2589 -x2591 -x2598 -x2600 -x2602 -x2604 -x2611 -x2613 -x2616 -x2618 -x2620 -x2626 -x2628 -x2629 -x2632 x2633 -x2640 -x2641 -x2644 -x2645 -x2648 -x2653 -x2658 -x2660 -x2667 -x2671 -x2675 -x2683 -x2687 -x2698 -x2700 -x2702 -x2704 -x2705 -x2707 -x2716 -x2717 -x2719 -x2721 -x2722 -x2724 x2733 -x2734 -x2736 -x2738 -x2739 -x2741 -x2751 -x2752 -x2753 -x2755 -x2756 -x2759 -x2767 -x2769 -x2771 -x2772 -x2773 -x2774 -x2783 -x2787 -x2791 -x2800 -x2804 -x2814 -x2818 -x2822 x2831 x2834 -x2837 -x2846 -x2849 -x2852 -x2863 -x2867 -x2869 -x2871 -x2879 -x2881 -x2883 -x2885 -x2887 -x2893 -x2894 -x2898 -x2900 -x2908 -x2910 -x2914 -x2919 -x2923 -x2925 -x2931 -x2935 -x2938 -x2945 -x2946 -x2949 -x2950 -x2953 -x2954 -x2961 -x2965 -x2967 x2973 x2974 x2976 -x2977 -x2979 -x2980 -x2982 -x2987 -x2989 -x2990 -x2994 -x2996 -x3146 -x3153 -x3168 -x3005 -x3007 -x3016 -x3018 -x3259 -x3583 -x3611 -x3593 -x3614 -x3023 -x3029 -x3598 -x3621 -x3624 -x3033 -x3035 -x3044 -x3046 -x3050 -x3052 -x3058 -x3061 -x3063 -x3065 -x3072 x3074 -x3076 -x3079 -x3087 -x3090 -x3094 -x3101 -x3105 -x3108 -x3117 -x3120 -x3122 -x3124 -x3134 -x3139 -x3151 -x3154 -x3166 -x3169 -x3181 -x3184 -x3189 -x3201 -x3206 -x3216 -x3220 -x3223 -x3234 -x3237 -x3240 -x3250 -x3252 -x3254 -x3256 -x3258 -x3267 -x3269 -x3270 -x3272 -x3273 -x3275 -x3285 -x3289 -x3293 -x3304 -x3308 -x3319 -x3323 -x3327 -x3338 -x3342 -x3352 -x3354 -x3356 -x3358 -x3360 -x3367 -x3368 -x3370 -x3371 -x3372 -x3374 -x3375 -x3376 -x3382 -x3383 -x3384 x3386 x3387 -x3388 -x3390 -x3396 -x3397 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3412 -x3413 -x3414 -x3419 -x3428 -x3433 -x3444 -x3449 -x3459 -x3461 -x3464 -x3474 -x3477 -x3479 -x3487 -x3489 -x3492 -x3494 -x3503 -x3505 -x3508 -x3510 -x3519 -x3521 -x3524 -x3536 -x3540 -x3548 -x3551 -x3554 -x3557 -x3565 -x3568 -x3571 -x3578 -x3581 -x3584 -x3592 -x3594 -x3597 x3599 x3601 -x3607 -x3609 -x3610 -x3612 -x3613 -x3615 -x3616 -x3622 -x3623 -x3625 -x3627 -x3630 -x3639 -x3641 -x3643 -x3646 -x3652 -x3653 -x3655 -x3656 -x3658 -x3659 -x3687 x3667 x3668 -x3670 -x3671 -x3673 -x3674 -x3676 -x3681 -x3682 -x3684 -x3685 -x3686 -x3690\ncommand line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3725773-1338651550/watcher-3725773-1338651550 -o /tmp/evaluation-result-3725773-1338651550/solver-3725773-1338651550 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725773-1338651550.opb\n/proc/loadavg: 1.36 1.71 1.89 4/176 21125\n/proc/meminfo: memFree=28358952/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=6604 CPUtime=0 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) R 21123 21125 19474 0 -1 4202496 589 0 0 0 0 0 0 0 20 0 1 0 331280423 6762496 542 33554432000 4194304 5964478 140733920507744 140734951239848 4344880 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 1651 542 169 433 0 846 0\n[pid=21125] ppid=21123 vsize=12948 CPUtime=0.02 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) R 21123 21125 19474 0 -1 4202496 2179 0 0 0 2 0 0 0 20 0 1 0 331280423 13258752 2133 33554432000 4194304 5964478 140733920507744 140734951239848 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 3237 2134 212 433 0 2432 0\n[pid=21125] ppid=21123 vsize=24296 CPUtime=0.09 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) R 21123 21125 19474 0 -1 4202496 5132 0 0 0 8 1 0 0 20 0 1 0 331280423 24879104 5085 33554432000 4194304 5964478 140733920507744 140734951239848 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 6074 5087 387 433 0 5269 0\n[pid=21125] ppid=21123 vsize=188280 CPUtime=0.42 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 14362 0 0 0 35 7 0 0 20 0 3 0 331280423 192798720 13218 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 47070 13218 199 433 0 46634 0\n[pid=21125] ppid=21123 vsize=188280 CPUtime=1.23 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 17952 0 0 0 112 11 0 0 20 0 3 0 331280423 192798720 16499 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 47070 16499 199 433 0 46634 0\n/proc/loadavg: 1.36 1.71 1.89 5/179 21128\n/proc/meminfo: memFree=28282668/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=188280 CPUtime=2.82 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 21240 0 0 0 271 11 0 0 20 0 3 0 331280423 192798720 19200 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 47070 19200 199 433 0 46634 0\n[pid=21125/tid=21127] ppid=21123 vsize=188280 CPUtime=1.32 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 11256 0 0 0 123 9 0 0 20 0 3 0 331280439 192798720 19200 33554432000 4194304 5964478 140733920507744 140045557254600 5133973 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=188280 CPUtime=1.32 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 2584 0 0 0 132 0 0 0 20 0 3 0 331280439 192798720 19200 33554432000 4194304 5964478 140733920507744 140045546764952 4392962 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\n/proc/meminfo: memFree=28262572/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=188280 CPUtime=6.02 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 26541 0 0 0 590 12 0 0 20 0 3 0 331280423 192798720 22967 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 47070 22967 199 433 0 46634 0\n[pid=21125/tid=21127] ppid=21123 vsize=188280 CPUtime=2.91 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 15352 0 0 0 281 10 0 0 20 0 3 0 331280439 192798720 22967 33554432000 4194304 5964478 140733920507744 140045557254504 5142509 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=188280 CPUtime=2.92 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 3789 0 0 0 292 0 0 0 20 0 3 0 331280439 192798720 22967 33554432000 4194304 5964478 140733920507744 140045546764744 4403479 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\n/proc/loadavg: 1.65 1.77 1.91 5/179 21128\n/proc/meminfo: memFree=28226000/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=253816 CPUtime=12.41 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 30759 0 0 0 1228 13 0 0 20 0 3 0 331280423 259907584 25856 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 63454 25856 199 433 0 63018 0\n[pid=21125/tid=21127] ppid=21123 vsize=253816 CPUtime=6.1 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 17950 0 0 0 600 10 0 0 20 0 3 0 331280439 259907584 25856 33554432000 4194304 5964478 140733920507744 140045557254128 4403367 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=253816 CPUtime=6.11 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 5409 0 0 0 610 1 0 0 20 0 3 0 331280439 259907584 25856 33554432000 4194304 5964478 140733920507744 140045546764952 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/loadavg: 1.84 1.80 1.92 5/179 21128\n/proc/meminfo: memFree=28194032/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=253816 CPUtime=25.21 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 35886 0 0 0 2506 15 0 0 20 0 3 0 331280423 259907584 29145 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 63454 29145 199 433 0 63018 0\n[pid=21125/tid=21127] ppid=21123 vsize=253816 CPUtime=12.49 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 20719 0 0 0 1238 11 0 0 20 0 3 0 331280439 259907584 29145 33554432000 4194304 5964478 140733920507744 140045557254048 4403590 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=253816 CPUtime=12.49 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 7767 0 0 0 1248 1 0 0 20 0 3 0 331280439 259907584 29145 33554432000 4194304 5964478 140733920507744 140045546764704 4399915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/loadavg: 2.32 1.91 1.95 5/179 21128\n/proc/meminfo: memFree=28145612/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=254740 CPUtime=50.81 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 45433 0 0 0 5063 18 0 0 20 0 3 0 331280423 260853760 36001 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 63685 36001 199 433 0 63249 0\n[pid=21125/tid=21127] ppid=21123 vsize=254740 CPUtime=25.25 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 26653 0 0 0 2512 13 0 0 20 0 3 0 331280439 260853760 36001 33554432000 4194304 5964478 140733920507744 140045557254240 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=254740 CPUtime=25.26 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 11380 0 0 0 2524 2 0 0 20 0 3 0 331280439 260853760 36001 33554432000 4194304 5964478 140733920507744 140045546764952 4403698 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/loadavg: 2.83 2.06 2.00 5/179 21128\n/proc/meminfo: memFree=28107248/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=255796 CPUtime=101.99 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 50557 0 0 0 10180 19 0 0 20 0 3 0 331280423 261935104 37765 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 63949 37765 199 433 0 63513 0\n[pid=21125/tid=21127] ppid=21123 vsize=255796 CPUtime=50.78 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 27400 0 0 0 5064 14 0 0 20 0 3 0 331280439 261935104 37765 33554432000 4194304 5964478 140733920507744 140045557253944 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=255796 CPUtime=50.79 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 15757 0 0 0 5076 3 0 0 20 0 3 0 331280439 261935104 37765 33554432000 4194304 5964478 140733920507744 140045546764952 4403370 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\nCurrent children cumulated vsize (KiB) 255796\n/proc/loadavg: 3.49 2.36 2.10 5/180 21131\n/proc/meminfo: memFree=28033320/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=321332 CPUtime=204.38 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 65541 0 0 0 20412 26 0 0 20 0 3 0 331280423 329043968 49599 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 80333 49599 199 433 0 79897 0\n[pid=21125/tid=21127] ppid=21123 vsize=321332 CPUtime=101.85 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 38491 0 0 0 10164 21 0 0 20 0 3 0 331280439 329043968 49599 33554432000 4194304 5964478 140733920507744 140045557254048 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=321332 CPUtime=101.86 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 19650 0 0 0 10182 4 0 0 20 0 3 0 331280439 329043968 49599 33554432000 4194304 5964478 140733920507744 140045546764952 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\nCurrent children cumulated vsize (KiB) 321332\n/proc/loadavg: 3.81 2.65 2.22 5/179 21131\n/proc/meminfo: memFree=27981044/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=322668 CPUtime=324.32 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 69841 0 0 0 32405 27 0 0 20 0 3 0 331280423 330412032 50773 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 80667 50773 199 433 0 80231 0\n[pid=21125/tid=21127] ppid=21123 vsize=322668 CPUtime=161.69 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 38648 0 0 0 16146 23 0 0 20 0 3 0 331280439 330412032 50773 33554432000 4194304 5964478 140733920507744 140045557254984 4392955 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=322668 CPUtime=161.69 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 23793 0 0 0 16163 6 0 0 20 0 3 0 331280439 330412032 50773 33554432000 4194304 5964478 140733920507744 140045546764952 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\n/proc/loadavg: 3.93 2.90 2.33 5/179 21131\n/proc/meminfo: memFree=27879024/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=322668 CPUtime=444.27 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 75244 0 0 0 44397 30 0 0 20 0 3 0 331280423 330412032 54172 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 80667 54172 199 433 0 80231 0\n[pid=21125/tid=21127] ppid=21123 vsize=322668 CPUtime=221.49 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 41120 0 0 0 22124 25 0 0 20 0 3 0 331280439 330412032 54172 33554432000 4194304 5964478 140733920507744 140045557254680 4400091 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=322668 CPUtime=221.53 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 26724 0 0 0 22144 9 0 0 20 0 3 0 331280439 330412032 54172 33554432000 4194304 5964478 140733920507744 140045546764952 4403727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\n/proc/loadavg: 3.97 3.09 2.43 5/178 21131\n/proc/meminfo: memFree=27786688/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=324476 CPUtime=564.21 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 85549 0 0 0 56388 33 0 0 20 0 3 0 331280423 332263424 62687 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 81119 62687 199 433 0 80683 0\n[pid=21125/tid=21127] ppid=21123 vsize=324476 CPUtime=281.31 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 49126 0 0 0 28102 29 0 0 20 0 3 0 331280439 332263424 62687 33554432000 4194304 5964478 140733920507744 140045557254136 4387936 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=324476 CPUtime=281.36 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 29023 0 0 0 28126 10 0 0 20 0 3 0 331280439 332263424 62687 33554432000 4194304 5964478 140733920507744 140045546764952 4403370 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\n/proc/loadavg: 3.99 3.26 2.52 5/179 21132\n/proc/meminfo: memFree=27702992/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=392008 CPUtime=684.19 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 91447 0 0 0 68384 35 0 0 20 0 3 0 331280423 401416192 67952 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 98002 67952 199 433 0 97566 0\n[pid=21125/tid=21127] ppid=21123 vsize=392008 CPUtime=341.15 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 52521 0 0 0 34084 31 0 0 20 0 3 0 331280439 401416192 67952 33554432000 4194304 5964478 140733920507744 140045557253944 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=392008 CPUtime=341.21 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 31526 0 0 0 34109 12 0 0 20 0 3 0 331280439 401416192 67952 33554432000 4194304 5964478 140733920507744 140045546764952 4403727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\n/proc/loadavg: 3.99 3.39 2.61 5/179 21132\n/proc/meminfo: memFree=27593404/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=392008 CPUtime=804.16 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 105813 0 0 0 80367 49 0 0 20 0 3 0 331280423 401416192 81057 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 98002 81057 199 433 0 97566 0\n[pid=21125/tid=21127] ppid=21123 vsize=392008 CPUtime=400.99 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 65382 0 0 0 40053 46 0 0 20 0 3 0 331280439 401416192 81057 33554432000 4194304 5964478 140733920507744 140045557254136 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=392008 CPUtime=401.06 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 33031 0 0 0 40093 13 0 0 20 0 3 0 331280439 401416192 81057 33554432000 4194304 5964478 140733920507744 140045546764952 4403376 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\nCurrent children cumulated CPU time (s) 804.16\n/proc/loadavg: 3.99 3.50 2.70 5/179 21132\n/proc/meminfo: memFree=27511076/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=458084 CPUtime=924.14 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 117151 0 0 0 92353 61 0 0 20 0 3 0 331280423 469078016 91541 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 114521 91541 199 433 0 114085 0\n[pid=21125/tid=21127] ppid=21123 vsize=458084 CPUtime=460.83 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 75580 0 0 0 46026 57 0 0 20 0 3 0 331280439 469078016 91541 33554432000 4194304 5964478 140733920507744 140045557254136 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=458084 CPUtime=460.9 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 34171 0 0 0 46076 14 0 0 20 0 3 0 331280439 469078016 91541 33554432000 4194304 5964478 140733920507744 140045546764952 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\n/proc/loadavg: 3.99 3.59 2.78 5/179 21132\n/proc/meminfo: memFree=27431652/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=524344 CPUtime=1044.11 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 129736 0 0 0 104340 71 0 0 20 0 3 0 331280423 536928256 103230 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 131086 103230 199 433 0 130650 0\n[pid=21125/tid=21127] ppid=21123 vsize=524344 CPUtime=520.67 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 87034 0 0 0 51999 68 0 0 20 0 3 0 331280439 536928256 103230 33554432000 4194304 5964478 140733920507744 140045557254136 5136420 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=524344 CPUtime=520.75 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 35302 0 0 0 52061 14 0 0 20 0 3 0 331280439 536928256 103230 33554432000 4194304 5964478 140733920507744 140045546764952 4403370 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\nCurrent children cumulated vsize (KiB) 524344\n/proc/loadavg: 3.99 3.66 2.85 5/179 21132\n/proc/meminfo: memFree=27354416/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=525512 CPUtime=1164.09 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 140791 0 0 0 116326 83 0 0 20 0 3 0 331280423 538124288 113889 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 131378 113889 199 433 0 130942 0\n[pid=21125/tid=21127] ppid=21123 vsize=525512 CPUtime=580.51 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 97499 0 0 0 57970 81 0 0 20 0 3 0 331280439 538124288 113889 33554432000 4194304 5964478 140733920507744 140045557254184 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=525512 CPUtime=580.59 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 35892 0 0 0 58044 15 0 0 20 0 3 0 331280439 538124288 113889 33554432000 4194304 5964478 140733920507744 140045546764952 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\nCurrent children cumulated vsize (KiB) 525512\n/proc/loadavg: 4.04 3.73 2.92 5/179 21133\n/proc/meminfo: memFree=27291444/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=591048 CPUtime=1284.07 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 148216 0 0 0 128317 90 0 0 20 0 3 0 331280423 605233152 120470 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 147762 120470 199 433 0 147326 0\n[pid=21125/tid=21127] ppid=21123 vsize=591048 CPUtime=640.35 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 103937 0 0 0 63946 89 0 0 20 0 3 0 331280439 605233152 120470 33554432000 4194304 5964478 140733920507744 140045557254136 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=591048 CPUtime=640.44 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 36879 0 0 0 64027 17 0 0 20 0 3 0 331280439 605233152 120470 33554432000 4194304 5964478 140733920507744 140045546764952 4403376 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\nCurrent children cumulated vsize (KiB) 591048\n/proc/loadavg: 4.01 3.78 2.99 5/180 21136\n/proc/meminfo: memFree=27263192/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=591048 CPUtime=1404 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 149045 0 0 0 140310 90 0 0 20 0 3 0 331280423 605233152 121133 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 147762 121133 199 433 0 147326 0\n[pid=21125/tid=21127] ppid=21123 vsize=591048 CPUtime=700.16 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 103994 0 0 0 69926 90 0 0 20 0 3 0 331280439 605233152 121133 33554432000 4194304 5964478 140733920507744 140045557254136 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=591048 CPUtime=700.28 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 37651 0 0 0 70010 18 0 0 20 0 3 0 331280439 605233152 121133 33554432000 4194304 5964478 140733920507744 140045546764600 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\n/proc/loadavg: 4.00 3.82 3.05 5/179 21136\n/proc/meminfo: memFree=27261556/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=591048 CPUtime=1523.96 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 149520 0 0 0 152305 91 0 0 20 0 3 0 331280423 605233152 121274 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 147762 121274 199 433 0 147326 0\n[pid=21125/tid=21127] ppid=21123 vsize=591048 CPUtime=759.97 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 104046 0 0 0 75906 91 0 0 20 0 3 0 331280439 605233152 121274 33554432000 4194304 5964478 140733920507744 140045557254136 4399915 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=591048 CPUtime=760.14 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 38074 0 0 0 75995 19 0 0 20 0 3 0 331280439 605233152 121274 33554432000 4194304 5964478 140733920507744 140045546764952 4403677 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\n/proc/loadavg: 4.00 3.85 3.11 5/179 21136\n/proc/meminfo: memFree=27250196/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=591048 CPUtime=1643.92 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 152537 0 0 0 164299 93 0 0 20 0 3 0 331280423 605233152 124039 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 147762 124039 199 433 0 147326 0\n[pid=21125/tid=21127] ppid=21123 vsize=591048 CPUtime=819.8 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 106811 0 0 0 81886 94 0 0 20 0 3 0 331280439 605233152 124039 33554432000 4194304 5964478 140733920507744 140045557253944 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=591048 CPUtime=819.98 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 38326 0 0 0 81978 20 0 0 20 0 3 0 331280439 605233152 124039 33554432000 4194304 5964478 140733920507744 140045546764952 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\n/proc/loadavg: 4.00 3.87 3.16 5/179 21136\n/proc/meminfo: memFree=27214756/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=591048 CPUtime=1763.87 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 161331 0 0 0 176286 101 0 0 20 0 3 0 331280423 605233152 132683 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 147762 132683 199 433 0 147326 0\n[pid=21125/tid=21127] ppid=21123 vsize=591048 CPUtime=879.62 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 115304 0 0 0 87859 103 0 0 20 0 3 0 331280439 605233152 132683 33554432000 4194304 5964478 140733920507744 140045557253944 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=591048 CPUtime=879.82 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 38627 0 0 0 87961 21 0 0 20 0 3 0 331280439 605233152 132683 33554432000 4194304 5964478 140733920507744 140045546764952 4403719 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\n/proc/loadavg: 3.85 3.85 3.16 5/179 21178\n/proc/meminfo: memFree=27542264/32873852 swapFree=7624/7624\n[pid=21125] ppid=21123 vsize=656584 CPUtime=1800.08 cores=0,2,4,6\n/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 163290 0 0 0 179904 104 0 0 20 0 3 0 331280423 672342016 134537 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0\n/proc/21125/statm: 164146 134537 199 433 0 163710 0\n[pid=21125/tid=21127] ppid=21123 vsize=656584 CPUtime=897.68 cores=0,2,4,6\n/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 117161 0 0 0 89662 106 0 0 20 0 3 0 331280439 672342016 134537 33554432000 4194304 5964478 140733920507744 140045557254136 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0\n[pid=21125/tid=21128] ppid=21123 vsize=656584 CPUtime=897.88 cores=0,2,4,6\n/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 38729 0 0 0 89766 22 0 0 20 0 3 0 331280439 672342016 134537 33554432000 4194304 5964478 140733920507744 140045546764952 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0\nCurrent children cumulated vsize (KiB) 656584\n# wait4(...,&childrusage) returns 21125 and gives\nReal time (s): 900.421\nMax. virtual memory (cumulated for all children) (KiB): 656584\nmaximum resident set size= 538156\npage reclaims= 163292\nrunsolver used 1.76073 second user time and 5.03523 second system time\nBegin job on node131 at 2012-06-02 17:39:10\nBENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb\nRUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725773-1338651550/watcher-3725773-1338651550 -o /tmp/evaluation-result-3725773-1338651550/solver-3725773-1338651550 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725773-1338651550.opb\nMD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992\nMemFree:        28358844 kB\nBuffers:          539308 kB\nCached:          2992572 kB\nActive:          1485156 kB\nInactive:        2170420 kB\nActive(anon):     120060 kB\nActive(file):    1365096 kB\nInactive(file):  2166744 kB\nDirty:             14064 kB\nAnonPages:        128204 kB\nSlab:             719740 kB\nCommitted_AS:     178368 kB\nEnd job on node131 at 2012-06-02 17:54:12