{
  "q": 18446744073709551616,
  "p": 2305843009213693951,
  "rows": [
    {
      "mask": 0,
      "patterns": [
        0
      ]
    },
    {
      "mask": 2305843009213693951,
      "patterns": [
        0,
        2305843009213693951
      ]
    },
    {
      "mask": 2305843009213693953,
      "patterns": [
        1,
        2305843009213693952
      ]
    },
    {
      "mask": 2305843009213693955,
      "patterns": [
        2,
        2305843009213693953
      ]
    },
    {
      "mask": 2305843009213693959,
      "patterns": [
        4,
        2305843009213693955
      ]
    },
    {
      "mask": 2305843009213693967,
      "patterns": [
        8,
        2305843009213693959
      ]
    },
    {
      "mask": 2305843009213693983,
      "patterns": [
        16,
        2305843009213693967
      ]
    },
    {
      "mask": 2305843009213694015,
      "patterns": [
        32,
        2305843009213693983
      ]
    },
    {
      "mask": 2305843009213694079,
      "patterns": [
        64,
        2305843009213694015
      ]
    },
    {
      "mask": 2305843009213694207,
      "patterns": [
        128,
        2305843009213694079
      ]
    },
    {
      "mask": 2305843009213694463,
      "patterns": [
        256,
        2305843009213694207
      ]
    },
    {
      "mask": 2305843009213694975,
      "patterns": [
        512,
        2305843009213694463
      ]
    },
    {
      "mask": 2305843009213695999,
      "patterns": [
        1024,
        2305843009213694975
      ]
    },
    {
      "mask": 2305843009213698047,
      "patterns": [
        2048,
        2305843009213695999
      ]
    },
    {
      "mask": 2305843009213702143,
      "patterns": [
        4096,
        2305843009213698047
      ]
    },
    {
      "mask": 2305843009213710335,
      "patterns": [
        8192,
        2305843009213702143
      ]
    },
    {
      "mask": 2305843009213726719,
      "patterns": [
        16384,
        2305843009213710335
      ]
    },
    {
      "mask": 2305843009213759487,
      "patterns": [
        32768,
        2305843009213726719
      ]
    },
    {
      "mask": 2305843009213825023,
      "patterns": [
        65536,
        2305843009213759487
      ]
    },
    {
      "mask": 2305843009213956095,
      "patterns": [
        131072,
        2305843009213825023
      ]
    },
    {
      "mask": 2305843009214218239,
      "patterns": [
        262144,
        2305843009213956095
      ]
    },
    {
      "mask": 2305843009214742527,
      "patterns": [
        524288,
        2305843009214218239
      ]
    },
    {
      "mask": 2305843009215791103,
      "patterns": [
        1048576,
        2305843009214742527
      ]
    },
    {
      "mask": 2305843009217888255,
      "patterns": [
        2097152,
        2305843009215791103
      ]
    },
    {
      "mask": 2305843009222082559,
      "patterns": [
        4194304,
        2305843009217888255
      ]
    },
    {
      "mask": 2305843009230471167,
      "patterns": [
        8388608,
        2305843009222082559
      ]
    },
    {
      "mask": 2305843009247248383,
      "patterns": [
        16777216,
        2305843009230471167
      ]
    },
    {
      "mask": 2305843009280802815,
      "patterns": [
        33554432,
        2305843009247248383
      ]
    },
    {
      "mask": 2305843009347911679,
      "patterns": [
        67108864,
        2305843009280802815
      ]
    },
    {
      "mask": 2305843009482129407,
      "patterns": [
        134217728,
        2305843009347911679
      ]
    },
    {
      "mask": 2305843009750564863,
      "patterns": [
        268435456,
        2305843009482129407
      ]
    },
    {
      "mask": 2305843010287435775,
      "patterns": [
        536870912,
        2305843009750564863
      ]
    },
    {
      "mask": 2305843011361177599,
      "patterns": [
        1073741824,
        2305843010287435775
      ]
    },
    {
      "mask": 2305843013508661247,
      "patterns": [
        2147483648,
        2305843011361177599
      ]
    },
    {
      "mask": 2305843017803628543,
      "patterns": [
        4294967296,
        2305843013508661247
      ]
    },
    {
      "mask": 2305843026393563135,
      "patterns": [
        8589934592,
        2305843017803628543
      ]
    },
    {
      "mask": 2305843043573432319,
      "patterns": [
        17179869184,
        2305843026393563135
      ]
    },
    {
      "mask": 2305843077933170687,
      "patterns": [
        34359738368,
        2305843043573432319
      ]
    },
    {
      "mask": 2305843146652647423,
      "patterns": [
        68719476736,
        2305843077933170687
      ]
    },
    {
      "mask": 2305843284091600895,
      "patterns": [
        137438953472,
        2305843146652647423
      ]
    },
    {
      "mask": 2305843558969507839,
      "patterns": [
        274877906944,
        2305843284091600895
      ]
    },
    {
      "mask": 2305844108725321727,
      "patterns": [
        549755813888,
        2305843558969507839
      ]
    },
    {
      "mask": 2305845208236949503,
      "patterns": [
        1099511627776,
        2305844108725321727
      ]
    },
    {
      "mask": 2305847407260205055,
      "patterns": [
        2199023255552,
        2305845208236949503
      ]
    },
    {
      "mask": 2305851805306716159,
      "patterns": [
        4398046511104,
        2305847407260205055
      ]
    },
    {
      "mask": 2305860601399738367,
      "patterns": [
        8796093022208,
        2305851805306716159
      ]
    },
    {
      "mask": 2305878193585782783,
      "patterns": [
        17592186044416,
        2305860601399738367
      ]
    },
    {
      "mask": 2305913377957871615,
      "patterns": [
        35184372088832,
        2305878193585782783
      ]
    },
    {
      "mask": 2305983746702049279,
      "patterns": [
        70368744177664,
        2305913377957871615
      ]
    },
    {
      "mask": 2306124484190404607,
      "patterns": [
        140737488355328,
        2305983746702049279
      ]
    },
    {
      "mask": 2306405959167115263,
      "patterns": [
        281474976710656,
        2306124484190404607
      ]
    },
    {
      "mask": 2306968909120536575,
      "patterns": [
        562949953421312,
        2306405959167115263
      ]
    },
    {
      "mask": 2308094809027379199,
      "patterns": [
        1125899906842624,
        2306968909120536575
      ]
    },
    {
      "mask": 2310346608841064447,
      "patterns": [
        2251799813685248,
        2308094809027379199
      ]
    },
    {
      "mask": 2314850208468434943,
      "patterns": [
        4503599627370496,
        2310346608841064447
      ]
    },
    {
      "mask": 2323857407723175935,
      "patterns": [
        9007199254740992,
        2314850208468434943
      ]
    },
    {
      "mask": 2341871806232657919,
      "patterns": [
        18014398509481984,
        2323857407723175935
      ]
    },
    {
      "mask": 2377900603251621887,
      "patterns": [
        36028797018963968,
        2341871806232657919
      ]
    },
    {
      "mask": 2449958197289549823,
      "patterns": [
        72057594037927936,
        2377900603251621887
      ]
    },
    {
      "mask": 2594073385365405695,
      "patterns": [
        144115188075855872,
        2449958197289549823
      ]
    },
    {
      "mask": 2882303761517117439,
      "patterns": [
        288230376151711744,
        2594073385365405695
      ]
    },
    {
      "mask": 3458764513820540927,
      "patterns": [
        576460752303423488,
        2882303761517117439
      ]
    },
    {
      "mask": 4611686018427387902,
      "patterns": [
        0,
        4611686018427387902
      ]
    },
    {
      "mask": 4611686018427387903,
      "patterns": [
        1152921504606846976,
        3458764513820540927
      ]
    },
    {
      "mask": 4611686018427387906,
      "patterns": [
        2,
        4611686018427387904
      ]
    },
    {
      "mask": 4611686018427387910,
      "patterns": [
        4,
        4611686018427387906
      ]
    },
    {
      "mask": 4611686018427387918,
      "patterns": [
        8,
        4611686018427387910
      ]
    },
    {
      "mask": 4611686018427387934,
      "patterns": [
        16,
        4611686018427387918
      ]
    },
    {
      "mask": 4611686018427387966,
      "patterns": [
        32,
        4611686018427387934
      ]
    },
    {
      "mask": 4611686018427388030,
      "patterns": [
        64,
        4611686018427387966
      ]
    },
    {
      "mask": 4611686018427388158,
      "patterns": [
        128,
        4611686018427388030
      ]
    },
    {
      "mask": 4611686018427388414,
      "patterns": [
        256,
        4611686018427388158
      ]
    },
    {
      "mask": 4611686018427388926,
      "patterns": [
        512,
        4611686018427388414
      ]
    },
    {
      "mask": 4611686018427389950,
      "patterns": [
        1024,
        4611686018427388926
      ]
    },
    {
      "mask": 4611686018427391998,
      "patterns": [
        2048,
        4611686018427389950
      ]
    },
    {
      "mask": 4611686018427396094,
      "patterns": [
        4096,
        4611686018427391998
      ]
    },
    {
      "mask": 4611686018427404286,
      "patterns": [
        8192,
        4611686018427396094
      ]
    },
    {
      "mask": 4611686018427420670,
      "patterns": [
        16384,
        4611686018427404286
      ]
    },
    {
      "mask": 4611686018427453438,
      "patterns": [
        32768,
        4611686018427420670
      ]
    },
    {
      "mask": 4611686018427518974,
      "patterns": [
        65536,
        4611686018427453438
      ]
    },
    {
      "mask": 4611686018427650046,
      "patterns": [
        131072,
        4611686018427518974
      ]
    },
    {
      "mask": 4611686018427912190,
      "patterns": [
        262144,
        4611686018427650046
      ]
    },
    {
      "mask": 4611686018428436478,
      "patterns": [
        524288,
        4611686018427912190
      ]
    },
    {
      "mask": 4611686018429485054,
      "patterns": [
        1048576,
        4611686018428436478
      ]
    },
    {
      "mask": 4611686018431582206,
      "patterns": [
        2097152,
        4611686018429485054
      ]
    },
    {
      "mask": 4611686018435776510,
      "patterns": [
        4194304,
        4611686018431582206
      ]
    },
    {
      "mask": 4611686018444165118,
      "patterns": [
        8388608,
        4611686018435776510
      ]
    },
    {
      "mask": 4611686018460942334,
      "patterns": [
        16777216,
        4611686018444165118
      ]
    },
    {
      "mask": 4611686018494496766,
      "patterns": [
        33554432,
        4611686018460942334
      ]
    },
    {
      "mask": 4611686018561605630,
      "patterns": [
        67108864,
        4611686018494496766
      ]
    },
    {
      "mask": 4611686018695823358,
      "patterns": [
        134217728,
        4611686018561605630
      ]
    },
    {
      "mask": 4611686018964258814,
      "patterns": [
        268435456,
        4611686018695823358
      ]
    },
    {
      "mask": 4611686019501129726,
      "patterns": [
        536870912,
        4611686018964258814
      ]
    },
    {
      "mask": 4611686020574871550,
      "patterns": [
        1073741824,
        4611686019501129726
      ]
    },
    {
      "mask": 4611686022722355198,
      "patterns": [
        2147483648,
        4611686020574871550
      ]
    },
    {
      "mask": 4611686027017322494,
      "patterns": [
        4294967296,
        4611686022722355198
      ]
    },
    {
      "mask": 4611686035607257086,
      "patterns": [
        8589934592,
        4611686027017322494
      ]
    },
    {
      "mask": 4611686052787126270,
      "patterns": [
        17179869184,
        4611686035607257086
      ]
    },
    {
      "mask": 4611686087146864638,
      "patterns": [
        34359738368,
        4611686052787126270
      ]
    },
    {
      "mask": 4611686155866341374,
      "patterns": [
        68719476736,
        4611686087146864638
      ]
    },
    {
      "mask": 4611686293305294846,
      "patterns": [
        137438953472,
        4611686155866341374
      ]
    },
    {
      "mask": 4611686568183201790,
      "patterns": [
        274877906944,
        4611686293305294846
      ]
    },
    {
      "mask": 4611687117939015678,
      "patterns": [
        549755813888,
        4611686568183201790
      ]
    },
    {
      "mask": 4611688217450643454,
      "patterns": [
        1099511627776,
        4611687117939015678
      ]
    },
    {
      "mask": 4611690416473899006,
      "patterns": [
        2199023255552,
        4611688217450643454
      ]
    },
    {
      "mask": 4611694814520410110,
      "patterns": [
        4398046511104,
        4611690416473899006
      ]
    },
    {
      "mask": 4611703610613432318,
      "patterns": [
        8796093022208,
        4611694814520410110
      ]
    },
    {
      "mask": 4611721202799476734,
      "patterns": [
        17592186044416,
        4611703610613432318
      ]
    },
    {
      "mask": 4611756387171565566,
      "patterns": [
        35184372088832,
        4611721202799476734
      ]
    },
    {
      "mask": 4611826755915743230,
      "patterns": [
        70368744177664,
        4611756387171565566
      ]
    },
    {
      "mask": 4611967493404098558,
      "patterns": [
        140737488355328,
        4611826755915743230
      ]
    },
    {
      "mask": 4612248968380809214,
      "patterns": [
        281474976710656,
        4611967493404098558
      ]
    },
    {
      "mask": 4612811918334230526,
      "patterns": [
        562949953421312,
        4612248968380809214
      ]
    },
    {
      "mask": 4613937818241073150,
      "patterns": [
        1125899906842624,
        4612811918334230526
      ]
    },
    {
      "mask": 4616189618054758398,
      "patterns": [
        2251799813685248,
        4613937818241073150
      ]
    },
    {
      "mask": 4620693217682128894,
      "patterns": [
        4503599627370496,
        4616189618054758398
      ]
    },
    {
      "mask": 4629700416936869886,
      "patterns": [
        9007199254740992,
        4620693217682128894
      ]
    },
    {
      "mask": 4647714815446351870,
      "patterns": [
        18014398509481984,
        4629700416936869886
      ]
    },
    {
      "mask": 4683743612465315838,
      "patterns": [
        36028797018963968,
        4647714815446351870
      ]
    },
    {
      "mask": 4755801206503243774,
      "patterns": [
        72057594037927936,
        4683743612465315838
      ]
    },
    {
      "mask": 4899916394579099646,
      "patterns": [
        144115188075855872,
        4755801206503243774
      ]
    },
    {
      "mask": 5188146770730811390,
      "patterns": [
        288230376151711744,
        4899916394579099646
      ]
    },
    {
      "mask": 5764607523034234878,
      "patterns": [
        576460752303423488,
        5188146770730811390
      ]
    },
    {
      "mask": 6917529027641081853,
      "patterns": [
        0,
        6917529027641081853
      ]
    },
    {
      "mask": 6917529027641081854,
      "patterns": [
        1152921504606846976,
        5764607523034234878
      ]
    },
    {
      "mask": 6917529027641081855,
      "patterns": [
        1,
        6917529027641081854
      ]
    },
    {
      "mask": 6917529027641081857,
      "patterns": [
        2305843009213693953,
        4611686018427387904
      ]
    },
    {
      "mask": 6917529027641081859,
      "patterns": [
        3,
        2305843009213693954,
        4611686018427387905,
        6917529027641081856
      ]
    },
    {
      "mask": 6917529027641081861,
      "patterns": [
        4,
        6917529027641081857
      ]
    },
    {
      "mask": 6917529027641081863,
      "patterns": [
        5,
        2305843009213693956,
        4611686018427387907,
        6917529027641081858
      ]
    },
    {
      "mask": 6917529027641081869,
      "patterns": [
        8,
        6917529027641081861
      ]
    },
    {
      "mask": 6917529027641081871,
      "patterns": [
        9,
        2305843009213693960,
        4611686018427387911,
        6917529027641081862
      ]
    },
    {
      "mask": 6917529027641081885,
      "patterns": [
        16,
        6917529027641081869
      ]
    },
    {
      "mask": 6917529027641081887,
      "patterns": [
        17,
        2305843009213693968,
        4611686018427387919,
        6917529027641081870
      ]
    },
    {
      "mask": 6917529027641081917,
      "patterns": [
        32,
        6917529027641081885
      ]
    },
    {
      "mask": 6917529027641081919,
      "patterns": [
        33,
        2305843009213693984,
        4611686018427387935,
        6917529027641081886
      ]
    },
    {
      "mask": 6917529027641081981,
      "patterns": [
        64,
        6917529027641081917
      ]
    },
    {
      "mask": 6917529027641081983,
      "patterns": [
        65,
        2305843009213694016,
        4611686018427387967,
        6917529027641081918
      ]
    },
    {
      "mask": 6917529027641082109,
      "patterns": [
        128,
        6917529027641081981
      ]
    },
    {
      "mask": 6917529027641082111,
      "patterns": [
        129,
        2305843009213694080,
        4611686018427388031,
        6917529027641081982
      ]
    },
    {
      "mask": 6917529027641082365,
      "patterns": [
        256,
        6917529027641082109
      ]
    },
    {
      "mask": 6917529027641082367,
      "patterns": [
        257,
        2305843009213694208,
        4611686018427388159,
        6917529027641082110
      ]
    },
    {
      "mask": 6917529027641082877,
      "patterns": [
        512,
        6917529027641082365
      ]
    },
    {
      "mask": 6917529027641082879,
      "patterns": [
        513,
        2305843009213694464,
        4611686018427388415,
        6917529027641082366
      ]
    },
    {
      "mask": 6917529027641083901,
      "patterns": [
        1024,
        6917529027641082877
      ]
    },
    {
      "mask": 6917529027641083903,
      "patterns": [
        1025,
        2305843009213694976,
        4611686018427388927,
        6917529027641082878
      ]
    },
    {
      "mask": 6917529027641085949,
      "patterns": [
        2048,
        6917529027641083901
      ]
    },
    {
      "mask": 6917529027641085951,
      "patterns": [
        2049,
        2305843009213696000,
        4611686018427389951,
        6917529027641083902
      ]
    },
    {
      "mask": 6917529027641090045,
      "patterns": [
        4096,
        6917529027641085949
      ]
    },
    {
      "mask": 6917529027641090047,
      "patterns": [
        4097,
        2305843009213698048,
        4611686018427391999,
        6917529027641085950
      ]
    },
    {
      "mask": 6917529027641098237,
      "patterns": [
        8192,
        6917529027641090045
      ]
    },
    {
      "mask": 6917529027641098239,
      "patterns": [
        8193,
        2305843009213702144,
        4611686018427396095,
        6917529027641090046
      ]
    },
    {
      "mask": 6917529027641114621,
      "patterns": [
        16384,
        6917529027641098237
      ]
    },
    {
      "mask": 6917529027641114623,
      "patterns": [
        16385,
        2305843009213710336,
        4611686018427404287,
        6917529027641098238
      ]
    },
    {
      "mask": 6917529027641147389,
      "patterns": [
        32768,
        6917529027641114621
      ]
    },
    {
      "mask": 6917529027641147391,
      "patterns": [
        32769,
        2305843009213726720,
        4611686018427420671,
        6917529027641114622
      ]
    },
    {
      "mask": 6917529027641212925,
      "patterns": [
        65536,
        6917529027641147389
      ]
    },
    {
      "mask": 6917529027641212927,
      "patterns": [
        65537,
        2305843009213759488,
        4611686018427453439,
        6917529027641147390
      ]
    },
    {
      "mask": 6917529027641343997,
      "patterns": [
        131072,
        6917529027641212925
      ]
    },
    {
      "mask": 6917529027641343999,
      "patterns": [
        131073,
        2305843009213825024,
        4611686018427518975,
        6917529027641212926
      ]
    },
    {
      "mask": 6917529027641606141,
      "patterns": [
        262144,
        6917529027641343997
      ]
    },
    {
      "mask": 6917529027641606143,
      "patterns": [
        262145,
        2305843009213956096,
        4611686018427650047,
        6917529027641343998
      ]
    },
    {
      "mask": 6917529027642130429,
      "patterns": [
        524288,
        6917529027641606141
      ]
    },
    {
      "mask": 6917529027642130431,
      "patterns": [
        524289,
        2305843009214218240,
        4611686018427912191,
        6917529027641606142
      ]
    },
    {
      "mask": 6917529027643179005,
      "patterns": [
        1048576,
        6917529027642130429
      ]
    },
    {
      "mask": 6917529027643179007,
      "patterns": [
        1048577,
        2305843009214742528,
        4611686018428436479,
        6917529027642130430
      ]
    },
    {
      "mask": 6917529027645276157,
      "patterns": [
        2097152,
        6917529027643179005
      ]
    },
    {
      "mask": 6917529027645276159,
      "patterns": [
        2097153,
        2305843009215791104,
        4611686018429485055,
        6917529027643179006
      ]
    },
    {
      "mask": 6917529027649470461,
      "patterns": [
        4194304,
        6917529027645276157
      ]
    },
    {
      "mask": 6917529027649470463,
      "patterns": [
        4194305,
        2305843009217888256,
        4611686018431582207,
        6917529027645276158
      ]
    },
    {
      "mask": 6917529027657859069,
      "patterns": [
        8388608,
        6917529027649470461
      ]
    },
    {
      "mask": 6917529027657859071,
      "patterns": [
        8388609,
        2305843009222082560,
        4611686018435776511,
        6917529027649470462
      ]
    },
    {
      "mask": 6917529027674636285,
      "patterns": [
        16777216,
        6917529027657859069
      ]
    },
    {
      "mask": 6917529027674636287,
      "patterns": [
        16777217,
        2305843009230471168,
        4611686018444165119,
        6917529027657859070
      ]
    },
    {
      "mask": 6917529027708190717,
      "patterns": [
        33554432,
        6917529027674636285
      ]
    },
    {
      "mask": 6917529027708190719,
      "patterns": [
        33554433,
        2305843009247248384,
        4611686018460942335,
        6917529027674636286
      ]
    },
    {
      "mask": 6917529027775299581,
      "patterns": [
        67108864,
        6917529027708190717
      ]
    },
    {
      "mask": 6917529027775299583,
      "patterns": [
        67108865,
        2305843009280802816,
        4611686018494496767,
        6917529027708190718
      ]
    },
    {
      "mask": 6917529027909517309,
      "patterns": [
        134217728,
        6917529027775299581
      ]
    },
    {
      "mask": 6917529027909517311,
      "patterns": [
        134217729,
        2305843009347911680,
        4611686018561605631,
        6917529027775299582
      ]
    },
    {
      "mask": 6917529028177952765,
      "patterns": [
        268435456,
        6917529027909517309
      ]
    },
    {
      "mask": 6917529028177952767,
      "patterns": [
        268435457,
        2305843009482129408,
        4611686018695823359,
        6917529027909517310
      ]
    },
    {
      "mask": 6917529028714823677,
      "patterns": [
        536870912,
        6917529028177952765
      ]
    },
    {
      "mask": 6917529028714823679,
      "patterns": [
        536870913,
        2305843009750564864,
        4611686018964258815,
        6917529028177952766
      ]
    },
    {
      "mask": 6917529029788565501,
      "patterns": [
        1073741824,
        6917529028714823677
      ]
    },
    {
      "mask": 6917529029788565503,
      "patterns": [
        1073741825,
        2305843010287435776,
        4611686019501129727,
        6917529028714823678
      ]
    },
    {
      "mask": 6917529031936049149,
      "patterns": [
        2147483648,
        6917529029788565501
      ]
    },
    {
      "mask": 6917529031936049151,
      "patterns": [
        2147483649,
        2305843011361177600,
        4611686020574871551,
        6917529029788565502
      ]
    },
    {
      "mask": 6917529036231016445,
      "patterns": [
        4294967296,
        6917529031936049149
      ]
    },
    {
      "mask": 6917529036231016447,
      "patterns": [
        4294967297,
        2305843013508661248,
        4611686022722355199,
        6917529031936049150
      ]
    },
    {
      "mask": 6917529044820951037,
      "patterns": [
        8589934592,
        6917529036231016445
      ]
    },
    {
      "mask": 6917529044820951039,
      "patterns": [
        8589934593,
        2305843017803628544,
        4611686027017322495,
        6917529036231016446
      ]
    },
    {
      "mask": 6917529062000820221,
      "patterns": [
        17179869184,
        6917529044820951037
      ]
    },
    {
      "mask": 6917529062000820223,
      "patterns": [
        17179869185,
        2305843026393563136,
        4611686035607257087,
        6917529044820951038
      ]
    },
    {
      "mask": 6917529096360558589,
      "patterns": [
        34359738368,
        6917529062000820221
      ]
    },
    {
      "mask": 6917529096360558591,
      "patterns": [
        34359738369,
        2305843043573432320,
        4611686052787126271,
        6917529062000820222
      ]
    },
    {
      "mask": 6917529165080035325,
      "patterns": [
        68719476736,
        6917529096360558589
      ]
    },
    {
      "mask": 6917529165080035327,
      "patterns": [
        68719476737,
        2305843077933170688,
        4611686087146864639,
        6917529096360558590
      ]
    },
    {
      "mask": 6917529302518988797,
      "patterns": [
        137438953472,
        6917529165080035325
      ]
    },
    {
      "mask": 6917529302518988799,
      "patterns": [
        137438953473,
        2305843146652647424,
        4611686155866341375,
        6917529165080035326
      ]
    },
    {
      "mask": 6917529577396895741,
      "patterns": [
        274877906944,
        6917529302518988797
      ]
    },
    {
      "mask": 6917529577396895743,
      "patterns": [
        274877906945,
        2305843284091600896,
        4611686293305294847,
        6917529302518988798
      ]
    },
    {
      "mask": 6917530127152709629,
      "patterns": [
        549755813888,
        6917529577396895741
      ]
    },
    {
      "mask": 6917530127152709631,
      "patterns": [
        549755813889,
        2305843558969507840,
        4611686568183201791,
        6917529577396895742
      ]
    },
    {
      "mask": 6917531226664337405,
      "patterns": [
        1099511627776,
        6917530127152709629
      ]
    },
    {
      "mask": 6917531226664337407,
      "patterns": [
        1099511627777,
        2305844108725321728,
        4611687117939015679,
        6917530127152709630
      ]
    },
    {
      "mask": 6917533425687592957,
      "patterns": [
        2199023255552,
        6917531226664337405
      ]
    },
    {
      "mask": 6917533425687592959,
      "patterns": [
        2199023255553,
        2305845208236949504,
        4611688217450643455,
        6917531226664337406
      ]
    },
    {
      "mask": 6917537823734104061,
      "patterns": [
        4398046511104,
        6917533425687592957
      ]
    },
    {
      "mask": 6917537823734104063,
      "patterns": [
        4398046511105,
        2305847407260205056,
        4611690416473899007,
        6917533425687592958
      ]
    },
    {
      "mask": 6917546619827126269,
      "patterns": [
        8796093022208,
        6917537823734104061
      ]
    },
    {
      "mask": 6917546619827126271,
      "patterns": [
        8796093022209,
        2305851805306716160,
        4611694814520410111,
        6917537823734104062
      ]
    },
    {
      "mask": 6917564212013170685,
      "patterns": [
        17592186044416,
        6917546619827126269
      ]
    },
    {
      "mask": 6917564212013170687,
      "patterns": [
        17592186044417,
        2305860601399738368,
        4611703610613432319,
        6917546619827126270
      ]
    },
    {
      "mask": 6917599396385259517,
      "patterns": [
        35184372088832,
        6917564212013170685
      ]
    },
    {
      "mask": 6917599396385259519,
      "patterns": [
        35184372088833,
        2305878193585782784,
        4611721202799476735,
        6917564212013170686
      ]
    },
    {
      "mask": 6917669765129437181,
      "patterns": [
        70368744177664,
        6917599396385259517
      ]
    },
    {
      "mask": 6917669765129437183,
      "patterns": [
        70368744177665,
        2305913377957871616,
        4611756387171565567,
        6917599396385259518
      ]
    },
    {
      "mask": 6917810502617792509,
      "patterns": [
        140737488355328,
        6917669765129437181
      ]
    },
    {
      "mask": 6917810502617792511,
      "patterns": [
        140737488355329,
        2305983746702049280,
        4611826755915743231,
        6917669765129437182
      ]
    },
    {
      "mask": 6918091977594503165,
      "patterns": [
        281474976710656,
        6917810502617792509
      ]
    },
    {
      "mask": 6918091977594503167,
      "patterns": [
        281474976710657,
        2306124484190404608,
        4611967493404098559,
        6917810502617792510
      ]
    },
    {
      "mask": 6918654927547924477,
      "patterns": [
        562949953421312,
        6918091977594503165
      ]
    },
    {
      "mask": 6918654927547924479,
      "patterns": [
        562949953421313,
        2306405959167115264,
        4612248968380809215,
        6918091977594503166
      ]
    },
    {
      "mask": 6919780827454767101,
      "patterns": [
        1125899906842624,
        6918654927547924477
      ]
    },
    {
      "mask": 6919780827454767103,
      "patterns": [
        1125899906842625,
        2306968909120536576,
        4612811918334230527,
        6918654927547924478
      ]
    },
    {
      "mask": 6922032627268452349,
      "patterns": [
        2251799813685248,
        6919780827454767101
      ]
    },
    {
      "mask": 6922032627268452351,
      "patterns": [
        2251799813685249,
        2308094809027379200,
        4613937818241073151,
        6919780827454767102
      ]
    },
    {
      "mask": 6926536226895822845,
      "patterns": [
        4503599627370496,
        6922032627268452349
      ]
    },
    {
      "mask": 6926536226895822847,
      "patterns": [
        4503599627370497,
        2310346608841064448,
        4616189618054758399,
        6922032627268452350
      ]
    },
    {
      "mask": 6935543426150563837,
      "patterns": [
        9007199254740992,
        6926536226895822845
      ]
    },
    {
      "mask": 6935543426150563839,
      "patterns": [
        9007199254740993,
        2314850208468434944,
        4620693217682128895,
        6926536226895822846
      ]
    },
    {
      "mask": 6953557824660045821,
      "patterns": [
        18014398509481984,
        6935543426150563837
      ]
    },
    {
      "mask": 6953557824660045823,
      "patterns": [
        18014398509481985,
        2323857407723175936,
        4629700416936869887,
        6935543426150563838
      ]
    },
    {
      "mask": 6989586621679009789,
      "patterns": [
        36028797018963968,
        6953557824660045821
      ]
    },
    {
      "mask": 6989586621679009791,
      "patterns": [
        36028797018963969,
        2341871806232657920,
        4647714815446351871,
        6953557824660045822
      ]
    },
    {
      "mask": 7061644215716937725,
      "patterns": [
        72057594037927936,
        6989586621679009789
      ]
    },
    {
      "mask": 7061644215716937727,
      "patterns": [
        72057594037927937,
        2377900603251621888,
        4683743612465315839,
        6989586621679009790
      ]
    },
    {
      "mask": 7205759403792793597,
      "patterns": [
        144115188075855872,
        7061644215716937725
      ]
    },
    {
      "mask": 7205759403792793599,
      "patterns": [
        144115188075855873,
        2449958197289549824,
        4755801206503243775,
        7061644215716937726
      ]
    },
    {
      "mask": 7493989779944505341,
      "patterns": [
        288230376151711744,
        7205759403792793597
      ]
    },
    {
      "mask": 7493989779944505343,
      "patterns": [
        288230376151711745,
        2594073385365405696,
        4899916394579099647,
        7205759403792793598
      ]
    },
    {
      "mask": 8070450532247928829,
      "patterns": [
        576460752303423488,
        7493989779944505341
      ]
    },
    {
      "mask": 8070450532247928831,
      "patterns": [
        576460752303423489,
        2882303761517117440,
        5188146770730811391,
        7493989779944505342
      ]
    },
    {
      "mask": 9223372036854775804,
      "patterns": [
        0,
        9223372036854775804
      ]
    },
    {
      "mask": 9223372036854775805,
      "patterns": [
        1152921504606846976,
        8070450532247928829
      ]
    },
    {
      "mask": 9223372036854775806,
      "patterns": [
        2305843009213693952,
        6917529027641081854
      ]
    },
    {
      "mask": 9223372036854775807,
      "patterns": [
        1152921504606846977,
        3458764513820540928,
        5764607523034234879,
        8070450532247928830
      ]
    },
    {
      "mask": 9223372036854775812,
      "patterns": [
        4,
        9223372036854775808
      ]
    },
    {
      "mask": 9223372036854775820,
      "patterns": [
        8,
        9223372036854775812
      ]
    },
    {
      "mask": 9223372036854775836,
      "patterns": [
        16,
        9223372036854775820
      ]
    },
    {
      "mask": 9223372036854775868,
      "patterns": [
        32,
        9223372036854775836
      ]
    },
    {
      "mask": 9223372036854775932,
      "patterns": [
        64,
        9223372036854775868
      ]
    },
    {
      "mask": 9223372036854776060,
      "patterns": [
        128,
        9223372036854775932
      ]
    },
    {
      "mask": 9223372036854776316,
      "patterns": [
        256,
        9223372036854776060
      ]
    },
    {
      "mask": 9223372036854776828,
      "patterns": [
        512,
        9223372036854776316
      ]
    },
    {
      "mask": 9223372036854777852,
      "patterns": [
        1024,
        9223372036854776828
      ]
    },
    {
      "mask": 9223372036854779900,
      "patterns": [
        2048,
        9223372036854777852
      ]
    },
    {
      "mask": 9223372036854783996,
      "patterns": [
        4096,
        9223372036854779900
      ]
    },
    {
      "mask": 9223372036854792188,
      "patterns": [
        8192,
        9223372036854783996
      ]
    },
    {
      "mask": 9223372036854808572,
      "patterns": [
        16384,
        9223372036854792188
      ]
    },
    {
      "mask": 9223372036854841340,
      "patterns": [
        32768,
        9223372036854808572
      ]
    },
    {
      "mask": 9223372036854906876,
      "patterns": [
        65536,
        9223372036854841340
      ]
    },
    {
      "mask": 9223372036855037948,
      "patterns": [
        131072,
        9223372036854906876
      ]
    },
    {
      "mask": 9223372036855300092,
      "patterns": [
        262144,
        9223372036855037948
      ]
    },
    {
      "mask": 9223372036855824380,
      "patterns": [
        524288,
        9223372036855300092
      ]
    },
    {
      "mask": 9223372036856872956,
      "patterns": [
        1048576,
        9223372036855824380
      ]
    },
    {
      "mask": 9223372036858970108,
      "patterns": [
        2097152,
        9223372036856872956
      ]
    },
    {
      "mask": 9223372036863164412,
      "patterns": [
        4194304,
        9223372036858970108
      ]
    },
    {
      "mask": 9223372036871553020,
      "patterns": [
        8388608,
        9223372036863164412
      ]
    },
    {
      "mask": 9223372036888330236,
      "patterns": [
        16777216,
        9223372036871553020
      ]
    },
    {
      "mask": 9223372036921884668,
      "patterns": [
        33554432,
        9223372036888330236
      ]
    },
    {
      "mask": 9223372036988993532,
      "patterns": [
        67108864,
        9223372036921884668
      ]
    },
    {
      "mask": 9223372037123211260,
      "patterns": [
        134217728,
        9223372036988993532
      ]
    },
    {
      "mask": 9223372037391646716,
      "patterns": [
        268435456,
        9223372037123211260
      ]
    },
    {
      "mask": 9223372037928517628,
      "patterns": [
        536870912,
        9223372037391646716
      ]
    },
    {
      "mask": 9223372039002259452,
      "patterns": [
        1073741824,
        9223372037928517628
      ]
    },
    {
      "mask": 9223372041149743100,
      "patterns": [
        2147483648,
        9223372039002259452
      ]
    },
    {
      "mask": 9223372045444710396,
      "patterns": [
        4294967296,
        9223372041149743100
      ]
    },
    {
      "mask": 9223372054034644988,
      "patterns": [
        8589934592,
        9223372045444710396
      ]
    },
    {
      "mask": 9223372071214514172,
      "patterns": [
        17179869184,
        9223372054034644988
      ]
    },
    {
      "mask": 9223372105574252540,
      "patterns": [
        34359738368,
        9223372071214514172
      ]
    },
    {
      "mask": 9223372174293729276,
      "patterns": [
        68719476736,
        9223372105574252540
      ]
    },
    {
      "mask": 9223372311732682748,
      "patterns": [
        137438953472,
        9223372174293729276
      ]
    },
    {
      "mask": 9223372586610589692,
      "patterns": [
        274877906944,
        9223372311732682748
      ]
    },
    {
      "mask": 9223373136366403580,
      "patterns": [
        549755813888,
        9223372586610589692
      ]
    },
    {
      "mask": 9223374235878031356,
      "patterns": [
        1099511627776,
        9223373136366403580
      ]
    },
    {
      "mask": 9223376434901286908,
      "patterns": [
        2199023255552,
        9223374235878031356
      ]
    },
    {
      "mask": 9223380832947798012,
      "patterns": [
        4398046511104,
        9223376434901286908
      ]
    },
    {
      "mask": 9223389629040820220,
      "patterns": [
        8796093022208,
        9223380832947798012
      ]
    },
    {
      "mask": 9223407221226864636,
      "patterns": [
        17592186044416,
        9223389629040820220
      ]
    },
    {
      "mask": 9223442405598953468,
      "patterns": [
        35184372088832,
        9223407221226864636
      ]
    },
    {
      "mask": 9223512774343131132,
      "patterns": [
        70368744177664,
        9223442405598953468
      ]
    },
    {
      "mask": 9223653511831486460,
      "patterns": [
        140737488355328,
        9223512774343131132
      ]
    },
    {
      "mask": 9223934986808197116,
      "patterns": [
        281474976710656,
        9223653511831486460
      ]
    },
    {
      "mask": 9224497936761618428,
      "patterns": [
        562949953421312,
        9223934986808197116
      ]
    },
    {
      "mask": 9225623836668461052,
      "patterns": [
        1125899906842624,
        9224497936761618428
      ]
    },
    {
      "mask": 9227875636482146300,
      "patterns": [
        2251799813685248,
        9225623836668461052
      ]
    },
    {
      "mask": 9232379236109516796,
      "patterns": [
        4503599627370496,
        9227875636482146300
      ]
    },
    {
      "mask": 9241386435364257788,
      "patterns": [
        9007199254740992,
        9232379236109516796
      ]
    },
    {
      "mask": 9259400833873739772,
      "patterns": [
        18014398509481984,
        9241386435364257788
      ]
    },
    {
      "mask": 9295429630892703740,
      "patterns": [
        36028797018963968,
        9259400833873739772
      ]
    },
    {
      "mask": 9367487224930631676,
      "patterns": [
        72057594037927936,
        9295429630892703740
      ]
    },
    {
      "mask": 9511602413006487548,
      "patterns": [
        144115188075855872,
        9367487224930631676
      ]
    },
    {
      "mask": 9799832789158199292,
      "patterns": [
        288230376151711744,
        9511602413006487548
      ]
    },
    {
      "mask": 10376293541461622780,
      "patterns": [
        576460752303423488,
        9799832789158199292
      ]
    },
    {
      "mask": 11529215046068469755,
      "patterns": [
        0,
        11529215046068469755
      ]
    },
    {
      "mask": 11529215046068469756,
      "patterns": [
        1152921504606846976,
        10376293541461622780
      ]
    },
    {
      "mask": 11529215046068469757,
      "patterns": [
        1,
        11529215046068469756
      ]
    },
    {
      "mask": 11529215046068469759,
      "patterns": [
        2,
        11529215046068469757
      ]
    },
    {
      "mask": 11529215046068469763,
      "patterns": [
        2305843009213693955,
        9223372036854775808
      ]
    },
    {
      "mask": 11529215046068469765,
      "patterns": [
        5,
        2305843009213693956,
        9223372036854775809,
        11529215046068469760
      ]
    },
    {
      "mask": 11529215046068469767,
      "patterns": [
        6,
        2305843009213693957,
        9223372036854775810,
        11529215046068469761
      ]
    },
    {
      "mask": 11529215046068469771,
      "patterns": [
        8,
        11529215046068469763
      ]
    },
    {
      "mask": 11529215046068469773,
      "patterns": [
        9,
        2305843009213693960,
        9223372036854775813,
        11529215046068469764
      ]
    },
    {
      "mask": 11529215046068469775,
      "patterns": [
        10,
        2305843009213693961,
        9223372036854775814,
        11529215046068469765
      ]
    },
    {
      "mask": 11529215046068469787,
      "patterns": [
        16,
        11529215046068469771
      ]
    },
    {
      "mask": 11529215046068469789,
      "patterns": [
        17,
        2305843009213693968,
        9223372036854775821,
        11529215046068469772
      ]
    },
    {
      "mask": 11529215046068469791,
      "patterns": [
        18,
        2305843009213693969,
        9223372036854775822,
        11529215046068469773
      ]
    },
    {
      "mask": 11529215046068469819,
      "patterns": [
        32,
        11529215046068469787
      ]
    },
    {
      "mask": 11529215046068469821,
      "patterns": [
        33,
        2305843009213693984,
        9223372036854775837,
        11529215046068469788
      ]
    },
    {
      "mask": 11529215046068469823,
      "patterns": [
        34,
        2305843009213693985,
        9223372036854775838,
        11529215046068469789
      ]
    },
    {
      "mask": 11529215046068469883,
      "patterns": [
        64,
        11529215046068469819
      ]
    },
    {
      "mask": 11529215046068469885,
      "patterns": [
        65,
        2305843009213694016,
        9223372036854775869,
        11529215046068469820
      ]
    },
    {
      "mask": 11529215046068469887,
      "patterns": [
        66,
        2305843009213694017,
        9223372036854775870,
        11529215046068469821
      ]
    },
    {
      "mask": 11529215046068470011,
      "patterns": [
        128,
        11529215046068469883
      ]
    },
    {
      "mask": 11529215046068470013,
      "patterns": [
        129,
        2305843009213694080,
        9223372036854775933,
        11529215046068469884
      ]
    },
    {
      "mask": 11529215046068470015,
      "patterns": [
        130,
        2305843009213694081,
        9223372036854775934,
        11529215046068469885
      ]
    },
    {
      "mask": 11529215046068470267,
      "patterns": [
        256,
        11529215046068470011
      ]
    },
    {
      "mask": 11529215046068470269,
      "patterns": [
        257,
        2305843009213694208,
        9223372036854776061,
        11529215046068470012
      ]
    },
    {
      "mask": 11529215046068470271,
      "patterns": [
        258,
        2305843009213694209,
        9223372036854776062,
        11529215046068470013
      ]
    },
    {
      "mask": 11529215046068470779,
      "patterns": [
        512,
        11529215046068470267
      ]
    },
    {
      "mask": 11529215046068470781,
      "patterns": [
        513,
        2305843009213694464,
        9223372036854776317,
        11529215046068470268
      ]
    },
    {
      "mask": 11529215046068470783,
      "patterns": [
        514,
        2305843009213694465,
        9223372036854776318,
        11529215046068470269
      ]
    },
    {
      "mask": 11529215046068471803,
      "patterns": [
        1024,
        11529215046068470779
      ]
    },
    {
      "mask": 11529215046068471805,
      "patterns": [
        1025,
        2305843009213694976,
        9223372036854776829,
        11529215046068470780
      ]
    },
    {
      "mask": 11529215046068471807,
      "patterns": [
        1026,
        2305843009213694977,
        9223372036854776830,
        11529215046068470781
      ]
    },
    {
      "mask": 11529215046068473851,
      "patterns": [
        2048,
        11529215046068471803
      ]
    },
    {
      "mask": 11529215046068473853,
      "patterns": [
        2049,
        2305843009213696000,
        9223372036854777853,
        11529215046068471804
      ]
    },
    {
      "mask": 11529215046068473855,
      "patterns": [
        2050,
        2305843009213696001,
        9223372036854777854,
        11529215046068471805
      ]
    },
    {
      "mask": 11529215046068477947,
      "patterns": [
        4096,
        11529215046068473851
      ]
    },
    {
      "mask": 11529215046068477949,
      "patterns": [
        4097,
        2305843009213698048,
        9223372036854779901,
        11529215046068473852
      ]
    },
    {
      "mask": 11529215046068477951,
      "patterns": [
        4098,
        2305843009213698049,
        9223372036854779902,
        11529215046068473853
      ]
    },
    {
      "mask": 11529215046068486139,
      "patterns": [
        8192,
        11529215046068477947
      ]
    },
    {
      "mask": 11529215046068486141,
      "patterns": [
        8193,
        2305843009213702144,
        9223372036854783997,
        11529215046068477948
      ]
    },
    {
      "mask": 11529215046068486143,
      "patterns": [
        8194,
        2305843009213702145,
        9223372036854783998,
        11529215046068477949
      ]
    },
    {
      "mask": 11529215046068502523,
      "patterns": [
        16384,
        11529215046068486139
      ]
    },
    {
      "mask": 11529215046068502525,
      "patterns": [
        16385,
        2305843009213710336,
        9223372036854792189,
        11529215046068486140
      ]
    },
    {
      "mask": 11529215046068502527,
      "patterns": [
        16386,
        2305843009213710337,
        9223372036854792190,
        11529215046068486141
      ]
    },
    {
      "mask": 11529215046068535291,
      "patterns": [
        32768,
        11529215046068502523
      ]
    },
    {
      "mask": 11529215046068535293,
      "patterns": [
        32769,
        2305843009213726720,
        9223372036854808573,
        11529215046068502524
      ]
    },
    {
      "mask": 11529215046068535295,
      "patterns": [
        32770,
        2305843009213726721,
        9223372036854808574,
        11529215046068502525
      ]
    },
    {
      "mask": 11529215046068600827,
      "patterns": [
        65536,
        11529215046068535291
      ]
    },
    {
      "mask": 11529215046068600829,
      "patterns": [
        65537,
        2305843009213759488,
        9223372036854841341,
        11529215046068535292
      ]
    },
    {
      "mask": 11529215046068600831,
      "patterns": [
        65538,
        2305843009213759489,
        9223372036854841342,
        11529215046068535293
      ]
    },
    {
      "mask": 11529215046068731899,
      "patterns": [
        131072,
        11529215046068600827
      ]
    },
    {
      "mask": 11529215046068731901,
      "patterns": [
        131073,
        2305843009213825024,
        9223372036854906877,
        11529215046068600828
      ]
    },
    {
      "mask": 11529215046068731903,
      "patterns": [
        131074,
        2305843009213825025,
        9223372036854906878,
        11529215046068600829
      ]
    },
    {
      "mask": 11529215046068994043,
      "patterns": [
        262144,
        11529215046068731899
      ]
    },
    {
      "mask": 11529215046068994045,
      "patterns": [
        262145,
        2305843009213956096,
        9223372036855037949,
        11529215046068731900
      ]
    },
    {
      "mask": 11529215046068994047,
      "patterns": [
        262146,
        2305843009213956097,
        9223372036855037950,
        11529215046068731901
      ]
    },
    {
      "mask": 11529215046069518331,
      "patterns": [
        524288,
        11529215046068994043
      ]
    },
    {
      "mask": 11529215046069518333,
      "patterns": [
        524289,
        2305843009214218240,
        9223372036855300093,
        11529215046068994044
      ]
    },
    {
      "mask": 11529215046069518335,
      "patterns": [
        524290,
        2305843009214218241,
        9223372036855300094,
        11529215046068994045
      ]
    },
    {
      "mask": 11529215046070566907,
      "patterns": [
        1048576,
        11529215046069518331
      ]
    },
    {
      "mask": 11529215046070566909,
      "patterns": [
        1048577,
        2305843009214742528,
        9223372036855824381,
        11529215046069518332
      ]
    },
    {
      "mask": 11529215046070566911,
      "patterns": [
        1048578,
        2305843009214742529,
        9223372036855824382,
        11529215046069518333
      ]
    },
    {
      "mask": 11529215046072664059,
      "patterns": [
        2097152,
        11529215046070566907
      ]
    },
    {
      "mask": 11529215046072664061,
      "patterns": [
        2097153,
        2305843009215791104,
        9223372036856872957,
        11529215046070566908
      ]
    },
    {
      "mask": 11529215046072664063,
      "patterns": [
        2097154,
        2305843009215791105,
        9223372036856872958,
        11529215046070566909
      ]
    },
    {
      "mask": 11529215046076858363,
      "patterns": [
        4194304,
        11529215046072664059
      ]
    },
    {
      "mask": 11529215046076858365,
      "patterns": [
        4194305,
        2305843009217888256,
        9223372036858970109,
        11529215046072664060
      ]
    },
    {
      "mask": 11529215046076858367,
      "patterns": [
        4194306,
        2305843009217888257,
        9223372036858970110,
        11529215046072664061
      ]
    },
    {
      "mask": 11529215046085246971,
      "patterns": [
        8388608,
        11529215046076858363
      ]
    },
    {
      "mask": 11529215046085246973,
      "patterns": [
        8388609,
        2305843009222082560,
        9223372036863164413,
        11529215046076858364
      ]
    },
    {
      "mask": 11529215046085246975,
      "patterns": [
        8388610,
        2305843009222082561,
        9223372036863164414,
        11529215046076858365
      ]
    },
    {
      "mask": 11529215046102024187,
      "patterns": [
        16777216,
        11529215046085246971
      ]
    },
    {
      "mask": 11529215046102024189,
      "patterns": [
        16777217,
        2305843009230471168,
        9223372036871553021,
        11529215046085246972
      ]
    },
    {
      "mask": 11529215046102024191,
      "patterns": [
        16777218,
        2305843009230471169,
        9223372036871553022,
        11529215046085246973
      ]
    },
    {
      "mask": 11529215046135578619,
      "patterns": [
        33554432,
        11529215046102024187
      ]
    },
    {
      "mask": 11529215046135578621,
      "patterns": [
        33554433,
        2305843009247248384,
        9223372036888330237,
        11529215046102024188
      ]
    },
    {
      "mask": 11529215046135578623,
      "patterns": [
        33554434,
        2305843009247248385,
        9223372036888330238,
        11529215046102024189
      ]
    },
    {
      "mask": 11529215046202687483,
      "patterns": [
        67108864,
        11529215046135578619
      ]
    },
    {
      "mask": 11529215046202687485,
      "patterns": [
        67108865,
        2305843009280802816,
        9223372036921884669,
        11529215046135578620
      ]
    },
    {
      "mask": 11529215046202687487,
      "patterns": [
        67108866,
        2305843009280802817,
        9223372036921884670,
        11529215046135578621
      ]
    },
    {
      "mask": 11529215046336905211,
      "patterns": [
        134217728,
        11529215046202687483
      ]
    },
    {
      "mask": 11529215046336905213,
      "patterns": [
        134217729,
        2305843009347911680,
        9223372036988993533,
        11529215046202687484
      ]
    },
    {
      "mask": 11529215046336905215,
      "patterns": [
        134217730,
        2305843009347911681,
        9223372036988993534,
        11529215046202687485
      ]
    },
    {
      "mask": 11529215046605340667,
      "patterns": [
        268435456,
        11529215046336905211
      ]
    },
    {
      "mask": 11529215046605340669,
      "patterns": [
        268435457,
        2305843009482129408,
        9223372037123211261,
        11529215046336905212
      ]
    },
    {
      "mask": 11529215046605340671,
      "patterns": [
        268435458,
        2305843009482129409,
        9223372037123211262,
        11529215046336905213
      ]
    },
    {
      "mask": 11529215047142211579,
      "patterns": [
        536870912,
        11529215046605340667
      ]
    },
    {
      "mask": 11529215047142211581,
      "patterns": [
        536870913,
        2305843009750564864,
        9223372037391646717,
        11529215046605340668
      ]
    },
    {
      "mask": 11529215047142211583,
      "patterns": [
        536870914,
        2305843009750564865,
        9223372037391646718,
        11529215046605340669
      ]
    },
    {
      "mask": 11529215048215953403,
      "patterns": [
        1073741824,
        11529215047142211579
      ]
    },
    {
      "mask": 11529215048215953405,
      "patterns": [
        1073741825,
        2305843010287435776,
        9223372037928517629,
        11529215047142211580
      ]
    },
    {
      "mask": 11529215048215953407,
      "patterns": [
        1073741826,
        2305843010287435777,
        9223372037928517630,
        11529215047142211581
      ]
    },
    {
      "mask": 11529215050363437051,
      "patterns": [
        2147483648,
        11529215048215953403
      ]
    },
    {
      "mask": 11529215050363437053,
      "patterns": [
        2147483649,
        2305843011361177600,
        9223372039002259453,
        11529215048215953404
      ]
    },
    {
      "mask": 11529215050363437055,
      "patterns": [
        2147483650,
        2305843011361177601,
        9223372039002259454,
        11529215048215953405
      ]
    },
    {
      "mask": 11529215054658404347,
      "patterns": [
        4294967296,
        11529215050363437051
      ]
    },
    {
      "mask": 11529215054658404349,
      "patterns": [
        4294967297,
        2305843013508661248,
        9223372041149743101,
        11529215050363437052
      ]
    },
    {
      "mask": 11529215054658404351,
      "patterns": [
        4294967298,
        2305843013508661249,
        9223372041149743102,
        11529215050363437053
      ]
    },
    {
      "mask": 11529215063248338939,
      "patterns": [
        8589934592,
        11529215054658404347
      ]
    },
    {
      "mask": 11529215063248338941,
      "patterns": [
        8589934593,
        2305843017803628544,
        9223372045444710397,
        11529215054658404348
      ]
    },
    {
      "mask": 11529215063248338943,
      "patterns": [
        8589934594,
        2305843017803628545,
        9223372045444710398,
        11529215054658404349
      ]
    },
    {
      "mask": 11529215080428208123,
      "patterns": [
        17179869184,
        11529215063248338939
      ]
    },
    {
      "mask": 11529215080428208125,
      "patterns": [
        17179869185,
        2305843026393563136,
        9223372054034644989,
        11529215063248338940
      ]
    },
    {
      "mask": 11529215080428208127,
      "patterns": [
        17179869186,
        2305843026393563137,
        9223372054034644990,
        11529215063248338941
      ]
    },
    {
      "mask": 11529215114787946491,
      "patterns": [
        34359738368,
        11529215080428208123
      ]
    },
    {
      "mask": 11529215114787946493,
      "patterns": [
        34359738369,
        2305843043573432320,
        9223372071214514173,
        11529215080428208124
      ]
    },
    {
      "mask": 11529215114787946495,
      "patterns": [
        34359738370,
        2305843043573432321,
        9223372071214514174,
        11529215080428208125
      ]
    },
    {
      "mask": 11529215183507423227,
      "patterns": [
        68719476736,
        11529215114787946491
      ]
    },
    {
      "mask": 11529215183507423229,
      "patterns": [
        68719476737,
        2305843077933170688,
        9223372105574252541,
        11529215114787946492
      ]
    },
    {
      "mask": 11529215183507423231,
      "patterns": [
        68719476738,
        2305843077933170689,
        9223372105574252542,
        11529215114787946493
      ]
    },
    {
      "mask": 11529215320946376699,
      "patterns": [
        137438953472,
        11529215183507423227
      ]
    },
    {
      "mask": 11529215320946376701,
      "patterns": [
        137438953473,
        2305843146652647424,
        9223372174293729277,
        11529215183507423228
      ]
    },
    {
      "mask": 11529215320946376703,
      "patterns": [
        137438953474,
        2305843146652647425,
        9223372174293729278,
        11529215183507423229
      ]
    },
    {
      "mask": 11529215595824283643,
      "patterns": [
        274877906944,
        11529215320946376699
      ]
    },
    {
      "mask": 11529215595824283645,
      "patterns": [
        274877906945,
        2305843284091600896,
        9223372311732682749,
        11529215320946376700
      ]
    },
    {
      "mask": 11529215595824283647,
      "patterns": [
        274877906946,
        2305843284091600897,
        9223372311732682750,
        11529215320946376701
      ]
    },
    {
      "mask": 11529216145580097531,
      "patterns": [
        549755813888,
        11529215595824283643
      ]
    },
    {
      "mask": 11529216145580097533,
      "patterns": [
        549755813889,
        2305843558969507840,
        9223372586610589693,
        11529215595824283644
      ]
    },
    {
      "mask": 11529216145580097535,
      "patterns": [
        549755813890,
        2305843558969507841,
        9223372586610589694,
        11529215595824283645
      ]
    },
    {
      "mask": 11529217245091725307,
      "patterns": [
        1099511627776,
        11529216145580097531
      ]
    },
    {
      "mask": 11529217245091725309,
      "patterns": [
        1099511627777,
        2305844108725321728,
        9223373136366403581,
        11529216145580097532
      ]
    },
    {
      "mask": 11529217245091725311,
      "patterns": [
        1099511627778,
        2305844108725321729,
        9223373136366403582,
        11529216145580097533
      ]
    },
    {
      "mask": 11529219444114980859,
      "patterns": [
        2199023255552,
        11529217245091725307
      ]
    },
    {
      "mask": 11529219444114980861,
      "patterns": [
        2199023255553,
        2305845208236949504,
        9223374235878031357,
        11529217245091725308
      ]
    },
    {
      "mask": 11529219444114980863,
      "patterns": [
        2199023255554,
        2305845208236949505,
        9223374235878031358,
        11529217245091725309
      ]
    },
    {
      "mask": 11529223842161491963,
      "patterns": [
        4398046511104,
        11529219444114980859
      ]
    },
    {
      "mask": 11529223842161491965,
      "patterns": [
        4398046511105,
        2305847407260205056,
        9223376434901286909,
        11529219444114980860
      ]
    },
    {
      "mask": 11529223842161491967,
      "patterns": [
        4398046511106,
        2305847407260205057,
        9223376434901286910,
        11529219444114980861
      ]
    },
    {
      "mask": 11529232638254514171,
      "patterns": [
        8796093022208,
        11529223842161491963
      ]
    },
    {
      "mask": 11529232638254514173,
      "patterns": [
        8796093022209,
        2305851805306716160,
        9223380832947798013,
        11529223842161491964
      ]
    },
    {
      "mask": 11529232638254514175,
      "patterns": [
        8796093022210,
        2305851805306716161,
        9223380832947798014,
        11529223842161491965
      ]
    },
    {
      "mask": 11529250230440558587,
      "patterns": [
        17592186044416,
        11529232638254514171
      ]
    },
    {
      "mask": 11529250230440558589,
      "patterns": [
        17592186044417,
        2305860601399738368,
        9223389629040820221,
        11529232638254514172
      ]
    },
    {
      "mask": 11529250230440558591,
      "patterns": [
        17592186044418,
        2305860601399738369,
        9223389629040820222,
        11529232638254514173
      ]
    },
    {
      "mask": 11529285414812647419,
      "patterns": [
        35184372088832,
        11529250230440558587
      ]
    },
    {
      "mask": 11529285414812647421,
      "patterns": [
        35184372088833,
        2305878193585782784,
        9223407221226864637,
        11529250230440558588
      ]
    },
    {
      "mask": 11529285414812647423,
      "patterns": [
        35184372088834,
        2305878193585782785,
        9223407221226864638,
        11529250230440558589
      ]
    },
    {
      "mask": 11529355783556825083,
      "patterns": [
        70368744177664,
        11529285414812647419
      ]
    },
    {
      "mask": 11529355783556825085,
      "patterns": [
        70368744177665,
        2305913377957871616,
        9223442405598953469,
        11529285414812647420
      ]
    },
    {
      "mask": 11529355783556825087,
      "patterns": [
        70368744177666,
        2305913377957871617,
        9223442405598953470,
        11529285414812647421
      ]
    },
    {
      "mask": 11529496521045180411,
      "patterns": [
        140737488355328,
        11529355783556825083
      ]
    },
    {
      "mask": 11529496521045180413,
      "patterns": [
        140737488355329,
        2305983746702049280,
        9223512774343131133,
        11529355783556825084
      ]
    },
    {
      "mask": 11529496521045180415,
      "patterns": [
        140737488355330,
        2305983746702049281,
        9223512774343131134,
        11529355783556825085
      ]
    },
    {
      "mask": 11529777996021891067,
      "patterns": [
        281474976710656,
        11529496521045180411
      ]
    },
    {
      "mask": 11529777996021891069,
      "patterns": [
        281474976710657,
        2306124484190404608,
        9223653511831486461,
        11529496521045180412
      ]
    },
    {
      "mask": 11529777996021891071,
      "patterns": [
        281474976710658,
        2306124484190404609,
        9223653511831486462,
        11529496521045180413
      ]
    },
    {
      "mask": 11530340945975312379,
      "patterns": [
        562949953421312,
        11529777996021891067
      ]
    },
    {
      "mask": 11530340945975312381,
      "patterns": [
        562949953421313,
        2306405959167115264,
        9223934986808197117,
        11529777996021891068
      ]
    },
    {
      "mask": 11530340945975312383,
      "patterns": [
        562949953421314,
        2306405959167115265,
        9223934986808197118,
        11529777996021891069
      ]
    },
    {
      "mask": 11531466845882155003,
      "patterns": [
        1125899906842624,
        11530340945975312379
      ]
    },
    {
      "mask": 11531466845882155005,
      "patterns": [
        1125899906842625,
        2306968909120536576,
        9224497936761618429,
        11530340945975312380
      ]
    },
    {
      "mask": 11531466845882155007,
      "patterns": [
        1125899906842626,
        2306968909120536577,
        9224497936761618430,
        11530340945975312381
      ]
    },
    {
      "mask": 11533718645695840251,
      "patterns": [
        2251799813685248,
        11531466845882155003
      ]
    },
    {
      "mask": 11533718645695840253,
      "patterns": [
        2251799813685249,
        2308094809027379200,
        9225623836668461053,
        11531466845882155004
      ]
    },
    {
      "mask": 11533718645695840255,
      "patterns": [
        2251799813685250,
        2308094809027379201,
        9225623836668461054,
        11531466845882155005
      ]
    },
    {
      "mask": 11538222245323210747,
      "patterns": [
        4503599627370496,
        11533718645695840251
      ]
    },
    {
      "mask": 11538222245323210749,
      "patterns": [
        4503599627370497,
        2310346608841064448,
        9227875636482146301,
        11533718645695840252
      ]
    },
    {
      "mask": 11538222245323210751,
      "patterns": [
        4503599627370498,
        2310346608841064449,
        9227875636482146302,
        11533718645695840253
      ]
    },
    {
      "mask": 11547229444577951739,
      "patterns": [
        9007199254740992,
        11538222245323210747
      ]
    },
    {
      "mask": 11547229444577951741,
      "patterns": [
        9007199254740993,
        2314850208468434944,
        9232379236109516797,
        11538222245323210748
      ]
    },
    {
      "mask": 11547229444577951743,
      "patterns": [
        9007199254740994,
        2314850208468434945,
        9232379236109516798,
        11538222245323210749
      ]
    },
    {
      "mask": 11565243843087433723,
      "patterns": [
        18014398509481984,
        11547229444577951739
      ]
    },
    {
      "mask": 11565243843087433725,
      "patterns": [
        18014398509481985,
        2323857407723175936,
        9241386435364257789,
        11547229444577951740
      ]
    },
    {
      "mask": 11565243843087433727,
      "patterns": [
        18014398509481986,
        2323857407723175937,
        9241386435364257790,
        11547229444577951741
      ]
    },
    {
      "mask": 11601272640106397691,
      "patterns": [
        36028797018963968,
        11565243843087433723
      ]
    },
    {
      "mask": 11601272640106397693,
      "patterns": [
        36028797018963969,
        2341871806232657920,
        9259400833873739773,
        11565243843087433724
      ]
    },
    {
      "mask": 11601272640106397695,
      "patterns": [
        36028797018963970,
        2341871806232657921,
        9259400833873739774,
        11565243843087433725
      ]
    },
    {
      "mask": 11673330234144325627,
      "patterns": [
        72057594037927936,
        11601272640106397691
      ]
    },
    {
      "mask": 11673330234144325629,
      "patterns": [
        72057594037927937,
        2377900603251621888,
        9295429630892703741,
        11601272640106397692
      ]
    },
    {
      "mask": 11673330234144325631,
      "patterns": [
        72057594037927938,
        2377900603251621889,
        9295429630892703742,
        11601272640106397693
      ]
    },
    {
      "mask": 11817445422220181499,
      "patterns": [
        144115188075855872,
        11673330234144325627
      ]
    },
    {
      "mask": 11817445422220181501,
      "patterns": [
        144115188075855873,
        2449958197289549824,
        9367487224930631677,
        11673330234144325628
      ]
    },
    {
      "mask": 11817445422220181503,
      "patterns": [
        144115188075855874,
        2449958197289549825,
        9367487224930631678,
        11673330234144325629
      ]
    },
    {
      "mask": 12105675798371893243,
      "patterns": [
        288230376151711744,
        11817445422220181499
      ]
    },
    {
      "mask": 12105675798371893245,
      "patterns": [
        288230376151711745,
        2594073385365405696,
        9511602413006487549,
        11817445422220181500
      ]
    },
    {
      "mask": 12105675798371893247,
      "patterns": [
        288230376151711746,
        2594073385365405697,
        9511602413006487550,
        11817445422220181501
      ]
    },
    {
      "mask": 12682136550675316731,
      "patterns": [
        576460752303423488,
        12105675798371893243
      ]
    },
    {
      "mask": 12682136550675316733,
      "patterns": [
        576460752303423489,
        2882303761517117440,
        9799832789158199293,
        12105675798371893244
      ]
    },
    {
      "mask": 12682136550675316735,
      "patterns": [
        576460752303423490,
        2882303761517117441,
        9799832789158199294,
        12105675798371893245
      ]
    },
    {
      "mask": 13835058055282163706,
      "patterns": [
        0,
        13835058055282163706
      ]
    },
    {
      "mask": 13835058055282163707,
      "patterns": [
        1152921504606846976,
        12682136550675316731
      ]
    },
    {
      "mask": 13835058055282163708,
      "patterns": [
        2305843009213693952,
        11529215046068469756
      ]
    },
    {
      "mask": 13835058055282163709,
      "patterns": [
        1152921504606846977,
        3458764513820540928,
        10376293541461622781,
        12682136550675316732
      ]
    },
    {
      "mask": 13835058055282163710,
      "patterns": [
        2,
        13835058055282163708
      ]
    },
    {
      "mask": 13835058055282163711,
      "patterns": [
        1152921504606846978,
        3458764513820540929,
        10376293541461622782,
        12682136550675316733
      ]
    },
    {
      "mask": 13835058055282163714,
      "patterns": [
        4611686018427387906,
        9223372036854775808
      ]
    },
    {
      "mask": 13835058055282163718,
      "patterns": [
        6,
        4611686018427387908,
        9223372036854775810,
        13835058055282163712
      ]
    },
    {
      "mask": 13835058055282163722,
      "patterns": [
        8,
        13835058055282163714
      ]
    },
    {
      "mask": 13835058055282163726,
      "patterns": [
        10,
        4611686018427387912,
        9223372036854775814,
        13835058055282163716
      ]
    },
    {
      "mask": 13835058055282163738,
      "patterns": [
        16,
        13835058055282163722
      ]
    },
    {
      "mask": 13835058055282163742,
      "patterns": [
        18,
        4611686018427387920,
        9223372036854775822,
        13835058055282163724
      ]
    },
    {
      "mask": 13835058055282163770,
      "patterns": [
        32,
        13835058055282163738
      ]
    },
    {
      "mask": 13835058055282163774,
      "patterns": [
        34,
        4611686018427387936,
        9223372036854775838,
        13835058055282163740
      ]
    },
    {
      "mask": 13835058055282163834,
      "patterns": [
        64,
        13835058055282163770
      ]
    },
    {
      "mask": 13835058055282163838,
      "patterns": [
        66,
        4611686018427387968,
        9223372036854775870,
        13835058055282163772
      ]
    },
    {
      "mask": 13835058055282163962,
      "patterns": [
        128,
        13835058055282163834
      ]
    },
    {
      "mask": 13835058055282163966,
      "patterns": [
        130,
        4611686018427388032,
        9223372036854775934,
        13835058055282163836
      ]
    },
    {
      "mask": 13835058055282164218,
      "patterns": [
        256,
        13835058055282163962
      ]
    },
    {
      "mask": 13835058055282164222,
      "patterns": [
        258,
        4611686018427388160,
        9223372036854776062,
        13835058055282163964
      ]
    },
    {
      "mask": 13835058055282164730,
      "patterns": [
        512,
        13835058055282164218
      ]
    },
    {
      "mask": 13835058055282164734,
      "patterns": [
        514,
        4611686018427388416,
        9223372036854776318,
        13835058055282164220
      ]
    },
    {
      "mask": 13835058055282165754,
      "patterns": [
        1024,
        13835058055282164730
      ]
    },
    {
      "mask": 13835058055282165758,
      "patterns": [
        1026,
        4611686018427388928,
        9223372036854776830,
        13835058055282164732
      ]
    },
    {
      "mask": 13835058055282167802,
      "patterns": [
        2048,
        13835058055282165754
      ]
    },
    {
      "mask": 13835058055282167806,
      "patterns": [
        2050,
        4611686018427389952,
        9223372036854777854,
        13835058055282165756
      ]
    },
    {
      "mask": 13835058055282171898,
      "patterns": [
        4096,
        13835058055282167802
      ]
    },
    {
      "mask": 13835058055282171902,
      "patterns": [
        4098,
        4611686018427392000,
        9223372036854779902,
        13835058055282167804
      ]
    },
    {
      "mask": 13835058055282180090,
      "patterns": [
        8192,
        13835058055282171898
      ]
    },
    {
      "mask": 13835058055282180094,
      "patterns": [
        8194,
        4611686018427396096,
        9223372036854783998,
        13835058055282171900
      ]
    },
    {
      "mask": 13835058055282196474,
      "patterns": [
        16384,
        13835058055282180090
      ]
    },
    {
      "mask": 13835058055282196478,
      "patterns": [
        16386,
        4611686018427404288,
        9223372036854792190,
        13835058055282180092
      ]
    },
    {
      "mask": 13835058055282229242,
      "patterns": [
        32768,
        13835058055282196474
      ]
    },
    {
      "mask": 13835058055282229246,
      "patterns": [
        32770,
        4611686018427420672,
        9223372036854808574,
        13835058055282196476
      ]
    },
    {
      "mask": 13835058055282294778,
      "patterns": [
        65536,
        13835058055282229242
      ]
    },
    {
      "mask": 13835058055282294782,
      "patterns": [
        65538,
        4611686018427453440,
        9223372036854841342,
        13835058055282229244
      ]
    },
    {
      "mask": 13835058055282425850,
      "patterns": [
        131072,
        13835058055282294778
      ]
    },
    {
      "mask": 13835058055282425854,
      "patterns": [
        131074,
        4611686018427518976,
        9223372036854906878,
        13835058055282294780
      ]
    },
    {
      "mask": 13835058055282687994,
      "patterns": [
        262144,
        13835058055282425850
      ]
    },
    {
      "mask": 13835058055282687998,
      "patterns": [
        262146,
        4611686018427650048,
        9223372036855037950,
        13835058055282425852
      ]
    },
    {
      "mask": 13835058055283212282,
      "patterns": [
        524288,
        13835058055282687994
      ]
    },
    {
      "mask": 13835058055283212286,
      "patterns": [
        524290,
        4611686018427912192,
        9223372036855300094,
        13835058055282687996
      ]
    },
    {
      "mask": 13835058055284260858,
      "patterns": [
        1048576,
        13835058055283212282
      ]
    },
    {
      "mask": 13835058055284260862,
      "patterns": [
        1048578,
        4611686018428436480,
        9223372036855824382,
        13835058055283212284
      ]
    },
    {
      "mask": 13835058055286358010,
      "patterns": [
        2097152,
        13835058055284260858
      ]
    },
    {
      "mask": 13835058055286358014,
      "patterns": [
        2097154,
        4611686018429485056,
        9223372036856872958,
        13835058055284260860
      ]
    },
    {
      "mask": 13835058055290552314,
      "patterns": [
        4194304,
        13835058055286358010
      ]
    },
    {
      "mask": 13835058055290552318,
      "patterns": [
        4194306,
        4611686018431582208,
        9223372036858970110,
        13835058055286358012
      ]
    },
    {
      "mask": 13835058055298940922,
      "patterns": [
        8388608,
        13835058055290552314
      ]
    },
    {
      "mask": 13835058055298940926,
      "patterns": [
        8388610,
        4611686018435776512,
        9223372036863164414,
        13835058055290552316
      ]
    },
    {
      "mask": 13835058055315718138,
      "patterns": [
        16777216,
        13835058055298940922
      ]
    },
    {
      "mask": 13835058055315718142,
      "patterns": [
        16777218,
        4611686018444165120,
        9223372036871553022,
        13835058055298940924
      ]
    },
    {
      "mask": 13835058055349272570,
      "patterns": [
        33554432,
        13835058055315718138
      ]
    },
    {
      "mask": 13835058055349272574,
      "patterns": [
        33554434,
        4611686018460942336,
        9223372036888330238,
        13835058055315718140
      ]
    },
    {
      "mask": 13835058055416381434,
      "patterns": [
        67108864,
        13835058055349272570
      ]
    },
    {
      "mask": 13835058055416381438,
      "patterns": [
        67108866,
        4611686018494496768,
        9223372036921884670,
        13835058055349272572
      ]
    },
    {
      "mask": 13835058055550599162,
      "patterns": [
        134217728,
        13835058055416381434
      ]
    },
    {
      "mask": 13835058055550599166,
      "patterns": [
        134217730,
        4611686018561605632,
        9223372036988993534,
        13835058055416381436
      ]
    },
    {
      "mask": 13835058055819034618,
      "patterns": [
        268435456,
        13835058055550599162
      ]
    },
    {
      "mask": 13835058055819034622,
      "patterns": [
        268435458,
        4611686018695823360,
        9223372037123211262,
        13835058055550599164
      ]
    },
    {
      "mask": 13835058056355905530,
      "patterns": [
        536870912,
        13835058055819034618
      ]
    },
    {
      "mask": 13835058056355905534,
      "patterns": [
        536870914,
        4611686018964258816,
        9223372037391646718,
        13835058055819034620
      ]
    },
    {
      "mask": 13835058057429647354,
      "patterns": [
        1073741824,
        13835058056355905530
      ]
    },
    {
      "mask": 13835058057429647358,
      "patterns": [
        1073741826,
        4611686019501129728,
        9223372037928517630,
        13835058056355905532
      ]
    },
    {
      "mask": 13835058059577131002,
      "patterns": [
        2147483648,
        13835058057429647354
      ]
    },
    {
      "mask": 13835058059577131006,
      "patterns": [
        2147483650,
        4611686020574871552,
        9223372039002259454,
        13835058057429647356
      ]
    },
    {
      "mask": 13835058063872098298,
      "patterns": [
        4294967296,
        13835058059577131002
      ]
    },
    {
      "mask": 13835058063872098302,
      "patterns": [
        4294967298,
        4611686022722355200,
        9223372041149743102,
        13835058059577131004
      ]
    },
    {
      "mask": 13835058072462032890,
      "patterns": [
        8589934592,
        13835058063872098298
      ]
    },
    {
      "mask": 13835058072462032894,
      "patterns": [
        8589934594,
        4611686027017322496,
        9223372045444710398,
        13835058063872098300
      ]
    },
    {
      "mask": 13835058089641902074,
      "patterns": [
        17179869184,
        13835058072462032890
      ]
    },
    {
      "mask": 13835058089641902078,
      "patterns": [
        17179869186,
        4611686035607257088,
        9223372054034644990,
        13835058072462032892
      ]
    },
    {
      "mask": 13835058124001640442,
      "patterns": [
        34359738368,
        13835058089641902074
      ]
    },
    {
      "mask": 13835058124001640446,
      "patterns": [
        34359738370,
        4611686052787126272,
        9223372071214514174,
        13835058089641902076
      ]
    },
    {
      "mask": 13835058192721117178,
      "patterns": [
        68719476736,
        13835058124001640442
      ]
    },
    {
      "mask": 13835058192721117182,
      "patterns": [
        68719476738,
        4611686087146864640,
        9223372105574252542,
        13835058124001640444
      ]
    },
    {
      "mask": 13835058330160070650,
      "patterns": [
        137438953472,
        13835058192721117178
      ]
    },
    {
      "mask": 13835058330160070654,
      "patterns": [
        137438953474,
        4611686155866341376,
        9223372174293729278,
        13835058192721117180
      ]
    },
    {
      "mask": 13835058605037977594,
      "patterns": [
        274877906944,
        13835058330160070650
      ]
    },
    {
      "mask": 13835058605037977598,
      "patterns": [
        274877906946,
        4611686293305294848,
        9223372311732682750,
        13835058330160070652
      ]
    },
    {
      "mask": 13835059154793791482,
      "patterns": [
        549755813888,
        13835058605037977594
      ]
    },
    {
      "mask": 13835059154793791486,
      "patterns": [
        549755813890,
        4611686568183201792,
        9223372586610589694,
        13835058605037977596
      ]
    },
    {
      "mask": 13835060254305419258,
      "patterns": [
        1099511627776,
        13835059154793791482
      ]
    },
    {
      "mask": 13835060254305419262,
      "patterns": [
        1099511627778,
        4611687117939015680,
        9223373136366403582,
        13835059154793791484
      ]
    },
    {
      "mask": 13835062453328674810,
      "patterns": [
        2199023255552,
        13835060254305419258
      ]
    },
    {
      "mask": 13835062453328674814,
      "patterns": [
        2199023255554,
        4611688217450643456,
        9223374235878031358,
        13835060254305419260
      ]
    },
    {
      "mask": 13835066851375185914,
      "patterns": [
        4398046511104,
        13835062453328674810
      ]
    },
    {
      "mask": 13835066851375185918,
      "patterns": [
        4398046511106,
        4611690416473899008,
        9223376434901286910,
        13835062453328674812
      ]
    },
    {
      "mask": 13835075647468208122,
      "patterns": [
        8796093022208,
        13835066851375185914
      ]
    },
    {
      "mask": 13835075647468208126,
      "patterns": [
        8796093022210,
        4611694814520410112,
        9223380832947798014,
        13835066851375185916
      ]
    },
    {
      "mask": 13835093239654252538,
      "patterns": [
        17592186044416,
        13835075647468208122
      ]
    },
    {
      "mask": 13835093239654252542,
      "patterns": [
        17592186044418,
        4611703610613432320,
        9223389629040820222,
        13835075647468208124
      ]
    },
    {
      "mask": 13835128424026341370,
      "patterns": [
        35184372088832,
        13835093239654252538
      ]
    },
    {
      "mask": 13835128424026341374,
      "patterns": [
        35184372088834,
        4611721202799476736,
        9223407221226864638,
        13835093239654252540
      ]
    },
    {
      "mask": 13835198792770519034,
      "patterns": [
        70368744177664,
        13835128424026341370
      ]
    },
    {
      "mask": 13835198792770519038,
      "patterns": [
        70368744177666,
        4611756387171565568,
        9223442405598953470,
        13835128424026341372
      ]
    },
    {
      "mask": 13835339530258874362,
      "patterns": [
        140737488355328,
        13835198792770519034
      ]
    },
    {
      "mask": 13835339530258874366,
      "patterns": [
        140737488355330,
        4611826755915743232,
        9223512774343131134,
        13835198792770519036
      ]
    },
    {
      "mask": 13835621005235585018,
      "patterns": [
        281474976710656,
        13835339530258874362
      ]
    },
    {
      "mask": 13835621005235585022,
      "patterns": [
        281474976710658,
        4611967493404098560,
        9223653511831486462,
        13835339530258874364
      ]
    },
    {
      "mask": 13836183955189006330,
      "patterns": [
        562949953421312,
        13835621005235585018
      ]
    },
    {
      "mask": 13836183955189006334,
      "patterns": [
        562949953421314,
        4612248968380809216,
        9223934986808197118,
        13835621005235585020
      ]
    },
    {
      "mask": 13837309855095848954,
      "patterns": [
        1125899906842624,
        13836183955189006330
      ]
    },
    {
      "mask": 13837309855095848958,
      "patterns": [
        1125899906842626,
        4612811918334230528,
        9224497936761618430,
        13836183955189006332
      ]
    },
    {
      "mask": 13839561654909534202,
      "patterns": [
        2251799813685248,
        13837309855095848954
      ]
    },
    {
      "mask": 13839561654909534206,
      "patterns": [
        2251799813685250,
        4613937818241073152,
        9225623836668461054,
        13837309855095848956
      ]
    },
    {
      "mask": 13844065254536904698,
      "patterns": [
        4503599627370496,
        13839561654909534202
      ]
    },
    {
      "mask": 13844065254536904702,
      "patterns": [
        4503599627370498,
        4616189618054758400,
        9227875636482146302,
        13839561654909534204
      ]
    },
    {
      "mask": 13853072453791645690,
      "patterns": [
        9007199254740992,
        13844065254536904698
      ]
    },
    {
      "mask": 13853072453791645694,
      "patterns": [
        9007199254740994,
        4620693217682128896,
        9232379236109516798,
        13844065254536904700
      ]
    },
    {
      "mask": 13871086852301127674,
      "patterns": [
        18014398509481984,
        13853072453791645690
      ]
    },
    {
      "mask": 13871086852301127678,
      "patterns": [
        18014398509481986,
        4629700416936869888,
        9241386435364257790,
        13853072453791645692
      ]
    },
    {
      "mask": 13907115649320091642,
      "patterns": [
        36028797018963968,
        13871086852301127674
      ]
    },
    {
      "mask": 13907115649320091646,
      "patterns": [
        36028797018963970,
        4647714815446351872,
        9259400833873739774,
        13871086852301127676
      ]
    },
    {
      "mask": 13979173243358019578,
      "patterns": [
        72057594037927936,
        13907115649320091642
      ]
    },
    {
      "mask": 13979173243358019582,
      "patterns": [
        72057594037927938,
        4683743612465315840,
        9295429630892703742,
        13907115649320091644
      ]
    },
    {
      "mask": 14123288431433875450,
      "patterns": [
        144115188075855872,
        13979173243358019578
      ]
    },
    {
      "mask": 14123288431433875454,
      "patterns": [
        144115188075855874,
        4755801206503243776,
        9367487224930631678,
        13979173243358019580
      ]
    },
    {
      "mask": 14411518807585587194,
      "patterns": [
        288230376151711744,
        14123288431433875450
      ]
    },
    {
      "mask": 14411518807585587198,
      "patterns": [
        288230376151711746,
        4899916394579099648,
        9511602413006487550,
        14123288431433875452
      ]
    },
    {
      "mask": 14987979559889010682,
      "patterns": [
        576460752303423488,
        14411518807585587194
      ]
    },
    {
      "mask": 14987979559889010686,
      "patterns": [
        576460752303423490,
        5188146770730811392,
        9799832789158199294,
        14411518807585587196
      ]
    },
    {
      "mask": 16140901064495857657,
      "patterns": [
        0,
        16140901064495857657
      ]
    },
    {
      "mask": 16140901064495857658,
      "patterns": [
        1152921504606846976,
        14987979559889010682
      ]
    },
    {
      "mask": 16140901064495857659,
      "patterns": [
        1,
        16140901064495857658
      ]
    },
    {
      "mask": 16140901064495857661,
      "patterns": [
        4611686018427387904,
        11529215046068469757
      ]
    },
    {
      "mask": 16140901064495857662,
      "patterns": [
        1152921504606846978,
        5764607523034234880,
        10376293541461622782,
        14987979559889010684
      ]
    },
    {
      "mask": 16140901064495857663,
      "patterns": [
        3,
        4611686018427387905,
        11529215046068469758,
        16140901064495857660
      ]
    },
    {
      "mask": 16140901064495857665,
      "patterns": [
        6917529027641081857,
        9223372036854775808
      ]
    },
    {
      "mask": 16140901064495857667,
      "patterns": [
        4611686018427387907,
        6917529027641081858,
        9223372036854775809,
        11529215046068469760
      ]
    },
    {
      "mask": 16140901064495857669,
      "patterns": [
        2305843009213693957,
        4611686018427387908,
        11529215046068469761,
        13835058055282163712
      ]
    },
    {
      "mask": 16140901064495857671,
      "patterns": [
        7,
        2305843009213693958,
        4611686018427387909,
        6917529027641081860,
        9223372036854775811,
        11529215046068469762,
        13835058055282163713,
        16140901064495857664
      ]
    },
    {
      "mask": 16140901064495857673,
      "patterns": [
        8,
        16140901064495857665
      ]
    },
    {
      "mask": 16140901064495857675,
      "patterns": [
        9,
        2305843009213693960,
        13835058055282163715,
        16140901064495857666
      ]
    },
    {
      "mask": 16140901064495857677,
      "patterns": [
        2305843009213693961,
        4611686018427387912,
        11529215046068469765,
        13835058055282163716
      ]
    },
    {
      "mask": 16140901064495857679,
      "patterns": [
        11,
        2305843009213693962,
        4611686018427387913,
        6917529027641081864,
        9223372036854775815,
        11529215046068469766,
        13835058055282163717,
        16140901064495857668
      ]
    },
    {
      "mask": 16140901064495857689,
      "patterns": [
        16,
        16140901064495857673
      ]
    },
    {
      "mask": 16140901064495857691,
      "patterns": [
        17,
        2305843009213693968,
        13835058055282163723,
        16140901064495857674
      ]
    },
    {
      "mask": 16140901064495857693,
      "patterns": [
        2305843009213693969,
        4611686018427387920,
        11529215046068469773,
        13835058055282163724
      ]
    },
    {
      "mask": 16140901064495857695,
      "patterns": [
        19,
        2305843009213693970,
        4611686018427387921,
        6917529027641081872,
        9223372036854775823,
        11529215046068469774,
        13835058055282163725,
        16140901064495857676
      ]
    },
    {
      "mask": 16140901064495857721,
      "patterns": [
        32,
        16140901064495857689
      ]
    },
    {
      "mask": 16140901064495857723,
      "patterns": [
        33,
        2305843009213693984,
        13835058055282163739,
        16140901064495857690
      ]
    },
    {
      "mask": 16140901064495857725,
      "patterns": [
        2305843009213693985,
        4611686018427387936,
        11529215046068469789,
        13835058055282163740
      ]
    },
    {
      "mask": 16140901064495857727,
      "patterns": [
        35,
        2305843009213693986,
        4611686018427387937,
        6917529027641081888,
        9223372036854775839,
        11529215046068469790,
        13835058055282163741,
        16140901064495857692
      ]
    },
    {
      "mask": 16140901064495857785,
      "patterns": [
        64,
        16140901064495857721
      ]
    },
    {
      "mask": 16140901064495857787,
      "patterns": [
        65,
        2305843009213694016,
        13835058055282163771,
        16140901064495857722
      ]
    },
    {
      "mask": 16140901064495857789,
      "patterns": [
        2305843009213694017,
        4611686018427387968,
        11529215046068469821,
        13835058055282163772
      ]
    },
    {
      "mask": 16140901064495857791,
      "patterns": [
        67,
        2305843009213694018,
        4611686018427387969,
        6917529027641081920,
        9223372036854775871,
        11529215046068469822,
        13835058055282163773,
        16140901064495857724
      ]
    },
    {
      "mask": 16140901064495857913,
      "patterns": [
        128,
        16140901064495857785
      ]
    },
    {
      "mask": 16140901064495857915,
      "patterns": [
        129,
        2305843009213694080,
        13835058055282163835,
        16140901064495857786
      ]
    },
    {
      "mask": 16140901064495857917,
      "patterns": [
        2305843009213694081,
        4611686018427388032,
        11529215046068469885,
        13835058055282163836
      ]
    },
    {
      "mask": 16140901064495857919,
      "patterns": [
        131,
        2305843009213694082,
        4611686018427388033,
        6917529027641081984,
        9223372036854775935,
        11529215046068469886,
        13835058055282163837,
        16140901064495857788
      ]
    },
    {
      "mask": 16140901064495858169,
      "patterns": [
        256,
        16140901064495857913
      ]
    },
    {
      "mask": 16140901064495858171,
      "patterns": [
        257,
        2305843009213694208,
        13835058055282163963,
        16140901064495857914
      ]
    },
    {
      "mask": 16140901064495858173,
      "patterns": [
        2305843009213694209,
        4611686018427388160,
        11529215046068470013,
        13835058055282163964
      ]
    },
    {
      "mask": 16140901064495858175,
      "patterns": [
        259,
        2305843009213694210,
        4611686018427388161,
        6917529027641082112,
        9223372036854776063,
        11529215046068470014,
        13835058055282163965,
        16140901064495857916
      ]
    },
    {
      "mask": 16140901064495858681,
      "patterns": [
        512,
        16140901064495858169
      ]
    },
    {
      "mask": 16140901064495858683,
      "patterns": [
        513,
        2305843009213694464,
        13835058055282164219,
        16140901064495858170
      ]
    },
    {
      "mask": 16140901064495858685,
      "patterns": [
        2305843009213694465,
        4611686018427388416,
        11529215046068470269,
        13835058055282164220
      ]
    },
    {
      "mask": 16140901064495858687,
      "patterns": [
        515,
        2305843009213694466,
        4611686018427388417,
        6917529027641082368,
        9223372036854776319,
        11529215046068470270,
        13835058055282164221,
        16140901064495858172
      ]
    },
    {
      "mask": 16140901064495859705,
      "patterns": [
        1024,
        16140901064495858681
      ]
    },
    {
      "mask": 16140901064495859707,
      "patterns": [
        1025,
        2305843009213694976,
        13835058055282164731,
        16140901064495858682
      ]
    },
    {
      "mask": 16140901064495859709,
      "patterns": [
        2305843009213694977,
        4611686018427388928,
        11529215046068470781,
        13835058055282164732
      ]
    },
    {
      "mask": 16140901064495859711,
      "patterns": [
        1027,
        2305843009213694978,
        4611686018427388929,
        6917529027641082880,
        9223372036854776831,
        11529215046068470782,
        13835058055282164733,
        16140901064495858684
      ]
    },
    {
      "mask": 16140901064495861753,
      "patterns": [
        2048,
        16140901064495859705
      ]
    },
    {
      "mask": 16140901064495861755,
      "patterns": [
        2049,
        2305843009213696000,
        13835058055282165755,
        16140901064495859706
      ]
    },
    {
      "mask": 16140901064495861757,
      "patterns": [
        2305843009213696001,
        4611686018427389952,
        11529215046068471805,
        13835058055282165756
      ]
    },
    {
      "mask": 16140901064495861759,
      "patterns": [
        2051,
        2305843009213696002,
        4611686018427389953,
        6917529027641083904,
        9223372036854777855,
        11529215046068471806,
        13835058055282165757,
        16140901064495859708
      ]
    },
    {
      "mask": 16140901064495865849,
      "patterns": [
        4096,
        16140901064495861753
      ]
    },
    {
      "mask": 16140901064495865851,
      "patterns": [
        4097,
        2305843009213698048,
        13835058055282167803,
        16140901064495861754
      ]
    },
    {
      "mask": 16140901064495865853,
      "patterns": [
        2305843009213698049,
        4611686018427392000,
        11529215046068473853,
        13835058055282167804
      ]
    },
    {
      "mask": 16140901064495865855,
      "patterns": [
        4099,
        2305843009213698050,
        4611686018427392001,
        6917529027641085952,
        9223372036854779903,
        11529215046068473854,
        13835058055282167805,
        16140901064495861756
      ]
    },
    {
      "mask": 16140901064495874041,
      "patterns": [
        8192,
        16140901064495865849
      ]
    },
    {
      "mask": 16140901064495874043,
      "patterns": [
        8193,
        2305843009213702144,
        13835058055282171899,
        16140901064495865850
      ]
    },
    {
      "mask": 16140901064495874045,
      "patterns": [
        2305843009213702145,
        4611686018427396096,
        11529215046068477949,
        13835058055282171900
      ]
    },
    {
      "mask": 16140901064495874047,
      "patterns": [
        8195,
        2305843009213702146,
        4611686018427396097,
        6917529027641090048,
        9223372036854783999,
        11529215046068477950,
        13835058055282171901,
        16140901064495865852
      ]
    },
    {
      "mask": 16140901064495890425,
      "patterns": [
        16384,
        16140901064495874041
      ]
    },
    {
      "mask": 16140901064495890427,
      "patterns": [
        16385,
        2305843009213710336,
        13835058055282180091,
        16140901064495874042
      ]
    },
    {
      "mask": 16140901064495890429,
      "patterns": [
        2305843009213710337,
        4611686018427404288,
        11529215046068486141,
        13835058055282180092
      ]
    },
    {
      "mask": 16140901064495890431,
      "patterns": [
        16387,
        2305843009213710338,
        4611686018427404289,
        6917529027641098240,
        9223372036854792191,
        11529215046068486142,
        13835058055282180093,
        16140901064495874044
      ]
    },
    {
      "mask": 16140901064495923193,
      "patterns": [
        32768,
        16140901064495890425
      ]
    },
    {
      "mask": 16140901064495923195,
      "patterns": [
        32769,
        2305843009213726720,
        13835058055282196475,
        16140901064495890426
      ]
    },
    {
      "mask": 16140901064495923197,
      "patterns": [
        2305843009213726721,
        4611686018427420672,
        11529215046068502525,
        13835058055282196476
      ]
    },
    {
      "mask": 16140901064495923199,
      "patterns": [
        32771,
        2305843009213726722,
        4611686018427420673,
        6917529027641114624,
        9223372036854808575,
        11529215046068502526,
        13835058055282196477,
        16140901064495890428
      ]
    },
    {
      "mask": 16140901064495988729,
      "patterns": [
        65536,
        16140901064495923193
      ]
    },
    {
      "mask": 16140901064495988731,
      "patterns": [
        65537,
        2305843009213759488,
        13835058055282229243,
        16140901064495923194
      ]
    },
    {
      "mask": 16140901064495988733,
      "patterns": [
        2305843009213759489,
        4611686018427453440,
        11529215046068535293,
        13835058055282229244
      ]
    },
    {
      "mask": 16140901064495988735,
      "patterns": [
        65539,
        2305843009213759490,
        4611686018427453441,
        6917529027641147392,
        9223372036854841343,
        11529215046068535294,
        13835058055282229245,
        16140901064495923196
      ]
    },
    {
      "mask": 16140901064496119801,
      "patterns": [
        131072,
        16140901064495988729
      ]
    },
    {
      "mask": 16140901064496119803,
      "patterns": [
        131073,
        2305843009213825024,
        13835058055282294779,
        16140901064495988730
      ]
    },
    {
      "mask": 16140901064496119805,
      "patterns": [
        2305843009213825025,
        4611686018427518976,
        11529215046068600829,
        13835058055282294780
      ]
    },
    {
      "mask": 16140901064496119807,
      "patterns": [
        131075,
        2305843009213825026,
        4611686018427518977,
        6917529027641212928,
        9223372036854906879,
        11529215046068600830,
        13835058055282294781,
        16140901064495988732
      ]
    },
    {
      "mask": 16140901064496381945,
      "patterns": [
        262144,
        16140901064496119801
      ]
    },
    {
      "mask": 16140901064496381947,
      "patterns": [
        262145,
        2305843009213956096,
        13835058055282425851,
        16140901064496119802
      ]
    },
    {
      "mask": 16140901064496381949,
      "patterns": [
        2305843009213956097,
        4611686018427650048,
        11529215046068731901,
        13835058055282425852
      ]
    },
    {
      "mask": 16140901064496381951,
      "patterns": [
        262147,
        2305843009213956098,
        4611686018427650049,
        6917529027641344000,
        9223372036855037951,
        11529215046068731902,
        13835058055282425853,
        16140901064496119804
      ]
    },
    {
      "mask": 16140901064496906233,
      "patterns": [
        524288,
        16140901064496381945
      ]
    },
    {
      "mask": 16140901064496906235,
      "patterns": [
        524289,
        2305843009214218240,
        13835058055282687995,
        16140901064496381946
      ]
    },
    {
      "mask": 16140901064496906237,
      "patterns": [
        2305843009214218241,
        4611686018427912192,
        11529215046068994045,
        13835058055282687996
      ]
    },
    {
      "mask": 16140901064496906239,
      "patterns": [
        524291,
        2305843009214218242,
        4611686018427912193,
        6917529027641606144,
        9223372036855300095,
        11529215046068994046,
        13835058055282687997,
        16140901064496381948
      ]
    },
    {
      "mask": 16140901064497954809,
      "patterns": [
        1048576,
        16140901064496906233
      ]
    },
    {
      "mask": 16140901064497954811,
      "patterns": [
        1048577,
        2305843009214742528,
        13835058055283212283,
        16140901064496906234
      ]
    },
    {
      "mask": 16140901064497954813,
      "patterns": [
        2305843009214742529,
        4611686018428436480,
        11529215046069518333,
        13835058055283212284
      ]
    },
    {
      "mask": 16140901064497954815,
      "patterns": [
        1048579,
        2305843009214742530,
        4611686018428436481,
        6917529027642130432,
        9223372036855824383,
        11529215046069518334,
        13835058055283212285,
        16140901064496906236
      ]
    },
    {
      "mask": 16140901064500051961,
      "patterns": [
        2097152,
        16140901064497954809
      ]
    },
    {
      "mask": 16140901064500051963,
      "patterns": [
        2097153,
        2305843009215791104,
        13835058055284260859,
        16140901064497954810
      ]
    },
    {
      "mask": 16140901064500051965,
      "patterns": [
        2305843009215791105,
        4611686018429485056,
        11529215046070566909,
        13835058055284260860
      ]
    },
    {
      "mask": 16140901064500051967,
      "patterns": [
        2097155,
        2305843009215791106,
        4611686018429485057,
        6917529027643179008,
        9223372036856872959,
        11529215046070566910,
        13835058055284260861,
        16140901064497954812
      ]
    },
    {
      "mask": 16140901064504246265,
      "patterns": [
        4194304,
        16140901064500051961
      ]
    },
    {
      "mask": 16140901064504246267,
      "patterns": [
        4194305,
        2305843009217888256,
        13835058055286358011,
        16140901064500051962
      ]
    },
    {
      "mask": 16140901064504246269,
      "patterns": [
        2305843009217888257,
        4611686018431582208,
        11529215046072664061,
        13835058055286358012
      ]
    },
    {
      "mask": 16140901064504246271,
      "patterns": [
        4194307,
        2305843009217888258,
        4611686018431582209,
        6917529027645276160,
        9223372036858970111,
        11529215046072664062,
        13835058055286358013,
        16140901064500051964
      ]
    },
    {
      "mask": 16140901064512634873,
      "patterns": [
        8388608,
        16140901064504246265
      ]
    },
    {
      "mask": 16140901064512634875,
      "patterns": [
        8388609,
        2305843009222082560,
        13835058055290552315,
        16140901064504246266
      ]
    },
    {
      "mask": 16140901064512634877,
      "patterns": [
        2305843009222082561,
        4611686018435776512,
        11529215046076858365,
        13835058055290552316
      ]
    },
    {
      "mask": 16140901064512634879,
      "patterns": [
        8388611,
        2305843009222082562,
        4611686018435776513,
        6917529027649470464,
        9223372036863164415,
        11529215046076858366,
        13835058055290552317,
        16140901064504246268
      ]
    },
    {
      "mask": 16140901064529412089,
      "patterns": [
        16777216,
        16140901064512634873
      ]
    },
    {
      "mask": 16140901064529412091,
      "patterns": [
        16777217,
        2305843009230471168,
        13835058055298940923,
        16140901064512634874
      ]
    },
    {
      "mask": 16140901064529412093,
      "patterns": [
        2305843009230471169,
        4611686018444165120,
        11529215046085246973,
        13835058055298940924
      ]
    },
    {
      "mask": 16140901064529412095,
      "patterns": [
        16777219,
        2305843009230471170,
        4611686018444165121,
        6917529027657859072,
        9223372036871553023,
        11529215046085246974,
        13835058055298940925,
        16140901064512634876
      ]
    },
    {
      "mask": 16140901064562966521,
      "patterns": [
        33554432,
        16140901064529412089
      ]
    },
    {
      "mask": 16140901064562966523,
      "patterns": [
        33554433,
        2305843009247248384,
        13835058055315718139,
        16140901064529412090
      ]
    },
    {
      "mask": 16140901064562966525,
      "patterns": [
        2305843009247248385,
        4611686018460942336,
        11529215046102024189,
        13835058055315718140
      ]
    },
    {
      "mask": 16140901064562966527,
      "patterns": [
        33554435,
        2305843009247248386,
        4611686018460942337,
        6917529027674636288,
        9223372036888330239,
        11529215046102024190,
        13835058055315718141,
        16140901064529412092
      ]
    },
    {
      "mask": 16140901064630075385,
      "patterns": [
        67108864,
        16140901064562966521
      ]
    },
    {
      "mask": 16140901064630075387,
      "patterns": [
        67108865,
        2305843009280802816,
        13835058055349272571,
        16140901064562966522
      ]
    },
    {
      "mask": 16140901064630075389,
      "patterns": [
        2305843009280802817,
        4611686018494496768,
        11529215046135578621,
        13835058055349272572
      ]
    },
    {
      "mask": 16140901064630075391,
      "patterns": [
        67108867,
        2305843009280802818,
        4611686018494496769,
        6917529027708190720,
        9223372036921884671,
        11529215046135578622,
        13835058055349272573,
        16140901064562966524
      ]
    },
    {
      "mask": 16140901064764293113,
      "patterns": [
        134217728,
        16140901064630075385
      ]
    },
    {
      "mask": 16140901064764293115,
      "patterns": [
        134217729,
        2305843009347911680,
        13835058055416381435,
        16140901064630075386
      ]
    },
    {
      "mask": 16140901064764293117,
      "patterns": [
        2305843009347911681,
        4611686018561605632,
        11529215046202687485,
        13835058055416381436
      ]
    },
    {
      "mask": 16140901064764293119,
      "patterns": [
        134217731,
        2305843009347911682,
        4611686018561605633,
        6917529027775299584,
        9223372036988993535,
        11529215046202687486,
        13835058055416381437,
        16140901064630075388
      ]
    },
    {
      "mask": 16140901065032728569,
      "patterns": [
        268435456,
        16140901064764293113
      ]
    },
    {
      "mask": 16140901065032728571,
      "patterns": [
        268435457,
        2305843009482129408,
        13835058055550599163,
        16140901064764293114
      ]
    },
    {
      "mask": 16140901065032728573,
      "patterns": [
        2305843009482129409,
        4611686018695823360,
        11529215046336905213,
        13835058055550599164
      ]
    },
    {
      "mask": 16140901065032728575,
      "patterns": [
        268435459,
        2305843009482129410,
        4611686018695823361,
        6917529027909517312,
        9223372037123211263,
        11529215046336905214,
        13835058055550599165,
        16140901064764293116
      ]
    },
    {
      "mask": 16140901065569599481,
      "patterns": [
        536870912,
        16140901065032728569
      ]
    },
    {
      "mask": 16140901065569599483,
      "patterns": [
        536870913,
        2305843009750564864,
        13835058055819034619,
        16140901065032728570
      ]
    },
    {
      "mask": 16140901065569599485,
      "patterns": [
        2305843009750564865,
        4611686018964258816,
        11529215046605340669,
        13835058055819034620
      ]
    },
    {
      "mask": 16140901065569599487,
      "patterns": [
        536870915,
        2305843009750564866,
        4611686018964258817,
        6917529028177952768,
        9223372037391646719,
        11529215046605340670,
        13835058055819034621,
        16140901065032728572
      ]
    },
    {
      "mask": 16140901066643341305,
      "patterns": [
        1073741824,
        16140901065569599481
      ]
    },
    {
      "mask": 16140901066643341307,
      "patterns": [
        1073741825,
        2305843010287435776,
        13835058056355905531,
        16140901065569599482
      ]
    },
    {
      "mask": 16140901066643341309,
      "patterns": [
        2305843010287435777,
        4611686019501129728,
        11529215047142211581,
        13835058056355905532
      ]
    },
    {
      "mask": 16140901066643341311,
      "patterns": [
        1073741827,
        2305843010287435778,
        4611686019501129729,
        6917529028714823680,
        9223372037928517631,
        11529215047142211582,
        13835058056355905533,
        16140901065569599484
      ]
    },
    {
      "mask": 16140901068790824953,
      "patterns": [
        2147483648,
        16140901066643341305
      ]
    },
    {
      "mask": 16140901068790824955,
      "patterns": [
        2147483649,
        2305843011361177600,
        13835058057429647355,
        16140901066643341306
      ]
    },
    {
      "mask": 16140901068790824957,
      "patterns": [
        2305843011361177601,
        4611686020574871552,
        11529215048215953405,
        13835058057429647356
      ]
    },
    {
      "mask": 16140901068790824959,
      "patterns": [
        2147483651,
        2305843011361177602,
        4611686020574871553,
        6917529029788565504,
        9223372039002259455,
        11529215048215953406,
        13835058057429647357,
        16140901066643341308
      ]
    },
    {
      "mask": 16140901073085792249,
      "patterns": [
        4294967296,
        16140901068790824953
      ]
    },
    {
      "mask": 16140901073085792251,
      "patterns": [
        4294967297,
        2305843013508661248,
        13835058059577131003,
        16140901068790824954
      ]
    },
    {
      "mask": 16140901073085792253,
      "patterns": [
        2305843013508661249,
        4611686022722355200,
        11529215050363437053,
        13835058059577131004
      ]
    },
    {
      "mask": 16140901073085792255,
      "patterns": [
        4294967299,
        2305843013508661250,
        4611686022722355201,
        6917529031936049152,
        9223372041149743103,
        11529215050363437054,
        13835058059577131005,
        16140901068790824956
      ]
    },
    {
      "mask": 16140901081675726841,
      "patterns": [
        8589934592,
        16140901073085792249
      ]
    },
    {
      "mask": 16140901081675726843,
      "patterns": [
        8589934593,
        2305843017803628544,
        13835058063872098299,
        16140901073085792250
      ]
    },
    {
      "mask": 16140901081675726845,
      "patterns": [
        2305843017803628545,
        4611686027017322496,
        11529215054658404349,
        13835058063872098300
      ]
    },
    {
      "mask": 16140901081675726847,
      "patterns": [
        8589934595,
        2305843017803628546,
        4611686027017322497,
        6917529036231016448,
        9223372045444710399,
        11529215054658404350,
        13835058063872098301,
        16140901073085792252
      ]
    },
    {
      "mask": 16140901098855596025,
      "patterns": [
        17179869184,
        16140901081675726841
      ]
    },
    {
      "mask": 16140901098855596027,
      "patterns": [
        17179869185,
        2305843026393563136,
        13835058072462032891,
        16140901081675726842
      ]
    },
    {
      "mask": 16140901098855596029,
      "patterns": [
        2305843026393563137,
        4611686035607257088,
        11529215063248338941,
        13835058072462032892
      ]
    },
    {
      "mask": 16140901098855596031,
      "patterns": [
        17179869187,
        2305843026393563138,
        4611686035607257089,
        6917529044820951040,
        9223372054034644991,
        11529215063248338942,
        13835058072462032893,
        16140901081675726844
      ]
    },
    {
      "mask": 16140901133215334393,
      "patterns": [
        34359738368,
        16140901098855596025
      ]
    },
    {
      "mask": 16140901133215334395,
      "patterns": [
        34359738369,
        2305843043573432320,
        13835058089641902075,
        16140901098855596026
      ]
    },
    {
      "mask": 16140901133215334397,
      "patterns": [
        2305843043573432321,
        4611686052787126272,
        11529215080428208125,
        13835058089641902076
      ]
    },
    {
      "mask": 16140901133215334399,
      "patterns": [
        34359738371,
        2305843043573432322,
        4611686052787126273,
        6917529062000820224,
        9223372071214514175,
        11529215080428208126,
        13835058089641902077,
        16140901098855596028
      ]
    },
    {
      "mask": 16140901201934811129,
      "patterns": [
        68719476736,
        16140901133215334393
      ]
    },
    {
      "mask": 16140901201934811131,
      "patterns": [
        68719476737,
        2305843077933170688,
        13835058124001640443,
        16140901133215334394
      ]
    },
    {
      "mask": 16140901201934811133,
      "patterns": [
        2305843077933170689,
        4611686087146864640,
        11529215114787946493,
        13835058124001640444
      ]
    },
    {
      "mask": 16140901201934811135,
      "patterns": [
        68719476739,
        2305843077933170690,
        4611686087146864641,
        6917529096360558592,
        9223372105574252543,
        11529215114787946494,
        13835058124001640445,
        16140901133215334396
      ]
    },
    {
      "mask": 16140901339373764601,
      "patterns": [
        137438953472,
        16140901201934811129
      ]
    },
    {
      "mask": 16140901339373764603,
      "patterns": [
        137438953473,
        2305843146652647424,
        13835058192721117179,
        16140901201934811130
      ]
    },
    {
      "mask": 16140901339373764605,
      "patterns": [
        2305843146652647425,
        4611686155866341376,
        11529215183507423229,
        13835058192721117180
      ]
    },
    {
      "mask": 16140901339373764607,
      "patterns": [
        137438953475,
        2305843146652647426,
        4611686155866341377,
        6917529165080035328,
        9223372174293729279,
        11529215183507423230,
        13835058192721117181,
        16140901201934811132
      ]
    },
    {
      "mask": 16140901614251671545,
      "patterns": [
        274877906944,
        16140901339373764601
      ]
    },
    {
      "mask": 16140901614251671547,
      "patterns": [
        274877906945,
        2305843284091600896,
        13835058330160070651,
        16140901339373764602
      ]
    },
    {
      "mask": 16140901614251671549,
      "patterns": [
        2305843284091600897,
        4611686293305294848,
        11529215320946376701,
        13835058330160070652
      ]
    },
    {
      "mask": 16140901614251671551,
      "patterns": [
        274877906947,
        2305843284091600898,
        4611686293305294849,
        6917529302518988800,
        9223372311732682751,
        11529215320946376702,
        13835058330160070653,
        16140901339373764604
      ]
    },
    {
      "mask": 16140902164007485433,
      "patterns": [
        549755813888,
        16140901614251671545
      ]
    },
    {
      "mask": 16140902164007485435,
      "patterns": [
        549755813889,
        2305843558969507840,
        13835058605037977595,
        16140901614251671546
      ]
    },
    {
      "mask": 16140902164007485437,
      "patterns": [
        2305843558969507841,
        4611686568183201792,
        11529215595824283645,
        13835058605037977596
      ]
    },
    {
      "mask": 16140902164007485439,
      "patterns": [
        549755813891,
        2305843558969507842,
        4611686568183201793,
        6917529577396895744,
        9223372586610589695,
        11529215595824283646,
        13835058605037977597,
        16140901614251671548
      ]
    },
    {
      "mask": 16140903263519113209,
      "patterns": [
        1099511627776,
        16140902164007485433
      ]
    },
    {
      "mask": 16140903263519113211,
      "patterns": [
        1099511627777,
        2305844108725321728,
        13835059154793791483,
        16140902164007485434
      ]
    },
    {
      "mask": 16140903263519113213,
      "patterns": [
        2305844108725321729,
        4611687117939015680,
        11529216145580097533,
        13835059154793791484
      ]
    },
    {
      "mask": 16140903263519113215,
      "patterns": [
        1099511627779,
        2305844108725321730,
        4611687117939015681,
        6917530127152709632,
        9223373136366403583,
        11529216145580097534,
        13835059154793791485,
        16140902164007485436
      ]
    },
    {
      "mask": 16140905462542368761,
      "patterns": [
        2199023255552,
        16140903263519113209
      ]
    },
    {
      "mask": 16140905462542368763,
      "patterns": [
        2199023255553,
        2305845208236949504,
        13835060254305419259,
        16140903263519113210
      ]
    },
    {
      "mask": 16140905462542368765,
      "patterns": [
        2305845208236949505,
        4611688217450643456,
        11529217245091725309,
        13835060254305419260
      ]
    },
    {
      "mask": 16140905462542368767,
      "patterns": [
        2199023255555,
        2305845208236949506,
        4611688217450643457,
        6917531226664337408,
        9223374235878031359,
        11529217245091725310,
        13835060254305419261,
        16140903263519113212
      ]
    },
    {
      "mask": 16140909860588879865,
      "patterns": [
        4398046511104,
        16140905462542368761
      ]
    },
    {
      "mask": 16140909860588879867,
      "patterns": [
        4398046511105,
        2305847407260205056,
        13835062453328674811,
        16140905462542368762
      ]
    },
    {
      "mask": 16140909860588879869,
      "patterns": [
        2305847407260205057,
        4611690416473899008,
        11529219444114980861,
        13835062453328674812
      ]
    },
    {
      "mask": 16140909860588879871,
      "patterns": [
        4398046511107,
        2305847407260205058,
        4611690416473899009,
        6917533425687592960,
        9223376434901286911,
        11529219444114980862,
        13835062453328674813,
        16140905462542368764
      ]
    },
    {
      "mask": 16140918656681902073,
      "patterns": [
        8796093022208,
        16140909860588879865
      ]
    },
    {
      "mask": 16140918656681902075,
      "patterns": [
        8796093022209,
        2305851805306716160,
        13835066851375185915,
        16140909860588879866
      ]
    },
    {
      "mask": 16140918656681902077,
      "patterns": [
        2305851805306716161,
        4611694814520410112,
        11529223842161491965,
        13835066851375185916
      ]
    },
    {
      "mask": 16140918656681902079,
      "patterns": [
        8796093022211,
        2305851805306716162,
        4611694814520410113,
        6917537823734104064,
        9223380832947798015,
        11529223842161491966,
        13835066851375185917,
        16140909860588879868
      ]
    },
    {
      "mask": 16140936248867946489,
      "patterns": [
        17592186044416,
        16140918656681902073
      ]
    },
    {
      "mask": 16140936248867946491,
      "patterns": [
        17592186044417,
        2305860601399738368,
        13835075647468208123,
        16140918656681902074
      ]
    },
    {
      "mask": 16140936248867946493,
      "patterns": [
        2305860601399738369,
        4611703610613432320,
        11529232638254514173,
        13835075647468208124
      ]
    },
    {
      "mask": 16140936248867946495,
      "patterns": [
        17592186044419,
        2305860601399738370,
        4611703610613432321,
        6917546619827126272,
        9223389629040820223,
        11529232638254514174,
        13835075647468208125,
        16140918656681902076
      ]
    },
    {
      "mask": 16140971433240035321,
      "patterns": [
        35184372088832,
        16140936248867946489
      ]
    },
    {
      "mask": 16140971433240035323,
      "patterns": [
        35184372088833,
        2305878193585782784,
        13835093239654252539,
        16140936248867946490
      ]
    },
    {
      "mask": 16140971433240035325,
      "patterns": [
        2305878193585782785,
        4611721202799476736,
        11529250230440558589,
        13835093239654252540
      ]
    },
    {
      "mask": 16140971433240035327,
      "patterns": [
        35184372088835,
        2305878193585782786,
        4611721202799476737,
        6917564212013170688,
        9223407221226864639,
        11529250230440558590,
        13835093239654252541,
        16140936248867946492
      ]
    },
    {
      "mask": 16141041801984212985,
      "patterns": [
        70368744177664,
        16140971433240035321
      ]
    },
    {
      "mask": 16141041801984212987,
      "patterns": [
        70368744177665,
        2305913377957871616,
        13835128424026341371,
        16140971433240035322
      ]
    },
    {
      "mask": 16141041801984212989,
      "patterns": [
        2305913377957871617,
        4611756387171565568,
        11529285414812647421,
        13835128424026341372
      ]
    },
    {
      "mask": 16141041801984212991,
      "patterns": [
        70368744177667,
        2305913377957871618,
        4611756387171565569,
        6917599396385259520,
        9223442405598953471,
        11529285414812647422,
        13835128424026341373,
        16140971433240035324
      ]
    },
    {
      "mask": 16141182539472568313,
      "patterns": [
        140737488355328,
        16141041801984212985
      ]
    },
    {
      "mask": 16141182539472568315,
      "patterns": [
        140737488355329,
        2305983746702049280,
        13835198792770519035,
        16141041801984212986
      ]
    },
    {
      "mask": 16141182539472568317,
      "patterns": [
        2305983746702049281,
        4611826755915743232,
        11529355783556825085,
        13835198792770519036
      ]
    },
    {
      "mask": 16141182539472568319,
      "patterns": [
        140737488355331,
        2305983746702049282,
        4611826755915743233,
        6917669765129437184,
        9223512774343131135,
        11529355783556825086,
        13835198792770519037,
        16141041801984212988
      ]
    },
    {
      "mask": 16141464014449278969,
      "patterns": [
        281474976710656,
        16141182539472568313
      ]
    },
    {
      "mask": 16141464014449278971,
      "patterns": [
        281474976710657,
        2306124484190404608,
        13835339530258874363,
        16141182539472568314
      ]
    },
    {
      "mask": 16141464014449278973,
      "patterns": [
        2306124484190404609,
        4611967493404098560,
        11529496521045180413,
        13835339530258874364
      ]
    },
    {
      "mask": 16141464014449278975,
      "patterns": [
        281474976710659,
        2306124484190404610,
        4611967493404098561,
        6917810502617792512,
        9223653511831486463,
        11529496521045180414,
        13835339530258874365,
        16141182539472568316
      ]
    },
    {
      "mask": 16142026964402700281,
      "patterns": [
        562949953421312,
        16141464014449278969
      ]
    },
    {
      "mask": 16142026964402700283,
      "patterns": [
        562949953421313,
        2306405959167115264,
        13835621005235585019,
        16141464014449278970
      ]
    },
    {
      "mask": 16142026964402700285,
      "patterns": [
        2306405959167115265,
        4612248968380809216,
        11529777996021891069,
        13835621005235585020
      ]
    },
    {
      "mask": 16142026964402700287,
      "patterns": [
        562949953421315,
        2306405959167115266,
        4612248968380809217,
        6918091977594503168,
        9223934986808197119,
        11529777996021891070,
        13835621005235585021,
        16141464014449278972
      ]
    },
    {
      "mask": 16143152864309542905,
      "patterns": [
        1125899906842624,
        16142026964402700281
      ]
    },
    {
      "mask": 16143152864309542907,
      "patterns": [
        1125899906842625,
        2306968909120536576,
        13836183955189006331,
        16142026964402700282
      ]
    },
    {
      "mask": 16143152864309542909,
      "patterns": [
        2306968909120536577,
        4612811918334230528,
        11530340945975312381,
        13836183955189006332
      ]
    },
    {
      "mask": 16143152864309542911,
      "patterns": [
        1125899906842627,
        2306968909120536578,
        4612811918334230529,
        6918654927547924480,
        9224497936761618431,
        11530340945975312382,
        13836183955189006333,
        16142026964402700284
      ]
    },
    {
      "mask": 16145404664123228153,
      "patterns": [
        2251799813685248,
        16143152864309542905
      ]
    },
    {
      "mask": 16145404664123228155,
      "patterns": [
        2251799813685249,
        2308094809027379200,
        13837309855095848955,
        16143152864309542906
      ]
    },
    {
      "mask": 16145404664123228157,
      "patterns": [
        2308094809027379201,
        4613937818241073152,
        11531466845882155005,
        13837309855095848956
      ]
    },
    {
      "mask": 16145404664123228159,
      "patterns": [
        2251799813685251,
        2308094809027379202,
        4613937818241073153,
        6919780827454767104,
        9225623836668461055,
        11531466845882155006,
        13837309855095848957,
        16143152864309542908
      ]
    },
    {
      "mask": 16149908263750598649,
      "patterns": [
        4503599627370496,
        16145404664123228153
      ]
    },
    {
      "mask": 16149908263750598651,
      "patterns": [
        4503599627370497,
        2310346608841064448,
        13839561654909534203,
        16145404664123228154
      ]
    },
    {
      "mask": 16149908263750598653,
      "patterns": [
        2310346608841064449,
        4616189618054758400,
        11533718645695840253,
        13839561654909534204
      ]
    },
    {
      "mask": 16149908263750598655,
      "patterns": [
        4503599627370499,
        2310346608841064450,
        4616189618054758401,
        6922032627268452352,
        9227875636482146303,
        11533718645695840254,
        13839561654909534205,
        16145404664123228156
      ]
    },
    {
      "mask": 16158915463005339641,
      "patterns": [
        9007199254740992,
        16149908263750598649
      ]
    },
    {
      "mask": 16158915463005339643,
      "patterns": [
        9007199254740993,
        2314850208468434944,
        13844065254536904699,
        16149908263750598650
      ]
    },
    {
      "mask": 16158915463005339645,
      "patterns": [
        2314850208468434945,
        4620693217682128896,
        11538222245323210749,
        13844065254536904700
      ]
    },
    {
      "mask": 16158915463005339647,
      "patterns": [
        9007199254740995,
        2314850208468434946,
        4620693217682128897,
        6926536226895822848,
        9232379236109516799,
        11538222245323210750,
        13844065254536904701,
        16149908263750598652
      ]
    },
    {
      "mask": 16176929861514821625,
      "patterns": [
        18014398509481984,
        16158915463005339641
      ]
    },
    {
      "mask": 16176929861514821627,
      "patterns": [
        18014398509481985,
        2323857407723175936,
        13853072453791645691,
        16158915463005339642
      ]
    },
    {
      "mask": 16176929861514821629,
      "patterns": [
        2323857407723175937,
        4629700416936869888,
        11547229444577951741,
        13853072453791645692
      ]
    },
    {
      "mask": 16176929861514821631,
      "patterns": [
        18014398509481987,
        2323857407723175938,
        4629700416936869889,
        6935543426150563840,
        9241386435364257791,
        11547229444577951742,
        13853072453791645693,
        16158915463005339644
      ]
    },
    {
      "mask": 16212958658533785593,
      "patterns": [
        36028797018963968,
        16176929861514821625
      ]
    },
    {
      "mask": 16212958658533785595,
      "patterns": [
        36028797018963969,
        2341871806232657920,
        13871086852301127675,
        16176929861514821626
      ]
    },
    {
      "mask": 16212958658533785597,
      "patterns": [
        2341871806232657921,
        4647714815446351872,
        11565243843087433725,
        13871086852301127676
      ]
    },
    {
      "mask": 16212958658533785599,
      "patterns": [
        36028797018963971,
        2341871806232657922,
        4647714815446351873,
        6953557824660045824,
        9259400833873739775,
        11565243843087433726,
        13871086852301127677,
        16176929861514821628
      ]
    },
    {
      "mask": 16285016252571713529,
      "patterns": [
        72057594037927936,
        16212958658533785593
      ]
    },
    {
      "mask": 16285016252571713531,
      "patterns": [
        72057594037927937,
        2377900603251621888,
        13907115649320091643,
        16212958658533785594
      ]
    },
    {
      "mask": 16285016252571713533,
      "patterns": [
        2377900603251621889,
        4683743612465315840,
        11601272640106397693,
        13907115649320091644
      ]
    },
    {
      "mask": 16285016252571713535,
      "patterns": [
        72057594037927939,
        2377900603251621890,
        4683743612465315841,
        6989586621679009792,
        9295429630892703743,
        11601272640106397694,
        13907115649320091645,
        16212958658533785596
      ]
    },
    {
      "mask": 16429131440647569401,
      "patterns": [
        144115188075855872,
        16285016252571713529
      ]
    },
    {
      "mask": 16429131440647569403,
      "patterns": [
        144115188075855873,
        2449958197289549824,
        13979173243358019579,
        16285016252571713530
      ]
    },
    {
      "mask": 16429131440647569405,
      "patterns": [
        2449958197289549825,
        4755801206503243776,
        11673330234144325629,
        13979173243358019580
      ]
    },
    {
      "mask": 16429131440647569407,
      "patterns": [
        144115188075855875,
        2449958197289549826,
        4755801206503243777,
        7061644215716937728,
        9367487224930631679,
        11673330234144325630,
        13979173243358019581,
        16285016252571713532
      ]
    },
    {
      "mask": 16717361816799281145,
      "patterns": [
        288230376151711744,
        16429131440647569401
      ]
    },
    {
      "mask": 16717361816799281147,
      "patterns": [
        288230376151711745,
        2594073385365405696,
        14123288431433875451,
        16429131440647569402
      ]
    },
    {
      "mask": 16717361816799281149,
      "patterns": [
        2594073385365405697,
        4899916394579099648,
        11817445422220181501,
        14123288431433875452
      ]
    },
    {
      "mask": 16717361816799281151,
      "patterns": [
        288230376151711747,
        2594073385365405698,
        4899916394579099649,
        7205759403792793600,
        9511602413006487551,
        11817445422220181502,
        14123288431433875453,
        16429131440647569404
      ]
    },
    {
      "mask": 17293822569102704633,
      "patterns": [
        576460752303423488,
        16717361816799281145
      ]
    },
    {
      "mask": 17293822569102704635,
      "patterns": [
        576460752303423489,
        2882303761517117440,
        14411518807585587195,
        16717361816799281146
      ]
    },
    {
      "mask": 17293822569102704637,
      "patterns": [
        2882303761517117441,
        5188146770730811392,
        12105675798371893245,
        14411518807585587196
      ]
    },
    {
      "mask": 17293822569102704639,
      "patterns": [
        576460752303423491,
        2882303761517117442,
        5188146770730811393,
        7493989779944505344,
        9799832789158199295,
        12105675798371893246,
        14411518807585587197,
        16717361816799281148
      ]
    },
    {
      "mask": 18446744073709551608,
      "patterns": [
        0,
        18446744073709551608
      ]
    },
    {
      "mask": 18446744073709551609,
      "patterns": [
        1152921504606846976,
        17293822569102704633
      ]
    },
    {
      "mask": 18446744073709551610,
      "patterns": [
        2305843009213693952,
        16140901064495857658
      ]
    },
    {
      "mask": 18446744073709551611,
      "patterns": [
        1152921504606846977,
        3458764513820540928,
        14987979559889010683,
        17293822569102704634
      ]
    },
    {
      "mask": 18446744073709551612,
      "patterns": [
        4611686018427387904,
        13835058055282163708
      ]
    },
    {
      "mask": 18446744073709551613,
      "patterns": [
        3458764513820540929,
        5764607523034234880,
        12682136550675316733,
        14987979559889010684
      ]
    },
    {
      "mask": 18446744073709551614,
      "patterns": [
        2305843009213693954,
        6917529027641081856,
        11529215046068469758,
        16140901064495857660
      ]
    },
    {
      "mask": 18446744073709551615,
      "patterns": [
        1152921504606846979,
        3458764513820540930,
        5764607523034234881,
        8070450532247928832,
        10376293541461622783,
        12682136550675316734,
        14987979559889010685,
        17293822569102704636
      ]
    }
  ],
  "congruent_ordered_pairs": 147573952589676413000
}