{
  "status": "complete",
  "mode": "replay",
  "dimension": 63,
  "full_domain_size": 9223372036854775808,
  "target_size": 9223372036854775808,
  "sweeps": 2,
  "outputs": [
    {
      "query": {
        "index": 9223372036854775807,
        "direction": "forward"
      },
      "status": "complete",
      "output": 9223372036854775807,
      "cycle_hops": 1,
      "switch_lookups": 126
    },
    {
      "query": {
        "index": 9223372036854775807,
        "direction": "inverse"
      },
      "status": "complete",
      "output": 9223372036854775807,
      "cycle_hops": 1,
      "switch_lookups": 126
    }
  ],
  "work_units": 252,
  "distinct_shared_bits_accessed": 126,
  "trace": [
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 0,
      "pair": 4611686018427387903,
      "bit": 1,
      "before": 9223372036854775807,
      "after": 4611686018427387903
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 1,
      "pair": 2305843009213693951,
      "bit": 1,
      "before": 4611686018427387903,
      "after": 2305843009213693951
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 2,
      "pair": 1152921504606846975,
      "bit": 1,
      "before": 2305843009213693951,
      "after": 1152921504606846975
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 3,
      "pair": 576460752303423487,
      "bit": 1,
      "before": 1152921504606846975,
      "after": 576460752303423487
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 4,
      "pair": 288230376151711743,
      "bit": 1,
      "before": 576460752303423487,
      "after": 288230376151711743
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 5,
      "pair": 144115188075855871,
      "bit": 1,
      "before": 288230376151711743,
      "after": 144115188075855871
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 6,
      "pair": 72057594037927935,
      "bit": 1,
      "before": 144115188075855871,
      "after": 72057594037927935
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 7,
      "pair": 36028797018963967,
      "bit": 1,
      "before": 72057594037927935,
      "after": 36028797018963967
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 8,
      "pair": 18014398509481983,
      "bit": 1,
      "before": 36028797018963967,
      "after": 18014398509481983
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 9,
      "pair": 9007199254740991,
      "bit": 1,
      "before": 18014398509481983,
      "after": 9007199254740991
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 10,
      "pair": 4503599627370495,
      "bit": 1,
      "before": 9007199254740991,
      "after": 4503599627370495
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 11,
      "pair": 2251799813685247,
      "bit": 1,
      "before": 4503599627370495,
      "after": 2251799813685247
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 12,
      "pair": 1125899906842623,
      "bit": 1,
      "before": 2251799813685247,
      "after": 1125899906842623
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 13,
      "pair": 562949953421311,
      "bit": 1,
      "before": 1125899906842623,
      "after": 562949953421311
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 14,
      "pair": 281474976710655,
      "bit": 1,
      "before": 562949953421311,
      "after": 281474976710655
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 15,
      "pair": 140737488355327,
      "bit": 1,
      "before": 281474976710655,
      "after": 140737488355327
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 16,
      "pair": 70368744177663,
      "bit": 1,
      "before": 140737488355327,
      "after": 70368744177663
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 17,
      "pair": 35184372088831,
      "bit": 1,
      "before": 70368744177663,
      "after": 35184372088831
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 18,
      "pair": 17592186044415,
      "bit": 1,
      "before": 35184372088831,
      "after": 17592186044415
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 19,
      "pair": 8796093022207,
      "bit": 1,
      "before": 17592186044415,
      "after": 8796093022207
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 20,
      "pair": 4398046511103,
      "bit": 1,
      "before": 8796093022207,
      "after": 4398046511103
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 21,
      "pair": 2199023255551,
      "bit": 1,
      "before": 4398046511103,
      "after": 2199023255551
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 22,
      "pair": 1099511627775,
      "bit": 1,
      "before": 2199023255551,
      "after": 1099511627775
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 23,
      "pair": 549755813887,
      "bit": 1,
      "before": 1099511627775,
      "after": 549755813887
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 24,
      "pair": 274877906943,
      "bit": 1,
      "before": 549755813887,
      "after": 274877906943
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 25,
      "pair": 137438953471,
      "bit": 1,
      "before": 274877906943,
      "after": 137438953471
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 26,
      "pair": 68719476735,
      "bit": 1,
      "before": 137438953471,
      "after": 68719476735
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 27,
      "pair": 34359738367,
      "bit": 1,
      "before": 68719476735,
      "after": 34359738367
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 28,
      "pair": 17179869183,
      "bit": 1,
      "before": 34359738367,
      "after": 17179869183
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 29,
      "pair": 8589934591,
      "bit": 1,
      "before": 17179869183,
      "after": 8589934591
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 30,
      "pair": 4294967295,
      "bit": 1,
      "before": 8589934591,
      "after": 4294967295
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 31,
      "pair": 2147483647,
      "bit": 1,
      "before": 4294967295,
      "after": 2147483647
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 32,
      "pair": 1073741823,
      "bit": 1,
      "before": 2147483647,
      "after": 1073741823
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 33,
      "pair": 536870911,
      "bit": 1,
      "before": 1073741823,
      "after": 536870911
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 34,
      "pair": 268435455,
      "bit": 1,
      "before": 536870911,
      "after": 268435455
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 35,
      "pair": 134217727,
      "bit": 1,
      "before": 268435455,
      "after": 134217727
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 36,
      "pair": 67108863,
      "bit": 1,
      "before": 134217727,
      "after": 67108863
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 37,
      "pair": 33554431,
      "bit": 1,
      "before": 67108863,
      "after": 33554431
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 38,
      "pair": 16777215,
      "bit": 1,
      "before": 33554431,
      "after": 16777215
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 39,
      "pair": 8388607,
      "bit": 1,
      "before": 16777215,
      "after": 8388607
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 40,
      "pair": 4194303,
      "bit": 1,
      "before": 8388607,
      "after": 4194303
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 41,
      "pair": 2097151,
      "bit": 1,
      "before": 4194303,
      "after": 2097151
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 42,
      "pair": 1048575,
      "bit": 1,
      "before": 2097151,
      "after": 1048575
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 43,
      "pair": 524287,
      "bit": 1,
      "before": 1048575,
      "after": 524287
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 44,
      "pair": 262143,
      "bit": 1,
      "before": 524287,
      "after": 262143
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 45,
      "pair": 131071,
      "bit": 1,
      "before": 262143,
      "after": 131071
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 46,
      "pair": 65535,
      "bit": 1,
      "before": 131071,
      "after": 65535
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 47,
      "pair": 32767,
      "bit": 1,
      "before": 65535,
      "after": 32767
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 48,
      "pair": 16383,
      "bit": 1,
      "before": 32767,
      "after": 16383
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 49,
      "pair": 8191,
      "bit": 1,
      "before": 16383,
      "after": 8191
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 50,
      "pair": 4095,
      "bit": 1,
      "before": 8191,
      "after": 4095
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 51,
      "pair": 2047,
      "bit": 1,
      "before": 4095,
      "after": 2047
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 52,
      "pair": 1023,
      "bit": 1,
      "before": 2047,
      "after": 1023
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 53,
      "pair": 511,
      "bit": 1,
      "before": 1023,
      "after": 511
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 54,
      "pair": 255,
      "bit": 1,
      "before": 511,
      "after": 255
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 55,
      "pair": 127,
      "bit": 1,
      "before": 255,
      "after": 127
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 56,
      "pair": 63,
      "bit": 1,
      "before": 127,
      "after": 63
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 57,
      "pair": 31,
      "bit": 1,
      "before": 63,
      "after": 31
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 58,
      "pair": 15,
      "bit": 1,
      "before": 31,
      "after": 15
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 59,
      "pair": 7,
      "bit": 1,
      "before": 15,
      "after": 7
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 60,
      "pair": 3,
      "bit": 1,
      "before": 7,
      "after": 3
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 61,
      "pair": 1,
      "bit": 1,
      "before": 3,
      "after": 1
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 62,
      "pair": 0,
      "bit": 1,
      "before": 1,
      "after": 0
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 0,
      "pair": 0,
      "bit": 1,
      "before": 0,
      "after": 4611686018427387904
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 1,
      "pair": 2305843009213693952,
      "bit": 1,
      "before": 4611686018427387904,
      "after": 6917529027641081856
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 2,
      "pair": 3458764513820540928,
      "bit": 1,
      "before": 6917529027641081856,
      "after": 8070450532247928832
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 3,
      "pair": 4035225266123964416,
      "bit": 1,
      "before": 8070450532247928832,
      "after": 8646911284551352320
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 4,
      "pair": 4323455642275676160,
      "bit": 1,
      "before": 8646911284551352320,
      "after": 8935141660703064064
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 5,
      "pair": 4467570830351532032,
      "bit": 1,
      "before": 8935141660703064064,
      "after": 9079256848778919936
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 6,
      "pair": 4539628424389459968,
      "bit": 1,
      "before": 9079256848778919936,
      "after": 9151314442816847872
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 7,
      "pair": 4575657221408423936,
      "bit": 1,
      "before": 9151314442816847872,
      "after": 9187343239835811840
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 8,
      "pair": 4593671619917905920,
      "bit": 1,
      "before": 9187343239835811840,
      "after": 9205357638345293824
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 9,
      "pair": 4602678819172646912,
      "bit": 1,
      "before": 9205357638345293824,
      "after": 9214364837600034816
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 10,
      "pair": 4607182418800017408,
      "bit": 1,
      "before": 9214364837600034816,
      "after": 9218868437227405312
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 11,
      "pair": 4609434218613702656,
      "bit": 1,
      "before": 9218868437227405312,
      "after": 9221120237041090560
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 12,
      "pair": 4610560118520545280,
      "bit": 1,
      "before": 9221120237041090560,
      "after": 9222246136947933184
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 13,
      "pair": 4611123068473966592,
      "bit": 1,
      "before": 9222246136947933184,
      "after": 9222809086901354496
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 14,
      "pair": 4611404543450677248,
      "bit": 1,
      "before": 9222809086901354496,
      "after": 9223090561878065152
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 15,
      "pair": 4611545280939032576,
      "bit": 1,
      "before": 9223090561878065152,
      "after": 9223231299366420480
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 16,
      "pair": 4611615649683210240,
      "bit": 1,
      "before": 9223231299366420480,
      "after": 9223301668110598144
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 17,
      "pair": 4611650834055299072,
      "bit": 1,
      "before": 9223301668110598144,
      "after": 9223336852482686976
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 18,
      "pair": 4611668426241343488,
      "bit": 1,
      "before": 9223336852482686976,
      "after": 9223354444668731392
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 19,
      "pair": 4611677222334365696,
      "bit": 1,
      "before": 9223354444668731392,
      "after": 9223363240761753600
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 20,
      "pair": 4611681620380876800,
      "bit": 1,
      "before": 9223363240761753600,
      "after": 9223367638808264704
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 21,
      "pair": 4611683819404132352,
      "bit": 1,
      "before": 9223367638808264704,
      "after": 9223369837831520256
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 22,
      "pair": 4611684918915760128,
      "bit": 1,
      "before": 9223369837831520256,
      "after": 9223370937343148032
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 23,
      "pair": 4611685468671574016,
      "bit": 1,
      "before": 9223370937343148032,
      "after": 9223371487098961920
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 24,
      "pair": 4611685743549480960,
      "bit": 1,
      "before": 9223371487098961920,
      "after": 9223371761976868864
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 25,
      "pair": 4611685880988434432,
      "bit": 1,
      "before": 9223371761976868864,
      "after": 9223371899415822336
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 26,
      "pair": 4611685949707911168,
      "bit": 1,
      "before": 9223371899415822336,
      "after": 9223371968135299072
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 27,
      "pair": 4611685984067649536,
      "bit": 1,
      "before": 9223371968135299072,
      "after": 9223372002495037440
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 28,
      "pair": 4611686001247518720,
      "bit": 1,
      "before": 9223372002495037440,
      "after": 9223372019674906624
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 29,
      "pair": 4611686009837453312,
      "bit": 1,
      "before": 9223372019674906624,
      "after": 9223372028264841216
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 30,
      "pair": 4611686014132420608,
      "bit": 1,
      "before": 9223372028264841216,
      "after": 9223372032559808512
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 31,
      "pair": 4611686016279904256,
      "bit": 1,
      "before": 9223372032559808512,
      "after": 9223372034707292160
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 32,
      "pair": 4611686017353646080,
      "bit": 1,
      "before": 9223372034707292160,
      "after": 9223372035781033984
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 33,
      "pair": 4611686017890516992,
      "bit": 1,
      "before": 9223372035781033984,
      "after": 9223372036317904896
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 34,
      "pair": 4611686018158952448,
      "bit": 1,
      "before": 9223372036317904896,
      "after": 9223372036586340352
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 35,
      "pair": 4611686018293170176,
      "bit": 1,
      "before": 9223372036586340352,
      "after": 9223372036720558080
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 36,
      "pair": 4611686018360279040,
      "bit": 1,
      "before": 9223372036720558080,
      "after": 9223372036787666944
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 37,
      "pair": 4611686018393833472,
      "bit": 1,
      "before": 9223372036787666944,
      "after": 9223372036821221376
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 38,
      "pair": 4611686018410610688,
      "bit": 1,
      "before": 9223372036821221376,
      "after": 9223372036837998592
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 39,
      "pair": 4611686018418999296,
      "bit": 1,
      "before": 9223372036837998592,
      "after": 9223372036846387200
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 40,
      "pair": 4611686018423193600,
      "bit": 1,
      "before": 9223372036846387200,
      "after": 9223372036850581504
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 41,
      "pair": 4611686018425290752,
      "bit": 1,
      "before": 9223372036850581504,
      "after": 9223372036852678656
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 42,
      "pair": 4611686018426339328,
      "bit": 1,
      "before": 9223372036852678656,
      "after": 9223372036853727232
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 43,
      "pair": 4611686018426863616,
      "bit": 1,
      "before": 9223372036853727232,
      "after": 9223372036854251520
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 44,
      "pair": 4611686018427125760,
      "bit": 1,
      "before": 9223372036854251520,
      "after": 9223372036854513664
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 45,
      "pair": 4611686018427256832,
      "bit": 1,
      "before": 9223372036854513664,
      "after": 9223372036854644736
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 46,
      "pair": 4611686018427322368,
      "bit": 1,
      "before": 9223372036854644736,
      "after": 9223372036854710272
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 47,
      "pair": 4611686018427355136,
      "bit": 1,
      "before": 9223372036854710272,
      "after": 9223372036854743040
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 48,
      "pair": 4611686018427371520,
      "bit": 1,
      "before": 9223372036854743040,
      "after": 9223372036854759424
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 49,
      "pair": 4611686018427379712,
      "bit": 1,
      "before": 9223372036854759424,
      "after": 9223372036854767616
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 50,
      "pair": 4611686018427383808,
      "bit": 1,
      "before": 9223372036854767616,
      "after": 9223372036854771712
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 51,
      "pair": 4611686018427385856,
      "bit": 1,
      "before": 9223372036854771712,
      "after": 9223372036854773760
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 52,
      "pair": 4611686018427386880,
      "bit": 1,
      "before": 9223372036854773760,
      "after": 9223372036854774784
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 53,
      "pair": 4611686018427387392,
      "bit": 1,
      "before": 9223372036854774784,
      "after": 9223372036854775296
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 54,
      "pair": 4611686018427387648,
      "bit": 1,
      "before": 9223372036854775296,
      "after": 9223372036854775552
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 55,
      "pair": 4611686018427387776,
      "bit": 1,
      "before": 9223372036854775552,
      "after": 9223372036854775680
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 56,
      "pair": 4611686018427387840,
      "bit": 1,
      "before": 9223372036854775680,
      "after": 9223372036854775744
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 57,
      "pair": 4611686018427387872,
      "bit": 1,
      "before": 9223372036854775744,
      "after": 9223372036854775776
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 58,
      "pair": 4611686018427387888,
      "bit": 1,
      "before": 9223372036854775776,
      "after": 9223372036854775792
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 59,
      "pair": 4611686018427387896,
      "bit": 1,
      "before": 9223372036854775792,
      "after": 9223372036854775800
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 60,
      "pair": 4611686018427387900,
      "bit": 1,
      "before": 9223372036854775800,
      "after": 9223372036854775804
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 61,
      "pair": 4611686018427387902,
      "bit": 1,
      "before": 9223372036854775804,
      "after": 9223372036854775806
    },
    {
      "query": 0,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 62,
      "pair": 4611686018427387903,
      "bit": 1,
      "before": 9223372036854775806,
      "after": 9223372036854775807
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 62,
      "pair": 4611686018427387903,
      "bit": 1,
      "before": 9223372036854775807,
      "after": 9223372036854775806
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 61,
      "pair": 4611686018427387902,
      "bit": 1,
      "before": 9223372036854775806,
      "after": 9223372036854775804
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 60,
      "pair": 4611686018427387900,
      "bit": 1,
      "before": 9223372036854775804,
      "after": 9223372036854775800
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 59,
      "pair": 4611686018427387896,
      "bit": 1,
      "before": 9223372036854775800,
      "after": 9223372036854775792
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 58,
      "pair": 4611686018427387888,
      "bit": 1,
      "before": 9223372036854775792,
      "after": 9223372036854775776
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 57,
      "pair": 4611686018427387872,
      "bit": 1,
      "before": 9223372036854775776,
      "after": 9223372036854775744
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 56,
      "pair": 4611686018427387840,
      "bit": 1,
      "before": 9223372036854775744,
      "after": 9223372036854775680
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 55,
      "pair": 4611686018427387776,
      "bit": 1,
      "before": 9223372036854775680,
      "after": 9223372036854775552
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 54,
      "pair": 4611686018427387648,
      "bit": 1,
      "before": 9223372036854775552,
      "after": 9223372036854775296
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 53,
      "pair": 4611686018427387392,
      "bit": 1,
      "before": 9223372036854775296,
      "after": 9223372036854774784
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 52,
      "pair": 4611686018427386880,
      "bit": 1,
      "before": 9223372036854774784,
      "after": 9223372036854773760
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 51,
      "pair": 4611686018427385856,
      "bit": 1,
      "before": 9223372036854773760,
      "after": 9223372036854771712
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 50,
      "pair": 4611686018427383808,
      "bit": 1,
      "before": 9223372036854771712,
      "after": 9223372036854767616
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 49,
      "pair": 4611686018427379712,
      "bit": 1,
      "before": 9223372036854767616,
      "after": 9223372036854759424
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 48,
      "pair": 4611686018427371520,
      "bit": 1,
      "before": 9223372036854759424,
      "after": 9223372036854743040
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 47,
      "pair": 4611686018427355136,
      "bit": 1,
      "before": 9223372036854743040,
      "after": 9223372036854710272
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 46,
      "pair": 4611686018427322368,
      "bit": 1,
      "before": 9223372036854710272,
      "after": 9223372036854644736
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 45,
      "pair": 4611686018427256832,
      "bit": 1,
      "before": 9223372036854644736,
      "after": 9223372036854513664
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 44,
      "pair": 4611686018427125760,
      "bit": 1,
      "before": 9223372036854513664,
      "after": 9223372036854251520
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 43,
      "pair": 4611686018426863616,
      "bit": 1,
      "before": 9223372036854251520,
      "after": 9223372036853727232
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 42,
      "pair": 4611686018426339328,
      "bit": 1,
      "before": 9223372036853727232,
      "after": 9223372036852678656
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 41,
      "pair": 4611686018425290752,
      "bit": 1,
      "before": 9223372036852678656,
      "after": 9223372036850581504
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 40,
      "pair": 4611686018423193600,
      "bit": 1,
      "before": 9223372036850581504,
      "after": 9223372036846387200
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 39,
      "pair": 4611686018418999296,
      "bit": 1,
      "before": 9223372036846387200,
      "after": 9223372036837998592
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 38,
      "pair": 4611686018410610688,
      "bit": 1,
      "before": 9223372036837998592,
      "after": 9223372036821221376
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 37,
      "pair": 4611686018393833472,
      "bit": 1,
      "before": 9223372036821221376,
      "after": 9223372036787666944
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 36,
      "pair": 4611686018360279040,
      "bit": 1,
      "before": 9223372036787666944,
      "after": 9223372036720558080
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 35,
      "pair": 4611686018293170176,
      "bit": 1,
      "before": 9223372036720558080,
      "after": 9223372036586340352
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 34,
      "pair": 4611686018158952448,
      "bit": 1,
      "before": 9223372036586340352,
      "after": 9223372036317904896
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 33,
      "pair": 4611686017890516992,
      "bit": 1,
      "before": 9223372036317904896,
      "after": 9223372035781033984
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 32,
      "pair": 4611686017353646080,
      "bit": 1,
      "before": 9223372035781033984,
      "after": 9223372034707292160
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 31,
      "pair": 4611686016279904256,
      "bit": 1,
      "before": 9223372034707292160,
      "after": 9223372032559808512
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 30,
      "pair": 4611686014132420608,
      "bit": 1,
      "before": 9223372032559808512,
      "after": 9223372028264841216
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 29,
      "pair": 4611686009837453312,
      "bit": 1,
      "before": 9223372028264841216,
      "after": 9223372019674906624
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 28,
      "pair": 4611686001247518720,
      "bit": 1,
      "before": 9223372019674906624,
      "after": 9223372002495037440
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 27,
      "pair": 4611685984067649536,
      "bit": 1,
      "before": 9223372002495037440,
      "after": 9223371968135299072
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 26,
      "pair": 4611685949707911168,
      "bit": 1,
      "before": 9223371968135299072,
      "after": 9223371899415822336
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 25,
      "pair": 4611685880988434432,
      "bit": 1,
      "before": 9223371899415822336,
      "after": 9223371761976868864
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 24,
      "pair": 4611685743549480960,
      "bit": 1,
      "before": 9223371761976868864,
      "after": 9223371487098961920
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 23,
      "pair": 4611685468671574016,
      "bit": 1,
      "before": 9223371487098961920,
      "after": 9223370937343148032
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 22,
      "pair": 4611684918915760128,
      "bit": 1,
      "before": 9223370937343148032,
      "after": 9223369837831520256
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 21,
      "pair": 4611683819404132352,
      "bit": 1,
      "before": 9223369837831520256,
      "after": 9223367638808264704
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 20,
      "pair": 4611681620380876800,
      "bit": 1,
      "before": 9223367638808264704,
      "after": 9223363240761753600
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 19,
      "pair": 4611677222334365696,
      "bit": 1,
      "before": 9223363240761753600,
      "after": 9223354444668731392
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 18,
      "pair": 4611668426241343488,
      "bit": 1,
      "before": 9223354444668731392,
      "after": 9223336852482686976
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 17,
      "pair": 4611650834055299072,
      "bit": 1,
      "before": 9223336852482686976,
      "after": 9223301668110598144
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 16,
      "pair": 4611615649683210240,
      "bit": 1,
      "before": 9223301668110598144,
      "after": 9223231299366420480
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 15,
      "pair": 4611545280939032576,
      "bit": 1,
      "before": 9223231299366420480,
      "after": 9223090561878065152
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 14,
      "pair": 4611404543450677248,
      "bit": 1,
      "before": 9223090561878065152,
      "after": 9222809086901354496
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 13,
      "pair": 4611123068473966592,
      "bit": 1,
      "before": 9222809086901354496,
      "after": 9222246136947933184
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 12,
      "pair": 4610560118520545280,
      "bit": 1,
      "before": 9222246136947933184,
      "after": 9221120237041090560
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 11,
      "pair": 4609434218613702656,
      "bit": 1,
      "before": 9221120237041090560,
      "after": 9218868437227405312
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 10,
      "pair": 4607182418800017408,
      "bit": 1,
      "before": 9218868437227405312,
      "after": 9214364837600034816
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 9,
      "pair": 4602678819172646912,
      "bit": 1,
      "before": 9214364837600034816,
      "after": 9205357638345293824
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 8,
      "pair": 4593671619917905920,
      "bit": 1,
      "before": 9205357638345293824,
      "after": 9187343239835811840
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 7,
      "pair": 4575657221408423936,
      "bit": 1,
      "before": 9187343239835811840,
      "after": 9151314442816847872
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 6,
      "pair": 4539628424389459968,
      "bit": 1,
      "before": 9151314442816847872,
      "after": 9079256848778919936
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 5,
      "pair": 4467570830351532032,
      "bit": 1,
      "before": 9079256848778919936,
      "after": 8935141660703064064
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 4,
      "pair": 4323455642275676160,
      "bit": 1,
      "before": 8935141660703064064,
      "after": 8646911284551352320
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 3,
      "pair": 4035225266123964416,
      "bit": 1,
      "before": 8646911284551352320,
      "after": 8070450532247928832
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 2,
      "pair": 3458764513820540928,
      "bit": 1,
      "before": 8070450532247928832,
      "after": 6917529027641081856
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 1,
      "pair": 2305843009213693952,
      "bit": 1,
      "before": 6917529027641081856,
      "after": 4611686018427387904
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 1,
      "coordinate": 0,
      "pair": 0,
      "bit": 1,
      "before": 4611686018427387904,
      "after": 0
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 62,
      "pair": 0,
      "bit": 1,
      "before": 0,
      "after": 1
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 61,
      "pair": 1,
      "bit": 1,
      "before": 1,
      "after": 3
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 60,
      "pair": 3,
      "bit": 1,
      "before": 3,
      "after": 7
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 59,
      "pair": 7,
      "bit": 1,
      "before": 7,
      "after": 15
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 58,
      "pair": 15,
      "bit": 1,
      "before": 15,
      "after": 31
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 57,
      "pair": 31,
      "bit": 1,
      "before": 31,
      "after": 63
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 56,
      "pair": 63,
      "bit": 1,
      "before": 63,
      "after": 127
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 55,
      "pair": 127,
      "bit": 1,
      "before": 127,
      "after": 255
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 54,
      "pair": 255,
      "bit": 1,
      "before": 255,
      "after": 511
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 53,
      "pair": 511,
      "bit": 1,
      "before": 511,
      "after": 1023
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 52,
      "pair": 1023,
      "bit": 1,
      "before": 1023,
      "after": 2047
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 51,
      "pair": 2047,
      "bit": 1,
      "before": 2047,
      "after": 4095
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 50,
      "pair": 4095,
      "bit": 1,
      "before": 4095,
      "after": 8191
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 49,
      "pair": 8191,
      "bit": 1,
      "before": 8191,
      "after": 16383
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 48,
      "pair": 16383,
      "bit": 1,
      "before": 16383,
      "after": 32767
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 47,
      "pair": 32767,
      "bit": 1,
      "before": 32767,
      "after": 65535
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 46,
      "pair": 65535,
      "bit": 1,
      "before": 65535,
      "after": 131071
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 45,
      "pair": 131071,
      "bit": 1,
      "before": 131071,
      "after": 262143
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 44,
      "pair": 262143,
      "bit": 1,
      "before": 262143,
      "after": 524287
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 43,
      "pair": 524287,
      "bit": 1,
      "before": 524287,
      "after": 1048575
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 42,
      "pair": 1048575,
      "bit": 1,
      "before": 1048575,
      "after": 2097151
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 41,
      "pair": 2097151,
      "bit": 1,
      "before": 2097151,
      "after": 4194303
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 40,
      "pair": 4194303,
      "bit": 1,
      "before": 4194303,
      "after": 8388607
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 39,
      "pair": 8388607,
      "bit": 1,
      "before": 8388607,
      "after": 16777215
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 38,
      "pair": 16777215,
      "bit": 1,
      "before": 16777215,
      "after": 33554431
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 37,
      "pair": 33554431,
      "bit": 1,
      "before": 33554431,
      "after": 67108863
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 36,
      "pair": 67108863,
      "bit": 1,
      "before": 67108863,
      "after": 134217727
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 35,
      "pair": 134217727,
      "bit": 1,
      "before": 134217727,
      "after": 268435455
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 34,
      "pair": 268435455,
      "bit": 1,
      "before": 268435455,
      "after": 536870911
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 33,
      "pair": 536870911,
      "bit": 1,
      "before": 536870911,
      "after": 1073741823
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 32,
      "pair": 1073741823,
      "bit": 1,
      "before": 1073741823,
      "after": 2147483647
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 31,
      "pair": 2147483647,
      "bit": 1,
      "before": 2147483647,
      "after": 4294967295
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 30,
      "pair": 4294967295,
      "bit": 1,
      "before": 4294967295,
      "after": 8589934591
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 29,
      "pair": 8589934591,
      "bit": 1,
      "before": 8589934591,
      "after": 17179869183
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 28,
      "pair": 17179869183,
      "bit": 1,
      "before": 17179869183,
      "after": 34359738367
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 27,
      "pair": 34359738367,
      "bit": 1,
      "before": 34359738367,
      "after": 68719476735
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 26,
      "pair": 68719476735,
      "bit": 1,
      "before": 68719476735,
      "after": 137438953471
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 25,
      "pair": 137438953471,
      "bit": 1,
      "before": 137438953471,
      "after": 274877906943
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 24,
      "pair": 274877906943,
      "bit": 1,
      "before": 274877906943,
      "after": 549755813887
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 23,
      "pair": 549755813887,
      "bit": 1,
      "before": 549755813887,
      "after": 1099511627775
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 22,
      "pair": 1099511627775,
      "bit": 1,
      "before": 1099511627775,
      "after": 2199023255551
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 21,
      "pair": 2199023255551,
      "bit": 1,
      "before": 2199023255551,
      "after": 4398046511103
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 20,
      "pair": 4398046511103,
      "bit": 1,
      "before": 4398046511103,
      "after": 8796093022207
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 19,
      "pair": 8796093022207,
      "bit": 1,
      "before": 8796093022207,
      "after": 17592186044415
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 18,
      "pair": 17592186044415,
      "bit": 1,
      "before": 17592186044415,
      "after": 35184372088831
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 17,
      "pair": 35184372088831,
      "bit": 1,
      "before": 35184372088831,
      "after": 70368744177663
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 16,
      "pair": 70368744177663,
      "bit": 1,
      "before": 70368744177663,
      "after": 140737488355327
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 15,
      "pair": 140737488355327,
      "bit": 1,
      "before": 140737488355327,
      "after": 281474976710655
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 14,
      "pair": 281474976710655,
      "bit": 1,
      "before": 281474976710655,
      "after": 562949953421311
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 13,
      "pair": 562949953421311,
      "bit": 1,
      "before": 562949953421311,
      "after": 1125899906842623
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 12,
      "pair": 1125899906842623,
      "bit": 1,
      "before": 1125899906842623,
      "after": 2251799813685247
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 11,
      "pair": 2251799813685247,
      "bit": 1,
      "before": 2251799813685247,
      "after": 4503599627370495
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 10,
      "pair": 4503599627370495,
      "bit": 1,
      "before": 4503599627370495,
      "after": 9007199254740991
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 9,
      "pair": 9007199254740991,
      "bit": 1,
      "before": 9007199254740991,
      "after": 18014398509481983
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 8,
      "pair": 18014398509481983,
      "bit": 1,
      "before": 18014398509481983,
      "after": 36028797018963967
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 7,
      "pair": 36028797018963967,
      "bit": 1,
      "before": 36028797018963967,
      "after": 72057594037927935
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 6,
      "pair": 72057594037927935,
      "bit": 1,
      "before": 72057594037927935,
      "after": 144115188075855871
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 5,
      "pair": 144115188075855871,
      "bit": 1,
      "before": 144115188075855871,
      "after": 288230376151711743
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 4,
      "pair": 288230376151711743,
      "bit": 1,
      "before": 288230376151711743,
      "after": 576460752303423487
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 3,
      "pair": 576460752303423487,
      "bit": 1,
      "before": 576460752303423487,
      "after": 1152921504606846975
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 2,
      "pair": 1152921504606846975,
      "bit": 1,
      "before": 1152921504606846975,
      "after": 2305843009213693951
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 1,
      "pair": 2305843009213693951,
      "bit": 1,
      "before": 2305843009213693951,
      "after": 4611686018427387903
    },
    {
      "query": 1,
      "cycle_hop": 1,
      "sweep": 0,
      "coordinate": 0,
      "pair": 4611686018427387903,
      "bit": 1,
      "before": 4611686018427387903,
      "after": 9223372036854775807
    }
  ],
  "trace_records_omitted": 0,
  "one_full_domain_query_lookup_count": 126,
  "cycle_restriction_worst_case_full_permutation_calls": 1,
  "input_randomness": "Explicit deterministic bit values; independent fair-bit distribution not established",
  "storage_model": "Sparse supplied bit map and bounded query traces; no full permutation table constructed",
  "interpretation": "Forward/inverse replay with one immutable bit per shared switch. Cycle restriction is a conventional additional construction and can require many full-domain calls. Missing bits and budget failures remain unknown; no approximate-uniform or cryptographic guarantee is granted.",
  "input_record_sha256": "efd2259b45e7840a76236088c9d8915dcac1fe9ad82909d027bfead7b87ea09a",
  "source_connection": {
    "family": "238",
    "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
    "source_proof_verification": "not_run"
  },
  "formal_program_verification": "not_run",
  "limits": {
    "work_budget": 4000000,
    "exact_law_states": 50000,
    "replay_trace_records": 5000,
    "wall_time_deadline": "none"
  }
}