circleWithTwoCollinearDipolesInside :: Int
                                    -> Network [String] (Set.Set Dipole72)
circleWithTwoCollinearDipolesInside n
    | n < 5      = eNetwork
    | otherwise  = Network
        { nDesc = show n ++ " nodes," ++
            " forming a circle with two collinear, dipoles inside, one in\
            \ front of the other, inside and outside of the circle at the\
            \ same time."
        , nCalc = "Dipole-72"
        , nNumOfNodes = Nothing
        , nCons = Map.fromList $
               [ ( [show 0              , show $ n - 2] , Set.singleton LLLR72 )
               , ( [show $ div (n - 2) 2, show $ n - 1] , Set.singleton LLRL72 )
               , ( [show $ n - 2        , show $ n - 1] , Set.singleton EFBS72 )
               , ( [show $ n - 3        , show 0      ] , Set.singleton ELLS72 )
               -- make inconsistent:
               , ( [show $ div ((n - 2) * 3) 4, show $ n - 1] , Set.singleton RRLL72 )
               ]
            ++ map (\k -> ( [show k, show $ n - 3] , Set.singleton LLLL72 )) [1..n - 5]
            ++ foldl
               (\acc k ->
                   ( ( [show k, show $ k + 1] , Set.singleton ELLS72 ) : map
                       (\l -> ( [show k, show l] , Set.singleton LLLL72 )
                       ) [k + 2..n-4]
                   ) ++ acc
               ) [] [0..n-4]
        }
circleWithTwoCollinearDipolesInside :: Int
                                    -> Network [String] (Set.Set Dipole72)
circleWithTwoCollinearDipolesInside n
    | n < 5      = eNetwork
    | otherwise  = Network
        { nDesc = show n ++ " nodes," ++
            " forming a circle with two collinear, dipoles inside, one in\
            \ front of the other, inside and outside of the circle at the\
            \ same time."
        , nCalc = "Dipole-72"
        , nNumOfNodes = Nothing
        , nCons = Map.fromList $
               [ ( [show 0              , show $ n - 2] , Set.singleton LLLR72 )
               , ( [show $ div (n - 2) 2, show $ n - 1] , Set.singleton LLRL72 )
               , ( [show $ n - 2        , show $ n - 1] , Set.singleton EFBS72 )
               , ( [show $ n - 3        , show 0      ] , Set.singleton ELLS72 )
               -- make inconsistent:
               , ( [show $ div ((n - 2) * 3) 4, show $ n - 1] , Set.singleton RRLL72 )
               ]
            ++ map (\k -> ( [show k, show $ n - 3] , Set.singleton LLLL72 )) [1..n - 5]
            ++ foldl
               (\acc k ->
                   ( ( [show k, show $ k + 1] , Set.singleton ELLS72 ) : map
                       (\l -> ( [show k, show l] , Set.singleton LLLL72 )
                       ) [k + 2..n-4]
                   ) ++ acc
               ) [] [0..n-4]
        }
circleWithTwoCollinearDipolesInside n
    | n < 5      = eNetwork
    | otherwise  = Network
        { nDesc = show n ++ " nodes," ++
            " forming a circle with two collinear, dipoles inside, one in\
            \ front of the other, inside and outside of the circle at the\
            \ same time."
        , nCalc = "Dipole-72"
        , nNumOfNodes = Nothing
        , nCons = Map.fromList $
               [ ( [show 0              , show $ n - 2] , Set.singleton LLLR72 )
               , ( [show $ div (n - 2) 2, show $ n - 1] , Set.singleton LLRL72 )
               , ( [show $ n - 2        , show $ n - 1] , Set.singleton EFBS72 )
               , ( [show $ n - 3        , show 0      ] , Set.singleton ELLS72 )
               -- make inconsistent:
               , ( [show $ div ((n - 2) * 3) 4, show $ n - 1] , Set.singleton RRLL72 )
               ]
            ++ map (\k -> ( [show k, show $ n - 3] , Set.singleton LLLL72 )) [1..n - 5]
            ++ foldl
               (\acc k ->
                   ( ( [show k, show $ k + 1] , Set.singleton ELLS72 ) : map
                       (\l -> ( [show k, show l] , Set.singleton LLLL72 )
                       ) [k + 2..n-4]
                   ) ++ acc
               ) [] [0..n-4]
        }