All constructions

Every record, grouped by problem, with links to the record file, its exact certificate and its float check on GitHub. Open a problem to see its 39 values of n.

All 2,145 records on this site are certified exactly. The same files are in records/; SUMMARY.csv and SUMMARY_families.csv list every value with all digits, and data/records.json holds everything shown on this site. Download the whole repository.

Platonic

Tetrahedra in a tetrahedron tetintet, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.95356+	tetintet_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	tetintet_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	tetintet_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.00000+	tetintet_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.29099+	tetintet_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.38195+	tetintet_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.38742+	tetintet_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.61556+	tetintet_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.70630+	tetintet_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.79938+	tetintet_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.85760+	tetintet_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.91514+	tetintet_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.94300+	tetintet_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	2.98883+	tetintet_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.03538+	tetintet_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.08936+	tetintet_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.11466+	tetintet_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.18726+	tetintet_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.24580+	tetintet_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.29827+	tetintet_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.34340+	tetintet_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.38259+	tetintet_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.43388+	tetintet_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.48910+	tetintet_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.58091+	tetintet_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.61602+	tetintet_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.68963+	tetintet_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.71166+	tetintet_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.75412+	tetintet_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.82327+	tetintet_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.85384+	tetintet_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.89213+	tetintet_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.92757+	tetintet_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.95251+	tetintet_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.97136+	tetintet_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	3.99818+	tetintet_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.03555+	tetintet_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.04630+	tetintet_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.05505+	tetintet_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/tetintet

Octahedra in an octahedron octinoct, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.93311+	octinoct_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	octinoct_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	octinoct_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.00000+	octinoct_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.00000+	octinoct_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.50000+	octinoct_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.50000+	octinoct_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.50000+	octinoct_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.50000+	octinoct_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.66666+	octinoct_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.66666+	octinoct_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.83333+	octinoct_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.94311+	octinoct_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	2.98533+	octinoct_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	2.99465+	octinoct_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.00000+	octinoct_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.00000+	octinoct_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.00000+	octinoct_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.16653+	octinoct_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.20000+	octinoct_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.25000+	octinoct_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.25000+	octinoct_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.36363+	octinoct_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.39983+	octinoct_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.42857+	octinoct_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.50000+	octinoct_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.50000+	octinoct_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.50000+	octinoct_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.60000+	octinoct_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.66666+	octinoct_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.69230+	octinoct_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.73684+	octinoct_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.78844+	octinoct_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.80000+	octinoct_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.85433+	octinoct_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	3.88376+	octinoct_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	3.91696+	octinoct_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	3.92959+	octinoct_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	3.95554+	octinoct_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/octinoct

Icosahedra in an icosahedron icoinico, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.96308+	icoinico_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	icoinico_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.14589+	icoinico_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.23606+	icoinico_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.34164+	icoinico_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.44931+	icoinico_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.49661+	icoinico_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.58295+	icoinico_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.60989+	icoinico_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.61803+	icoinico_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.61803+	icoinico_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.80901+	icoinico_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.01780+	icoinico_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.04832+	icoinico_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.12130+	icoinico_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.19692+	icoinico_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.19821+	icoinico_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.31147+	icoinico_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.35370+	icoinico_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.40705+	icoinico_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.47954+	icoinico_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.55296+	icoinico_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.59398+	icoinico_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.60901+	icoinico_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.67328+	icoinico_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.70095+	icoinico_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.74070+	icoinico_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.77348+	icoinico_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.82255+	icoinico_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.85695+	icoinico_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.87928+	icoinico_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.89699+	icoinico_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.90016+	icoinico_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.93629+	icoinico_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.01231+	icoinico_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.04727+	icoinico_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.06030+	icoinico_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.06965+	icoinico_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.10751+	icoinico_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/icoinico

Dodecahedra in a dodecahedron dodindod, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.98759+	dodindod_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	dodindod_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	dodindod_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.23606+	dodindod_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.23606+	dodindod_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.42705+	dodindod_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.52786+	dodindod_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.59888+	dodindod_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.70520+	dodindod_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.76393+	dodindod_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.76393+	dodindod_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.90557+	dodindod_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.00000+	dodindod_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.03743+	dodindod_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.10210+	dodindod_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.16774+	dodindod_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.21549+	dodindod_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.29218+	dodindod_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.34969+	dodindod_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.39148+	dodindod_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.44428+	dodindod_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.55488+	dodindod_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.57860+	dodindod_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.60237+	dodindod_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.63718+	dodindod_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.70130+	dodindod_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.73369+	dodindod_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.74709+	dodindod_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.74709+	dodindod_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.74709+	dodindod_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.74709+	dodindod_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.74709+	dodindod_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.91148+	dodindod_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.98565+	dodindod_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.02142+	dodindod_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.07872+	dodindod_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.12050+	dodindod_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.14221+	dodindod_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.17626+	dodindod_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/dodindod

Cubes in a cube cubincub, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	2.00000+	cubincub_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	cubincub_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	cubincub_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.00000+	cubincub_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.00000+	cubincub_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.00000+	cubincub_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.00000+	cubincub_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.70710+	cubincub_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.70710+	cubincub_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.88171+	cubincub_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo (search started from the published packing of H. Lin, July 2026 (Tencent-Hunyuan/Hyra-results))
12	2.93151+	cubincub_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.97661+	cubincub_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.98994+	cubincub_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.00000+	cubincub_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.00000+	cubincub_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.00000+	cubincub_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.00000+	cubincub_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.00000+	cubincub_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.00000+	cubincub_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.00000+	cubincub_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.00000+	cubincub_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.00000+	cubincub_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.00000+	cubincub_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.00000+	cubincub_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.00000+	cubincub_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.00000+	cubincub_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.70710+	cubincub_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.70710+	cubincub_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.70710+	cubincub_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.70710+	cubincub_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.70710+	cubincub_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.76628+	cubincub_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.89442+	cubincub_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.89442+	cubincub_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.91228+	cubincub_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	3.92631+	cubincub_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	3.98077+	cubincub_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.00000+	cubincub_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.00000+	cubincub_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/cubincub

Cubes in an octahedron cubinoct, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	2.41421+	cubinoct_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.70710+	cubinoct_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.70710+	cubinoct_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.91421+	cubinoct_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.93435+	cubinoct_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	3.29102+	cubinoct_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	3.41421+	cubinoct_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	3.61760+	cubinoct_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	3.69181+	cubinoct_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	3.70710+	cubinoct_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	3.70710+	cubinoct_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	3.79737+	cubinoct_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.91512+	cubinoct_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.96266+	cubinoct_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	4.00052+	cubinoct_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	4.04396+	cubinoct_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	4.04898+	cubinoct_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	4.10658+	cubinoct_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	4.32269+	cubinoct_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	4.47061+	cubinoct_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	4.59310+	cubinoct_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	4.62576+	cubinoct_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	4.70710+	cubinoct_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	4.70710+	cubinoct_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	4.74530+	cubinoct_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	4.81053+	cubinoct_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	4.84419+	cubinoct_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	4.89243+	cubinoct_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	4.91981+	cubinoct_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	4.96097+	cubinoct_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	4.99853+	cubinoct_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	5.02843+	cubinoct_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	5.05251+	cubinoct_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	5.06974+	cubinoct_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	5.08974+	cubinoct_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	5.10324+	cubinoct_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	5.13601+	cubinoct_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	5.17002+	cubinoct_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	5.19194+	cubinoct_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/cubinoct

Octahedra in a cube octincub, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.41421+	octincub_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	1.63299+	octincub_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	1.64991+	octincub_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	1.75782+	octincub_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	1.76776+	octincub_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	1.79133+	octincub_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	1.79133+	octincub_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	1.88561+	octincub_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.14936+	octincub_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.23071+	octincub_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.29102+	octincub_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.33944+	octincub_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.36547+	octincub_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	2.42999+	octincub_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	2.45865+	octincub_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	2.50659+	octincub_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	2.51875+	octincub_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	2.55209+	octincub_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo (search started from the published packing of H. Lin, July 2026 (Tencent-Hunyuan/Hyra-results))
20	2.57418+	octincub_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo (search started from the published packing of H. Lin, July 2026 (Tencent-Hunyuan/Hyra-results))
21	2.58957+	octincub_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo (search started from the published packing of H. Lin, July 2026 (Tencent-Hunyuan/Hyra-results))
22	2.60569+	octincub_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	2.62246+	octincub_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	2.62792+	octincub_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo (search started from the published packing of H. Lin, July 2026 (Tencent-Hunyuan/Hyra-results))
25	2.63620+	octincub_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo (search started from the published packing of H. Lin, July 2026 (Tencent-Hunyuan/Hyra-results))
26	2.63986+	octincub_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	2.63986+	octincub_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	2.75731+	octincub_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	2.82842+	octincub_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	2.88658+	octincub_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	2.93422+	octincub_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	2.99146+	octincub_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.03494+	octincub_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.07374+	octincub_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.08910+	octincub_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.11859+	octincub_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	3.15314+	octincub_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	3.18237+	octincub_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	3.23286+	octincub_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	3.24518+	octincub_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/octincub

Dodecahedra in an icosahedron dodinico, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	2.89442+	dodinico_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	3.14562+	dodinico_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	3.37546+	dodinico_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	3.57490+	dodinico_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	3.63755+	dodinico_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	3.85641+	dodinico_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	3.96658+	dodinico_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	4.02206+	dodinico_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	4.06524+	dodinico_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	4.06524+	dodinico_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	4.06524+	dodinico_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	4.06524+	dodinico_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	4.59694+	dodinico_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	4.67481+	dodinico_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	4.79245+	dodinico_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	4.88916+	dodinico_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	4.97123+	dodinico_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	5.07936+	dodinico_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	5.15760+	dodinico_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	5.26142+	dodinico_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	5.32240+	dodinico_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	5.40195+	dodinico_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	5.47474+	dodinico_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	5.53087+	dodinico_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	5.61552+	dodinico_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	5.66985+	dodinico_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	5.73945+	dodinico_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	5.77917+	dodinico_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	5.84833+	dodinico_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	5.90253+	dodinico_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	5.94969+	dodinico_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	5.96371+	dodinico_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	5.98812+	dodinico_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	6.01397+	dodinico_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	6.14069+	dodinico_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	6.21295+	dodinico_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	6.26922+	dodinico_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	6.30736+	dodinico_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	6.32472+	dodinico_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/dodinico

Icosahedra in a dodecahedron icoindod, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.23606+	icoindod_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	1.37303+	icoindod_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	1.39344+	icoindod_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	1.53319+	icoindod_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	1.55131+	icoindod_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	1.66853+	icoindod_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	1.69778+	icoindod_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	1.77163+	icoindod_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	1.81821+	icoindod_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	1.86714+	icoindod_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	1.87461+	icoindod_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	1.90402+	icoindod_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	1.97107+	icoindod_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	2.00000+	icoindod_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	2.05510+	icoindod_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	2.09085+	icoindod_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	2.16215+	icoindod_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	2.20355+	icoindod_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	2.24176+	icoindod_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	2.28370+	icoindod_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	2.29459+	icoindod_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	2.34871+	icoindod_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	2.36541+	icoindod_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	2.39258+	icoindod_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	2.42244+	icoindod_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	2.44475+	icoindod_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	2.46823+	icoindod_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	2.47572+	icoindod_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	2.49070+	icoindod_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	2.50916+	icoindod_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	2.52216+	icoindod_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	2.53601+	icoindod_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	2.58115+	icoindod_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	2.62753+	icoindod_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	2.67096+	icoindod_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	2.68615+	icoindod_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	2.69655+	icoindod_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	2.72805+	icoindod_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	2.74184+	icoindod_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/icoindod

Archimedean

Truncated tetrahedra in a truncated tetrahedron tteintte, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.97311+	tteintte_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	tteintte_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	tteintte_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.22116+	tteintte_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.33333+	tteintte_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.33333+	tteintte_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.33333+	tteintte_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.50000+	tteintte_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.50000+	tteintte_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.62200+	tteintte_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.86980+	tteintte_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.91701+	tteintte_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.94460+	tteintte_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.00000+	tteintte_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.00000+	tteintte_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.00000+	tteintte_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.00000+	tteintte_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.00000+	tteintte_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.00000+	tteintte_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.00000+	tteintte_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.25332+	tteintte_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.29202+	tteintte_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.34073+	tteintte_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.36177+	tteintte_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.58102+	tteintte_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.64720+	tteintte_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.70411+	tteintte_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.72797+	tteintte_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.75500+	tteintte_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.78996+	tteintte_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.79558+	tteintte_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.85342+	tteintte_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.85811+	tteintte_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.92447+	tteintte_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.92447+	tteintte_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	3.97425+	tteintte_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	3.98264+	tteintte_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.01814+	tteintte_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.03212+	tteintte_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/tteintte

Cuboctahedra in a cuboctahedron cboincbo, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.87114+	cboincbo_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	cboincbo_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.17604+	cboincbo_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.29132+	cboincbo_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.33585+	cboincbo_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.40301+	cboincbo_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.75378+	cboincbo_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.81757+	cboincbo_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.83980+	cboincbo_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.85458+	cboincbo_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.85458+	cboincbo_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.88158+	cboincbo_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.00000+	cboincbo_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.00000+	cboincbo_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.06585+	cboincbo_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.15240+	cboincbo_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.21549+	cboincbo_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.24356+	cboincbo_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.27084+	cboincbo_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.33195+	cboincbo_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.41286+	cboincbo_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.53147+	cboincbo_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.55110+	cboincbo_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.61064+	cboincbo_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.63022+	cboincbo_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.70990+	cboincbo_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.77340+	cboincbo_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.80946+	cboincbo_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.86895+	cboincbo_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.89548+	cboincbo_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.90113+	cboincbo_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.94053+	cboincbo_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.97269+	cboincbo_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.99981+	cboincbo_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.01798+	cboincbo_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.03626+	cboincbo_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.06079+	cboincbo_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.06745+	cboincbo_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.11078+	cboincbo_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/cboincbo

Truncated cubes in a truncated cube tcuintcu, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	2.00000+	tcuintcu_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	tcuintcu_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	tcuintcu_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.13270+	tcuintcu_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.15519+	tcuintcu_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.19013+	tcuintcu_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.24264+	tcuintcu_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.76258+	tcuintcu_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.94003+	tcuintcu_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.94003+	tcuintcu_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	3.00000+	tcuintcu_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	3.00000+	tcuintcu_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.00000+	tcuintcu_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.00000+	tcuintcu_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.00000+	tcuintcu_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.00000+	tcuintcu_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.00000+	tcuintcu_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.03886+	tcuintcu_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.04966+	tcuintcu_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.04966+	tcuintcu_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.16023+	tcuintcu_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.20479+	tcuintcu_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.26540+	tcuintcu_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.41421+	tcuintcu_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.66837+	tcuintcu_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.70710+	tcuintcu_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.70710+	tcuintcu_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.76706+	tcuintcu_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.81708+	tcuintcu_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.81914+	tcuintcu_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.89509+	tcuintcu_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.89509+	tcuintcu_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.94758+	tcuintcu_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.96561+	tcuintcu_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.97614+	tcuintcu_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.00000+	tcuintcu_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.00000+	tcuintcu_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.00000+	tcuintcu_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.00000+	tcuintcu_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/tcuintcu

Truncated octahedra in a truncated octahedron tocintoc, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.79829+	tocintoc_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	tocintoc_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	tocintoc_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.28678+	tocintoc_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.33886+	tocintoc_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.54588+	tocintoc_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.58134+	tocintoc_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.79321+	tocintoc_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.87244+	tocintoc_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.87865+	tocintoc_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.89456+	tocintoc_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.92679+	tocintoc_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.02436+	tocintoc_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.05189+	tocintoc_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.08757+	tocintoc_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.17048+	tocintoc_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.29125+	tocintoc_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.39769+	tocintoc_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.42288+	tocintoc_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.48982+	tocintoc_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.54910+	tocintoc_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.56979+	tocintoc_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.59811+	tocintoc_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.64907+	tocintoc_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.66063+	tocintoc_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.68397+	tocintoc_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.75974+	tocintoc_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.78076+	tocintoc_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.84050+	tocintoc_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.86657+	tocintoc_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.88634+	tocintoc_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.89750+	tocintoc_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.94103+	tocintoc_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.94206+	tocintoc_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.94420+	tocintoc_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	3.94660+	tocintoc_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	3.95449+	tocintoc_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.12074+	tocintoc_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.12705+	tocintoc_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/tocintoc

Rhombicuboctahedra in a rhombicuboctahedron rcoinrco, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.92893+	rcoinrco_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.03451+	rcoinrco_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.18755+	rcoinrco_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.34170+	rcoinrco_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.37921+	rcoinrco_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.57518+	rcoinrco_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.64077+	rcoinrco_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.71754+	rcoinrco_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.80591+	rcoinrco_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.93799+	rcoinrco_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.94827+	rcoinrco_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.96426+	rcoinrco_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.03633+	rcoinrco_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.08194+	rcoinrco_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.16538+	rcoinrco_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.20704+	rcoinrco_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.27455+	rcoinrco_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.38659+	rcoinrco_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.38834+	rcoinrco_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.44149+	rcoinrco_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.52936+	rcoinrco_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.53869+	rcoinrco_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.56462+	rcoinrco_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.56856+	rcoinrco_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.65192+	rcoinrco_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.74263+	rcoinrco_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.80653+	rcoinrco_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.80654+	rcoinrco_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.82436+	rcoinrco_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.90500+	rcoinrco_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.99177+	rcoinrco_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	4.01210+	rcoinrco_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.04102+	rcoinrco_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.06337+	rcoinrco_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.08816+	rcoinrco_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.14872+	rcoinrco_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.18651+	rcoinrco_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.20783+	rcoinrco_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.24060+	rcoinrco_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/rcoinrco

Truncated cuboctahedra in a truncated cuboctahedron tcointco, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.83110+	tcointco_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.07252+	tcointco_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.15262+	tcointco_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.29166+	tcointco_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.36771+	tcointco_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.49885+	tcointco_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.58372+	tcointco_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.69040+	tcointco_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.77580+	tcointco_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.78586+	tcointco_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.83209+	tcointco_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.83654+	tcointco_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.00000+	tcointco_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.09223+	tcointco_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.14978+	tcointco_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.21735+	tcointco_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.27859+	tcointco_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.33399+	tcointco_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.40238+	tcointco_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.43900+	tcointco_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.46171+	tcointco_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.59248+	tcointco_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.63795+	tcointco_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.65133+	tcointco_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.69985+	tcointco_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.70936+	tcointco_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.74597+	tcointco_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.77916+	tcointco_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.84075+	tcointco_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.87282+	tcointco_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.89679+	tcointco_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.95161+	tcointco_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.96221+	tcointco_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.02368+	tcointco_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.05601+	tcointco_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.06897+	tcointco_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.07494+	tcointco_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.13329+	tcointco_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.17067+	tcointco_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/tcointco

Snub cubes in a snub cube sncinsnc, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.91066+	sncinsnc_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.09098+	sncinsnc_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.19027+	sncinsnc_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.33955+	sncinsnc_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.37698+	sncinsnc_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.53648+	sncinsnc_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.58546+	sncinsnc_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.71441+	sncinsnc_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.80666+	sncinsnc_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.89157+	sncinsnc_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.90604+	sncinsnc_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.95164+	sncinsnc_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.05393+	sncinsnc_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.12386+	sncinsnc_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.18015+	sncinsnc_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.22603+	sncinsnc_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.29513+	sncinsnc_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.34209+	sncinsnc_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.40093+	sncinsnc_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.46673+	sncinsnc_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.50327+	sncinsnc_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.51422+	sncinsnc_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.54147+	sncinsnc_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.55217+	sncinsnc_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.60018+	sncinsnc_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.68623+	sncinsnc_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.71411+	sncinsnc_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.80120+	sncinsnc_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.82663+	sncinsnc_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.93021+	sncinsnc_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.94794+	sncinsnc_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	4.00847+	sncinsnc_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.05357+	sncinsnc_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.07185+	sncinsnc_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.10533+	sncinsnc_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.13363+	sncinsnc_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.16528+	sncinsnc_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.18942+	sncinsnc_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.21910+	sncinsnc_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/sncinsnc

Icosidodecahedra in an icosidodecahedron idoinido, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.91992+	idoinido_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	idoinido_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.13319+	idoinido_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.23606+	idoinido_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.23606+	idoinido_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.51914+	idoinido_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.57878+	idoinido_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.67051+	idoinido_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.76078+	idoinido_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.87415+	idoinido_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.89349+	idoinido_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.93463+	idoinido_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.98599+	idoinido_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.04436+	idoinido_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.11839+	idoinido_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.20654+	idoinido_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.24561+	idoinido_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.30542+	idoinido_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.43972+	idoinido_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.48801+	idoinido_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.51963+	idoinido_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.56174+	idoinido_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.60475+	idoinido_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.66134+	idoinido_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.68405+	idoinido_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.74130+	idoinido_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.78152+	idoinido_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.80955+	idoinido_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.85037+	idoinido_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.87061+	idoinido_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.91354+	idoinido_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.95816+	idoinido_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.98067+	idoinido_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.00718+	idoinido_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.00718+	idoinido_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.03802+	idoinido_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.05265+	idoinido_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.12136+	idoinido_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.15822+	idoinido_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/idoinido

Truncated dodecahedra in a truncated dodecahedron tdointdo, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.97277+	tdointdo_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	tdointdo_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.07115+	tdointdo_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.23606+	tdointdo_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.23606+	tdointdo_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.54637+	tdointdo_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.58661+	tdointdo_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.71489+	tdointdo_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.74391+	tdointdo_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.83812+	tdointdo_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.91583+	tdointdo_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.93008+	tdointdo_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.01590+	tdointdo_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.05413+	tdointdo_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.13898+	tdointdo_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.19807+	tdointdo_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.26471+	tdointdo_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.36665+	tdointdo_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.43181+	tdointdo_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.45354+	tdointdo_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.52292+	tdointdo_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.57066+	tdointdo_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.59749+	tdointdo_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.64347+	tdointdo_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.66129+	tdointdo_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.71014+	tdointdo_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.73175+	tdointdo_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.79358+	tdointdo_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.84720+	tdointdo_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.86484+	tdointdo_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.92721+	tdointdo_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.96640+	tdointdo_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.99004+	tdointdo_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.01168+	tdointdo_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.03737+	tdointdo_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.08479+	tdointdo_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.08496+	tdointdo_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.09410+	tdointdo_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.11561+	tdointdo_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/tdointdo

Truncated icosahedra in a truncated icosahedron ticintic, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.94830+	ticintic_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.12595+	ticintic_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.21742+	ticintic_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.37851+	ticintic_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.39164+	ticintic_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.56575+	ticintic_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.62829+	ticintic_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.93977+	ticintic_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.93981+	ticintic_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.95618+	ticintic_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.95830+	ticintic_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.97817+	ticintic_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.07943+	ticintic_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.12036+	ticintic_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.17937+	ticintic_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.23309+	ticintic_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.29678+	ticintic_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.36190+	ticintic_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.49457+	ticintic_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.54310+	ticintic_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.54310+	ticintic_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.60527+	ticintic_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.71102+	ticintic_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.71102+	ticintic_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.74578+	ticintic_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.76773+	ticintic_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.81323+	ticintic_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.83304+	ticintic_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.85345+	ticintic_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.90233+	ticintic_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.98575+	ticintic_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	4.01083+	ticintic_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.04099+	ticintic_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.05248+	ticintic_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.08400+	ticintic_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.09828+	ticintic_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.13650+	ticintic_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.20416+	ticintic_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.23756+	ticintic_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ticintic

Rhombicosidodecahedra in a rhombicosidodecahedron ridinrid, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.94579+	ridinrid_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.13303+	ridinrid_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.20637+	ridinrid_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.35624+	ridinrid_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.35769+	ridinrid_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.56245+	ridinrid_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.63031+	ridinrid_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.90497+	ridinrid_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.91615+	ridinrid_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.91615+	ridinrid_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.91615+	ridinrid_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.91615+	ridinrid_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.04490+	ridinrid_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.10780+	ridinrid_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.15758+	ridinrid_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.24862+	ridinrid_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.30421+	ridinrid_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.36486+	ridinrid_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.47779+	ridinrid_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.54162+	ridinrid_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.56525+	ridinrid_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.65720+	ridinrid_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.66325+	ridinrid_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.73872+	ridinrid_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.78099+	ridinrid_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.78714+	ridinrid_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.81209+	ridinrid_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.85174+	ridinrid_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.88744+	ridinrid_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.93466+	ridinrid_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.96262+	ridinrid_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.99991+	ridinrid_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.02424+	ridinrid_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.05947+	ridinrid_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.08341+	ridinrid_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.09293+	ridinrid_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.09293+	ridinrid_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.20623+	ridinrid_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.22547+	ridinrid_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ridinrid

Truncated icosidodecahedra in a truncated icosidodecahedron tidintid, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.88573+	tidintid_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.09344+	tidintid_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.14959+	tidintid_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.34111+	tidintid_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.36687+	tidintid_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.54349+	tidintid_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.59679+	tidintid_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.67369+	tidintid_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.80596+	tidintid_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.83449+	tidintid_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.86767+	tidintid_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.87196+	tidintid_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.96886+	tidintid_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.04437+	tidintid_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.11157+	tidintid_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.17259+	tidintid_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.25529+	tidintid_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.31435+	tidintid_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.39013+	tidintid_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.41327+	tidintid_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.51645+	tidintid_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.57161+	tidintid_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.62395+	tidintid_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.68744+	tidintid_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.70497+	tidintid_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.71337+	tidintid_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.76254+	tidintid_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.79954+	tidintid_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.84614+	tidintid_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.86927+	tidintid_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.91139+	tidintid_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.96983+	tidintid_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.99110+	tidintid_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.01029+	tidintid_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.05664+	tidintid_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.07013+	tidintid_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.13847+	tidintid_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.14224+	tidintid_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.17318+	tidintid_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/tidintid

Snub dodecahedra in a snub dodecahedron sndinsnd, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.93072+	sndinsnd_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.10449+	sndinsnd_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.18080+	sndinsnd_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.37192+	sndinsnd_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.37583+	sndinsnd_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.55972+	sndinsnd_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.60001+	sndinsnd_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.68122+	sndinsnd_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.77731+	sndinsnd_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.83156+	sndinsnd_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.83473+	sndinsnd_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.89730+	sndinsnd_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.02828+	sndinsnd_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.09246+	sndinsnd_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.14676+	sndinsnd_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.23590+	sndinsnd_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.26995+	sndinsnd_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.34251+	sndinsnd_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.41377+	sndinsnd_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.44721+	sndinsnd_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.53258+	sndinsnd_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.61509+	sndinsnd_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.66702+	sndinsnd_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.69695+	sndinsnd_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.73347+	sndinsnd_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.75542+	sndinsnd_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.80201+	sndinsnd_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.84539+	sndinsnd_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.87139+	sndinsnd_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.89982+	sndinsnd_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.94122+	sndinsnd_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.96621+	sndinsnd_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.98651+	sndinsnd_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.05552+	sndinsnd_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.09689+	sndinsnd_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.10594+	sndinsnd_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.12521+	sndinsnd_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.19139+	sndinsnd_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.19445+	sndinsnd_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/sndinsnd

Catalan

Triakis tetrahedra in a triakis tetrahedron kttinktt, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.66666+	kttinktt_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	1.66666+	kttinktt_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	1.66666+	kttinktt_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.14856+	kttinktt_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.34764+	kttinktt_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.40804+	kttinktt_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.50192+	kttinktt_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.60049+	kttinktt_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.66707+	kttinktt_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.70885+	kttinktt_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.78577+	kttinktt_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.82136+	kttinktt_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.85274+	kttinktt_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.06609+	kttinktt_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.07010+	kttinktt_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.09362+	kttinktt_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.17180+	kttinktt_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.22452+	kttinktt_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.26276+	kttinktt_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.30812+	kttinktt_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.39478+	kttinktt_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.42818+	kttinktt_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.50475+	kttinktt_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.51804+	kttinktt_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.54971+	kttinktt_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.57914+	kttinktt_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.63444+	kttinktt_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.70139+	kttinktt_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.73101+	kttinktt_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.75029+	kttinktt_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.79208+	kttinktt_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.81902+	kttinktt_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.85866+	kttinktt_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.88183+	kttinktt_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.90945+	kttinktt_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	3.91531+	kttinktt_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	3.96592+	kttinktt_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	3.97159+	kttinktt_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.00804+	kttinktt_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/kttinktt

Rhombic dodecahedra in a rhombic dodecahedron rdoinrdo, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.89379+	rdoinrdo_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	rdoinrdo_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	rdoinrdo_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.00000+	rdoinrdo_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.00000+	rdoinrdo_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.44205+	rdoinrdo_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.59002+	rdoinrdo_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.68080+	rdoinrdo_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.76195+	rdoinrdo_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.83892+	rdoinrdo_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.87787+	rdoinrdo_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.92370+	rdoinrdo_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.92653+	rdoinrdo_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	2.94982+	rdoinrdo_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.14126+	rdoinrdo_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.20376+	rdoinrdo_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.25077+	rdoinrdo_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.27041+	rdoinrdo_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.42964+	rdoinrdo_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.49240+	rdoinrdo_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.54638+	rdoinrdo_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.60046+	rdoinrdo_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.64148+	rdoinrdo_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.67169+	rdoinrdo_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.69559+	rdoinrdo_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.72785+	rdoinrdo_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.75118+	rdoinrdo_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.82982+	rdoinrdo_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.84932+	rdoinrdo_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.86075+	rdoinrdo_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.93049+	rdoinrdo_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.96045+	rdoinrdo_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.00000+	rdoinrdo_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.01474+	rdoinrdo_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.05015+	rdoinrdo_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.09612+	rdoinrdo_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.13602+	rdoinrdo_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.15452+	rdoinrdo_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.16273+	rdoinrdo_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/rdoinrdo

Triakis octahedra in a triakis octahedron ktoinkto, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.97917+	ktoinkto_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	ktoinkto_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	ktoinkto_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.00000+	ktoinkto_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.00000+	ktoinkto_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.37377+	ktoinkto_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.53525+	ktoinkto_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.61779+	ktoinkto_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.78143+	ktoinkto_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.80288+	ktoinkto_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.89165+	ktoinkto_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.98735+	ktoinkto_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.00000+	ktoinkto_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.00000+	ktoinkto_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.00000+	ktoinkto_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.00000+	ktoinkto_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.00000+	ktoinkto_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.00000+	ktoinkto_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.26518+	ktoinkto_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.42202+	ktoinkto_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.43492+	ktoinkto_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.47126+	ktoinkto_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.52347+	ktoinkto_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.56137+	ktoinkto_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.59934+	ktoinkto_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.63352+	ktoinkto_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.66811+	ktoinkto_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.71398+	ktoinkto_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.75481+	ktoinkto_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.77458+	ktoinkto_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.78599+	ktoinkto_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.82256+	ktoinkto_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.85795+	ktoinkto_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.94376+	ktoinkto_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.95878+	ktoinkto_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	3.97975+	ktoinkto_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	3.99061+	ktoinkto_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.00000+	ktoinkto_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.01666+	ktoinkto_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ktoinkto

Tetrakis hexahedra in a tetrakis hexahedron kthinkth, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.94751+	kthinkth_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	kthinkth_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	kthinkth_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.24309+	kthinkth_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.31947+	kthinkth_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.41665+	kthinkth_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.56773+	kthinkth_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.63396+	kthinkth_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.85221+	kthinkth_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.87197+	kthinkth_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.92329+	kthinkth_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.93186+	kthinkth_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.97092+	kthinkth_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	2.97809+	kthinkth_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.15081+	kthinkth_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.21139+	kthinkth_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.27978+	kthinkth_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.35937+	kthinkth_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.42481+	kthinkth_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.46584+	kthinkth_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.50206+	kthinkth_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.54919+	kthinkth_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.59751+	kthinkth_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.63493+	kthinkth_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.67701+	kthinkth_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.71093+	kthinkth_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.74209+	kthinkth_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.79587+	kthinkth_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.84478+	kthinkth_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.87212+	kthinkth_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.92183+	kthinkth_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.93490+	kthinkth_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.97683+	kthinkth_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.01978+	kthinkth_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.06484+	kthinkth_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.09353+	kthinkth_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.12317+	kthinkth_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.16352+	kthinkth_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.19540+	kthinkth_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/kthinkth

Deltoidal icositetrahedra in a deltoidal icositetrahedron ditindit, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.94548+	ditindit_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.07398+	ditindit_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.20983+	ditindit_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.32635+	ditindit_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.35124+	ditindit_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.83199+	ditindit_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.87030+	ditindit_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.88594+	ditindit_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.88597+	ditindit_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.93848+	ditindit_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.99117+	ditindit_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	3.01273+	ditindit_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.03377+	ditindit_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.07328+	ditindit_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.19850+	ditindit_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.21380+	ditindit_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.24924+	ditindit_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.27577+	ditindit_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.36673+	ditindit_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.38578+	ditindit_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.46765+	ditindit_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.52264+	ditindit_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.60362+	ditindit_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.67533+	ditindit_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.73681+	ditindit_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.80252+	ditindit_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.83556+	ditindit_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.87491+	ditindit_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.89383+	ditindit_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.92729+	ditindit_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.96094+	ditindit_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.99806+	ditindit_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.00742+	ditindit_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.04373+	ditindit_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.05851+	ditindit_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.07702+	ditindit_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.08137+	ditindit_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.16950+	ditindit_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.23480+	ditindit_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ditindit

Disdyakis dodecahedra in a disdyakis dodecahedron ddoinddo, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.94152+	ddoinddo_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.09041+	ddoinddo_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.16373+	ddoinddo_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.26002+	ddoinddo_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.27571+	ddoinddo_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.53593+	ddoinddo_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.61757+	ddoinddo_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.66846+	ddoinddo_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.88396+	ddoinddo_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.93835+	ddoinddo_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.94144+	ddoinddo_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.95393+	ddoinddo_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.96530+	ddoinddo_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	2.98728+	ddoinddo_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.16172+	ddoinddo_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.20737+	ddoinddo_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.23226+	ddoinddo_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.28528+	ddoinddo_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.34603+	ddoinddo_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.38842+	ddoinddo_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.50684+	ddoinddo_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.60882+	ddoinddo_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.64293+	ddoinddo_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.69895+	ddoinddo_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.75967+	ddoinddo_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.77671+	ddoinddo_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.80046+	ddoinddo_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.84915+	ddoinddo_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.86307+	ddoinddo_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.91357+	ddoinddo_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.94493+	ddoinddo_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.96992+	ddoinddo_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.02564+	ddoinddo_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.06107+	ddoinddo_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.06396+	ddoinddo_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.09166+	ddoinddo_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.11381+	ddoinddo_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.15036+	ddoinddo_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.23173+	ddoinddo_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ddoinddo

Pentagonal icositetrahedra in a pentagonal icositetrahedron pitinpit, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.90997+	pitinpit_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.10724+	pitinpit_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.20400+	pitinpit_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.31515+	pitinpit_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.32790+	pitinpit_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.55986+	pitinpit_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.62072+	pitinpit_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.70875+	pitinpit_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.79744+	pitinpit_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.90912+	pitinpit_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.92461+	pitinpit_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.96472+	pitinpit_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.07687+	pitinpit_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.11863+	pitinpit_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.18270+	pitinpit_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.23206+	pitinpit_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.26793+	pitinpit_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.33224+	pitinpit_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.42011+	pitinpit_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.48033+	pitinpit_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.51919+	pitinpit_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.57050+	pitinpit_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.62048+	pitinpit_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.68138+	pitinpit_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.70805+	pitinpit_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.74162+	pitinpit_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.79848+	pitinpit_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.81923+	pitinpit_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.85247+	pitinpit_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.88268+	pitinpit_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.95606+	pitinpit_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.97721+	pitinpit_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.99159+	pitinpit_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.00937+	pitinpit_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.02094+	pitinpit_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.12494+	pitinpit_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.17542+	pitinpit_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.20873+	pitinpit_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.24875+	pitinpit_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/pitinpit

Rhombic triacontahedra in a rhombic triacontahedron rtcinrtc, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.94815+	rtcinrtc_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	rtcinrtc_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.14589+	rtcinrtc_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.30901+	rtcinrtc_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.38130+	rtcinrtc_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.51759+	rtcinrtc_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.59476+	rtcinrtc_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.61803+	rtcinrtc_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.70002+	rtcinrtc_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.70191+	rtcinrtc_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.71270+	rtcinrtc_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.85622+	rtcinrtc_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.03413+	rtcinrtc_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.09289+	rtcinrtc_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.16821+	rtcinrtc_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.23616+	rtcinrtc_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.27903+	rtcinrtc_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.35902+	rtcinrtc_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.42629+	rtcinrtc_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.48549+	rtcinrtc_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.53220+	rtcinrtc_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.55873+	rtcinrtc_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.65798+	rtcinrtc_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.66416+	rtcinrtc_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.70780+	rtcinrtc_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.75321+	rtcinrtc_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.78962+	rtcinrtc_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.81751+	rtcinrtc_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.85226+	rtcinrtc_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.86486+	rtcinrtc_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.87252+	rtcinrtc_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.87461+	rtcinrtc_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.88610+	rtcinrtc_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.88610+	rtcinrtc_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.00000+	rtcinrtc_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.03637+	rtcinrtc_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.03758+	rtcinrtc_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.18039+	rtcinrtc_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.22054+	rtcinrtc_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/rtcinrtc

Triakis icosahedra in a triakis icosahedron ktiinkti, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.99179+	ktiinkti_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	ktiinkti_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.14589+	ktiinkti_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.29772+	ktiinkti_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.35792+	ktiinkti_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.50231+	ktiinkti_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.53404+	ktiinkti_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.58869+	ktiinkti_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.85259+	ktiinkti_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.85524+	ktiinkti_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.85882+	ktiinkti_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.85882+	ktiinkti_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.03208+	ktiinkti_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.10254+	ktiinkti_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.15299+	ktiinkti_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.22858+	ktiinkti_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.23230+	ktiinkti_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.32642+	ktiinkti_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.40721+	ktiinkti_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.47874+	ktiinkti_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.50266+	ktiinkti_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.56428+	ktiinkti_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.59858+	ktiinkti_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.66599+	ktiinkti_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.72063+	ktiinkti_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.73813+	ktiinkti_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.76068+	ktiinkti_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.80196+	ktiinkti_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.81071+	ktiinkti_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.83275+	ktiinkti_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.83343+	ktiinkti_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.84851+	ktiinkti_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.85014+	ktiinkti_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.86011+	ktiinkti_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.98488+	ktiinkti_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.06243+	ktiinkti_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.11938+	ktiinkti_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.16007+	ktiinkti_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.19692+	ktiinkti_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ktiinkti

Pentakis dodecahedra in a pentakis dodecahedron pkdinpkd, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.97730+	pkdinpkd_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.10515+	pkdinpkd_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.17151+	pkdinpkd_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.36583+	pkdinpkd_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.40951+	pkdinpkd_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.55127+	pkdinpkd_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.58773+	pkdinpkd_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.70083+	pkdinpkd_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.86284+	pkdinpkd_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.86643+	pkdinpkd_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.86836+	pkdinpkd_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.97108+	pkdinpkd_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.06371+	pkdinpkd_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.11534+	pkdinpkd_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.18228+	pkdinpkd_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.24818+	pkdinpkd_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.28607+	pkdinpkd_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.36295+	pkdinpkd_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.43892+	pkdinpkd_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.46866+	pkdinpkd_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.53028+	pkdinpkd_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.57488+	pkdinpkd_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.64159+	pkdinpkd_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.72207+	pkdinpkd_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.74280+	pkdinpkd_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.76501+	pkdinpkd_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.81778+	pkdinpkd_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.87701+	pkdinpkd_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.87760+	pkdinpkd_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.89120+	pkdinpkd_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.90116+	pkdinpkd_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.91070+	pkdinpkd_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.94644+	pkdinpkd_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.96320+	pkdinpkd_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.02059+	pkdinpkd_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.03278+	pkdinpkd_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.03278+	pkdinpkd_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.18380+	pkdinpkd_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.22946+	pkdinpkd_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/pkdinpkd

Deltoidal hexecontahedra in a deltoidal hexecontahedron dhcindhc, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.96616+	dhcindhc_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.12222+	dhcindhc_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.21328+	dhcindhc_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.35891+	dhcindhc_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.39951+	dhcindhc_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.56497+	dhcindhc_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.64198+	dhcindhc_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.70681+	dhcindhc_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.79728+	dhcindhc_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.82809+	dhcindhc_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.83392+	dhcindhc_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.95001+	dhcindhc_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.08724+	dhcindhc_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.13227+	dhcindhc_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.20327+	dhcindhc_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.27905+	dhcindhc_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.30471+	dhcindhc_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.37907+	dhcindhc_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.45952+	dhcindhc_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.48521+	dhcindhc_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.58618+	dhcindhc_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.61128+	dhcindhc_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.70581+	dhcindhc_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.74386+	dhcindhc_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.76062+	dhcindhc_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.78862+	dhcindhc_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.84312+	dhcindhc_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.88130+	dhcindhc_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.90878+	dhcindhc_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.94213+	dhcindhc_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.97431+	dhcindhc_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	4.01008+	dhcindhc_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.05814+	dhcindhc_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.08385+	dhcindhc_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.12504+	dhcindhc_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.13922+	dhcindhc_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.19703+	dhcindhc_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.20463+	dhcindhc_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.27131+	dhcindhc_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/dhcindhc

Disdyakis triacontahedra in a disdyakis triacontahedron dtcindtc, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.95611+	dtcindtc_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.08961+	dtcindtc_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.19208+	dtcindtc_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.35264+	dtcindtc_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.40896+	dtcindtc_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.54229+	dtcindtc_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.62014+	dtcindtc_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.67392+	dtcindtc_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.87538+	dtcindtc_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.87662+	dtcindtc_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.87673+	dtcindtc_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.87881+	dtcindtc_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.06352+	dtcindtc_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.11414+	dtcindtc_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.18036+	dtcindtc_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.24483+	dtcindtc_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.28083+	dtcindtc_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.36425+	dtcindtc_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.48337+	dtcindtc_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.52700+	dtcindtc_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.55506+	dtcindtc_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.59572+	dtcindtc_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.64492+	dtcindtc_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.69587+	dtcindtc_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.70134+	dtcindtc_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.75678+	dtcindtc_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.80174+	dtcindtc_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.81747+	dtcindtc_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.85824+	dtcindtc_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.88461+	dtcindtc_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.89994+	dtcindtc_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.91136+	dtcindtc_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.91886+	dtcindtc_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.95412+	dtcindtc_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.98347+	dtcindtc_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.07373+	dtcindtc_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.08286+	dtcindtc_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.19349+	dtcindtc_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.22869+	dtcindtc_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/dtcindtc

Pentagonal hexecontahedra in a pentagonal hexecontahedron phcinphc, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.95734+	phcinphc_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.14550+	phcinphc_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.22385+	phcinphc_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.38734+	phcinphc_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.40297+	phcinphc_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.55896+	phcinphc_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.65606+	phcinphc_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.93362+	phcinphc_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.93362+	phcinphc_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.93362+	phcinphc_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.93362+	phcinphc_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.95984+	phcinphc_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.07734+	phcinphc_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.15037+	phcinphc_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.20757+	phcinphc_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.26637+	phcinphc_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.28576+	phcinphc_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.37171+	phcinphc_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.45464+	phcinphc_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.52032+	phcinphc_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.59893+	phcinphc_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.60945+	phcinphc_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.65884+	phcinphc_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.68167+	phcinphc_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.73395+	phcinphc_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.79950+	phcinphc_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.83646+	phcinphc_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.85857+	phcinphc_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.89314+	phcinphc_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.92591+	phcinphc_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.96797+	phcinphc_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.97916+	phcinphc_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.98660+	phcinphc_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.99004+	phcinphc_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.00339+	phcinphc_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.09546+	phcinphc_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.10375+	phcinphc_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.21446+	phcinphc_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.24895+	phcinphc_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/phcinphc

Prisms and antiprisms

Triangular prisms in a triangular prism pr3inpr3, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.88755+	pr3inpr3_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00280+	pr3inpr3_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.11752+	pr3inpr3_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.32567+	pr3inpr3_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.41021+	pr3inpr3_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.45684+	pr3inpr3_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.46400+	pr3inpr3_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.50000+	pr3inpr3_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.72384+	pr3inpr3_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.79118+	pr3inpr3_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.82087+	pr3inpr3_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	3.00000+	pr3inpr3_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.00000+	pr3inpr3_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.00000+	pr3inpr3_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.00000+	pr3inpr3_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.00000+	pr3inpr3_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.19559+	pr3inpr3_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.22761+	pr3inpr3_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.26887+	pr3inpr3_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.36002+	pr3inpr3_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.36002+	pr3inpr3_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.48279+	pr3inpr3_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.48279+	pr3inpr3_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.48279+	pr3inpr3_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.50672+	pr3inpr3_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.54461+	pr3inpr3_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.60775+	pr3inpr3_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.64874+	pr3inpr3_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.73644+	pr3inpr3_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.79661+	pr3inpr3_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.82907+	pr3inpr3_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.91982+	pr3inpr3_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.94827+	pr3inpr3_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.95831+	pr3inpr3_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.95831+	pr3inpr3_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	3.98920+	pr3inpr3_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.06091+	pr3inpr3_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.08060+	pr3inpr3_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.09620+	pr3inpr3_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/pr3inpr3

Triangular prisms in a cube pr3incub, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.22474+	pr3incub_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	1.47839+	pr3incub_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	1.63019+	pr3incub_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	1.70576+	pr3incub_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	1.86602+	pr3incub_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	1.89359+	pr3incub_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	1.92140+	pr3incub_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	1.98168+	pr3incub_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.00000+	pr3incub_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.06639+	pr3incub_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.06842+	pr3incub_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.13472+	pr3incub_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.21745+	pr3incub_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	2.31047+	pr3incub_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	2.34515+	pr3incub_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	2.36053+	pr3incub_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	2.39598+	pr3incub_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	2.45273+	pr3incub_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	2.51160+	pr3incub_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	2.53822+	pr3incub_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	2.58807+	pr3incub_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	2.61762+	pr3incub_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	2.64005+	pr3incub_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	2.69040+	pr3incub_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	2.75257+	pr3incub_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	2.78044+	pr3incub_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	2.80945+	pr3incub_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	2.83078+	pr3incub_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	2.84738+	pr3incub_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	2.87305+	pr3incub_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	2.89454+	pr3incub_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	2.94488+	pr3incub_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	2.95913+	pr3incub_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	2.97716+	pr3incub_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	2.98107+	pr3incub_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	2.99570+	pr3incub_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	3.05141+	pr3incub_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	3.07968+	pr3incub_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	3.08824+	pr3incub_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/pr3incub

Pentagonal prisms in a pentagonal prism pr5inpr5, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.66295+	pr5inpr5_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	1.97207+	pr5inpr5_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.21356+	pr5inpr5_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.30188+	pr5inpr5_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.38184+	pr5inpr5_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.42239+	pr5inpr5_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.51448+	pr5inpr5_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.55924+	pr5inpr5_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.61803+	pr5inpr5_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.71750+	pr5inpr5_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.77207+	pr5inpr5_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.84542+	pr5inpr5_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.95674+	pr5inpr5_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.07768+	pr5inpr5_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.10459+	pr5inpr5_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.11450+	pr5inpr5_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.19697+	pr5inpr5_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.33226+	pr5inpr5_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.33459+	pr5inpr5_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.36209+	pr5inpr5_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.47135+	pr5inpr5_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.51212+	pr5inpr5_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.58663+	pr5inpr5_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.59749+	pr5inpr5_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.60181+	pr5inpr5_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.62747+	pr5inpr5_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.63266+	pr5inpr5_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.74301+	pr5inpr5_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.74915+	pr5inpr5_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.76883+	pr5inpr5_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.77595+	pr5inpr5_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.85217+	pr5inpr5_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.92102+	pr5inpr5_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.97327+	pr5inpr5_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.99535+	pr5inpr5_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.00286+	pr5inpr5_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.01139+	pr5inpr5_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.01489+	pr5inpr5_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.07703+	pr5inpr5_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/pr5inpr5

Pentagonal prisms in a cube pr5incub, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	2.00000+	pr5incub_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.39768+	pr5incub_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.53884+	pr5incub_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.56650+	pr5incub_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.57257+	pr5incub_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.88425+	pr5incub_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	3.00000+	pr5incub_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	3.01226+	pr5incub_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	3.02883+	pr5incub_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	3.37953+	pr5incub_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	3.42226+	pr5incub_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	3.53884+	pr5incub_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.57120+	pr5incub_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.66815+	pr5incub_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.77725+	pr5incub_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.80570+	pr5incub_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.90517+	pr5incub_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.95225+	pr5incub_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.95225+	pr5incub_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	4.05970+	pr5incub_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	4.11933+	pr5incub_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	4.11933+	pr5incub_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	4.15221+	pr5incub_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	4.23095+	pr5incub_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	4.27672+	pr5incub_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	4.40610+	pr5incub_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	4.43855+	pr5incub_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	4.47200+	pr5incub_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	4.52363+	pr5incub_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	4.56070+	pr5incub_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	4.65437+	pr5incub_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	4.67744+	pr5incub_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.72278+	pr5incub_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.76010+	pr5incub_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.76477+	pr5incub_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.78940+	pr5incub_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.85838+	pr5incub_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.88534+	pr5incub_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.88758+	pr5incub_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/pr5incub

Hexagonal prisms in a hexagonal prism pr6inpr6, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.73205+	pr6inpr6_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	1.98846+	pr6inpr6_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	pr6inpr6_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.00000+	pr6inpr6_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.00000+	pr6inpr6_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.43646+	pr6inpr6_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.63418+	pr6inpr6_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.73205+	pr6inpr6_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.73205+	pr6inpr6_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.73205+	pr6inpr6_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.85326+	pr6inpr6_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.97034+	pr6inpr6_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.99558+	pr6inpr6_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.00000+	pr6inpr6_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.05423+	pr6inpr6_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.10313+	pr6inpr6_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.10313+	pr6inpr6_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.25285+	pr6inpr6_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.27816+	pr6inpr6_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.30536+	pr6inpr6_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.44784+	pr6inpr6_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.48362+	pr6inpr6_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.50652+	pr6inpr6_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.63709+	pr6inpr6_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.64285+	pr6inpr6_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.73205+	pr6inpr6_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.73205+	pr6inpr6_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.73205+	pr6inpr6_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.73205+	pr6inpr6_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.76026+	pr6inpr6_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.81478+	pr6inpr6_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.81520+	pr6inpr6_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.86948+	pr6inpr6_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.89488+	pr6inpr6_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.94761+	pr6inpr6_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	3.99593+	pr6inpr6_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.00539+	pr6inpr6_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.10364+	pr6inpr6_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.12870+	pr6inpr6_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/pr6inpr6

Hexagonal prisms in a cube pr6incub, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	2.00000+	pr6incub_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.73205+	pr6incub_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.84688+	pr6incub_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	3.15659+	pr6incub_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	3.24871+	pr6incub_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	3.41506+	pr6incub_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	3.46410+	pr6incub_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	3.55348+	pr6incub_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	3.73205+	pr6incub_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	3.73205+	pr6incub_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	3.78515+	pr6incub_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	4.02449+	pr6incub_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	4.12082+	pr6incub_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	4.12082+	pr6incub_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	4.43083+	pr6incub_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	4.48879+	pr6incub_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	4.51791+	pr6incub_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	4.65337+	pr6incub_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	4.71983+	pr6incub_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	4.73205+	pr6incub_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	4.73205+	pr6incub_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	4.73205+	pr6incub_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	4.73205+	pr6incub_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	4.97974+	pr6incub_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	5.06017+	pr6incub_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	5.13150+	pr6incub_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	5.17120+	pr6incub_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	5.17120+	pr6incub_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	5.17149+	pr6incub_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	5.26233+	pr6incub_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	5.31594+	pr6incub_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	5.32097+	pr6incub_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	5.46410+	pr6incub_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	5.46410+	pr6incub_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	5.50139+	pr6incub_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	5.52711+	pr6incub_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	5.55128+	pr6incub_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	5.55129+	pr6incub_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	5.62854+	pr6incub_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/pr6incub

Octagonal prisms in an octagonal prism pr8inpr8, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.98912+	pr8inpr8_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	pr8inpr8_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	pr8inpr8_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.17157+	pr8inpr8_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.36912+	pr8inpr8_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.40207+	pr8inpr8_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.41421+	pr8inpr8_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.41421+	pr8inpr8_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.61490+	pr8inpr8_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.72964+	pr8inpr8_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.86511+	pr8inpr8_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.95181+	pr8inpr8_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.00000+	pr8inpr8_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.00000+	pr8inpr8_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.00000+	pr8inpr8_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.11502+	pr8inpr8_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.18609+	pr8inpr8_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.24716+	pr8inpr8_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.37375+	pr8inpr8_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.41421+	pr8inpr8_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.41421+	pr8inpr8_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.41421+	pr8inpr8_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.41421+	pr8inpr8_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.41421+	pr8inpr8_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.42014+	pr8inpr8_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.59127+	pr8inpr8_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.59252+	pr8inpr8_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.65002+	pr8inpr8_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.71488+	pr8inpr8_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.75838+	pr8inpr8_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.81346+	pr8inpr8_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.91522+	pr8inpr8_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.95363+	pr8inpr8_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.97233+	pr8inpr8_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.00000+	pr8inpr8_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.00000+	pr8inpr8_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.00000+	pr8inpr8_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.10783+	pr8inpr8_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.10783+	pr8inpr8_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/pr8inpr8

Octagonal prisms in a cube pr8incub, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	2.41421+	pr8incub_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	3.00000+	pr8incub_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	3.41421+	pr8incub_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	3.41421+	pr8incub_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	4.00000+	pr8incub_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	4.24462+	pr8incub_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	4.41421+	pr8incub_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	4.41421+	pr8incub_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	4.45465+	pr8incub_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	4.82842+	pr8incub_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	4.82842+	pr8incub_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	4.95548+	pr8incub_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	5.14497+	pr8incub_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	5.41421+	pr8incub_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	5.41421+	pr8incub_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	5.50349+	pr8incub_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	5.56170+	pr8incub_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	5.70502+	pr8incub_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	5.82842+	pr8incub_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	5.82842+	pr8incub_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	5.82842+	pr8incub_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	5.82842+	pr8incub_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	5.82842+	pr8incub_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	5.82842+	pr8incub_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	5.87874+	pr8incub_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	6.03122+	pr8incub_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	6.24690+	pr8incub_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	6.26059+	pr8incub_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	6.26059+	pr8incub_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	6.40165+	pr8incub_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	6.52758+	pr8incub_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	6.52758+	pr8incub_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	6.55371+	pr8incub_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	6.82768+	pr8incub_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	6.82768+	pr8incub_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	6.82768+	pr8incub_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	6.99926+	pr8incub_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	6.99926+	pr8incub_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	7.01824+	pr8incub_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/pr8incub

Dodecagonal prisms in a dodecagonal prism pr12inpr12, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.99850+	pr12inpr12_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	pr12inpr12_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	pr12inpr12_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.15063+	pr12inpr12_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.15063+	pr12inpr12_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.36602+	pr12inpr12_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.36602+	pr12inpr12_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.61211+	pr12inpr12_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.96990+	pr12inpr12_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	3.00000+	pr12inpr12_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	3.02957+	pr12inpr12_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	3.73205+	pr12inpr12_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.73205+	pr12inpr12_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.73205+	pr12inpr12_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.73205+	pr12inpr12_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.73205+	pr12inpr12_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.73205+	pr12inpr12_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.73205+	pr12inpr12_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.73205+	pr12inpr12_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.73205+	pr12inpr12_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.73205+	pr12inpr12_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.73205+	pr12inpr12_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.73205+	pr12inpr12_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.73205+	pr12inpr12_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.73205+	pr12inpr12_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.73205+	pr12inpr12_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.73205+	pr12inpr12_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.73428+	pr12inpr12_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.73992+	pr12inpr12_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.99997+	pr12inpr12_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	4.00000+	pr12inpr12_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	4.00000+	pr12inpr12_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.00000+	pr12inpr12_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.00000+	pr12inpr12_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.00000+	pr12inpr12_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.00000+	pr12inpr12_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.00000+	pr12inpr12_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.00000+	pr12inpr12_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.02248+	pr12inpr12_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/pr12inpr12

Dodecagonal prisms in a cube pr12incub, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	3.73205+	pr12incub_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	3.73205+	pr12incub_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	4.73205+	pr12incub_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	4.73205+	pr12incub_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	4.97555+	pr12incub_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	5.00000+	pr12incub_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	5.73205+	pr12incub_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	5.73205+	pr12incub_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	6.26335+	pr12incub_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	6.46410+	pr12incub_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	6.69296+	pr12incub_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	6.83012+	pr12incub_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	6.83365+	pr12incub_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	7.00711+	pr12incub_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	7.17740+	pr12incub_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	7.30283+	pr12incub_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	7.46410+	pr12incub_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	7.46410+	pr12incub_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	7.50733+	pr12incub_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	7.71200+	pr12incub_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	7.78368+	pr12incub_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	7.85260+	pr12incub_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	8.09403+	pr12incub_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	8.16464+	pr12incub_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	8.22955+	pr12incub_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	8.24173+	pr12incub_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	8.32250+	pr12incub_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	8.34898+	pr12incub_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	8.46410+	pr12incub_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	8.46410+	pr12incub_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	8.58641+	pr12incub_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	8.59131+	pr12incub_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	8.76443+	pr12incub_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	8.95888+	pr12incub_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	9.03169+	pr12incub_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	9.16095+	pr12incub_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	9.17897+	pr12incub_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	9.17897+	pr12incub_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	9.27104+	pr12incub_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/pr12incub

Square antiprisms in a square antiprism ap4inap4, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.66419+	ap4inap4_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	1.97301+	ap4inap4_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.06304+	ap4inap4_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.25724+	ap4inap4_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.38006+	ap4inap4_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.46151+	ap4inap4_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.56386+	ap4inap4_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.62041+	ap4inap4_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.70291+	ap4inap4_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.82255+	ap4inap4_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.86179+	ap4inap4_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.91811+	ap4inap4_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.97100+	ap4inap4_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.09122+	ap4inap4_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.13243+	ap4inap4_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.20429+	ap4inap4_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.25898+	ap4inap4_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.29462+	ap4inap4_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.39647+	ap4inap4_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.42781+	ap4inap4_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.43204+	ap4inap4_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.52314+	ap4inap4_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.54788+	ap4inap4_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.61813+	ap4inap4_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.63912+	ap4inap4_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.66966+	ap4inap4_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.67693+	ap4inap4_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.73697+	ap4inap4_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.80178+	ap4inap4_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.84466+	ap4inap4_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.86787+	ap4inap4_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.88025+	ap4inap4_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.95618+	ap4inap4_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.97455+	ap4inap4_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.02039+	ap4inap4_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.05493+	ap4inap4_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.08066+	ap4inap4_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.14922+	ap4inap4_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.17010+	ap4inap4_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ap4inap4

Square antiprisms in a cube ap4incub, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.68179+	ap4incub_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	1.98736+	ap4incub_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.08853+	ap4incub_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.14745+	ap4incub_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.27498+	ap4incub_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.35679+	ap4incub_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.48183+	ap4incub_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.52268+	ap4incub_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.66097+	ap4incub_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.79142+	ap4incub_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.82345+	ap4incub_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.90219+	ap4incub_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.95173+	ap4incub_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.01386+	ap4incub_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.10260+	ap4incub_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.15263+	ap4incub_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.18565+	ap4incub_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.23442+	ap4incub_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.29517+	ap4incub_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.33538+	ap4incub_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.35726+	ap4incub_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.41701+	ap4incub_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.42958+	ap4incub_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.47654+	ap4incub_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.55140+	ap4incub_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.63927+	ap4incub_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.65608+	ap4incub_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.76872+	ap4incub_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.78780+	ap4incub_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.81110+	ap4incub_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.87585+	ap4incub_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.88118+	ap4incub_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.93637+	ap4incub_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.93848+	ap4incub_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	3.98098+	ap4incub_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.01845+	ap4incub_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.07195+	ap4incub_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.08079+	ap4incub_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.08788+	ap4incub_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ap4incub

Pentagonal antiprisms in a pentagonal antiprism ap5inap5, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.77690+	ap5inap5_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	1.87206+	ap5inap5_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00000+	ap5inap5_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.20017+	ap5inap5_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.34314+	ap5inap5_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.54008+	ap5inap5_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.61312+	ap5inap5_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.69650+	ap5inap5_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.77690+	ap5inap5_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.79106+	ap5inap5_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.81045+	ap5inap5_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	2.87280+	ap5inap5_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	2.93151+	ap5inap5_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.03913+	ap5inap5_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.04899+	ap5inap5_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.14386+	ap5inap5_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.23684+	ap5inap5_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.30480+	ap5inap5_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.34388+	ap5inap5_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.39314+	ap5inap5_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.46321+	ap5inap5_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.49551+	ap5inap5_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.51932+	ap5inap5_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.55011+	ap5inap5_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.57799+	ap5inap5_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.65471+	ap5inap5_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.71582+	ap5inap5_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.72919+	ap5inap5_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.77690+	ap5inap5_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.77896+	ap5inap5_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.79330+	ap5inap5_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.88867+	ap5inap5_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.94996+	ap5inap5_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.96629+	ap5inap5_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.01696+	ap5inap5_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.05730+	ap5inap5_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.07963+	ap5inap5_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.10459+	ap5inap5_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.11086+	ap5inap5_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ap5inap5

Pentagonal antiprisms in a cube ap5incub, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.70130+	ap5incub_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.36217+	ap5incub_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.40131+	ap5incub_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.63854+	ap5incub_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.79925+	ap5incub_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.83008+	ap5incub_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.96098+	ap5incub_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	3.06996+	ap5incub_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	3.08506+	ap5incub_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	3.21282+	ap5incub_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	3.22258+	ap5incub_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	3.28369+	ap5incub_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.29350+	ap5incub_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.56408+	ap5incub_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.64834+	ap5incub_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.78275+	ap5incub_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.79217+	ap5incub_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.96176+	ap5incub_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.96311+	ap5incub_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.98184+	ap5incub_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	4.00724+	ap5incub_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	4.03684+	ap5incub_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	4.06201+	ap5incub_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	4.06347+	ap5incub_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	4.07916+	ap5incub_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	4.09589+	ap5incub_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	4.27927+	ap5incub_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	4.29082+	ap5incub_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	4.33098+	ap5incub_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	4.37281+	ap5incub_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	4.51695+	ap5incub_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	4.56519+	ap5incub_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.59264+	ap5incub_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.64819+	ap5incub_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.64846+	ap5incub_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.69311+	ap5incub_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.73507+	ap5incub_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.75952+	ap5incub_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.77686+	ap5incub_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ap5incub

Hexagonal antiprisms in a hexagonal antiprism ap6inap6, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.93011+	ap6inap6_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.10667+	ap6inap6_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.25789+	ap6inap6_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.29611+	ap6inap6_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.30135+	ap6inap6_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.30135+	ap6inap6_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.49545+	ap6inap6_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.59713+	ap6inap6_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.76547+	ap6inap6_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.81196+	ap6inap6_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.95405+	ap6inap6_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	3.02857+	ap6inap6_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.11635+	ap6inap6_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.14174+	ap6inap6_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.17065+	ap6inap6_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.25789+	ap6inap6_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.30940+	ap6inap6_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.30940+	ap6inap6_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.30940+	ap6inap6_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.30940+	ap6inap6_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.36796+	ap6inap6_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.43862+	ap6inap6_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.46579+	ap6inap6_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.50068+	ap6inap6_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.66740+	ap6inap6_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.67390+	ap6inap6_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.70772+	ap6inap6_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.76006+	ap6inap6_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.80894+	ap6inap6_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.83763+	ap6inap6_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	3.83763+	ap6inap6_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	3.88965+	ap6inap6_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	3.93826+	ap6inap6_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	3.97579+	ap6inap6_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.01997+	ap6inap6_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.06658+	ap6inap6_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.09229+	ap6inap6_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.10965+	ap6inap6_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.11946+	ap6inap6_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ap6inap6

Hexagonal antiprisms in a cube ap6incub, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.93185+	ap6incub_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.56679+	ap6incub_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.77080+	ap6incub_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.78745+	ap6incub_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	3.24519+	ap6incub_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	3.36563+	ap6incub_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	3.44136+	ap6incub_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	3.46827+	ap6incub_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	3.64305+	ap6incub_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	3.66036+	ap6incub_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	3.70646+	ap6incub_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	3.76019+	ap6incub_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.77773+	ap6incub_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.79787+	ap6incub_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.80191+	ap6incub_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	4.30919+	ap6incub_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	4.32012+	ap6incub_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	4.43031+	ap6incub_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	4.47031+	ap6incub_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	4.49099+	ap6incub_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	4.58582+	ap6incub_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	4.64811+	ap6incub_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	4.68913+	ap6incub_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	4.68913+	ap6incub_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	4.68913+	ap6incub_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	4.71658+	ap6incub_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	4.71658+	ap6incub_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	4.86135+	ap6incub_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	4.96201+	ap6incub_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	5.06908+	ap6incub_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	5.09542+	ap6incub_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	5.17191+	ap6incub_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	5.21328+	ap6incub_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	5.23861+	ap6incub_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	5.26969+	ap6incub_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	5.31497+	ap6incub_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	5.33324+	ap6incub_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	5.38033+	ap6incub_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	5.40343+	ap6incub_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ap6incub

Octagonal antiprisms in an octagonal antiprism ap8inap8, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.96133+	ap8inap8_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	ap8inap8_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00290+	ap8inap8_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.34751+	ap8inap8_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.37011+	ap8inap8_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.39378+	ap8inap8_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.97911+	ap8inap8_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.97911+	ap8inap8_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.97911+	ap8inap8_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	2.97911+	ap8inap8_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	2.97911+	ap8inap8_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	3.00922+	ap8inap8_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.01737+	ap8inap8_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	3.02737+	ap8inap8_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	3.04415+	ap8inap8_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	3.05085+	ap8inap8_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	3.17245+	ap8inap8_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	3.24861+	ap8inap8_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	3.32327+	ap8inap8_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	3.33111+	ap8inap8_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	3.49877+	ap8inap8_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	3.98375+	ap8inap8_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	3.98382+	ap8inap8_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	3.99002+	ap8inap8_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	3.99103+	ap8inap8_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	3.99495+	ap8inap8_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	3.99820+	ap8inap8_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	3.99848+	ap8inap8_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	3.99889+	ap8inap8_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	3.99937+	ap8inap8_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	4.00000+	ap8inap8_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	4.00000+	ap8inap8_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.00000+	ap8inap8_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.01737+	ap8inap8_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.01737+	ap8inap8_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.01737+	ap8inap8_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.01737+	ap8inap8_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.01737+	ap8inap8_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.08161+	ap8inap8_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ap8inap8

Octagonal antiprisms in a cube ap8incub, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	2.56291+	ap8incub_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.58088+	ap8incub_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	3.42321+	ap8incub_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	3.42321+	ap8incub_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	3.44118+	ap8incub_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	4.08315+	ap8incub_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	4.18277+	ap8incub_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	4.26164+	ap8incub_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	4.35111+	ap8incub_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	4.50643+	ap8incub_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	4.78828+	ap8incub_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	4.80685+	ap8incub_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	4.92037+	ap8incub_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	4.96906+	ap8incub_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	5.07057+	ap8incub_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	5.08420+	ap8incub_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	5.19891+	ap8incub_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	5.41688+	ap8incub_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	5.50716+	ap8incub_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	5.55499+	ap8incub_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	5.60006+	ap8incub_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	5.73387+	ap8incub_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	5.74677+	ap8incub_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	5.79036+	ap8incub_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	5.81502+	ap8incub_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	5.87218+	ap8incub_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	5.91183+	ap8incub_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	5.93420+	ap8incub_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	6.00043+	ap8incub_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	6.03701+	ap8incub_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	6.04853+	ap8incub_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	6.04853+	ap8incub_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	6.24845+	ap8incub_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	6.33526+	ap8incub_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	6.39751+	ap8incub_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	6.48868+	ap8incub_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	6.61209+	ap8incub_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	6.63750+	ap8incub_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	6.73710+	ap8incub_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ap8incub

Dodecagonal antiprisms in a dodecagonal antiprism ap12inap12, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	1.98287+	ap12inap12_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	2.00000+	ap12inap12_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	2.00058+	ap12inap12_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	2.15442+	ap12inap12_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	2.15442+	ap12inap12_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	2.40661+	ap12inap12_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	2.40938+	ap12inap12_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	2.92615+	ap12inap12_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	2.94619+	ap12inap12_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	3.00000+	ap12inap12_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	3.00000+	ap12inap12_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	3.00000+	ap12inap12_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	3.34838+	ap12inap12_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	4.43608+	ap12inap12_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	4.43608+	ap12inap12_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	4.43608+	ap12inap12_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	4.43608+	ap12inap12_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	4.43608+	ap12inap12_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	4.43608+	ap12inap12_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	4.43608+	ap12inap12_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	4.43608+	ap12inap12_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	4.43608+	ap12inap12_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	4.43608+	ap12inap12_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	4.43608+	ap12inap12_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	4.43608+	ap12inap12_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	4.43608+	ap12inap12_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	4.43608+	ap12inap12_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	4.43608+	ap12inap12_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	4.43608+	ap12inap12_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	4.43608+	ap12inap12_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	4.43608+	ap12inap12_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	4.43608+	ap12inap12_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	4.43608+	ap12inap12_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	4.43608+	ap12inap12_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	4.43608+	ap12inap12_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	4.43608+	ap12inap12_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	4.43608+	ap12inap12_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	4.43608+	ap12inap12_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	4.46142+	ap12inap12_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ap12inap12

Dodecagonal antiprisms in a cube ap12incub, 39 records

n	s	Record file	Exact certificate	Float check	Viewer	Found by
2	3.83064+	ap12incub_n02.json	certificate	float check	view in 3D	Alejandro Zarzuelo
3	4.26115+	ap12incub_n03.json	certificate	float check	view in 3D	Alejandro Zarzuelo
4	4.60969+	ap12incub_n04.json	certificate	float check	view in 3D	Alejandro Zarzuelo
5	4.69416+	ap12incub_n05.json	certificate	float check	view in 3D	Alejandro Zarzuelo
6	4.71649+	ap12incub_n06.json	certificate	float check	view in 3D	Alejandro Zarzuelo
7	5.17744+	ap12incub_n07.json	certificate	float check	view in 3D	Alejandro Zarzuelo
8	5.49927+	ap12incub_n08.json	certificate	float check	view in 3D	Alejandro Zarzuelo
9	5.56809+	ap12incub_n09.json	certificate	float check	view in 3D	Alejandro Zarzuelo
10	6.00391+	ap12incub_n10.json	certificate	float check	view in 3D	Alejandro Zarzuelo
11	6.33702+	ap12incub_n11.json	certificate	float check	view in 3D	Alejandro Zarzuelo
12	6.42866+	ap12incub_n12.json	certificate	float check	view in 3D	Alejandro Zarzuelo
13	6.45238+	ap12incub_n13.json	certificate	float check	view in 3D	Alejandro Zarzuelo
14	6.48771+	ap12incub_n14.json	certificate	float check	view in 3D	Alejandro Zarzuelo
15	6.63632+	ap12incub_n15.json	certificate	float check	view in 3D	Alejandro Zarzuelo
16	6.85966+	ap12incub_n16.json	certificate	float check	view in 3D	Alejandro Zarzuelo
17	7.06611+	ap12incub_n17.json	certificate	float check	view in 3D	Alejandro Zarzuelo
18	7.15966+	ap12incub_n18.json	certificate	float check	view in 3D	Alejandro Zarzuelo
19	7.21559+	ap12incub_n19.json	certificate	float check	view in 3D	Alejandro Zarzuelo
20	7.24237+	ap12incub_n20.json	certificate	float check	view in 3D	Alejandro Zarzuelo
21	7.37402+	ap12incub_n21.json	certificate	float check	view in 3D	Alejandro Zarzuelo
22	7.49607+	ap12incub_n22.json	certificate	float check	view in 3D	Alejandro Zarzuelo
23	7.58711+	ap12incub_n23.json	certificate	float check	view in 3D	Alejandro Zarzuelo
24	7.60477+	ap12incub_n24.json	certificate	float check	view in 3D	Alejandro Zarzuelo
25	7.65085+	ap12incub_n25.json	certificate	float check	view in 3D	Alejandro Zarzuelo
26	7.89387+	ap12incub_n26.json	certificate	float check	view in 3D	Alejandro Zarzuelo
27	7.94952+	ap12incub_n27.json	certificate	float check	view in 3D	Alejandro Zarzuelo
28	8.15034+	ap12incub_n28.json	certificate	float check	view in 3D	Alejandro Zarzuelo
29	8.15034+	ap12incub_n29.json	certificate	float check	view in 3D	Alejandro Zarzuelo
30	8.15034+	ap12incub_n30.json	certificate	float check	view in 3D	Alejandro Zarzuelo
31	8.29492+	ap12incub_n31.json	certificate	float check	view in 3D	Alejandro Zarzuelo
32	8.34490+	ap12incub_n32.json	certificate	float check	view in 3D	Alejandro Zarzuelo
33	8.42136+	ap12incub_n33.json	certificate	float check	view in 3D	Alejandro Zarzuelo
34	8.54834+	ap12incub_n34.json	certificate	float check	view in 3D	Alejandro Zarzuelo
35	8.55257+	ap12incub_n35.json	certificate	float check	view in 3D	Alejandro Zarzuelo
36	8.59317+	ap12incub_n36.json	certificate	float check	view in 3D	Alejandro Zarzuelo
37	8.70935+	ap12incub_n37.json	certificate	float check	view in 3D	Alejandro Zarzuelo
38	8.73070+	ap12incub_n38.json	certificate	float check	view in 3D	Alejandro Zarzuelo
39	8.84060+	ap12incub_n39.json	certificate	float check	view in 3D	Alejandro Zarzuelo
40	8.86591+	ap12incub_n40.json	certificate	float check	view in 3D	Alejandro Zarzuelo

Folder: records/ap12incub