G = SmallPermutationGroup(21, 1) New Model "21/2" found by c_dpll: 00 03 20 01 17 10 14 18 15 12 05 16 09 19 06 08 11 04 07 13 02 20 01 03 02 08 12 10 19 04 14 06 18 05 16 09 17 13 15 11 07 00 01 00 02 20 19 08 18 10 05 13 07 15 16 09 17 11 12 14 06 04 03 02 20 00 03 10 09 19 11 12 05 04 07 08 17 18 16 15 13 14 06 01 12 16 15 14 04 20 07 06 13 17 18 19 00 08 03 02 01 09 10 11 05 13 11 17 16 07 05 20 04 14 15 19 01 18 00 08 09 03 02 12 10 06 11 15 09 08 05 04 06 20 03 02 17 00 19 18 16 01 14 10 13 12 07 08 14 16 17 20 06 05 07 00 19 12 13 10 11 01 18 02 03 15 09 04 18 13 14 19 16 17 12 15 08 20 11 10 06 01 02 07 04 05 00 03 09 04 07 18 15 00 16 13 01 11 09 20 08 17 06 19 03 05 12 02 14 10 19 17 12 18 14 13 15 16 09 08 10 20 02 05 04 06 07 01 03 00 11 14 12 04 13 02 18 16 17 20 10 09 11 01 03 00 19 06 07 05 15 08 17 18 07 06 09 11 03 02 19 04 16 05 12 20 15 14 10 00 01 08 13 10 04 06 07 01 19 02 03 16 18 00 17 15 13 20 12 08 11 09 05 14 16 19 05 10 18 02 11 09 17 07 03 06 13 12 14 20 00 08 04 01 15 07 10 19 05 11 03 17 00 18 16 01 04 20 14 13 15 09 06 08 02 12 06 08 10 09 13 15 00 12 01 03 02 14 07 04 11 05 16 20 19 18 17 09 06 08 11 12 14 01 13 02 00 15 03 04 07 05 10 19 17 20 16 18 15 05 13 04 03 01 09 08 07 06 14 12 11 02 10 00 17 16 18 20 19 05 09 11 12 15 00 08 14 06 01 13 02 03 10 07 04 20 18 17 19 16 03 02 01 00 06 07 04 05 10 11 08 09 14 15 12 13 18 19 16 17 20 New Model "21/3" found by c_dpll: 00 03 20 01 17 08 18 11 05 14 15 07 16 19 09 10 12 04 06 13 02 20 01 03 02 15 09 11 10 19 05 07 06 17 18 16 04 14 12 13 08 00 01 00 02 20 10 15 19 18 14 12 04 17 09 16 08 05 13 11 07 06 03 02 20 00 03 12 19 13 15 17 16 14 18 04 06 10 07 09 08 11 05 01 14 19 16 11 04 20 07 06 15 17 13 03 18 10 00 08 02 09 12 01 05 16 18 11 10 07 05 20 04 12 13 03 02 08 09 19 17 00 15 01 14 06 10 16 09 08 05 04 06 20 03 02 00 14 19 17 11 18 01 13 15 12 07 13 17 08 16 20 06 05 07 02 15 12 19 10 00 18 09 03 01 14 11 04 12 04 18 13 01 16 17 14 08 20 11 10 00 03 07 19 05 06 02 15 09 04 13 19 07 00 18 12 03 11 09 20 08 06 01 17 16 15 14 05 02 10 18 12 13 19 16 14 15 17 09 08 10 20 01 02 05 06 04 07 00 03 11 19 14 15 12 18 17 16 13 20 10 09 11 03 07 01 02 06 05 04 00 08 05 07 06 18 11 00 02 01 16 19 17 04 12 20 15 14 08 10 03 09 13 11 05 04 17 02 01 08 19 06 18 16 00 15 13 20 12 10 03 09 07 14 17 06 07 05 09 03 01 02 18 04 19 16 13 12 14 20 11 00 08 10 15 06 08 17 09 19 11 00 16 01 03 18 05 20 14 13 15 07 02 10 04 12 08 11 10 15 13 12 14 09 00 07 02 01 05 04 06 03 16 20 19 18 17 09 10 05 06 14 02 03 12 13 00 01 15 07 08 04 11 19 17 20 16 18 15 09 14 04 03 13 10 08 07 01 06 12 11 05 02 00 17 16 18 20 19 07 15 12 14 08 10 09 00 04 06 05 13 02 11 03 01 20 18 17 19 16 03 02 01 00 06 07 04 05 10 11 08 09 14 15 12 13 18 19 16 17 20