Lexicographical ordering:
( )
( )
( 1e+30 2e+30 )
( 1e+30 2e+30 3e+30 )
( 1e+30 2e+30 9e+30 )
( 1e+30 2e+30 9e+30 )
( 3e+30 3e+30 )
( 9e+30 2e+30 1e+30 )

Colexicographical ordering:
( )
( )
( 9e+30 2e+30 1e+30 )
( 1e+30 2e+30 )
( 1e+30 2e+30 3e+30 )
( 3e+30 3e+30 )
( 1e+30 2e+30 9e+30 )
( 1e+30 2e+30 9e+30 )