notebooks/dim_reduction.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 2,
   "id": "3fe52808-a0fc-4555-8b7f-c31904cff7e2",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "80"
      ]
     },
     "execution_count": 2,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from tokenizers import Tokenizer\n",
    "from transformers import PreTrainedTokenizerFast\n",
    "from tokenizers.models import WordLevel, BPE\n",
    "from tokenizers.pre_tokenizers import Whitespace,Split,ByteLevel, WhitespaceSplit\n",
    "from tokenizers.normalizers import Lowercase, NFKC\n",
    "import os\n",
    "import polars as pl\n",
    "from joblib import Parallel, delayed\n",
    "import multiprocessing\n",
    "import numpy as np\n",
    "from tqdm import tqdm\n",
    "import time\n",
    "import json\n",
    "from tokenizers.trainers import BpeTrainer, UnigramTrainer, WordLevelTrainer, WordPieceTrainer\n",
    "import gc\n",
    "from transformers import AutoConfig, AutoTokenizer, AutoModel, DataCollatorWithPadding\n",
    "\n",
    "multiprocessing.cpu_count()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "e16a21a6-9dbd-4153-9b1e-7a922599a136",
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "id": "9319d1a0-88c4-49f9-98cc-50adcc8c5732",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "7.1171189760789275 GB\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "<div><style>\n",
       ".dataframe > thead > tr,\n",
       ".dataframe > tbody > tr {\n",
       "  text-align: right;\n",
       "  white-space: pre-wrap;\n",
       "}\n",
       "</style>\n",
       "<small>shape: (98_415_610, 4)</small><table border=\"1\" class=\"dataframe\"><thead><tr><th>molecule</th><th>BRD4</th><th>HSA</th><th>sEH</th></tr><tr><td>str</td><td>u8</td><td>u8</td><td>u8</td></tr></thead><tbody><tr><td>&quot;C#CCOc1ccc(CNc…</td><td>0</td><td>0</td><td>0</td></tr><tr><td>&quot;C#CCOc1ccc(CNc…</td><td>0</td><td>0</td><td>0</td></tr><tr><td>&quot;C#CCOc1ccc(CNc…</td><td>0</td><td>0</td><td>0</td></tr><tr><td>&quot;C#CCOc1ccc(CNc…</td><td>0</td><td>0</td><td>0</td></tr><tr><td>&quot;C#CCOc1ccc(CNc…</td><td>0</td><td>0</td><td>0</td></tr><tr><td>&hellip;</td><td>&hellip;</td><td>&hellip;</td><td>&hellip;</td></tr><tr><td>&quot;[N-]=[N+]=NCCC…</td><td>0</td><td>0</td><td>0</td></tr><tr><td>&quot;[N-]=[N+]=NCCC…</td><td>0</td><td>0</td><td>0</td></tr><tr><td>&quot;[N-]=[N+]=NCCC…</td><td>0</td><td>0</td><td>0</td></tr><tr><td>&quot;[N-]=[N+]=NCCC…</td><td>0</td><td>0</td><td>0</td></tr><tr><td>&quot;[N-]=[N+]=NCCC…</td><td>0</td><td>0</td><td>0</td></tr></tbody></table></div>"
      ],
      "text/plain": [
       "shape: (98_415_610, 4)\n",
       "┌───────────────────────────────────┬──────┬─────┬─────┐\n",
       "│ molecule                          ┆ BRD4 ┆ HSA ┆ sEH │\n",
       "│ ---                               ┆ ---  ┆ --- ┆ --- │\n",
       "│ str                               ┆ u8   ┆ u8  ┆ u8  │\n",
       "╞═══════════════════════════════════╪══════╪═════╪═════╡\n",
       "│ C#CCOc1ccc(CNc2nc(NCC3CCCN3c3ccc… ┆ 0    ┆ 0   ┆ 0   │\n",
       "│ C#CCOc1ccc(CNc2nc(NCc3cccc(Br)n3… ┆ 0    ┆ 0   ┆ 0   │\n",
       "│ C#CCOc1ccc(CNc2nc(NCc3ccc(OCC#C)… ┆ 0    ┆ 0   ┆ 0   │\n",
       "│ C#CCOc1ccc(CNc2nc(NCCNC(=O)C(=C)… ┆ 0    ┆ 0   ┆ 0   │\n",
       "│ C#CCOc1ccc(CNc2nc(NCC(=O)NCC=C)n… ┆ 0    ┆ 0   ┆ 0   │\n",
       "│ …                                 ┆ …    ┆ …   ┆ …   │\n",
       "│ [N-]=[N+]=NCCC[C@H](Nc1nc(Nc2noc… ┆ 0    ┆ 0   ┆ 0   │\n",
       "│ [N-]=[N+]=NCCC[C@H](Nc1nc(Nc2nnc… ┆ 0    ┆ 0   ┆ 0   │\n",
       "│ [N-]=[N+]=NCCC[C@H](Nc1nc(Nc2nnc… ┆ 0    ┆ 0   ┆ 0   │\n",
       "│ [N-]=[N+]=NCCC[C@H](Nc1nc(Nc2nnn… ┆ 0    ┆ 0   ┆ 0   │\n",
       "│ [N-]=[N+]=NCCC[C@H](Nc1nc(Nc2noc… ┆ 0    ┆ 0   ┆ 0   │\n",
       "└───────────────────────────────────┴──────┴─────┴─────┘"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "train_df = pl.scan_csv('/home/dangnh36/datasets/competitions/leash_belka/processed/train_v2.csv').select(\n",
    "        pl.col('molecule'),\n",
    "#         pl.col('bb1', 'bb2', 'bb3').cast(pl.UInt16),\n",
    "        pl.col('BRD4', 'HSA', 'sEH').cast(pl.UInt8),\n",
    "    ).collect()\n",
    "print(train_df.estimated_size('gb'), 'GB')\n",
    "train_df"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "ae3bbce7-d7c9-4335-b39e-afa642dbcaec",
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "id": "31d79b39-571a-43d5-9b22-e2dfef953ecb",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "0.06128192972391844 GB\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "<div><style>\n",
       ".dataframe > thead > tr,\n",
       ".dataframe > tbody > tr {\n",
       "  text-align: right;\n",
       "  white-space: pre-wrap;\n",
       "}\n",
       "</style>\n",
       "<small>shape: (878_022, 1)</small><table border=\"1\" class=\"dataframe\"><thead><tr><th>molecule</th></tr><tr><td>str</td></tr></thead><tbody><tr><td>&quot;C#CCCC[C@H](Nc…</td></tr><tr><td>&quot;C#CCCC[C@H](Nc…</td></tr><tr><td>&quot;C#CCCC[C@H](Nc…</td></tr><tr><td>&quot;C#CCCC[C@H](Nc…</td></tr><tr><td>&quot;C#CCCC[C@H](Nc…</td></tr><tr><td>&hellip;</td></tr><tr><td>&quot;Cn1ncc2cc(Nc3n…</td></tr><tr><td>&quot;[N-]=[N+]=NCCC…</td></tr><tr><td>&quot;COC(=O)c1ccnc(…</td></tr><tr><td>&quot;COC1CCC(CCNc2n…</td></tr><tr><td>&quot;[N-]=[N+]=NCCC…</td></tr></tbody></table></div>"
      ],
      "text/plain": [
       "shape: (878_022, 1)\n",
       "┌───────────────────────────────────┐\n",
       "│ molecule                          │\n",
       "│ ---                               │\n",
       "│ str                               │\n",
       "╞═══════════════════════════════════╡\n",
       "│ C#CCCC[C@H](Nc1nc(Nc2ccc(C=C)cc2… │\n",
       "│ C#CCCC[C@H](Nc1nc(Nc2ccc(C=C)cc2… │\n",
       "│ C#CCCC[C@H](Nc1nc(NCC2(O)CCCC2(C… │\n",
       "│ C#CCCC[C@H](Nc1nc(Nc2ccc(C=C)cc2… │\n",
       "│ C#CCCC[C@H](Nc1nc(NCC2CCC(SC)CC2… │\n",
       "│ …                                 │\n",
       "│ Cn1ncc2cc(Nc3nc(Nc4nncs4)nc(N[C@… │\n",
       "│ [N-]=[N+]=NCCC[C@H](Nc1nc(NCC2CC… │\n",
       "│ COC(=O)c1ccnc(Nc2nc(Nc3noc4ccc(F… │\n",
       "│ COC1CCC(CCNc2nc(Nc3noc4ccc(F)cc3… │\n",
       "│ [N-]=[N+]=NCCC[C@H](Nc1nc(NCc2cc… │\n",
       "└───────────────────────────────────┘"
      ]
     },
     "execution_count": 5,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "test_df = pl.scan_csv('/home/dangnh36/datasets/competitions/leash_belka/processed/test_v4.csv').select(\n",
    "        pl.col('molecule'),\n",
    "#         pl.col('bb1', 'bb2', 'bb3').cast(pl.UInt16),\n",
    "        # pl.col('BRD4', 'HSA', 'sEH').cast(pl.UInt8),\n",
    "    ).collect()\n",
    "print(test_df.estimated_size('gb'), 'GB')\n",
    "test_df"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "69c4e588-fb15-4632-8b65-8f849f7b86e8",
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "markdown",
   "id": "e713616a-bed0-4def-9f80-555a5c1df8b9",
   "metadata": {},
   "source": [
    "A feature is useless if:\n",
    "\n",
    "- It is constant in test/train\n",
    "- Low variant?\n",
    "- Unique values in test is ALL same side (> or <) unique values in train (Tree models)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 26,
   "id": "a0438563-71f0-4a45-a529-9067c8c5bc1a",
   "metadata": {},
   "outputs": [],
   "source": [
    "def analyze_constant_features(features):\n",
    "    assert features.ndim==2\n",
    "    n_rows, n_cols = features.shape\n",
    "    ignore_cols = []\n",
    "    for i in range(n_cols):\n",
    "        values, counts = np.unique(features[:, i], return_counts=True)\n",
    "        if len(values) > 3:\n",
    "            print(f'{i}: count={len(values)}')\n",
    "        else:\n",
    "            value2count = {v:c for v, c in zip(values, counts)}\n",
    "            print(f'{i}: count={len(values)} {value2count}')\n",
    "\n",
    "        if len(values) == 1:\n",
    "            ignore_cols.append(i)\n",
    "    print('IGNORE COLS:\\n', ignore_cols)\n",
    "    return ignore_cols\n",
    "\n",
    "\n",
    "def chunk_analyze_constant_features(features, chunksize = 5_000_000, unpackbits = False):\n",
    "    assert features.ndim==2\n",
    "\n",
    "    stats = {}\n",
    "    for chunk_idx, start in enumerate(range(0, len(features), chunksize)):\n",
    "        end = min(start + chunksize, len(features))\n",
    "        chunk_features = features[start:end]\n",
    "        if unpackbits:\n",
    "            chunk_features = np.unpackbits(chunk_features, axis = -1)\n",
    "        _n_rows, n_cols = chunk_features.shape\n",
    "        for i in tqdm(range(n_cols)):\n",
    "            values, counts = np.unique(chunk_features[:, i], return_counts=True)\n",
    "            for v, c in zip(values, counts):\n",
    "                e = stats.setdefault(i, {}).setdefault(v, 0)\n",
    "                stats[i][v] = e + c\n",
    "\n",
    "        print(f'---CHUNK {chunk_idx}---')\n",
    "        # print(stats)\n",
    "    ignore_cols = [col_idx for col_idx, v in stats.items() if len(v) == 1]\n",
    "    print('IGNORE COLS:\\n', ignore_cols)\n",
    "    return ignore_cols, stats"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "691d422c-5d16-4134-8b89-738e2a82c93f",
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "id": "e2b1b188-13ef-4959-bd8e-4a226555afa8",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(98415610, 256)"
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "train_features = np.load('/home/dangnh36/datasets/competitions/leash_belka/processed/features/ecfp6/train.npy')\n",
    "train_features.shape"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "id": "0dd598dd-783b-4968-ad1a-e172f4fa7264",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(878022, 256)"
      ]
     },
     "execution_count": 9,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "test_features = np.load('/home/dangnh36/datasets/competitions/leash_belka/processed/features/ecfp6/test.npy')\n",
    "test_features.shape"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "38291f0f-0d46-4339-99e0-be3128990d52",
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "id": "fa03c450-4842-425a-9016-587664655ebb",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(878022, 2048)"
      ]
     },
     "execution_count": 12,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "test_features = np.unpackbits(test_features, axis = -1)\n",
    "test_features.shape"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "id": "6d51ec03-060b-4a00-87ff-1a8343c17a7a",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "0: count=2 {0: 857795, 1: 20227}\n",
      "1: count=2 {0: 629138, 1: 248884}\n",
      "2: count=2 {0: 833437, 1: 44585}\n",
      "3: count=2 {0: 859192, 1: 18830}\n",
      "4: count=2 {0: 870499, 1: 7523}\n",
      "5: count=2 {0: 858606, 1: 19416}\n",
      "6: count=2 {0: 871321, 1: 6701}\n",
      "7: count=2 {0: 860275, 1: 17747}\n",
      "8: count=2 {0: 849329, 1: 28693}\n",
      "9: count=2 {0: 858108, 1: 19914}\n",
      "10: count=2 {0: 859054, 1: 18968}\n",
      "11: count=2 {0: 853372, 1: 24650}\n",
      "12: count=2 {0: 862223, 1: 15799}\n",
      "13: count=2 {0: 809900, 1: 68122}\n",
      "14: count=2 {0: 814133, 1: 63889}\n",
      "15: count=2 {0: 865062, 1: 12960}\n",
      "16: count=2 {0: 855843, 1: 22179}\n",
      "17: count=2 {0: 870455, 1: 7567}\n",
      "18: count=2 {0: 861718, 1: 16304}\n",
      "19: count=2 {0: 865319, 1: 12703}\n",
      "20: count=2 {0: 867409, 1: 10613}\n",
      "21: count=2 {0: 866532, 1: 11490}\n",
      "22: count=2 {0: 868239, 1: 9783}\n",
      "23: count=2 {0: 848895, 1: 29127}\n",
      "24: count=2 {0: 860502, 1: 17520}\n",
      "25: count=2 {0: 863918, 1: 14104}\n",
      "26: count=2 {0: 864690, 1: 13332}\n",
      "27: count=2 {0: 852864, 1: 25158}\n",
      "28: count=2 {0: 867386, 1: 10636}\n",
      "29: count=2 {0: 795502, 1: 82520}\n",
      "30: count=2 {0: 866032, 1: 11990}\n",
      "31: count=2 {0: 870184, 1: 7838}\n",
      "32: count=2 {0: 842493, 1: 35529}\n",
      "33: count=2 {0: 860673, 1: 17349}\n",
      "34: count=2 {0: 853015, 1: 25007}\n",
      "35: count=2 {0: 863033, 1: 14989}\n",
      "36: count=2 {0: 846348, 1: 31674}\n",
      "37: count=2 {0: 861581, 1: 16441}\n",
      "38: count=2 {0: 864013, 1: 14009}\n",
      "39: count=2 {0: 858537, 1: 19485}\n",
      "40: count=2 {0: 856739, 1: 21283}\n",
      "41: count=2 {0: 779791, 1: 98231}\n",
      "42: count=2 {0: 838171, 1: 39851}\n",
      "43: count=2 {0: 795312, 1: 82710}\n",
      "44: count=2 {0: 863938, 1: 14084}\n",
      "45: count=2 {0: 821551, 1: 56471}\n",
      "46: count=2 {0: 856867, 1: 21155}\n",
      "47: count=2 {0: 812867, 1: 65155}\n",
      "48: count=2 {0: 872416, 1: 5606}\n",
      "49: count=2 {0: 869074, 1: 8948}\n",
      "50: count=2 {0: 855714, 1: 22308}\n",
      "51: count=2 {0: 846126, 1: 31896}\n",
      "52: count=2 {0: 869815, 1: 8207}\n",
      "53: count=2 {0: 830654, 1: 47368}\n",
      "54: count=2 {0: 862843, 1: 15179}\n",
      "55: count=2 {0: 850914, 1: 27108}\n",
      "56: count=2 {0: 867570, 1: 10452}\n",
      "57: count=2 {0: 856484, 1: 21538}\n",
      "58: count=2 {0: 843108, 1: 34914}\n",
      "59: count=2 {0: 849877, 1: 28145}\n",
      "60: count=2 {0: 849723, 1: 28299}\n",
      "61: count=2 {0: 747516, 1: 130506}\n",
      "62: count=2 {0: 836652, 1: 41370}\n",
      "63: count=2 {0: 839233, 1: 38789}\n",
      "64: count=2 {0: 869797, 1: 8225}\n",
      "65: count=2 {0: 857418, 1: 20604}\n",
      "66: count=2 {0: 867919, 1: 10103}\n",
      "67: count=2 {0: 805745, 1: 72277}\n",
      "68: count=2 {0: 867483, 1: 10539}\n",
      "69: count=2 {0: 853691, 1: 24331}\n",
      "70: count=2 {0: 866687, 1: 11335}\n",
      "71: count=2 {0: 864567, 1: 13455}\n",
      "72: count=2 {0: 838164, 1: 39858}\n",
      "73: count=2 {0: 859940, 1: 18082}\n",
      "74: count=2 {0: 786100, 1: 91922}\n",
      "75: count=2 {0: 854772, 1: 23250}\n",
      "76: count=2 {0: 823405, 1: 54617}\n",
      "77: count=2 {0: 837929, 1: 40093}\n",
      "78: count=2 {0: 849860, 1: 28162}\n",
      "79: count=2 {0: 787554, 1: 90468}\n",
      "80: count=2 {0: 286101, 1: 591921}\n",
      "81: count=2 {0: 865782, 1: 12240}\n",
      "82: count=2 {0: 861631, 1: 16391}\n",
      "83: count=2 {0: 853872, 1: 24150}\n",
      "84: count=2 {0: 810705, 1: 67317}\n",
      "85: count=2 {0: 863594, 1: 14428}\n",
      "86: count=2 {0: 857167, 1: 20855}\n",
      "87: count=2 {0: 846569, 1: 31453}\n",
      "88: count=2 {0: 866768, 1: 11254}\n",
      "89: count=2 {0: 859775, 1: 18247}\n",
      "90: count=2 {0: 836240, 1: 41782}\n",
      "91: count=2 {0: 862216, 1: 15806}\n",
      "92: count=2 {0: 824316, 1: 53706}\n",
      "93: count=2 {0: 863269, 1: 14753}\n",
      "94: count=2 {0: 803043, 1: 74979}\n",
      "95: count=2 {0: 860351, 1: 17671}\n",
      "96: count=2 {0: 865429, 1: 12593}\n",
      "97: count=2 {0: 865532, 1: 12490}\n",
      "98: count=2 {0: 871692, 1: 6330}\n",
      "99: count=2 {0: 866322, 1: 11700}\n",
      "100: count=2 {0: 861368, 1: 16654}\n",
      "101: count=2 {0: 864519, 1: 13503}\n",
      "102: count=2 {0: 834335, 1: 43687}\n",
      "103: count=2 {0: 864191, 1: 13831}\n",
      "104: count=2 {0: 863452, 1: 14570}\n",
      "105: count=2 {0: 864836, 1: 13186}\n",
      "106: count=2 {0: 867782, 1: 10240}\n",
      "107: count=2 {0: 864260, 1: 13762}\n",
      "108: count=2 {0: 851005, 1: 27017}\n",
      "109: count=2 {0: 874571, 1: 3451}\n",
      "110: count=2 {0: 861503, 1: 16519}\n",
      "111: count=2 {0: 871910, 1: 6112}\n",
      "112: count=2 {0: 865098, 1: 12924}\n",
      "113: count=2 {0: 870180, 1: 7842}\n",
      "114: count=2 {0: 680697, 1: 197325}\n",
      "115: count=2 {0: 857442, 1: 20580}\n",
      "116: count=2 {0: 843286, 1: 34736}\n",
      "117: count=2 {0: 849400, 1: 28622}\n",
      "118: count=2 {0: 849716, 1: 28306}\n",
      "119: count=2 {0: 752791, 1: 125231}\n",
      "120: count=2 {0: 795327, 1: 82695}\n",
      "121: count=2 {0: 823777, 1: 54245}\n",
      "122: count=2 {0: 850242, 1: 27780}\n",
      "123: count=2 {0: 855052, 1: 22970}\n",
      "124: count=2 {0: 869681, 1: 8341}\n",
      "125: count=2 {0: 863973, 1: 14049}\n",
      "126: count=2 {0: 814315, 1: 63707}\n",
      "127: count=2 {0: 861444, 1: 16578}\n",
      "128: count=2 {0: 855695, 1: 22327}\n",
      "129: count=2 {0: 859989, 1: 18033}\n",
      "130: count=2 {0: 795337, 1: 82685}\n",
      "131: count=2 {0: 850190, 1: 27832}\n",
      "132: count=2 {0: 869702, 1: 8320}\n",
      "133: count=2 {0: 847283, 1: 30739}\n",
      "134: count=2 {0: 869982, 1: 8040}\n",
      "135: count=2 {0: 869046, 1: 8976}\n",
      "136: count=2 {0: 826422, 1: 51600}\n",
      "137: count=2 {0: 873375, 1: 4647}\n",
      "138: count=2 {0: 839343, 1: 38679}\n",
      "139: count=2 {0: 866324, 1: 11698}\n",
      "140: count=2 {0: 834424, 1: 43598}\n",
      "141: count=2 {0: 857712, 1: 20310}\n",
      "142: count=2 {0: 854223, 1: 23799}\n",
      "143: count=2 {0: 861258, 1: 16764}\n",
      "144: count=2 {0: 867077, 1: 10945}\n",
      "145: count=2 {0: 819819, 1: 58203}\n",
      "146: count=2 {0: 852903, 1: 25119}\n",
      "147: count=2 {0: 846589, 1: 31433}\n",
      "148: count=2 {0: 870883, 1: 7139}\n",
      "149: count=2 {0: 846485, 1: 31537}\n",
      "150: count=2 {0: 860572, 1: 17450}\n",
      "151: count=2 {0: 874541, 1: 3481}\n",
      "152: count=2 {0: 868907, 1: 9115}\n",
      "153: count=2 {0: 869782, 1: 8240}\n",
      "154: count=2 {0: 871102, 1: 6920}\n",
      "155: count=2 {0: 860320, 1: 17702}\n",
      "156: count=2 {0: 867697, 1: 10325}\n",
      "157: count=2 {0: 841130, 1: 36892}\n",
      "158: count=2 {0: 855094, 1: 22928}\n",
      "159: count=2 {0: 868913, 1: 9109}\n",
      "160: count=2 {0: 855522, 1: 22500}\n",
      "161: count=2 {0: 859925, 1: 18097}\n",
      "162: count=2 {0: 786982, 1: 91040}\n",
      "163: count=2 {0: 867225, 1: 10797}\n",
      "164: count=2 {0: 860904, 1: 17118}\n",
      "165: count=2 {0: 845518, 1: 32504}\n",
      "166: count=2 {0: 846344, 1: 31678}\n",
      "167: count=2 {0: 859341, 1: 18681}\n",
      "168: count=2 {0: 850631, 1: 27391}\n",
      "169: count=2 {0: 866969, 1: 11053}\n",
      "170: count=2 {0: 848174, 1: 29848}\n",
      "171: count=2 {0: 812893, 1: 65129}\n",
      "172: count=2 {0: 859504, 1: 18518}\n",
      "173: count=2 {0: 850395, 1: 27627}\n",
      "174: count=2 {0: 858205, 1: 19817}\n",
      "175: count=2 {0: 867941, 1: 10081}\n",
      "176: count=2 {0: 844561, 1: 33461}\n",
      "177: count=2 {0: 870425, 1: 7597}\n",
      "178: count=2 {0: 850107, 1: 27915}\n",
      "179: count=2 {0: 870438, 1: 7584}\n",
      "180: count=2 {0: 847529, 1: 30493}\n",
      "181: count=2 {0: 871964, 1: 6058}\n",
      "182: count=2 {0: 863747, 1: 14275}\n",
      "183: count=2 {0: 832000, 1: 46022}\n",
      "184: count=2 {0: 839467, 1: 38555}\n",
      "185: count=2 {0: 870550, 1: 7472}\n",
      "186: count=2 {0: 853320, 1: 24702}\n",
      "187: count=2 {0: 848798, 1: 29224}\n",
      "188: count=2 {0: 796916, 1: 81106}\n",
      "189: count=2 {0: 863822, 1: 14200}\n",
      "190: count=2 {0: 859831, 1: 18191}\n",
      "191: count=2 {0: 705568, 1: 172454}\n",
      "192: count=2 {0: 847104, 1: 30918}\n",
      "193: count=2 {0: 823234, 1: 54788}\n",
      "194: count=2 {0: 847315, 1: 30707}\n",
      "195: count=2 {0: 827221, 1: 50801}\n",
      "196: count=2 {0: 867415, 1: 10607}\n",
      "197: count=2 {0: 816282, 1: 61740}\n",
      "198: count=2 {0: 860171, 1: 17851}\n",
      "199: count=2 {0: 867842, 1: 10180}\n",
      "200: count=2 {0: 862525, 1: 15497}\n",
      "201: count=2 {0: 860023, 1: 17999}\n",
      "202: count=2 {0: 856079, 1: 21943}\n",
      "203: count=2 {0: 823701, 1: 54321}\n",
      "204: count=2 {0: 837175, 1: 40847}\n",
      "205: count=2 {0: 858430, 1: 19592}\n",
      "206: count=2 {0: 862610, 1: 15412}\n",
      "207: count=2 {0: 843122, 1: 34900}\n",
      "208: count=2 {0: 864033, 1: 13989}\n",
      "209: count=2 {0: 799294, 1: 78728}\n",
      "210: count=2 {0: 863275, 1: 14747}\n",
      "211: count=2 {0: 868785, 1: 9237}\n",
      "212: count=2 {0: 862120, 1: 15902}\n",
      "213: count=2 {0: 857939, 1: 20083}\n",
      "214: count=2 {0: 834578, 1: 43444}\n",
      "215: count=2 {0: 870890, 1: 7132}\n",
      "216: count=2 {0: 782358, 1: 95664}\n",
      "217: count=2 {0: 854722, 1: 23300}\n",
      "218: count=2 {0: 855516, 1: 22506}\n",
      "219: count=2 {0: 856356, 1: 21666}\n",
      "220: count=2 {0: 866267, 1: 11755}\n",
      "221: count=2 {0: 836857, 1: 41165}\n",
      "222: count=2 {0: 781033, 1: 96989}\n",
      "223: count=2 {0: 858022, 1: 20000}\n",
      "224: count=2 {0: 872307, 1: 5715}\n",
      "225: count=2 {0: 848842, 1: 29180}\n",
      "226: count=2 {0: 861330, 1: 16692}\n",
      "227: count=2 {0: 856851, 1: 21171}\n",
      "228: count=2 {0: 869359, 1: 8663}\n",
      "229: count=2 {0: 839172, 1: 38850}\n",
      "230: count=2 {0: 862976, 1: 15046}\n",
      "231: count=2 {0: 821303, 1: 56719}\n",
      "232: count=2 {0: 872540, 1: 5482}\n",
      "233: count=2 {0: 833425, 1: 44597}\n",
      "234: count=2 {0: 868108, 1: 9914}\n",
      "235: count=2 {0: 818707, 1: 59315}\n",
      "236: count=2 {0: 864860, 1: 13162}\n",
      "237: count=2 {0: 844714, 1: 33308}\n",
      "238: count=2 {0: 860878, 1: 17144}\n",
      "239: count=2 {0: 869480, 1: 8542}\n",
      "240: count=2 {0: 871000, 1: 7022}\n",
      "241: count=2 {0: 828045, 1: 49977}\n",
      "242: count=2 {0: 725498, 1: 152524}\n",
      "243: count=2 {0: 861664, 1: 16358}\n",
      "244: count=2 {0: 863811, 1: 14211}\n",
      "245: count=2 {0: 857858, 1: 20164}\n",
      "246: count=2 {0: 826727, 1: 51295}\n",
      "247: count=2 {0: 857832, 1: 20190}\n",
      "248: count=2 {0: 838242, 1: 39780}\n",
      "249: count=2 {0: 802183, 1: 75839}\n",
      "250: count=2 {0: 864244, 1: 13778}\n",
      "251: count=2 {0: 840362, 1: 37660}\n",
      "252: count=2 {0: 847174, 1: 30848}\n",
      "253: count=2 {0: 861199, 1: 16823}\n",
      "254: count=2 {0: 865678, 1: 12344}\n",
      "255: count=2 {0: 703481, 1: 174541}\n",
      "256: count=2 {0: 859278, 1: 18744}\n",
      "257: count=2 {0: 858960, 1: 19062}\n",
      "258: count=2 {0: 872523, 1: 5499}\n",
      "259: count=2 {0: 841818, 1: 36204}\n",
      "260: count=2 {0: 866950, 1: 11072}\n",
      "261: count=2 {0: 863943, 1: 14079}\n",
      "262: count=2 {0: 845577, 1: 32445}\n",
      "263: count=2 {0: 837777, 1: 40245}\n",
      "264: count=2 {0: 849365, 1: 28657}\n",
      "265: count=2 {0: 856539, 1: 21483}\n",
      "266: count=2 {0: 846370, 1: 31652}\n",
      "267: count=2 {0: 859974, 1: 18048}\n",
      "268: count=2 {0: 822513, 1: 55509}\n",
      "269: count=2 {0: 867990, 1: 10032}\n",
      "270: count=2 {0: 859078, 1: 18944}\n",
      "271: count=2 {0: 857371, 1: 20651}\n",
      "272: count=2 {0: 854846, 1: 23176}\n",
      "273: count=2 {0: 862591, 1: 15431}\n",
      "274: count=2 {0: 853367, 1: 24655}\n",
      "275: count=2 {0: 870817, 1: 7205}\n",
      "276: count=2 {0: 868911, 1: 9111}\n",
      "277: count=2 {0: 861049, 1: 16973}\n",
      "278: count=2 {0: 845375, 1: 32647}\n",
      "279: count=2 {0: 859128, 1: 18894}\n",
      "280: count=2 {0: 866873, 1: 11149}\n",
      "281: count=2 {0: 837799, 1: 40223}\n",
      "282: count=2 {0: 871414, 1: 6608}\n",
      "283: count=2 {0: 797960, 1: 80062}\n",
      "284: count=2 {0: 843153, 1: 34869}\n",
      "285: count=2 {0: 870729, 1: 7293}\n",
      "286: count=2 {0: 850221, 1: 27801}\n",
      "287: count=2 {0: 856706, 1: 21316}\n",
      "288: count=2 {0: 855474, 1: 22548}\n",
      "289: count=2 {0: 837015, 1: 41007}\n",
      "290: count=2 {0: 863490, 1: 14532}\n",
      "291: count=2 {0: 848605, 1: 29417}\n",
      "292: count=2 {0: 839889, 1: 38133}\n",
      "293: count=2 {0: 837902, 1: 40120}\n",
      "294: count=2 {0: 750524, 1: 127498}\n",
      "295: count=2 {0: 772601, 1: 105421}\n",
      "296: count=2 {0: 792358, 1: 85664}\n",
      "297: count=2 {0: 863291, 1: 14731}\n",
      "298: count=2 {0: 857007, 1: 21015}\n",
      "299: count=2 {0: 862191, 1: 15831}\n",
      "300: count=2 {0: 859594, 1: 18428}\n",
      "301: count=2 {0: 852621, 1: 25401}\n",
      "302: count=2 {0: 858298, 1: 19724}\n",
      "303: count=2 {0: 867091, 1: 10931}\n",
      "304: count=2 {0: 860736, 1: 17286}\n",
      "305: count=2 {0: 820334, 1: 57688}\n",
      "306: count=2 {0: 847080, 1: 30942}\n",
      "307: count=2 {0: 864799, 1: 13223}\n",
      "308: count=2 {0: 867516, 1: 10506}\n",
      "309: count=2 {0: 836619, 1: 41403}\n",
      "310: count=2 {0: 669647, 1: 208375}\n",
      "311: count=2 {0: 850137, 1: 27885}\n",
      "312: count=2 {0: 850068, 1: 27954}\n",
      "313: count=2 {0: 859359, 1: 18663}\n",
      "314: count=2 {0: 755677, 1: 122345}\n",
      "315: count=2 {0: 851402, 1: 26620}\n",
      "316: count=2 {0: 861497, 1: 16525}\n",
      "317: count=2 {0: 846723, 1: 31299}\n",
      "318: count=2 {0: 827920, 1: 50102}\n",
      "319: count=2 {0: 825393, 1: 52629}\n",
      "320: count=2 {0: 869817, 1: 8205}\n",
      "321: count=2 {0: 872187, 1: 5835}\n",
      "322: count=2 {0: 764426, 1: 113596}\n",
      "323: count=2 {0: 832671, 1: 45351}\n",
      "324: count=2 {0: 869204, 1: 8818}\n",
      "325: count=2 {0: 843560, 1: 34462}\n",
      "326: count=2 {0: 856899, 1: 21123}\n",
      "327: count=2 {0: 854967, 1: 23055}\n",
      "328: count=2 {0: 846241, 1: 31781}\n",
      "329: count=2 {0: 791623, 1: 86399}\n",
      "330: count=2 {0: 866554, 1: 11468}\n",
      "331: count=2 {0: 874384, 1: 3638}\n",
      "332: count=2 {0: 848326, 1: 29696}\n",
      "333: count=2 {0: 853650, 1: 24372}\n",
      "334: count=2 {0: 869356, 1: 8666}\n",
      "335: count=2 {0: 762226, 1: 115796}\n",
      "336: count=2 {0: 866645, 1: 11377}\n",
      "337: count=2 {0: 854764, 1: 23258}\n",
      "338: count=2 {0: 870699, 1: 7323}\n",
      "339: count=2 {0: 833460, 1: 44562}\n",
      "340: count=2 {0: 870128, 1: 7894}\n",
      "341: count=2 {0: 862550, 1: 15472}\n",
      "342: count=2 {0: 861983, 1: 16039}\n",
      "343: count=2 {0: 862643, 1: 15379}\n",
      "344: count=2 {0: 854824, 1: 23198}\n",
      "345: count=2 {0: 862691, 1: 15331}\n",
      "346: count=2 {0: 866309, 1: 11713}\n",
      "347: count=2 {0: 867548, 1: 10474}\n",
      "348: count=2 {0: 864978, 1: 13044}\n",
      "349: count=2 {0: 851885, 1: 26137}\n",
      "350: count=2 {0: 806558, 1: 71464}\n",
      "351: count=2 {0: 851931, 1: 26091}\n",
      "352: count=2 {0: 609705, 1: 268317}\n",
      "353: count=2 {0: 865162, 1: 12860}\n",
      "354: count=2 {0: 836936, 1: 41086}\n",
      "355: count=2 {0: 867283, 1: 10739}\n",
      "356: count=2 {0: 869909, 1: 8113}\n",
      "357: count=2 {0: 868143, 1: 9879}\n",
      "358: count=2 {0: 861284, 1: 16738}\n",
      "359: count=2 {0: 874560, 1: 3462}\n",
      "360: count=2 {0: 850750, 1: 27272}\n",
      "361: count=2 {0: 811068, 1: 66954}\n",
      "362: count=2 {0: 839212, 1: 38810}\n",
      "363: count=2 {0: 817280, 1: 60742}\n",
      "364: count=2 {0: 782418, 1: 95604}\n",
      "365: count=2 {0: 869666, 1: 8356}\n",
      "366: count=2 {0: 808108, 1: 69914}\n",
      "367: count=2 {0: 862023, 1: 15999}\n",
      "368: count=2 {0: 846584, 1: 31438}\n",
      "369: count=2 {0: 807709, 1: 70313}\n",
      "370: count=2 {0: 867422, 1: 10600}\n",
      "371: count=2 {0: 858205, 1: 19817}\n",
      "372: count=2 {0: 864958, 1: 13064}\n",
      "373: count=2 {0: 863867, 1: 14155}\n",
      "374: count=2 {0: 869319, 1: 8703}\n",
      "375: count=2 {0: 855268, 1: 22754}\n",
      "376: count=2 {0: 869864, 1: 8158}\n",
      "377: count=2 {0: 836535, 1: 41487}\n",
      "378: count=2 {0: 76743, 1: 801279}\n",
      "379: count=2 {0: 866184, 1: 11838}\n",
      "380: count=2 {0: 837939, 1: 40083}\n",
      "381: count=2 {0: 807415, 1: 70607}\n",
      "382: count=2 {0: 864050, 1: 13972}\n",
      "383: count=2 {0: 826948, 1: 51074}\n",
      "384: count=2 {0: 825453, 1: 52569}\n",
      "385: count=2 {0: 819107, 1: 58915}\n",
      "386: count=2 {0: 861656, 1: 16366}\n",
      "387: count=2 {0: 775354, 1: 102668}\n",
      "388: count=2 {0: 852852, 1: 25170}\n",
      "389: count=2 {0: 802781, 1: 75241}\n",
      "390: count=2 {0: 870044, 1: 7978}\n",
      "391: count=2 {0: 864746, 1: 13276}\n",
      "392: count=2 {0: 770525, 1: 107497}\n",
      "393: count=2 {0: 842455, 1: 35567}\n",
      "394: count=2 {0: 846279, 1: 31743}\n",
      "395: count=2 {0: 832928, 1: 45094}\n",
      "396: count=2 {0: 843518, 1: 34504}\n",
      "397: count=2 {0: 875339, 1: 2683}\n",
      "398: count=2 {0: 860369, 1: 17653}\n",
      "399: count=2 {0: 855517, 1: 22505}\n",
      "400: count=2 {0: 855046, 1: 22976}\n",
      "401: count=2 {0: 835046, 1: 42976}\n",
      "402: count=2 {0: 870448, 1: 7574}\n",
      "403: count=2 {0: 848356, 1: 29666}\n",
      "404: count=2 {0: 869126, 1: 8896}\n",
      "405: count=2 {0: 848317, 1: 29705}\n",
      "406: count=2 {0: 855640, 1: 22382}\n",
      "407: count=2 {0: 685617, 1: 192405}\n",
      "408: count=2 {0: 865542, 1: 12480}\n",
      "409: count=2 {0: 850347, 1: 27675}\n",
      "410: count=2 {0: 862191, 1: 15831}\n",
      "411: count=2 {0: 868943, 1: 9079}\n",
      "412: count=2 {0: 850783, 1: 27239}\n",
      "413: count=2 {0: 863894, 1: 14128}\n",
      "414: count=2 {0: 869925, 1: 8097}\n",
      "415: count=2 {0: 868817, 1: 9205}\n",
      "416: count=2 {0: 870537, 1: 7485}\n",
      "417: count=2 {0: 868955, 1: 9067}\n",
      "418: count=2 {0: 875914, 1: 2108}\n",
      "419: count=2 {0: 836399, 1: 41623}\n",
      "420: count=2 {0: 868519, 1: 9503}\n",
      "421: count=2 {0: 859845, 1: 18177}\n",
      "422: count=2 {0: 853900, 1: 24122}\n",
      "423: count=2 {0: 867037, 1: 10985}\n",
      "424: count=2 {0: 865357, 1: 12665}\n",
      "425: count=2 {0: 843570, 1: 34452}\n",
      "426: count=2 {0: 837668, 1: 40354}\n",
      "427: count=2 {0: 868122, 1: 9900}\n",
      "428: count=2 {0: 831852, 1: 46170}\n",
      "429: count=2 {0: 862188, 1: 15834}\n",
      "430: count=2 {0: 865898, 1: 12124}\n",
      "431: count=2 {0: 868232, 1: 9790}\n",
      "432: count=2 {0: 869901, 1: 8121}\n",
      "433: count=2 {0: 795551, 1: 82471}\n",
      "434: count=2 {0: 871034, 1: 6988}\n",
      "435: count=2 {0: 870644, 1: 7378}\n",
      "436: count=2 {0: 871057, 1: 6965}\n",
      "437: count=2 {0: 854197, 1: 23825}\n",
      "438: count=2 {0: 854131, 1: 23891}\n",
      "439: count=2 {0: 862559, 1: 15463}\n",
      "440: count=2 {0: 840248, 1: 37774}\n",
      "441: count=2 {0: 827480, 1: 50542}\n",
      "442: count=2 {0: 862337, 1: 15685}\n",
      "443: count=2 {0: 869669, 1: 8353}\n",
      "444: count=2 {0: 869741, 1: 8281}\n",
      "445: count=2 {0: 860059, 1: 17963}\n",
      "446: count=2 {0: 807887, 1: 70135}\n",
      "447: count=2 {0: 862425, 1: 15597}\n",
      "448: count=2 {0: 800031, 1: 77991}\n",
      "449: count=2 {0: 845850, 1: 32172}\n",
      "450: count=2 {0: 868850, 1: 9172}\n",
      "451: count=2 {0: 820560, 1: 57462}\n",
      "452: count=2 {0: 853084, 1: 24938}\n",
      "453: count=2 {0: 865846, 1: 12176}\n",
      "454: count=2 {0: 824890, 1: 53132}\n",
      "455: count=2 {0: 814959, 1: 63063}\n",
      "456: count=2 {0: 852406, 1: 25616}\n",
      "457: count=2 {0: 856471, 1: 21551}\n",
      "458: count=2 {0: 858307, 1: 19715}\n",
      "459: count=2 {0: 865146, 1: 12876}\n",
      "460: count=2 {0: 864249, 1: 13773}\n",
      "461: count=2 {0: 816992, 1: 61030}\n",
      "462: count=2 {0: 861611, 1: 16411}\n",
      "463: count=2 {0: 871017, 1: 7005}\n",
      "464: count=2 {0: 770295, 1: 107727}\n",
      "465: count=2 {0: 849329, 1: 28693}\n",
      "466: count=2 {0: 858226, 1: 19796}\n",
      "467: count=2 {0: 870340, 1: 7682}\n",
      "468: count=2 {0: 871302, 1: 6720}\n",
      "469: count=2 {0: 858735, 1: 19287}\n",
      "470: count=2 {0: 863198, 1: 14824}\n",
      "471: count=2 {0: 853432, 1: 24590}\n",
      "472: count=2 {0: 870935, 1: 7087}\n",
      "473: count=2 {0: 857467, 1: 20555}\n",
      "474: count=2 {0: 857252, 1: 20770}\n",
      "475: count=2 {0: 857054, 1: 20968}\n",
      "476: count=2 {0: 815571, 1: 62451}\n",
      "477: count=2 {0: 865069, 1: 12953}\n",
      "478: count=2 {0: 852500, 1: 25522}\n",
      "479: count=2 {0: 864474, 1: 13548}\n",
      "480: count=2 {0: 866016, 1: 12006}\n",
      "481: count=2 {0: 865317, 1: 12705}\n",
      "482: count=2 {0: 864824, 1: 13198}\n",
      "483: count=2 {0: 865050, 1: 12972}\n",
      "484: count=2 {0: 808948, 1: 69074}\n",
      "485: count=2 {0: 775150, 1: 102872}\n",
      "486: count=2 {0: 431709, 1: 446313}\n",
      "487: count=2 {0: 857203, 1: 20819}\n",
      "488: count=2 {0: 739121, 1: 138901}\n",
      "489: count=2 {0: 825000, 1: 53022}\n",
      "490: count=2 {0: 825296, 1: 52726}\n",
      "491: count=2 {0: 535842, 1: 342180}\n",
      "492: count=2 {0: 870818, 1: 7204}\n",
      "493: count=2 {0: 834249, 1: 43773}\n",
      "494: count=2 {0: 867999, 1: 10023}\n",
      "495: count=2 {0: 866847, 1: 11175}\n",
      "496: count=2 {0: 818819, 1: 59203}\n",
      "497: count=2 {0: 812445, 1: 65577}\n",
      "498: count=2 {0: 848301, 1: 29721}\n",
      "499: count=2 {0: 864997, 1: 13025}\n",
      "500: count=2 {0: 872692, 1: 5330}\n",
      "501: count=2 {0: 863278, 1: 14744}\n",
      "502: count=2 {0: 813543, 1: 64479}\n",
      "503: count=2 {0: 761207, 1: 116815}\n",
      "504: count=2 {0: 826143, 1: 51879}\n",
      "505: count=2 {0: 850850, 1: 27172}\n",
      "506: count=2 {0: 859796, 1: 18226}\n",
      "507: count=2 {0: 854337, 1: 23685}\n",
      "508: count=2 {0: 818235, 1: 59787}\n",
      "509: count=2 {0: 868781, 1: 9241}\n",
      "510: count=2 {0: 850728, 1: 27294}\n",
      "511: count=2 {0: 854275, 1: 23747}\n",
      "512: count=2 {0: 862446, 1: 15576}\n",
      "513: count=2 {0: 872451, 1: 5571}\n",
      "514: count=2 {0: 853631, 1: 24391}\n",
      "515: count=2 {0: 860480, 1: 17542}\n",
      "516: count=2 {0: 870788, 1: 7234}\n",
      "517: count=2 {0: 863234, 1: 14788}\n",
      "518: count=2 {0: 864599, 1: 13423}\n",
      "519: count=2 {0: 870015, 1: 8007}\n",
      "520: count=2 {0: 873129, 1: 4893}\n",
      "521: count=2 {0: 855397, 1: 22625}\n",
      "522: count=2 {0: 857083, 1: 20939}\n",
      "523: count=2 {0: 759956, 1: 118066}\n",
      "524: count=2 {0: 803056, 1: 74966}\n",
      "525: count=2 {0: 861888, 1: 16134}\n",
      "526: count=2 {0: 781656, 1: 96366}\n",
      "527: count=2 {0: 783009, 1: 95013}\n",
      "528: count=2 {0: 868257, 1: 9765}\n",
      "529: count=2 {0: 849399, 1: 28623}\n",
      "530: count=2 {0: 855287, 1: 22735}\n",
      "531: count=2 {0: 789334, 1: 88688}\n",
      "532: count=2 {0: 863869, 1: 14153}\n",
      "533: count=2 {0: 840135, 1: 37887}\n",
      "534: count=2 {0: 867005, 1: 11017}\n",
      "535: count=2 {0: 860033, 1: 17989}\n",
      "536: count=2 {0: 852144, 1: 25878}\n",
      "537: count=2 {0: 640567, 1: 237455}\n",
      "538: count=2 {0: 863071, 1: 14951}\n",
      "539: count=2 {0: 855934, 1: 22088}\n",
      "540: count=2 {0: 862959, 1: 15063}\n",
      "541: count=2 {0: 861837, 1: 16185}\n",
      "542: count=2 {0: 863969, 1: 14053}\n",
      "543: count=2 {0: 850042, 1: 27980}\n",
      "544: count=2 {0: 865172, 1: 12850}\n",
      "545: count=2 {0: 861707, 1: 16315}\n",
      "546: count=2 {0: 843393, 1: 34629}\n",
      "547: count=2 {0: 864497, 1: 13525}\n",
      "548: count=2 {0: 846801, 1: 31221}\n",
      "549: count=2 {0: 867206, 1: 10816}\n",
      "550: count=2 {0: 845905, 1: 32117}\n",
      "551: count=2 {0: 850190, 1: 27832}\n",
      "552: count=2 {0: 684890, 1: 193132}\n",
      "553: count=2 {0: 874798, 1: 3224}\n",
      "554: count=2 {0: 846258, 1: 31764}\n",
      "555: count=2 {0: 723616, 1: 154406}\n",
      "556: count=2 {0: 831591, 1: 46431}\n",
      "557: count=2 {0: 842681, 1: 35341}\n",
      "558: count=2 {0: 862432, 1: 15590}\n",
      "559: count=2 {0: 857864, 1: 20158}\n",
      "560: count=2 {0: 862209, 1: 15813}\n",
      "561: count=2 {0: 699328, 1: 178694}\n",
      "562: count=2 {0: 835557, 1: 42465}\n",
      "563: count=2 {0: 862989, 1: 15033}\n",
      "564: count=2 {0: 857000, 1: 21022}\n",
      "565: count=2 {0: 863010, 1: 15012}\n",
      "566: count=2 {0: 870448, 1: 7574}\n",
      "567: count=2 {0: 845195, 1: 32827}\n",
      "568: count=2 {0: 864958, 1: 13064}\n",
      "569: count=2 {0: 786976, 1: 91046}\n",
      "570: count=2 {0: 863222, 1: 14800}\n",
      "571: count=2 {0: 850150, 1: 27872}\n",
      "572: count=2 {0: 759430, 1: 118592}\n",
      "573: count=2 {0: 760043, 1: 117979}\n",
      "574: count=2 {0: 867670, 1: 10352}\n",
      "575: count=2 {0: 845321, 1: 32701}\n",
      "576: count=2 {0: 855228, 1: 22794}\n",
      "577: count=2 {0: 821717, 1: 56305}\n",
      "578: count=2 {0: 753123, 1: 124899}\n",
      "579: count=2 {0: 866178, 1: 11844}\n",
      "580: count=2 {0: 869412, 1: 8610}\n",
      "581: count=2 {0: 866228, 1: 11794}\n",
      "582: count=2 {0: 859123, 1: 18899}\n",
      "583: count=2 {0: 852373, 1: 25649}\n",
      "584: count=2 {0: 859543, 1: 18479}\n",
      "585: count=2 {0: 853708, 1: 24314}\n",
      "586: count=2 {0: 806223, 1: 71799}\n",
      "587: count=2 {0: 866738, 1: 11284}\n",
      "588: count=2 {0: 835579, 1: 42443}\n",
      "589: count=2 {0: 858476, 1: 19546}\n",
      "590: count=2 {0: 854219, 1: 23803}\n",
      "591: count=2 {0: 846645, 1: 31377}\n",
      "592: count=2 {0: 856972, 1: 21050}\n",
      "593: count=2 {0: 841357, 1: 36665}\n",
      "594: count=2 {0: 860050, 1: 17972}\n",
      "595: count=2 {0: 866429, 1: 11593}\n",
      "596: count=2 {0: 870507, 1: 7515}\n",
      "597: count=2 {0: 868556, 1: 9466}\n",
      "598: count=2 {0: 854733, 1: 23289}\n",
      "599: count=2 {0: 864771, 1: 13251}\n",
      "600: count=2 {0: 852615, 1: 25407}\n",
      "601: count=2 {0: 859972, 1: 18050}\n",
      "602: count=2 {0: 819659, 1: 58363}\n",
      "603: count=2 {0: 858052, 1: 19970}\n",
      "604: count=2 {0: 856978, 1: 21044}\n",
      "605: count=2 {0: 858015, 1: 20007}\n",
      "606: count=2 {0: 788016, 1: 90006}\n",
      "607: count=2 {0: 872035, 1: 5987}\n",
      "608: count=2 {0: 861303, 1: 16719}\n",
      "609: count=2 {0: 823451, 1: 54571}\n",
      "610: count=2 {0: 864970, 1: 13052}\n",
      "611: count=2 {0: 854328, 1: 23694}\n",
      "612: count=2 {0: 847487, 1: 30535}\n",
      "613: count=2 {0: 858160, 1: 19862}\n",
      "614: count=2 {0: 861621, 1: 16401}\n",
      "615: count=2 {0: 812895, 1: 65127}\n",
      "616: count=2 {0: 871605, 1: 6417}\n",
      "617: count=2 {0: 864262, 1: 13760}\n",
      "618: count=2 {0: 824233, 1: 53789}\n",
      "619: count=2 {0: 858506, 1: 19516}\n",
      "620: count=2 {0: 861696, 1: 16326}\n",
      "621: count=2 {0: 714878, 1: 163144}\n",
      "622: count=2 {0: 863691, 1: 14331}\n",
      "623: count=2 {0: 864609, 1: 13413}\n",
      "624: count=2 {0: 854324, 1: 23698}\n",
      "625: count=2 {0: 865181, 1: 12841}\n",
      "626: count=2 {0: 744847, 1: 133175}\n",
      "627: count=2 {0: 871716, 1: 6306}\n",
      "628: count=2 {0: 843088, 1: 34934}\n",
      "629: count=2 {0: 855094, 1: 22928}\n",
      "630: count=2 {0: 858203, 1: 19819}\n",
      "631: count=2 {0: 866424, 1: 11598}\n",
      "632: count=2 {0: 865740, 1: 12282}\n",
      "633: count=2 {0: 863940, 1: 14082}\n",
      "634: count=2 {0: 858308, 1: 19714}\n",
      "635: count=2 {0: 857972, 1: 20050}\n",
      "636: count=2 {0: 864790, 1: 13232}\n",
      "637: count=2 {0: 830834, 1: 47188}\n",
      "638: count=2 {0: 849221, 1: 28801}\n",
      "639: count=2 {0: 854567, 1: 23455}\n",
      "640: count=2 {0: 868291, 1: 9731}\n",
      "641: count=2 {0: 862077, 1: 15945}\n",
      "642: count=2 {0: 867314, 1: 10708}\n",
      "643: count=2 {0: 867281, 1: 10741}\n",
      "644: count=2 {0: 867805, 1: 10217}\n",
      "645: count=2 {0: 837432, 1: 40590}\n",
      "646: count=2 {0: 871573, 1: 6449}\n",
      "647: count=2 {0: 857034, 1: 20988}\n",
      "648: count=2 {0: 840953, 1: 37069}\n",
      "649: count=2 {0: 870683, 1: 7339}\n",
      "650: count=1 {1: 878022}\n",
      "651: count=2 {0: 560712, 1: 317310}\n",
      "652: count=2 {0: 782750, 1: 95272}\n",
      "653: count=2 {0: 832266, 1: 45756}\n",
      "654: count=2 {0: 838646, 1: 39376}\n",
      "655: count=2 {0: 855496, 1: 22526}\n",
      "656: count=2 {0: 538681, 1: 339341}\n",
      "657: count=2 {0: 856437, 1: 21585}\n",
      "658: count=2 {0: 849083, 1: 28939}\n",
      "659: count=2 {0: 869380, 1: 8642}\n",
      "660: count=2 {0: 860791, 1: 17231}\n",
      "661: count=2 {0: 848895, 1: 29127}\n",
      "662: count=2 {0: 865437, 1: 12585}\n",
      "663: count=2 {0: 844689, 1: 33333}\n",
      "664: count=2 {0: 835932, 1: 42090}\n",
      "665: count=2 {0: 865527, 1: 12495}\n",
      "666: count=2 {0: 849743, 1: 28279}\n",
      "667: count=2 {0: 695647, 1: 182375}\n",
      "668: count=2 {0: 864825, 1: 13197}\n",
      "669: count=2 {0: 865761, 1: 12261}\n",
      "670: count=2 {0: 866321, 1: 11701}\n",
      "671: count=2 {0: 787270, 1: 90752}\n",
      "672: count=2 {0: 869944, 1: 8078}\n",
      "673: count=2 {0: 857378, 1: 20644}\n",
      "674: count=2 {0: 780195, 1: 97827}\n",
      "675: count=2 {0: 672838, 1: 205184}\n",
      "676: count=2 {0: 865828, 1: 12194}\n",
      "677: count=2 {0: 867383, 1: 10639}\n",
      "678: count=2 {0: 849486, 1: 28536}\n",
      "679: count=2 {0: 804997, 1: 73025}\n",
      "680: count=2 {0: 764015, 1: 114007}\n",
      "681: count=2 {0: 865531, 1: 12491}\n",
      "682: count=2 {0: 863947, 1: 14075}\n",
      "683: count=2 {0: 862784, 1: 15238}\n",
      "684: count=2 {0: 841193, 1: 36829}\n",
      "685: count=2 {0: 839559, 1: 38463}\n",
      "686: count=2 {0: 866592, 1: 11430}\n",
      "687: count=2 {0: 841619, 1: 36403}\n",
      "688: count=2 {0: 864644, 1: 13378}\n",
      "689: count=2 {0: 644531, 1: 233491}\n",
      "690: count=2 {0: 707001, 1: 171021}\n",
      "691: count=2 {0: 865562, 1: 12460}\n",
      "692: count=2 {0: 842957, 1: 35065}\n",
      "693: count=2 {0: 851544, 1: 26478}\n",
      "694: count=2 {0: 838767, 1: 39255}\n",
      "695: count=2 {0: 505225, 1: 372797}\n",
      "696: count=2 {0: 851675, 1: 26347}\n",
      "697: count=2 {0: 866635, 1: 11387}\n",
      "698: count=2 {0: 865634, 1: 12388}\n",
      "699: count=2 {0: 652132, 1: 225890}\n",
      "700: count=2 {0: 794330, 1: 83692}\n",
      "701: count=2 {0: 826136, 1: 51886}\n",
      "702: count=2 {0: 849456, 1: 28566}\n",
      "703: count=2 {0: 808092, 1: 69930}\n",
      "704: count=2 {0: 856682, 1: 21340}\n",
      "705: count=2 {0: 872006, 1: 6016}\n",
      "706: count=2 {0: 871693, 1: 6329}\n",
      "707: count=2 {0: 866719, 1: 11303}\n",
      "708: count=2 {0: 812473, 1: 65549}\n",
      "709: count=2 {0: 864275, 1: 13747}\n",
      "710: count=2 {0: 835741, 1: 42281}\n",
      "711: count=2 {0: 850585, 1: 27437}\n",
      "712: count=2 {0: 865452, 1: 12570}\n",
      "713: count=2 {0: 848136, 1: 29886}\n",
      "714: count=2 {0: 833757, 1: 44265}\n",
      "715: count=2 {0: 804494, 1: 73528}\n",
      "716: count=2 {0: 808137, 1: 69885}\n",
      "717: count=2 {0: 867989, 1: 10033}\n",
      "718: count=2 {0: 802721, 1: 75301}\n",
      "719: count=2 {0: 865000, 1: 13022}\n",
      "720: count=2 {0: 842811, 1: 35211}\n",
      "721: count=2 {0: 844528, 1: 33494}\n",
      "722: count=2 {0: 863065, 1: 14957}\n",
      "723: count=2 {0: 831745, 1: 46277}\n",
      "724: count=2 {0: 841701, 1: 36321}\n",
      "725: count=2 {0: 848408, 1: 29614}\n",
      "726: count=2 {0: 861859, 1: 16163}\n",
      "727: count=2 {0: 842374, 1: 35648}\n",
      "728: count=2 {0: 712541, 1: 165481}\n",
      "729: count=2 {0: 844373, 1: 33649}\n",
      "730: count=2 {0: 860878, 1: 17144}\n",
      "731: count=2 {0: 865893, 1: 12129}\n",
      "732: count=2 {0: 866581, 1: 11441}\n",
      "733: count=2 {0: 861526, 1: 16496}\n",
      "734: count=2 {0: 867390, 1: 10632}\n",
      "735: count=2 {0: 868870, 1: 9152}\n",
      "736: count=2 {0: 671056, 1: 206966}\n",
      "737: count=2 {0: 870696, 1: 7326}\n",
      "738: count=2 {0: 861164, 1: 16858}\n",
      "739: count=2 {0: 593614, 1: 284408}\n",
      "740: count=2 {0: 830772, 1: 47250}\n",
      "741: count=2 {0: 868167, 1: 9855}\n",
      "742: count=2 {0: 866632, 1: 11390}\n",
      "743: count=2 {0: 864874, 1: 13148}\n",
      "744: count=2 {0: 863533, 1: 14489}\n",
      "745: count=2 {0: 838192, 1: 39830}\n",
      "746: count=2 {0: 846336, 1: 31686}\n",
      "747: count=2 {0: 840492, 1: 37530}\n",
      "748: count=2 {0: 865572, 1: 12450}\n",
      "749: count=2 {0: 839506, 1: 38516}\n",
      "750: count=2 {0: 815451, 1: 62571}\n",
      "751: count=2 {0: 774170, 1: 103852}\n",
      "752: count=2 {0: 802529, 1: 75493}\n",
      "753: count=2 {0: 821346, 1: 56676}\n",
      "754: count=2 {0: 850990, 1: 27032}\n",
      "755: count=2 {0: 857089, 1: 20933}\n",
      "756: count=2 {0: 863843, 1: 14179}\n",
      "757: count=2 {0: 864076, 1: 13946}\n",
      "758: count=2 {0: 860124, 1: 17898}\n",
      "759: count=2 {0: 847887, 1: 30135}\n",
      "760: count=2 {0: 838967, 1: 39055}\n",
      "761: count=2 {0: 862900, 1: 15122}\n",
      "762: count=2 {0: 866263, 1: 11759}\n",
      "763: count=2 {0: 850011, 1: 28011}\n",
      "764: count=2 {0: 865363, 1: 12659}\n",
      "765: count=2 {0: 867595, 1: 10427}\n",
      "766: count=2 {0: 862842, 1: 15180}\n",
      "767: count=2 {0: 850987, 1: 27035}\n",
      "768: count=2 {0: 865267, 1: 12755}\n",
      "769: count=2 {0: 845946, 1: 32076}\n",
      "770: count=2 {0: 866081, 1: 11941}\n",
      "771: count=2 {0: 866475, 1: 11547}\n",
      "772: count=2 {0: 783457, 1: 94565}\n",
      "773: count=2 {0: 867897, 1: 10125}\n",
      "774: count=2 {0: 844505, 1: 33517}\n",
      "775: count=2 {0: 851873, 1: 26149}\n",
      "776: count=2 {0: 845987, 1: 32035}\n",
      "777: count=2 {0: 859782, 1: 18240}\n",
      "778: count=2 {0: 871311, 1: 6711}\n",
      "779: count=2 {0: 867116, 1: 10906}\n",
      "780: count=2 {0: 870388, 1: 7634}\n",
      "781: count=2 {0: 826404, 1: 51618}\n",
      "782: count=2 {0: 866562, 1: 11460}\n",
      "783: count=2 {0: 865739, 1: 12283}\n",
      "784: count=2 {0: 852043, 1: 25979}\n",
      "785: count=2 {0: 782582, 1: 95440}\n",
      "786: count=2 {0: 862998, 1: 15024}\n",
      "787: count=2 {0: 706888, 1: 171134}\n",
      "788: count=2 {0: 872738, 1: 5284}\n",
      "789: count=2 {0: 851641, 1: 26381}\n",
      "790: count=2 {0: 798435, 1: 79587}\n",
      "791: count=2 {0: 871331, 1: 6691}\n",
      "792: count=2 {0: 871615, 1: 6407}\n",
      "793: count=2 {0: 864786, 1: 13236}\n",
      "794: count=2 {0: 825685, 1: 52337}\n",
      "795: count=2 {0: 866852, 1: 11170}\n",
      "796: count=2 {0: 863638, 1: 14384}\n",
      "797: count=2 {0: 864016, 1: 14006}\n",
      "798: count=2 {0: 838606, 1: 39416}\n",
      "799: count=2 {0: 850440, 1: 27582}\n",
      "800: count=2 {0: 839709, 1: 38313}\n",
      "801: count=2 {0: 871439, 1: 6583}\n",
      "802: count=2 {0: 818041, 1: 59981}\n",
      "803: count=2 {0: 869660, 1: 8362}\n",
      "804: count=2 {0: 758884, 1: 119138}\n",
      "805: count=2 {0: 866791, 1: 11231}\n",
      "806: count=2 {0: 746981, 1: 131041}\n",
      "807: count=1 {1: 878022}\n",
      "808: count=2 {0: 865405, 1: 12617}\n",
      "809: count=2 {0: 736399, 1: 141623}\n",
      "810: count=2 {0: 865268, 1: 12754}\n",
      "811: count=2 {0: 867677, 1: 10345}\n",
      "812: count=2 {0: 848163, 1: 29859}\n",
      "813: count=2 {0: 867766, 1: 10256}\n",
      "814: count=2 {0: 865630, 1: 12392}\n",
      "815: count=2 {0: 862684, 1: 15338}\n",
      "816: count=2 {0: 837182, 1: 40840}\n",
      "817: count=2 {0: 853620, 1: 24402}\n",
      "818: count=2 {0: 862174, 1: 15848}\n",
      "819: count=2 {0: 850440, 1: 27582}\n",
      "820: count=2 {0: 865360, 1: 12662}\n",
      "821: count=2 {0: 854047, 1: 23975}\n",
      "822: count=2 {0: 866981, 1: 11041}\n",
      "823: count=2 {0: 843280, 1: 34742}\n",
      "824: count=2 {0: 853859, 1: 24163}\n",
      "825: count=2 {0: 866223, 1: 11799}\n",
      "826: count=2 {0: 852567, 1: 25455}\n",
      "827: count=2 {0: 858091, 1: 19931}\n",
      "828: count=2 {0: 849797, 1: 28225}\n",
      "829: count=2 {0: 864181, 1: 13841}\n",
      "830: count=2 {0: 864663, 1: 13359}\n",
      "831: count=2 {0: 863140, 1: 14882}\n",
      "832: count=2 {0: 851678, 1: 26344}\n",
      "833: count=2 {0: 832378, 1: 45644}\n",
      "834: count=2 {0: 855769, 1: 22253}\n",
      "835: count=2 {0: 845555, 1: 32467}\n",
      "836: count=2 {0: 873617, 1: 4405}\n",
      "837: count=2 {0: 826512, 1: 51510}\n",
      "838: count=2 {0: 820466, 1: 57556}\n",
      "839: count=2 {0: 869571, 1: 8451}\n",
      "840: count=2 {0: 867606, 1: 10416}\n",
      "841: count=2 {0: 685456, 1: 192566}\n",
      "842: count=2 {0: 860143, 1: 17879}\n",
      "843: count=2 {0: 730846, 1: 147176}\n",
      "844: count=2 {0: 867908, 1: 10114}\n",
      "845: count=2 {0: 809184, 1: 68838}\n",
      "846: count=2 {0: 864351, 1: 13671}\n",
      "847: count=2 {0: 857903, 1: 20119}\n",
      "848: count=2 {0: 863835, 1: 14187}\n",
      "849: count=2 {0: 860474, 1: 17548}\n",
      "850: count=2 {0: 855750, 1: 22272}\n",
      "851: count=2 {0: 871960, 1: 6062}\n",
      "852: count=2 {0: 863903, 1: 14119}\n",
      "853: count=2 {0: 853981, 1: 24041}\n",
      "854: count=2 {0: 861725, 1: 16297}\n",
      "855: count=2 {0: 788625, 1: 89397}\n",
      "856: count=2 {0: 866883, 1: 11139}\n",
      "857: count=2 {0: 827821, 1: 50201}\n",
      "858: count=2 {0: 812702, 1: 65320}\n",
      "859: count=2 {0: 832745, 1: 45277}\n",
      "860: count=2 {0: 856393, 1: 21629}\n",
      "861: count=2 {0: 848110, 1: 29912}\n",
      "862: count=2 {0: 850826, 1: 27196}\n",
      "863: count=2 {0: 868227, 1: 9795}\n",
      "864: count=2 {0: 848087, 1: 29935}\n",
      "865: count=2 {0: 835576, 1: 42446}\n",
      "866: count=2 {0: 862545, 1: 15477}\n",
      "867: count=2 {0: 869123, 1: 8899}\n",
      "868: count=2 {0: 851382, 1: 26640}\n",
      "869: count=2 {0: 869135, 1: 8887}\n",
      "870: count=2 {0: 855037, 1: 22985}\n",
      "871: count=2 {0: 863950, 1: 14072}\n",
      "872: count=2 {0: 866170, 1: 11852}\n",
      "873: count=2 {0: 867778, 1: 10244}\n",
      "874: count=2 {0: 871226, 1: 6796}\n",
      "875: count=2 {0: 162666, 1: 715356}\n",
      "876: count=2 {0: 860393, 1: 17629}\n",
      "877: count=2 {0: 866707, 1: 11315}\n",
      "878: count=2 {0: 858943, 1: 19079}\n",
      "879: count=2 {0: 787600, 1: 90422}\n",
      "880: count=2 {0: 846254, 1: 31768}\n",
      "881: count=2 {0: 795836, 1: 82186}\n",
      "882: count=2 {0: 867564, 1: 10458}\n",
      "883: count=2 {0: 838898, 1: 39124}\n",
      "884: count=2 {0: 855638, 1: 22384}\n",
      "885: count=2 {0: 846055, 1: 31967}\n",
      "886: count=2 {0: 861959, 1: 16063}\n",
      "887: count=2 {0: 852990, 1: 25032}\n",
      "888: count=2 {0: 848511, 1: 29511}\n",
      "889: count=2 {0: 862900, 1: 15122}\n",
      "890: count=2 {0: 825820, 1: 52202}\n",
      "891: count=2 {0: 856464, 1: 21558}\n",
      "892: count=2 {0: 849604, 1: 28418}\n",
      "893: count=2 {0: 849755, 1: 28267}\n",
      "894: count=2 {0: 872955, 1: 5067}\n",
      "895: count=2 {0: 859695, 1: 18327}\n",
      "896: count=2 {0: 660944, 1: 217078}\n",
      "897: count=2 {0: 839947, 1: 38075}\n",
      "898: count=2 {0: 838810, 1: 39212}\n",
      "899: count=2 {0: 864846, 1: 13176}\n",
      "900: count=2 {0: 867309, 1: 10713}\n",
      "901: count=2 {0: 856650, 1: 21372}\n",
      "902: count=2 {0: 868902, 1: 9120}\n",
      "903: count=2 {0: 866265, 1: 11757}\n",
      "904: count=2 {0: 859318, 1: 18704}\n",
      "905: count=2 {0: 868163, 1: 9859}\n",
      "906: count=2 {0: 839269, 1: 38753}\n",
      "907: count=2 {0: 873052, 1: 4970}\n",
      "908: count=2 {0: 856534, 1: 21488}\n",
      "909: count=2 {0: 821231, 1: 56791}\n",
      "910: count=2 {0: 867998, 1: 10024}\n",
      "911: count=2 {0: 831692, 1: 46330}\n",
      "912: count=2 {0: 851728, 1: 26294}\n",
      "913: count=2 {0: 864415, 1: 13607}\n",
      "914: count=2 {0: 866055, 1: 11967}\n",
      "915: count=2 {0: 831687, 1: 46335}\n",
      "916: count=2 {0: 825707, 1: 52315}\n",
      "917: count=2 {0: 848959, 1: 29063}\n",
      "918: count=2 {0: 815510, 1: 62512}\n",
      "919: count=2 {0: 860657, 1: 17365}\n",
      "920: count=2 {0: 866832, 1: 11190}\n",
      "921: count=2 {0: 857923, 1: 20099}\n",
      "922: count=2 {0: 861153, 1: 16869}\n",
      "923: count=2 {0: 862096, 1: 15926}\n",
      "924: count=2 {0: 793729, 1: 84293}\n",
      "925: count=2 {0: 864725, 1: 13297}\n",
      "926: count=2 {0: 165911, 1: 712111}\n",
      "927: count=2 {0: 859412, 1: 18610}\n",
      "928: count=2 {0: 855800, 1: 22222}\n",
      "929: count=2 {0: 866565, 1: 11457}\n",
      "930: count=2 {0: 856390, 1: 21632}\n",
      "931: count=2 {0: 859319, 1: 18703}\n",
      "932: count=2 {0: 798064, 1: 79958}\n",
      "933: count=2 {0: 860660, 1: 17362}\n",
      "934: count=2 {0: 803868, 1: 74154}\n",
      "935: count=2 {0: 218710, 1: 659312}\n",
      "936: count=2 {0: 846376, 1: 31646}\n",
      "937: count=2 {0: 856665, 1: 21357}\n",
      "938: count=2 {0: 867273, 1: 10749}\n",
      "939: count=2 {0: 862930, 1: 15092}\n",
      "940: count=2 {0: 849453, 1: 28569}\n",
      "941: count=2 {0: 835971, 1: 42051}\n",
      "942: count=2 {0: 787797, 1: 90225}\n",
      "943: count=2 {0: 868511, 1: 9511}\n",
      "944: count=2 {0: 856584, 1: 21438}\n",
      "945: count=2 {0: 849231, 1: 28791}\n",
      "946: count=2 {0: 869050, 1: 8972}\n",
      "947: count=2 {0: 846037, 1: 31985}\n",
      "948: count=2 {0: 861040, 1: 16982}\n",
      "949: count=2 {0: 865726, 1: 12296}\n",
      "950: count=2 {0: 715051, 1: 162971}\n",
      "951: count=2 {0: 825143, 1: 52879}\n",
      "952: count=2 {0: 869539, 1: 8483}\n",
      "953: count=2 {0: 856262, 1: 21760}\n",
      "954: count=2 {0: 856123, 1: 21899}\n",
      "955: count=2 {0: 849720, 1: 28302}\n",
      "956: count=2 {0: 859179, 1: 18843}\n",
      "957: count=2 {0: 870942, 1: 7080}\n",
      "958: count=2 {0: 865498, 1: 12524}\n",
      "959: count=2 {0: 810599, 1: 67423}\n",
      "960: count=2 {0: 848946, 1: 29076}\n",
      "961: count=2 {0: 853206, 1: 24816}\n",
      "962: count=2 {0: 873319, 1: 4703}\n",
      "963: count=2 {0: 865281, 1: 12741}\n",
      "964: count=2 {0: 865570, 1: 12452}\n",
      "965: count=2 {0: 860139, 1: 17883}\n",
      "966: count=2 {0: 794757, 1: 83265}\n",
      "967: count=2 {0: 849010, 1: 29012}\n",
      "968: count=2 {0: 860827, 1: 17195}\n",
      "969: count=2 {0: 844262, 1: 33760}\n",
      "970: count=2 {0: 863538, 1: 14484}\n",
      "971: count=2 {0: 858096, 1: 19926}\n",
      "972: count=2 {0: 870545, 1: 7477}\n",
      "973: count=2 {0: 853536, 1: 24486}\n",
      "974: count=2 {0: 758394, 1: 119628}\n",
      "975: count=2 {0: 867799, 1: 10223}\n",
      "976: count=2 {0: 867802, 1: 10220}\n",
      "977: count=2 {0: 702176, 1: 175846}\n",
      "978: count=2 {0: 857757, 1: 20265}\n",
      "979: count=2 {0: 842998, 1: 35024}\n",
      "980: count=2 {0: 658642, 1: 219380}\n",
      "981: count=2 {0: 862969, 1: 15053}\n",
      "982: count=2 {0: 871898, 1: 6124}\n",
      "983: count=2 {0: 810629, 1: 67393}\n",
      "984: count=2 {0: 756695, 1: 121327}\n",
      "985: count=2 {0: 867466, 1: 10556}\n",
      "986: count=2 {0: 873058, 1: 4964}\n",
      "987: count=2 {0: 841132, 1: 36890}\n",
      "988: count=2 {0: 856481, 1: 21541}\n",
      "989: count=2 {0: 872675, 1: 5347}\n",
      "990: count=2 {0: 872305, 1: 5717}\n",
      "991: count=2 {0: 852418, 1: 25604}\n",
      "992: count=2 {0: 858847, 1: 19175}\n",
      "993: count=2 {0: 829705, 1: 48317}\n",
      "994: count=2 {0: 865968, 1: 12054}\n",
      "995: count=2 {0: 858700, 1: 19322}\n",
      "996: count=2 {0: 858146, 1: 19876}\n",
      "997: count=2 {0: 831872, 1: 46150}\n",
      "998: count=2 {0: 860643, 1: 17379}\n",
      "999: count=2 {0: 852510, 1: 25512}\n",
      "1000: count=2 {0: 822629, 1: 55393}\n",
      "1001: count=2 {0: 862342, 1: 15680}\n",
      "1002: count=2 {0: 854164, 1: 23858}\n",
      "1003: count=2 {0: 870268, 1: 7754}\n",
      "1004: count=2 {0: 827222, 1: 50800}\n",
      "1005: count=2 {0: 850477, 1: 27545}\n",
      "1006: count=2 {0: 860691, 1: 17331}\n",
      "1007: count=2 {0: 871323, 1: 6699}\n",
      "1008: count=2 {0: 864918, 1: 13104}\n",
      "1009: count=2 {0: 791365, 1: 86657}\n",
      "1010: count=2 {0: 844467, 1: 33555}\n",
      "1011: count=2 {0: 857963, 1: 20059}\n",
      "1012: count=2 {0: 868485, 1: 9537}\n",
      "1013: count=2 {0: 847146, 1: 30876}\n",
      "1014: count=2 {0: 820433, 1: 57589}\n",
      "1015: count=2 {0: 869189, 1: 8833}\n",
      "1016: count=2 {0: 870467, 1: 7555}\n",
      "1017: count=2 {0: 821145, 1: 56877}\n",
      "1018: count=2 {0: 863372, 1: 14650}\n",
      "1019: count=2 {0: 317256, 1: 560766}\n",
      "1020: count=2 {0: 865844, 1: 12178}\n",
      "1021: count=2 {0: 868765, 1: 9257}\n",
      "1022: count=2 {0: 855259, 1: 22763}\n",
      "1023: count=2 {0: 872192, 1: 5830}\n",
      "1024: count=2 {0: 863189, 1: 14833}\n",
      "1025: count=2 {0: 834304, 1: 43718}\n",
      "1026: count=2 {0: 857038, 1: 20984}\n",
      "1027: count=2 {0: 835866, 1: 42156}\n",
      "1028: count=2 {0: 650378, 1: 227644}\n",
      "1029: count=2 {0: 862293, 1: 15729}\n",
      "1030: count=2 {0: 862694, 1: 15328}\n",
      "1031: count=2 {0: 853336, 1: 24686}\n",
      "1032: count=2 {0: 846802, 1: 31220}\n",
      "1033: count=2 {0: 850289, 1: 27733}\n",
      "1034: count=2 {0: 846891, 1: 31131}\n",
      "1035: count=2 {0: 841915, 1: 36107}\n",
      "1036: count=2 {0: 854508, 1: 23514}\n",
      "1037: count=2 {0: 859861, 1: 18161}\n",
      "1038: count=2 {0: 871830, 1: 6192}\n",
      "1039: count=2 {0: 594456, 1: 283566}\n",
      "1040: count=2 {0: 865263, 1: 12759}\n",
      "1041: count=2 {0: 850814, 1: 27208}\n",
      "1042: count=2 {0: 871119, 1: 6903}\n",
      "1043: count=2 {0: 798825, 1: 79197}\n",
      "1044: count=2 {0: 862197, 1: 15825}\n",
      "1045: count=2 {0: 848658, 1: 29364}\n",
      "1046: count=2 {0: 869917, 1: 8105}\n",
      "1047: count=2 {0: 859866, 1: 18156}\n",
      "1048: count=2 {0: 848941, 1: 29081}\n",
      "1049: count=2 {0: 823021, 1: 55001}\n",
      "1050: count=2 {0: 806103, 1: 71919}\n",
      "1051: count=2 {0: 833482, 1: 44540}\n",
      "1052: count=2 {0: 867243, 1: 10779}\n",
      "1053: count=2 {0: 866983, 1: 11039}\n",
      "1054: count=2 {0: 864034, 1: 13988}\n",
      "1055: count=2 {0: 848288, 1: 29734}\n",
      "1056: count=2 {0: 859324, 1: 18698}\n",
      "1057: count=2 {0: 207839, 1: 670183}\n",
      "1058: count=2 {0: 863592, 1: 14430}\n",
      "1059: count=2 {0: 856237, 1: 21785}\n",
      "1060: count=2 {0: 631802, 1: 246220}\n",
      "1061: count=2 {0: 871759, 1: 6263}\n",
      "1062: count=2 {0: 867884, 1: 10138}\n",
      "1063: count=2 {0: 850628, 1: 27394}\n",
      "1064: count=2 {0: 851283, 1: 26739}\n",
      "1065: count=2 {0: 832431, 1: 45591}\n",
      "1066: count=2 {0: 832059, 1: 45963}\n",
      "1067: count=2 {0: 868063, 1: 9959}\n",
      "1068: count=2 {0: 863804, 1: 14218}\n",
      "1069: count=2 {0: 868680, 1: 9342}\n",
      "1070: count=2 {0: 860525, 1: 17497}\n",
      "1071: count=2 {0: 848303, 1: 29719}\n",
      "1072: count=2 {0: 851719, 1: 26303}\n",
      "1073: count=2 {0: 868488, 1: 9534}\n",
      "1074: count=2 {0: 850786, 1: 27236}\n",
      "1075: count=2 {0: 851725, 1: 26297}\n",
      "1076: count=2 {0: 857846, 1: 20176}\n",
      "1077: count=2 {0: 856853, 1: 21169}\n",
      "1078: count=2 {0: 838897, 1: 39125}\n",
      "1079: count=2 {0: 868424, 1: 9598}\n",
      "1080: count=2 {0: 862640, 1: 15382}\n",
      "1081: count=2 {0: 864576, 1: 13446}\n",
      "1082: count=2 {0: 839358, 1: 38664}\n",
      "1083: count=2 {0: 826591, 1: 51431}\n",
      "1084: count=2 {0: 865429, 1: 12593}\n",
      "1085: count=2 {0: 866031, 1: 11991}\n",
      "1086: count=2 {0: 866123, 1: 11899}\n",
      "1087: count=2 {0: 830551, 1: 47471}\n",
      "1088: count=2 {0: 409749, 1: 468273}\n",
      "1089: count=2 {0: 834846, 1: 43176}\n",
      "1090: count=2 {0: 857122, 1: 20900}\n",
      "1091: count=2 {0: 863515, 1: 14507}\n",
      "1092: count=2 {0: 870287, 1: 7735}\n",
      "1093: count=2 {0: 863941, 1: 14081}\n",
      "1094: count=2 {0: 855463, 1: 22559}\n",
      "1095: count=2 {0: 857560, 1: 20462}\n",
      "1096: count=2 {0: 858474, 1: 19548}\n",
      "1097: count=2 {0: 713664, 1: 164358}\n",
      "1098: count=2 {0: 855232, 1: 22790}\n",
      "1099: count=2 {0: 797286, 1: 80736}\n",
      "1100: count=2 {0: 865931, 1: 12091}\n",
      "1101: count=2 {0: 783951, 1: 94071}\n",
      "1102: count=2 {0: 860690, 1: 17332}\n",
      "1103: count=2 {0: 868227, 1: 9795}\n",
      "1104: count=2 {0: 820615, 1: 57407}\n",
      "1105: count=2 {0: 836776, 1: 41246}\n",
      "1106: count=2 {0: 865155, 1: 12867}\n",
      "1107: count=2 {0: 856167, 1: 21855}\n",
      "1108: count=2 {0: 847375, 1: 30647}\n",
      "1109: count=2 {0: 863319, 1: 14703}\n",
      "1110: count=2 {0: 800089, 1: 77933}\n",
      "1111: count=2 {0: 863592, 1: 14430}\n",
      "1112: count=2 {0: 866812, 1: 11210}\n",
      "1113: count=2 {0: 864590, 1: 13432}\n",
      "1114: count=2 {0: 688888, 1: 189134}\n",
      "1115: count=2 {0: 864577, 1: 13445}\n",
      "1116: count=2 {0: 837569, 1: 40453}\n",
      "1117: count=2 {0: 864947, 1: 13075}\n",
      "1118: count=2 {0: 833224, 1: 44798}\n",
      "1119: count=2 {0: 866948, 1: 11074}\n",
      "1120: count=2 {0: 843051, 1: 34971}\n",
      "1121: count=2 {0: 852227, 1: 25795}\n",
      "1122: count=2 {0: 866468, 1: 11554}\n",
      "1123: count=2 {0: 858777, 1: 19245}\n",
      "1124: count=2 {0: 868708, 1: 9314}\n",
      "1125: count=2 {0: 865996, 1: 12026}\n",
      "1126: count=2 {0: 856447, 1: 21575}\n",
      "1127: count=2 {0: 866359, 1: 11663}\n",
      "1128: count=2 {0: 850936, 1: 27086}\n",
      "1129: count=2 {0: 846988, 1: 31034}\n",
      "1130: count=2 {0: 867850, 1: 10172}\n",
      "1131: count=2 {0: 869634, 1: 8388}\n",
      "1132: count=2 {0: 862007, 1: 16015}\n",
      "1133: count=2 {0: 838215, 1: 39807}\n",
      "1134: count=2 {0: 867816, 1: 10206}\n",
      "1135: count=2 {0: 835250, 1: 42772}\n",
      "1136: count=2 {0: 777425, 1: 100597}\n",
      "1137: count=2 {0: 866385, 1: 11637}\n",
      "1138: count=2 {0: 866199, 1: 11823}\n",
      "1139: count=2 {0: 869315, 1: 8707}\n",
      "1140: count=2 {0: 872248, 1: 5774}\n",
      "1141: count=2 {0: 862260, 1: 15762}\n",
      "1142: count=2 {0: 855973, 1: 22049}\n",
      "1143: count=2 {0: 866430, 1: 11592}\n",
      "1144: count=2 {0: 865881, 1: 12141}\n",
      "1145: count=2 {0: 735117, 1: 142905}\n",
      "1146: count=2 {0: 848025, 1: 29997}\n",
      "1147: count=2 {0: 828930, 1: 49092}\n",
      "1148: count=2 {0: 860245, 1: 17777}\n",
      "1149: count=2 {0: 852436, 1: 25586}\n",
      "1150: count=2 {0: 859554, 1: 18468}\n",
      "1151: count=2 {0: 807679, 1: 70343}\n",
      "1152: count=1 {1: 878022}\n",
      "1153: count=2 {0: 868869, 1: 9153}\n",
      "1154: count=2 {0: 863945, 1: 14077}\n",
      "1155: count=2 {0: 851347, 1: 26675}\n",
      "1156: count=2 {0: 862225, 1: 15797}\n",
      "1157: count=2 {0: 851798, 1: 26224}\n",
      "1158: count=2 {0: 853640, 1: 24382}\n",
      "1159: count=2 {0: 792053, 1: 85969}\n",
      "1160: count=2 {0: 464877, 1: 413145}\n",
      "1161: count=2 {0: 855357, 1: 22665}\n",
      "1162: count=2 {0: 704765, 1: 173257}\n",
      "1163: count=2 {0: 810253, 1: 67769}\n",
      "1164: count=2 {0: 802276, 1: 75746}\n",
      "1165: count=2 {0: 868326, 1: 9696}\n",
      "1166: count=2 {0: 864284, 1: 13738}\n",
      "1167: count=2 {0: 852518, 1: 25504}\n",
      "1168: count=2 {0: 817149, 1: 60873}\n",
      "1169: count=2 {0: 872563, 1: 5459}\n",
      "1170: count=2 {0: 841443, 1: 36579}\n",
      "1171: count=2 {0: 849415, 1: 28607}\n",
      "1172: count=2 {0: 834505, 1: 43517}\n",
      "1173: count=2 {0: 868302, 1: 9720}\n",
      "1174: count=2 {0: 867514, 1: 10508}\n",
      "1175: count=2 {0: 837876, 1: 40146}\n",
      "1176: count=2 {0: 865055, 1: 12967}\n",
      "1177: count=2 {0: 870761, 1: 7261}\n",
      "1178: count=2 {0: 862950, 1: 15072}\n",
      "1179: count=2 {0: 860186, 1: 17836}\n",
      "1180: count=2 {0: 660144, 1: 217878}\n",
      "1181: count=2 {0: 868311, 1: 9711}\n",
      "1182: count=1 {1: 878022}\n",
      "1183: count=2 {0: 869843, 1: 8179}\n",
      "1184: count=2 {0: 472142, 1: 405880}\n",
      "1185: count=2 {0: 858145, 1: 19877}\n",
      "1186: count=2 {0: 864898, 1: 13124}\n",
      "1187: count=2 {0: 848765, 1: 29257}\n",
      "1188: count=2 {0: 874410, 1: 3612}\n",
      "1189: count=2 {0: 814850, 1: 63172}\n",
      "1190: count=2 {0: 870598, 1: 7424}\n",
      "1191: count=2 {0: 875250, 1: 2772}\n",
      "1192: count=2 {0: 843095, 1: 34927}\n",
      "1193: count=2 {0: 863511, 1: 14511}\n",
      "1194: count=2 {0: 823020, 1: 55002}\n",
      "1195: count=2 {0: 822529, 1: 55493}\n",
      "1196: count=2 {0: 870444, 1: 7578}\n",
      "1197: count=2 {0: 865618, 1: 12404}\n",
      "1198: count=2 {0: 869233, 1: 8789}\n",
      "1199: count=2 {0: 676029, 1: 201993}\n",
      "1200: count=2 {0: 863682, 1: 14340}\n",
      "1201: count=2 {0: 867852, 1: 10170}\n",
      "1202: count=2 {0: 856784, 1: 21238}\n",
      "1203: count=2 {0: 842735, 1: 35287}\n",
      "1204: count=2 {0: 869128, 1: 8894}\n",
      "1205: count=2 {0: 855370, 1: 22652}\n",
      "1206: count=2 {0: 852686, 1: 25336}\n",
      "1207: count=2 {0: 861123, 1: 16899}\n",
      "1208: count=2 {0: 835926, 1: 42096}\n",
      "1209: count=2 {0: 841695, 1: 36327}\n",
      "1210: count=2 {0: 866752, 1: 11270}\n",
      "1211: count=2 {0: 869753, 1: 8269}\n",
      "1212: count=2 {0: 855122, 1: 22900}\n",
      "1213: count=2 {0: 862268, 1: 15754}\n",
      "1214: count=2 {0: 871377, 1: 6645}\n",
      "1215: count=2 {0: 869723, 1: 8299}\n",
      "1216: count=2 {0: 862690, 1: 15332}\n",
      "1217: count=2 {0: 859704, 1: 18318}\n",
      "1218: count=2 {0: 854946, 1: 23076}\n",
      "1219: count=2 {0: 868194, 1: 9828}\n",
      "1220: count=2 {0: 866970, 1: 11052}\n",
      "1221: count=2 {0: 860954, 1: 17068}\n",
      "1222: count=2 {0: 861650, 1: 16372}\n",
      "1223: count=2 {0: 874649, 1: 3373}\n",
      "1224: count=2 {0: 704337, 1: 173685}\n",
      "1225: count=2 {0: 455386, 1: 422636}\n",
      "1226: count=2 {0: 865432, 1: 12590}\n",
      "1227: count=2 {0: 847004, 1: 31018}\n",
      "1228: count=2 {0: 868598, 1: 9424}\n",
      "1229: count=2 {0: 869067, 1: 8955}\n",
      "1230: count=2 {0: 867710, 1: 10312}\n",
      "1231: count=2 {0: 863157, 1: 14865}\n",
      "1232: count=2 {0: 781363, 1: 96659}\n",
      "1233: count=2 {0: 812828, 1: 65194}\n",
      "1234: count=2 {0: 866601, 1: 11421}\n",
      "1235: count=2 {0: 859045, 1: 18977}\n",
      "1236: count=2 {0: 795458, 1: 82564}\n",
      "1237: count=2 {0: 869100, 1: 8922}\n",
      "1238: count=2 {0: 835842, 1: 42180}\n",
      "1239: count=2 {0: 865240, 1: 12782}\n",
      "1240: count=2 {0: 856334, 1: 21688}\n",
      "1241: count=2 {0: 864440, 1: 13582}\n",
      "1242: count=2 {0: 863678, 1: 14344}\n",
      "1243: count=2 {0: 833035, 1: 44987}\n",
      "1244: count=2 {0: 865079, 1: 12943}\n",
      "1245: count=2 {0: 852683, 1: 25339}\n",
      "1246: count=2 {0: 833465, 1: 44557}\n",
      "1247: count=2 {0: 869983, 1: 8039}\n",
      "1248: count=2 {0: 865640, 1: 12382}\n",
      "1249: count=2 {0: 848830, 1: 29192}\n",
      "1250: count=2 {0: 864549, 1: 13473}\n",
      "1251: count=2 {0: 873179, 1: 4843}\n",
      "1252: count=2 {0: 864946, 1: 13076}\n",
      "1253: count=2 {0: 860187, 1: 17835}\n",
      "1254: count=2 {0: 868859, 1: 9163}\n",
      "1255: count=2 {0: 857902, 1: 20120}\n",
      "1256: count=2 {0: 803081, 1: 74941}\n",
      "1257: count=2 {0: 839080, 1: 38942}\n",
      "1258: count=2 {0: 873844, 1: 4178}\n",
      "1259: count=2 {0: 836841, 1: 41181}\n",
      "1260: count=2 {0: 826909, 1: 51113}\n",
      "1261: count=2 {0: 863922, 1: 14100}\n",
      "1262: count=2 {0: 861044, 1: 16978}\n",
      "1263: count=2 {0: 871402, 1: 6620}\n",
      "1264: count=2 {0: 841260, 1: 36762}\n",
      "1265: count=2 {0: 850836, 1: 27186}\n",
      "1266: count=2 {0: 848110, 1: 29912}\n",
      "1267: count=2 {0: 859689, 1: 18333}\n",
      "1268: count=2 {0: 856069, 1: 21953}\n",
      "1269: count=2 {0: 847753, 1: 30269}\n",
      "1270: count=2 {0: 854511, 1: 23511}\n",
      "1271: count=2 {0: 863967, 1: 14055}\n",
      "1272: count=2 {0: 864980, 1: 13042}\n",
      "1273: count=2 {0: 865641, 1: 12381}\n",
      "1274: count=2 {0: 813067, 1: 64955}\n",
      "1275: count=2 {0: 846622, 1: 31400}\n",
      "1276: count=2 {0: 846877, 1: 31145}\n",
      "1277: count=2 {0: 855049, 1: 22973}\n",
      "1278: count=2 {0: 868018, 1: 10004}\n",
      "1279: count=2 {0: 800935, 1: 77087}\n",
      "1280: count=2 {0: 866035, 1: 11987}\n",
      "1281: count=2 {0: 862529, 1: 15493}\n",
      "1282: count=2 {0: 847810, 1: 30212}\n",
      "1283: count=2 {0: 858566, 1: 19456}\n",
      "1284: count=2 {0: 866563, 1: 11459}\n",
      "1285: count=2 {0: 836107, 1: 41915}\n",
      "1286: count=2 {0: 846982, 1: 31040}\n",
      "1287: count=2 {0: 869338, 1: 8684}\n",
      "1288: count=2 {0: 860069, 1: 17953}\n",
      "1289: count=2 {0: 857896, 1: 20126}\n",
      "1290: count=2 {0: 779734, 1: 98288}\n",
      "1291: count=2 {0: 866964, 1: 11058}\n",
      "1292: count=2 {0: 771696, 1: 106326}\n",
      "1293: count=2 {0: 854445, 1: 23577}\n",
      "1294: count=2 {0: 866421, 1: 11601}\n",
      "1295: count=2 {0: 839081, 1: 38941}\n",
      "1296: count=2 {0: 770364, 1: 107658}\n",
      "1297: count=2 {0: 865111, 1: 12911}\n",
      "1298: count=2 {0: 851710, 1: 26312}\n",
      "1299: count=2 {0: 860628, 1: 17394}\n",
      "1300: count=2 {0: 846892, 1: 31130}\n",
      "1301: count=2 {0: 866354, 1: 11668}\n",
      "1302: count=2 {0: 870444, 1: 7578}\n",
      "1303: count=2 {0: 865301, 1: 12721}\n",
      "1304: count=2 {0: 848148, 1: 29874}\n",
      "1305: count=2 {0: 837566, 1: 40456}\n",
      "1306: count=2 {0: 868668, 1: 9354}\n",
      "1307: count=2 {0: 861257, 1: 16765}\n",
      "1308: count=2 {0: 860452, 1: 17570}\n",
      "1309: count=2 {0: 820726, 1: 57296}\n",
      "1310: count=2 {0: 866201, 1: 11821}\n",
      "1311: count=2 {0: 828177, 1: 49845}\n",
      "1312: count=2 {0: 864412, 1: 13610}\n",
      "1313: count=2 {0: 860519, 1: 17503}\n",
      "1314: count=2 {0: 865944, 1: 12078}\n",
      "1315: count=2 {0: 864921, 1: 13101}\n",
      "1316: count=2 {0: 858114, 1: 19908}\n",
      "1317: count=2 {0: 864588, 1: 13434}\n",
      "1318: count=2 {0: 861216, 1: 16806}\n",
      "1319: count=2 {0: 806853, 1: 71169}\n",
      "1320: count=2 {0: 860910, 1: 17112}\n",
      "1321: count=2 {0: 806237, 1: 71785}\n",
      "1322: count=2 {0: 867273, 1: 10749}\n",
      "1323: count=2 {0: 865277, 1: 12745}\n",
      "1324: count=2 {0: 861629, 1: 16393}\n",
      "1325: count=2 {0: 501711, 1: 376311}\n",
      "1326: count=2 {0: 863925, 1: 14097}\n",
      "1327: count=2 {0: 864599, 1: 13423}\n",
      "1328: count=2 {0: 863068, 1: 14954}\n",
      "1329: count=2 {0: 858807, 1: 19215}\n",
      "1330: count=2 {0: 839898, 1: 38124}\n",
      "1331: count=2 {0: 838294, 1: 39728}\n",
      "1332: count=2 {0: 861156, 1: 16866}\n",
      "1333: count=2 {0: 860249, 1: 17773}\n",
      "1334: count=2 {0: 866837, 1: 11185}\n",
      "1335: count=2 {0: 872510, 1: 5512}\n",
      "1336: count=2 {0: 714248, 1: 163774}\n",
      "1337: count=2 {0: 863416, 1: 14606}\n",
      "1338: count=2 {0: 874463, 1: 3559}\n",
      "1339: count=2 {0: 819312, 1: 58710}\n",
      "1340: count=2 {0: 867796, 1: 10226}\n",
      "1341: count=2 {0: 859416, 1: 18606}\n",
      "1342: count=2 {0: 827995, 1: 50027}\n",
      "1343: count=2 {0: 849165, 1: 28857}\n",
      "1344: count=2 {0: 860277, 1: 17745}\n",
      "1345: count=2 {0: 860878, 1: 17144}\n",
      "1346: count=2 {0: 868180, 1: 9842}\n",
      "1347: count=2 {0: 783715, 1: 94307}\n",
      "1348: count=2 {0: 823755, 1: 54267}\n",
      "1349: count=2 {0: 787431, 1: 90591}\n",
      "1350: count=2 {0: 869840, 1: 8182}\n",
      "1351: count=2 {0: 851644, 1: 26378}\n",
      "1352: count=2 {0: 870710, 1: 7312}\n",
      "1353: count=2 {0: 856673, 1: 21349}\n",
      "1354: count=2 {0: 867732, 1: 10290}\n",
      "1355: count=2 {0: 870786, 1: 7236}\n",
      "1356: count=2 {0: 864270, 1: 13752}\n",
      "1357: count=2 {0: 767111, 1: 110911}\n",
      "1358: count=2 {0: 864985, 1: 13037}\n",
      "1359: count=2 {0: 863800, 1: 14222}\n",
      "1360: count=2 {0: 863559, 1: 14463}\n",
      "1361: count=2 {0: 867628, 1: 10394}\n",
      "1362: count=2 {0: 854567, 1: 23455}\n",
      "1363: count=2 {0: 857350, 1: 20672}\n",
      "1364: count=2 {0: 861691, 1: 16331}\n",
      "1365: count=2 {0: 847217, 1: 30805}\n",
      "1366: count=2 {0: 848962, 1: 29060}\n",
      "1367: count=2 {0: 860938, 1: 17084}\n",
      "1368: count=2 {0: 865386, 1: 12636}\n",
      "1369: count=2 {0: 853028, 1: 24994}\n",
      "1370: count=2 {0: 855134, 1: 22888}\n",
      "1371: count=2 {0: 869901, 1: 8121}\n",
      "1372: count=2 {0: 841795, 1: 36227}\n",
      "1373: count=2 {0: 857534, 1: 20488}\n",
      "1374: count=2 {0: 862406, 1: 15616}\n",
      "1375: count=2 {0: 847486, 1: 30536}\n",
      "1376: count=2 {0: 863428, 1: 14594}\n",
      "1377: count=2 {0: 860572, 1: 17450}\n",
      "1378: count=2 {0: 865405, 1: 12617}\n",
      "1379: count=2 {0: 862218, 1: 15804}\n",
      "1380: count=1 {1: 878022}\n",
      "1381: count=2 {0: 869113, 1: 8909}\n",
      "1382: count=2 {0: 867227, 1: 10795}\n",
      "1383: count=2 {0: 860366, 1: 17656}\n",
      "1384: count=2 {0: 795400, 1: 82622}\n",
      "1385: count=2 {0: 612555, 1: 265467}\n",
      "1386: count=2 {0: 855089, 1: 22933}\n",
      "1387: count=2 {0: 849667, 1: 28355}\n",
      "1388: count=2 {0: 869133, 1: 8889}\n",
      "1389: count=2 {0: 870030, 1: 7992}\n",
      "1390: count=2 {0: 857572, 1: 20450}\n",
      "1391: count=2 {0: 724303, 1: 153719}\n",
      "1392: count=2 {0: 868830, 1: 9192}\n",
      "1393: count=2 {0: 786337, 1: 91685}\n",
      "1394: count=2 {0: 851120, 1: 26902}\n",
      "1395: count=2 {0: 864528, 1: 13494}\n",
      "1396: count=2 {0: 866248, 1: 11774}\n",
      "1397: count=2 {0: 862984, 1: 15038}\n",
      "1398: count=2 {0: 851749, 1: 26273}\n",
      "1399: count=2 {0: 870591, 1: 7431}\n",
      "1400: count=2 {0: 839140, 1: 38882}\n",
      "1401: count=2 {0: 866844, 1: 11178}\n",
      "1402: count=2 {0: 854550, 1: 23472}\n",
      "1403: count=2 {0: 844150, 1: 33872}\n",
      "1404: count=2 {0: 861710, 1: 16312}\n",
      "1405: count=2 {0: 790171, 1: 87851}\n",
      "1406: count=2 {0: 865528, 1: 12494}\n",
      "1407: count=2 {0: 858158, 1: 19864}\n",
      "1408: count=2 {0: 844153, 1: 33869}\n",
      "1409: count=2 {0: 825007, 1: 53015}\n",
      "1410: count=2 {0: 766736, 1: 111286}\n",
      "1411: count=2 {0: 838835, 1: 39187}\n",
      "1412: count=2 {0: 872054, 1: 5968}\n",
      "1413: count=2 {0: 865717, 1: 12305}\n",
      "1414: count=2 {0: 871675, 1: 6347}\n",
      "1415: count=2 {0: 851883, 1: 26139}\n",
      "1416: count=2 {0: 563206, 1: 314816}\n",
      "1417: count=2 {0: 806939, 1: 71083}\n",
      "1418: count=2 {0: 865740, 1: 12282}\n",
      "1419: count=2 {0: 867577, 1: 10445}\n",
      "1420: count=2 {0: 865221, 1: 12801}\n",
      "1421: count=2 {0: 868252, 1: 9770}\n",
      "1422: count=2 {0: 851742, 1: 26280}\n",
      "1423: count=2 {0: 849486, 1: 28536}\n",
      "1424: count=2 {0: 844440, 1: 33582}\n",
      "1425: count=2 {0: 863405, 1: 14617}\n",
      "1426: count=2 {0: 863264, 1: 14758}\n",
      "1427: count=2 {0: 860190, 1: 17832}\n",
      "1428: count=2 {0: 826387, 1: 51635}\n",
      "1429: count=2 {0: 869881, 1: 8141}\n",
      "1430: count=2 {0: 834003, 1: 44019}\n",
      "1431: count=2 {0: 854538, 1: 23484}\n",
      "1432: count=2 {0: 866748, 1: 11274}\n",
      "1433: count=2 {0: 867750, 1: 10272}\n",
      "1434: count=2 {0: 855086, 1: 22936}\n",
      "1435: count=2 {0: 856782, 1: 21240}\n",
      "1436: count=2 {0: 861949, 1: 16073}\n",
      "1437: count=2 {0: 854983, 1: 23039}\n",
      "1438: count=2 {0: 850027, 1: 27995}\n",
      "1439: count=2 {0: 866355, 1: 11667}\n",
      "1440: count=2 {0: 831258, 1: 46764}\n",
      "1441: count=2 {0: 815277, 1: 62745}\n",
      "1442: count=2 {0: 845792, 1: 32230}\n",
      "1443: count=2 {0: 871181, 1: 6841}\n",
      "1444: count=2 {0: 845747, 1: 32275}\n",
      "1445: count=2 {0: 808172, 1: 69850}\n",
      "1446: count=2 {0: 856324, 1: 21698}\n",
      "1447: count=2 {0: 804761, 1: 73261}\n",
      "1448: count=2 {0: 863768, 1: 14254}\n",
      "1449: count=2 {0: 840551, 1: 37471}\n",
      "1450: count=2 {0: 864742, 1: 13280}\n",
      "1451: count=2 {0: 866418, 1: 11604}\n",
      "1452: count=2 {0: 383209, 1: 494813}\n",
      "1453: count=2 {0: 742938, 1: 135084}\n",
      "1454: count=2 {0: 870384, 1: 7638}\n",
      "1455: count=2 {0: 834098, 1: 43924}\n",
      "1456: count=2 {0: 859363, 1: 18659}\n",
      "1457: count=2 {0: 862200, 1: 15822}\n",
      "1458: count=2 {0: 794337, 1: 83685}\n",
      "1459: count=2 {0: 855304, 1: 22718}\n",
      "1460: count=2 {0: 869806, 1: 8216}\n",
      "1461: count=2 {0: 857056, 1: 20966}\n",
      "1462: count=2 {0: 859405, 1: 18617}\n",
      "1463: count=2 {0: 812762, 1: 65260}\n",
      "1464: count=2 {0: 860418, 1: 17604}\n",
      "1465: count=2 {0: 859349, 1: 18673}\n",
      "1466: count=2 {0: 861321, 1: 16701}\n",
      "1467: count=2 {0: 868635, 1: 9387}\n",
      "1468: count=2 {0: 856877, 1: 21145}\n",
      "1469: count=2 {0: 864909, 1: 13113}\n",
      "1470: count=2 {0: 858572, 1: 19450}\n",
      "1471: count=2 {0: 868776, 1: 9246}\n",
      "1472: count=2 {0: 834810, 1: 43212}\n",
      "1473: count=2 {0: 863043, 1: 14979}\n",
      "1474: count=2 {0: 841688, 1: 36334}\n",
      "1475: count=2 {0: 863188, 1: 14834}\n",
      "1476: count=2 {0: 806045, 1: 71977}\n",
      "1477: count=2 {0: 866068, 1: 11954}\n",
      "1478: count=2 {0: 848093, 1: 29929}\n",
      "1479: count=2 {0: 823259, 1: 54763}\n",
      "1480: count=2 {0: 447263, 1: 430759}\n",
      "1481: count=2 {0: 775077, 1: 102945}\n",
      "1482: count=2 {0: 855128, 1: 22894}\n",
      "1483: count=2 {0: 868024, 1: 9998}\n",
      "1484: count=2 {0: 843047, 1: 34975}\n",
      "1485: count=2 {0: 845402, 1: 32620}\n",
      "1486: count=2 {0: 865202, 1: 12820}\n",
      "1487: count=2 {0: 714351, 1: 163671}\n",
      "1488: count=2 {0: 858013, 1: 20009}\n",
      "1489: count=2 {0: 871118, 1: 6904}\n",
      "1490: count=2 {0: 849291, 1: 28731}\n",
      "1491: count=2 {0: 873588, 1: 4434}\n",
      "1492: count=2 {0: 866018, 1: 12004}\n",
      "1493: count=2 {0: 858128, 1: 19894}\n",
      "1494: count=2 {0: 840017, 1: 38005}\n",
      "1495: count=2 {0: 845391, 1: 32631}\n",
      "1496: count=2 {0: 870916, 1: 7106}\n",
      "1497: count=2 {0: 872788, 1: 5234}\n",
      "1498: count=2 {0: 866385, 1: 11637}\n",
      "1499: count=2 {0: 861987, 1: 16035}\n",
      "1500: count=2 {0: 854119, 1: 23903}\n",
      "1501: count=2 {0: 815454, 1: 62568}\n",
      "1502: count=2 {0: 868035, 1: 9987}\n",
      "1503: count=2 {0: 873369, 1: 4653}\n",
      "1504: count=2 {0: 646645, 1: 231377}\n",
      "1505: count=2 {0: 870159, 1: 7863}\n",
      "1506: count=2 {0: 837862, 1: 40160}\n",
      "1507: count=2 {0: 792089, 1: 85933}\n",
      "1508: count=2 {0: 792960, 1: 85062}\n",
      "1509: count=2 {0: 835996, 1: 42026}\n",
      "1510: count=2 {0: 832196, 1: 45826}\n",
      "1511: count=2 {0: 846365, 1: 31657}\n",
      "1512: count=2 {0: 868086, 1: 9936}\n",
      "1513: count=2 {0: 867382, 1: 10640}\n",
      "1514: count=2 {0: 871196, 1: 6826}\n",
      "1515: count=2 {0: 844395, 1: 33627}\n",
      "1516: count=2 {0: 842861, 1: 35161}\n",
      "1517: count=2 {0: 854613, 1: 23409}\n",
      "1518: count=2 {0: 837830, 1: 40192}\n",
      "1519: count=2 {0: 869674, 1: 8348}\n",
      "1520: count=2 {0: 857646, 1: 20376}\n",
      "1521: count=2 {0: 849794, 1: 28228}\n",
      "1522: count=2 {0: 842465, 1: 35557}\n",
      "1523: count=2 {0: 863671, 1: 14351}\n",
      "1524: count=2 {0: 845878, 1: 32144}\n",
      "1525: count=2 {0: 864699, 1: 13323}\n",
      "1526: count=2 {0: 862270, 1: 15752}\n",
      "1527: count=2 {0: 848312, 1: 29710}\n",
      "1528: count=2 {0: 865679, 1: 12343}\n",
      "1529: count=2 {0: 857805, 1: 20217}\n",
      "1530: count=2 {0: 834297, 1: 43725}\n",
      "1531: count=2 {0: 868222, 1: 9800}\n",
      "1532: count=2 {0: 873520, 1: 4502}\n",
      "1533: count=2 {0: 857536, 1: 20486}\n",
      "1534: count=2 {0: 872029, 1: 5993}\n",
      "1535: count=2 {0: 427413, 1: 450609}\n",
      "1536: count=2 {0: 755804, 1: 122218}\n",
      "1537: count=2 {0: 851293, 1: 26729}\n",
      "1538: count=2 {0: 867927, 1: 10095}\n",
      "1539: count=2 {0: 840083, 1: 37939}\n",
      "1540: count=2 {0: 855499, 1: 22523}\n",
      "1541: count=2 {0: 869454, 1: 8568}\n",
      "1542: count=2 {0: 842129, 1: 35893}\n",
      "1543: count=2 {0: 855939, 1: 22083}\n",
      "1544: count=2 {0: 864386, 1: 13636}\n",
      "1545: count=2 {0: 871648, 1: 6374}\n",
      "1546: count=2 {0: 851382, 1: 26640}\n",
      "1547: count=2 {0: 868507, 1: 9515}\n",
      "1548: count=2 {0: 839819, 1: 38203}\n",
      "1549: count=2 {0: 798969, 1: 79053}\n",
      "1550: count=2 {0: 671333, 1: 206689}\n",
      "1551: count=2 {0: 870282, 1: 7740}\n",
      "1552: count=2 {0: 853543, 1: 24479}\n",
      "1553: count=2 {0: 871886, 1: 6136}\n",
      "1554: count=2 {0: 849210, 1: 28812}\n",
      "1555: count=2 {0: 863907, 1: 14115}\n",
      "1556: count=2 {0: 871602, 1: 6420}\n",
      "1557: count=2 {0: 874276, 1: 3746}\n",
      "1558: count=2 {0: 861431, 1: 16591}\n",
      "1559: count=2 {0: 857104, 1: 20918}\n",
      "1560: count=2 {0: 854821, 1: 23201}\n",
      "1561: count=2 {0: 859362, 1: 18660}\n",
      "1562: count=2 {0: 872180, 1: 5842}\n",
      "1563: count=2 {0: 703839, 1: 174183}\n",
      "1564: count=2 {0: 805262, 1: 72760}\n",
      "1565: count=2 {0: 871025, 1: 6997}\n",
      "1566: count=2 {0: 845522, 1: 32500}\n",
      "1567: count=2 {0: 789970, 1: 88052}\n",
      "1568: count=2 {0: 868190, 1: 9832}\n",
      "1569: count=2 {0: 863945, 1: 14077}\n",
      "1570: count=2 {0: 830449, 1: 47573}\n",
      "1571: count=2 {0: 865115, 1: 12907}\n",
      "1572: count=2 {0: 846622, 1: 31400}\n",
      "1573: count=2 {0: 816861, 1: 61161}\n",
      "1574: count=2 {0: 851760, 1: 26262}\n",
      "1575: count=2 {0: 787452, 1: 90570}\n",
      "1576: count=2 {0: 867166, 1: 10856}\n",
      "1577: count=2 {0: 865908, 1: 12114}\n",
      "1578: count=2 {0: 849039, 1: 28983}\n",
      "1579: count=2 {0: 869691, 1: 8331}\n",
      "1580: count=2 {0: 863581, 1: 14441}\n",
      "1581: count=2 {0: 858452, 1: 19570}\n",
      "1582: count=2 {0: 481790, 1: 396232}\n",
      "1583: count=2 {0: 860680, 1: 17342}\n",
      "1584: count=2 {0: 869438, 1: 8584}\n",
      "1585: count=2 {0: 856242, 1: 21780}\n",
      "1586: count=2 {0: 717462, 1: 160560}\n",
      "1587: count=2 {0: 857067, 1: 20955}\n",
      "1588: count=2 {0: 842681, 1: 35341}\n",
      "1589: count=2 {0: 780893, 1: 97129}\n",
      "1590: count=2 {0: 871193, 1: 6829}\n",
      "1591: count=2 {0: 866069, 1: 11953}\n",
      "1592: count=2 {0: 866070, 1: 11952}\n",
      "1593: count=2 {0: 864595, 1: 13427}\n",
      "1594: count=2 {0: 852163, 1: 25859}\n",
      "1595: count=2 {0: 867597, 1: 10425}\n",
      "1596: count=2 {0: 867386, 1: 10636}\n",
      "1597: count=2 {0: 841749, 1: 36273}\n",
      "1598: count=2 {0: 866599, 1: 11423}\n",
      "1599: count=2 {0: 831014, 1: 47008}\n",
      "1600: count=2 {0: 859635, 1: 18387}\n",
      "1601: count=2 {0: 850604, 1: 27418}\n",
      "1602: count=2 {0: 833833, 1: 44189}\n",
      "1603: count=2 {0: 783399, 1: 94623}\n",
      "1604: count=2 {0: 784972, 1: 93050}\n",
      "1605: count=2 {0: 862195, 1: 15827}\n",
      "1606: count=2 {0: 868326, 1: 9696}\n",
      "1607: count=2 {0: 847927, 1: 30095}\n",
      "1608: count=2 {0: 861353, 1: 16669}\n",
      "1609: count=2 {0: 826052, 1: 51970}\n",
      "1610: count=2 {0: 861709, 1: 16313}\n",
      "1611: count=2 {0: 863844, 1: 14178}\n",
      "1612: count=2 {0: 858459, 1: 19563}\n",
      "1613: count=2 {0: 863622, 1: 14400}\n",
      "1614: count=2 {0: 857026, 1: 20996}\n",
      "1615: count=2 {0: 867748, 1: 10274}\n",
      "1616: count=2 {0: 869573, 1: 8449}\n",
      "1617: count=2 {0: 860795, 1: 17227}\n",
      "1618: count=2 {0: 849239, 1: 28783}\n",
      "1619: count=2 {0: 848467, 1: 29555}\n",
      "1620: count=2 {0: 866085, 1: 11937}\n",
      "1621: count=1 {1: 878022}\n",
      "1622: count=2 {0: 869514, 1: 8508}\n",
      "1623: count=2 {0: 857151, 1: 20871}\n",
      "1624: count=2 {0: 863752, 1: 14270}\n",
      "1625: count=2 {0: 843967, 1: 34055}\n",
      "1626: count=2 {0: 861533, 1: 16489}\n",
      "1627: count=2 {0: 864412, 1: 13610}\n",
      "1628: count=2 {0: 867038, 1: 10984}\n",
      "1629: count=2 {0: 872022, 1: 6000}\n",
      "1630: count=2 {0: 834178, 1: 43844}\n",
      "1631: count=2 {0: 806730, 1: 71292}\n",
      "1632: count=2 {0: 864362, 1: 13660}\n",
      "1633: count=2 {0: 855166, 1: 22856}\n",
      "1634: count=2 {0: 762841, 1: 115181}\n",
      "1635: count=2 {0: 865194, 1: 12828}\n",
      "1636: count=2 {0: 817636, 1: 60386}\n",
      "1637: count=2 {0: 793303, 1: 84719}\n",
      "1638: count=2 {0: 833568, 1: 44454}\n",
      "1639: count=2 {0: 866480, 1: 11542}\n",
      "1640: count=2 {0: 859869, 1: 18153}\n",
      "1641: count=2 {0: 854363, 1: 23659}\n",
      "1642: count=2 {0: 864191, 1: 13831}\n",
      "1643: count=2 {0: 863174, 1: 14848}\n",
      "1644: count=2 {0: 845379, 1: 32643}\n",
      "1645: count=2 {0: 858589, 1: 19433}\n",
      "1646: count=2 {0: 828380, 1: 49642}\n",
      "1647: count=2 {0: 846828, 1: 31194}\n",
      "1648: count=2 {0: 856988, 1: 21034}\n",
      "1649: count=2 {0: 822026, 1: 55996}\n",
      "1650: count=2 {0: 868483, 1: 9539}\n",
      "1651: count=2 {0: 867849, 1: 10173}\n",
      "1652: count=2 {0: 870868, 1: 7154}\n",
      "1653: count=2 {0: 854099, 1: 23923}\n",
      "1654: count=2 {0: 858920, 1: 19102}\n",
      "1655: count=2 {0: 824326, 1: 53696}\n",
      "1656: count=2 {0: 868023, 1: 9999}\n",
      "1657: count=2 {0: 862463, 1: 15559}\n",
      "1658: count=2 {0: 838360, 1: 39662}\n",
      "1659: count=2 {0: 851537, 1: 26485}\n",
      "1660: count=2 {0: 861359, 1: 16663}\n",
      "1661: count=2 {0: 826353, 1: 51669}\n",
      "1662: count=2 {0: 867656, 1: 10366}\n",
      "1663: count=2 {0: 841812, 1: 36210}\n",
      "1664: count=2 {0: 867987, 1: 10035}\n",
      "1665: count=2 {0: 812960, 1: 65062}\n",
      "1666: count=2 {0: 855869, 1: 22153}\n",
      "1667: count=2 {0: 830118, 1: 47904}\n",
      "1668: count=2 {0: 866165, 1: 11857}\n",
      "1669: count=2 {0: 846495, 1: 31527}\n",
      "1670: count=2 {0: 789569, 1: 88453}\n",
      "1671: count=2 {0: 843038, 1: 34984}\n",
      "1672: count=2 {0: 872556, 1: 5466}\n",
      "1673: count=2 {0: 866103, 1: 11919}\n",
      "1674: count=2 {0: 864423, 1: 13599}\n",
      "1675: count=2 {0: 867571, 1: 10451}\n",
      "1676: count=2 {0: 860248, 1: 17774}\n",
      "1677: count=2 {0: 862405, 1: 15617}\n",
      "1678: count=2 {0: 861403, 1: 16619}\n",
      "1679: count=2 {0: 856365, 1: 21657}\n",
      "1680: count=2 {0: 871504, 1: 6518}\n",
      "1681: count=2 {0: 825920, 1: 52102}\n",
      "1682: count=2 {0: 865827, 1: 12195}\n",
      "1683: count=2 {0: 735284, 1: 142738}\n",
      "1684: count=2 {0: 869911, 1: 8111}\n",
      "1685: count=2 {0: 856404, 1: 21618}\n",
      "1686: count=2 {0: 867028, 1: 10994}\n",
      "1687: count=2 {0: 872594, 1: 5428}\n",
      "1688: count=2 {0: 869635, 1: 8387}\n",
      "1689: count=2 {0: 864583, 1: 13439}\n",
      "1690: count=2 {0: 859603, 1: 18419}\n",
      "1691: count=2 {0: 832477, 1: 45545}\n",
      "1692: count=2 {0: 832257, 1: 45765}\n",
      "1693: count=2 {0: 822603, 1: 55419}\n",
      "1694: count=2 {0: 870559, 1: 7463}\n",
      "1695: count=2 {0: 868992, 1: 9030}\n",
      "1696: count=2 {0: 806775, 1: 71247}\n",
      "1697: count=2 {0: 771459, 1: 106563}\n",
      "1698: count=2 {0: 859300, 1: 18722}\n",
      "1699: count=2 {0: 860652, 1: 17370}\n",
      "1700: count=2 {0: 854910, 1: 23112}\n",
      "1701: count=2 {0: 862264, 1: 15758}\n",
      "1702: count=2 {0: 853179, 1: 24843}\n",
      "1703: count=2 {0: 784368, 1: 93654}\n",
      "1704: count=2 {0: 849454, 1: 28568}\n",
      "1705: count=2 {0: 847311, 1: 30711}\n",
      "1706: count=2 {0: 869682, 1: 8340}\n",
      "1707: count=2 {0: 866784, 1: 11238}\n",
      "1708: count=2 {0: 852745, 1: 25277}\n",
      "1709: count=2 {0: 856524, 1: 21498}\n",
      "1710: count=2 {0: 840524, 1: 37498}\n",
      "1711: count=2 {0: 866041, 1: 11981}\n",
      "1712: count=2 {0: 862647, 1: 15375}\n",
      "1713: count=2 {0: 865590, 1: 12432}\n",
      "1714: count=2 {0: 856924, 1: 21098}\n",
      "1715: count=2 {0: 856536, 1: 21486}\n",
      "1716: count=2 {0: 868596, 1: 9426}\n",
      "1717: count=2 {0: 861546, 1: 16476}\n",
      "1718: count=2 {0: 816671, 1: 61351}\n",
      "1719: count=2 {0: 839708, 1: 38314}\n",
      "1720: count=2 {0: 873982, 1: 4040}\n",
      "1721: count=2 {0: 853912, 1: 24110}\n",
      "1722: count=2 {0: 584989, 1: 293033}\n",
      "1723: count=2 {0: 861652, 1: 16370}\n",
      "1724: count=2 {0: 841369, 1: 36653}\n",
      "1725: count=2 {0: 858614, 1: 19408}\n",
      "1726: count=2 {0: 852216, 1: 25806}\n",
      "1727: count=2 {0: 831537, 1: 46485}\n",
      "1728: count=2 {0: 849863, 1: 28159}\n",
      "1729: count=2 {0: 870856, 1: 7166}\n",
      "1730: count=2 {0: 870497, 1: 7525}\n",
      "1731: count=2 {0: 823665, 1: 54357}\n",
      "1732: count=2 {0: 856066, 1: 21956}\n",
      "1733: count=2 {0: 858767, 1: 19255}\n",
      "1734: count=2 {0: 807455, 1: 70567}\n",
      "1735: count=2 {0: 866226, 1: 11796}\n",
      "1736: count=2 {0: 864083, 1: 13939}\n",
      "1737: count=2 {0: 872189, 1: 5833}\n",
      "1738: count=2 {0: 790776, 1: 87246}\n",
      "1739: count=2 {0: 854632, 1: 23390}\n",
      "1740: count=2 {0: 866275, 1: 11747}\n",
      "1741: count=2 {0: 856113, 1: 21909}\n",
      "1742: count=2 {0: 651736, 1: 226286}\n",
      "1743: count=2 {0: 850403, 1: 27619}\n",
      "1744: count=2 {0: 867461, 1: 10561}\n",
      "1745: count=2 {0: 820539, 1: 57483}\n",
      "1746: count=2 {0: 864272, 1: 13750}\n",
      "1747: count=2 {0: 862979, 1: 15043}\n",
      "1748: count=2 {0: 870649, 1: 7373}\n",
      "1749: count=2 {0: 864126, 1: 13896}\n",
      "1750: count=2 {0: 58581, 1: 819441}\n",
      "1751: count=2 {0: 843278, 1: 34744}\n",
      "1752: count=2 {0: 851358, 1: 26664}\n",
      "1753: count=2 {0: 789266, 1: 88756}\n",
      "1754: count=2 {0: 675565, 1: 202457}\n",
      "1755: count=2 {0: 868161, 1: 9861}\n",
      "1756: count=2 {0: 868085, 1: 9937}\n",
      "1757: count=2 {0: 863116, 1: 14906}\n",
      "1758: count=2 {0: 834000, 1: 44022}\n",
      "1759: count=2 {0: 868342, 1: 9680}\n",
      "1760: count=2 {0: 867506, 1: 10516}\n",
      "1761: count=2 {0: 844005, 1: 34017}\n",
      "1762: count=2 {0: 838068, 1: 39954}\n",
      "1763: count=2 {0: 859752, 1: 18270}\n",
      "1764: count=2 {0: 861819, 1: 16203}\n",
      "1765: count=2 {0: 847211, 1: 30811}\n",
      "1766: count=2 {0: 843056, 1: 34966}\n",
      "1767: count=2 {0: 868088, 1: 9934}\n",
      "1768: count=2 {0: 857643, 1: 20379}\n",
      "1769: count=2 {0: 848807, 1: 29215}\n",
      "1770: count=2 {0: 862271, 1: 15751}\n",
      "1771: count=2 {0: 864802, 1: 13220}\n",
      "1772: count=2 {0: 868576, 1: 9446}\n",
      "1773: count=2 {0: 845470, 1: 32552}\n",
      "1774: count=2 {0: 864592, 1: 13430}\n",
      "1775: count=2 {0: 819614, 1: 58408}\n",
      "1776: count=2 {0: 854933, 1: 23089}\n",
      "1777: count=2 {0: 842607, 1: 35415}\n",
      "1778: count=2 {0: 857942, 1: 20080}\n",
      "1779: count=2 {0: 839011, 1: 39011}\n",
      "1780: count=2 {0: 866413, 1: 11609}\n",
      "1781: count=2 {0: 854678, 1: 23344}\n",
      "1782: count=2 {0: 865822, 1: 12200}\n",
      "1783: count=2 {0: 841466, 1: 36556}\n",
      "1784: count=2 {0: 858754, 1: 19268}\n",
      "1785: count=2 {0: 864251, 1: 13771}\n",
      "1786: count=2 {0: 857800, 1: 20222}\n",
      "1787: count=2 {0: 869280, 1: 8742}\n",
      "1788: count=2 {0: 860219, 1: 17803}\n",
      "1789: count=2 {0: 856182, 1: 21840}\n",
      "1790: count=2 {0: 862501, 1: 15521}\n",
      "1791: count=2 {0: 848269, 1: 29753}\n",
      "1792: count=2 {0: 851752, 1: 26270}\n",
      "1793: count=2 {0: 870630, 1: 7392}\n",
      "1794: count=2 {0: 866288, 1: 11734}\n",
      "1795: count=2 {0: 795447, 1: 82575}\n",
      "1796: count=2 {0: 868540, 1: 9482}\n",
      "1797: count=2 {0: 847153, 1: 30869}\n",
      "1798: count=2 {0: 847963, 1: 30059}\n",
      "1799: count=2 {0: 854646, 1: 23376}\n",
      "1800: count=2 {0: 834854, 1: 43168}\n",
      "1801: count=2 {0: 861410, 1: 16612}\n",
      "1802: count=2 {0: 852910, 1: 25112}\n",
      "1803: count=2 {0: 853010, 1: 25012}\n",
      "1804: count=2 {0: 860439, 1: 17583}\n",
      "1805: count=2 {0: 852293, 1: 25729}\n",
      "1806: count=2 {0: 867994, 1: 10028}\n",
      "1807: count=2 {0: 862317, 1: 15705}\n",
      "1808: count=2 {0: 837412, 1: 40610}\n",
      "1809: count=2 {0: 840500, 1: 37522}\n",
      "1810: count=2 {0: 852995, 1: 25027}\n",
      "1811: count=2 {0: 868273, 1: 9749}\n",
      "1812: count=2 {0: 859127, 1: 18895}\n",
      "1813: count=2 {0: 856788, 1: 21234}\n",
      "1814: count=2 {0: 856221, 1: 21801}\n",
      "1815: count=2 {0: 871339, 1: 6683}\n",
      "1816: count=2 {0: 829159, 1: 48863}\n",
      "1817: count=2 {0: 865230, 1: 12792}\n",
      "1818: count=2 {0: 866539, 1: 11483}\n",
      "1819: count=2 {0: 862741, 1: 15281}\n",
      "1820: count=2 {0: 865138, 1: 12884}\n",
      "1821: count=2 {0: 862564, 1: 15458}\n",
      "1822: count=2 {0: 861150, 1: 16872}\n",
      "1823: count=2 {0: 819678, 1: 58344}\n",
      "1824: count=2 {0: 857967, 1: 20055}\n",
      "1825: count=2 {0: 812899, 1: 65123}\n",
      "1826: count=2 {0: 867750, 1: 10272}\n",
      "1827: count=2 {0: 859652, 1: 18370}\n",
      "1828: count=2 {0: 869218, 1: 8804}\n",
      "1829: count=2 {0: 871071, 1: 6951}\n",
      "1830: count=2 {0: 872413, 1: 5609}\n",
      "1831: count=2 {0: 864955, 1: 13067}\n",
      "1832: count=2 {0: 858988, 1: 19034}\n",
      "1833: count=2 {0: 862532, 1: 15490}\n",
      "1834: count=2 {0: 870555, 1: 7467}\n",
      "1835: count=2 {0: 863988, 1: 14034}\n",
      "1836: count=2 {0: 871824, 1: 6198}\n",
      "1837: count=2 {0: 856569, 1: 21453}\n",
      "1838: count=2 {0: 863389, 1: 14633}\n",
      "1839: count=2 {0: 811350, 1: 66672}\n",
      "1840: count=2 {0: 736965, 1: 141057}\n",
      "1841: count=2 {0: 858568, 1: 19454}\n",
      "1842: count=2 {0: 850754, 1: 27268}\n",
      "1843: count=2 {0: 860958, 1: 17064}\n",
      "1844: count=2 {0: 869829, 1: 8193}\n",
      "1845: count=2 {0: 851684, 1: 26338}\n",
      "1846: count=2 {0: 859314, 1: 18708}\n",
      "1847: count=2 {0: 824806, 1: 53216}\n",
      "1848: count=2 {0: 871358, 1: 6664}\n",
      "1849: count=2 {0: 866547, 1: 11475}\n",
      "1850: count=2 {0: 868753, 1: 9269}\n",
      "1851: count=2 {0: 868733, 1: 9289}\n",
      "1852: count=2 {0: 848646, 1: 29376}\n",
      "1853: count=2 {0: 850583, 1: 27439}\n",
      "1854: count=2 {0: 837500, 1: 40522}\n",
      "1855: count=2 {0: 324854, 1: 553168}\n",
      "1856: count=2 {0: 827823, 1: 50199}\n",
      "1857: count=2 {0: 872327, 1: 5695}\n",
      "1858: count=2 {0: 855674, 1: 22348}\n",
      "1859: count=2 {0: 847159, 1: 30863}\n",
      "1860: count=2 {0: 861724, 1: 16298}\n",
      "1861: count=2 {0: 862900, 1: 15122}\n",
      "1862: count=2 {0: 841942, 1: 36080}\n",
      "1863: count=2 {0: 855272, 1: 22750}\n",
      "1864: count=2 {0: 860270, 1: 17752}\n",
      "1865: count=2 {0: 864215, 1: 13807}\n",
      "1866: count=2 {0: 598307, 1: 279715}\n",
      "1867: count=2 {0: 868434, 1: 9588}\n",
      "1868: count=2 {0: 867444, 1: 10578}\n",
      "1869: count=2 {0: 866150, 1: 11872}\n",
      "1870: count=2 {0: 853968, 1: 24054}\n",
      "1871: count=2 {0: 866144, 1: 11878}\n",
      "1872: count=2 {0: 864897, 1: 13125}\n",
      "1873: count=2 {0: 5264, 1: 872758}\n",
      "1874: count=2 {0: 873054, 1: 4968}\n",
      "1875: count=2 {0: 865839, 1: 12183}\n",
      "1876: count=2 {0: 854488, 1: 23534}\n",
      "1877: count=2 {0: 869872, 1: 8150}\n",
      "1878: count=2 {0: 864825, 1: 13197}\n",
      "1879: count=2 {0: 850074, 1: 27948}\n",
      "1880: count=2 {0: 866966, 1: 11056}\n",
      "1881: count=2 {0: 871867, 1: 6155}\n",
      "1882: count=2 {0: 871006, 1: 7016}\n",
      "1883: count=2 {0: 862913, 1: 15109}\n",
      "1884: count=2 {0: 845369, 1: 32653}\n",
      "1885: count=2 {0: 871890, 1: 6132}\n",
      "1886: count=2 {0: 861056, 1: 16966}\n",
      "1887: count=2 {0: 858438, 1: 19584}\n",
      "1888: count=2 {0: 870921, 1: 7101}\n",
      "1889: count=2 {0: 866367, 1: 11655}\n",
      "1890: count=2 {0: 867943, 1: 10079}\n",
      "1891: count=2 {0: 852287, 1: 25735}\n",
      "1892: count=2 {0: 855099, 1: 22923}\n",
      "1893: count=2 {0: 870003, 1: 8019}\n",
      "1894: count=2 {0: 864985, 1: 13037}\n",
      "1895: count=2 {0: 856634, 1: 21388}\n",
      "1896: count=2 {0: 835790, 1: 42232}\n",
      "1897: count=2 {0: 845929, 1: 32093}\n",
      "1898: count=2 {0: 833346, 1: 44676}\n",
      "1899: count=2 {0: 813921, 1: 64101}\n",
      "1900: count=2 {0: 869862, 1: 8160}\n",
      "1901: count=2 {0: 869293, 1: 8729}\n",
      "1902: count=2 {0: 868988, 1: 9034}\n",
      "1903: count=2 {0: 873749, 1: 4273}\n",
      "1904: count=2 {0: 872442, 1: 5580}\n",
      "1905: count=2 {0: 828044, 1: 49978}\n",
      "1906: count=2 {0: 861095, 1: 16927}\n",
      "1907: count=2 {0: 859452, 1: 18570}\n",
      "1908: count=2 {0: 864167, 1: 13855}\n",
      "1909: count=2 {0: 870053, 1: 7969}\n",
      "1910: count=2 {0: 480732, 1: 397290}\n",
      "1911: count=2 {0: 822487, 1: 55535}\n",
      "1912: count=2 {0: 863111, 1: 14911}\n",
      "1913: count=2 {0: 871391, 1: 6631}\n",
      "1914: count=2 {0: 871685, 1: 6337}\n",
      "1915: count=2 {0: 847730, 1: 30292}\n",
      "1916: count=2 {0: 830448, 1: 47574}\n",
      "1917: count=1 {1: 878022}\n",
      "1918: count=2 {0: 846378, 1: 31644}\n",
      "1919: count=2 {0: 872600, 1: 5422}\n",
      "1920: count=2 {0: 858874, 1: 19148}\n",
      "1921: count=2 {0: 854181, 1: 23841}\n",
      "1922: count=2 {0: 862684, 1: 15338}\n",
      "1923: count=2 {0: 839710, 1: 38312}\n",
      "1924: count=2 {0: 866408, 1: 11614}\n",
      "1925: count=2 {0: 865409, 1: 12613}\n",
      "1926: count=2 {0: 851285, 1: 26737}\n",
      "1927: count=2 {0: 857970, 1: 20052}\n",
      "1928: count=2 {0: 511913, 1: 366109}\n",
      "1929: count=2 {0: 851239, 1: 26783}\n",
      "1930: count=2 {0: 862177, 1: 15845}\n",
      "1931: count=2 {0: 863584, 1: 14438}\n",
      "1932: count=2 {0: 852088, 1: 25934}\n",
      "1933: count=2 {0: 774388, 1: 103634}\n",
      "1934: count=2 {0: 849406, 1: 28616}\n",
      "1935: count=2 {0: 870131, 1: 7891}\n",
      "1936: count=2 {0: 858479, 1: 19543}\n",
      "1937: count=2 {0: 863990, 1: 14032}\n",
      "1938: count=2 {0: 850605, 1: 27417}\n",
      "1939: count=2 {0: 833108, 1: 44914}\n",
      "1940: count=2 {0: 855739, 1: 22283}\n",
      "1941: count=2 {0: 871070, 1: 6952}\n",
      "1942: count=2 {0: 865350, 1: 12672}\n",
      "1943: count=2 {0: 858444, 1: 19578}\n",
      "1944: count=2 {0: 850978, 1: 27044}\n",
      "1945: count=2 {0: 863767, 1: 14255}\n",
      "1946: count=2 {0: 791849, 1: 86173}\n",
      "1947: count=2 {0: 814234, 1: 63788}\n",
      "1948: count=2 {0: 840555, 1: 37467}\n",
      "1949: count=2 {0: 860651, 1: 17371}\n",
      "1950: count=2 {0: 862589, 1: 15433}\n",
      "1951: count=2 {0: 857377, 1: 20645}\n",
      "1952: count=2 {0: 843250, 1: 34772}\n",
      "1953: count=2 {0: 867267, 1: 10755}\n",
      "1954: count=2 {0: 846497, 1: 31525}\n",
      "1955: count=2 {0: 848822, 1: 29200}\n",
      "1956: count=2 {0: 748894, 1: 129128}\n",
      "1957: count=2 {0: 836568, 1: 41454}\n",
      "1958: count=2 {0: 858456, 1: 19566}\n",
      "1959: count=2 {0: 843592, 1: 34430}\n",
      "1960: count=2 {0: 866521, 1: 11501}\n",
      "1961: count=2 {0: 560546, 1: 317476}\n",
      "1962: count=2 {0: 866534, 1: 11488}\n",
      "1963: count=2 {0: 824616, 1: 53406}\n",
      "1964: count=2 {0: 810682, 1: 67340}\n",
      "1965: count=2 {0: 865275, 1: 12747}\n",
      "1966: count=2 {0: 846596, 1: 31426}\n",
      "1967: count=2 {0: 872248, 1: 5774}\n",
      "1968: count=2 {0: 867291, 1: 10731}\n",
      "1969: count=2 {0: 862613, 1: 15409}\n",
      "1970: count=2 {0: 715922, 1: 162100}\n",
      "1971: count=2 {0: 838922, 1: 39100}\n",
      "1972: count=2 {0: 831774, 1: 46248}\n",
      "1973: count=2 {0: 871479, 1: 6543}\n",
      "1974: count=2 {0: 863139, 1: 14883}\n",
      "1975: count=2 {0: 835865, 1: 42157}\n",
      "1976: count=2 {0: 844378, 1: 33644}\n",
      "1977: count=2 {0: 858292, 1: 19730}\n",
      "1978: count=2 {0: 836665, 1: 41357}\n",
      "1979: count=2 {0: 866974, 1: 11048}\n",
      "1980: count=2 {0: 835406, 1: 42616}\n",
      "1981: count=2 {0: 865064, 1: 12958}\n",
      "1982: count=2 {0: 811819, 1: 66203}\n",
      "1983: count=2 {0: 860057, 1: 17965}\n",
      "1984: count=2 {0: 861163, 1: 16859}\n",
      "1985: count=2 {0: 755893, 1: 122129}\n",
      "1986: count=2 {0: 790883, 1: 87139}\n",
      "1987: count=2 {0: 865968, 1: 12054}\n",
      "1988: count=2 {0: 861543, 1: 16479}\n",
      "1989: count=2 {0: 856669, 1: 21353}\n",
      "1990: count=2 {0: 845202, 1: 32820}\n",
      "1991: count=2 {0: 592396, 1: 285626}\n",
      "1992: count=2 {0: 854984, 1: 23038}\n",
      "1993: count=2 {0: 837333, 1: 40689}\n",
      "1994: count=2 {0: 838156, 1: 39866}\n",
      "1995: count=2 {0: 818944, 1: 59078}\n",
      "1996: count=2 {0: 867779, 1: 10243}\n",
      "1997: count=2 {0: 846961, 1: 31061}\n",
      "1998: count=2 {0: 840510, 1: 37512}\n",
      "1999: count=2 {0: 843621, 1: 34401}\n",
      "2000: count=2 {0: 820267, 1: 57755}\n",
      "2001: count=2 {0: 858707, 1: 19315}\n",
      "2002: count=2 {0: 864968, 1: 13054}\n",
      "2003: count=2 {0: 875157, 1: 2865}\n",
      "2004: count=2 {0: 771164, 1: 106858}\n",
      "2005: count=2 {0: 873788, 1: 4234}\n",
      "2006: count=2 {0: 834826, 1: 43196}\n",
      "2007: count=1 {1: 878022}\n",
      "2008: count=2 {0: 867281, 1: 10741}\n",
      "2009: count=2 {0: 563852, 1: 314170}\n",
      "2010: count=2 {0: 853801, 1: 24221}\n",
      "2011: count=2 {0: 867983, 1: 10039}\n",
      "2012: count=2 {0: 869177, 1: 8845}\n",
      "2013: count=2 {0: 846739, 1: 31283}\n",
      "2014: count=2 {0: 819748, 1: 58274}\n",
      "2015: count=2 {0: 851074, 1: 26948}\n",
      "2016: count=2 {0: 864806, 1: 13216}\n",
      "2017: count=2 {0: 858239, 1: 19783}\n",
      "2018: count=2 {0: 861197, 1: 16825}\n",
      "2019: count=2 {0: 866617, 1: 11405}\n",
      "2020: count=2 {0: 870927, 1: 7095}\n",
      "2021: count=2 {0: 841570, 1: 36452}\n",
      "2022: count=2 {0: 851978, 1: 26044}\n",
      "2023: count=2 {0: 790592, 1: 87430}\n",
      "2024: count=2 {0: 864682, 1: 13340}\n",
      "2025: count=2 {0: 860580, 1: 17442}\n",
      "2026: count=2 {0: 861361, 1: 16661}\n",
      "2027: count=2 {0: 865903, 1: 12119}\n",
      "2028: count=2 {0: 846337, 1: 31685}\n",
      "2029: count=2 {0: 861090, 1: 16932}\n",
      "2030: count=2 {0: 866141, 1: 11881}\n",
      "2031: count=2 {0: 873007, 1: 5015}\n",
      "2032: count=2 {0: 861810, 1: 16212}\n",
      "2033: count=2 {0: 857547, 1: 20475}\n",
      "2034: count=2 {0: 856635, 1: 21387}\n",
      "2035: count=2 {0: 856625, 1: 21397}\n",
      "2036: count=2 {0: 867628, 1: 10394}\n",
      "2037: count=2 {0: 859694, 1: 18328}\n",
      "2038: count=2 {0: 857951, 1: 20071}\n",
      "2039: count=2 {0: 851457, 1: 26565}\n",
      "2040: count=2 {0: 864465, 1: 13557}\n",
      "2041: count=2 {0: 862535, 1: 15487}\n",
      "2042: count=2 {0: 847873, 1: 30149}\n",
      "2043: count=2 {0: 838168, 1: 39854}\n",
      "2044: count=2 {0: 860895, 1: 17127}\n",
      "2045: count=2 {0: 861530, 1: 16492}\n",
      "2046: count=2 {0: 866699, 1: 11323}\n",
      "2047: count=2 {0: 865338, 1: 12684}\n",
      "IGNORE COLS:\n",
      " [650, 807, 1152, 1182, 1380, 1621, 1917, 2007]\n"
     ]
    },
    {
     "data": {
      "text/plain": [
       "[650, 807, 1152, 1182, 1380, 1621, 1917, 2007]"
      ]
     },
     "execution_count": 13,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "analyze_constant_features(test_features)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "e2dd5e85-d5c0-4f50-8e6f-4cb61fbbe043",
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "316ca340-94f9-495c-8db5-41fbebf8aef4",
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 28,
   "id": "1b24fffb-d123-4cd8-b428-f6cc58dbf8ce",
   "metadata": {},
   "outputs": [
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "100%|██████████████████████████████████████| 2048/2048 [12:15<00:00,  2.78it/s]\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "---CHUNK 0---\n"
     ]
    },
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "100%|██████████████████████████████████████| 2048/2048 [11:05<00:00,  3.08it/s]\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "---CHUNK 1---\n"
     ]
    },
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "100%|██████████████████████████████████████| 2048/2048 [11:14<00:00,  3.04it/s]\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "---CHUNK 2---\n"
     ]
    },
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "100%|██████████████████████████████████████| 2048/2048 [10:54<00:00,  3.13it/s]\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "---CHUNK 3---\n"
     ]
    },
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "100%|██████████████████████████████████████| 2048/2048 [10:59<00:00,  3.11it/s]\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "---CHUNK 4---\n"
     ]
    },
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "100%|██████████████████████████████████████| 2048/2048 [10:56<00:00,  3.12it/s]\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "---CHUNK 5---\n"
     ]
    },
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "100%|██████████████████████████████████████| 2048/2048 [11:13<00:00,  3.04it/s]\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "---CHUNK 6---\n"
     ]
    },
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "100%|██████████████████████████████████████| 2048/2048 [11:19<00:00,  3.01it/s]\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "---CHUNK 7---\n"
     ]
    },
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "100%|██████████████████████████████████████| 2048/2048 [11:57<00:00,  2.86it/s]\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "---CHUNK 8---\n"
     ]
    },
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "100%|██████████████████████████████████████| 2048/2048 [09:40<00:00,  3.53it/s]"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "---CHUNK 9---\n",
      "IGNORE COLS:\n",
      " [39, 378, 397, 450, 650, 807, 1152, 1182, 1184, 1201, 1350, 1380, 1582, 1621, 1855, 1917, 1967, 2007]\n"
     ]
    },
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "\n"
     ]
    }
   ],
   "source": [
    "ignore_cols, stats = chunk_analyze_constant_features(train_features, chunksize = 10_000_000, unpackbits = True)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "8d2ec017-832a-470b-bc80-d08e9ab06e96",
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 29,
   "id": "1c28a6f3-74d7-4ee3-afe3-9a8036d31a10",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{0: {0: 94737221, 1: 3678389},\n",
       " 1: {0: 52052609, 1: 46363001},\n",
       " 2: {0: 90763612, 1: 7651998},\n",
       " 3: {0: 94105554, 1: 4310056},\n",
       " 4: {0: 97571841, 1: 843769},\n",
       " 5: {0: 97100146, 1: 1315464},\n",
       " 6: {0: 97349111, 1: 1066499},\n",
       " 7: {0: 97295216, 1: 1120394},\n",
       " 8: {0: 94707113, 1: 3708497},\n",
       " 9: {0: 95776174, 1: 2639436},\n",
       " 10: {0: 95142831, 1: 3272779},\n",
       " 11: {0: 96542381, 1: 1873229},\n",
       " 12: {0: 96633948, 1: 1781662},\n",
       " 13: {0: 93165017, 1: 5250593},\n",
       " 14: {0: 89197772, 1: 9217838},\n",
       " 15: {0: 96619257, 1: 1796353},\n",
       " 16: {0: 95171431, 1: 3244179},\n",
       " 17: {0: 97758367, 1: 657243},\n",
       " 18: {0: 96182294, 1: 2233316},\n",
       " 19: {0: 96259740, 1: 2155870},\n",
       " 20: {0: 97474757, 1: 940853},\n",
       " 21: {0: 96480707, 1: 1934903},\n",
       " 22: {0: 96230010, 1: 2185600},\n",
       " 23: {0: 96588162, 1: 1827448},\n",
       " 24: {0: 96543714, 1: 1871896},\n",
       " 25: {0: 97475140, 1: 940470},\n",
       " 26: {0: 97055966, 1: 1359644},\n",
       " 27: {0: 95936037, 1: 2479573},\n",
       " 28: {0: 96852101, 1: 1563509},\n",
       " 29: {0: 88433502, 1: 9982108},\n",
       " 30: {0: 96231765, 1: 2183845},\n",
       " 31: {0: 97455280, 1: 960330},\n",
       " 32: {0: 94098444, 1: 4317166},\n",
       " 33: {0: 96756598, 1: 1659012},\n",
       " 34: {0: 94442848, 1: 3972762},\n",
       " 35: {0: 96820926, 1: 1594684},\n",
       " 36: {0: 93926755, 1: 4488855},\n",
       " 37: {0: 96751007, 1: 1664603},\n",
       " 38: {0: 97994293, 1: 421317},\n",
       " 39: {0: 98415610},\n",
       " 40: {0: 96027274, 1: 2388336},\n",
       " 41: {0: 77689117, 1: 20726493},\n",
       " 42: {0: 94222929, 1: 4192681},\n",
       " 43: {0: 90871644, 1: 7543966},\n",
       " 44: {0: 97030838, 1: 1384772},\n",
       " 45: {0: 92525811, 1: 5889799},\n",
       " 46: {0: 96943315, 1: 1472295},\n",
       " 47: {0: 84756028, 1: 13659582},\n",
       " 48: {0: 97571712, 1: 843898},\n",
       " 49: {0: 97817774, 1: 597836},\n",
       " 50: {0: 95445858, 1: 2969752},\n",
       " 51: {0: 95922545, 1: 2493065},\n",
       " 52: {0: 97104141, 1: 1311469},\n",
       " 53: {0: 96168119, 1: 2247491},\n",
       " 54: {0: 96154427, 1: 2261183},\n",
       " 55: {0: 94423191, 1: 3992419},\n",
       " 56: {0: 97290403, 1: 1125207},\n",
       " 57: {0: 94852216, 1: 3563394},\n",
       " 58: {0: 92870874, 1: 5544736},\n",
       " 59: {0: 93833253, 1: 4582357},\n",
       " 60: {0: 95876184, 1: 2539426},\n",
       " 61: {0: 73293432, 1: 25122178},\n",
       " 62: {0: 96803776, 1: 1611834},\n",
       " 63: {0: 91333142, 1: 7082468},\n",
       " 64: {0: 97163495, 1: 1252115},\n",
       " 65: {0: 95277653, 1: 3137957},\n",
       " 66: {0: 97571406, 1: 844204},\n",
       " 67: {0: 88241088, 1: 10174522},\n",
       " 68: {0: 97152183, 1: 1263427},\n",
       " 69: {0: 94614185, 1: 3801425},\n",
       " 70: {0: 97475959, 1: 939651},\n",
       " 71: {0: 95852411, 1: 2563199},\n",
       " 72: {0: 96868800, 1: 1546810},\n",
       " 73: {0: 96402270, 1: 2013340},\n",
       " 74: {0: 89483741, 1: 8931869},\n",
       " 75: {0: 96570264, 1: 1845346},\n",
       " 76: {0: 96649366, 1: 1766244},\n",
       " 77: {0: 95404043, 1: 3011567},\n",
       " 78: {0: 92039603, 1: 6376007},\n",
       " 79: {0: 76248507, 1: 22167103},\n",
       " 80: {0: 11262834, 1: 87152776},\n",
       " 81: {0: 95475396, 1: 2940214},\n",
       " 82: {0: 97115828, 1: 1299782},\n",
       " 83: {0: 95705430, 1: 2710180},\n",
       " 84: {0: 84944822, 1: 13470788},\n",
       " 85: {0: 97106814, 1: 1308796},\n",
       " 86: {0: 95615378, 1: 2800232},\n",
       " 87: {0: 94225063, 1: 4190547},\n",
       " 88: {0: 96444246, 1: 1971364},\n",
       " 89: {0: 95460507, 1: 2955103},\n",
       " 90: {0: 93193950, 1: 5221660},\n",
       " 91: {0: 95382627, 1: 3032983},\n",
       " 92: {0: 92789305, 1: 5626305},\n",
       " 93: {0: 95518218, 1: 2897392},\n",
       " 94: {0: 89869892, 1: 8545718},\n",
       " 95: {0: 95999388, 1: 2416222},\n",
       " 96: {0: 96415848, 1: 1999762},\n",
       " 97: {0: 96538833, 1: 1876777},\n",
       " 98: {0: 97758323, 1: 657287},\n",
       " 99: {0: 97115179, 1: 1300431},\n",
       " 100: {0: 96095672, 1: 2319938},\n",
       " 101: {0: 96463729, 1: 1951881},\n",
       " 102: {0: 91898415, 1: 6517195},\n",
       " 103: {0: 96402438, 1: 2013172},\n",
       " 104: {0: 96386677, 1: 2028933},\n",
       " 105: {0: 95436590, 1: 2979020},\n",
       " 106: {0: 97758371, 1: 657239},\n",
       " 107: {0: 97271723, 1: 1143887},\n",
       " 108: {0: 96450836, 1: 1964774},\n",
       " 109: {0: 97993436, 1: 422174},\n",
       " 110: {0: 97572846, 1: 842764},\n",
       " 111: {0: 97337907, 1: 1077703},\n",
       " 112: {0: 96755571, 1: 1660039},\n",
       " 113: {0: 97583657, 1: 831953},\n",
       " 114: {0: 79038491, 1: 19377119},\n",
       " 115: {0: 96587846, 1: 1827764},\n",
       " 116: {0: 93255642, 1: 5159968},\n",
       " 117: {0: 94449470, 1: 3966140},\n",
       " 118: {0: 94299928, 1: 4115682},\n",
       " 119: {0: 92033988, 1: 6381622},\n",
       " 120: {0: 90108823, 1: 8306787},\n",
       " 121: {0: 95700798, 1: 2714812},\n",
       " 122: {0: 95166985, 1: 3248625},\n",
       " 123: {0: 95763819, 1: 2651791},\n",
       " 124: {0: 96881963, 1: 1533647},\n",
       " 125: {0: 95161690, 1: 3253920},\n",
       " 126: {0: 86722544, 1: 11693066},\n",
       " 127: {0: 96686007, 1: 1729603},\n",
       " 128: {0: 96374762, 1: 2040848},\n",
       " 129: {0: 98179967, 1: 235643},\n",
       " 130: {0: 96869615, 1: 1545995},\n",
       " 131: {0: 95472237, 1: 2943373},\n",
       " 132: {0: 97240468, 1: 1175142},\n",
       " 133: {0: 97944846, 1: 470764},\n",
       " 134: {0: 97475762, 1: 939848},\n",
       " 135: {0: 97523564, 1: 892046},\n",
       " 136: {0: 94868969, 1: 3546641},\n",
       " 137: {0: 98180294, 1: 235316},\n",
       " 138: {0: 94326365, 1: 4089245},\n",
       " 139: {0: 97104758, 1: 1310852},\n",
       " 140: {0: 93847864, 1: 4567746},\n",
       " 141: {0: 96374759, 1: 2040851},\n",
       " 142: {0: 95486188, 1: 2929422},\n",
       " 143: {0: 97165347, 1: 1250263},\n",
       " 144: {0: 97270623, 1: 1144987},\n",
       " 145: {0: 86903753, 1: 11511857},\n",
       " 146: {0: 96904003, 1: 1511607},\n",
       " 147: {0: 93350042, 1: 5065568},\n",
       " 148: {0: 97709457, 1: 706153},\n",
       " 149: {0: 96463014, 1: 1952596},\n",
       " 150: {0: 96962514, 1: 1453096},\n",
       " 151: {0: 97993062, 1: 422548},\n",
       " 152: {0: 97759459, 1: 656151},\n",
       " 153: {0: 97631674, 1: 783936},\n",
       " 154: {0: 97037789, 1: 1377821},\n",
       " 155: {0: 97709828, 1: 705782},\n",
       " 156: {0: 96882144, 1: 1533466},\n",
       " 157: {0: 92267093, 1: 6148517},\n",
       " 158: {0: 97025888, 1: 1389722},\n",
       " 159: {0: 96684416, 1: 1731194},\n",
       " 160: {0: 96451956, 1: 1963654},\n",
       " 161: {0: 96635985, 1: 1779625},\n",
       " 162: {0: 86142103, 1: 12273507},\n",
       " 163: {0: 97523557, 1: 892053},\n",
       " 164: {0: 96571590, 1: 1844020},\n",
       " 165: {0: 92940522, 1: 5475088},\n",
       " 166: {0: 96989863, 1: 1425747},\n",
       " 167: {0: 95921569, 1: 2494041},\n",
       " 168: {0: 97240950, 1: 1174660},\n",
       " 169: {0: 97289087, 1: 1126523},\n",
       " 170: {0: 96216992, 1: 2198618},\n",
       " 171: {0: 91777407, 1: 6638203},\n",
       " 172: {0: 96745732, 1: 1669878},\n",
       " 173: {0: 95010906, 1: 3404704},\n",
       " 174: {0: 95153348, 1: 3262262},\n",
       " 175: {0: 96697092, 1: 1718518},\n",
       " 176: {0: 96087142, 1: 2328468},\n",
       " 177: {0: 97163626, 1: 1251984},\n",
       " 178: {0: 97340833, 1: 1074777},\n",
       " 179: {0: 97025641, 1: 1389969},\n",
       " 180: {0: 97115502, 1: 1300108},\n",
       " 181: {0: 97240637, 1: 1174973},\n",
       " 182: {0: 95622135, 1: 2793475},\n",
       " 183: {0: 95708692, 1: 2706918},\n",
       " 184: {0: 95179492, 1: 3236118},\n",
       " 185: {0: 96772755, 1: 1642855},\n",
       " 186: {0: 96452114, 1: 1963496},\n",
       " 187: {0: 95971162, 1: 2444448},\n",
       " 188: {0: 93435026, 1: 4980584},\n",
       " 189: {0: 96305476, 1: 2110134},\n",
       " 190: {0: 96416164, 1: 1999446},\n",
       " 191: {0: 64718401, 1: 33697209},\n",
       " 192: {0: 93909231, 1: 4506379},\n",
       " 193: {0: 95022654, 1: 3392956},\n",
       " 194: {0: 95723495, 1: 2692115},\n",
       " 195: {0: 96804559, 1: 1611051},\n",
       " 196: {0: 97093833, 1: 1321777},\n",
       " 197: {0: 93968040, 1: 4447570},\n",
       " 198: {0: 97386238, 1: 1029372},\n",
       " 199: {0: 96649419, 1: 1766191},\n",
       " 200: {0: 95862836, 1: 2552774},\n",
       " 201: {0: 97993543, 1: 422067},\n",
       " 202: {0: 95959023, 1: 2456587},\n",
       " 203: {0: 95133569, 1: 3282041},\n",
       " 204: {0: 94273008, 1: 4142602},\n",
       " 205: {0: 95691292, 1: 2724318},\n",
       " 206: {0: 94832175, 1: 3583435},\n",
       " 207: {0: 93805179, 1: 4610431},\n",
       " 208: {0: 97583854, 1: 831756},\n",
       " 209: {0: 96106895, 1: 2308715},\n",
       " 210: {0: 96522660, 1: 1892950},\n",
       " 211: {0: 97349056, 1: 1066554},\n",
       " 212: {0: 96512399, 1: 1903211},\n",
       " 213: {0: 96414996, 1: 2000614},\n",
       " 214: {0: 93024337, 1: 5391273},\n",
       " 215: {0: 97093547, 1: 1322063},\n",
       " 216: {0: 84975927, 1: 13439683},\n",
       " 217: {0: 96547835, 1: 1867775},\n",
       " 218: {0: 92175139, 1: 6240471},\n",
       " 219: {0: 95613081, 1: 2802529},\n",
       " 220: {0: 96881656, 1: 1533954},\n",
       " 221: {0: 89263386, 1: 9152224},\n",
       " 222: {0: 80690895, 1: 17724715},\n",
       " 223: {0: 97455411, 1: 960199},\n",
       " 224: {0: 97632474, 1: 783136},\n",
       " 225: {0: 95575053, 1: 2840557},\n",
       " 226: {0: 94361463, 1: 4054147},\n",
       " 227: {0: 95704098, 1: 2711512},\n",
       " 228: {0: 96779422, 1: 1636188},\n",
       " 229: {0: 96450866, 1: 1964744},\n",
       " 230: {0: 97397669, 1: 1017941},\n",
       " 231: {0: 89465506, 1: 8950104},\n",
       " 232: {0: 97337311, 1: 1078299},\n",
       " 233: {0: 91790148, 1: 6625462},\n",
       " 234: {0: 96882150, 1: 1533460},\n",
       " 235: {0: 94980595, 1: 3435015},\n",
       " 236: {0: 96290039, 1: 2125571},\n",
       " 237: {0: 94827650, 1: 3587960},\n",
       " 238: {0: 97054670, 1: 1360940},\n",
       " 239: {0: 97102873, 1: 1312737},\n",
       " 240: {0: 97338140, 1: 1077470},\n",
       " 241: {0: 90746105, 1: 7669505},\n",
       " 242: {0: 94956873, 1: 3458737},\n",
       " 243: {0: 97993049, 1: 422561},\n",
       " 244: {0: 97054703, 1: 1360907},\n",
       " 245: {0: 97055850, 1: 1359760},\n",
       " 246: {0: 96988906, 1: 1426704},\n",
       " 247: {0: 94440704, 1: 3974906},\n",
       " 248: {0: 93583145, 1: 4832465},\n",
       " 249: {0: 87967229, 1: 10448381},\n",
       " 250: {0: 97289978, 1: 1125632},\n",
       " 251: {0: 95888551, 1: 2527059},\n",
       " 252: {0: 94948667, 1: 3466943},\n",
       " 253: {0: 97246123, 1: 1169487},\n",
       " 254: {0: 97758216, 1: 657394},\n",
       " 255: {0: 60233559, 1: 38182051},\n",
       " 256: {0: 97945601, 1: 470009},\n",
       " 257: {0: 97105219, 1: 1310391},\n",
       " 258: {0: 97618988, 1: 796622},\n",
       " 259: {0: 95566916, 1: 2848694},\n",
       " 260: {0: 97197862, 1: 1217748},\n",
       " 261: {0: 97102691, 1: 1312919},\n",
       " 262: {0: 93652164, 1: 4763446},\n",
       " 263: {0: 94292048, 1: 4123562},\n",
       " 264: {0: 97103944, 1: 1311666},\n",
       " 265: {0: 95999747, 1: 2415863},\n",
       " 266: {0: 97945589, 1: 470021},\n",
       " 267: {0: 96586740, 1: 1828870},\n",
       " 268: {0: 95680083, 1: 2735527},\n",
       " 269: {0: 97397253, 1: 1018357},\n",
       " 270: {0: 97993641, 1: 421969},\n",
       " 271: {0: 96511952, 1: 1903658},\n",
       " 272: {0: 97478757, 1: 936853},\n",
       " 273: {0: 95718408, 1: 2697202},\n",
       " 274: {0: 96881320, 1: 1534290},\n",
       " 275: {0: 97992967, 1: 422643},\n",
       " 276: {0: 96803446, 1: 1612164},\n",
       " 277: {0: 97349839, 1: 1065771},\n",
       " 278: {0: 90888250, 1: 7527360},\n",
       " 279: {0: 94379408, 1: 4036202},\n",
       " 280: {0: 97758948, 1: 656662},\n",
       " 281: {0: 94464571, 1: 3951039},\n",
       " 282: {0: 97349622, 1: 1065988},\n",
       " 283: {0: 91360245, 1: 7055365},\n",
       " 284: {0: 94367334, 1: 4048276},\n",
       " 285: {0: 97523093, 1: 892517},\n",
       " 286: {0: 96791899, 1: 1623711},\n",
       " 287: {0: 94982480, 1: 3433130},\n",
       " 288: {0: 97222684, 1: 1192926},\n",
       " 289: {0: 94524416, 1: 3891194},\n",
       " 290: {0: 95691210, 1: 2724400},\n",
       " 291: {0: 93024677, 1: 5390933},\n",
       " 292: {0: 96415644, 1: 1999966},\n",
       " 293: {0: 95843588, 1: 2572022},\n",
       " 294: {0: 85987766, 1: 12427844},\n",
       " 295: {0: 75188756, 1: 23226854},\n",
       " 296: {0: 95622173, 1: 2793437},\n",
       " 297: {0: 96037900, 1: 2377710},\n",
       " 298: {0: 95152770, 1: 3262840},\n",
       " 299: {0: 97055170, 1: 1360440},\n",
       " 300: {0: 96929992, 1: 1485618},\n",
       " 301: {0: 94861133, 1: 3554477},\n",
       " 302: {0: 96882146, 1: 1533464},\n",
       " 303: {0: 96696570, 1: 1719040},\n",
       " 304: {0: 95999105, 1: 2416505},\n",
       " 305: {0: 92553016, 1: 5862594},\n",
       " 306: {0: 96038209, 1: 2377401},\n",
       " 307: {0: 96057889, 1: 2357721},\n",
       " 308: {0: 96821556, 1: 1594054},\n",
       " 309: {0: 96419836, 1: 1995774},\n",
       " 310: {0: 75359712, 1: 23055898},\n",
       " 311: {0: 96416281, 1: 1999329},\n",
       " 312: {0: 96627759, 1: 1787851},\n",
       " 313: {0: 96079227, 1: 2336383},\n",
       " 314: {0: 80497211, 1: 17918399},\n",
       " 315: {0: 95631121, 1: 2784489},\n",
       " 316: {0: 95700831, 1: 2714779},\n",
       " 317: {0: 94167746, 1: 4247864},\n",
       " 318: {0: 95891302, 1: 2524308},\n",
       " 319: {0: 95768642, 1: 2646968},\n",
       " 320: {0: 97115145, 1: 1300465},\n",
       " 321: {0: 96989035, 1: 1426575},\n",
       " 322: {0: 89047318, 1: 9368292},\n",
       " 323: {0: 96917077, 1: 1498533},\n",
       " 324: {0: 96803561, 1: 1612049},\n",
       " 325: {0: 95771115, 1: 2644495},\n",
       " 326: {0: 97198415, 1: 1217195},\n",
       " 327: {0: 95236409, 1: 3179201},\n",
       " 328: {0: 93691464, 1: 4724146},\n",
       " 329: {0: 76002359, 1: 22413251},\n",
       " 330: {0: 96571406, 1: 1844204},\n",
       " 331: {0: 98052383, 1: 363227},\n",
       " 332: {0: 96415720, 1: 1999890},\n",
       " 333: {0: 93675741, 1: 4739869},\n",
       " 334: {0: 96628740, 1: 1786870},\n",
       " 335: {0: 93763313, 1: 4652297},\n",
       " 336: {0: 96732895, 1: 1682715},\n",
       " 337: {0: 96093908, 1: 2321702},\n",
       " 338: {0: 97710187, 1: 705423},\n",
       " 339: {0: 91192985, 1: 7222625},\n",
       " 340: {0: 97240361, 1: 1175249},\n",
       " 341: {0: 96402867, 1: 2012743},\n",
       " 342: {0: 95350746, 1: 3064864},\n",
       " 343: {0: 96230108, 1: 2185502},\n",
       " 344: {0: 95767698, 1: 2647912},\n",
       " 345: {0: 97115403, 1: 1300207},\n",
       " 346: {0: 96466162, 1: 1949448},\n",
       " 347: {0: 97817740, 1: 597870},\n",
       " 348: {0: 97583846, 1: 831764},\n",
       " 349: {0: 93283893, 1: 5131717},\n",
       " 350: {0: 91165022, 1: 7250588},\n",
       " 351: {0: 96803802, 1: 1611808},\n",
       " 352: {0: 92948746, 1: 5466864},\n",
       " 353: {0: 96002952, 1: 2412658},\n",
       " 354: {0: 90372030, 1: 8043580},\n",
       " 355: {0: 97571675, 1: 843935},\n",
       " 356: {0: 97114815, 1: 1300795},\n",
       " 357: {0: 97583712, 1: 831898},\n",
       " 358: {0: 96230980, 1: 2184630},\n",
       " 359: {0: 98180223, 1: 235387},\n",
       " 360: {0: 95576879, 1: 2838731},\n",
       " 361: {0: 92529894, 1: 5885716},\n",
       " 362: {0: 97944563, 1: 471047},\n",
       " 363: {0: 96185938, 1: 2229672},\n",
       " 364: {0: 77184179, 1: 21231431},\n",
       " 365: {0: 97055694, 1: 1359916},\n",
       " 366: {0: 82261719, 1: 16153891},\n",
       " 367: {0: 97398001, 1: 1017609},\n",
       " 368: {0: 90539042, 1: 7876568},\n",
       " 369: {0: 96821372, 1: 1594238},\n",
       " 370: {0: 96648742, 1: 1766868},\n",
       " 371: {0: 96202173, 1: 2213437},\n",
       " 372: {0: 95343233, 1: 3072377},\n",
       " 373: {0: 97631352, 1: 784258},\n",
       " 374: {0: 96696996, 1: 1718614},\n",
       " 375: {0: 96236235, 1: 2179375},\n",
       " 376: {0: 97102717, 1: 1312893},\n",
       " 377: {0: 93396865, 1: 5018745},\n",
       " 378: {1: 98415610},\n",
       " 379: {0: 97106190, 1: 1309420},\n",
       " 380: {0: 95939465, 1: 2476145},\n",
       " 381: {0: 82776444, 1: 15639166},\n",
       " 382: {0: 97163506, 1: 1252104},\n",
       " 383: {0: 90882235, 1: 7533375},\n",
       " 384: {0: 93945096, 1: 4470514},\n",
       " 385: {0: 86318866, 1: 12096744},\n",
       " 386: {0: 96385926, 1: 2029684},\n",
       " 387: {0: 94861321, 1: 3554289},\n",
       " 388: {0: 96619049, 1: 1796561},\n",
       " 389: {0: 87693748, 1: 10721862},\n",
       " 390: {0: 97631276, 1: 784334},\n",
       " 391: {0: 96979864, 1: 1435746},\n",
       " 392: {0: 81574809, 1: 16840801},\n",
       " 393: {0: 92787254, 1: 5628356},\n",
       " 394: {0: 94155353, 1: 4260257},\n",
       " 395: {0: 97709851, 1: 705759},\n",
       " 396: {0: 90353480, 1: 8062130},\n",
       " 397: {0: 98415610},\n",
       " 398: {0: 95070210, 1: 3345400},\n",
       " 399: {0: 94463756, 1: 3951854},\n",
       " 400: {0: 93005299, 1: 5410311},\n",
       " 401: {0: 93623807, 1: 4791803},\n",
       " 402: {0: 97163466, 1: 1252144},\n",
       " 403: {0: 92038028, 1: 6377582},\n",
       " 404: {0: 96860380, 1: 1555230},\n",
       " 405: {0: 96930918, 1: 1484692},\n",
       " 406: {0: 93784793, 1: 4630817},\n",
       " 407: {0: 91320936, 1: 7094674},\n",
       " 408: {0: 97583506, 1: 832104},\n",
       " 409: {0: 94222869, 1: 4192741},\n",
       " 410: {0: 96989020, 1: 1426590},\n",
       " 411: {0: 96756606, 1: 1659004},\n",
       " 412: {0: 96041091, 1: 2374519},\n",
       " 413: {0: 96120874, 1: 2294736},\n",
       " 414: {0: 97116103, 1: 1299507},\n",
       " 415: {0: 96696891, 1: 1718719},\n",
       " 416: {0: 97270349, 1: 1145261},\n",
       " 417: {0: 97679785, 1: 735825},\n",
       " 418: {0: 98180009, 1: 235601},\n",
       " 419: {0: 92647933, 1: 5767677},\n",
       " 420: {0: 97398425, 1: 1017185},\n",
       " 421: {0: 95142850, 1: 3272760},\n",
       " 422: {0: 95519186, 1: 2896424},\n",
       " 423: {0: 96908053, 1: 1507557},\n",
       " 424: {0: 97289165, 1: 1126445},\n",
       " 425: {0: 93774499, 1: 4641111},\n",
       " 426: {0: 90337621, 1: 8077989},\n",
       " 427: {0: 95887757, 1: 2527853},\n",
       " 428: {0: 95785556, 1: 2630054},\n",
       " 429: {0: 95284826, 1: 3130784},\n",
       " 430: {0: 95888608, 1: 2527002},\n",
       " 431: {0: 96930228, 1: 1485382},\n",
       " 432: {0: 97758248, 1: 657362},\n",
       " 433: {0: 95998435, 1: 2417175},\n",
       " 434: {0: 97397925, 1: 1017685},\n",
       " 435: {0: 97573666, 1: 841944},\n",
       " 436: {0: 97945003, 1: 470607},\n",
       " 437: {0: 94510972, 1: 3904638},\n",
       " 438: {0: 96803770, 1: 1611840},\n",
       " 439: {0: 97993196, 1: 422414},\n",
       " 440: {0: 96756012, 1: 1659598},\n",
       " 441: {0: 93378316, 1: 5037294},\n",
       " 442: {0: 97007581, 1: 1408029},\n",
       " 443: {0: 97944675, 1: 470935},\n",
       " 444: {0: 96869441, 1: 1546169},\n",
       " 445: {0: 96803620, 1: 1611990},\n",
       " 446: {0: 95181132, 1: 3234478},\n",
       " 447: {0: 97055611, 1: 1359999},\n",
       " 448: {0: 86314507, 1: 12101103},\n",
       " 449: {0: 94883993, 1: 3531617},\n",
       " 450: {0: 98415610},\n",
       " 451: {0: 97993507, 1: 422103},\n",
       " 452: {0: 96978478, 1: 1437132},\n",
       " 453: {0: 96546385, 1: 1869225},\n",
       " 454: {0: 96003243, 1: 2412367},\n",
       " 455: {0: 97163453, 1: 1252157},\n",
       " 456: {0: 95461480, 1: 2954130},\n",
       " 457: {0: 97349013, 1: 1066597},\n",
       " 458: {0: 94536928, 1: 3878682},\n",
       " 459: {0: 95459422, 1: 2956188},\n",
       " 460: {0: 97523475, 1: 892135},\n",
       " 461: {0: 94902751, 1: 3512859},\n",
       " 462: {0: 95445849, 1: 2969761},\n",
       " 463: {0: 96822122, 1: 1593488},\n",
       " 464: {0: 91986865, 1: 6428745},\n",
       " 465: {0: 95487291, 1: 2928319},\n",
       " 466: {0: 97349318, 1: 1066292},\n",
       " 467: {0: 96917766, 1: 1497844},\n",
       " 468: {0: 97221665, 1: 1193945},\n",
       " 469: {0: 95862048, 1: 2553562},\n",
       " 470: {0: 97524186, 1: 891424},\n",
       " 471: {0: 95805699, 1: 2609911},\n",
       " 472: {0: 97523581, 1: 892029},\n",
       " 473: {0: 95630270, 1: 2785340},\n",
       " 474: {0: 95691493, 1: 2724117},\n",
       " 475: {0: 94548815, 1: 3866795},\n",
       " 476: {0: 95956606, 1: 2459004},\n",
       " 477: {0: 96419729, 1: 1995881},\n",
       " 478: {0: 92487662, 1: 5927948},\n",
       " 479: {0: 96665784, 1: 1749826},\n",
       " 480: {0: 95655380, 1: 2760230},\n",
       " 481: {0: 96518229, 1: 1897381},\n",
       " 482: {0: 95827041, 1: 2588569},\n",
       " 483: {0: 97115936, 1: 1299674},\n",
       " 484: {0: 95264375, 1: 3151235},\n",
       " 485: {0: 96188042, 1: 2227568},\n",
       " 486: {0: 52174778, 1: 46240832},\n",
       " 487: {0: 96368629, 1: 2046981},\n",
       " 488: {0: 88297797, 1: 10117813},\n",
       " 489: {0: 90964511, 1: 7451099},\n",
       " 490: {0: 91723827, 1: 6691783},\n",
       " 491: {0: 13750339, 1: 84665271},\n",
       " 492: {0: 97115144, 1: 1300466},\n",
       " 493: {0: 95565720, 1: 2849890},\n",
       " 494: {0: 97523120, 1: 892490},\n",
       " 495: {0: 98228575, 1: 187035},\n",
       " 496: {0: 96635279, 1: 1780331},\n",
       " 497: {0: 95752892, 1: 2662718},\n",
       " 498: {0: 94705643, 1: 3709967},\n",
       " 499: {0: 97709959, 1: 705651},\n",
       " 500: {0: 97534411, 1: 881199},\n",
       " 501: {0: 95805389, 1: 2610221},\n",
       " 502: {0: 95833774, 1: 2581836},\n",
       " 503: {0: 86126023, 1: 12289587},\n",
       " 504: {0: 91056947, 1: 7358663},\n",
       " 505: {0: 96822006, 1: 1593604},\n",
       " 506: {0: 97524818, 1: 890792},\n",
       " 507: {0: 95999072, 1: 2416538},\n",
       " 508: {0: 83939698, 1: 14475912},\n",
       " 509: {0: 96778216, 1: 1637394},\n",
       " 510: {0: 94863699, 1: 3551911},\n",
       " 511: {0: 94062795, 1: 4352815},\n",
       " 512: {0: 97817541, 1: 598069},\n",
       " 513: {0: 97556189, 1: 859421},\n",
       " 514: {0: 93773179, 1: 4642431},\n",
       " 515: {0: 97289603, 1: 1126007},\n",
       " 516: {0: 97806465, 1: 609145},\n",
       " 517: {0: 96277917, 1: 2137693},\n",
       " 518: {0: 96652115, 1: 1763495},\n",
       " 519: {0: 97865954, 1: 549656},\n",
       " 520: {0: 98180009, 1: 235601},\n",
       " 521: {0: 97241153, 1: 1174457},\n",
       " 522: {0: 95971255, 1: 2444355},\n",
       " 523: {0: 86091459, 1: 12324151},\n",
       " 524: {0: 96385739, 1: 2029871},\n",
       " 525: {0: 96032383, 1: 2383227},\n",
       " 526: {0: 91122087, 1: 7293523},\n",
       " 527: {0: 96917635, 1: 1497975},\n",
       " 528: {0: 97631464, 1: 784146},\n",
       " 529: {0: 96917202, 1: 1498408},\n",
       " 530: {0: 96882274, 1: 1533336},\n",
       " 531: {0: 90857822, 1: 7557788},\n",
       " 532: {0: 97946333, 1: 469277},\n",
       " 533: {0: 95922194, 1: 2493416},\n",
       " 534: {0: 96868851, 1: 1546759},\n",
       " 535: {0: 96143227, 1: 2272383},\n",
       " 536: {0: 96799256, 1: 1616354},\n",
       " 537: {0: 58378988, 1: 40036622},\n",
       " 538: {0: 97055189, 1: 1360421},\n",
       " 539: {0: 97240393, 1: 1175217},\n",
       " 540: {0: 97084516, 1: 1331094},\n",
       " 541: {0: 96978057, 1: 1437553},\n",
       " 542: {0: 96083757, 1: 2331853},\n",
       " 543: {0: 96446042, 1: 1969568},\n",
       " 544: {0: 96683630, 1: 1731980},\n",
       " 545: {0: 96492480, 1: 1923130},\n",
       " 546: {0: 96821380, 1: 1594230},\n",
       " 547: {0: 97103407, 1: 1312203},\n",
       " 548: {0: 94726172, 1: 3689438},\n",
       " 549: {0: 97221697, 1: 1193913},\n",
       " 550: {0: 94730009, 1: 3685601},\n",
       " 551: {0: 91513411, 1: 6902199},\n",
       " 552: {0: 87593173, 1: 10822437},\n",
       " 553: {0: 97993376, 1: 422234},\n",
       " 554: {0: 94644734, 1: 3770876},\n",
       " 555: {0: 60281971, 1: 38133639},\n",
       " 556: {0: 95998655, 1: 2416955},\n",
       " 557: {0: 94865186, 1: 3550424},\n",
       " 558: {0: 96932629, 1: 1482981},\n",
       " 559: {0: 94641823, 1: 3773787},\n",
       " 560: {0: 96306809, 1: 2108801},\n",
       " 561: {0: 65312789, 1: 33102821},\n",
       " 562: {0: 94111034, 1: 4304576},\n",
       " 563: {0: 95642912, 1: 2772698},\n",
       " 564: {0: 96559068, 1: 1856542},\n",
       " 565: {0: 97270112, 1: 1145498},\n",
       " 566: {0: 96696436, 1: 1719174},\n",
       " 567: {0: 96793294, 1: 1622316},\n",
       " 568: {0: 96697095, 1: 1718515},\n",
       " 569: {0: 97241405, 1: 1174205},\n",
       " 570: {0: 96450968, 1: 1964642},\n",
       " 571: {0: 93459589, 1: 4956021},\n",
       " 572: {0: 69902759, 1: 28512851},\n",
       " 573: {0: 72820546, 1: 25595064},\n",
       " 574: {0: 97397313, 1: 1018297},\n",
       " 575: {0: 95034935, 1: 3380675},\n",
       " 576: {0: 96047561, 1: 2368049},\n",
       " 577: {0: 95853502, 1: 2562108},\n",
       " 578: {0: 67864546, 1: 30551064},\n",
       " 579: {0: 96745277, 1: 1670333},\n",
       " 580: {0: 97475682, 1: 939928},\n",
       " 581: {0: 96676541, 1: 1739069},\n",
       " 582: {0: 96028696, 1: 2386914},\n",
       " 583: {0: 94332162, 1: 4083448},\n",
       " 584: {0: 94758282, 1: 3657328},\n",
       " 585: {0: 95133218, 1: 3282392},\n",
       " 586: {0: 91105801, 1: 7309809},\n",
       " 587: {0: 97523190, 1: 892420},\n",
       " 588: {0: 94894149, 1: 3521461},\n",
       " 589: {0: 95487039, 1: 2928571},\n",
       " 590: {0: 96326088, 1: 2089522},\n",
       " 591: {0: 96930599, 1: 1485011},\n",
       " 592: {0: 94428476, 1: 3987134},\n",
       " 593: {0: 92801280, 1: 5614330},\n",
       " 594: {0: 97820281, 1: 595329},\n",
       " 595: {0: 97240633, 1: 1174977},\n",
       " 596: {0: 97006991, 1: 1408619},\n",
       " 597: {0: 97337283, 1: 1078327},\n",
       " 598: {0: 96202478, 1: 2213132},\n",
       " 599: {0: 97271286, 1: 1144324},\n",
       " 600: {0: 95355042, 1: 3060568},\n",
       " 601: {0: 94283993, 1: 4131617},\n",
       " 602: {0: 96236887, 1: 2178723},\n",
       " 603: {0: 96851706, 1: 1563904},\n",
       " 604: {0: 97103996, 1: 1311614},\n",
       " 605: {0: 94888271, 1: 3527339},\n",
       " 606: {0: 89865032, 1: 8550578},\n",
       " 607: {0: 97523710, 1: 891900},\n",
       " 608: {0: 96813533, 1: 1602077},\n",
       " 609: {0: 93375510, 1: 5040100},\n",
       " 610: {0: 97006617, 1: 1408993},\n",
       " 611: {0: 95105273, 1: 3310337},\n",
       " 612: {0: 96571836, 1: 1843774},\n",
       " 613: {0: 94920502, 1: 3495108},\n",
       " 614: {0: 96097055, 1: 2318555},\n",
       " 615: {0: 86517197, 1: 11898413},\n",
       " 616: {0: 96907949, 1: 1507661},\n",
       " 617: {0: 96028066, 1: 2387544},\n",
       " 618: {0: 96821509, 1: 1594101},\n",
       " 619: {0: 95166739, 1: 3248871},\n",
       " 620: {0: 95988779, 1: 2426831},\n",
       " 621: {0: 87240041, 1: 11175569},\n",
       " 622: {0: 96464977, 1: 1950633},\n",
       " 623: {0: 97212047, 1: 1203563},\n",
       " 624: {0: 96523249, 1: 1892361},\n",
       " 625: {0: 96778194, 1: 1637416},\n",
       " 626: {0: 97475057, 1: 940553},\n",
       " 627: {0: 97709803, 1: 705807},\n",
       " 628: {0: 94999801, 1: 3415809},\n",
       " 629: {0: 97631377, 1: 784233},\n",
       " 630: {0: 95186205, 1: 3229405},\n",
       " 631: {0: 97710725, 1: 704885},\n",
       " 632: {0: 96869802, 1: 1545808},\n",
       " 633: {0: 96449080, 1: 1966530},\n",
       " 634: {0: 94189361, 1: 4226249},\n",
       " 635: {0: 97163725, 1: 1251885},\n",
       " 636: {0: 97131574, 1: 1284036},\n",
       " 637: {0: 91600756, 1: 6814854},\n",
       " 638: {0: 93510770, 1: 4904840},\n",
       " 639: {0: 97116021, 1: 1299589},\n",
       " 640: {0: 97115359, 1: 1300251},\n",
       " 641: {0: 96404481, 1: 2011129},\n",
       " 642: {0: 97007183, 1: 1408427},\n",
       " 643: {0: 98180869, 1: 234741},\n",
       " 644: {0: 97758083, 1: 657527},\n",
       " 645: {0: 91426342, 1: 6989268},\n",
       " 646: {0: 97163296, 1: 1252314},\n",
       " 647: {0: 97710140, 1: 705470},\n",
       " 648: {0: 92849875, 1: 5565735},\n",
       " 649: {0: 97993493, 1: 422117},\n",
       " 650: {1: 98415610},\n",
       " 651: {0: 37283724, 1: 61131886},\n",
       " 652: {0: 96094030, 1: 2321580},\n",
       " 653: {0: 97397168, 1: 1018442},\n",
       " 654: {0: 97571757, 1: 843853},\n",
       " 655: {0: 95238514, 1: 3177096},\n",
       " 656: {0: 64863870, 1: 33551740},\n",
       " 657: {0: 96085558, 1: 2330052},\n",
       " 658: {0: 92960082, 1: 5455528},\n",
       " 659: {0: 97992934, 1: 422676},\n",
       " 660: {0: 95545726, 1: 2869884},\n",
       " 661: {0: 93161403, 1: 5254207},\n",
       " 662: {0: 97709706, 1: 705904},\n",
       " 663: {0: 95121855, 1: 3293755},\n",
       " 664: {0: 92156006, 1: 6259604},\n",
       " 665: {0: 97116831, 1: 1298779},\n",
       " 666: {0: 92912061, 1: 5503549},\n",
       " 667: {0: 72909104, 1: 25506506},\n",
       " 668: {0: 97093361, 1: 1322249},\n",
       " 669: {0: 96522443, 1: 1893167},\n",
       " 670: {0: 96698641, 1: 1716969},\n",
       " 671: {0: 95398772, 1: 3016838},\n",
       " 672: {0: 97866170, 1: 549440},\n",
       " 673: {0: 96292587, 1: 2123023},\n",
       " 674: {0: 84084159, 1: 14331451},\n",
       " 675: {0: 71442672, 1: 26972938},\n",
       " 676: {0: 96868898, 1: 1546712},\n",
       " 677: {0: 96803571, 1: 1612039},\n",
       " 678: {0: 96084911, 1: 2330699},\n",
       " 679: {0: 92657918, 1: 5757692},\n",
       " 680: {0: 94779542, 1: 3636068},\n",
       " 681: {0: 97806315, 1: 609295},\n",
       " 682: {0: 97163957, 1: 1251653},\n",
       " 683: {0: 96648039, 1: 1767571},\n",
       " 684: {0: 89597067, 1: 8818543},\n",
       " 685: {0: 95720308, 1: 2695302},\n",
       " 686: {0: 96805792, 1: 1609818},\n",
       " 687: {0: 95119133, 1: 3296477},\n",
       " 688: {0: 97455266, 1: 960344},\n",
       " 689: {0: 86293174, 1: 12122436},\n",
       " 690: {0: 59995847, 1: 38419763},\n",
       " 691: {0: 96771738, 1: 1643872},\n",
       " 692: {0: 94657475, 1: 3758135},\n",
       " 693: {0: 96978550, 1: 1437060},\n",
       " 694: {0: 93185413, 1: 5230197},\n",
       " 695: {0: 56799129, 1: 41616481},\n",
       " 696: {0: 95852563, 1: 2563047},\n",
       " 697: {0: 96697956, 1: 1717654},\n",
       " 698: {0: 96698304, 1: 1717306},\n",
       " 699: {0: 69418465, 1: 28997145},\n",
       " 700: {0: 97689509, 1: 726101},\n",
       " 701: {0: 91825693, 1: 6589917},\n",
       " 702: {0: 94204887, 1: 4210723},\n",
       " 703: {0: 90614079, 1: 7801531},\n",
       " 704: {0: 96231678, 1: 2183932},\n",
       " 705: {0: 97084553, 1: 1331057},\n",
       " 706: {0: 97631595, 1: 784015},\n",
       " 707: {0: 96547638, 1: 1867972},\n",
       " 708: {0: 84916186, 1: 13499424},\n",
       " 709: {0: 96606450, 1: 1809160},\n",
       " 710: {0: 90580484, 1: 7835126},\n",
       " 711: {0: 95492929, 1: 2922681},\n",
       " 712: {0: 97583458, 1: 832152},\n",
       " 713: {0: 95278356, 1: 3137254},\n",
       " 714: {0: 96121755, 1: 2293855},\n",
       " 715: {0: 86080493, 1: 12335117},\n",
       " 716: {0: 88890695, 1: 9524915},\n",
       " 717: {0: 96916823, 1: 1498787},\n",
       " 718: {0: 93208159, 1: 5207451},\n",
       " 719: {0: 95971259, 1: 2444351},\n",
       " 720: {0: 95275795, 1: 3139815},\n",
       " 721: {0: 91825410, 1: 6590200},\n",
       " 722: {0: 96279344, 1: 2136266},\n",
       " 723: {0: 89340673, 1: 9074937},\n",
       " 724: {0: 91395361, 1: 7020249},\n",
       " 725: {0: 96696782, 1: 1718828},\n",
       " 726: {0: 96628217, 1: 1787393},\n",
       " 727: {0: 90908778, 1: 7506832},\n",
       " 728: {0: 57892140, 1: 40523470},\n",
       " 729: {0: 93653700, 1: 4761910},\n",
       " 730: {0: 95412056, 1: 3003554},\n",
       " 731: {0: 97115318, 1: 1300292},\n",
       " 732: {0: 97446554, 1: 969056},\n",
       " 733: {0: 97709832, 1: 705778},\n",
       " 734: {0: 97093461, 1: 1322149},\n",
       " 735: {0: 96355759, 1: 2059851},\n",
       " 736: {0: 74676814, 1: 23738796},\n",
       " 737: {0: 97475794, 1: 939816},\n",
       " 738: {0: 96821324, 1: 1594286},\n",
       " 739: {0: 89618945, 1: 8796665},\n",
       " 740: {0: 95642988, 1: 2772622},\n",
       " 741: {0: 97446127, 1: 969483},\n",
       " 742: {0: 96861057, 1: 1554553},\n",
       " 743: {0: 96131676, 1: 2283934},\n",
       " 744: {0: 96696210, 1: 1719400},\n",
       " 745: {0: 93699179, 1: 4716431},\n",
       " 746: {0: 97523627, 1: 891983},\n",
       " 747: {0: 95910428, 1: 2505182},\n",
       " 748: {0: 97241418, 1: 1174192},\n",
       " 749: {0: 92525079, 1: 5890531},\n",
       " 750: {0: 94250110, 1: 4165500},\n",
       " 751: {0: 94613770, 1: 3801840},\n",
       " 752: {0: 97337557, 1: 1078053},\n",
       " 753: {0: 87284540, 1: 11131070},\n",
       " 754: {0: 92981578, 1: 5434032},\n",
       " 755: {0: 95477707, 1: 2937903},\n",
       " 756: {0: 97397267, 1: 1018343},\n",
       " 757: {0: 96917772, 1: 1497838},\n",
       " 758: {0: 96095330, 1: 2320280},\n",
       " 759: {0: 92549419, 1: 5866191},\n",
       " 760: {0: 94147984, 1: 4267626},\n",
       " 761: {0: 95907756, 1: 2507854},\n",
       " 762: {0: 97036703, 1: 1378907},\n",
       " 763: {0: 96512841, 1: 1902769},\n",
       " 764: {0: 96306201, 1: 2109409},\n",
       " 765: {0: 96895788, 1: 1519822},\n",
       " 766: {0: 95461968, 1: 2953642},\n",
       " 767: {0: 93817727, 1: 4597883},\n",
       " 768: {0: 97527793, 1: 887817},\n",
       " 769: {0: 93210959, 1: 5204651},\n",
       " 770: {0: 97758458, 1: 657152},\n",
       " 771: {0: 97163782, 1: 1251828},\n",
       " 772: {0: 80022775, 1: 18392835},\n",
       " 773: {0: 96820816, 1: 1594794},\n",
       " 774: {0: 96142919, 1: 2272691},\n",
       " 775: {0: 97163741, 1: 1251869},\n",
       " 776: {0: 96573271, 1: 1842339},\n",
       " 777: {0: 96050990, 1: 2364620},\n",
       " 778: {0: 98180017, 1: 235593},\n",
       " 779: {0: 97397479, 1: 1018131},\n",
       " 780: {0: 97258605, 1: 1157005},\n",
       " 781: {0: 91841430, 1: 6574180},\n",
       " 782: {0: 97475206, 1: 940404},\n",
       " 783: {0: 96988307, 1: 1427303},\n",
       " 784: {0: 95853079, 1: 2562531},\n",
       " 785: {0: 97093687, 1: 1321923},\n",
       " 786: {0: 96032448, 1: 2383162},\n",
       " 787: {0: 88208346, 1: 10207264},\n",
       " 788: {0: 97993057, 1: 422553},\n",
       " 789: {0: 97103784, 1: 1311826},\n",
       " 790: {0: 87202816, 1: 11212794},\n",
       " 791: {0: 97758597, 1: 657013},\n",
       " 792: {0: 98180032, 1: 235578},\n",
       " 793: {0: 96635216, 1: 1780394},\n",
       " 794: {0: 96512925, 1: 1902685},\n",
       " 795: {0: 96979028, 1: 1436582},\n",
       " 796: {0: 96745167, 1: 1670443},\n",
       " 797: {0: 96279072, 1: 2136538},\n",
       " 798: {0: 92683211, 1: 5732399},\n",
       " 799: {0: 94496960, 1: 3918650},\n",
       " 800: {0: 96523034, 1: 1892576},\n",
       " 801: {0: 97523406, 1: 892204},\n",
       " 802: {0: 92980563, 1: 5435047},\n",
       " 803: {0: 97397461, 1: 1018149},\n",
       " 804: {0: 84015773, 1: 14399837},\n",
       " 805: {0: 97583575, 1: 832035},\n",
       " 806: {0: 90229675, 1: 8185935},\n",
       " 807: {1: 98415610},\n",
       " 808: {0: 97241597, 1: 1174013},\n",
       " 809: {0: 89551771, 1: 8863839},\n",
       " 810: {0: 96803223, 1: 1612387},\n",
       " 811: {0: 97025868, 1: 1389742},\n",
       " 812: {0: 96106911, 1: 2308699},\n",
       " 813: {0: 97944642, 1: 470968},\n",
       " 814: {0: 97240881, 1: 1174729},\n",
       " 815: {0: 97503334, 1: 912276},\n",
       " 816: {0: 90915006, 1: 7500604},\n",
       " 817: {0: 96821368, 1: 1594242},\n",
       " 818: {0: 97398194, 1: 1017416},\n",
       " 819: {0: 95075322, 1: 3340288},\n",
       " 820: {0: 95862354, 1: 2553256},\n",
       " 821: {0: 95616597, 1: 2799013},\n",
       " 822: {0: 97944938, 1: 470672},\n",
       " 823: {0: 93519637, 1: 4895973},\n",
       " 824: {0: 94987552, 1: 3428058},\n",
       " 825: {0: 97103102, 1: 1312508},\n",
       " 826: {0: 95664872, 1: 2750738},\n",
       " 827: {0: 94327260, 1: 4088350},\n",
       " 828: {0: 95814242, 1: 2601368},\n",
       " 829: {0: 96587951, 1: 1827659},\n",
       " 830: {0: 96988591, 1: 1427019},\n",
       " 831: {0: 96396589, 1: 2019021},\n",
       " 832: {0: 92909568, 1: 5506042},\n",
       " 833: {0: 89356081, 1: 9059529},\n",
       " 834: {0: 96049612, 1: 2365998},\n",
       " 835: {0: 93213242, 1: 5202368},\n",
       " 836: {0: 97709606, 1: 706004},\n",
       " 837: {0: 87694664, 1: 10720946},\n",
       " 838: {0: 86999896, 1: 11415714},\n",
       " 839: {0: 97140789, 1: 1274821},\n",
       " 840: {0: 97337175, 1: 1078435},\n",
       " 841: {0: 70934420, 1: 27481190},\n",
       " 842: {0: 96048405, 1: 2367205},\n",
       " 843: {0: 73662122, 1: 24753488},\n",
       " 844: {0: 97055265, 1: 1360345},\n",
       " 845: {0: 95814374, 1: 2601236},\n",
       " 846: {0: 97165236, 1: 1250374},\n",
       " 847: {0: 96048578, 1: 2367032},\n",
       " 848: {0: 96404810, 1: 2010800},\n",
       " 849: {0: 95948237, 1: 2467373},\n",
       " 850: {0: 93973715, 1: 4441895},\n",
       " 851: {0: 97944815, 1: 470795},\n",
       " 852: {0: 96697332, 1: 1718278},\n",
       " 853: {0: 95630305, 1: 2785305},\n",
       " 854: {0: 96328827, 1: 2086783},\n",
       " 855: {0: 94520188, 1: 3895422},\n",
       " 856: {0: 96415198, 1: 2000412},\n",
       " 857: {0: 87141630, 1: 11273980},\n",
       " 858: {0: 92304125, 1: 6111485},\n",
       " 859: {0: 96016879, 1: 2398731},\n",
       " 860: {0: 97222321, 1: 1193289},\n",
       " 861: {0: 96697007, 1: 1718603},\n",
       " 862: {0: 94190544, 1: 4225066},\n",
       " 863: {0: 97475184, 1: 940426},\n",
       " 864: {0: 95316765, 1: 3098845},\n",
       " 865: {0: 89311093, 1: 9104517},\n",
       " 866: {0: 96696635, 1: 1718975},\n",
       " 867: {0: 97054943, 1: 1360667},\n",
       " 868: {0: 95900528, 1: 2515082},\n",
       " 869: {0: 96697357, 1: 1718253},\n",
       " 870: {0: 96619734, 1: 1795876},\n",
       " 871: {0: 95033668, 1: 3381942},\n",
       " 872: {0: 97397771, 1: 1017839},\n",
       " 873: {0: 97117585, 1: 1298025},\n",
       " 874: {0: 98179999, 1: 235611},\n",
       " 875: {0: 29945510, 1: 68470100},\n",
       " 876: {0: 95717704, 1: 2697906},\n",
       " 877: {0: 97287411, 1: 1128199},\n",
       " 878: {0: 95724225, 1: 2691385},\n",
       " 879: {0: 93955478, 1: 4460132},\n",
       " 880: {0: 96571810, 1: 1843800},\n",
       " 881: {0: 91944152, 1: 6471458},\n",
       " 882: {0: 96804039, 1: 1611571},\n",
       " 883: {0: 95382596, 1: 3033014},\n",
       " 884: {0: 97036798, 1: 1378812},\n",
       " 885: {0: 94147095, 1: 4268515},\n",
       " 886: {0: 96467583, 1: 1948027},\n",
       " 887: {0: 97456353, 1: 959257},\n",
       " 888: {0: 95458781, 1: 2956829},\n",
       " 889: {0: 97475851, 1: 939759},\n",
       " 890: {0: 91599512, 1: 6816098},\n",
       " 891: {0: 93548736, 1: 4866874},\n",
       " 892: {0: 94583497, 1: 3832113},\n",
       " 893: {0: 96818539, 1: 1597071},\n",
       " 894: {0: 97944967, 1: 470643},\n",
       " 895: {0: 96917421, 1: 1498189},\n",
       " 896: {0: 94541281, 1: 3874329},\n",
       " 897: {0: 96511777, 1: 1903833},\n",
       " 898: {0: 95681658, 1: 2733952},\n",
       " 899: {0: 97115558, 1: 1300052},\n",
       " 900: {0: 97476385, 1: 939225},\n",
       " 901: {0: 95414333, 1: 3001277},\n",
       " 902: {0: 96908243, 1: 1507367},\n",
       " 903: {0: 96800229, 1: 1615381},\n",
       " 904: {0: 96988990, 1: 1426620},\n",
       " 905: {0: 96931880, 1: 1483730},\n",
       " 906: {0: 90026464, 1: 8389146},\n",
       " 907: {0: 98052391, 1: 363219},\n",
       " 908: {0: 95826774, 1: 2588836},\n",
       " 909: {0: 91025520, 1: 7390090},\n",
       " 910: {0: 97221588, 1: 1194022},\n",
       " 911: {0: 86852602, 1: 11563008},\n",
       " 912: {0: 96773154, 1: 1642456},\n",
       " 913: {0: 95861805, 1: 2553805},\n",
       " 914: {0: 96773651, 1: 1641959},\n",
       " 915: {0: 91232798, 1: 7182812},\n",
       " 916: {0: 96822170, 1: 1593440},\n",
       " 917: {0: 94390584, 1: 4025026},\n",
       " 918: {0: 97288892, 1: 1126718},\n",
       " 919: {0: 95070965, 1: 3344645},\n",
       " 920: {0: 97571846, 1: 843764},\n",
       " 921: {0: 93709037, 1: 4706573},\n",
       " 922: {0: 97709942, 1: 705668},\n",
       " 923: {0: 95901988, 1: 2513622},\n",
       " 924: {0: 77594533, 1: 20821077},\n",
       " 925: {0: 97581847, 1: 833763},\n",
       " 926: {0: 42210529, 1: 56205081},\n",
       " 927: {0: 97288746, 1: 1126864},\n",
       " 928: {0: 95030368, 1: 3385242},\n",
       " 929: {0: 97475366, 1: 940244},\n",
       " 930: {0: 95382026, 1: 3033584},\n",
       " 931: {0: 96463570, 1: 1952040},\n",
       " 932: {0: 93280825, 1: 5134785},\n",
       " 933: {0: 95980268, 1: 2435342},\n",
       " 934: {0: 82820766, 1: 15594844},\n",
       " 935: {0: 56275653, 1: 42139957},\n",
       " 936: {0: 91642620, 1: 6772990},\n",
       " 937: {0: 96084914, 1: 2330696},\n",
       " 938: {0: 96745402, 1: 1670208},\n",
       " 939: {0: 97397829, 1: 1017781},\n",
       " 940: {0: 94987622, 1: 3427988},\n",
       " 941: {0: 95288931, 1: 3126679},\n",
       " 942: {0: 95739632, 1: 2675978},\n",
       " 943: {0: 97337276, 1: 1078334},\n",
       " 944: {0: 96169365, 1: 2246245},\n",
       " 945: {0: 97150621, 1: 1264989},\n",
       " 946: {0: 96697249, 1: 1718361},\n",
       " 947: {0: 93651999, 1: 4763611},\n",
       " 948: {0: 96522745, 1: 1892865},\n",
       " 949: {0: 96137799, 1: 2277811},\n",
       " 950: {0: 80766242, 1: 17649368},\n",
       " 951: {0: 95566318, 1: 2849292},\n",
       " 952: {0: 97115880, 1: 1299730},\n",
       " 953: {0: 96279133, 1: 2136477},\n",
       " 954: {0: 94901331, 1: 3514279},\n",
       " 955: {0: 93809053, 1: 4606557},\n",
       " 956: {0: 96072863, 1: 2342747},\n",
       " 957: {0: 97397452, 1: 1018158},\n",
       " 958: {0: 96570873, 1: 1844737},\n",
       " 959: {0: 89424017, 1: 8991593},\n",
       " 960: {0: 96305422, 1: 2110188},\n",
       " 961: {0: 95032181, 1: 3383429},\n",
       " 962: {0: 97817810, 1: 597800},\n",
       " 963: {0: 96449803, 1: 1965807},\n",
       " 964: {0: 96978549, 1: 1437061},\n",
       " 965: {0: 96434062, 1: 1981548},\n",
       " 966: {0: 91460747, 1: 6954863},\n",
       " 967: {0: 93517763, 1: 4897847},\n",
       " 968: {0: 95678045, 1: 2737565},\n",
       " 969: {0: 93445279, 1: 4970331},\n",
       " 970: {0: 96869968, 1: 1545642},\n",
       " 971: {0: 95721327, 1: 2694283},\n",
       " 972: {0: 97817914, 1: 597696},\n",
       " 973: {0: 97817844, 1: 597766},\n",
       " 974: {0: 87577582, 1: 10838028},\n",
       " 975: {0: 96929850, 1: 1485760},\n",
       " 976: {0: 97709984, 1: 705626},\n",
       " 977: {0: 63601003, 1: 34814607},\n",
       " 978: {0: 95072845, 1: 3342765},\n",
       " 979: {0: 96931165, 1: 1484445},\n",
       " 980: {0: 92581176, 1: 5834434},\n",
       " 981: {0: 96512798, 1: 1902812},\n",
       " 982: {0: 97502986, 1: 912624},\n",
       " 983: {0: 97571613, 1: 843997},\n",
       " 984: {0: 93633461, 1: 4782149},\n",
       " 985: {0: 97455601, 1: 960009},\n",
       " 986: {0: 98180296, 1: 235314},\n",
       " 987: {0: 94529626, 1: 3885984},\n",
       " 988: {0: 96178022, 1: 2237588},\n",
       " 989: {0: 98229427, 1: 186183},\n",
       " 990: {0: 97349019, 1: 1066591},\n",
       " 991: {0: 96869866, 1: 1545744},\n",
       " 992: {0: 96107314, 1: 2308296},\n",
       " 993: {0: 94379984, 1: 4035626},\n",
       " 994: {0: 97055455, 1: 1360155},\n",
       " 995: {0: 97402956, 1: 1012654},\n",
       " 996: {0: 97151206, 1: 1264404},\n",
       " 997: {0: 92547528, 1: 5868082},\n",
       " 998: {0: 96773892, 1: 1641718},\n",
       " 999: {0: 94546795, 1: 3868815},\n",
       " ...}"
      ]
     },
     "execution_count": 29,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "stats"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "24a14f41-c122-490a-b394-b3821b7523a9",
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 30,
   "id": "8de9dabb-c19e-478f-9160-74d6a4177383",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "[1152,\n",
       " 1184,\n",
       " 450,\n",
       " 1380,\n",
       " 1350,\n",
       " 807,\n",
       " 39,\n",
       " 650,\n",
       " 397,\n",
       " 1582,\n",
       " 1967,\n",
       " 1201,\n",
       " 1621,\n",
       " 2007,\n",
       " 378,\n",
       " 1917,\n",
       " 1182,\n",
       " 1855]"
      ]
     },
     "execution_count": 30,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "list(set([650, 807, 1152, 1182, 1380, 1621, 1917, 2007, 39, 378, 397, 450, 650, 807, 1152, 1182, 1184, 1201, 1350, 1380, 1582, 1621, 1855, 1917, 1967, 2007]))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "64d650bb-7be6-4787-88a5-bb5b55abaee8",
   "metadata": {},
   "outputs": [],
   "source": [
    "set(range(2048)).difference()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "id": "66dcb8d4-6205-4813-a57d-f0122fa23f89",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "[39, 378, 397, 450, 650, 807, 1152, 1182, 1184, 1201, 1350, 1380, 1582, 1621, 1855, 1917, 1967, 2007]\n"
     ]
    }
   ],
   "source": [
    "print(sorted([1152,\n",
    " 1184,\n",
    " 450,\n",
    " 1380,\n",
    " 1350,\n",
    " 807,\n",
    " 39,\n",
    " 650,\n",
    " 397,\n",
    " 1582,\n",
    " 1967,\n",
    " 1201,\n",
    " 1621,\n",
    " 2007,\n",
    " 378,\n",
    " 1917,\n",
    " 1182,\n",
    " 1855]))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "e35cf20c-5850-4d65-a800-b3ddd8bd4b62",
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "b6c0e15e-3562-424c-8385-d18e94802f45",
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "54d8b571-6d42-485d-8be8-923f550ddd5e",
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3 (ipykernel)",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.10.13"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}