(12, 3)
          ( 3 )

(24, 4)
          (    )

(3, 15)
          (    )

(20, 25)
          (    )

(6, 18)
          (    )

(8, 20)
          (    )

(2, 6)
          (    )

(30, 18)
          (    )

(24, 30)
          (    )

        +[    ]

(16, 4)
          (    )

(12, 15)
          (    )

(36, 6)
          (    )

(30, 24)
          (    )

(15, 3)
          (    )

(24, 30)
          (    )

(15, 25)
          (    )

(8, 2)
          (    )

(12, 30)
          (    )

        +[    ]

(12, 15)
          (    )

(6, 24)
          (    )

(6, 30)
          (    )

(10, 25)
          (    )

(3, 15)
          (    )

(4, 6)
          (    )

(30, 5)
          (    )

(15, 3)
          (    )

(8, 6)
          (    )

        +[    ]

(20, 15)
          (    )

(10, 2)
          (    )

(18, 3)
          (    )

(16, 4)
          (    )

(24, 4)
          (    )

(16, 20)
          (    )

(30, 25)
          (    )

(20, 12)
          (    )

(8, 6)
          (    )

        +[    ]

(36, 6)
          (    )

(5, 10)
          (    )

(6, 2)
          (    )

(3, 6)
          (    )

(12, 15)
          (    )

(6, 18)
          (    )

(12, 20)
          (    )

(36, 30)
          (    )

(20, 12)
          (    )

        +[    ]

  ++[[       ]]

(12, 3)
          ( 3 )
(24, 4)
          ( 4 )
(3, 15)
          ( 3 )
(20, 25)
          ( 5 )
(6, 18)
          ( 6 )
(8, 20)
          ( 4 )
(2, 6)
          ( 2 )
(30, 18)
          ( 6 )
(24, 30)
          ( 6 )
        +[    ]

(16, 4)
          ( 4 )
(12, 15)
          ( 3 )
(36, 6)
          ( 6 )
(30, 24)
          ( 6 )
(15, 3)
          ( 3 )
(24, 30)
          ( 6 )
(15, 25)
          ( 5 )
(8, 2)
          ( 2 )
(12, 30)
          ( 6 )
        +[    ]

(12, 15)
          ( 3 )
(6, 24)
          ( 6 )
(6, 30)
          ( 6 )
(10, 25)
          ( 5 )
(3, 15)
          ( 3 )
(4, 6)
          ( 2 )
(30, 5)
          ( 5 )
(15, 3)
          ( 3 )
(8, 6)
          ( 2 )
        +[    ]

(20, 15)
          ( 5 )
(10, 2)
          ( 2 )
(18, 3)
          ( 3 )
(16, 4)
          ( 4 )
(24, 4)
          ( 4 )
(16, 20)
          ( 4 )
(30, 25)
          ( 5 )
(20, 12)
          ( 4 )
(8, 6)
          ( 2 )
        +[    ]

(36, 6)
          ( 6 )
(5, 10)
          ( 5 )
(6, 2)
          ( 2 )
(3, 6)
          ( 3 )
(12, 15)
          ( 3 )
(6, 18)
          ( 6 )
(12, 20)
          ( 4 )
(36, 30)
          ( 6 )
(20, 12)
          ( 4 )
        +[    ]

  ++[[       ]]