homotopy_types_graph10c035.g6.org

index	order	max d	Helly	K Helly	HT G	HT KG
816	10	6	False	False	\(∨2S1\)	\(∨2S1\)
1658	10	6	False	False	\(∨3S1\)	\(∨3S1\)
2037	10	6	False	False	\(∨3S1\)	\(∨3S1\)
2055	10	6	False	False	\(∨3S1\)	\(∨3S1\)
2134	10	6	False	False	\(∨2S1\)	\(∨2S1\)
2140	10	6	False	False	\(∨3S1\)	\(∨3S1\)
2653	10	5	False	False	\(∨3S1\)	\(∨3S1\)
2731	10	5	False	False	\(∨4S1\)	\(∨4S1\)
2732	10	6	False	False	\(∨4S1\)	\(∨4S1\)
2736	10	6	False	False	\(∨3S1\)	\(∨3S1\)
2745	10	6	False	False	\(∨3S1\)	\(∨3S1\)
2747	10	6	False	False	\(∨3S1\)	\(∨3S1\)
2756	10	7	False	False	\(∨2S1\)	\(∨2S1\)
2901	10	6	False	False	\(∨3S1\)	\(∨3S1\)
3656	10	6	False	False	\(∨3S1\)	\(∨3S1\)
3685	10	6	False	False	\(∨3S1\)	\(∨3S1\)
3792	10	6	False	False	\(∨3S1\)	\(∨3S1\)
4032	10	6	False	False	\(∨4S1\)	\(∨4S1\)
5941	10	5	False	False	\(∨3S1\)	\(∨3S1\)
5943	10	6	False	False	\(∨3S1\)	\(∨3S1\)
5960	10	6	False	False	\(∨3S1\)	\(∨3S1\)
5962	10	6	False	False	\(∨3S1\)	\(∨3S1\)
6363	10	6	False	False	\(∨4S1\)	\(∨4S1\)
6561	10	6	False	False	\(∨3S1\)	\(∨3S1\)
8382	10	6	False	False	\(∨2S1\)	\(∨2S1\)
8383	10	7	False	False	\(S1∨ S2\)	\(S1∨ S2\)
8573	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S2\)
8583	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S2\)
8601	10	6	False	False	\(S1∨ S2\)	\(S1∨ S2\)
8605	10	6	False	False	\(∨2S1\)	\(∨2S1\)
8636	10	7	False	False	\(S1∨ S2\)	\(S1∨ S2\)
8806	10	6	False	False	\(∨2S1\)	\(∨2S1\)
9849	10	6	False	False	\(∨2S1\)	\(∨2S1\)
9855	10	6	False	False	\(∨2S1\)	\(∨2S1\)
9856	10	6	False	False	\(∨3S1\)	\(∨3S1\)
10705	10	6	False	False	\(∨3S1\)	\(∨3S1\)
10714	10	6	False	False	\(∨2S1\)	\(∨2S1\)
10721	10	6	False	False	\(∨2S1\)	\(∨2S1\)
10722	10	6	False	False	\(∨4S1\)	\(∨4S1\)
11489	10	5	False	False	\(∨3S1\)	\(∨3S1\)
11541	10	6	False	False	\(∨3S1\)	\(∨3S1\)
11697	10	5	False	False	\(∨3S1\)	\(∨3S1\)
12507	10	6	False	False	\(∨4S1\)	\(∨4S1\)
12520	10	6	False	False	\(∨3S1\)	\(∨3S1\)
12523	10	6	False	False	\(∨3S1\)	\(∨3S1\)
12650	10	5	False	False	\(∨3S1\)	\(∨3S1\)
13911	10	5	False	False	\(∨4S1\)	\(∨4S1\)
13923	10	5	False	False	\(∨4S1\)	\(∨4S1\)
13928	10	6	False	False	\(∨4S1\)	\(∨4S1\)
13931	10	5	False	False	\(∨4S1\)	\(∨4S1\)
13934	10	5	False	False	\(∨4S1\)	\(∨4S1\)
13943	10	5	False	False	\(∨3S1\)	\(∨3S1\)
13949	10	6	False	False	\(∨3S1\)	\(∨3S1\)
13957	10	5	False	False	\(∨5S1\)	\(∨5S1\)
13958	10	6	False	False	\(∨4S1\)	\(∨4S1\)
13978	10	6	False	False	\(∨4S1\)	\(∨4S1\)
14117	10	6	False	False	\(∨3S1\)	\(∨3S1\)
14122	10	6	False	False	\(∨3S1\)	\(∨3S1\)
14126	10	5	False	False	\(∨4S1\)	\(∨4S1\)
14136	10	6	False	False	\(∨2S1\)	\(∨2S1\)
16483	10	5	False	False	\(∨3S1\)	\(∨3S1\)
16490	10	5	False	False	\(∨3S1\)	\(∨3S1\)
16504	10	5	False	False	\(∨3S1\)	\(∨3S1\)
16525	10	6	False	False	\(∨3S1\)	\(∨3S1\)
16992	10	6	False	False	\(∨3S1\)	\(∨3S1\)
17119	10	6	False	False	\(∨3S1\)	\(∨3S1\)
17143	10	6	False	False	\(∨3S1\)	\(∨3S1\)
17177	10	6	False	False	\(∨2S1\)	\(∨2S1\)
17182	10	6	False	False	\(∨3S1\)	\(∨3S1\)
17227	10	6	False	False	\(∨4S1\)	\(∨4S1\)
17303	10	6	False	False	\(∨3S1\)	\(∨3S1\)
18192	10	6	False	False	\(∨2S1\)	\(∨2S1\)
18323	10	6	False	False	\(∨3S1\)	\(∨3S1\)
18329	10	6	False	False	\(∨4S1\)	\(∨4S1\)
18512	10	6	False	False	\(∨3S1\)	\(∨3S1\)
18594	10	6	False	False	\(∨3S1\)	\(∨3S1\)
18714	10	5	False	False	\(∨3S1\)	\(∨3S1\)
18716	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
18923	10	6	False	False	\(∨5S1\)	\(∨5S1\)
18948	10	6	False	False	\(∨3S1\)	\(∨3S1\)
18954	10	6	False	False	\(∨4S1\)	\(∨4S1\)
18998	10	6	False	False	\(∨4S1\)	\(∨4S1\)
19071	10	6	False	False	\(∨3S1\)	\(∨3S1\)
19124	10	5	False	False	\(∨2S1\)	\(∨2S1\)
19139	10	6	False	False	\(∨3S1\)	\(∨3S1\)
19269	10	5	False	False	\(∨3S1\)	\(∨3S1\)
19271	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
19305	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
19317	10	6	False	False	\(∨3S1\)	\(∨3S1\)
19319	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
19334	10	6	False	False	\(∨3S1\)	\(∨3S1\)
19406	10	6	False	False	\(∨3S1\)	\(∨3S1\)
19408	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
19693	10	5	False	False	\(∨2S1\)	\(∨2S1\)
19718	10	6	False	False	\(∨3S1\)	\(∨3S1\)
19859	10	5	False	False	\(∨3S1\)	\(∨3S1\)
19861	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
19943	10	6	False	False	\(∨3S1\)	\(∨3S1\)
20011	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
20408	10	6	False	False	\(∨3S1\)	\(∨3S1\)
20410	10	6	False	False	\(∨3S1\)	\(∨3S1\)
20416	10	6	False	False	\(∨4S1\)	\(∨4S1\)
20420	10	7	False	False	\(∨3S1\)	\(∨3S1\)
20470	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
20472	10	6	False	False	\(∨4S1∨ S2\)	\(∨4S1∨ S3\)
20474	10	6	False	False	\(∨3S1\)	\(∨3S1\)
20476	10	7	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
20480	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
20482	10	6	False	False	\(∨3S1\)	\(∨3S1\)
20486	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
20490	10	6	False	False	\(∨4S1\)	\(∨4S1\)
20492	10	7	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
20524	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
24169	10	6	False	False	\(∨3S1\)	\(∨3S1\)
24269	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
24345	10	6	False	False	\(∨3S1\)	\(∨3S1\)
24406	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
24752	10	6	False	False	\(∨3S1\)	\(∨3S1\)
25250	10	5	False	False	\(∨3S1\)	\(∨3S1\)
25266	10	6	False	False	\(∨4S1\)	\(∨4S1\)
25328	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
25370	10	6	False	False	\(∨3S1\)	\(∨3S1\)
25563	10	7	False	False	\(∨3S1\)	\(∨3S1\)
25684	10	5	False	False	\(∨3S1\)	\(∨3S1\)
25691	10	5	False	False	\(∨3S1\)	\(∨3S1\)
25696	10	6	False	False	\(∨3S1\)	\(∨3S1\)
25704	10	5	False	False	\(∨3S1\)	\(∨3S1\)
25721	10	5	False	False	\(∨4S1\)	\(∨4S1\)
25722	10	6	False	False	\(∨3S1\)	\(∨3S1\)
25739	10	5	False	False	\(∨2S1\)	\(∨2S1\)
25743	10	5	False	False	\(∨3S1\)	\(∨3S1\)
25756	10	5	False	False	\(∨4S1\)	\(∨4S1\)
25757	10	6	False	False	\(∨2S1\)	\(∨2S1\)
25763	10	6	False	False	\(∨4S1\)	\(∨4S1\)
25779	10	5	False	False	\(∨3S1\)	\(∨3S1\)
25780	10	6	False	False	\(∨2S1\)	\(∨2S1\)
25808	10	6	False	False	\(∨4S1\)	\(∨4S1\)
25809	10	7	False	False	\(∨2S1\)	\(∨2S1\)
25872	10	6	False	False	\(∨4S1\)	\(∨4S1\)
25903	10	6	False	False	\(∨4S1\)	\(∨4S1\)
25965	10	6	False	False	\(∨3S1\)	\(∨3S1\)
26034	10	6	False	False	\(∨3S1\)	\(∨3S1\)
26048	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
26055	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
26078	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
26193	10	6	False	False	\(∨3S1\)	\(∨3S1\)
26228	10	6	False	False	\(∨2S1\)	\(∨2S1\)
26244	10	7	False	False	\(∨2S1\)	\(∨2S1\)
26296	10	6	False	False	\(∨3S1\)	\(∨3S1\)
26298	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
26331	10	6	False	False	\(∨3S1\)	\(∨3S1\)
26363	10	7	False	False	\(∨2S1\)	\(∨2S1\)
26382	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
26717	10	5	False	False	\(∨5S1\)	\(∨5S1\)
26724	10	5	False	False	\(∨4S1\)	\(∨4S1\)
26727	10	6	False	False	\(∨5S1\)	\(∨5S1\)
26736	10	5	False	False	\(∨3S1\)	\(∨3S1\)
26751	10	6	False	False	\(∨3S1\)	\(∨3S1\)
26758	10	6	False	False	\(∨5S1\)	\(∨5S1\)
26772	10	6	False	False	\(∨2S1\)	\(∨2S1\)
26799	10	6	False	False	\(∨5S1\)	\(∨5S1\)
26856	10	6	False	False	\(∨2S1\)	\(∨2S1\)
26914	10	6	False	False	\(∨4S1\)	\(∨4S1\)
27006	10	5	False	False	\(∨3S1\)	\(∨3S1\)
27018	10	6	False	False	\(∨4S1\)	\(∨4S1\)
27025	10	5	False	False	\(∨2S1\)	\(∨2S1\)
27033	10	6	False	False	\(∨2S1\)	\(∨2S1\)
27043	10	6	False	False	\(∨3S1\)	\(∨3S1\)
27057	10	7	False	False	\(∨3S1\)	\(∨3S1\)
27074	10	7	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
27093	10	7	False	False	\(∨2S1\)	\(∨2S1\)
27103	10	5	False	False	\(∨3S1\)	\(∨3S1\)
27110	10	5	False	False	\(∨3S1\)	\(∨3S1\)
27112	10	5	False	False	\(∨3S1\)	\(∨3S1\)
27132	10	5	False	False	\(∨5S1\)	\(∨5S1\)
27271	10	6	False	False	\(∨4S1\)	\(∨4S1\)
28425	10	5	False	False	\(∨4S1\)	\(∨4S1\)
28432	10	5	False	False	\(∨3S1\)	\(∨3S1\)
28434	10	5	False	False	\(∨4S1\)	\(∨4S1\)
28451	10	5	False	False	\(∨2S1\)	\(∨2S1\)
28453	10	5	False	False	\(∨3S1\)	\(∨3S1\)
28454	10	5	False	False	\(∨3S1\)	\(∨3S1\)
28468	10	6	False	False	\(∨3S1\)	\(∨3S1\)
28475	10	5	False	False	\(∨4S1\)	\(∨4S1\)
28647	10	6	False	False	\(∨2S1\)	\(∨2S1\)
28918	10	6	False	False	\(∨3S1\)	\(∨3S1\)
29021	10	6	False	False	\(∨3S1\)	\(∨3S1\)
29232	10	6	False	False	\(∨3S1\)	\(∨3S1\)
29340	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
29844	10	6	False	False	\(∨3S1\)	\(∨3S1\)
30288	10	5	False	False	\(∨3S1\)	\(∨3S1\)
30307	10	6	False	False	\(∨4S1\)	\(∨4S1\)
30446	10	6	False	False	\(∨4S1\)	\(∨4S1\)
30591	10	6	False	False	\(∨4S1\)	\(∨4S1\)
30613	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
30815	10	5	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
30876	10	5	False	False	\(∨2S1\)	\(∨2S1\)
30877	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
30888	10	6	False	False	\(∨2S1\)	\(∨2S1\)
30889	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
31004	10	6	False	False	\(∨2S1\)	\(∨2S1\)
31005	10	6	False	False	\(∨2S1\)	\(∨2S1\)
31006	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
31280	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
31286	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
31289	10	6	False	False	\(∨3S1\)	\(∨3S1\)
31314	10	5	False	False	\(∨2S1\)	\(∨2S1\)
31315	10	6	False	False	\(S1∨ S2\)	\(S1∨ S3\)
31327	10	6	False	False	\(∨2S1\)	\(∨2S1\)
31336	10	6	False	False	\(∨2S1\)	\(∨2S1\)
31337	10	6	False	False	\(∨3S1\)	\(∨3S1\)
31338	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
31397	10	6	False	False	\(∨2S1\)	\(∨2S1\)
33149	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
33635	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
33910	10	6	False	False	\(∨3S1\)	\(∨3S1\)
33994	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
34142	10	6	False	False	\(S1∨ S2\)	\(S1∨ S3\)
34150	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
34158	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
34208	10	6	False	False	\(∨2S1\)	\(∨2S1\)
34866	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
35077	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
35217	10	6	False	False	\(∨2S1\)	\(∨2S1\)
35226	10	6	False	False	\(∨2S1\)	\(∨2S1\)
35875	10	5	False	False	\(∨4S1\)	\(∨4S1\)
35891	10	5	False	False	\(∨3S1\)	\(∨3S1\)
35899	10	5	False	False	\(∨3S1\)	\(∨3S1\)
35906	10	6	False	False	\(∨3S1\)	\(∨3S1\)
35914	10	6	False	False	\(∨3S1\)	\(∨3S1\)
35935	10	6	False	False	\(∨3S1\)	\(∨3S1\)
36721	10	6	False	False	\(∨2S1\)	\(∨2S1\)
36825	10	6	False	False	\(∨2S1\)	\(∨2S1\)
37205	10	5	False	False	\(∨4S1\)	\(∨4S1\)
37207	10	5	False	False	\(∨4S1\)	\(∨4S1\)
37217	10	6	False	False	\(∨4S1\)	\(∨4S1\)
37227	10	5	False	False	\(∨4S1\)	\(∨4S1\)
37228	10	6	False	False	\(∨3S1\)	\(∨3S1\)
37247	10	6	False	False	\(∨4S1\)	\(∨4S1\)
37465	10	6	False	False	\(∨3S1\)	\(∨3S1\)
37469	10	6	False	False	\(∨2S1\)	\(∨2S1\)
37477	10	6	False	False	\(∨3S1\)	\(∨3S1\)
37481	10	7	False	False	\(∨2S1\)	\(∨2S1\)
37534	10	6	False	False	\(∨2S1\)	\(∨2S1\)
37536	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
38712	10	6	False	False	\(∨3S1\)	\(∨3S1\)
38758	10	5	False	False	\(∨3S1\)	\(∨3S1\)
38770	10	5	False	False	\(∨4S1\)	\(∨4S1\)
38775	10	6	False	False	\(∨3S1\)	\(∨3S1\)
38788	10	5	False	False	\(∨3S1\)	\(∨3S1\)
38790	10	5	False	False	\(∨3S1\)	\(∨3S1\)
38811	10	5	False	False	\(∨3S1\)	\(∨3S1\)
38821	10	6	False	False	\(∨3S1\)	\(∨3S1\)
38823	10	6	False	False	\(∨4S1\)	\(∨4S1\)
38898	10	5	False	False	\(∨3S1\)	\(∨3S1\)
38908	10	5	False	False	\(∨3S1\)	\(∨3S1\)
38917	10	6	False	False	\(∨3S1\)	\(∨3S1\)
38922	10	6	False	False	\(∨2S1\)	\(∨2S1\)
38945	10	6	False	False	\(∨3S1\)	\(∨3S1\)
39034	10	6	False	False	\(∨2S1\)	\(∨2S1\)
39041	10	6	False	False	\(∨3S1\)	\(∨3S1\)
39069	10	6	False	False	\(∨3S1\)	\(∨3S1\)
39304	10	6	False	False	\(∨3S1\)	\(∨3S1\)
39322	10	6	False	False	\(∨3S1\)	\(∨3S1\)
39395	10	6	False	False	\(∨2S1\)	\(∨2S1\)
39407	10	6	False	False	\(∨2S1\)	\(∨2S1\)
39455	10	6	False	False	\(∨3S1\)	\(∨3S1\)
39478	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
39485	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
39487	10	6	False	False	\(∨3S1\)	\(∨3S1\)
39496	10	6	False	False	\(∨3S1\)	\(∨3S1\)
39507	10	6	False	False	\(∨4S1\)	\(∨4S1\)
39509	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
39520	10	5	False	False	\(∨3S1\)	\(∨3S1\)
39529	10	6	False	False	\(∨3S1\)	\(∨3S1\)
39576	10	6	False	False	\(∨2S1\)	\(∨2S1\)
39632	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
39645	10	5	False	False	\(∨3S1\)	\(∨3S1\)
39655	10	6	False	False	\(∨3S1\)	\(∨3S1\)
39808	10	5	False	False	\(∨5S1\)	\(∨5S1\)
39832	10	5	False	False	\(∨4S1\)	\(∨4S1\)
39836	10	6	False	False	\(∨4S1\)	\(∨4S1\)
39895	10	6	False	False	\(∨3S1\)	\(∨3S1\)
39899	10	6	False	False	\(∨3S1\)	\(∨3S1\)
39919	10	6	False	False	\(∨3S1\)	\(∨3S1\)
40109	10	5	False	False	\(∨4S1\)	\(∨4S1\)
40113	10	6	False	False	\(∨4S1\)	\(∨4S1\)
40119	10	6	False	False	\(∨3S1\)	\(∨3S1\)
40128	10	6	False	False	\(∨4S1\)	\(∨4S1\)
40132	10	7	False	False	\(∨3S1\)	\(∨3S1\)
40136	10	5	False	False	\(∨4S1\)	\(∨4S1\)
40161	10	6	False	False	\(∨3S1\)	\(∨3S1\)
40178	10	5	False	False	\(∨3S1\)	\(∨3S1\)
40182	10	6	False	False	\(∨3S1\)	\(∨3S1\)
40192	10	6	False	False	\(∨3S1\)	\(∨3S1\)
40233	10	6	False	False	\(∨3S1\)	\(∨3S1\)
40235	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
40249	10	6	False	False	\(∨3S1\)	\(∨3S1\)
40255	10	6	False	False	\(∨3S1\)	\(∨3S1\)
40257	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
40264	10	6	False	False	\(∨4S1\)	\(∨4S1\)
40266	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
40296	10	6	False	False	\(∨2S1\)	\(∨2S1\)
40548	10	5	False	False	\(∨5S1\)	\(∨5S1\)
40553	10	5	False	False	\(∨3S1\)	\(∨3S1\)
40558	10	5	False	False	\(∨4S1\)	\(∨4S1\)
40566	10	5	False	False	\(∨4S1\)	\(∨4S1\)
40570	10	6	False	False	\(∨3S1\)	\(∨3S1\)
40599	10	6	False	False	\(∨5S1\)	\(∨5S1\)
41060	10	5	False	False	\(∨4S1\)	\(∨4S1\)
41082	10	6	False	False	\(∨3S1\)	\(∨3S1\)
41089	10	5	False	False	\(∨3S1\)	\(∨3S1\)
41098	10	6	False	False	\(∨3S1\)	\(∨3S1\)
41106	10	5	False	False	\(∨4S1\)	\(∨4S1\)
41124	10	6	False	False	\(∨4S1\)	\(∨4S1\)
41480	10	5	False	False	\(∨4S1\)	\(∨4S1\)
41511	10	6	False	False	\(∨4S1\)	\(∨4S1\)
41859	10	6	False	False	\(∨2S1\)	\(∨2S1\)
42094	10	6	False	False	\(∨3S1\)	\(∨3S1\)
42103	10	6	False	False	\(∨3S1\)	\(∨3S1\)
42120	10	6	False	False	\(∨4S1\)	\(∨4S1\)
42353	10	5	False	False	\(∨3S1\)	\(∨3S1\)
42374	10	6	False	False	\(∨3S1\)	\(∨3S1\)
42485	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
42549	10	5	False	False	\(∨3S1\)	\(∨3S1\)
42556	10	6	False	False	\(∨3S1\)	\(∨3S1\)
42789	10	5	False	False	\(∨3S1\)	\(∨3S1\)
42792	10	6	False	False	\(∨3S1\)	\(∨3S1\)
42799	10	6	False	False	\(∨3S1\)	\(∨3S1\)
43208	10	5	False	False	\(∨4S1\)	\(∨4S1\)
43220	10	6	False	False	\(∨4S1\)	\(∨4S1\)
43366	10	6	False	False	\(∨4S1\)	\(∨4S1\)
43370	10	6	False	False	\(∨4S1\)	\(∨4S1\)
43383	10	6	False	False	\(∨4S1\)	\(∨4S1\)
43546	10	6	False	False	\(∨4S1\)	\(∨4S1\)
43554	10	7	False	False	\(∨3S1\)	\(∨3S1\)
43598	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
43687	10	6	False	False	\(∨4S1∨ S2\)	\(∨4S1∨ S2\)
43695	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S2\)
43720	10	7	False	False	\(S1∨ S2\)	\(S1∨ S2\)
43795	10	6	False	False	\(∨3S1\)	\(∨3S1\)
43809	10	6	False	False	\(∨2S1\)	\(∨2S1\)
43832	10	7	False	False	\(∨2S1\)	\(∨2S1\)
43867	10	6	False	False	\(∨2S1\)	\(∨2S1\)
43879	10	7	False	False	\(S1\)	\(S1\)
44220	10	6	False	False	\(∨2S1\)	\(∨2S1\)
44238	10	6	False	False	\(∨3S1\)	\(∨3S1\)
44908	10	6	False	False	\(∨3S1\)	\(∨3S1\)
44920	10	6	False	False	\(∨2S1\)	\(∨2S1\)
45055	10	6	False	False	\(∨3S1\)	\(∨3S1\)
45057	10	6	False	False	\(∨2S1\)	\(∨2S1\)
45062	10	6	False	False	\(∨3S1\)	\(∨3S1\)
45117	10	6	False	False	\(∨3S1\)	\(∨3S1\)
45143	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
45147	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
45156	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
45157	10	6	False	False	\(∨2S1\)	\(∨2S1\)
45165	10	6	False	False	\(∨3S1\)	\(∨3S1\)
45166	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
45230	10	6	False	False	\(∨2S1\)	\(∨2S1\)
45783	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
45792	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
45933	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
46042	10	6	False	False	\(∨3S1\)	\(∨3S1\)
46048	10	6	False	False	\(∨3S1\)	\(∨3S1\)
46062	10	7	False	False	\(∨2S1\)	\(∨2S1\)
46136	10	7	False	False	\(S2\)	\(S3\)
46297	10	7	False	False	\(∨2S2\)	\(S2∨ S3\)
47467	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S2\)
48019	10	5	False	False	\(∨5S1\)	\(∨5S1\)
48032	10	5	False	False	\(∨5S1\)	\(∨5S1\)
48037	10	6	False	False	\(∨3S1\)	\(∨3S1\)
48059	10	6	False	False	\(∨6S1\)	\(∨6S1\)
48146	10	6	False	False	\(∨5S1∨ S2\)	\(∨5S1∨ S2\)
50455	10	5	False	False	\(∨4S1\)	\(∨4S1\)
50473	10	5	False	False	\(∨5S1\)	\(∨5S1\)
50480	10	6	False	False	\(∨3S1\)	\(∨3S1\)
50494	10	5	False	False	\(∨4S1\)	\(∨4S1\)
50501	10	6	False	False	\(∨3S1\)	\(∨3S1\)
50510	10	5	False	False	\(∨5S1\)	\(∨5S1\)
50534	10	6	False	False	\(∨5S1\)	\(∨5S1\)
50741	10	6	False	False	\(∨4S1\)	\(∨4S1\)
53305	10	5	False	False	\(∨6S1\)	\(∨6S1\)
53310	10	5	False	False	\(∨4S1\)	\(∨4S1\)
53316	10	5	False	False	\(∨5S1\)	\(∨5S1\)
53325	10	5	False	False	\(∨5S1\)	\(∨5S1\)
53329	10	6	False	False	\(∨4S1\)	\(∨4S1\)
53332	10	5	False	False	\(∨5S1\)	\(∨5S1\)
53335	10	5	False	False	\(∨4S1\)	\(∨4S1\)
53344	10	5	False	False	\(∨4S1\)	\(∨4S1\)
53348	10	6	False	False	\(∨3S1\)	\(∨3S1\)
53357	10	5	False	False	\(∨6S1\)	\(∨6S1\)
53358	10	6	False	False	\(∨5S1\)	\(∨5S1\)
53375	10	6	False	False	\(∨5S1\)	\(∨5S1\)
53544	10	5	False	False	\(∨4S1\)	\(∨4S1\)
53553	10	5	False	False	\(∨5S1\)	\(∨5S1\)
53562	10	6	False	False	\(∨4S1\)	\(∨4S1\)
55017	10	6	False	False	\(∨2S1\)	\(∨2S1\)
55478	10	6	False	False	\(S1∨ S2\)	\(S1∨ S3\)
55487	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
55497	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
55819	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
55978	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
56090	10	6	False	False	\(∨2S1\)	\(∨2S1\)
56093	10	6	False	False	\(∨3S1\)	\(∨3S1\)
56805	10	6	False	False	\(∨2S1\)	\(∨2S1\)
57284	10	5	False	False	\(∨4S1\)	\(∨4S1\)
57285	10	5	False	False	\(∨3S1\)	\(∨3S1\)
57286	10	5	False	False	\(∨4S1\)	\(∨4S1\)
57287	10	6	False	False	\(∨3S1\)	\(∨3S1\)
57290	10	5	False	False	\(∨4S1\)	\(∨4S1\)
57291	10	6	False	False	\(∨3S1\)	\(∨3S1\)
57292	10	5	False	False	\(∨3S1\)	\(∨3S1\)
57293	10	6	False	False	\(∨2S1\)	\(∨2S1\)
57298	10	6	False	False	\(∨3S1\)	\(∨3S1\)
57301	10	6	False	False	\(∨4S1\)	\(∨4S1\)
57304	10	6	False	False	\(∨4S1\)	\(∨4S1\)
57308	10	7	False	False	\(∨2S1\)	\(∨2S1\)
57374	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
57402	10	6	False	False	\(∨2S1\)	\(∨2S1\)
58464	10	6	False	False	\(∨3S1\)	\(∨3S1\)
58487	10	6	False	False	\(∨3S1\)	\(∨3S1\)
58508	10	6	False	False	\(∨3S1\)	\(∨3S1\)
58524	10	6	False	False	\(∨3S1\)	\(∨3S1\)
58542	10	6	False	False	\(∨4S1\)	\(∨4S1\)
58549	10	7	False	False	\(∨3S1\)	\(∨3S1\)
58618	10	6	False	False	\(∨3S1\)	\(∨3S1\)
58652	10	6	False	False	\(∨2S1\)	\(∨2S1\)
58711	10	6	False	False	\(∨4S1\)	\(∨4S1\)
58713	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
58727	10	6	False	False	\(∨3S1\)	\(∨3S1\)
58870	10	5	False	False	\(∨5S1\)	\(∨5S1\)
58893	10	5	False	False	\(∨5S1\)	\(∨5S1\)
58899	10	6	False	False	\(∨4S1\)	\(∨4S1\)
58957	10	6	False	False	\(∨3S1\)	\(∨3S1\)
58961	10	6	False	False	\(∨4S1\)	\(∨4S1\)
58962	10	6	False	False	\(∨4S1\)	\(∨4S1\)
58974	10	6	False	False	\(∨2S1\)	\(∨2S1\)
58980	10	6	False	False	\(∨4S1\)	\(∨4S1\)
58992	10	6	False	False	\(∨3S1\)	\(∨3S1\)
58997	10	6	False	False	\(∨3S1\)	\(∨3S1\)
58999	10	6	False	False	\(∨3S1\)	\(∨3S1\)
59010	10	7	False	False	\(∨3S1\)	\(∨3S1\)
59033	10	6	False	False	\(∨4S1\)	\(∨4S1\)
59041	10	6	False	False	\(∨5S1\)	\(∨5S1\)
59056	10	6	False	False	\(∨3S1\)	\(∨3S1\)
59059	10	6	False	False	\(∨5S1\)	\(∨5S1\)
59072	10	6	False	False	\(∨3S1\)	\(∨3S1\)
59076	10	6	False	False	\(∨4S1\)	\(∨4S1\)
59095	10	6	False	False	\(∨5S1\)	\(∨5S1\)
59103	10	7	False	False	\(∨4S1\)	\(∨4S1\)
59146	10	7	False	False	\(∨2S1\)	\(∨2S1\)
59157	10	5	False	False	\(∨4S1\)	\(∨4S1\)
59159	10	5	False	False	\(∨5S1\)	\(∨5S1\)
59160	10	6	False	False	\(∨4S1\)	\(∨4S1\)
59163	10	6	False	False	\(∨3S1\)	\(∨3S1\)
59170	10	6	False	False	\(∨5S1\)	\(∨5S1\)
59174	10	7	False	False	\(∨3S1\)	\(∨3S1\)
59178	10	5	False	False	\(∨4S1\)	\(∨4S1\)
59185	10	5	False	False	\(∨4S1\)	\(∨4S1\)
59193	10	5	False	False	\(∨4S1\)	\(∨4S1\)
59195	10	6	False	False	\(∨4S1\)	\(∨4S1\)
59196	10	6	False	False	\(∨3S1\)	\(∨3S1\)
59210	10	5	False	False	\(∨4S1\)	\(∨4S1\)
59213	10	6	False	False	\(∨3S1\)	\(∨3S1\)
59216	10	6	False	False	\(∨3S1\)	\(∨3S1\)
59222	10	6	False	False	\(∨4S1\)	\(∨4S1\)
59256	10	6	False	False	\(∨3S1\)	\(∨3S1\)
59258	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
59271	10	6	False	False	\(∨3S1\)	\(∨3S1\)
59276	10	6	False	False	\(∨3S1\)	\(∨3S1\)
59278	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
59285	10	6	False	False	\(∨5S1\)	\(∨5S1\)
59287	10	7	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
59306	10	6	False	False	\(∨2S1\)	\(∨2S1\)
59339	10	7	False	False	\(S1∨ S2\)	\(S1∨ S3\)
59847	10	6	False	False	\(∨3S1\)	\(∨3S1\)
60252	10	6	False	False	\(∨3S1\)	\(∨3S1\)
60332	10	5	False	False	\(∨6S1\)	\(∨6S1\)
60336	10	5	False	False	\(∨5S1\)	\(∨5S1\)
60340	10	5	False	False	\(∨5S1\)	\(∨5S1\)
60342	10	5	False	False	\(∨4S1\)	\(∨4S1\)
60351	10	5	False	False	\(∨5S1\)	\(∨5S1\)
60356	10	6	False	False	\(∨4S1\)	\(∨4S1\)
60365	10	5	False	False	\(∨5S1\)	\(∨5S1\)
60367	10	6	False	False	\(∨4S1\)	\(∨4S1\)
60383	10	6	False	False	\(∨5S1\)	\(∨5S1\)
60648	10	5	False	False	\(∨4S1\)	\(∨4S1\)
60649	10	6	False	False	\(∨3S1\)	\(∨3S1\)
60658	10	6	False	False	\(∨4S1\)	\(∨4S1\)
61054	10	5	False	False	\(∨5S1\)	\(∨5S1\)
61063	10	6	False	False	\(∨5S1\)	\(∨5S1\)
61348	10	7	False	False	\(∨3S1\)	\(∨3S1\)
61430	10	6	False	False	\(∨3S1\)	\(∨3S1\)
61442	10	6	False	False	\(∨2S1\)	\(∨2S1\)
61455	10	6	False	False	\(∨2S1\)	\(∨2S1\)
61470	10	6	False	False	\(∨3S1\)	\(∨3S1\)
61477	10	7	False	False	\(S1\)	\(S1\)
61484	10	7	False	False	\(∨3S1\)	\(∨3S1\)
61514	10	7	False	False	\(S1\)	\(S1\)
61586	10	6	False	False	\(∨2S1\)	\(∨2S1\)
61604	10	6	False	False	\(∨4S1\)	\(∨4S1\)
61957	10	6	False	False	\(∨3S1\)	\(∨3S1\)
61960	10	6	False	False	\(∨4S1\)	\(∨4S1\)
62057	10	6	False	False	\(∨3S1\)	\(∨3S1\)
62069	10	6	False	False	\(∨3S1\)	\(∨3S1\)
62313	10	6	False	False	\(∨4S1∨ S2\)	\(∨4S1∨ S3\)
62316	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
62322	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
62329	10	7	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S3\)
62371	10	6	False	False	\(∨2S1\)	\(∨2S1\)
62484	10	6	False	False	\(∨4S1\)	\(∨4S1\)
62704	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
62712	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S3\)
62713	10	6	False	False	\(∨3S1\)	\(∨3S1\)
62881	10	6	False	False	\(∨4S1∨ S2\)	\(∨4S1∨ S3\)
63003	10	6	False	False	\(∨3S1\)	\(∨3S1\)
63006	10	6	False	False	\(∨4S1\)	\(∨4S1\)
63008	10	6	False	False	\(∨3S1\)	\(∨3S1\)
63014	10	6	False	False	\(∨3S1\)	\(∨3S1\)
63016	10	6	False	False	\(∨4S1\)	\(∨4S1\)
63018	10	6	False	False	\(∨4S1\)	\(∨4S1\)
63022	10	7	False	False	\(∨2S1\)	\(∨2S1\)
63082	10	7	False	False	\(S2\)	\(S3\)
63146	10	6	False	False	\(∨4S1\)	\(∨4S1\)
63203	10	7	False	False	\(∨3S2\)	\(∨2S2∨ S3\)
63504	10	7	False	True	Contractible	Contractible
63886	10	6	False	False	\(∨4S1\)	\(∨4S1\)
63957	10	6	False	False	\(∨4S1\)	\(∨4S1\)
65267	10	6	False	False	\(∨4S1\)	\(∨4S1\)
65271	10	6	False	False	\(∨4S1\)	\(∨4S1\)
65327	10	6	False	False	\(∨4S1\)	\(∨4S1\)
65394	10	6	False	False	\(∨4S1\)	\(∨4S1\)
65400	10	6	False	False	\(∨4S1\)	\(∨4S1\)
65416	10	7	False	False	\(∨4S1\)	\(∨4S1\)
65447	10	6	False	False	\(∨3S1\)	\(∨3S1\)
65468	10	6	False	False	\(∨3S1\)	\(∨3S1\)
65524	10	6	False	False	\(∨3S1\)	\(∨3S1\)
65611	10	5	False	False	\(∨3S1\)	\(∨3S1\)
65613	10	6	False	False	\(∨3S1\)	\(∨3S1\)
65616	10	5	False	False	\(∨4S1\)	\(∨4S1\)
65617	10	5	False	False	\(∨4S1\)	\(∨4S1\)
65620	10	6	False	False	\(∨4S1\)	\(∨4S1\)
65626	10	5	False	False	\(∨4S1\)	\(∨4S1\)
65629	10	6	False	False	\(∨3S1\)	\(∨3S1\)
65647	10	6	False	False	\(∨4S1\)	\(∨4S1\)
65650	10	6	False	False	\(∨4S1\)	\(∨4S1\)
65658	10	7	False	False	\(∨3S1\)	\(∨3S1\)
65662	10	7	False	False	\(∨4S1\)	\(∨4S1\)
65703	10	7	False	False	\(∨2S1\)	\(∨2S1\)
66847	10	5	False	False	\(∨3S1\)	\(∨3S1\)
68534	10	6	False	False	\(∨3S1\)	\(∨3S1\)
68604	10	6	False	False	\(∨4S1\)	\(∨4S1\)
68640	10	6	False	False	\(∨4S1\)	\(∨4S1\)
68656	10	7	False	False	\(∨3S1\)	\(∨3S1\)
68752	10	6	False	False	\(∨3S1\)	\(∨3S1\)
69718	10	6	False	False	\(∨3S1\)	\(∨3S1\)
69733	10	6	False	False	\(∨4S1\)	\(∨4S1\)
69913	10	6	False	False	\(∨4S1\)	\(∨4S1\)
69929	10	6	False	False	\(∨3S1\)	\(∨3S1\)
69956	10	7	False	False	\(∨3S1\)	\(∨3S1\)
70026	10	6	False	False	\(∨3S1\)	\(∨3S1\)
70112	10	6	False	False	\(∨3S1\)	\(∨3S1\)
71475	10	6	False	False	\(∨3S1\)	\(∨3S1\)
72882	10	6	False	False	\(∨3S1\)	\(∨3S1\)
74025	10	6	False	False	\(∨4S1\)	\(∨4S1\)
75867	10	6	False	False	\(∨3S1\)	\(∨3S1\)
75910	10	6	False	False	\(∨3S1\)	\(∨3S1\)
76001	10	6	False	False	\(∨3S1\)	\(∨3S1\)
76270	10	6	False	False	\(∨3S1\)	\(∨3S1\)
76418	10	6	False	False	\(∨4S1\)	\(∨4S1\)
76529	10	6	False	False	\(∨3S1\)	\(∨3S1\)
76546	10	6	False	False	\(∨3S1\)	\(∨3S1\)
76850	10	6	False	False	\(∨4S1\)	\(∨4S1\)
76934	10	6	False	False	\(∨3S1\)	\(∨3S1\)
77807	10	6	False	False	\(∨3S1\)	\(∨3S1\)
77829	10	6	False	False	\(∨3S1\)	\(∨3S1\)
78132	10	5	False	False	\(∨4S1\)	\(∨4S1\)
78235	10	6	False	False	\(∨4S1\)	\(∨4S1\)
78302	10	6	False	False	\(∨4S1\)	\(∨4S1\)
78315	10	6	False	False	\(∨5S1\)	\(∨5S1\)
78380	10	6	False	False	\(∨5S1\)	\(∨5S1\)
78392	10	6	False	False	\(∨4S1\)	\(∨4S1\)
78413	10	7	False	False	\(∨4S1\)	\(∨4S1\)
78474	10	6	False	False	\(∨4S1\)	\(∨4S1\)
78550	10	6	False	False	\(∨4S1\)	\(∨4S1\)
78561	10	6	False	False	\(∨4S1\)	\(∨4S1\)
79817	10	6	False	False	\(∨4S1\)	\(∨4S1\)
79923	10	5	False	False	\(∨4S1\)	\(∨4S1\)
80472	10	6	False	False	\(∨3S1\)	\(∨3S1\)
80515	10	5	False	False	\(∨4S1\)	\(∨4S1\)
80546	10	6	False	False	\(∨5S1\)	\(∨5S1\)
80627	10	5	False	False	\(∨3S1\)	\(∨3S1\)
80673	10	6	False	False	\(∨4S1\)	\(∨4S1\)
81072	10	5	False	False	\(∨3S1\)	\(∨3S1\)
81096	10	6	False	False	\(∨3S1\)	\(∨3S1\)
81128	10	5	False	False	\(∨3S1\)	\(∨3S1\)
81140	10	6	False	False	\(∨3S1\)	\(∨3S1\)
81182	10	5	False	False	\(∨3S1\)	\(∨3S1\)
81201	10	6	False	False	\(∨3S1\)	\(∨3S1\)
81223	10	6	False	False	\(∨3S1\)	\(∨3S1\)
81381	10	6	False	False	\(∨3S1\)	\(∨3S1\)
81439	10	5	False	False	\(∨3S1\)	\(∨3S1\)
81450	10	6	False	False	\(∨3S1\)	\(∨3S1\)
81465	10	6	False	False	\(∨3S1\)	\(∨3S1\)
81613	10	6	False	False	\(∨3S1\)	\(∨3S1\)
81842	10	6	False	False	\(∨4S1\)	\(∨4S1\)
81883	10	6	False	False	\(∨4S1\)	\(∨4S1\)
81961	10	6	False	False	\(∨4S1\)	\(∨4S1\)
82157	10	6	False	False	\(∨4S1\)	\(∨4S1\)
82301	10	6	False	False	\(∨5S1\)	\(∨5S1\)
82328	10	5	False	False	\(∨4S1\)	\(∨4S1\)
82345	10	6	False	False	\(∨4S1\)	\(∨4S1\)
82361	10	5	False	False	\(∨4S1\)	\(∨4S1\)
82376	10	5	False	False	\(∨4S1\)	\(∨4S1\)
82398	10	5	False	False	\(∨4S1\)	\(∨4S1\)
82400	10	6	False	False	\(∨3S1\)	\(∨3S1\)
82414	10	6	False	False	\(∨4S1\)	\(∨4S1\)
82504	10	6	False	False	\(∨5S1\)	\(∨5S1\)
82582	10	6	False	False	\(∨3S1\)	\(∨3S1\)
82593	10	6	False	False	\(∨4S1\)	\(∨4S1\)
82733	10	5	False	False	\(∨4S1\)	\(∨4S1\)
82734	10	5	False	False	\(∨4S1\)	\(∨4S1\)
82736	10	6	False	False	\(∨4S1\)	\(∨4S1\)
82738	10	5	False	False	\(∨4S1\)	\(∨4S1\)
82740	10	6	False	False	\(∨3S1\)	\(∨3S1\)
82744	10	6	False	False	\(∨4S1\)	\(∨4S1\)
82755	10	5	False	False	\(∨4S1\)	\(∨4S1\)
82764	10	6	False	False	\(∨4S1\)	\(∨4S1\)
82777	10	6	False	False	\(∨4S1\)	\(∨4S1\)
82859	10	6	False	False	\(∨3S1\)	\(∨3S1\)
82962	10	6	False	False	\(∨4S1\)	\(∨4S1\)
83232	10	6	False	False	\(∨4S1\)	\(∨4S1\)
83244	10	6	False	False	\(∨3S1\)	\(∨3S1\)
83245	10	6	False	False	\(∨4S1\)	\(∨4S1\)
83285	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S2\)
83345	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S2\)
83360	10	6	False	False	\(∨3S1\)	\(∨3S1\)
83368	10	6	False	False	\(∨3S1\)	\(∨3S1\)
83711	10	6	False	False	\(∨3S1\)	\(∨3S1\)
84549	10	6	False	False	\(∨3S1\)	\(∨3S1\)
84655	10	6	False	False	\(∨3S1\)	\(∨3S1\)
84669	10	6	False	False	\(∨2S1\)	\(∨2S1\)
84691	10	7	False	False	\(∨2S1\)	\(∨2S1\)
84707	10	6	False	False	\(∨3S1∨ S2\)	\(∨3S1∨ S2\)
84715	10	6	False	False	\(∨4S1\)	\(∨4S1\)
84761	10	6	False	False	\(∨2S1∨ S2\)	\(∨2S1∨ S2\)
84774	10	6	False	False	\(∨2S1\)	\(∨2S1\)
84783	10	6	False	False	\(∨3S1\)	\(∨3S1\)
89470	10	6	False	False	\(∨3S1\)	\(∨3S1\)
89489	10	6	False	False	\(∨3S1\)	\(∨3S1\)
89574	10	6	False	False	\(∨3S1\)	\(∨3S1\)
89615	10	6	False	False	\(∨3S1\)	\(∨3S1\)
89639	10	6	False	False	\(∨3S1\)	\(∨3S1\)
89705	10	6	False	False	\(∨3S1\)	\(∨3S1\)
89737	10	6	False	False	\(∨3S1\)	\(∨3S1\)
90688	10	6	False	False	\(∨4S1\)	\(∨4S1\)
91113	10	6	False	False	\(∨3S1\)	\(∨3S1\)
91569	10	6	False	False	\(∨2S1\)	\(∨2S1\)
91881	10	6	False	False	\(∨3S1\)	\(∨3S1\)
91999	10	6	False	False	\(∨3S1\)	\(∨3S1\)
92024	10	6	False	False	\(∨2S1\)	\(∨2S1\)
92033	10	6	False	False	\(∨3S1\)	\(∨3S1\)
92043	10	6	False	False	\(∨4S1\)	\(∨4S1\)
92203	10	6	False	False	\(∨4S1\)	\(∨4S1\)
92645	10	6	False	False	\(∨3S1\)	\(∨3S1\)
92695	10	6	False	False	\(∨4S1\)	\(∨4S1\)
92968	10	6	False	False	\(∨3S1\)	\(∨3S1\)
93588	10	6	False	False	\(∨3S1\)	\(∨3S1\)
93601	10	6	False	False	\(∨4S1\)	\(∨4S1\)
93669	10	6	False	False	\(∨4S1\)	\(∨4S1\)
93828	10	5	False	False	\(∨2S1\)	\(∨2S1\)
93879	10	6	False	False	\(∨3S1\)	\(∨3S1\)
94044	10	6	False	False	\(∨3S1\)	\(∨3S1\)
94049	10	6	False	False	\(∨3S1\)	\(∨3S1\)
94054	10	6	False	False	\(∨4S1\)	\(∨4S1\)
94062	10	7	False	False	\(∨3S1\)	\(∨3S1\)
94081	10	6	False	False	\(∨4S1\)	\(∨4S1\)
94090	10	6	False	False	\(∨3S1\)	\(∨3S1\)
94112	10	6	False	False	\(∨5S1\)	\(∨5S1\)
94134	10	6	False	False	\(∨3S1\)	\(∨3S1\)
94160	10	6	False	False	\(∨4S1\)	\(∨4S1\)
94229	10	6	False	False	\(∨3S1\)	\(∨3S1\)
94863	10	6	False	False	\(∨3S1\)	\(∨3S1\)
94947	10	6	False	False	\(∨2S1\)	\(∨2S1\)
95100	10	6	False	False	\(∨3S1\)	\(∨3S1\)
95424	10	6	False	False	\(∨3S1\)	\(∨3S1\)
95435	10	6	False	False	\(∨4S1\)	\(∨4S1\)
95609	10	6	False	False	\(∨3S1\)	\(∨3S1\)
95635	10	6	False	False	\(∨2S1\)	\(∨2S1\)
95654	10	6	False	False	\(∨4S1\)	\(∨4S1\)
95745	10	6	False	False	\(∨3S1\)	\(∨3S1\)
95988	10	6	False	False	\(∨3S1\)	\(∨3S1\)
96071	10	6	False	False	\(∨3S1\)	\(∨3S1\)
96543	10	6	False	False	\(∨3S1\)	\(∨3S1\)
96561	10	6	False	False	\(∨3S1\)	\(∨3S1\)
96588	10	6	False	False	\(∨4S1\)	\(∨4S1\)
96608	10	6	False	False	\(∨2S1\)	\(∨2S1\)
96618	10	6	False	False	\(∨2S1\)	\(∨2S1\)
96634	10	6	False	False	\(∨3S1\)	\(∨3S1\)
96638	10	6	False	False	\(∨3S1\)	\(∨3S1\)
96990	10	6	False	False	\(∨3S1\)	\(∨3S1\)
96999	10	6	False	False	\(∨4S1\)	\(∨4S1\)
97019	10	6	False	False	\(∨4S1\)	\(∨4S1\)
97031	10	6	False	False	\(∨5S1\)	\(∨5S1\)
97067	10	6	False	False	\(∨3S1\)	\(∨3S1\)
97420	10	6	False	False	\(∨4S1\)	\(∨4S1\)
97498	10	6	False	False	\(∨3S1\)	\(∨3S1\)
97500	10	6	False	False	\(∨3S1\)	\(∨3S1\)
97504	10	6	False	False	\(∨4S1\)	\(∨4S1\)
97506	10	7	False	False	\(∨3S1\)	\(∨3S1\)
97508	10	6	False	False	\(∨2S1\)	\(∨2S1\)
97514	10	6	False	False	\(∨4S1\)	\(∨4S1\)
97526	10	6	False	False	\(∨5S1\)	\(∨5S1\)
98154	10	6	False	False	\(∨3S1\)	\(∨3S1\)
98180	10	6	False	False	\(∨3S1\)	\(∨3S1\)
98559	10	5	False	False	\(∨4S1\)	\(∨4S1\)
98569	10	5	False	False	\(∨4S1\)	\(∨4S1\)
98583	10	6	False	False	\(∨4S1\)	\(∨4S1\)
98586	10	5	False	False	\(∨3S1\)	\(∨3S1\)
98604	10	5	False	False	\(∨3S1\)	\(∨3S1\)
98609	10	5	False	False	\(∨4S1\)	\(∨4S1\)
98627	10	6	False	False	\(∨4S1\)	\(∨4S1\)
98674	10	6	False	False	\(∨4S1\)	\(∨4S1\)
98698	10	5	False	False	\(∨4S1\)	\(∨4S1\)
98706	10	5	False	False	\(∨5S1\)	\(∨5S1\)
98718	10	6	False	False	\(∨4S1\)	\(∨4S1\)
98728	10	5	False	False	\(∨5S1\)	\(∨5S1\)
98741	10	6	False	False	\(∨4S1\)	\(∨4S1\)
98753	10	6	False	False	\(∨5S1\)	\(∨5S1\)
98768	10	7	False	False	\(∨4S1\)	\(∨4S1\)
98892	10	6	False	False	\(∨4S1\)	\(∨4S1\)
98928	10	6	False	False	\(∨4S1\)	\(∨4S1\)
98929	10	6	False	False	\(∨4S1\)	\(∨4S1\)
98943	10	6	False	False	\(∨4S1\)	\(∨4S1\)
98952	10	6	False	False	\(∨5S1\)	\(∨5S1\)
98967	10	7	False	False	\(∨4S1\)	\(∨4S1\)
99884	10	6	False	False	\(∨3S1\)	\(∨3S1\)