result.txt

200 0.5 500
true: {'165': 0, '133': 0, '132': 0, '131': 0, '130': 0, '137': 0, '136': 0, '135': 0, '134': 0, '139': 0, '138': 0, '166': 0, '198': 0, '25': 0, '26': 0, '27': 0, '20': 0, '21': 0, '22': 0, '23': 0, '160': 0, '28': 0, '29': 0, '161': 0, '4': 0, '8': 0, '163': 0, '119': 0, '120': 1, '121': 0, '122': 0, '123': 0, '124': 0, '125': 0, '126': 0, '127': 0, '128': 0, '129': 0, '167': 0, '118': 0, '59': 0, '58': 0, '55': 0, '54': 0, '57': 0, '56': 0, '51': 0, '50': 0, '53': 0, '52': 0, '164': 0, '201': 0, '199': 0, '179': 0, '200': 0, '195': 0, '194': 0, '197': 0, '178': 0, '191': 0, '190': 0, '193': 0, '192': 0, '115': 0, '114': 0, '88': 0, '89': 0, '111': 0, '113': 0, '112': 0, '82': 0, '83': 0, '80': 0, '81': 0, '86': 0, '87': 0, '84': 0, '85': 0, '3': 0, '177': 0, '7': 0, '108': 0, '109': 0, '102': 0, '103': 0, '100': 0, '101': 0, '106': 0, '107': 0, '104': 0, '105': 0, '38': 0, '33': 0, '32': 0, '31': 0, '30': 0, '37': 0, '36': 0, '35': 0, '34': 6, '176': 0, '60': 0, '61': 0, '62': 0, '63': 0, '64': 0, '65': 0, '66': 0, '67': 0, '68': 0, '69': 0, '175': 0, '174': 0, '173': 0, '172': 0, '171': 0, '170': 0, '203': 0, '181': 0, '182': 0, '183': 0, '2': 0, '162': 0, '187': 0, '184': 0, '6': 0, '186': 0, '188': 0, '189': 0, '202': 0, '196': 0, '185': 0, '99': 0, '98': 0, '168': 0, '169': 0, '91': 0, '90': 0, '93': 0, '92': 0, '95': 0, '94': 2, '97': 0, '96': 0, '11': 0, '10': 0, '13': 0, '12': 0, '15': 0, '14': 0, '17': 0, '16': 0, '19': 0, '18': 0, '117': 0, '116': 0, '204': 0, '151': 0, '150': 0, '153': 0, '152': 0, '155': 0, '154': 0, '157': 0, '156': 0, '159': 0, '158': 0, '48': 0, '49': 0, '46': 0, '47': 0, '44': 0, '45': 0, '42': 0, '43': 0, '40': 0, '41': 0, '1': 0, '5': 0, '9': 0, '146': 0, '147': 0, '144': 0, '145': 0, '142': 0, '143': 0, '140': 0, '141': 0, '148': 0, '149': 2, '77': 0, '76': 0, '75': 0, '74': 0, '73': 0, '72': 0, '71': 0, '70': 0, '79': 0, '78': 0}
false: {'768': 0, '1780': 3, '4309': 0, '8903': 23, '9478': 0, '218': 2, '6667': 32, '2298': 1, '4021': 1, '4473': 2, '4784': 2, '3650': 2, '8540': 11, '8010': 4, '24': 8, '8673': 0, '1777': 0, '6574': 90, '6001': 0, '4674': 1, '1549': 44, '9563': 1, '4985': 16, '9321': 16, '3996': 0, '7191': 1, '1461': 1, '3991': 0, '9065': 0, '2916': 28, '1157': 1, '9374': 190, '7291': 21, '5997': 1, '3405': 1, '2655': 0, '3406': 7, '8027': 0, '8877': 6, '6790': 3, '2314': 3, '4647': 0, '5614': 3, '7523': 3, '4630': 0, '1388': 8, '7682': 0, '2062': 0, '4977': 18, '1184': 128, '7890': 0, '6647': 0, '2475': 0, '2474': 0, '8709': 0, '5017': 4, '8605': 12, '393': 5, '110': 2, '1929': 8, '5893': 24, '6148': 0, '7973': 2, '5668': 0, '3470': 25, '6786': 3, '8989': 4, '8887': 0, '2305': 3, '6515': 21, '5096': 3, '1257': 0, '1018': 0, '7683': 0, '365': 1, '913': 0, '2265': 0, '3811': 1, '3816': 0, '2281': 0, '3957': 33, '1948': 0, '2285': 0, '6935': 0, '6174': 0, '4191': 14, '1665': 0, '3018': 0, '7702': 0, '4816': 7, '1642': 2, '6502': 0, '1841': 3, '5080': 0, '2570': 5, '9805': 5, '3094': 1, '5975': 108, '620': 0, '4267': 21, '9537': 0, '4180': 6, '9243': 1, '1229': 0, '9530': 13, '4102': 11, '5337': 0, '7016': 0, '4708': 0, '2805': 4, '2050': 0, '1633': 0, '5113': 8, '6286': 0, '4537': 12, '1734': 0, '5702': 2, '7413': 0, '180': 0, '6856': 0, '2687': 13, '2114': 2, '2429': 0, '4270': 16, '8370': 12, '3604': 0, '39': 3, '3875': 0, '7351': 9, '1804': 2, '2959': 15, '1675': 0, '8475': 2, '9021': 0, '7004': 17, '6385': 10, '8837': 0, '7565': 0, '4078': 5, '6351': 10, '863': 2, '3446': 3, '1180': 1, '725': 7, '935': 0, '2698': 0, '8583': 0, '2028': 0, '6130': 0, '1167': 15, '603': 0, '4272': 2, '8071': 5, '5294': 1, '3632': 1, '5880': 1, '1720': 2, '5526': 0, '5529': 0, '4859': 0, '5056': 1, '9223': 2, '9592': 0, '1051': 0, '2346': 0, '1058': 2, '1617': 1, '3341': 0, '6413': 17, '6222': 0, '5922': 8, '1295': 13, '1278': 0, '4096': 4, '1273': 3, '9264': 11, '8798': 9, '3354': 1, '7208': 4, '5204': 2, '7231': 3, '7243': 0, '8247': 2, '5040': 2, '2122': 0, '5832': 0, '4157': 28, '3119': 0, '4391': 6, '1049': 11, '4397': 0, '5722': 15, '4379': 0, '1360': 0, '8853': 38, '5991': 0, '2530': 1, '6339': 0, '6035': 0, '9691': 0}

200 5 500
true: {'165': 0, '133': 0, '132': 0, '131': 0, '130': 3, '137': 17, '136': 0, '135': 0, '134': 0, '139': 4, '138': 3, '166': 1, '24': 1, '25': 0, '26': 0, '27': 3, '20': 0, '21': 0, '22': 1, '23': 5, '28': 0, '4': 0, '8': 0, '163': 0, '119': 7, '120': 0, '121': 3, '122': 0, '123': 25, '124': 0, '125': 2, '126': 0, '127': 8, '128': 0, '129': 20, '167': 2, '118': 1, '59': 0, '58': 0, '55': 0, '54': 9, '57': 0, '56': 0, '51': 0, '50': 0, '53': 1, '52': 0, '164': 0, '201': 2, '199': 0, '179': 0, '200': 5, '195': 6, '194': 0, '178': 0, '191': 22, '190': 1, '193': 0, '192': 2, '115': 0, '114': 0, '88': 6, '89': 2, '111': 0, '110': 0, '113': 0, '112': 0, '82': 8, '83': 1, '80': 0, '81': 3, '86': 3, '87': 13, '84': 1, '85': 5, '198': 0, '3': 2, '177': 13, '7': 25, '108': 3, '109': 3, '102': 2, '103': 3, '100': 8, '101': 0, '106': 0, '107': 0, '104': 0, '105': 0, '39': 5, '38': 0, '33': 1, '32': 0, '31': 4, '30': 0, '37': 1, '36': 7, '35': 0, '34': 2, '205': 0, '176': 0, '60': 1, '61': 14, '62': 18, '63': 0, '64': 33, '65': 0, '66': 2, '67': 1, '68': 4, '69': 0, '175': 0, '174': 0, '173': 10, '172': 0, '171': 1, '170': 2, '203': 1, '181': 0, '182': 0, '183': 0, '180': 1, '2': 8, '162': 0, '187': 0, '184': 6, '6': 0, '186': 0, '188': 5, '189': 0, '202': 0, '196': 0, '185': 0, '99': 0, '98': 6, '168': 2, '169': 3, '91': 1, '90': 18, '93': 2, '92': 0, '160': 0, '94': 0, '97': 0, '96': 0, '11': 0, '10': 2, '13': 1, '12': 2, '15': 0, '14': 3, '17': 7, '16': 1, '19': 3, '18': 3, '117': 0, '116': 1, '204': 0, '151': 0, '150': 0, '153': 0, '152': 4, '155': 6, '154': 8, '157': 2, '156': 0, '159': 0, '158': 0, '48': 1, '49': 12, '46': 3, '47': 2, '44': 0, '42': 1, '43': 1, '40': 0, '41': 3, '1': 0, '5': 0, '9': 0, '146': 0, '147': 0, '144': 6, '145': 0, '142': 0, '143': 10, '140': 3, '141': 7, '148': 16, '149': 0, '77': 4, '76': 3, '75': 6, '74': 0, '73': 3, '72': 0, '71': 18, '70': 1, '79': 2, '78': 0}
false: {'8257': 26, '1192': 24, '2847': 42, '663': 10, '1265': 159, '2095': 21, '3658': 7, '4575': 91, '8474': 11, '3040': 55, '7380': 45, '8014': 4, '8216': 36, '8090': 66, '1942': 140, '1946': 30, '29': 14, '6955': 40, '289': 18, '540': 10, '2151': 9, '7511': 23, '3998': 17, '1676': 51, '7200': 26, '1463': 40, '1673': 46, '1316': 6, '2466': 100, '3931': 34, '5068': 53, '5463': 62, '3337': 46, '1496': 56, '4079': 12, '3338': 45, '6918': 50, '6847': 37, '8024': 88, '3320': 58, '7257': 35, '1828': 33, '4872': 30, '5300': 1, '3242': 30, '6391': 7, '5305': 1, '8198': 10, '1297': 37, '4487': 21, '4978': 19, '1669': 32, '7057': 56, '2148': 137, '2477': 21, '1129': 7, '8609': 13, '595': 17, '197': 55, '6981': 23, '7462': 38, '3144': 64, '4346': 2, '2824': 39, '5497': 45, '7879': 96, '4205': 21, '7369': 10, '4802': 9, '5090': 3, '4412': 20, '7249': 42, '2664': 12, '1132': 7, '2071': 50, '7882': 18, '8514': 23, '7074': 5, '3586': 0, '2281': 51, '3519': 16, '1933': 21, '3318': 86, '1930': 21, '5489': 10, '5488': 119, '1938': 12, '3315': 43, '5407': 76, '7023': 128, '786': 11, '7624': 5, '4427': 9, '3015': 7, '1241': 38, '5829': 97, '7696': 7, '5876': 25, '7420': 11, '8720': 88, '1002': 12, '621': 19, '4268': 91, '3254': 37, '2295': 57, '6762': 21, '3004': 21, '4104': 21, '7657': 69, '1326': 111, '8192': 4, '1984': 19, '5942': 38, '3511': 34, '3367': 33, '5196': 87, '4821': 28, '6043': 45, '6368': 20, '3085': 203, '5864': 28, '1031': 12, '2363': 23, '2683': 8, '4271': 18, '2580': 24, '8064': 154, '8774': 54, '6521': 140, '4379': 7, '6883': 23, '4771': 4, '2955': 23, '95': 0, '161': 37, '5104': 24, '2364': 55, '1627': 19, '3448': 45, '5956': 28, '3685': 16, '5224': 34, '2756': 16, '2242': 138, '8834': 13, '8583': 73, '5813': 77, '6696': 24, '3969': 0, '8361': 58, '4367': 15, '2863': 47, '7935': 9, '2866': 39, '3637': 18, '2431': 7, '6817': 188, '5887': 14, '6740': 28, '3735': 55, '1051': 122, '7326': 7, '5354': 0, '1811': 29, '1473': 51, '1191': 9, '45': 98, '5037': 27, '7329': 44, '5193': 0, '6187': 60, '2743': 30, '6290': 28, '1442': 0, '1119': 13, '6330': 60, '7472': 6, '3189': 41, '8162': 35, '3623': 89, '2645': 4, '4505': 50, '7829': 206, '5530': 159, '5732': 16, '1887': 46, '7821': 44, '1884': 41, '1609': 28, '6886': 42, '1044': 2, '3116': 83, '6462': 7, '1680': 6, '354': 16, '6239': 54, '6910': 26, '687': 37, '1576': 24, '6232': 1}


200 5 1000
true: {'165': 0, '133': 2, '132': 4, '131': 0, '130': 0, '137': 0, '136': 0, '135': 5, '134': 6, '139': 0, '138': 0, '166': 6, '24': 0, '25': 1, '26': 1, '27': 0, '20': 3, '21': 6, '22': 8, '23': 4, '160': 111, '28': 0, '29': 1, '161': 0, '4': 4, '8': 1, '163': 16, '119': 6, '120': 0, '121': 12, '122': 3, '123': 0, '124': 0, '125': 0, '126': 0, '127': 0, '128': 0, '129': 48, '167': 3, '118': 26, '59': 7, '58': 106, '55': 17, '54': 0, '57': 1, '56': 0, '51': 3, '50': 0, '53': 1, '52': 13, '201': 0, '199': 6, '179': 3, '200': 2, '195': 37, '194': 1, '197': 1, '178': 23, '191': 18, '190': 3, '193': 0, '192': 2, '115': 2, '114': 32, '88': 59, '89': 3, '111': 1, '110': 7, '113': 0, '112': 0, '82': 0, '83': 1, '80': 13, '81': 0, '86': 18, '87': 0, '84': 0, '85': 17, '198': 0, '3': 1, '177': 0, '7': 3, '108': 0, '109': 0, '102': 0, '103': 1, '100': 0, '101': 0, '106': 0, '107': 2, '104': 3, '105': 2, '39': 0, '38': 0, '33': 0, '31': 0, '30': 42, '37': 0, '36': 0, '35': 1, '34': 28, '176': 0, '60': 0, '61': 0, '62': 0, '63': 0, '64': 0, '65': 0, '66': 3, '67': 0, '68': 0, '69': 4, '175': 1, '174': 9, '173': 0, '172': 3, '171': 0, '170': 27, '203': 0, '181': 1, '182': 0, '183': 0, '180': 51, '2': 0, '162': 1, '187': 2, '184': 0, '6': 0, '186': 21, '188': 0, '189': 10, '202': 6, '196': 0, '185': 57, '99': 2, '98': 2, '168': 4, '169': 3, '164': 62, '90': 91, '93': 10, '92': 8, '95': 0, '94': 38, '97': 0, '96': 0, '11': 4, '10': 0, '13': 0, '12': 0, '15': 7, '14': 0, '16': 0, '19': 42, '18': 27, '117': 32, '116': 2, '151': 0, '150': 0, '153': 9, '152': 0, '155': 0, '154': 0, '157': 2, '156': 1, '159': 0, '158': 3, '48': 0, '49': 16, '46': 0, '47': 0, '44': 0, '45': 0, '42': 3, '43': 1, '40': 0, '41': 38, '1': 3, '5': 9, '9': 0, '146': 0, '147': 0, '144': 0, '145': 0, '142': 58, '143': 0, '140': 1, '141': 0, '148': 11, '149': 0, '77': 2, '76': 8, '75': 19, '74': 0, '73': 0, '72': 2, '71': 0, '70': 0, '79': 0, '78': 2}
[0, 2, 4, 0, 0, 0, 0, 5, 6, 0, 0, 6, 0, 1, 1, 0, 3, 6, 8, 4, 111, 0, 1, 0, 4, 1, 16, 6, 0, 12, 3, 0, 0, 0, 0, 0, 0, 48, 3, 26, 7, 106, 17, 0, 1, 0, 3, 0, 1, 13, 0, 6, 3, 2, 37, 1, 1, 23, 18, 3, 0, 2, 2, 32, 59, 3, 1, 7, 0, 0, 0, 1, 13, 0, 18, 0, 0, 17, 0, 1, 0, 3, 0, 0, 0, 1, 0, 0, 0, 2, 3, 2, 0, 0, 0, 0, 42, 0, 0, 1, 28, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 4, 1, 9, 0, 3, 0, 27, 0, 1, 0, 0, 51, 0, 1, 2, 0, 0, 21, 0, 10, 6, 0, 57, 2, 2, 4, 3, 62, 91, 10, 8, 0, 38, 0, 0, 4, 0, 0, 0, 7, 0, 0, 42, 27, 32, 2, 0, 0, 9, 0, 0, 0, 2, 1, 0, 3, 0, 16, 0, 0, 0, 0, 3, 1, 0, 38, 3, 9, 0, 0, 0, 0, 0, 58, 0, 1, 0, 11, 0, 2, 8, 19, 0, 0, 2, 0, 0, 0, 2]
false: {'5171': 37, '5453': 11, '6832': 81, '7221': 23, '91': 11, '4572': 28, '6083': 3, '4477': 37, '5274': 0, '6577': 143, '1773': 48, '8159': 54, '6327': 97, '288': 83, '4868': 34, '2150': 402, '545': 22, '7755': 10, '8719': 40, '4861': 32, '7752': 128, '1095': 32, '1091': 24, '2917': 2, '674': 118, '5068': 46, '4561': 10, '1956': 250, '6443': 64, '1497': 74, '6702': 19, '6844': 54, '3563': 149, '17': 43, '2556': 360, '7608': 41, '7315': 9, '6434': 64, '6655': 25, '6566': 138, '6397': 69, '1066': 36, '8702': 5, '417': 56, '4480': 42, '7525': 19, '375': 50, '7212': 24, '1128': 171, '8231': 100, '7604': 101, '2472': 246, '2905': 93, '3774': 6, '983': 135, '8238': 278, '317': 56, '6450': 24, '6905': 80, '7033': 4, '7576': 79, '5136': 1, '279': 65, '5307': 46, '7970': 13, '2823': 40, '5252': 29, '2786': 32, '2546': 59, '4809': 43, '3388': 19, '1255': 68, '2176': 402, '2174': 4, '4966': 246, '4962': 36, '7533': 15, '2443': 142, '3953': 51, '442': 28, '3217': 251, '4624': 63, '240': 32, '4627': 46, '5771': 142, '6172': 75, '8120': 72, '7706': 48, '1849': 220, '1641': 81, '842': 19, '4750': 14, '32': 102, '4755': 2, '1844': 244, '1241': 11, '3090': 50, '4115': 57, '1249': 152, '437': 0, '8210': 34, '5975': 11, '6299': 59, '6833': 38, '6069': 71, '1222': 172, '4266': 34, '6763': 24, '5034': 44, '570': 3, '2451': 98, '7933': 2, '1347': 135, '7918': 58, '8467': 2, '1907': 98, '1905': 100, '4340': 48, '1633': 135, '3368': 55, '3454': 171, '2561': 10, '7264': 64, '8234': 28, '4949': 86, '7495': 55, '5780': 142, '5019': 123, '8458': 75, '8619': 100, '5863': 1, '1217': 28, '3609': 5, '5783': 194, '845': 161, '8060': 8, '7929': 0, '1594': 30, '1591': 1, '1911': 43, '4175': 49, '1995': 194, '2215': 77, '3445': 40, '7163': 127, '3447': 0, '5426': 259, '3889': 182, '6949': 14, '8183': 55, '1107': 74, '5794': 72, '5674': 73, '2107': 34, '2354': 12, '5117': 56, '745': 89, '4249': 59, '3909': 363, '3630': 55, '2434': 12, '6893': 73, '8562': 45, '5570': 26, '1890': 34, '3732': 233, '6945': 35, '2344': 114, '2134': 24, '6625': 27, '1056': 126, '356': 234, '874': 147, '3767': 148, '1819': 24, '1110': 131, '7880': 22, '8065': 35, '5355': 207, '3627': 49, '649': 3, '8249': 120, '4488': 15, '4500': 64, '8004': 184, '8791': 59, '4792': 242, '3428': 22, '7144': 69, '4914': 245, '7439': 10, '5631': 69, '3222': 157, '1367': 291, '6038': 225, '2007': 9, '1474': 27, '7745': 72, '7428': 10, '5939': 314}
[37, 11, 81, 23, 11, 28, 3, 37, 0, 143, 48, 54, 97, 83, 34, 402, 22, 10, 40, 32, 128, 32, 24, 2, 118, 46, 10, 250, 64, 74, 19, 54, 149, 43, 360, 41, 9, 64, 25, 138, 69, 36, 5, 56, 42, 19, 50, 24, 171, 100, 101, 246, 93, 6, 135, 278, 56, 24, 80, 4, 79, 1, 65, 46, 13, 40, 29, 32, 59, 43, 19, 68, 402, 4, 246, 36, 15, 142, 51, 28, 251, 63, 32, 46, 142, 75, 72, 48, 220, 81, 19, 14, 102, 2, 244, 11, 50, 57, 152, 0, 34, 11, 59, 38, 71, 172, 34, 24, 44, 3, 98, 2, 135, 58, 2, 98, 100, 48, 135, 55, 171, 10, 64, 28, 86, 55, 142, 123, 75, 100, 1, 28, 5, 194, 161, 8, 0, 30, 1, 43, 49, 194, 77, 40, 127, 0, 259, 182, 14, 55, 74, 72, 73, 34, 12, 56, 89, 59, 363, 55, 12, 73, 45, 26, 34, 233, 35, 114, 24, 27, 126, 234, 147, 148, 24, 131, 22, 35, 207, 49, 3, 120, 15, 64, 184, 59, 242, 22, 69, 245, 10, 69, 157, 291, 225, 9, 27, 72, 10, 314]

Process finished with exit code 0


200 10 500
true: {'165': 9, '133': 5, '132': 17, '131': 0, '130': 5, '136': 9, '135': 34, '134': 3, '139': 6, '138': 11, '166': 2, '24': 6, '25': 6, '26': 32, '27': 0, '20': 4, '21': 2, '22': 4, '23': 28, '160': 20, '28': 0, '29': 0, '4': 28, '8': 2, '163': 9, '119': 5, '120': 8, '121': 7, '122': 9, '123': 8, '124': 6, '125': 3, '126': 1, '127': 5, '128': 1, '129': 5, '167': 8, '118': 5, '59': 22, '58': 4, '55': 5, '54': 1, '57': 3, '56': 9, '51': 4, '50': 30, '53': 6, '52': 9, '164': 9, '201': 4, '199': 9, '198': 0, '195': 8, '194': 11, '197': 7, '178': 7, '191': 3, '190': 3, '193': 11, '192': 5, '115': 2, '114': 0, '88': 6, '89': 10, '111': 3, '110': 6, '113': 5, '112': 0, '82': 8, '83': 16, '80': 13, '81': 16, '86': 2, '87': 10, '84': 34, '85': 5, '3': 10, '177': 6, '7': 0, '108': 1, '109': 0, '102': 5, '103': 11, '100': 5, '101': 10, '106': 10, '107': 1, '104': 41, '105': 162, '39': 1, '38': 0, '33': 31, '32': 12, '31': 8, '30': 6, '37': 5, '36': 38, '35': 17, '34': 43, '205': 3, '176': 4, '60': 3, '61': 7, '62': 8, '63': 6, '64': 2, '65': 0, '66': 76, '67': 8, '68': 15, '69': 1, '175': 8, '174': 26, '173': 18, '172': 6, '171': 1, '170': 3, '203': 1, '181': 0, '182': 10, '183': 9, '180': 2, '2': 5, '162': 4, '187': 9, '184': 1, '6': 6, '186': 3, '188': 3, '189': 6, '202': 9, '196': 9, '185': 5, '99': 30, '98': 2, '168': 5, '169': 2, '91': 9, '90': 4, '93': 6, '92': 6, '95': 19, '161': 4, '97': 4, '96': 4, '11': 0, '10': 14, '13': 19, '12': 6, '15': 14, '14': 37, '17': 10, '16': 31, '19': 18, '18': 5, '117': 33, '116': 38, '204': 36, '151': 16, '150': 33, '153': 17, '155': 2, '154': 2, '157': 8, '156': 17, '159': 4, '158': 180, '48': 4, '49': 22, '46': 4, '47': 33, '44': 2, '45': 9, '42': 26, '43': 3, '40': 0, '41': 4, '1': 5, '5': 7, '9': 20, '146': 10, '147': 12, '144': 12, '145': 2, '142': 7, '143': 4, '140': 3, '141': 5, '148': 0, '149': 0, '77': 14, '76': 2, '75': 16, '74': 5, '73': 19, '72': 18, '71': 5, '70': 2, '79': 35, '78': 2}
false: {'216': 31, '8250': 195, '3592': 62, '2719': 64, '661': 32, '3416': 52, '5743': 65, '137': 83, '5473': 47, '3327': 42, '6877': 90, '3345': 56, '2322': 89, '5276': 28, '7307': 51, '1773': 34, '5273': 82, '5627': 34, '1940': 28, '8159': 48, '1947': 53, '1549': 57, '541': 21, '5907': 135, '933': 24, '3991': 72, '1095': 56, '2914': 41, '7804': 51, '8470': 146, '8227': 25, '6435': 194, '8362': 39, '1152': 34, '7962': 172, '8333': 119, '1492': 18, '7046': 33, '5992': 34, '3646': 24, '2926': 72, '6094': 16, '4876': 172, '7252': 146, '7315': 34, '5928': 61, '5269': 25, '2411': 57, '2413': 108, '7898': 45, '1385': 57, '1662': 42, '6254': 43, '5010': 7, '3949': 25, '5714': 90, '596': 37, '5664': 63, '317': 62, '8607': 68, '2479': 36, '4654': 29, '4208': 39, '4090': 22, '8442': 40, '3149': 80, '6148': 27, '4553': 46, '2787': 60, '7244': 24, '5254': 57, '5094': 34, '4963': 34, '1654': 10, '8193': 56, '6828': 45, '2448': 46, '440': 22, '1239': 12, '305': 50, '7624': 50, '247': 40, '1930': 24, '5322': 105, '6978': 214, '386': 80, '7789': 27, '5678': 36, '4061': 51, '8691': 51, '4351': 41, '7619': 32, '845': 5, '844': 16, '4814': 126, '8316': 43, '7375': 49, '3015': 55, '5829': 50, '5874': 30, '437': 24, '5878': 22, '820': 216, '622': 60, '6301': 110, '2592': 130, '8747': 33, '2454': 103, '574': 69, '5331': 101, '3868': 85, '8467': 65, '179': 57, '5486': 39, '8115': 57, '1738': 57, '2880': 32, '2881': 95, '8367': 34, '7159': 44, '6286': 37, '3362': 57, '6369': 33, '6201': 82, '8289': 130, '6684': 54, '7417': 9, '8601': 56, '2627': 11, '8370': 23, '4715': 27, '4278': 21, '1647': 22, '3070': 90, '7245': 174, '2187': 90, '8260': 6, '94': 108, '1623': 60, '6590': 51, '5341': 34, '1598': 48, '3375': 69, '4524': 15, '4071': 60, '4179': 11, '4521': 108, '7767': 70, '7405': 11, '6051': 29, '2357': 44, '152': 70, '4248': 127, '4246': 104, '1204': 29, '888': 62, '3633': 15, '1202': 48, '4452': 57, '4451': 61, '8779': 16, '238': 119, '6897': 86, '6940': 19, '3730': 22, '1815': 29, '8274': 12, '7574': 72, '5351': 37, '7077': 46, '2349': 120, '3103': 74, '1753': 43, '5214': 181, '200': 65, '2724': 55, '895': 68, '2879': 68, '6024': 32, '3384': 87, '2729': 37, '3918': 59, '3357': 22, '8085': 26, '6734': 19, '6736': 20, '4502': 43, '8791': 64, '4797': 14, '6635': 69, '869': 57, '1041': 22, '3547': 31, '1974': 102, '1957': 67, '1473': 78, '8029': 15, '8648': 50, '4802': 14, '516': 22}

200 10 1000
true: {'165': 48, '133': 2, '132': 14, '131': 2, '130': 4, '137': 2, '136': 2, '135': 2, '134': 3, '139': 4, '138': 4, '166': 9, '24': 9, '25': 76, '26': 28, '27': 20, '20': 125, '21': 26, '22': 9, '23': 8, '160': 70, '28': 4, '29': 3, '161': 29, '4': 43, '8': 8, '163': 3, '119': 32, '120': 28, '121': 0, '122': 20, '123': 0, '124': 17, '125': 12, '126': 26, '127': 8, '128': 16, '129': 6, '167': 40, '118': 0, '59': 69, '58': 8, '55': 14, '54': 0, '57': 137, '56': 92, '50': 14, '53': 6, '52': 51, '164': 106, '201': 12, '199': 31, '179': 7, '200': 5, '195': 5, '194': 77, '197': 31, '178': 23, '191': 11, '190': 16, '193': 1, '192': 1, '114': 20, '88': 0, '89': 98, '111': 2, '110': 82, '113': 5, '112': 14, '82': 10, '83': 11, '80': 75, '81': 3, '86': 14, '87': 44, '84': 20, '85': 13, '198': 123, '3': 4, '177': 39, '7': 18, '108': 73, '109': 9, '102': 3, '103': 13, '100': 47, '101': 0, '106': 0, '107': 13, '104': 3, '105': 0, '39': 54, '38': 49, '33': 14, '32': 2, '31': 7, '30': 14, '37': 10, '36': 142, '35': 18, '34': 39, '205': 22, '176': 25, '60': 8, '61': 6, '62': 1, '63': 19, '64': 26, '65': 197, '66': 32, '67': 34, '68': 25, '69': 20, '175': 6, '174': 0, '173': 30, '172': 35, '171': 10, '170': 35, '181': 17, '182': 6, '183': 10, '180': 15, '2': 12, '162': 37, '187': 40, '184': 24, '6': 5, '186': 50, '188': 13, '189': 6, '196': 29, '185': 20, '99': 63, '98': 68, '168': 13, '169': 109, '91': 4, '90': 3, '93': 1, '92': 39, '95': 2, '94': 20, '97': 12, '96': 10, '11': 16, '10': 4, '13': 13, '12': 13, '15': 14, '14': 12, '17': 18, '16': 3, '19': 8, '18': 40, '117': 52, '116': 16, '204': 12, '151': 3, '150': 16, '153': 61, '152': 8, '155': 24, '154': 4, '157': 26, '156': 9, '159': 30, '158': 13, '48': 9, '49': 13, '46': 3, '47': 5, '44': 10, '45': 21, '42': 10, '43': 9, '40': 36, '41': 23, '1': 18, '5': 25, '9': 18, '146': 26, '147': 64, '144': 19, '145': 2, '142': 21, '143': 24, '140': 14, '141': 12, '148': 16, '149': 3, '77': 63, '76': 70, '75': 188, '74': 96, '73': 4, '71': 15, '70': 34, '79': 8, '78': 10}
false: {'5453': 120, '5658': 241, '3713': 54, '8421': 85, '2843': 152, '5476': 36, '7956': 71, '3414': 33, '5743': 162, '3324': 233, '7224': 82, '6088': 79, '4225': 41, '8014': 15, '7457': 78, '3128': 95, '5277': 86, '6648': 62, '5515': 104, '5984': 90, '4670': 58, '6327': 27, '6325': 275, '2157': 140, '7690': 105, '548': 61, '937': 177, '8059': 109, '7194': 106, '1094': 91, '2915': 101, '2707': 70, '713': 50, '3400': 34, '5997': 41, '4039': 81, '7199': 89, '1959': 86, '5594': 33, '1069': 392, '7346': 83, '4731': 93, '2555': 34, '4872': 154, '1393': 23, '51': 45, '4878': 60, '5854': 26, '3683': 233, '5856': 131, '8292': 169, '2143': 329, '2417': 15, '2060': 110, '4574': 65, '7723': 49, '8187': 97, '1382': 126, '8186': 110, '5014': 71, '1327': 42, '2470': 85, '203': 41, '1127': 275, '115': 156, '273': 106, '7979': 94, '3273': 78, '3309': 35, '6700': 101, '833': 251, '5416': 73, '5251': 134, '6262': 76, '3471': 107, '1714': 206, '4123': 31, '2303': 400, '6215': 210, '2666': 135, '1659': 179, '829': 180, '2266': 40, '410': 19, '3583': 92, '1137': 43, '446': 132, '3741': 50, '6675': 171, '7720': 81, '3157': 366, '240': 58, '2081': 158, '846': 103, '6420': 120, '2572': 213, '1845': 22, '7828': 134, '5896': 70, '8282': 76, '513': 93, '72': 298, '8079': 266, '8210': 226, '3807': 124, '331': 16, '3005': 111, '2863': 73, '5667': 334, '2195': 98, '7855': 223, '8298': 54, '5655': 103, '7590': 111, '854': 98, '6310': 112, '856': 35, '3212': 162, '5705': 80, '3366': 171, '1734': 209, '1584': 88, '6201': 58, '7414': 97, '3601': 338, '7293': 109, '7009': 24, '4151': 240, '1867': 90, '5657': 155, '3284': 369, '5652': 148, '4377': 31, '3281': 97, '7139': 105, '4173': 151, '861': 190, '2011': 23, '5715': 129, '2896': 10, '6757': 138, '6194': 127, '6196': 38, '7995': 69, '5790': 46, '6056': 159, '605': 191, '5114': 106, '7933': 105, '1167': 94, '888': 19, '5524': 51, '5243': 154, '7178': 98, '8434': 59, '4693': 60, '6550': 338, '4697': 194, '6106': 78, '953': 77, '3341': 61, '7205': 139, '2741': 68, '1694': 267, '3183': 32, '6020': 88, '1291': 201, '6024': 380, '8162': 117, '777': 128, '202': 45, '2308': 52, '3485': 86, '2879': 85, '5318': 250, '3350': 132, '5047': 131, '7822': 23, '484': 338, '7949': 127, '2974': 25, '3578': 76, '5362': 77, '2122': 97, '7322': 159, '6447': 95, '6460': 108, '3115': 104, '2782': 519, '5630': 184, '4396': 38, '4663': 104, '5564': 176, '4851': 163, '6348': 95, '7180': 145, '7182': 202, '681': 171, '1614': 121, '359': 57}