Public Git Hosting - boost.git/tree - Boost_1_39_0/libs/graph/test/planar_input

drwxr-xr-x		..
-rw-r--r--	75	nonplanar_K_3_3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	9898	nonplanar_K_3_3_1000_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	9898	nonplanar_K_3_3_1000_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	9899	nonplanar_K_3_3_1000_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	9898	nonplanar_K_3_3_1000_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	9898	nonplanar_K_3_3_1000_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	9899	nonplanar_K_3_3_1000_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	9899	nonplanar_K_3_3_1000_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	9899	nonplanar_K_3_3_1000_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	9897	nonplanar_K_3_3_1000_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	9898	nonplanar_K_3_3_1000_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	139	nonplanar_K_3_3_e_10.dimacs	blob \| blame \| history \| raw
-rw-r--r--	873	nonplanar_K_3_3_e_100.dimacs	blob \| blame \| history \| raw
-rw-r--r--	9887	nonplanar_K_3_3_e_1000.dimacs	blob \| blame \| history \| raw
-rw-r--r--	879	nonplanar_K_3_3_e_100_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	880	nonplanar_K_3_3_e_100_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	877	nonplanar_K_3_3_e_100_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	877	nonplanar_K_3_3_e_100_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	879	nonplanar_K_3_3_e_100_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	879	nonplanar_K_3_3_e_100_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	877	nonplanar_K_3_3_e_100_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	880	nonplanar_K_3_3_e_100_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	880	nonplanar_K_3_3_e_100_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	880	nonplanar_K_3_3_e_100_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	141	nonplanar_K_3_3_e_10_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	142	nonplanar_K_3_3_e_10_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	141	nonplanar_K_3_3_e_10_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	142	nonplanar_K_3_3_e_10_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	142	nonplanar_K_3_3_e_10_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	140	nonplanar_K_3_3_e_10_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	143	nonplanar_K_3_3_e_10_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	140	nonplanar_K_3_3_e_10_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	142	nonplanar_K_3_3_e_10_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	142	nonplanar_K_3_3_e_10_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	147	nonplanar_K_3_3_e_11.dimacs	blob \| blame \| history \| raw
-rw-r--r--	151	nonplanar_K_3_3_e_11_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	149	nonplanar_K_3_3_e_11_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	149	nonplanar_K_3_3_e_11_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	150	nonplanar_K_3_3_e_11_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	149	nonplanar_K_3_3_e_11_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	149	nonplanar_K_3_3_e_11_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	149	nonplanar_K_3_3_e_11_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	150	nonplanar_K_3_3_e_11_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	152	nonplanar_K_3_3_e_11_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	149	nonplanar_K_3_3_e_11_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	155	nonplanar_K_3_3_e_12.dimacs	blob \| blame \| history \| raw
-rw-r--r--	158	nonplanar_K_3_3_e_12_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	nonplanar_K_3_3_e_12_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	158	nonplanar_K_3_3_e_12_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	nonplanar_K_3_3_e_12_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	158	nonplanar_K_3_3_e_12_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	nonplanar_K_3_3_e_12_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	158	nonplanar_K_3_3_e_12_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	156	nonplanar_K_3_3_e_12_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	nonplanar_K_3_3_e_12_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	nonplanar_K_3_3_e_12_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_K_3_3_e_13.dimacs	blob \| blame \| history \| raw
-rw-r--r--	166	nonplanar_K_3_3_e_13_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	166	nonplanar_K_3_3_e_13_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	165	nonplanar_K_3_3_e_13_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	165	nonplanar_K_3_3_e_13_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	166	nonplanar_K_3_3_e_13_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	166	nonplanar_K_3_3_e_13_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	164	nonplanar_K_3_3_e_13_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	168	nonplanar_K_3_3_e_13_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	165	nonplanar_K_3_3_e_13_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	166	nonplanar_K_3_3_e_13_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	171	nonplanar_K_3_3_e_14.dimacs	blob \| blame \| history \| raw
-rw-r--r--	175	nonplanar_K_3_3_e_14_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	174	nonplanar_K_3_3_e_14_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	175	nonplanar_K_3_3_e_14_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	175	nonplanar_K_3_3_e_14_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	175	nonplanar_K_3_3_e_14_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	176	nonplanar_K_3_3_e_14_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	173	nonplanar_K_3_3_e_14_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	173	nonplanar_K_3_3_e_14_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	175	nonplanar_K_3_3_e_14_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	177	nonplanar_K_3_3_e_14_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	179	nonplanar_K_3_3_e_15.dimacs	blob \| blame \| history \| raw
-rw-r--r--	183	nonplanar_K_3_3_e_15_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	183	nonplanar_K_3_3_e_15_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	180	nonplanar_K_3_3_e_15_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	181	nonplanar_K_3_3_e_15_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	184	nonplanar_K_3_3_e_15_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	181	nonplanar_K_3_3_e_15_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	183	nonplanar_K_3_3_e_15_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	182	nonplanar_K_3_3_e_15_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	184	nonplanar_K_3_3_e_15_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	181	nonplanar_K_3_3_e_15_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	187	nonplanar_K_3_3_e_16.dimacs	blob \| blame \| history \| raw
-rw-r--r--	189	nonplanar_K_3_3_e_16_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	190	nonplanar_K_3_3_e_16_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	192	nonplanar_K_3_3_e_16_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	189	nonplanar_K_3_3_e_16_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	190	nonplanar_K_3_3_e_16_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	191	nonplanar_K_3_3_e_16_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	191	nonplanar_K_3_3_e_16_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	190	nonplanar_K_3_3_e_16_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	192	nonplanar_K_3_3_e_16_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	191	nonplanar_K_3_3_e_16_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	195	nonplanar_K_3_3_e_17.dimacs	blob \| blame \| history \| raw
-rw-r--r--	197	nonplanar_K_3_3_e_17_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	198	nonplanar_K_3_3_e_17_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	197	nonplanar_K_3_3_e_17_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	199	nonplanar_K_3_3_e_17_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	198	nonplanar_K_3_3_e_17_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	199	nonplanar_K_3_3_e_17_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	198	nonplanar_K_3_3_e_17_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	197	nonplanar_K_3_3_e_17_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	199	nonplanar_K_3_3_e_17_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	199	nonplanar_K_3_3_e_17_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	203	nonplanar_K_3_3_e_18.dimacs	blob \| blame \| history \| raw
-rw-r--r--	206	nonplanar_K_3_3_e_18_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	208	nonplanar_K_3_3_e_18_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	207	nonplanar_K_3_3_e_18_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	208	nonplanar_K_3_3_e_18_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	205	nonplanar_K_3_3_e_18_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	205	nonplanar_K_3_3_e_18_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	207	nonplanar_K_3_3_e_18_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	205	nonplanar_K_3_3_e_18_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	206	nonplanar_K_3_3_e_18_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	205	nonplanar_K_3_3_e_18_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	211	nonplanar_K_3_3_e_19.dimacs	blob \| blame \| history \| raw
-rw-r--r--	214	nonplanar_K_3_3_e_19_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	215	nonplanar_K_3_3_e_19_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	214	nonplanar_K_3_3_e_19_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	213	nonplanar_K_3_3_e_19_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	216	nonplanar_K_3_3_e_19_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	213	nonplanar_K_3_3_e_19_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	214	nonplanar_K_3_3_e_19_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	214	nonplanar_K_3_3_e_19_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	215	nonplanar_K_3_3_e_19_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	215	nonplanar_K_3_3_e_19_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	219	nonplanar_K_3_3_e_20.dimacs	blob \| blame \| history \| raw
-rw-r--r--	222	nonplanar_K_3_3_e_20_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	222	nonplanar_K_3_3_e_20_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	223	nonplanar_K_3_3_e_20_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	223	nonplanar_K_3_3_e_20_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	220	nonplanar_K_3_3_e_20_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	222	nonplanar_K_3_3_e_20_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	224	nonplanar_K_3_3_e_20_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	223	nonplanar_K_3_3_e_20_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	223	nonplanar_K_3_3_e_20_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	223	nonplanar_K_3_3_e_20_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	299	nonplanar_K_3_3_e_30.dimacs	blob \| blame \| history \| raw
-rw-r--r--	303	nonplanar_K_3_3_e_30_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	304	nonplanar_K_3_3_e_30_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	304	nonplanar_K_3_3_e_30_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	304	nonplanar_K_3_3_e_30_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	305	nonplanar_K_3_3_e_30_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	302	nonplanar_K_3_3_e_30_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	303	nonplanar_K_3_3_e_30_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	303	nonplanar_K_3_3_e_30_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	302	nonplanar_K_3_3_e_30_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	302	nonplanar_K_3_3_e_30_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	379	nonplanar_K_3_3_e_40.dimacs	blob \| blame \| history \| raw
-rw-r--r--	383	nonplanar_K_3_3_e_40_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	384	nonplanar_K_3_3_e_40_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	382	nonplanar_K_3_3_e_40_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	382	nonplanar_K_3_3_e_40_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	384	nonplanar_K_3_3_e_40_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	385	nonplanar_K_3_3_e_40_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	384	nonplanar_K_3_3_e_40_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	383	nonplanar_K_3_3_e_40_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	384	nonplanar_K_3_3_e_40_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	383	nonplanar_K_3_3_e_40_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	459	nonplanar_K_3_3_e_50.dimacs	blob \| blame \| history \| raw
-rw-r--r--	464	nonplanar_K_3_3_e_50_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	465	nonplanar_K_3_3_e_50_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	463	nonplanar_K_3_3_e_50_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	463	nonplanar_K_3_3_e_50_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	464	nonplanar_K_3_3_e_50_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	464	nonplanar_K_3_3_e_50_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	464	nonplanar_K_3_3_e_50_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	464	nonplanar_K_3_3_e_50_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	465	nonplanar_K_3_3_e_50_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	462	nonplanar_K_3_3_e_50_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	115	nonplanar_K_3_3_e_7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	117	nonplanar_K_3_3_e_7_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	116	nonplanar_K_3_3_e_7_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	116	nonplanar_K_3_3_e_7_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	116	nonplanar_K_3_3_e_7_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	117	nonplanar_K_3_3_e_7_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	116	nonplanar_K_3_3_e_7_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	117	nonplanar_K_3_3_e_7_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	116	nonplanar_K_3_3_e_7_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	116	nonplanar_K_3_3_e_7_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	117	nonplanar_K_3_3_e_7_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	123	nonplanar_K_3_3_e_8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	123	nonplanar_K_3_3_e_8_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	126	nonplanar_K_3_3_e_8_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	124	nonplanar_K_3_3_e_8_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	125	nonplanar_K_3_3_e_8_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	125	nonplanar_K_3_3_e_8_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	125	nonplanar_K_3_3_e_8_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	125	nonplanar_K_3_3_e_8_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	125	nonplanar_K_3_3_e_8_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	124	nonplanar_K_3_3_e_8_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	124	nonplanar_K_3_3_e_8_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	131	nonplanar_K_3_3_e_9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	132	nonplanar_K_3_3_e_9_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	132	nonplanar_K_3_3_e_9_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	132	nonplanar_K_3_3_e_9_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	134	nonplanar_K_3_3_e_9_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	131	nonplanar_K_3_3_e_9_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	132	nonplanar_K_3_3_e_9_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	133	nonplanar_K_3_3_e_9_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	133	nonplanar_K_3_3_e_9_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	132	nonplanar_K_3_3_e_9_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	132	nonplanar_K_3_3_e_9_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	nonplanar_K_3_3_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	nonplanar_K_3_3_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	nonplanar_K_3_3_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	nonplanar_K_3_3_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	nonplanar_K_3_3_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	nonplanar_K_3_3_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	nonplanar_K_3_3_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	nonplanar_K_3_3_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	nonplanar_K_3_3_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	nonplanar_K_3_3_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	93	nonplanar_K_5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	143	nonplanar_K_5_e_10.dimacs	blob \| blame \| history \| raw
-rw-r--r--	875	nonplanar_K_5_e_100.dimacs	blob \| blame \| history \| raw
-rw-r--r--	887	nonplanar_K_5_e_100_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	887	nonplanar_K_5_e_100_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	885	nonplanar_K_5_e_100_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	885	nonplanar_K_5_e_100_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	885	nonplanar_K_5_e_100_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	883	nonplanar_K_5_e_100_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	885	nonplanar_K_5_e_100_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	885	nonplanar_K_5_e_100_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	881	nonplanar_K_5_e_100_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	883	nonplanar_K_5_e_100_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	149	nonplanar_K_5_e_10_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	147	nonplanar_K_5_e_10_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	151	nonplanar_K_5_e_10_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	145	nonplanar_K_5_e_10_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	147	nonplanar_K_5_e_10_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	149	nonplanar_K_5_e_10_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	145	nonplanar_K_5_e_10_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	145	nonplanar_K_5_e_10_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	149	nonplanar_K_5_e_10_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	149	nonplanar_K_5_e_10_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	151	nonplanar_K_5_e_11.dimacs	blob \| blame \| history \| raw
-rw-r--r--	155	nonplanar_K_5_e_11_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	nonplanar_K_5_e_11_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	151	nonplanar_K_5_e_11_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	nonplanar_K_5_e_11_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	155	nonplanar_K_5_e_11_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	155	nonplanar_K_5_e_11_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	155	nonplanar_K_5_e_11_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	155	nonplanar_K_5_e_11_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	153	nonplanar_K_5_e_11_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	155	nonplanar_K_5_e_11_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	159	nonplanar_K_5_e_12.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_K_5_e_12_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_K_5_e_12_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_K_5_e_12_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	161	nonplanar_K_5_e_12_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	161	nonplanar_K_5_e_12_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_K_5_e_12_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	161	nonplanar_K_5_e_12_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	165	nonplanar_K_5_e_12_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	167	nonplanar_K_5_e_12_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_K_5_e_12_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	167	nonplanar_K_5_e_13.dimacs	blob \| blame \| history \| raw
-rw-r--r--	171	nonplanar_K_5_e_13_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	171	nonplanar_K_5_e_13_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	171	nonplanar_K_5_e_13_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	171	nonplanar_K_5_e_13_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	169	nonplanar_K_5_e_13_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	171	nonplanar_K_5_e_13_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	169	nonplanar_K_5_e_13_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	173	nonplanar_K_5_e_13_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	175	nonplanar_K_5_e_13_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	173	nonplanar_K_5_e_13_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	175	nonplanar_K_5_e_14.dimacs	blob \| blame \| history \| raw
-rw-r--r--	177	nonplanar_K_5_e_14_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	179	nonplanar_K_5_e_14_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	179	nonplanar_K_5_e_14_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	183	nonplanar_K_5_e_14_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	179	nonplanar_K_5_e_14_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	181	nonplanar_K_5_e_14_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	181	nonplanar_K_5_e_14_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	181	nonplanar_K_5_e_14_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	181	nonplanar_K_5_e_14_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	179	nonplanar_K_5_e_14_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	183	nonplanar_K_5_e_15.dimacs	blob \| blame \| history \| raw
-rw-r--r--	187	nonplanar_K_5_e_15_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	189	nonplanar_K_5_e_15_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	189	nonplanar_K_5_e_15_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	191	nonplanar_K_5_e_15_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	189	nonplanar_K_5_e_15_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	189	nonplanar_K_5_e_15_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	193	nonplanar_K_5_e_15_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	187	nonplanar_K_5_e_15_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	189	nonplanar_K_5_e_15_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	185	nonplanar_K_5_e_15_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	191	nonplanar_K_5_e_16.dimacs	blob \| blame \| history \| raw
-rw-r--r--	195	nonplanar_K_5_e_16_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	199	nonplanar_K_5_e_16_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	197	nonplanar_K_5_e_16_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	195	nonplanar_K_5_e_16_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	195	nonplanar_K_5_e_16_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	197	nonplanar_K_5_e_16_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	195	nonplanar_K_5_e_16_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	195	nonplanar_K_5_e_16_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	197	nonplanar_K_5_e_16_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	197	nonplanar_K_5_e_16_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	199	nonplanar_K_5_e_17.dimacs	blob \| blame \| history \| raw
-rw-r--r--	207	nonplanar_K_5_e_17_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	207	nonplanar_K_5_e_17_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	205	nonplanar_K_5_e_17_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	201	nonplanar_K_5_e_17_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	207	nonplanar_K_5_e_17_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	205	nonplanar_K_5_e_17_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	203	nonplanar_K_5_e_17_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	205	nonplanar_K_5_e_17_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	201	nonplanar_K_5_e_17_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	205	nonplanar_K_5_e_17_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	207	nonplanar_K_5_e_18.dimacs	blob \| blame \| history \| raw
-rw-r--r--	213	nonplanar_K_5_e_18_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	213	nonplanar_K_5_e_18_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	211	nonplanar_K_5_e_18_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	215	nonplanar_K_5_e_18_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	213	nonplanar_K_5_e_18_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	215	nonplanar_K_5_e_18_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	215	nonplanar_K_5_e_18_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	211	nonplanar_K_5_e_18_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	209	nonplanar_K_5_e_18_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	211	nonplanar_K_5_e_18_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	215	nonplanar_K_5_e_19.dimacs	blob \| blame \| history \| raw
-rw-r--r--	223	nonplanar_K_5_e_19_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	223	nonplanar_K_5_e_19_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	221	nonplanar_K_5_e_19_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	221	nonplanar_K_5_e_19_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	221	nonplanar_K_5_e_19_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	225	nonplanar_K_5_e_19_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	219	nonplanar_K_5_e_19_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	217	nonplanar_K_5_e_19_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	219	nonplanar_K_5_e_19_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	219	nonplanar_K_5_e_19_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	223	nonplanar_K_5_e_20.dimacs	blob \| blame \| history \| raw
-rw-r--r--	225	nonplanar_K_5_e_20_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	225	nonplanar_K_5_e_20_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	229	nonplanar_K_5_e_20_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	227	nonplanar_K_5_e_20_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	nonplanar_K_5_e_20_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	227	nonplanar_K_5_e_20_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	229	nonplanar_K_5_e_20_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	227	nonplanar_K_5_e_20_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	227	nonplanar_K_5_e_20_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	nonplanar_K_5_e_20_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	303	nonplanar_K_5_e_30.dimacs	blob \| blame \| history \| raw
-rw-r--r--	309	nonplanar_K_5_e_30_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	309	nonplanar_K_5_e_30_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	311	nonplanar_K_5_e_30_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	309	nonplanar_K_5_e_30_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	311	nonplanar_K_5_e_30_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	313	nonplanar_K_5_e_30_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	309	nonplanar_K_5_e_30_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	311	nonplanar_K_5_e_30_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	311	nonplanar_K_5_e_30_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	307	nonplanar_K_5_e_30_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	383	nonplanar_K_5_e_40.dimacs	blob \| blame \| history \| raw
-rw-r--r--	391	nonplanar_K_5_e_40_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	389	nonplanar_K_5_e_40_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	389	nonplanar_K_5_e_40_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	391	nonplanar_K_5_e_40_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	391	nonplanar_K_5_e_40_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	393	nonplanar_K_5_e_40_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	393	nonplanar_K_5_e_40_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	391	nonplanar_K_5_e_40_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	393	nonplanar_K_5_e_40_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	391	nonplanar_K_5_e_40_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	463	nonplanar_K_5_e_50.dimacs	blob \| blame \| history \| raw
-rw-r--r--	471	nonplanar_K_5_e_50_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	473	nonplanar_K_5_e_50_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	471	nonplanar_K_5_e_50_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	469	nonplanar_K_5_e_50_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	469	nonplanar_K_5_e_50_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	469	nonplanar_K_5_e_50_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	473	nonplanar_K_5_e_50_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	471	nonplanar_K_5_e_50_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	469	nonplanar_K_5_e_50_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	469	nonplanar_K_5_e_50_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	111	nonplanar_K_5_e_6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	111	nonplanar_K_5_e_6_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	111	nonplanar_K_5_e_6_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	113	nonplanar_K_5_e_6_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	111	nonplanar_K_5_e_6_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	111	nonplanar_K_5_e_6_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	111	nonplanar_K_5_e_6_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	113	nonplanar_K_5_e_6_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	113	nonplanar_K_5_e_6_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	111	nonplanar_K_5_e_6_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	111	nonplanar_K_5_e_6_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	119	nonplanar_K_5_e_7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	123	nonplanar_K_5_e_7_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	123	nonplanar_K_5_e_7_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	123	nonplanar_K_5_e_7_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	119	nonplanar_K_5_e_7_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	121	nonplanar_K_5_e_7_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	121	nonplanar_K_5_e_7_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	121	nonplanar_K_5_e_7_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	121	nonplanar_K_5_e_7_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	121	nonplanar_K_5_e_7_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	121	nonplanar_K_5_e_7_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	127	nonplanar_K_5_e_8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	131	nonplanar_K_5_e_8_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	129	nonplanar_K_5_e_8_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	131	nonplanar_K_5_e_8_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	131	nonplanar_K_5_e_8_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	127	nonplanar_K_5_e_8_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	127	nonplanar_K_5_e_8_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	129	nonplanar_K_5_e_8_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	129	nonplanar_K_5_e_8_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	131	nonplanar_K_5_e_8_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	131	nonplanar_K_5_e_8_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	135	nonplanar_K_5_e_9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	137	nonplanar_K_5_e_9_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	139	nonplanar_K_5_e_9_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	139	nonplanar_K_5_e_9_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	137	nonplanar_K_5_e_9_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	137	nonplanar_K_5_e_9_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	137	nonplanar_K_5_e_9_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	139	nonplanar_K_5_e_9_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	137	nonplanar_K_5_e_9_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	139	nonplanar_K_5_e_9_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	137	nonplanar_K_5_e_9_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	72	nonplanar_K_5_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	72	nonplanar_K_5_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	72	nonplanar_K_5_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	72	nonplanar_K_5_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	72	nonplanar_K_5_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	72	nonplanar_K_5_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	72	nonplanar_K_5_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	72	nonplanar_K_5_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	72	nonplanar_K_5_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	72	nonplanar_K_5_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	435	nonplanar_case_A_1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	226	nonplanar_case_B_1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	438	nonplanar_case_B_2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	122	nonplanar_case_B_sc.dimacs	blob \| blame \| history \| raw
-rw-r--r--	9787	nonplanar_case_B_scl.dimacs	blob \| blame \| history \| raw
-rw-r--r--	434	nonplanar_case_B_z_w.dimacs	blob \| blame \| history \| raw
-rw-r--r--	104	nonplanar_case_C_1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	430	nonplanar_case_C_10.dimacs	blob \| blame \| history \| raw
-rw-r--r--	428	nonplanar_case_C_11.dimacs	blob \| blame \| history \| raw
-rw-r--r--	104	nonplanar_case_C_2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	104	nonplanar_case_C_3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	104	nonplanar_case_C_4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	104	nonplanar_case_C_5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	104	nonplanar_case_C_6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	227	nonplanar_case_C_7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	230	nonplanar_case_C_8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	216	nonplanar_case_C_9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	401	nonplanar_case_D_1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	104	nonplanar_case_D_2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	435	nonplanar_case_D_3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	426	nonplanar_case_D_4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	438	nonplanar_case_D_5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	220	nonplanar_case_E_1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	224	nonplanar_case_E_2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	229	nonplanar_case_E_3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	215	nonplanar_case_E_4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	228	nonplanar_case_E_5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	594	nonplanar_case_E_6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	424	nonplanar_case_E_7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	162	nonplanar_mpo_10.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2239	nonplanar_mpo_100.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2335	nonplanar_mpo_100_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2334	nonplanar_mpo_100_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2240	nonplanar_mpo_100_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2335	nonplanar_mpo_100_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2335	nonplanar_mpo_100_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2334	nonplanar_mpo_100_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2334	nonplanar_mpo_100_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2335	nonplanar_mpo_100_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2335	nonplanar_mpo_100_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2335	nonplanar_mpo_100_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_mpo_10_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_mpo_10_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_mpo_10_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_mpo_10_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_mpo_10_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_mpo_10_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_mpo_10_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_mpo_10_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_mpo_10_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	163	nonplanar_mpo_10_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	627	nonplanar_mpo_30.dimacs	blob \| blame \| history \| raw
-rw-r--r--	628	nonplanar_mpo_30_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	628	nonplanar_mpo_30_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	654	nonplanar_mpo_30_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	628	nonplanar_mpo_30_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	654	nonplanar_mpo_30_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	652	nonplanar_mpo_30_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	654	nonplanar_mpo_30_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	627	nonplanar_mpo_30_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	627	nonplanar_mpo_30_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	652	nonplanar_mpo_30_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1088	nonplanar_mpo_50.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1088	nonplanar_mpo_50_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1090	nonplanar_mpo_50_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1089	nonplanar_mpo_50_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1044	nonplanar_mpo_50_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1134	nonplanar_mpo_50_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1089	nonplanar_mpo_50_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1090	nonplanar_mpo_50_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1089	nonplanar_mpo_50_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1134	nonplanar_mpo_50_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1134	nonplanar_mpo_50_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	113	nonplanar_peterson.dimacs	blob \| blame \| history \| raw
-rw-r--r--	103	nonplanar_peterson_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	103	nonplanar_peterson_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	103	nonplanar_peterson_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	103	nonplanar_peterson_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	103	nonplanar_peterson_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	103	nonplanar_peterson_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	103	nonplanar_peterson_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	103	nonplanar_peterson_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	103	nonplanar_peterson_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	103	nonplanar_peterson_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	224	nonplanar_rot_case_D.dimacs	blob \| blame \| history \| raw
-rw-r--r--	134	nonplanar_twisted_sc.dimacs	blob \| blame \| history \| raw
-rw-r--r--	299	planar_5_con_cycles_a.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	planar_5_con_cycles_a_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	229	planar_5_con_cycles_a_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	227	planar_5_con_cycles_a_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	229	planar_5_con_cycles_a_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	227	planar_5_con_cycles_a_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	231	planar_5_con_cycles_a_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	229	planar_5_con_cycles_a_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	229	planar_5_con_cycles_a_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	229	planar_5_con_cycles_a_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	227	planar_5_con_cycles_a_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	307	planar_5_con_cycles_b.dimacs	blob \| blame \| history \| raw
-rw-r--r--	235	planar_5_con_cycles_b_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	238	planar_5_con_cycles_b_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	planar_5_con_cycles_b_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	231	planar_5_con_cycles_b_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	235	planar_5_con_cycles_b_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	236	planar_5_con_cycles_b_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	241	planar_5_con_cycles_b_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	236	planar_5_con_cycles_b_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	239	planar_5_con_cycles_b_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	235	planar_5_con_cycles_b_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	320	planar_5_con_cycles_c.dimacs	blob \| blame \| history \| raw
-rw-r--r--	202	planar_5_con_cycles_c_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	206	planar_5_con_cycles_c_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	203	planar_5_con_cycles_c_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	205	planar_5_con_cycles_c_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	203	planar_5_con_cycles_c_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	205	planar_5_con_cycles_c_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	200	planar_5_con_cycles_c_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	206	planar_5_con_cycles_c_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	201	planar_5_con_cycles_c_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	202	planar_5_con_cycles_c_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	323	planar_5_con_cycles_d.dimacs	blob \| blame \| history \| raw
-rw-r--r--	250	planar_5_con_cycles_d_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	253	planar_5_con_cycles_d_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	249	planar_5_con_cycles_d_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	252	planar_5_con_cycles_d_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	251	planar_5_con_cycles_d_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	246	planar_5_con_cycles_d_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	253	planar_5_con_cycles_d_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	249	planar_5_con_cycles_d_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	250	planar_5_con_cycles_d_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	249	planar_5_con_cycles_d_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	426	planar_5_con_cycles_e.dimacs	blob \| blame \| history \| raw
-rw-r--r--	349	planar_5_con_cycles_e_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	351	planar_5_con_cycles_e_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	349	planar_5_con_cycles_e_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	352	planar_5_con_cycles_e_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	348	planar_5_con_cycles_e_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	350	planar_5_con_cycles_e_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	347	planar_5_con_cycles_e_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	354	planar_5_con_cycles_e_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	355	planar_5_con_cycles_e_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	344	planar_5_con_cycles_e_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	69	planar_K_3_3_sub_1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_1_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_1_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_1_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_1_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_1_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_1_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_1_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_1_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_1_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_1_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	69	planar_K_3_3_sub_2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_2_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_2_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_2_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_2_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_2_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_2_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_2_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_2_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_2_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_2_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	69	planar_K_3_3_sub_3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_3_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_3_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_3_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_3_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_3_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_3_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_3_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_3_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_3_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_3_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	69	planar_K_3_3_sub_4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_4_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_4_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_4_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_4_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_4_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_4_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_4_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_4_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_4_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_4_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	69	planar_K_3_3_sub_5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_5_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_5_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_5_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_5_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_5_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_5_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_5_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_5_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_5_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_5_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	69	planar_K_3_3_sub_6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_6_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_6_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_6_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_6_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_6_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_6_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_6_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_6_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_6_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_6_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	69	planar_K_3_3_sub_7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_7_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_7_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_7_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_7_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_7_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_7_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_7_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_7_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_7_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_7_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	69	planar_K_3_3_sub_8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_8_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_8_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_8_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_8_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_8_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_8_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_8_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_8_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_8_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_8_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	69	planar_K_3_3_sub_9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_9_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_9_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_9_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_9_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_9_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_9_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_9_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_9_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_9_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	59	planar_K_3_3_sub_9_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	55	planar_K_4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	117	planar_K_4_e_10.dimacs	blob \| blame \| history \| raw
-rw-r--r--	847	planar_K_4_e_100.dimacs	blob \| blame \| history \| raw
-rw-r--r--	852	planar_K_4_e_100_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	851	planar_K_4_e_100_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	851	planar_K_4_e_100_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	851	planar_K_4_e_100_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	851	planar_K_4_e_100_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	850	planar_K_4_e_100_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	851	planar_K_4_e_100_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	851	planar_K_4_e_100_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	850	planar_K_4_e_100_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	851	planar_K_4_e_100_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	120	planar_K_4_e_10_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	118	planar_K_4_e_10_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	117	planar_K_4_e_10_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	119	planar_K_4_e_10_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	118	planar_K_4_e_10_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	119	planar_K_4_e_10_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	118	planar_K_4_e_10_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	117	planar_K_4_e_10_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	117	planar_K_4_e_10_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	118	planar_K_4_e_10_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	125	planar_K_4_e_11.dimacs	blob \| blame \| history \| raw
-rw-r--r--	126	planar_K_4_e_11_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	128	planar_K_4_e_11_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	126	planar_K_4_e_11_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	126	planar_K_4_e_11_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	127	planar_K_4_e_11_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	126	planar_K_4_e_11_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	127	planar_K_4_e_11_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	126	planar_K_4_e_11_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	128	planar_K_4_e_11_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	127	planar_K_4_e_11_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	133	planar_K_4_e_12.dimacs	blob \| blame \| history \| raw
-rw-r--r--	135	planar_K_4_e_12_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	134	planar_K_4_e_12_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	135	planar_K_4_e_12_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	134	planar_K_4_e_12_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	135	planar_K_4_e_12_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	134	planar_K_4_e_12_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	133	planar_K_4_e_12_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	134	planar_K_4_e_12_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	134	planar_K_4_e_12_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	135	planar_K_4_e_12_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	141	planar_K_4_e_13.dimacs	blob \| blame \| history \| raw
-rw-r--r--	142	planar_K_4_e_13_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	142	planar_K_4_e_13_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	144	planar_K_4_e_13_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	144	planar_K_4_e_13_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	143	planar_K_4_e_13_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	143	planar_K_4_e_13_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	141	planar_K_4_e_13_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	144	planar_K_4_e_13_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	144	planar_K_4_e_13_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	142	planar_K_4_e_13_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	149	planar_K_4_e_14.dimacs	blob \| blame \| history \| raw
-rw-r--r--	150	planar_K_4_e_14_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	150	planar_K_4_e_14_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	151	planar_K_4_e_14_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	151	planar_K_4_e_14_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	151	planar_K_4_e_14_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	150	planar_K_4_e_14_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	151	planar_K_4_e_14_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	152	planar_K_4_e_14_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	152	planar_K_4_e_14_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	151	planar_K_4_e_14_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_K_4_e_15.dimacs	blob \| blame \| history \| raw
-rw-r--r--	159	planar_K_4_e_15_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	159	planar_K_4_e_15_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	158	planar_K_4_e_15_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	158	planar_K_4_e_15_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_K_4_e_15_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	159	planar_K_4_e_15_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	159	planar_K_4_e_15_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	160	planar_K_4_e_15_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	158	planar_K_4_e_15_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	159	planar_K_4_e_15_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	165	planar_K_4_e_16.dimacs	blob \| blame \| history \| raw
-rw-r--r--	166	planar_K_4_e_16_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	169	planar_K_4_e_16_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	168	planar_K_4_e_16_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	169	planar_K_4_e_16_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	167	planar_K_4_e_16_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	167	planar_K_4_e_16_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	166	planar_K_4_e_16_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	166	planar_K_4_e_16_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	167	planar_K_4_e_16_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	166	planar_K_4_e_16_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	173	planar_K_4_e_17.dimacs	blob \| blame \| history \| raw
-rw-r--r--	174	planar_K_4_e_17_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	175	planar_K_4_e_17_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	176	planar_K_4_e_17_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	176	planar_K_4_e_17_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	175	planar_K_4_e_17_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	175	planar_K_4_e_17_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	174	planar_K_4_e_17_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	176	planar_K_4_e_17_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	174	planar_K_4_e_17_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	176	planar_K_4_e_17_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	181	planar_K_4_e_18.dimacs	blob \| blame \| history \| raw
-rw-r--r--	184	planar_K_4_e_18_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	183	planar_K_4_e_18_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	184	planar_K_4_e_18_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	185	planar_K_4_e_18_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	185	planar_K_4_e_18_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	183	planar_K_4_e_18_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	181	planar_K_4_e_18_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	184	planar_K_4_e_18_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	184	planar_K_4_e_18_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	184	planar_K_4_e_18_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	189	planar_K_4_e_19.dimacs	blob \| blame \| history \| raw
-rw-r--r--	192	planar_K_4_e_19_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	190	planar_K_4_e_19_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	190	planar_K_4_e_19_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	191	planar_K_4_e_19_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	189	planar_K_4_e_19_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	191	planar_K_4_e_19_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	193	planar_K_4_e_19_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	190	planar_K_4_e_19_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	191	planar_K_4_e_19_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	192	planar_K_4_e_19_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	197	planar_K_4_e_20.dimacs	blob \| blame \| history \| raw
-rw-r--r--	200	planar_K_4_e_20_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	200	planar_K_4_e_20_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	199	planar_K_4_e_20_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	200	planar_K_4_e_20_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	200	planar_K_4_e_20_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	198	planar_K_4_e_20_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	200	planar_K_4_e_20_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	199	planar_K_4_e_20_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	199	planar_K_4_e_20_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	199	planar_K_4_e_20_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	205	planar_K_4_e_21.dimacs	blob \| blame \| history \| raw
-rw-r--r--	207	planar_K_4_e_21_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	207	planar_K_4_e_21_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	205	planar_K_4_e_21_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	207	planar_K_4_e_21_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	207	planar_K_4_e_21_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	208	planar_K_4_e_21_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	207	planar_K_4_e_21_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	208	planar_K_4_e_21_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	209	planar_K_4_e_21_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	208	planar_K_4_e_21_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	237	planar_K_4_e_25.dimacs	blob \| blame \| history \| raw
-rw-r--r--	240	planar_K_4_e_25_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	240	planar_K_4_e_25_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	241	planar_K_4_e_25_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	239	planar_K_4_e_25_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	240	planar_K_4_e_25_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	239	planar_K_4_e_25_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	240	planar_K_4_e_25_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	239	planar_K_4_e_25_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	239	planar_K_4_e_25_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	240	planar_K_4_e_25_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	277	planar_K_4_e_30.dimacs	blob \| blame \| history \| raw
-rw-r--r--	279	planar_K_4_e_30_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	280	planar_K_4_e_30_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	280	planar_K_4_e_30_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	278	planar_K_4_e_30_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	280	planar_K_4_e_30_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	280	planar_K_4_e_30_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	281	planar_K_4_e_30_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	279	planar_K_4_e_30_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	280	planar_K_4_e_30_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	279	planar_K_4_e_30_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	78	planar_K_4_e_5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	437	planar_K_4_e_50.dimacs	blob \| blame \| history \| raw
-rw-r--r--	440	planar_K_4_e_50_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	441	planar_K_4_e_50_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	440	planar_K_4_e_50_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	440	planar_K_4_e_50_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	440	planar_K_4_e_50_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	441	planar_K_4_e_50_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	441	planar_K_4_e_50_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	441	planar_K_4_e_50_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	440	planar_K_4_e_50_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	440	planar_K_4_e_50_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	78	planar_K_4_e_5_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	78	planar_K_4_e_5_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	78	planar_K_4_e_5_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	78	planar_K_4_e_5_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	78	planar_K_4_e_5_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	78	planar_K_4_e_5_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	78	planar_K_4_e_5_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	78	planar_K_4_e_5_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	78	planar_K_4_e_5_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	78	planar_K_4_e_5_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	85	planar_K_4_e_6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	85	planar_K_4_e_6_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	85	planar_K_4_e_6_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	85	planar_K_4_e_6_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	85	planar_K_4_e_6_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	85	planar_K_4_e_6_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	85	planar_K_4_e_6_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	85	planar_K_4_e_6_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	85	planar_K_4_e_6_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	85	planar_K_4_e_6_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	85	planar_K_4_e_6_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	93	planar_K_4_e_7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	94	planar_K_4_e_7_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	93	planar_K_4_e_7_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	93	planar_K_4_e_7_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	94	planar_K_4_e_7_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	93	planar_K_4_e_7_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	94	planar_K_4_e_7_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	94	planar_K_4_e_7_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	93	planar_K_4_e_7_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	94	planar_K_4_e_7_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	94	planar_K_4_e_7_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	101	planar_K_4_e_8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	102	planar_K_4_e_8_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	101	planar_K_4_e_8_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	101	planar_K_4_e_8_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	102	planar_K_4_e_8_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	102	planar_K_4_e_8_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	101	planar_K_4_e_8_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	102	planar_K_4_e_8_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	102	planar_K_4_e_8_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	102	planar_K_4_e_8_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	102	planar_K_4_e_8_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	109	planar_K_4_e_9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	111	planar_K_4_e_9_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	111	planar_K_4_e_9_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	110	planar_K_4_e_9_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	110	planar_K_4_e_9_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	110	planar_K_4_e_9_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	109	planar_K_4_e_9_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	110	planar_K_4_e_9_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	110	planar_K_4_e_9_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	110	planar_K_4_e_9_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	110	planar_K_4_e_9_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	47	planar_K_4_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	47	planar_K_4_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	47	planar_K_4_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	47	planar_K_4_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	47	planar_K_4_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	47	planar_K_4_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	47	planar_K_4_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	47	planar_K_4_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	47	planar_K_4_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	47	planar_K_4_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	87	planar_K_5_sub_1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	87	planar_K_5_sub_10.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_10_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_10_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_10_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_10_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_10_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_10_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_10_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_10_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_10_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_10_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_1_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_1_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_1_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_1_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_1_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_1_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_1_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_1_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_1_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_1_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	87	planar_K_5_sub_2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_2_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_2_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_2_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_2_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_2_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_2_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_2_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_2_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_2_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_2_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	87	planar_K_5_sub_3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_3_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_3_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_3_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_3_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_3_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_3_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_3_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_3_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_3_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_3_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	87	planar_K_5_sub_4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_4_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_4_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_4_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_4_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_4_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_4_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_4_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_4_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_4_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_4_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	87	planar_K_5_sub_5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_5_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_5_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_5_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_5_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_5_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_5_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_5_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_5_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_5_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_5_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	87	planar_K_5_sub_6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_6_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_6_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_6_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_6_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_6_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_6_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_6_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_6_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_6_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_6_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	87	planar_K_5_sub_7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_7_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_7_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_7_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_7_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_7_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_7_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_7_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_7_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_7_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_7_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	87	planar_K_5_sub_8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_8_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_8_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_8_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_8_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_8_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_8_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_8_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_8_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_8_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_8_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	87	planar_K_5_sub_9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_9_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_9_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_9_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_9_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_9_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_9_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_9_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_9_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_9_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	65	planar_K_5_sub_9_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	244	planar_cycle_1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	planar_cycle_1_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	planar_cycle_1_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	planar_cycle_1_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	planar_cycle_1_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	planar_cycle_1_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	planar_cycle_1_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	planar_cycle_1_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	planar_cycle_1_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	planar_cycle_1_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	233	planar_cycle_1_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	398	planar_grid_graph.dimacs	blob \| blame \| history \| raw
-rw-r--r--	372	planar_grid_graph_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	372	planar_grid_graph_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	371	planar_grid_graph_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	371	planar_grid_graph_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	372	planar_grid_graph_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	370	planar_grid_graph_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	369	planar_grid_graph_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	374	planar_grid_graph_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	371	planar_grid_graph_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	373	planar_grid_graph_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	93	planar_line_1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	82	planar_line_1_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	83	planar_line_1_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	83	planar_line_1_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	83	planar_line_1_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	83	planar_line_1_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	82	planar_line_1_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	83	planar_line_1_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	83	planar_line_1_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	83	planar_line_1_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	82	planar_line_1_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	237	planar_line_2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	227	planar_line_2_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	225	planar_line_2_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	226	planar_line_2_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	225	planar_line_2_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	225	planar_line_2_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	226	planar_line_2_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	225	planar_line_2_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	225	planar_line_2_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	225	planar_line_2_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	226	planar_line_2_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_maximal_10.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2233	planar_maximal_100.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2327	planar_maximal_100_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2327	planar_maximal_100_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2328	planar_maximal_100_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2327	planar_maximal_100_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2327	planar_maximal_100_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2232	planar_maximal_100_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2327	planar_maximal_100_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2327	planar_maximal_100_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2327	planar_maximal_100_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	2327	planar_maximal_100_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_maximal_10_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_maximal_10_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_maximal_10_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_maximal_10_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_maximal_10_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_maximal_10_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_maximal_10_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_maximal_10_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_maximal_10_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	157	planar_maximal_10_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_maximal_3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	621	planar_maximal_30.dimacs	blob \| blame \| history \| raw
-rw-r--r--	595	planar_maximal_30_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	646	planar_maximal_30_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	621	planar_maximal_30_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	647	planar_maximal_30_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	620	planar_maximal_30_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	620	planar_maximal_30_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	620	planar_maximal_30_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	621	planar_maximal_30_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	620	planar_maximal_30_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	595	planar_maximal_30_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_maximal_3_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_maximal_3_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_maximal_3_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_maximal_3_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_maximal_3_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_maximal_3_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_maximal_3_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_maximal_3_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_maximal_3_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_maximal_3_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1082	planar_maximal_50.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1126	planar_maximal_50_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1126	planar_maximal_50_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1126	planar_maximal_50_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1081	planar_maximal_50_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1127	planar_maximal_50_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1082	planar_maximal_50_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1036	planar_maximal_50_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1126	planar_maximal_50_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1127	planar_maximal_50_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	1081	planar_maximal_50_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	83	planar_non_bicon_1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	89	planar_non_bicon_2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	34	planar_non_con.dimacs	blob \| blame \| history \| raw
-rw-r--r--	23	planar_non_con_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	23	planar_non_con_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	23	planar_non_con_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	23	planar_non_con_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	23	planar_non_con_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	23	planar_non_con_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	23	planar_non_con_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	23	planar_non_con_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	23	planar_non_con_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	23	planar_non_con_p9.dimacs	blob \| blame \| history \| raw
-rw-r--r--	40	planar_tree_1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_tree_1_p0.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_tree_1_p1.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_tree_1_p2.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_tree_1_p3.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_tree_1_p4.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_tree_1_p5.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_tree_1_p6.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_tree_1_p7.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_tree_1_p8.dimacs	blob \| blame \| history \| raw
-rw-r--r--	29	planar_tree_1_p9.dimacs	blob \| blame \| history \| raw