nonzero-massey-prods.txt

·                                                             
·                                                               
·                                                                 
·                                                                   
·                                                                     
·                                                                       
·                                                                         
·                                                                           
·                                                                             
·                                                                               
·                                                                             ·   
·                                                                     ·       · · · 
·                                                                   · ·     · · · ·   
·                                                                 ·   ·     · :   · ·   
·                                                             ·   ·         · ·   · ·   · 
·                                                     ·       · · ·           ·     ·     · 
·                                                   · ·     · · · ·     ·     ·     ·       · 
·                                                 ·   ·     · :   · ·   · ·   · ·   · ·       : 
·                                             ·   ·         · ·   · ·   · ·   · ·   · ·   ·     · 
·                                     ·       · · ·         · ·     ·     ·     · ·   ·     ·     · 
·                                   · ·     · · · ·     ·   · :     ·     ·     · ·     ·     ·     · 
·                                 ·   ·     · :   · ·   · · · : ·   · ·   · · ·     ·     ·     :     · 
·                             ·   ·         · ·   · ·   · · · : ·   · ·   : ·   ·   ·       · : ·     · · 
·                     ·       · · ·           ·     ·     · · · · ·   ·   : · ·   · ·     · · · :     ·   · 
·                   · ·     · · · ·     ·     ·     ·       · · ·   ·   · · :   :   ·   · · · · · · · · ·   · 
·                 ·   ·     · :   · ·   · ·   · ·           · :   ·   ·   · · · : ·     · :   · · ·   · · ·     
·             ·   ·         · ·   · :   ·   · ·             · · · · ·       : · : ·     · ·     ·   ·             
·     ·       · · ·         · ·   · · ·   ·                 · :   · ·     · · ·   ·       ·                         
·   · ·     · · ·           · · ·   ·                       · · ·   ·       ·                                         
· ·   ·       ·               ·                               ·                                                         
·                                                                                                                         

< (1, 1, [1]), (1, 2, [1]), (1, 1, [1]) > = (2, 4, [1])
< (1, 1, [1]), (1, 2, [1]), (2, 17, [1]) > = (3, 20, [1])
< (1, 1, [1]), (1, 2, [1]), (4, 13, [1]) > = (5, 16, [1])
< (1, 1, [1]), (1, 2, [1]), (4, 22, [1, 0]) > = (5, 25, [1])
< (1, 1, [1]), (1, 2, [1]), (4, 22, [1, 1]) > = (5, 25, [1])
< (1, 1, [1]), (1, 2, [1]), (5, 26, [1]) > = (6, 29, [1])
< (1, 1, [1]), (1, 2, [1]), (5, 29, [1]) > = (6, 32, [1])
< (1, 1, [1]), (2, 4, [1]), (3, 11, [1]) > = (5, 16, [1])
< (1, 1, [1]), (2, 4, [1]), (3, 17, [1]) > = (5, 22, [1])
< (1, 1, [1]), (2, 4, [1]), (4, 21, [1]) > = (6, 26, [1])
< (1, 1, [1]), (2, 4, [1]), (4, 27, [1]) > = (6, 32, [1])
< (1, 1, [1]), (2, 8, [1]), (2, 4, [1]) > = (4, 13, [1])
< (1, 1, [1]), (2, 8, [1]), (6, 16, [1]) > = (8, 25, [1])
< (1, 1, [1]), (2, 18, [1]), (1, 1, [1]) > = (3, 20, [1])
< (1, 1, [1]), (2, 18, [1]), (4, 13, [1]) > = (6, 32, [1])
< (1, 1, [1]), (3, 6, [1]), (1, 4, [1]) > = (4, 11, [1])
< (1, 1, [1]), (3, 6, [1]), (4, 11, [1]) > = (7, 18, [1])
< (1, 1, [1]), (3, 6, [1]), (5, 16, [1]) > = (8, 23, [1])
< (1, 1, [1]), (3, 11, [1]), (1, 1, [1]) > = (4, 13, [1])
< (1, 1, [1]), (3, 11, [1]), (2, 4, [1]) > = (5, 16, [1])
< (1, 1, [1]), (3, 11, [1]), (2, 10, [1]) > = (5, 22, [1])
< (1, 1, [1]), (3, 11, [1]), (3, 17, [1]) > = (6, 29, [1])
< (1, 1, [1]), (3, 11, [1]), (3, 20, [1]) > = (6, 32, [1])
< (1, 1, [1]), (3, 11, [1]), (4, 18, [1]) > = (7, 30, [1])
< (1, 1, [1]), (3, 11, [1]), (4, 21, [1]) > = (7, 33, [1])
< (1, 1, [1]), (3, 11, [1]), (4, 24, [1]) > = (7, 36, [1])
< (1, 1, [1]), (3, 11, [1]), (6, 16, [1]) > = (9, 28, [1])
< (1, 1, [1]), (3, 22, [1]), (3, 6, [1]) > = (6, 29, [1])
< (1, 1, [1]), (3, 22, [1]), (4, 21, [1]) > = (7, 44, [0, 1])
< (1, 1, [1]), (3, 22, [1]), (5, 22, [1]) > = (8, 45, [1, 0])
< (1, 1, [1]), (4, 11, [1]), (1, 2, [1]) > = (5, 14, [1])
< (1, 1, [1]), (4, 11, [1]), (1, 4, [1]) > = (5, 16, [1])
< (1, 1, [1]), (4, 11, [1]), (1, 16, [1]) > = (5, 28, [1])
< (1, 1, [1]), (4, 11, [1]), (2, 4, [1]) > = (6, 16, [1])
< (1, 1, [1]), (4, 11, [1]), (2, 8, [1]) > = (6, 20, [1])
< (1, 1, [1]), (4, 11, [1]), (2, 17, [1]) > = (6, 29, [1])
< (1, 1, [1]), (4, 11, [1]), (2, 20, [1]) > = (6, 32, [1])
< (1, 1, [1]), (4, 11, [1]), (3, 6, [1]) > = (7, 18, [1])
< (1, 1, [1]), (4, 11, [1]), (3, 10, [1]) > = (7, 22, [1])
< (1, 1, [1]), (4, 11, [1]), (4, 11, [1]) > = (8, 23, [1])
< (1, 1, [1]), (4, 11, [1]), (4, 13, [1]) > = (8, 25, [1])
< (1, 1, [1]), (4, 11, [1]), (4, 18, [1]) > = (8, 30, [1])
< (1, 1, [1]), (4, 11, [1]), (4, 21, [1]) > = (8, 33, [1])
< (1, 1, [1]), (4, 11, [1]), (4, 24, [1]) > = (8, 36, [1])
< (1, 1, [1]), (4, 11, [1]), (5, 14, [1]) > = (9, 26, [1])
< (1, 1, [1]), (4, 11, [1]), (5, 16, [1]) > = (9, 28, [1])
< (1, 1, [1]), (4, 11, [1]), (5, 19, [1]) > = (9, 31, [1])
< (1, 1, [1]), (4, 11, [1]), (5, 22, [1]) > = (9, 34, [1])
< (1, 1, [1]), (4, 11, [1]), (5, 25, [1]) > = (9, 37, [1])
< (1, 1, [1]), (4, 11, [1]), (6, 16, [1]) > = (10, 28, [1])
< (1, 1, [1]), (4, 11, [1]), (6, 20, [1]) > = (10, 32, [1])
< (1, 1, [1]), (4, 11, [1]), (6, 26, [1]) > = (10, 38, [1])
< (1, 1, [1]), (4, 26, [1]), (3, 17, [1]) > = (7, 44, [1, 0])
< (1, 1, [1]), (4, 26, [1]), (4, 18, [1]) > = (8, 45, [1, 0])
< (1, 1, [1]), (4, 26, [1]), (6, 17, [1]) > = (10, 44, [1])
< (1, 1, [1]), (4, 26, [1]), (6, 20, [1]) > = (10, 47, [1])
< (1, 1, [1]), (5, 14, [1]), (1, 1, [1]) > = (6, 16, [1])
< (1, 1, [1]), (5, 14, [1]), (4, 13, [1]) > = (9, 28, [1])
< (1, 1, [1]), (5, 14, [1]), (4, 19, [1]) > = (9, 34, [1])
< (1, 1, [1]), (5, 14, [1]), (4, 22, [0, 1]) > = (9, 37, [1])
< (1, 1, [1]), (5, 14, [1]), (4, 22, [1, 1]) > = (9, 37, [1])
< (1, 1, [1]), (5, 14, [1]), (5, 23, [1]) > = (10, 38, [1])
< (1, 1, [1]), (5, 14, [1]), (6, 26, [1]) > = (11, 41, [1])
< (1, 1, [1]), (5, 23, [1]), (1, 8, [1]) > = (6, 32, [1])
< (1, 1, [1]), (5, 23, [1]), (6, 17, [1]) > = (11, 41, [1])
< (1, 1, [1]), (5, 26, [1]), (2, 17, [1]) > = (7, 44, [1, 0])
< (1, 1, [1]), (5, 26, [1]), (4, 19, [1]) > = (9, 46, [1])
< (1, 1, [1]), (5, 26, [1]), (4, 24, [1]) > = (9, 51, [1])
< (1, 1, [1]), (5, 26, [1]), (5, 5, [1]) > = (10, 32, [1])
< (1, 1, [1]), (5, 26, [1]), (5, 20, [1, 0]) > = (10, 47, [1])
< (1, 1, [1]), (5, 26, [1]), (5, 20, [0, 1]) > = (10, 47, [1])
< (1, 1, [1]), (5, 29, [1]), (1, 2, [1]) > = (6, 32, [1])
< (1, 1, [1]), (6, 16, [1]), (3, 11, [1]) > = (9, 28, [1])
< (1, 1, [1]), (6, 16, [1]), (3, 17, [1]) > = (9, 34, [1])
< (1, 1, [1]), (6, 16, [1]), (4, 21, [1]) > = (10, 38, [1])
< (1, 1, [1]), (6, 20, [1]), (2, 4, [1]) > = (8, 25, [1])
< (1, 1, [1]), (6, 20, [1]), (4, 19, [1]) > = (10, 40, [1])
< (1, 1, [1]), (6, 20, [1]), (6, 16, [1]) > = (12, 37, [1])
< (2, 2, [1]), (1, 2, [1]), (4, 13, [1]) > = (6, 17, [1])
< (2, 2, [1]), (1, 2, [1]), (4, 22, [1, 0]) > = (6, 26, [1])
< (2, 2, [1]), (1, 2, [1]), (4, 22, [1, 1]) > = (6, 26, [1])
< (2, 2, [1]), (2, 4, [1]), (3, 11, [1]) > = (6, 17, [1])
< (2, 2, [1]), (2, 4, [1]), (3, 17, [1]) > = (6, 23, [1])
< (2, 2, [1]), (2, 5, [1]), (1, 4, [1]) > = (4, 11, [1])
< (2, 2, [1]), (2, 5, [1]), (5, 16, [1]) > = (8, 23, [1])
< (2, 2, [1]), (3, 10, [1]), (1, 2, [1]) > = (5, 14, [1])
< (2, 2, [1]), (3, 10, [1]), (1, 4, [1]) > = (5, 16, [1])
< (2, 2, [1]), (3, 10, [1]), (2, 5, [1]) > = (6, 17, [1])
< (2, 2, [1]), (3, 10, [1]), (2, 8, [1]) > = (6, 20, [1])
< (2, 2, [1]), (3, 10, [1]), (2, 17, [1]) > = (6, 29, [1])
< (2, 2, [1]), (3, 10, [1]), (2, 20, [1]) > = (6, 32, [1])
< (2, 2, [1]), (3, 10, [1]), (4, 11, [1]) > = (8, 23, [1])
< (2, 2, [1]), (3, 10, [1]), (4, 18, [1]) > = (8, 30, [1])
< (2, 2, [1]), (3, 10, [1]), (4, 21, [1]) > = (8, 33, [1])
< (2, 2, [1]), (3, 10, [1]), (4, 22, [0, 1]) > = (8, 34, [1])
< (2, 2, [1]), (3, 10, [1]), (4, 22, [1, 1]) > = (8, 34, [1])
< (2, 2, [1]), (3, 10, [1]), (4, 24, [1]) > = (8, 36, [1])
< (2, 2, [1]), (3, 10, [1]), (5, 14, [1]) > = (9, 26, [1])
< (2, 2, [1]), (3, 10, [1]), (5, 16, [1]) > = (9, 28, [1])
< (2, 2, [1]), (3, 10, [1]), (5, 19, [1]) > = (9, 31, [1])
< (2, 2, [1]), (3, 10, [1]), (5, 22, [1]) > = (9, 34, [1])
< (2, 2, [1]), (3, 10, [1]), (5, 25, [1]) > = (9, 37, [1])
< (2, 2, [1]), (3, 10, [1]), (6, 17, [1]) > = (10, 29, [1])
< (2, 2, [1]), (3, 10, [1]), (6, 20, [1]) > = (10, 32, [1])
< (2, 2, [1]), (3, 10, [1]), (6, 23, [1]) > = (10, 35, [1])
< (2, 2, [1]), (3, 10, [1]), (6, 26, [1]) > = (10, 38, [1])
< (2, 2, [1]), (3, 11, [1]), (2, 4, [1]) > = (6, 17, [1])
< (2, 2, [1]), (3, 11, [1]), (2, 10, [1]) > = (6, 23, [1])
< (2, 2, [1]), (3, 11, [1]), (4, 18, [1]) > = (8, 31, [1])
< (2, 2, [1]), (3, 11, [1]), (4, 21, [1]) > = (8, 34, [1])
< (2, 2, [1]), (3, 11, [1]), (4, 24, [1]) > = (8, 37, [1])
< (2, 2, [1]), (3, 11, [1]), (6, 16, [1]) > = (10, 29, [1])
< (2, 2, [1]), (3, 22, [1]), (5, 22, [1]) > = (9, 46, [1])
< (2, 2, [1]), (4, 11, [1]), (1, 4, [1]) > = (6, 17, [1])
< (2, 2, [1]), (4, 11, [1]), (1, 16, [1]) > = (6, 29, [1])
< (2, 2, [1]), (4, 11, [1]), (3, 10, [1]) > = (8, 23, [1])
< (2, 2, [1]), (4, 11, [1]), (4, 18, [1]) > = (9, 31, [1])
< (2, 2, [1]), (4, 11, [1]), (4, 21, [1]) > = (9, 34, [1])
< (2, 2, [1]), (4, 11, [1]), (4, 24, [1]) > = (9, 37, [1])
< (2, 2, [1]), (4, 11, [1]), (5, 16, [1]) > = (10, 29, [1])
< (2, 2, [1]), (4, 11, [1]), (5, 19, [1]) > = (10, 32, [1])
< (2, 2, [1]), (4, 11, [1]), (5, 22, [1]) > = (10, 35, [1])
< (2, 2, [1]), (4, 11, [1]), (5, 25, [1]) > = (10, 38, [1])
< (2, 2, [1]), (4, 13, [1]), (1, 2, [1]) > = (6, 17, [1])
< (2, 2, [1]), (4, 13, [1]), (1, 8, [1]) > = (6, 23, [1])
< (2, 2, [1]), (4, 13, [1]), (5, 14, [1]) > = (10, 29, [1])
< (2, 2, [1]), (4, 13, [1]), (5, 20, [1, 0]) > = (10, 35, [1])
< (2, 2, [1]), (4, 13, [1]), (5, 20, [0, 1]) > = (10, 35, [1])
< (2, 2, [1]), (4, 13, [1]), (5, 23, [1]) > = (10, 38, [1])
< (2, 2, [1]), (4, 13, [1]), (6, 26, [1]) > = (11, 41, [1])
< (2, 2, [1]), (4, 22, [1, 0]), (4, 22, [0, 1]) > = (9, 46, [1])
< (2, 2, [1]), (4, 22, [1, 0]), (4, 22, [1, 1]) > = (9, 46, [1])
< (2, 2, [1]), (4, 22, [0, 1]), (1, 8, [1]) > = (6, 32, [1])
< (2, 2, [1]), (4, 22, [1, 1]), (1, 8, [1]) > = (6, 32, [1])
< (2, 2, [1]), (4, 22, [1, 1]), (4, 22, [0, 1]) > = (9, 46, [1])
< (2, 2, [1]), (4, 22, [1, 1]), (4, 22, [1, 1]) > = (9, 46, [1])
< (2, 2, [1]), (4, 26, [1]), (3, 17, [1]) > = (8, 45, [1, 0])
< (2, 2, [1]), (4, 26, [1]), (4, 18, [1]) > = (9, 46, [1])
< (2, 2, [1]), (5, 14, [1]), (4, 13, [1]) > = (10, 29, [1])
< (2, 2, [1]), (5, 14, [1]), (4, 19, [1]) > = (10, 35, [1])
< (2, 2, [1]), (5, 14, [1]), (4, 22, [0, 1]) > = (10, 38, [1])
< (2, 2, [1]), (5, 14, [1]), (4, 22, [1, 1]) > = (10, 38, [1])
< (2, 2, [1]), (5, 19, [1]), (1, 16, [1]) > = (7, 37, [1])
< (2, 2, [1]), (5, 19, [1]), (4, 11, [1]) > = (10, 32, [1])
< (2, 2, [1]), (5, 19, [1]), (5, 20, [0, 1]) > = (11, 41, [1])
< (2, 2, [1]), (5, 19, [1]), (5, 20, [1, 1]) > = (11, 41, [1])
< (2, 2, [1]), (5, 25, [1]), (4, 11, [1]) > = (10, 38, [1])
< (2, 2, [1]), (5, 25, [1]), (4, 24, [1]) > = (10, 51, [1])
< (2, 2, [1]), (5, 25, [1]), (5, 14, [1]) > = (11, 41, [1])
< (2, 2, [1]), (5, 26, [1]), (2, 17, [1]) > = (8, 45, [1, 0])
< (2, 2, [1]), (5, 26, [1]), (4, 19, [1]) > = (10, 47, [1])
< (2, 2, [1]), (6, 16, [1]), (3, 11, [1]) > = (10, 29, [1])
< (2, 2, [1]), (6, 16, [1]), (3, 17, [1]) > = (10, 35, [1])
< (2, 2, [1]), (6, 17, [1]), (1, 4, [1]) > = (8, 23, [1])
< (2, 2, [1]), (6, 17, [1]), (5, 16, [1]) > = (12, 35, [1])
< (2, 2, [1]), (6, 20, [1]), (4, 19, [1]) > = (11, 41, [1])
< (2, 4, [1]), (2, 5, [1]), (1, 2, [1]) > = (4, 11, [1])
< (2, 4, [1]), (2, 5, [1]), (2, 5, [1]) > = (5, 14, [1])
< (2, 4, [1]), (2, 5, [1]), (2, 20, [1]) > = (5, 29, [1])
< (2, 4, [1]), (2, 5, [1]), (5, 14, [1]) > = (8, 23, [1])
< (2, 4, [1]), (2, 5, [1]), (6, 17, [1]) > = (9, 26, [1])
< (2, 4, [1]), (2, 5, [1]), (6, 23, [1]) > = (9, 32, [0, 1])
< (2, 4, [1]), (2, 16, [1]), (1, 16, [1]) > = (4, 36, [1])
< (2, 4, [1]), (2, 16, [1]), (2, 9, [1]) > = (5, 29, [1])
< (2, 4, [1]), (2, 16, [1]), (5, 16, [1]) > = (8, 36, [1])
< (2, 4, [1]), (2, 16, [1]), (5, 25, [1]) > = (8, 45, [1, 0])
< (2, 4, [1]), (3, 6, [1]), (1, 4, [1]) > = (5, 14, [1])
< (2, 4, [1]), (3, 6, [1]), (5, 16, [1]) > = (9, 26, [1])
< (2, 4, [1]), (3, 11, [1]), (4, 24, [1]) > = (8, 39, [0, 1])
< (2, 4, [1]), (3, 17, [1]), (4, 18, [1]) > = (8, 39, [0, 1])
< (2, 4, [1]), (3, 17, [1]), (4, 24, [1]) > = (8, 45, [1, 1])
< (2, 4, [1]), (4, 11, [1]), (1, 2, [1]) > = (6, 17, [1])
< (2, 4, [1]), (4, 11, [1]), (2, 8, [1]) > = (7, 23, [1])
< (2, 4, [1]), (4, 11, [1]), (3, 10, [1]) > = (8, 25, [1])
< (2, 4, [1]), (4, 11, [1]), (4, 11, [1]) > = (9, 26, [1])
< (2, 4, [1]), (4, 11, [1]), (4, 24, [1]) > = (9, 39, [1])
< (2, 4, [1]), (4, 11, [1]), (5, 14, [1]) > = (10, 29, [1])
< (2, 4, [1]), (4, 11, [1]), (5, 25, [1]) > = (10, 40, [1])
< (2, 4, [1]), (4, 11, [1]), (6, 20, [1]) > = (11, 35, [1])
< (2, 4, [1]), (4, 11, [1]), (6, 26, [1]) > = (11, 41, [1])
< (2, 4, [1]), (4, 21, [1]), (3, 6, [1]) > = (8, 31, [1])
< (2, 4, [1]), (4, 21, [1]), (3, 11, [1]) > = (8, 36, [1])
< (2, 4, [1]), (4, 21, [1]), (6, 16, [1]) > = (11, 41, [1])
< (2, 4, [1]), (4, 24, [1]), (2, 9, [1]) > = (7, 37, [1])
< (2, 4, [1]), (4, 24, [1]), (3, 3, [1]) > = (8, 31, [1])
< (2, 4, [1]), (4, 24, [1]), (3, 10, [1]) > = (8, 38, [1])
< (2, 4, [1]), (4, 24, [1]), (3, 11, [1]) > = (8, 39, [0, 1])
< (2, 4, [1]), (4, 24, [1]), (3, 17, [1]) > = (8, 45, [1, 1])
< (2, 4, [1]), (4, 24, [1]), (4, 4, [1]) > = (9, 32, [1, 0])
< (2, 4, [1]), (4, 24, [1]), (5, 5, [1]) > = (10, 33, [1])
< (2, 4, [1]), (4, 24, [1]), (5, 26, [1]) > = (10, 54, [1])
< (2, 4, [1]), (4, 24, [1]), (6, 6, [1]) > = (11, 34, [1])
< (2, 4, [1]), (4, 27, [1]), (3, 24, [1]) > = (8, 55, [1, 1])
< (2, 4, [1]), (5, 22, [1]), (2, 4, [1]) > = (8, 30, [1])
< (2, 4, [1]), (5, 22, [1]), (3, 6, [1]) > = (9, 32, [0, 1])
< (2, 4, [1]), (5, 22, [1]), (6, 16, [1]) > = (12, 42, [1])
< (2, 4, [1]), (5, 22, [1]), (6, 22, [1]) > = (12, 48, [1])
< (2, 4, [1]), (5, 25, [1]), (1, 8, [1]) > = (7, 37, [1])
< (2, 4, [1]), (5, 25, [1]), (2, 2, [1]) > = (8, 31, [1])
< (2, 4, [1]), (5, 25, [1]), (2, 9, [1]) > = (8, 38, [1])
< (2, 4, [1]), (5, 25, [1]), (2, 16, [1]) > = (8, 45, [1, 0])
< (2, 4, [1]), (5, 25, [1]), (3, 3, [1]) > = (9, 32, [1, 1])
< (2, 4, [1]), (5, 25, [1]), (3, 10, [1]) > = (9, 39, [1])
< (2, 4, [1]), (5, 25, [1]), (4, 4, [1]) > = (10, 33, [1])
< (2, 4, [1]), (5, 25, [1]), (5, 5, [1]) > = (11, 34, [1])
< (2, 4, [1]), (5, 25, [1]), (6, 6, [1]) > = (12, 35, [1])
< (2, 4, [1]), (6, 16, [1]), (4, 21, [1]) > = (11, 41, [1])
< (2, 4, [1]), (6, 17, [1]), (1, 2, [1]) > = (8, 23, [1])
< (2, 4, [1]), (6, 17, [1]), (2, 5, [1]) > = (9, 26, [1])
< (2, 4, [1]), (6, 17, [1]), (5, 14, [1]) > = (12, 35, [1])
< (2, 4, [1]), (6, 17, [1]), (6, 17, [1]) > = (13, 38, [1])
< (2, 4, [1]), (6, 17, [1]), (6, 23, [1]) > = (13, 44, [0, 1])
< (2, 5, [1]), (1, 2, [1]), (1, 4, [1]) > = (3, 11, [1])
< (2, 5, [1]), (1, 2, [1]), (4, 13, [1]) > = (6, 20, [1])
< (2, 5, [1]), (1, 2, [1]), (4, 22, [1, 0]) > = (6, 29, [1])
< (2, 5, [1]), (1, 2, [1]), (4, 22, [0, 1]) > = (6, 29, [1])
< (2, 5, [1]), (1, 2, [1]), (5, 16, [1]) > = (7, 23, [1])
< (2, 5, [1]), (1, 2, [1]), (5, 26, [1]) > = (7, 33, [1])
< (2, 5, [1]), (1, 2, [1]), (5, 29, [1]) > = (7, 36, [1])
< (2, 5, [1]), (1, 4, [1]), (1, 2, [1]) > = (3, 11, [1])
< (2, 5, [1]), (1, 4, [1]), (2, 4, [1]) > = (4, 13, [1])
< (2, 5, [1]), (1, 4, [1]), (3, 11, [1]) > = (5, 20, [0, 1])
< (2, 5, [1]), (1, 4, [1]), (4, 13, [1]) > = (6, 22, [1])
< (2, 5, [1]), (1, 4, [1]), (5, 14, [1]) > = (7, 23, [1])
< (2, 5, [1]), (1, 4, [1]), (6, 16, [1]) > = (8, 25, [1])
< (2, 5, [1]), (1, 4, [1]), (6, 21, [1]) > = (8, 30, [1])
< (2, 5, [1]), (1, 8, [1]), (2, 5, [1]) > = (4, 18, [1])
< (2, 5, [1]), (1, 8, [1]), (5, 23, [1]) > = (7, 36, [1])
< (2, 5, [1]), (1, 8, [1]), (6, 17, [1]) > = (8, 30, [1])
< (2, 5, [1]), (2, 4, [1]), (1, 4, [1]) > = (4, 13, [1])
< (2, 5, [1]), (2, 4, [1]), (3, 11, [1]) > = (6, 20, [1])
< (2, 5, [1]), (2, 4, [1]), (4, 21, [1]) > = (7, 30, [1])
< (2, 5, [1]), (2, 4, [1]), (4, 27, [1]) > = (7, 36, [1])
< (2, 5, [1]), (2, 4, [1]), (5, 16, [1]) > = (8, 25, [1])
< (2, 5, [1]), (2, 5, [1]), (1, 8, [1]) > = (4, 18, [1])
< (2, 5, [1]), (2, 5, [1]), (2, 4, [1]) > = (5, 14, [1])
< (2, 5, [1]), (2, 5, [1]), (2, 10, [1]) > = (5, 20, [0, 1])
< (2, 5, [1]), (2, 5, [1]), (2, 18, [1]) > = (5, 28, [1])
< (2, 5, [1]), (2, 5, [1]), (3, 6, [1]) > = (6, 16, [1])
< (2, 5, [1]), (2, 5, [1]), (3, 12, [1]) > = (6, 22, [1])
< (2, 5, [1]), (2, 5, [1]), (4, 13, [1]) > = (7, 23, [1])
< (2, 5, [1]), (2, 5, [1]), (5, 20, [0, 1]) > = (8, 30, [1])
< (2, 5, [1]), (2, 5, [1]), (5, 20, [1, 1]) > = (8, 30, [1])
< (2, 5, [1]), (2, 5, [1]), (5, 23, [1]) > = (8, 33, [1])
< (2, 5, [1]), (2, 5, [1]), (5, 26, [1]) > = (8, 36, [1])
< (2, 5, [1]), (2, 5, [1]), (6, 16, [1]) > = (9, 26, [1])
< (2, 5, [1]), (2, 5, [1]), (6, 22, [1]) > = (9, 32, [1, 0])
< (2, 5, [1]), (2, 9, [1]), (3, 3, [1]) > = (6, 17, [1])
< (2, 5, [1]), (2, 9, [1]), (3, 18, [1]) > = (6, 32, [1])
< (2, 5, [1]), (2, 9, [1]), (4, 4, [1]) > = (7, 18, [1])
< (2, 5, [1]), (2, 9, [1]), (5, 19, [1]) > = (8, 33, [1])
< (2, 5, [1]), (2, 9, [1]), (5, 25, [1]) > = (8, 39, [0, 1])
< (2, 5, [1]), (2, 10, [1]), (4, 21, [1]) > = (7, 36, [1])
< (2, 5, [1]), (2, 18, [1]), (4, 13, [1]) > = (7, 36, [1])
< (2, 5, [1]), (2, 20, [1]), (2, 10, [1]) > = (5, 35, [1])
< (2, 5, [1]), (2, 20, [1]), (2, 20, [1]) > = (5, 45, [1, 1])
< (2, 5, [1]), (2, 20, [1]), (3, 21, [1]) > = (6, 46, [0, 1])
< (2, 5, [1]), (2, 20, [1]), (4, 11, [1]) > = (7, 36, [1])
< (2, 5, [1]), (2, 20, [1]), (5, 23, [1]) > = (8, 48, [1])
< (2, 5, [1]), (2, 20, [1]), (6, 6, [1]) > = (9, 31, [1])
< (2, 5, [1]), (3, 6, [1]), (2, 5, [1]) > = (6, 16, [1])
< (2, 5, [1]), (3, 6, [1]), (6, 17, [1]) > = (10, 28, [1])
< (2, 5, [1]), (3, 6, [1]), (6, 23, [1]) > = (10, 34, [1])
< (2, 5, [1]), (3, 10, [1]), (1, 4, [1]) > = (5, 19, [1])
< (2, 5, [1]), (3, 10, [1]), (2, 8, [1]) > = (6, 23, [1])
< (2, 5, [1]), (3, 10, [1]), (4, 18, [1]) > = (8, 33, [1])
< (2, 5, [1]), (3, 10, [1]), (4, 21, [1]) > = (8, 36, [1])
< (2, 5, [1]), (3, 10, [1]), (4, 22, [0, 1]) > = (8, 37, [1])
< (2, 5, [1]), (3, 10, [1]), (4, 22, [1, 1]) > = (8, 37, [1])
< (2, 5, [1]), (3, 10, [1]), (4, 24, [1]) > = (8, 39, [0, 1])
< (2, 5, [1]), (3, 10, [1]), (5, 16, [1]) > = (9, 31, [1])
< (2, 5, [1]), (3, 10, [1]), (5, 19, [1]) > = (9, 34, [1])
< (2, 5, [1]), (3, 10, [1]), (5, 25, [1]) > = (9, 40, [0, 1])
< (2, 5, [1]), (3, 10, [1]), (6, 20, [1]) > = (10, 35, [1])
< (2, 5, [1]), (3, 10, [1]), (6, 26, [1]) > = (10, 41, [0, 1])
< (2, 5, [1]), (3, 22, [1]), (3, 6, [1]) > = (7, 33, [1])
< (2, 5, [1]), (4, 13, [1]), (1, 2, [1]) > = (6, 20, [1])
< (2, 5, [1]), (4, 13, [1]), (2, 18, [1]) > = (7, 36, [1])
< (2, 5, [1]), (4, 13, [1]), (5, 14, [1]) > = (10, 32, [1])
< (2, 5, [1]), (4, 22, [1, 0]), (6, 21, [1]) > = (11, 48, [1])
< (2, 5, [1]), (4, 22, [0, 1]), (1, 2, [1]) > = (6, 29, [1])
< (2, 5, [1]), (4, 22, [0, 1]), (2, 17, [1]) > = (7, 44, [1, 1])
< (2, 5, [1]), (4, 22, [0, 1]), (3, 21, [1]) > = (8, 48, [1])
< (2, 5, [1]), (4, 22, [0, 1]), (4, 13, [1]) > = (9, 40, [0, 1])
< (2, 5, [1]), (4, 22, [0, 1]), (5, 14, [1]) > = (10, 41, [1, 0])
< (2, 5, [1]), (4, 22, [0, 1]), (5, 20, [1, 0]) > = (10, 47, [1])
< (2, 5, [1]), (4, 22, [0, 1]), (5, 20, [1, 1]) > = (10, 47, [1])
< (2, 5, [1]), (4, 22, [0, 1]), (6, 21, [1]) > = (11, 48, [1])
< (2, 5, [1]), (4, 22, [1, 1]), (1, 2, [1]) > = (6, 29, [1])
< (2, 5, [1]), (4, 22, [1, 1]), (2, 17, [1]) > = (7, 44, [1, 1])
< (2, 5, [1]), (4, 22, [1, 1]), (3, 21, [1]) > = (8, 48, [1])
< (2, 5, [1]), (4, 22, [1, 1]), (4, 13, [1]) > = (9, 40, [0, 1])
< (2, 5, [1]), (4, 22, [1, 1]), (5, 14, [1]) > = (10, 41, [1, 0])
< (2, 5, [1]), (4, 22, [1, 1]), (5, 20, [1, 0]) > = (10, 47, [1])
< (2, 5, [1]), (4, 22, [1, 1]), (5, 20, [1, 1]) > = (10, 47, [1])
< (2, 5, [1]), (4, 26, [1]), (3, 17, [1]) > = (8, 48, [1])
< (2, 5, [1]), (4, 26, [1]), (4, 26, [1]) > = (9, 57, [0, 1])
< (2, 5, [1]), (4, 26, [1]), (5, 19, [1]) > = (10, 50, [1])
< (2, 5, [1]), (4, 26, [1]), (6, 17, [1]) > = (11, 48, [1])
< (2, 5, [1]), (4, 26, [1]), (6, 20, [1]) > = (11, 51, [1])
< (2, 5, [1]), (5, 14, [1]), (1, 4, [1]) > = (7, 23, [1])
< (2, 5, [1]), (5, 14, [1]), (4, 13, [1]) > = (10, 32, [1])
< (2, 5, [1]), (5, 14, [1]), (4, 22, [0, 1]) > = (10, 41, [0, 1])
< (2, 5, [1]), (5, 14, [1]), (4, 22, [1, 1]) > = (10, 41, [0, 1])
< (2, 5, [1]), (5, 14, [1]), (5, 16, [1]) > = (11, 35, [1])
< (2, 5, [1]), (5, 14, [1]), (5, 22, [1]) > = (11, 41, [1])
< (2, 5, [1]), (5, 14, [1]), (6, 26, [1]) > = (12, 45, [1])
< (2, 5, [1]), (5, 16, [1]), (2, 9, [1]) > = (8, 30, [1])
< (2, 5, [1]), (5, 16, [1]), (2, 16, [1]) > = (8, 37, [1])
< (2, 5, [1]), (5, 16, [1]), (4, 13, [1]) > = (10, 34, [1])
< (2, 5, [1]), (5, 16, [1]), (5, 20, [0, 1]) > = (11, 41, [1])
< (2, 5, [1]), (5, 16, [1]), (5, 20, [1, 1]) > = (11, 41, [1])
< (2, 5, [1]), (5, 20, [0, 1]), (1, 8, [1]) > = (7, 33, [1])
< (2, 5, [1]), (5, 20, [0, 1]), (5, 16, [1]) > = (11, 41, [1])
< (2, 5, [1]), (5, 20, [0, 1]), (5, 26, [1]) > = (11, 51, [1])
< (2, 5, [1]), (5, 20, [1, 1]), (1, 8, [1]) > = (7, 33, [1])
< (2, 5, [1]), (5, 20, [1, 1]), (5, 16, [1]) > = (11, 41, [1])
< (2, 5, [1]), (5, 20, [1, 1]), (5, 26, [1]) > = (11, 51, [1])
< (2, 5, [1]), (5, 22, [1]), (2, 4, [1]) > = (8, 31, [1])
< (2, 5, [1]), (5, 22, [1]), (2, 9, [1]) > = (8, 36, [1])
< (2, 5, [1]), (5, 22, [1]), (4, 27, [1]) > = (10, 54, [1])
< (2, 5, [1]), (5, 22, [1]), (6, 21, [1]) > = (12, 48, [1])
< (2, 5, [1]), (5, 23, [1]), (1, 8, [1]) > = (7, 36, [1])
< (2, 5, [1]), (5, 23, [1]), (4, 22, [0, 1]) > = (10, 50, [1])
< (2, 5, [1]), (5, 23, [1]), (4, 22, [1, 1]) > = (10, 50, [1])
< (2, 5, [1]), (5, 23, [1]), (6, 17, [1]) > = (12, 45, [1])
< (2, 5, [1]), (5, 26, [1]), (2, 17, [1]) > = (8, 48, [1])
< (2, 5, [1]), (5, 26, [1]), (5, 5, [1]) > = (11, 36, [1])
< (2, 5, [1]), (5, 26, [1]), (5, 20, [1, 0]) > = (11, 51, [1])
< (2, 5, [1]), (5, 26, [1]), (5, 20, [0, 1]) > = (11, 51, [1])
< (2, 5, [1]), (5, 29, [1]), (1, 2, [1]) > = (7, 36, [1])
< (2, 5, [1]), (6, 16, [1]), (1, 4, [1]) > = (8, 25, [1])
< (2, 5, [1]), (6, 16, [1]), (3, 11, [1]) > = (10, 32, [1])
< (2, 5, [1]), (6, 16, [1]), (5, 16, [1]) > = (12, 37, [1])
< (2, 5, [1]), (6, 17, [1]), (1, 8, [1]) > = (8, 30, [1])
< (2, 5, [1]), (6, 17, [1]), (2, 4, [1]) > = (9, 26, [1])
< (2, 5, [1]), (6, 17, [1]), (2, 10, [1]) > = (9, 32, [1, 0])
< (2, 5, [1]), (6, 17, [1]), (3, 6, [1]) > = (10, 28, [1])
< (2, 5, [1]), (6, 17, [1]), (3, 12, [1]) > = (10, 34, [1])
< (2, 5, [1]), (6, 17, [1]), (4, 13, [1]) > = (11, 35, [1])
< (2, 5, [1]), (6, 17, [1]), (4, 19, [1]) > = (11, 41, [1])
< (2, 5, [1]), (6, 17, [1]), (5, 20, [0, 1]) > = (12, 42, [1])
< (2, 5, [1]), (6, 17, [1]), (5, 20, [1, 1]) > = (12, 42, [1])
< (2, 5, [1]), (6, 17, [1]), (5, 23, [1]) > = (12, 45, [1])
< (2, 5, [1]), (6, 17, [1]), (5, 26, [1]) > = (12, 48, [1])
< (2, 5, [1]), (6, 17, [1]), (6, 16, [1]) > = (13, 38, [1])
< (2, 5, [1]), (6, 17, [1]), (6, 22, [1]) > = (13, 44, [0, 1])
< (2, 5, [1]), (6, 21, [1]), (3, 3, [1]) > = (10, 29, [1])
< (2, 5, [1]), (6, 21, [1]), (4, 4, [1]) > = (11, 30, [1])
< (2, 5, [1]), (6, 21, [1]), (4, 22, [0, 1]) > = (11, 48, [1])
< (2, 5, [1]), (6, 21, [1]), (4, 22, [1, 1]) > = (11, 48, [1])
< (2, 5, [1]), (6, 21, [1]), (5, 19, [1]) > = (12, 45, [1])
< (2, 5, [1]), (6, 21, [1]), (5, 22, [1]) > = (12, 48, [1])
< (2, 5, [1]), (6, 22, [1]), (4, 21, [1]) > = (11, 48, [1])
< (2, 5, [1]), (6, 23, [1]), (1, 2, [1]) > = (8, 30, [1])
< (2, 5, [1]), (6, 23, [1]), (2, 4, [1]) > = (9, 32, [0, 1])
< (2, 5, [1]), (6, 23, [1]), (3, 6, [1]) > = (10, 34, [1])
< (2, 5, [1]), (6, 23, [1]), (4, 13, [1]) > = (11, 41, [1])
< (2, 5, [1]), (6, 23, [1]), (5, 14, [1]) > = (12, 42, [1])
< (2, 5, [1]), (6, 23, [1]), (6, 16, [1]) > = (13, 44, [0, 1])
< (3, 3, [1]), (1, 2, [1]), (4, 13, [1]) > = (7, 18, [1])
< (3, 3, [1]), (2, 4, [1]), (3, 11, [1]) > = (7, 18, [1])
< (3, 3, [1]), (2, 4, [1]), (3, 17, [1]) > = (7, 24, [1])
< (3, 3, [1]), (2, 9, [1]), (1, 4, [1]) > = (5, 16, [1])
< (3, 3, [1]), (2, 9, [1]), (1, 16, [1]) > = (5, 28, [1])
< (3, 3, [1]), (2, 9, [1]), (2, 5, [1]) > = (6, 17, [1])
< (3, 3, [1]), (2, 9, [1]), (2, 8, [1]) > = (6, 20, [1])
< (3, 3, [1]), (2, 9, [1]), (2, 20, [1]) > = (6, 32, [1])
< (3, 3, [1]), (2, 9, [1]), (3, 6, [1]) > = (7, 18, [1])
< (3, 3, [1]), (2, 9, [1]), (3, 12, [1]) > = (7, 24, [1])
< (3, 3, [1]), (2, 9, [1]), (4, 18, [1]) > = (8, 30, [1])
< (3, 3, [1]), (2, 9, [1]), (4, 21, [1]) > = (8, 33, [1])
< (3, 3, [1]), (2, 9, [1]), (4, 22, [0, 1]) > = (8, 34, [1])
< (3, 3, [1]), (2, 9, [1]), (4, 22, [1, 1]) > = (8, 34, [1])
< (3, 3, [1]), (2, 9, [1]), (4, 24, [1]) > = (8, 36, [1])
< (3, 3, [1]), (2, 9, [1]), (5, 16, [1]) > = (9, 28, [1])
< (3, 3, [1]), (2, 9, [1]), (5, 19, [1]) > = (9, 31, [1])
< (3, 3, [1]), (2, 9, [1]), (5, 20, [0, 1]) > = (9, 32, [0, 1])
< (3, 3, [1]), (2, 9, [1]), (5, 20, [1, 1]) > = (9, 32, [0, 1])
< (3, 3, [1]), (2, 9, [1]), (5, 22, [1]) > = (9, 34, [1])
< (3, 3, [1]), (2, 9, [1]), (5, 23, [1]) > = (9, 35, [1])
< (3, 3, [1]), (2, 9, [1]), (5, 25, [1]) > = (9, 37, [1])
< (3, 3, [1]), (2, 9, [1]), (5, 26, [1]) > = (9, 38, [1])
< (3, 3, [1]), (2, 9, [1]), (6, 17, [1]) > = (10, 29, [1])
< (3, 3, [1]), (2, 9, [1]), (6, 20, [1]) > = (10, 32, [1])
< (3, 3, [1]), (2, 9, [1]), (6, 23, [1]) > = (10, 35, [1])
< (3, 3, [1]), (2, 9, [1]), (6, 26, [1]) > = (10, 38, [1])
< (3, 3, [1]), (3, 10, [1]), (1, 4, [1]) > = (6, 17, [1])
< (3, 3, [1]), (3, 10, [1]), (2, 5, [1]) > = (7, 18, [1])
< (3, 3, [1]), (3, 10, [1]), (4, 18, [1]) > = (9, 31, [1])
< (3, 3, [1]), (3, 10, [1]), (4, 21, [1]) > = (9, 34, [1])
< (3, 3, [1]), (3, 10, [1]), (4, 22, [0, 1]) > = (9, 35, [1])
< (3, 3, [1]), (3, 10, [1]), (4, 22, [1, 1]) > = (9, 35, [1])
< (3, 3, [1]), (3, 10, [1]), (4, 24, [1]) > = (9, 37, [1])
< (3, 3, [1]), (3, 10, [1]), (5, 16, [1]) > = (10, 29, [1])
< (3, 3, [1]), (3, 10, [1]), (5, 19, [1]) > = (10, 32, [1])
< (3, 3, [1]), (3, 10, [1]), (5, 22, [1]) > = (10, 35, [1])
< (3, 3, [1]), (3, 10, [1]), (5, 25, [1]) > = (10, 38, [1])
< (3, 3, [1]), (3, 10, [1]), (6, 17, [1]) > = (11, 30, [1])
< (3, 3, [1]), (3, 10, [1]), (6, 23, [1]) > = (11, 36, [1])
< (3, 3, [1]), (3, 11, [1]), (2, 4, [1]) > = (7, 18, [1])
< (3, 3, [1]), (3, 11, [1]), (2, 10, [1]) > = (7, 24, [1])
< (3, 3, [1]), (3, 11, [1]), (4, 18, [1]) > = (9, 32, [1, 1])
< (3, 3, [1]), (3, 11, [1]), (4, 21, [1]) > = (9, 35, [1])
< (3, 3, [1]), (3, 11, [1]), (4, 24, [1]) > = (9, 38, [1])
< (3, 3, [1]), (3, 11, [1]), (6, 16, [1]) > = (11, 30, [1])
< (3, 3, [1]), (3, 21, [1]), (4, 22, [0, 1]) > = (9, 46, [1])
< (3, 3, [1]), (3, 21, [1]), (4, 22, [1, 1]) > = (9, 46, [1])
< (3, 3, [1]), (3, 21, [1]), (5, 23, [1]) > = (10, 47, [1])
< (3, 3, [1]), (3, 22, [1]), (5, 22, [1]) > = (10, 47, [1])
< (3, 3, [1]), (4, 11, [1]), (1, 4, [1]) > = (7, 18, [1])
< (3, 3, [1]), (4, 11, [1]), (4, 18, [1]) > = (10, 32, [1])
< (3, 3, [1]), (4, 11, [1]), (4, 21, [1]) > = (10, 35, [1])
< (3, 3, [1]), (4, 11, [1]), (4, 24, [1]) > = (10, 38, [1])
< (3, 3, [1]), (4, 11, [1]), (5, 16, [1]) > = (11, 30, [1])
< (3, 3, [1]), (4, 11, [1]), (5, 22, [1]) > = (11, 36, [1])
< (3, 3, [1]), (4, 13, [1]), (1, 2, [1]) > = (7, 18, [1])
< (3, 3, [1]), (4, 13, [1]), (1, 8, [1]) > = (7, 24, [1])
< (3, 3, [1]), (4, 13, [1]), (5, 14, [1]) > = (11, 30, [1])
< (3, 3, [1]), (4, 13, [1]), (5, 20, [1, 0]) > = (11, 36, [1])
< (3, 3, [1]), (4, 13, [1]), (5, 20, [0, 1]) > = (11, 36, [1])
< (3, 3, [1]), (4, 18, [1]), (1, 16, [1]) > = (7, 37, [1])
< (3, 3, [1]), (4, 18, [1]), (2, 17, [1]) > = (8, 38, [1])
< (3, 3, [1]), (4, 18, [1]), (3, 11, [1]) > = (9, 32, [1, 0])
< (3, 3, [1]), (4, 22, [1, 0]), (4, 22, [0, 1]) > = (10, 47, [1])
< (3, 3, [1]), (4, 22, [1, 0]), (4, 22, [1, 1]) > = (10, 47, [1])
< (3, 3, [1]), (4, 22, [1, 1]), (4, 22, [0, 1]) > = (10, 47, [1])
< (3, 3, [1]), (4, 22, [1, 1]), (4, 22, [1, 1]) > = (10, 47, [1])
< (3, 3, [1]), (4, 24, [1]), (5, 25, [1]) > = (11, 52, [1])
< (3, 3, [1]), (4, 26, [1]), (3, 17, [1]) > = (9, 46, [1])
< (3, 3, [1]), (4, 26, [1]), (4, 18, [1]) > = (10, 47, [1])
< (3, 3, [1]), (5, 14, [1]), (4, 13, [1]) > = (11, 30, [1])
< (3, 3, [1]), (5, 14, [1]), (4, 19, [1]) > = (11, 36, [1])
< (3, 3, [1]), (5, 19, [1]), (1, 16, [1]) > = (8, 38, [1])
< (3, 3, [1]), (5, 25, [1]), (4, 24, [1]) > = (11, 52, [1])
< (3, 3, [1]), (5, 26, [1]), (2, 17, [1]) > = (9, 46, [1])
< (3, 3, [1]), (6, 16, [1]), (3, 11, [1]) > = (11, 30, [1])
< (3, 3, [1]), (6, 16, [1]), (3, 17, [1]) > = (11, 36, [1])
< (3, 3, [1]), (6, 21, [1]), (1, 4, [1]) > = (9, 28, [1])
< (3, 3, [1]), (6, 21, [1]), (1, 8, [1]) > = (9, 32, [1, 0])
< (3, 3, [1]), (6, 21, [1]), (2, 5, [1]) > = (10, 29, [1])
< (3, 3, [1]), (6, 21, [1]), (2, 8, [1]) > = (10, 32, [1])
< (3, 3, [1]), (6, 21, [1]), (2, 20, [1]) > = (10, 44, [1])
< (3, 3, [1]), (6, 21, [1]), (3, 6, [1]) > = (11, 30, [1])
< (3, 3, [1]), (6, 21, [1]), (3, 12, [1]) > = (11, 36, [1])
< (3, 3, [1]), (6, 21, [1]), (4, 18, [1]) > = (12, 42, [1])
< (3, 3, [1]), (6, 21, [1]), (4, 21, [1]) > = (12, 45, [1])
< (3, 3, [1]), (6, 21, [1]), (4, 22, [0, 1]) > = (12, 46, [1])
< (3, 3, [1]), (6, 21, [1]), (4, 22, [1, 1]) > = (12, 46, [1])
< (3, 3, [1]), (6, 21, [1]), (4, 24, [1]) > = (12, 48, [1])
< (3, 3, [1]), (6, 21, [1]), (5, 16, [1]) > = (13, 40, [1])
< (3, 3, [1]), (6, 21, [1]), (5, 19, [1]) > = (13, 43, [1])
< (3, 3, [1]), (6, 21, [1]), (5, 22, [1]) > = (13, 46, [1])
< (3, 3, [1]), (6, 21, [1]), (5, 23, [1]) > = (13, 47, [1])
< (3, 3, [1]), (6, 21, [1]), (5, 25, [1]) > = (13, 49, [1])
< (3, 3, [1]), (6, 21, [1]), (5, 26, [1]) > = (13, 50, [1])
< (3, 3, [1]), (6, 21, [1]), (5, 28, [1]) > = (13, 52, [1])
< (3, 3, [1]), (6, 21, [1]), (6, 17, [1]) > = (14, 41, [1])
< (3, 3, [1]), (6, 21, [1]), (6, 20, [1]) > = (14, 44, [1])
< (3, 3, [1]), (6, 21, [1]), (6, 23, [1]) > = (14, 47, [1])
< (3, 3, [1]), (6, 21, [1]), (6, 26, [1]) > = (14, 50, [1])
< (3, 3, [1]), (6, 21, [1]), (6, 29, [1]) > = (14, 53, [1])
< (3, 6, [1]), (1, 2, [1]), (4, 22, [1, 0]) > = (7, 30, [1])
< (3, 6, [1]), (1, 2, [1]), (4, 22, [1, 1]) > = (7, 30, [1])
< (3, 6, [1]), (1, 4, [1]), (1, 8, [1]) > = (4, 18, [1])
< (3, 6, [1]), (1, 4, [1]), (2, 4, [1]) > = (5, 14, [1])
< (3, 6, [1]), (1, 4, [1]), (2, 10, [1]) > = (5, 20, [0, 1])
< (3, 6, [1]), (1, 4, [1]), (3, 6, [1]) > = (6, 16, [1])
< (3, 6, [1]), (1, 4, [1]), (3, 11, [1]) > = (6, 21, [1])
< (3, 6, [1]), (1, 4, [1]), (3, 12, [1]) > = (6, 22, [1])
< (3, 6, [1]), (1, 4, [1]), (4, 13, [1]) > = (7, 23, [1])
< (3, 6, [1]), (1, 4, [1]), (4, 27, [1]) > = (7, 37, [1])
< (3, 6, [1]), (1, 4, [1]), (5, 20, [0, 1]) > = (8, 30, [1])
< (3, 6, [1]), (1, 4, [1]), (5, 20, [1, 1]) > = (8, 30, [1])
< (3, 6, [1]), (1, 4, [1]), (5, 23, [1]) > = (8, 33, [1])
< (3, 6, [1]), (1, 4, [1]), (5, 26, [1]) > = (8, 36, [1])
< (3, 6, [1]), (1, 4, [1]), (6, 16, [1]) > = (9, 26, [1])
< (3, 6, [1]), (1, 4, [1]), (6, 22, [1]) > = (9, 32, [1, 0])
< (3, 6, [1]), (1, 8, [1]), (4, 4, [1]) > = (7, 18, [1])
< (3, 6, [1]), (1, 8, [1]), (5, 19, [1]) > = (8, 33, [1])
< (3, 6, [1]), (1, 8, [1]), (5, 25, [1]) > = (8, 39, [0, 1])
< (3, 6, [1]), (1, 8, [1]), (6, 21, [1]) > = (9, 35, [1])
< (3, 6, [1]), (2, 5, [1]), (2, 5, [1]) > = (6, 16, [1])
< (3, 6, [1]), (2, 5, [1]), (6, 17, [1]) > = (10, 28, [1])
< (3, 6, [1]), (2, 5, [1]), (6, 23, [1]) > = (10, 34, [1])
< (3, 6, [1]), (2, 9, [1]), (1, 4, [1]) > = (5, 19, [1])
< (3, 6, [1]), (2, 9, [1]), (2, 8, [1]) > = (6, 23, [1])
< (3, 6, [1]), (2, 9, [1]), (4, 18, [1]) > = (8, 33, [1])
< (3, 6, [1]), (2, 9, [1]), (4, 21, [1]) > = (8, 36, [1])
< (3, 6, [1]), (2, 9, [1]), (4, 22, [0, 1]) > = (8, 37, [1])
< (3, 6, [1]), (2, 9, [1]), (4, 22, [1, 1]) > = (8, 37, [1])
< (3, 6, [1]), (2, 9, [1]), (4, 24, [1]) > = (8, 39, [0, 1])
< (3, 6, [1]), (2, 9, [1]), (5, 16, [1]) > = (9, 31, [1])
< (3, 6, [1]), (2, 9, [1]), (5, 19, [1]) > = (9, 34, [1])
< (3, 6, [1]), (2, 9, [1]), (5, 20, [1, 0]) > = (9, 35, [1])
< (3, 6, [1]), (2, 9, [1]), (5, 20, [1, 1]) > = (9, 35, [1])
< (3, 6, [1]), (2, 9, [1]), (5, 25, [1]) > = (9, 40, [0, 1])
< (3, 6, [1]), (2, 9, [1]), (6, 20, [1]) > = (10, 35, [1])
< (3, 6, [1]), (2, 9, [1]), (6, 26, [1]) > = (10, 41, [0, 1])
< (3, 6, [1]), (3, 6, [1]), (1, 4, [1]) > = (6, 16, [1])
< (3, 6, [1]), (3, 6, [1]), (5, 16, [1]) > = (10, 28, [1])
< (3, 6, [1]), (3, 18, [1]), (2, 9, [1]) > = (7, 33, [1])
< (3, 6, [1]), (4, 11, [1]), (1, 16, [1]) > = (7, 33, [1])
< (3, 6, [1]), (4, 11, [1]), (2, 8, [1]) > = (8, 25, [1])
< (3, 6, [1]), (4, 11, [1]), (4, 11, [1]) > = (10, 28, [1])
< (3, 6, [1]), (4, 11, [1]), (4, 18, [1]) > = (10, 35, [1])
< (3, 6, [1]), (4, 11, [1]), (5, 19, [1]) > = (11, 36, [1])
< (3, 6, [1]), (4, 11, [1]), (6, 20, [1]) > = (12, 37, [1])
< (3, 6, [1]), (4, 13, [1]), (6, 26, [1]) > = (12, 45, [1])
< (3, 6, [1]), (4, 19, [1]), (1, 8, [1]) > = (7, 33, [1])
< (3, 6, [1]), (4, 21, [1]), (2, 4, [1]) > = (8, 31, [1])
< (3, 6, [1]), (4, 21, [1]), (2, 9, [1]) > = (8, 36, [1])
< (3, 6, [1]), (4, 21, [1]), (2, 18, [1]) > = (8, 45, [1, 1])
< (3, 6, [1]), (4, 21, [1]), (6, 21, [1]) > = (12, 48, [1])
< (3, 6, [1]), (4, 22, [0, 1]), (1, 8, [1]) > = (7, 36, [1])
< (3, 6, [1]), (4, 22, [0, 1]), (4, 22, [0, 1]) > = (10, 50, [1])
< (3, 6, [1]), (4, 22, [0, 1]), (4, 22, [1, 1]) > = (10, 50, [1])
< (3, 6, [1]), (4, 22, [1, 1]), (1, 8, [1]) > = (7, 36, [1])
< (3, 6, [1]), (4, 22, [1, 1]), (4, 22, [0, 1]) > = (10, 50, [1])
< (3, 6, [1]), (4, 22, [1, 1]), (4, 22, [1, 1]) > = (10, 50, [1])
< (3, 6, [1]), (5, 16, [1]), (1, 8, [1]) > = (8, 30, [1])
< (3, 6, [1]), (5, 16, [1]), (2, 4, [1]) > = (9, 26, [1])
< (3, 6, [1]), (5, 16, [1]), (2, 10, [1]) > = (9, 32, [1, 0])
< (3, 6, [1]), (5, 16, [1]), (3, 6, [1]) > = (10, 28, [1])
< (3, 6, [1]), (5, 16, [1]), (3, 12, [1]) > = (10, 34, [1])
< (3, 6, [1]), (5, 16, [1]), (4, 13, [1]) > = (11, 35, [1])
< (3, 6, [1]), (5, 16, [1]), (5, 20, [0, 1]) > = (12, 42, [1])
< (3, 6, [1]), (5, 16, [1]), (5, 20, [1, 1]) > = (12, 42, [1])
< (3, 6, [1]), (5, 16, [1]), (5, 26, [1]) > = (12, 48, [1])
< (3, 6, [1]), (5, 16, [1]), (6, 16, [1]) > = (13, 38, [1])
< (3, 6, [1]), (5, 16, [1]), (6, 22, [1]) > = (13, 44, [0, 1])
< (3, 6, [1]), (5, 20, [1, 0]), (4, 4, [1]) > = (11, 30, [1])
< (3, 6, [1]), (5, 20, [1, 0]), (4, 22, [0, 1]) > = (11, 48, [1])
< (3, 6, [1]), (5, 20, [1, 0]), (4, 22, [1, 1]) > = (11, 48, [1])
< (3, 6, [1]), (5, 20, [1, 0]), (5, 19, [1]) > = (12, 45, [1])
< (3, 6, [1]), (5, 20, [1, 0]), (5, 22, [1]) > = (12, 48, [1])
< (3, 6, [1]), (5, 20, [0, 1]), (4, 22, [0, 1]) > = (11, 48, [1])
< (3, 6, [1]), (5, 20, [0, 1]), (4, 22, [1, 1]) > = (11, 48, [1])
< (3, 6, [1]), (5, 20, [1, 1]), (4, 4, [1]) > = (11, 30, [1])
< (3, 6, [1]), (5, 20, [1, 1]), (5, 19, [1]) > = (12, 45, [1])
< (3, 6, [1]), (5, 20, [1, 1]), (5, 22, [1]) > = (12, 48, [1])
< (3, 6, [1]), (5, 22, [1]), (1, 2, [1]) > = (8, 30, [1])
< (3, 6, [1]), (5, 22, [1]), (2, 4, [1]) > = (9, 32, [0, 1])
< (3, 6, [1]), (5, 22, [1]), (3, 6, [1]) > = (10, 34, [1])
< (3, 6, [1]), (5, 22, [1]), (5, 14, [1]) > = (12, 42, [1])
< (3, 6, [1]), (5, 22, [1]), (6, 16, [1]) > = (13, 44, [0, 1])
< (3, 6, [1]), (5, 26, [1]), (4, 19, [1]) > = (11, 51, [1])
< (3, 6, [1]), (5, 26, [1]), (5, 5, [1]) > = (12, 37, [1])
< (3, 6, [1]), (6, 17, [1]), (2, 5, [1]) > = (10, 28, [1])
< (3, 6, [1]), (6, 17, [1]), (6, 17, [1]) > = (14, 40, [1])
< (3, 6, [1]), (6, 17, [1]), (6, 23, [1]) > = (14, 46, [1])
< (3, 6, [1]), (6, 21, [1]), (1, 4, [1]) > = (9, 31, [1])
< (3, 6, [1]), (6, 21, [1]), (2, 8, [1]) > = (10, 35, [1])
< (3, 6, [1]), (6, 21, [1]), (4, 18, [1]) > = (12, 45, [1])
< (3, 6, [1]), (6, 21, [1]), (4, 21, [1]) > = (12, 48, [1])
< (3, 6, [1]), (6, 21, [1]), (4, 22, [0, 1]) > = (12, 49, [1])
< (3, 6, [1]), (6, 21, [1]), (4, 22, [1, 1]) > = (12, 49, [1])
< (3, 6, [1]), (6, 21, [1]), (4, 24, [1]) > = (12, 51, [1])
< (3, 6, [1]), (6, 21, [1]), (5, 16, [1]) > = (13, 43, [1])
< (3, 6, [1]), (6, 21, [1]), (5, 19, [1]) > = (13, 46, [1])
< (3, 6, [1]), (6, 21, [1]), (5, 28, [1]) > = (13, 55, [1])
< (3, 6, [1]), (6, 21, [1]), (6, 20, [1]) > = (14, 47, [1])
< (3, 6, [1]), (6, 21, [1]), (6, 29, [1]) > = (14, 56, [1])
< (3, 10, [1]), (1, 2, [1]), (2, 2, [1]) > = (5, 14, [1])
< (3, 10, [1]), (1, 2, [1]), (6, 23, [1]) > = (9, 35, [1])
< (3, 10, [1]), (1, 2, [1]), (6, 26, [1]) > = (9, 38, [1])
< (3, 10, [1]), (1, 2, [1]), (6, 29, [1]) > = (9, 41, [1])
< (3, 10, [1]), (1, 4, [1]), (1, 8, [1]) > = (4, 22, [1, 0])
< (3, 10, [1]), (1, 4, [1]), (3, 3, [1]) > = (6, 17, [1])
< (3, 10, [1]), (1, 4, [1]), (4, 26, [1]) > = (7, 40, [1])
< (3, 10, [1]), (1, 4, [1]), (5, 20, [1, 0]) > = (8, 34, [1])
< (3, 10, [1]), (1, 4, [1]), (5, 20, [1, 1]) > = (8, 34, [1])
< (3, 10, [1]), (1, 4, [1]), (5, 23, [1]) > = (8, 37, [1])
< (3, 10, [1]), (1, 4, [1]), (5, 26, [1]) > = (8, 40, [1])
< (3, 10, [1]), (2, 2, [1]), (5, 19, [1]) > = (9, 31, [1])
< (3, 10, [1]), (2, 2, [1]), (5, 25, [1]) > = (9, 37, [1])
< (3, 10, [1]), (2, 2, [1]), (6, 26, [1]) > = (10, 38, [1])
< (3, 10, [1]), (2, 5, [1]), (1, 4, [1]) > = (5, 19, [1])
< (3, 10, [1]), (2, 5, [1]), (3, 3, [1]) > = (7, 18, [1])
< (3, 10, [1]), (2, 5, [1]), (5, 16, [1]) > = (9, 31, [1])
< (3, 10, [1]), (2, 5, [1]), (5, 20, [1, 0]) > = (9, 35, [1])
< (3, 10, [1]), (2, 5, [1]), (5, 20, [1, 1]) > = (9, 35, [1])
< (3, 10, [1]), (2, 5, [1]), (5, 22, [1]) > = (9, 37, [1])
< (3, 10, [1]), (2, 5, [1]), (6, 23, [1]) > = (10, 38, [1])
< (3, 10, [1]), (2, 8, [1]), (2, 2, [1]) > = (6, 20, [1])
< (3, 10, [1]), (2, 8, [1]), (2, 8, [1]) > = (6, 26, [1])
< (3, 10, [1]), (2, 8, [1]), (3, 22, [1]) > = (7, 40, [1])
< (3, 10, [1]), (2, 8, [1]), (4, 22, [0, 1]) > = (8, 40, [1])
< (3, 10, [1]), (2, 8, [1]), (4, 22, [1, 1]) > = (8, 40, [1])
< (3, 10, [1]), (2, 8, [1]), (5, 19, [1]) > = (9, 37, [1])
< (3, 10, [1]), (2, 8, [1]), (5, 23, [1]) > = (9, 41, [1])
< (3, 10, [1]), (2, 8, [1]), (6, 20, [1]) > = (10, 38, [1])
< (3, 10, [1]), (2, 17, [1]), (1, 2, [1]) > = (5, 29, [1])
< (3, 10, [1]), (2, 20, [1]), (1, 8, [1]) > = (5, 38, [1])
< (3, 10, [1]), (2, 20, [1]), (2, 8, [1]) > = (6, 38, [1])
< (3, 10, [1]), (2, 20, [1]), (2, 10, [1]) > = (6, 40, [1])
< (3, 10, [1]), (2, 20, [1]), (2, 20, [1]) > = (6, 50, [1])
< (3, 10, [1]), (2, 20, [1]), (3, 10, [1]) > = (7, 40, [1])
< (3, 10, [1]), (2, 20, [1]), (5, 14, [1]) > = (9, 44, [1])
< (3, 10, [1]), (3, 3, [1]), (2, 5, [1]) > = (7, 18, [1])
< (3, 10, [1]), (3, 3, [1]), (4, 18, [1]) > = (9, 31, [1])
< (3, 10, [1]), (3, 3, [1]), (4, 24, [1]) > = (9, 37, [1])
< (3, 10, [1]), (3, 3, [1]), (5, 25, [1]) > = (10, 38, [1])
< (3, 10, [1]), (3, 3, [1]), (6, 17, [1]) > = (11, 30, [1])
< (3, 10, [1]), (3, 17, [1]), (1, 16, [1]) > = (6, 43, [1])
< (3, 10, [1]), (3, 17, [1]), (2, 17, [1]) > = (7, 44, [0, 1])
< (3, 10, [1]), (3, 17, [1]), (3, 11, [1]) > = (8, 38, [1])
< (3, 10, [1]), (3, 17, [1]), (3, 18, [1]) > = (8, 45, [1, 0])
< (3, 10, [1]), (3, 17, [1]), (4, 4, [1]) > = (9, 31, [1])
< (3, 10, [1]), (3, 17, [1]), (5, 5, [1]) > = (10, 32, [1])
< (3, 10, [1]), (3, 18, [1]), (2, 9, [1]) > = (7, 37, [1])
< (3, 10, [1]), (3, 18, [1]), (2, 16, [1]) > = (7, 44, [1, 1])
< (3, 10, [1]), (3, 18, [1]), (4, 11, [1]) > = (9, 39, [1])
< (3, 10, [1]), (3, 18, [1]), (5, 23, [1]) > = (10, 51, [1])
< (3, 10, [1]), (3, 18, [1]), (5, 26, [1]) > = (10, 54, [1])
< (3, 10, [1]), (3, 18, [1]), (5, 29, [1]) > = (10, 57, [1])
< (3, 10, [1]), (3, 20, [1]), (1, 8, [1]) > = (6, 38, [1])
< (3, 10, [1]), (3, 20, [1]), (2, 10, [1]) > = (7, 40, [1])
< (3, 10, [1]), (3, 20, [1]), (4, 11, [1]) > = (9, 41, [1])
< (3, 10, [1]), (3, 20, [1]), (4, 21, [1]) > = (9, 51, [1])
< (3, 10, [1]), (3, 20, [1]), (4, 27, [1]) > = (9, 57, [0, 1])
< (3, 10, [1]), (3, 20, [1]), (6, 22, [1]) > = (11, 52, [1])
< (3, 10, [1]), (3, 21, [1]), (2, 9, [1]) > = (7, 40, [1])
< (3, 10, [1]), (3, 21, [1]), (2, 18, [1]) > = (7, 49, [1])
< (3, 10, [1]), (3, 21, [1]), (3, 3, [1]) > = (8, 34, [1])
< (3, 10, [1]), (3, 21, [1]), (3, 6, [1]) > = (8, 37, [1])
< (3, 10, [1]), (3, 21, [1]), (3, 12, [1]) > = (8, 43, [1])
< (3, 10, [1]), (3, 21, [1]), (4, 4, [1]) > = (9, 35, [1])
< (3, 10, [1]), (3, 21, [1]), (5, 20, [1, 0]) > = (10, 51, [1])
< (3, 10, [1]), (3, 21, [1]), (5, 20, [0, 1]) > = (10, 51, [1])
< (3, 10, [1]), (3, 21, [1]), (5, 23, [1]) > = (10, 54, [1])
< (3, 10, [1]), (3, 24, [1]), (1, 16, [1]) > = (6, 50, [1])
< (3, 10, [1]), (3, 24, [1]), (2, 10, [1]) > = (7, 44, [1, 0])
< (3, 10, [1]), (3, 24, [1]), (3, 11, [1]) > = (8, 45, [1, 0])
< (3, 10, [1]), (4, 4, [1]), (1, 4, [1]) > = (7, 18, [1])
< (3, 10, [1]), (4, 4, [1]), (4, 24, [1]) > = (10, 38, [1])
< (3, 10, [1]), (4, 4, [1]), (5, 16, [1]) > = (11, 30, [1])
< (3, 10, [1]), (4, 11, [1]), (1, 1, [1]) > = (7, 22, [1])
< (3, 10, [1]), (4, 11, [1]), (1, 16, [1]) > = (7, 37, [1])
< (3, 10, [1]), (4, 11, [1]), (2, 2, [1]) > = (8, 23, [1])
< (3, 10, [1]), (4, 11, [1]), (2, 16, [1]) > = (8, 37, [1])
< (3, 10, [1]), (4, 11, [1]), (3, 18, [1]) > = (9, 39, [1])
< (3, 10, [1]), (4, 11, [1]), (4, 13, [1]) > = (10, 34, [1])
< (3, 10, [1]), (4, 18, [1]), (1, 16, [1]) > = (7, 44, [0, 1])
< (3, 10, [1]), (4, 18, [1]), (2, 9, [1]) > = (8, 37, [1])
< (3, 10, [1]), (4, 18, [1]), (3, 3, [1]) > = (9, 31, [1])
< (3, 10, [1]), (4, 18, [1]), (3, 10, [1]) > = (9, 38, [1])
< (3, 10, [1]), (4, 18, [1]), (3, 11, [1]) > = (9, 39, [1])
< (3, 10, [1]), (4, 18, [1]), (4, 4, [1]) > = (10, 32, [1])
< (3, 10, [1]), (4, 18, [1]), (6, 21, [1]) > = (12, 49, [1])
< (3, 10, [1]), (4, 19, [1]), (1, 8, [1]) > = (7, 37, [1])
< (3, 10, [1]), (4, 19, [1]), (2, 5, [1]) > = (8, 34, [1])
< (3, 10, [1]), (4, 19, [1]), (2, 8, [1]) > = (8, 37, [1])
< (3, 10, [1]), (4, 19, [1]), (2, 9, [1]) > = (8, 38, [1])
< (3, 10, [1]), (4, 19, [1]), (2, 16, [1]) > = (8, 45, [1, 0])
< (3, 10, [1]), (4, 19, [1]), (3, 6, [1]) > = (9, 35, [1])
< (3, 10, [1]), (4, 19, [1]), (3, 10, [1]) > = (9, 39, [1])
< (3, 10, [1]), (4, 19, [1]), (5, 23, [1]) > = (11, 52, [1])
< (3, 10, [1]), (4, 19, [1]), (6, 17, [1]) > = (12, 46, [1])
< (3, 10, [1]), (4, 19, [1]), (6, 20, [1]) > = (12, 49, [1])
< (3, 10, [1]), (4, 19, [1]), (6, 26, [1]) > = (12, 55, [1])
< (3, 10, [1]), (4, 21, [1]), (3, 10, [1]) > = (9, 41, [1])
< (3, 10, [1]), (4, 21, [1]), (3, 20, [1]) > = (9, 51, [1])
< (3, 10, [1]), (4, 21, [1]), (5, 29, [1]) > = (11, 60, [1])
< (3, 10, [1]), (4, 21, [1]), (6, 6, [1]) > = (12, 37, [1])
< (3, 10, [1]), (4, 22, [1, 0]), (1, 8, [1]) > = (7, 40, [1])
< (3, 10, [1]), (4, 22, [1, 0]), (4, 22, [0, 1]) > = (10, 54, [1])
< (3, 10, [1]), (4, 22, [1, 0]), (4, 22, [1, 1]) > = (10, 54, [1])
< (3, 10, [1]), (4, 22, [1, 0]), (5, 20, [1, 0]) > = (11, 52, [1])
< (3, 10, [1]), (4, 22, [1, 0]), (5, 20, [0, 1]) > = (11, 52, [1])
< (3, 10, [1]), (4, 22, [0, 1]), (1, 8, [1]) > = (7, 40, [1])
< (3, 10, [1]), (4, 22, [0, 1]), (2, 2, [1]) > = (8, 34, [1])
< (3, 10, [1]), (4, 22, [0, 1]), (2, 5, [1]) > = (8, 37, [1])
< (3, 10, [1]), (4, 22, [0, 1]), (2, 8, [1]) > = (8, 40, [1])
< (3, 10, [1]), (4, 22, [0, 1]), (3, 3, [1]) > = (9, 35, [1])
< (3, 10, [1]), (4, 22, [0, 1]), (4, 19, [1]) > = (10, 51, [1])
< (3, 10, [1]), (4, 22, [0, 1]), (5, 20, [1, 0]) > = (11, 52, [1])
< (3, 10, [1]), (4, 22, [0, 1]), (5, 20, [1, 1]) > = (11, 52, [1])
< (3, 10, [1]), (4, 22, [0, 1]), (6, 20, [1]) > = (12, 52, [1])
< (3, 10, [1]), (4, 22, [0, 1]), (6, 23, [1]) > = (12, 55, [1])
< (3, 10, [1]), (4, 22, [1, 1]), (2, 2, [1]) > = (8, 34, [1])
< (3, 10, [1]), (4, 22, [1, 1]), (2, 5, [1]) > = (8, 37, [1])
< (3, 10, [1]), (4, 22, [1, 1]), (2, 8, [1]) > = (8, 40, [1])
< (3, 10, [1]), (4, 22, [1, 1]), (3, 3, [1]) > = (9, 35, [1])
< (3, 10, [1]), (4, 22, [1, 1]), (4, 19, [1]) > = (10, 51, [1])
< (3, 10, [1]), (4, 22, [1, 1]), (4, 22, [0, 1]) > = (10, 54, [1])
< (3, 10, [1]), (4, 22, [1, 1]), (4, 22, [1, 1]) > = (10, 54, [1])
< (3, 10, [1]), (4, 22, [1, 1]), (5, 20, [0, 1]) > = (11, 52, [1])
< (3, 10, [1]), (4, 22, [1, 1]), (5, 20, [1, 1]) > = (11, 52, [1])
< (3, 10, [1]), (4, 22, [1, 1]), (6, 20, [1]) > = (12, 52, [1])
< (3, 10, [1]), (4, 22, [1, 1]), (6, 23, [1]) > = (12, 55, [1])
< (3, 10, [1]), (4, 24, [1]), (2, 4, [1]) > = (8, 38, [1])
< (3, 10, [1]), (4, 24, [1]), (3, 3, [1]) > = (9, 37, [1])
< (3, 10, [1]), (4, 24, [1]), (4, 4, [1]) > = (10, 38, [1])
< (3, 10, [1]), (4, 24, [1]), (6, 21, [1]) > = (12, 55, [1])
< (3, 10, [1]), (5, 14, [1]), (2, 2, [1]) > = (9, 26, [1])
< (3, 10, [1]), (5, 14, [1]), (3, 10, [1]) > = (10, 34, [1])
< (3, 10, [1]), (5, 14, [1]), (5, 25, [1]) > = (12, 49, [1])
< (3, 10, [1]), (5, 14, [1]), (6, 23, [1]) > = (13, 47, [1])
< (3, 10, [1]), (5, 14, [1]), (6, 26, [1]) > = (13, 50, [1])
< (3, 10, [1]), (5, 16, [1]), (2, 5, [1]) > = (9, 31, [1])
< (3, 10, [1]), (5, 16, [1]), (2, 9, [1]) > = (9, 35, [1])
< (3, 10, [1]), (5, 16, [1]), (3, 3, [1]) > = (10, 29, [1])
< (3, 10, [1]), (5, 16, [1]), (5, 20, [0, 1]) > = (12, 46, [1])
< (3, 10, [1]), (5, 16, [1]), (5, 20, [1, 1]) > = (12, 46, [1])
< (3, 10, [1]), (5, 16, [1]), (5, 26, [1]) > = (12, 52, [1])
< (3, 10, [1]), (5, 16, [1]), (6, 17, [1]) > = (13, 43, [1])
< (3, 10, [1]), (5, 16, [1]), (6, 23, [1]) > = (13, 49, [1])
< (3, 10, [1]), (5, 19, [1]), (1, 16, [1]) > = (8, 45, [1, 0])
< (3, 10, [1]), (5, 19, [1]), (2, 8, [1]) > = (9, 37, [1])
< (3, 10, [1]), (5, 19, [1]), (2, 9, [1]) > = (9, 38, [1])
< (3, 10, [1]), (5, 19, [1]), (2, 10, [1]) > = (9, 39, [1])
< (3, 10, [1]), (5, 19, [1]), (3, 3, [1]) > = (10, 32, [1])
< (3, 10, [1]), (5, 19, [1]), (5, 23, [1]) > = (12, 52, [1])
< (3, 10, [1]), (5, 19, [1]), (5, 26, [1]) > = (12, 55, [1])
< (3, 10, [1]), (5, 19, [1]), (6, 20, [1]) > = (13, 49, [1])
< (3, 10, [1]), (5, 19, [1]), (6, 21, [1]) > = (13, 50, [1])
< (3, 10, [1]), (5, 22, [1]), (1, 2, [1]) > = (8, 34, [1])
< (3, 10, [1]), (5, 22, [1]), (2, 9, [1]) > = (9, 41, [1])
< (3, 10, [1]), (5, 22, [1]), (3, 6, [1]) > = (10, 38, [1])
< (3, 10, [1]), (5, 22, [1]), (5, 5, [1]) > = (12, 37, [1])
< (3, 10, [1]), (5, 22, [1]), (5, 14, [1]) > = (12, 46, [1])
< (3, 10, [1]), (5, 25, [1]), (1, 2, [1]) > = (8, 37, [1])
< (3, 10, [1]), (5, 25, [1]), (2, 2, [1]) > = (9, 37, [1])
< (3, 10, [1]), (5, 25, [1]), (5, 20, [0, 1]) > = (12, 55, [1])
< (3, 10, [1]), (5, 25, [1]), (5, 20, [1, 1]) > = (12, 55, [1])
< (3, 10, [1]), (6, 17, [1]), (1, 4, [1]) > = (9, 31, [1])
< (3, 10, [1]), (6, 17, [1]), (3, 3, [1]) > = (11, 30, [1])
< (3, 10, [1]), (6, 17, [1]), (4, 22, [0, 1]) > = (12, 49, [1])
< (3, 10, [1]), (6, 17, [1]), (4, 22, [1, 1]) > = (12, 49, [1])
< (3, 10, [1]), (6, 17, [1]), (5, 16, [1]) > = (13, 43, [1])
< (3, 10, [1]), (6, 17, [1]), (5, 22, [1]) > = (13, 49, [1])
< (3, 10, [1]), (6, 20, [1]), (1, 8, [1]) > = (9, 38, [1])
< (3, 10, [1]), (6, 20, [1]), (2, 2, [1]) > = (10, 32, [1])
< (3, 10, [1]), (6, 20, [1]), (2, 8, [1]) > = (10, 38, [1])
< (3, 10, [1]), (6, 20, [1]), (4, 22, [0, 1]) > = (12, 52, [1])
< (3, 10, [1]), (6, 20, [1]), (4, 22, [1, 1]) > = (12, 52, [1])
< (3, 10, [1]), (6, 20, [1]), (5, 19, [1]) > = (13, 49, [1])
< (3, 10, [1]), (6, 20, [1]), (5, 20, [0, 1]) > = (13, 50, [1])
< (3, 10, [1]), (6, 20, [1]), (5, 20, [1, 1]) > = (13, 50, [1])
< (3, 10, [1]), (6, 20, [1]), (5, 23, [1]) > = (13, 53, [1])
< (3, 10, [1]), (6, 20, [1]), (6, 20, [1]) > = (14, 50, [1])
< (3, 10, [1]), (6, 23, [1]), (2, 5, [1]) > = (10, 38, [1])
< (3, 10, [1]), (6, 23, [1]), (2, 18, [1]) > = (10, 51, [1])
< (3, 10, [1]), (6, 23, [1]), (5, 20, [1, 0]) > = (13, 53, [1])
< (3, 10, [1]), (6, 23, [1]), (5, 20, [1, 1]) > = (13, 53, [1])
< (3, 10, [1]), (6, 23, [1]), (5, 23, [1]) > = (13, 56, [1])
< (3, 10, [1]), (6, 23, [1]), (6, 17, [1]) > = (14, 50, [1])
< (3, 10, [1]), (6, 26, [1]), (1, 2, [1]) > = (9, 38, [1])
< (3, 10, [1]), (6, 26, [1]), (1, 8, [1]) > = (9, 44, [1])
< (3, 10, [1]), (6, 26, [1]), (2, 2, [1]) > = (10, 38, [1])
< (3, 10, [1]), (6, 26, [1]), (2, 18, [1]) > = (10, 54, [1])
< (3, 10, [1]), (6, 26, [1]), (3, 24, [1]) > = (11, 60, [1])
< (3, 10, [1]), (6, 26, [1]), (4, 13, [1]) > = (12, 49, [1])
< (3, 10, [1]), (6, 26, [1]), (4, 19, [1]) > = (12, 55, [1])
< (3, 10, [1]), (6, 26, [1]), (5, 20, [1, 0]) > = (13, 56, [1])
< (3, 10, [1]), (6, 26, [1]), (5, 20, [1, 1]) > = (13, 56, [1])
< (4, 4, [1]), (1, 8, [1]), (1, 4, [1]) > = (5, 16, [1])
< (4, 4, [1]), (1, 8, [1]), (1, 16, [1]) > = (5, 28, [1])
< (4, 4, [1]), (1, 8, [1]), (2, 5, [1]) > = (6, 17, [1])
< (4, 4, [1]), (1, 8, [1]), (2, 8, [1]) > = (6, 20, [1])
< (4, 4, [1]), (1, 8, [1]), (2, 17, [1]) > = (6, 29, [1])
< (4, 4, [1]), (1, 8, [1]), (2, 20, [1]) > = (6, 32, [1])
< (4, 4, [1]), (1, 8, [1]), (3, 6, [1]) > = (7, 18, [1])
< (4, 4, [1]), (1, 8, [1]), (3, 12, [1]) > = (7, 24, [1])
< (4, 4, [1]), (1, 8, [1]), (4, 13, [1]) > = (8, 25, [1])
< (4, 4, [1]), (1, 8, [1]), (4, 22, [0, 1]) > = (8, 34, [1])
< (4, 4, [1]), (1, 8, [1]), (4, 22, [1, 1]) > = (8, 34, [1])
< (4, 4, [1]), (1, 8, [1]), (4, 24, [1]) > = (8, 36, [1])
< (4, 4, [1]), (1, 8, [1]), (5, 16, [1]) > = (9, 28, [1])
< (4, 4, [1]), (1, 8, [1]), (5, 19, [1]) > = (9, 31, [1])
< (4, 4, [1]), (1, 8, [1]), (5, 20, [0, 1]) > = (9, 32, [0, 1])
< (4, 4, [1]), (1, 8, [1]), (5, 20, [1, 1]) > = (9, 32, [0, 1])
< (4, 4, [1]), (1, 8, [1]), (5, 22, [1]) > = (9, 34, [1])
< (4, 4, [1]), (1, 8, [1]), (5, 23, [1]) > = (9, 35, [1])
< (4, 4, [1]), (1, 8, [1]), (5, 25, [1]) > = (9, 37, [1])
< (4, 4, [1]), (1, 8, [1]), (5, 26, [1]) > = (9, 38, [1])
< (4, 4, [1]), (1, 8, [1]), (6, 17, [1]) > = (10, 29, [1])
< (4, 4, [1]), (1, 8, [1]), (6, 20, [1]) > = (10, 32, [1])
< (4, 4, [1]), (1, 8, [1]), (6, 23, [1]) > = (10, 35, [1])
< (4, 4, [1]), (1, 8, [1]), (6, 26, [1]) > = (10, 38, [1])
< (4, 4, [1]), (2, 9, [1]), (1, 4, [1]) > = (6, 17, [1])
< (4, 4, [1]), (2, 9, [1]), (1, 16, [1]) > = (6, 29, [1])
< (4, 4, [1]), (2, 9, [1]), (2, 5, [1]) > = (7, 18, [1])
< (4, 4, [1]), (2, 9, [1]), (4, 18, [1]) > = (9, 31, [1])
< (4, 4, [1]), (2, 9, [1]), (4, 21, [1]) > = (9, 34, [1])
< (4, 4, [1]), (2, 9, [1]), (4, 22, [0, 1]) > = (9, 35, [1])
< (4, 4, [1]), (2, 9, [1]), (4, 22, [1, 1]) > = (9, 35, [1])
< (4, 4, [1]), (2, 9, [1]), (4, 24, [1]) > = (9, 37, [1])
< (4, 4, [1]), (2, 9, [1]), (5, 16, [1]) > = (10, 29, [1])
< (4, 4, [1]), (2, 9, [1]), (5, 19, [1]) > = (10, 32, [1])
< (4, 4, [1]), (2, 9, [1]), (5, 22, [1]) > = (10, 35, [1])
< (4, 4, [1]), (2, 9, [1]), (5, 25, [1]) > = (10, 38, [1])
< (4, 4, [1]), (2, 9, [1]), (6, 17, [1]) > = (11, 30, [1])
< (4, 4, [1]), (2, 9, [1]), (6, 23, [1]) > = (11, 36, [1])
< (4, 4, [1]), (2, 20, [1]), (5, 23, [1]) > = (10, 47, [1])
< (4, 4, [1]), (3, 10, [1]), (1, 4, [1]) > = (7, 18, [1])
< (4, 4, [1]), (3, 10, [1]), (4, 18, [1]) > = (10, 32, [1])
< (4, 4, [1]), (3, 10, [1]), (4, 21, [1]) > = (10, 35, [1])
< (4, 4, [1]), (3, 10, [1]), (4, 24, [1]) > = (10, 38, [1])
< (4, 4, [1]), (3, 10, [1]), (5, 16, [1]) > = (11, 30, [1])
< (4, 4, [1]), (3, 10, [1]), (5, 22, [1]) > = (11, 36, [1])
< (4, 4, [1]), (3, 11, [1]), (4, 18, [1]) > = (10, 33, [1])
< (4, 4, [1]), (3, 21, [1]), (4, 22, [0, 1]) > = (10, 47, [1])
< (4, 4, [1]), (3, 21, [1]), (4, 22, [1, 1]) > = (10, 47, [1])
< (4, 4, [1]), (4, 11, [1]), (4, 21, [1]) > = (11, 36, [1])
< (4, 4, [1]), (4, 18, [1]), (1, 16, [1]) > = (8, 38, [1])
< (4, 4, [1]), (4, 18, [1]), (2, 17, [1]) > = (9, 39, [1])
< (4, 4, [1]), (4, 18, [1]), (3, 11, [1]) > = (10, 33, [1])
< (4, 4, [1]), (5, 19, [1]), (1, 16, [1]) > = (9, 39, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (1, 4, [1]) > = (9, 28, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (1, 8, [1]) > = (9, 32, [1, 0])
< (4, 4, [1]), (5, 20, [1, 0]), (2, 5, [1]) > = (10, 29, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (2, 8, [1]) > = (10, 32, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (2, 9, [1]) > = (10, 33, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (3, 6, [1]) > = (11, 30, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (3, 12, [1]) > = (11, 36, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (4, 13, [1]) > = (12, 37, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (4, 22, [0, 1]) > = (12, 46, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (4, 22, [1, 1]) > = (12, 46, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (5, 16, [1]) > = (13, 40, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (5, 19, [1]) > = (13, 43, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (5, 22, [1]) > = (13, 46, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (5, 23, [1]) > = (13, 47, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (5, 25, [1]) > = (13, 49, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (5, 26, [1]) > = (13, 50, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (5, 28, [1]) > = (13, 52, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (6, 17, [1]) > = (14, 41, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (6, 20, [1]) > = (14, 44, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (6, 23, [1]) > = (14, 47, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (6, 26, [1]) > = (14, 50, [1])
< (4, 4, [1]), (5, 20, [1, 0]), (6, 29, [1]) > = (14, 53, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (1, 4, [1]) > = (9, 28, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (1, 8, [1]) > = (9, 32, [1, 0])
< (4, 4, [1]), (5, 20, [1, 1]), (2, 5, [1]) > = (10, 29, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (2, 8, [1]) > = (10, 32, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (2, 9, [1]) > = (10, 33, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (3, 6, [1]) > = (11, 30, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (3, 12, [1]) > = (11, 36, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (4, 13, [1]) > = (12, 37, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (4, 22, [0, 1]) > = (12, 46, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (4, 22, [1, 1]) > = (12, 46, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (5, 16, [1]) > = (13, 40, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (5, 19, [1]) > = (13, 43, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (5, 22, [1]) > = (13, 46, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (5, 23, [1]) > = (13, 47, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (5, 25, [1]) > = (13, 49, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (5, 26, [1]) > = (13, 50, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (5, 28, [1]) > = (13, 52, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (6, 17, [1]) > = (14, 41, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (6, 20, [1]) > = (14, 44, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (6, 23, [1]) > = (14, 47, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (6, 26, [1]) > = (14, 50, [1])
< (4, 4, [1]), (5, 20, [1, 1]), (6, 29, [1]) > = (14, 53, [1])
< (4, 4, [1]), (5, 26, [1]), (2, 17, [1]) > = (10, 47, [1])
< (4, 4, [1]), (6, 21, [1]), (1, 4, [1]) > = (10, 29, [1])
< (4, 4, [1]), (6, 21, [1]), (1, 8, [1]) > = (10, 33, [1])
< (4, 4, [1]), (6, 21, [1]), (2, 5, [1]) > = (11, 30, [1])
< (4, 4, [1]), (6, 21, [1]), (4, 18, [1]) > = (13, 43, [1])
< (4, 4, [1]), (6, 21, [1]), (4, 21, [1]) > = (13, 46, [1])
< (4, 4, [1]), (6, 21, [1]), (4, 22, [0, 1]) > = (13, 47, [1])
< (4, 4, [1]), (6, 21, [1]), (4, 22, [1, 1]) > = (13, 47, [1])
< (4, 4, [1]), (6, 21, [1]), (4, 24, [1]) > = (13, 49, [1])
< (4, 4, [1]), (6, 21, [1]), (5, 16, [1]) > = (14, 41, [1])
< (4, 4, [1]), (6, 21, [1]), (5, 19, [1]) > = (14, 44, [1])
< (4, 4, [1]), (6, 21, [1]), (5, 22, [1]) > = (14, 47, [1])
< (4, 4, [1]), (6, 21, [1]), (5, 25, [1]) > = (14, 50, [1])
< (4, 4, [1]), (6, 21, [1]), (5, 28, [1]) > = (14, 53, [1])
< (4, 4, [1]), (6, 21, [1]), (6, 17, [1]) > = (15, 42, [1])
< (4, 4, [1]), (6, 21, [1]), (6, 23, [1]) > = (15, 48, [1])
< (4, 11, [1]), (1, 1, [1]), (6, 26, [1]) > = (10, 38, [1])
< (4, 11, [1]), (1, 2, [1]), (1, 1, [1]) > = (5, 14, [1])
< (4, 11, [1]), (1, 2, [1]), (5, 22, [1]) > = (9, 35, [1])
< (4, 11, [1]), (1, 2, [1]), (5, 25, [1]) > = (9, 38, [1])
< (4, 11, [1]), (1, 2, [1]), (5, 28, [1]) > = (9, 41, [1])
< (4, 11, [1]), (1, 4, [1]), (2, 5, [1]) > = (6, 20, [1])
< (4, 11, [1]), (1, 4, [1]), (3, 3, [1]) > = (7, 18, [1])
< (4, 11, [1]), (1, 4, [1]), (5, 20, [1, 0]) > = (9, 35, [1])
< (4, 11, [1]), (1, 4, [1]), (5, 20, [0, 1]) > = (9, 35, [1])
< (4, 11, [1]), (1, 4, [1]), (5, 23, [1]) > = (9, 38, [1])
< (4, 11, [1]), (1, 4, [1]), (5, 26, [1]) > = (9, 41, [1])
< (4, 11, [1]), (1, 4, [1]), (6, 17, [1]) > = (10, 32, [1])
< (4, 11, [1]), (1, 16, [1]), (4, 21, [1]) > = (8, 48, [1])
< (4, 11, [1]), (1, 16, [1]), (5, 14, [1]) > = (9, 41, [1])
< (4, 11, [1]), (2, 2, [1]), (2, 5, [1]) > = (7, 18, [1])
< (4, 11, [1]), (2, 2, [1]), (5, 25, [1]) > = (10, 38, [1])
< (4, 11, [1]), (2, 2, [1]), (6, 17, [1]) > = (11, 30, [1])
< (4, 11, [1]), (2, 8, [1]), (2, 4, [1]) > = (7, 23, [1])
< (4, 11, [1]), (2, 8, [1]), (4, 22, [0, 1]) > = (9, 41, [1])
< (4, 11, [1]), (2, 8, [1]), (4, 22, [1, 1]) > = (9, 41, [1])
< (4, 11, [1]), (2, 8, [1]), (6, 16, [1]) > = (11, 35, [1])
< (4, 11, [1]), (2, 16, [1]), (2, 9, [1]) > = (7, 36, [1])
< (4, 11, [1]), (2, 16, [1]), (2, 17, [1]) > = (7, 44, [1, 1])
< (4, 11, [1]), (2, 16, [1]), (3, 21, [1]) > = (8, 48, [1])
< (4, 11, [1]), (2, 17, [1]), (1, 8, [1]) > = (6, 36, [1])
< (4, 11, [1]), (2, 17, [1]), (2, 16, [1]) > = (7, 44, [1, 1])
< (4, 11, [1]), (2, 17, [1]), (3, 20, [1]) > = (8, 48, [1])
< (4, 11, [1]), (2, 17, [1]), (4, 11, [1]) > = (9, 39, [1])
< (4, 11, [1]), (2, 17, [1]), (5, 26, [1]) > = (10, 54, [1])
< (4, 11, [1]), (2, 20, [1]), (2, 5, [1]) > = (7, 36, [1])
< (4, 11, [1]), (2, 20, [1]), (2, 9, [1]) > = (7, 40, [1])
< (4, 11, [1]), (2, 20, [1]), (3, 11, [1]) > = (8, 42, [1])
< (4, 11, [1]), (2, 20, [1]), (3, 12, [1]) > = (8, 43, [1])
< (4, 11, [1]), (2, 20, [1]), (4, 4, [1]) > = (9, 35, [1])
< (4, 11, [1]), (2, 20, [1]), (5, 23, [1]) > = (10, 54, [1])
< (4, 11, [1]), (3, 3, [1]), (1, 4, [1]) > = (7, 18, [1])
< (4, 11, [1]), (3, 3, [1]), (4, 24, [1]) > = (10, 38, [1])
< (4, 11, [1]), (3, 3, [1]), (5, 16, [1]) > = (11, 30, [1])
< (4, 11, [1]), (3, 6, [1]), (4, 11, [1]) > = (10, 28, [1])
< (4, 11, [1]), (3, 10, [1]), (1, 2, [1]) > = (7, 23, [1])
< (4, 11, [1]), (3, 10, [1]), (5, 14, [1]) > = (11, 35, [1])
< (4, 11, [1]), (3, 18, [1]), (3, 6, [1]) > = (9, 35, [1])
< (4, 11, [1]), (3, 18, [1]), (5, 23, [1]) > = (11, 52, [1])
< (4, 11, [1]), (3, 21, [1]), (1, 8, [1]) > = (7, 40, [1])
< (4, 11, [1]), (3, 21, [1]), (2, 18, [1]) > = (8, 50, [1])
< (4, 11, [1]), (3, 21, [1]), (4, 22, [0, 1]) > = (10, 54, [1])
< (4, 11, [1]), (3, 21, [1]), (4, 22, [1, 1]) > = (10, 54, [1])
< (4, 11, [1]), (3, 21, [1]), (5, 20, [1, 0]) > = (11, 52, [1])
< (4, 11, [1]), (3, 21, [1]), (5, 20, [0, 1]) > = (11, 52, [1])
< (4, 11, [1]), (3, 24, [1]), (2, 10, [1]) > = (8, 45, [1, 0])
< (4, 11, [1]), (4, 11, [1]), (2, 4, [1]) > = (9, 26, [1])
< (4, 11, [1]), (4, 11, [1]), (3, 6, [1]) > = (10, 28, [1])
< (4, 11, [1]), (4, 11, [1]), (3, 18, [1]) > = (10, 40, [1])
< (4, 11, [1]), (4, 11, [1]), (4, 13, [1]) > = (11, 35, [1])
< (4, 11, [1]), (4, 11, [1]), (6, 16, [1]) > = (13, 38, [1])
< (4, 11, [1]), (4, 18, [1]), (3, 11, [1]) > = (10, 40, [1])
< (4, 11, [1]), (4, 21, [1]), (1, 16, [1]) > = (8, 48, [1])
< (4, 11, [1]), (4, 21, [1]), (2, 9, [1]) > = (9, 41, [1])
< (4, 11, [1]), (4, 21, [1]), (3, 6, [1]) > = (10, 38, [1])
< (4, 11, [1]), (4, 21, [1]), (6, 21, [1]) > = (13, 53, [1])
< (4, 11, [1]), (5, 14, [1]), (1, 1, [1]) > = (9, 26, [1])
< (4, 11, [1]), (5, 14, [1]), (1, 16, [1]) > = (9, 41, [1])
< (4, 11, [1]), (5, 14, [1]), (5, 22, [1]) > = (13, 47, [1])
< (4, 11, [1]), (5, 14, [1]), (5, 25, [1]) > = (13, 50, [1])
< (4, 11, [1]), (5, 14, [1]), (5, 28, [1]) > = (13, 53, [1])
< (4, 11, [1]), (5, 16, [1]), (2, 5, [1]) > = (10, 32, [1])
< (4, 11, [1]), (5, 16, [1]), (3, 3, [1]) > = (11, 30, [1])
< (4, 11, [1]), (5, 16, [1]), (5, 20, [0, 1]) > = (13, 47, [1])
< (4, 11, [1]), (5, 16, [1]), (5, 20, [1, 1]) > = (13, 47, [1])
< (4, 11, [1]), (5, 16, [1]), (5, 23, [1]) > = (13, 50, [1])
< (4, 11, [1]), (5, 16, [1]), (5, 26, [1]) > = (13, 53, [1])
< (4, 11, [1]), (5, 16, [1]), (6, 17, [1]) > = (14, 44, [1])
< (4, 11, [1]), (5, 16, [1]), (6, 23, [1]) > = (14, 50, [1])
< (4, 11, [1]), (5, 19, [1]), (5, 23, [1]) > = (13, 53, [1])
< (4, 11, [1]), (5, 19, [1]), (6, 20, [1]) > = (14, 50, [1])
< (4, 11, [1]), (5, 22, [1]), (1, 2, [1]) > = (9, 35, [1])
< (4, 11, [1]), (5, 22, [1]), (1, 8, [1]) > = (9, 41, [1])
< (4, 11, [1]), (5, 22, [1]), (4, 27, [1]) > = (12, 60, [1])
< (4, 11, [1]), (5, 22, [1]), (5, 14, [1]) > = (13, 47, [1])
< (4, 11, [1]), (5, 22, [1]), (5, 20, [0, 1]) > = (13, 53, [1])
< (4, 11, [1]), (5, 22, [1]), (5, 20, [1, 1]) > = (13, 53, [1])
< (4, 11, [1]), (5, 25, [1]), (1, 2, [1]) > = (9, 38, [1])
< (4, 11, [1]), (5, 25, [1]), (2, 18, [1]) > = (10, 54, [1])
< (4, 11, [1]), (5, 25, [1]), (3, 24, [1]) > = (11, 60, [1])
< (4, 11, [1]), (6, 20, [1]), (2, 4, [1]) > = (11, 35, [1])
< (4, 11, [1]), (6, 20, [1]), (4, 22, [0, 1]) > = (13, 53, [1])
< (4, 11, [1]), (6, 20, [1]), (4, 22, [1, 1]) > = (13, 53, [1])
< (4, 11, [1]), (6, 20, [1]), (5, 19, [1]) > = (14, 50, [1])
< (4, 11, [1]), (6, 20, [1]), (6, 16, [1]) > = (15, 47, [1])
< (4, 13, [1]), (1, 2, [1]), (2, 5, [1]) > = (6, 20, [1])
< (4, 13, [1]), (1, 2, [1]), (3, 18, [1]) > = (7, 33, [1])
< (4, 13, [1]), (1, 2, [1]), (3, 21, [1]) > = (7, 36, [1])
< (4, 13, [1]), (1, 2, [1]), (5, 26, [1]) > = (9, 41, [1])
< (4, 13, [1]), (1, 2, [1]), (5, 28, [1]) > = (9, 43, [1])
< (4, 13, [1]), (1, 2, [1]), (6, 17, [1]) > = (10, 32, [1])
< (4, 13, [1]), (1, 2, [1]), (6, 23, [1]) > = (10, 38, [1])
< (4, 13, [1]), (1, 4, [1]), (2, 4, [1]) > = (6, 21, [1])
< (4, 13, [1]), (1, 4, [1]), (2, 5, [1]) > = (6, 22, [1])
< (4, 13, [1]), (1, 4, [1]), (3, 6, [1]) > = (7, 23, [1])
< (4, 13, [1]), (1, 4, [1]), (5, 20, [1, 0]) > = (9, 37, [1])
< (4, 13, [1]), (1, 4, [1]), (5, 20, [1, 1]) > = (9, 37, [1])
< (4, 13, [1]), (1, 4, [1]), (5, 23, [1]) > = (9, 40, [0, 1])
< (4, 13, [1]), (1, 4, [1]), (6, 16, [1]) > = (10, 33, [1])
< (4, 13, [1]), (1, 4, [1]), (6, 17, [1]) > = (10, 34, [1])
< (4, 13, [1]), (1, 8, [1]), (2, 5, [1]) > = (6, 26, [1])
< (4, 13, [1]), (1, 8, [1]), (2, 8, [1]) > = (6, 29, [1])
< (4, 13, [1]), (1, 8, [1]), (2, 17, [1]) > = (6, 38, [1])
< (4, 13, [1]), (1, 8, [1]), (3, 21, [1]) > = (7, 42, [1])
< (4, 13, [1]), (1, 8, [1]), (3, 24, [1]) > = (7, 45, [1])
< (4, 13, [1]), (1, 8, [1]), (4, 4, [1]) > = (8, 25, [1])
< (4, 13, [1]), (1, 8, [1]), (4, 22, [0, 1]) > = (8, 43, [1])
< (4, 13, [1]), (1, 8, [1]), (4, 22, [1, 1]) > = (8, 43, [1])
< (4, 13, [1]), (1, 8, [1]), (4, 24, [1]) > = (8, 45, [0, 1])
< (4, 13, [1]), (1, 8, [1]), (5, 5, [1]) > = (9, 26, [1])
< (4, 13, [1]), (1, 8, [1]), (5, 16, [1]) > = (9, 37, [1])
< (4, 13, [1]), (1, 8, [1]), (5, 23, [1]) > = (9, 44, [1])
< (4, 13, [1]), (1, 8, [1]), (6, 17, [1]) > = (10, 38, [1])
< (4, 13, [1]), (1, 8, [1]), (6, 20, [1]) > = (10, 41, [0, 1])
< (4, 13, [1]), (1, 8, [1]), (6, 23, [1]) > = (10, 44, [1])
< (4, 13, [1]), (1, 8, [1]), (6, 26, [1]) > = (10, 47, [1])
< (4, 13, [1]), (2, 2, [1]), (1, 2, [1]) > = (6, 17, [1])
< (4, 13, [1]), (2, 2, [1]), (2, 8, [1]) > = (7, 23, [1])
< (4, 13, [1]), (2, 2, [1]), (4, 11, [1]) > = (9, 26, [1])
< (4, 13, [1]), (2, 2, [1]), (4, 22, [0, 1]) > = (9, 37, [1])
< (4, 13, [1]), (2, 2, [1]), (4, 22, [1, 1]) > = (9, 37, [1])
< (4, 13, [1]), (2, 2, [1]), (5, 14, [1]) > = (10, 29, [1])
< (4, 13, [1]), (2, 2, [1]), (5, 23, [1]) > = (10, 38, [1])
< (4, 13, [1]), (2, 2, [1]), (5, 25, [1]) > = (10, 40, [1])
< (4, 13, [1]), (2, 2, [1]), (5, 26, [1]) > = (10, 41, [0, 1])
< (4, 13, [1]), (2, 2, [1]), (6, 20, [1]) > = (11, 35, [1])
< (4, 13, [1]), (2, 5, [1]), (1, 4, [1]) > = (6, 22, [1])
< (4, 13, [1]), (2, 5, [1]), (2, 5, [1]) > = (7, 23, [1])
< (4, 13, [1]), (2, 5, [1]), (4, 13, [1]) > = (9, 31, [1])
< (4, 13, [1]), (2, 5, [1]), (4, 22, [0, 1]) > = (9, 40, [1, 1])
< (4, 13, [1]), (2, 5, [1]), (4, 22, [1, 1]) > = (9, 40, [1, 1])
< (4, 13, [1]), (2, 5, [1]), (5, 16, [1]) > = (10, 34, [1])
< (4, 13, [1]), (2, 5, [1]), (5, 20, [1, 0]) > = (10, 38, [1])
< (4, 13, [1]), (2, 5, [1]), (5, 20, [1, 1]) > = (10, 38, [1])
< (4, 13, [1]), (2, 5, [1]), (5, 22, [1]) > = (10, 40, [1])
< (4, 13, [1]), (2, 5, [1]), (5, 23, [1]) > = (10, 41, [0, 1])
< (4, 13, [1]), (2, 5, [1]), (5, 26, [1]) > = (10, 44, [1])
< (4, 13, [1]), (2, 5, [1]), (6, 17, [1]) > = (11, 35, [1])
< (4, 13, [1]), (2, 5, [1]), (6, 23, [1]) > = (11, 41, [1])
< (4, 13, [1]), (2, 17, [1]), (1, 8, [1]) > = (6, 38, [1])
< (4, 13, [1]), (2, 17, [1]), (2, 16, [1]) > = (7, 46, [1])
< (4, 13, [1]), (2, 17, [1]), (3, 20, [1]) > = (8, 50, [1])
< (4, 13, [1]), (2, 17, [1]), (4, 13, [1]) > = (9, 43, [1])
< (4, 13, [1]), (2, 17, [1]), (4, 18, [1]) > = (9, 48, [1])
< (4, 13, [1]), (2, 17, [1]), (4, 24, [1]) > = (9, 54, [1])
< (4, 13, [1]), (2, 17, [1]), (5, 14, [1]) > = (10, 44, [1])
< (4, 13, [1]), (2, 18, [1]), (3, 3, [1]) > = (8, 34, [1])
< (4, 13, [1]), (2, 18, [1]), (3, 6, [1]) > = (8, 37, [1])
< (4, 13, [1]), (2, 18, [1]), (3, 12, [1]) > = (8, 43, [1])
< (4, 13, [1]), (2, 18, [1]), (5, 16, [1]) > = (10, 47, [1])
< (4, 13, [1]), (2, 20, [1]), (3, 12, [1]) > = (8, 45, [0, 1])
< (4, 13, [1]), (2, 20, [1]), (3, 21, [1]) > = (8, 54, [1])
< (4, 13, [1]), (2, 20, [1]), (4, 21, [1]) > = (9, 54, [1])
< (4, 13, [1]), (2, 20, [1]), (4, 27, [1]) > = (9, 60, [1])
< (4, 13, [1]), (2, 20, [1]), (6, 21, [1]) > = (11, 54, [1])
< (4, 13, [1]), (3, 3, [1]), (1, 2, [1]) > = (7, 18, [1])
< (4, 13, [1]), (3, 3, [1]), (3, 10, [1]) > = (9, 26, [1])
< (4, 13, [1]), (3, 3, [1]), (4, 18, [1]) > = (10, 34, [1])
< (4, 13, [1]), (3, 3, [1]), (4, 22, [0, 1]) > = (10, 38, [1])
< (4, 13, [1]), (3, 3, [1]), (4, 22, [1, 1]) > = (10, 38, [1])
< (4, 13, [1]), (3, 3, [1]), (4, 24, [1]) > = (10, 40, [1])
< (4, 13, [1]), (3, 3, [1]), (5, 14, [1]) > = (11, 30, [1])
< (4, 13, [1]), (3, 3, [1]), (5, 19, [1]) > = (11, 35, [1])
< (4, 13, [1]), (3, 6, [1]), (1, 4, [1]) > = (7, 23, [1])
< (4, 13, [1]), (3, 6, [1]), (2, 4, [1]) > = (8, 23, [1])
< (4, 13, [1]), (3, 6, [1]), (4, 19, [1]) > = (10, 38, [1])
< (4, 13, [1]), (3, 6, [1]), (5, 16, [1]) > = (11, 35, [1])
< (4, 13, [1]), (3, 6, [1]), (5, 22, [1]) > = (11, 41, [1])
< (4, 13, [1]), (3, 6, [1]), (6, 16, [1]) > = (12, 35, [1])
< (4, 13, [1]), (3, 18, [1]), (1, 2, [1]) > = (7, 33, [1])
< (4, 13, [1]), (3, 18, [1]), (2, 9, [1]) > = (8, 40, [1])
< (4, 13, [1]), (3, 18, [1]), (3, 10, [1]) > = (9, 41, [1])
< (4, 13, [1]), (3, 18, [1]), (3, 12, [1]) > = (9, 43, [1])
< (4, 13, [1]), (3, 18, [1]), (5, 14, [1]) > = (11, 45, [1])
< (4, 13, [1]), (3, 18, [1]), (6, 6, [1]) > = (12, 37, [1])
< (4, 13, [1]), (3, 21, [1]), (1, 2, [1]) > = (7, 36, [1])
< (4, 13, [1]), (3, 21, [1]), (1, 8, [1]) > = (7, 42, [1])
< (4, 13, [1]), (3, 21, [1]), (3, 6, [1]) > = (9, 40, [0, 1])
< (4, 13, [1]), (3, 21, [1]), (4, 4, [1]) > = (10, 38, [1])
< (4, 13, [1]), (3, 21, [1]), (5, 14, [1]) > = (11, 48, [1])
< (4, 13, [1]), (3, 22, [1]), (3, 6, [1]) > = (9, 41, [1])
< (4, 13, [1]), (4, 4, [1]), (2, 9, [1]) > = (9, 26, [1])
< (4, 13, [1]), (4, 4, [1]), (4, 18, [1]) > = (11, 35, [1])
< (4, 13, [1]), (4, 4, [1]), (6, 21, [1]) > = (13, 38, [1])
< (4, 13, [1]), (4, 11, [1]), (2, 2, [1]) > = (9, 26, [1])
< (4, 13, [1]), (4, 11, [1]), (2, 16, [1]) > = (9, 40, [1, 1])
< (4, 13, [1]), (4, 11, [1]), (2, 17, [1]) > = (9, 41, [1])
< (4, 13, [1]), (4, 11, [1]), (3, 10, [1]) > = (10, 34, [1])
< (4, 13, [1]), (4, 11, [1]), (4, 18, [1]) > = (11, 42, [1])
< (4, 13, [1]), (4, 11, [1]), (4, 21, [1]) > = (11, 45, [1])
< (4, 13, [1]), (4, 11, [1]), (5, 22, [1]) > = (12, 46, [1])
< (4, 13, [1]), (4, 13, [1]), (1, 4, [1]) > = (8, 30, [1])
< (4, 13, [1]), (4, 13, [1]), (1, 8, [1]) > = (8, 34, [1])
< (4, 13, [1]), (4, 13, [1]), (2, 2, [1]) > = (9, 28, [1])
< (4, 13, [1]), (4, 13, [1]), (2, 5, [1]) > = (9, 31, [1])
< (4, 13, [1]), (4, 13, [1]), (3, 3, [1]) > = (10, 29, [1])
< (4, 13, [1]), (4, 13, [1]), (4, 4, [1]) > = (11, 30, [1])
< (4, 13, [1]), (4, 13, [1]), (4, 19, [1]) > = (11, 45, [1])
< (4, 13, [1]), (4, 13, [1]), (4, 22, [0, 1]) > = (11, 48, [1])
< (4, 13, [1]), (4, 13, [1]), (4, 22, [1, 1]) > = (11, 48, [1])
< (4, 13, [1]), (4, 13, [1]), (5, 16, [1]) > = (12, 42, [1])
< (4, 13, [1]), (4, 13, [1]), (5, 20, [0, 1]) > = (12, 46, [1])
< (4, 13, [1]), (4, 13, [1]), (5, 20, [1, 1]) > = (12, 46, [1])
< (4, 13, [1]), (4, 13, [1]), (6, 17, [1]) > = (13, 43, [1])
< (4, 13, [1]), (4, 13, [1]), (6, 23, [1]) > = (13, 49, [1])
< (4, 13, [1]), (4, 13, [1]), (6, 29, [1]) > = (13, 55, [1])
< (4, 13, [1]), (4, 19, [1]), (1, 8, [1]) > = (8, 40, [1])
< (4, 13, [1]), (4, 19, [1]), (2, 5, [1]) > = (9, 37, [1])
< (4, 13, [1]), (4, 19, [1]), (2, 8, [1]) > = (9, 40, [0, 1])
< (4, 13, [1]), (4, 19, [1]), (3, 6, [1]) > = (10, 38, [1])
< (4, 13, [1]), (4, 19, [1]), (5, 5, [1]) > = (12, 37, [1])
< (4, 13, [1]), (4, 19, [1]), (5, 23, [1]) > = (12, 55, [1])
< (4, 13, [1]), (4, 19, [1]), (6, 23, [1]) > = (13, 55, [1])
< (4, 13, [1]), (4, 22, [0, 1]), (2, 2, [1]) > = (9, 37, [1])
< (4, 13, [1]), (4, 22, [0, 1]), (2, 5, [1]) > = (9, 40, [1, 0])
< (4, 13, [1]), (4, 22, [0, 1]), (3, 3, [1]) > = (10, 38, [1])
< (4, 13, [1]), (4, 22, [0, 1]), (3, 6, [1]) > = (10, 41, [0, 1])
< (4, 13, [1]), (4, 22, [0, 1]), (3, 12, [1]) > = (10, 47, [1])
< (4, 13, [1]), (4, 22, [0, 1]), (4, 19, [1]) > = (11, 54, [1])
< (4, 13, [1]), (4, 22, [0, 1]), (4, 22, [1, 0]) > = (11, 57, [1])
< (4, 13, [1]), (4, 22, [0, 1]), (4, 22, [1, 1]) > = (11, 57, [1])
< (4, 13, [1]), (4, 22, [0, 1]), (5, 14, [1]) > = (12, 49, [1])
< (4, 13, [1]), (4, 22, [0, 1]), (5, 20, [0, 1]) > = (12, 55, [1])
< (4, 13, [1]), (4, 22, [0, 1]), (5, 20, [1, 1]) > = (12, 55, [1])
< (4, 13, [1]), (4, 22, [1, 1]), (2, 2, [1]) > = (9, 37, [1])
< (4, 13, [1]), (4, 22, [1, 1]), (2, 5, [1]) > = (9, 40, [1, 0])
< (4, 13, [1]), (4, 22, [1, 1]), (3, 3, [1]) > = (10, 38, [1])
< (4, 13, [1]), (4, 22, [1, 1]), (3, 6, [1]) > = (10, 41, [0, 1])
< (4, 13, [1]), (4, 22, [1, 1]), (3, 12, [1]) > = (10, 47, [1])
< (4, 13, [1]), (4, 22, [1, 1]), (4, 19, [1]) > = (11, 54, [1])
< (4, 13, [1]), (4, 22, [1, 1]), (4, 22, [1, 0]) > = (11, 57, [1])
< (4, 13, [1]), (4, 22, [1, 1]), (4, 22, [1, 1]) > = (11, 57, [1])
< (4, 13, [1]), (4, 22, [1, 1]), (5, 14, [1]) > = (12, 49, [1])
< (4, 13, [1]), (4, 22, [1, 1]), (5, 20, [0, 1]) > = (12, 55, [1])
< (4, 13, [1]), (4, 22, [1, 1]), (5, 20, [1, 1]) > = (12, 55, [1])
< (4, 13, [1]), (5, 5, [1]), (1, 8, [1]) > = (9, 26, [1])
< (4, 13, [1]), (5, 5, [1]), (5, 20, [1, 0]) > = (13, 38, [1])
< (4, 13, [1]), (5, 5, [1]), (5, 20, [1, 1]) > = (13, 38, [1])
< (4, 13, [1]), (5, 14, [1]), (1, 16, [1]) > = (9, 43, [1])
< (4, 13, [1]), (5, 14, [1]), (2, 5, [1]) > = (10, 32, [1])
< (4, 13, [1]), (5, 14, [1]), (2, 20, [1]) > = (10, 47, [1])
< (4, 13, [1]), (5, 14, [1]), (5, 22, [1]) > = (13, 49, [1])
< (4, 13, [1]), (5, 14, [1]), (5, 28, [1]) > = (13, 55, [1])
< (4, 13, [1]), (5, 14, [1]), (6, 17, [1]) > = (14, 44, [1])
< (4, 13, [1]), (5, 14, [1]), (6, 26, [1]) > = (14, 53, [1])
< (4, 13, [1]), (5, 16, [1]), (1, 8, [1]) > = (9, 37, [1])
< (4, 13, [1]), (5, 16, [1]), (2, 5, [1]) > = (10, 34, [1])
< (4, 13, [1]), (5, 16, [1]), (2, 9, [1]) > = (10, 38, [1])
< (4, 13, [1]), (5, 16, [1]), (3, 6, [1]) > = (11, 35, [1])
< (4, 13, [1]), (5, 16, [1]), (5, 20, [0, 1]) > = (13, 49, [1])
< (4, 13, [1]), (5, 16, [1]), (5, 20, [1, 1]) > = (13, 49, [1])
< (4, 13, [1]), (5, 16, [1]), (5, 23, [1]) > = (13, 52, [1])
< (4, 13, [1]), (5, 16, [1]), (5, 26, [1]) > = (13, 55, [1])
< (4, 13, [1]), (5, 16, [1]), (6, 17, [1]) > = (14, 46, [1])
< (4, 13, [1]), (5, 20, [1, 0]), (2, 8, [1]) > = (10, 41, [0, 1])
< (4, 13, [1]), (5, 20, [1, 0]), (4, 13, [1]) > = (12, 46, [1])
< (4, 13, [1]), (5, 20, [1, 0]), (4, 22, [0, 1]) > = (12, 55, [1])
< (4, 13, [1]), (5, 20, [1, 0]), (4, 22, [1, 1]) > = (12, 55, [1])
< (4, 13, [1]), (5, 20, [1, 0]), (5, 16, [1]) > = (13, 49, [1])
< (4, 13, [1]), (5, 20, [1, 0]), (5, 22, [1]) > = (13, 55, [1])
< (4, 13, [1]), (5, 20, [1, 0]), (5, 23, [1]) > = (13, 56, [1])
< (4, 13, [1]), (5, 20, [1, 0]), (6, 20, [1]) > = (14, 53, [1])
< (4, 13, [1]), (5, 20, [0, 1]), (3, 24, [1]) > = (11, 57, [1])
< (4, 13, [1]), (5, 20, [0, 1]), (4, 4, [1]) > = (12, 37, [1])
< (4, 13, [1]), (5, 20, [0, 1]), (5, 16, [1]) > = (13, 49, [1])
< (4, 13, [1]), (5, 20, [0, 1]), (5, 19, [1]) > = (13, 52, [1])
< (4, 13, [1]), (5, 20, [0, 1]), (5, 22, [1]) > = (13, 55, [1])
< (4, 13, [1]), (5, 20, [0, 1]), (6, 23, [1]) > = (14, 56, [1])
< (4, 13, [1]), (5, 20, [1, 1]), (2, 8, [1]) > = (10, 41, [0, 1])
< (4, 13, [1]), (5, 20, [1, 1]), (3, 24, [1]) > = (11, 57, [1])
< (4, 13, [1]), (5, 20, [1, 1]), (4, 4, [1]) > = (12, 37, [1])
< (4, 13, [1]), (5, 20, [1, 1]), (4, 13, [1]) > = (12, 46, [1])
< (4, 13, [1]), (5, 20, [1, 1]), (4, 22, [0, 1]) > = (12, 55, [1])
< (4, 13, [1]), (5, 20, [1, 1]), (4, 22, [1, 1]) > = (12, 55, [1])
< (4, 13, [1]), (5, 20, [1, 1]), (5, 19, [1]) > = (13, 52, [1])
< (4, 13, [1]), (5, 20, [1, 1]), (5, 23, [1]) > = (13, 56, [1])
< (4, 13, [1]), (5, 20, [1, 1]), (6, 20, [1]) > = (14, 53, [1])
< (4, 13, [1]), (5, 20, [1, 1]), (6, 23, [1]) > = (14, 56, [1])
< (4, 13, [1]), (5, 23, [1]), (1, 1, [1]) > = (9, 37, [1])
< (4, 13, [1]), (5, 23, [1]), (1, 2, [1]) > = (9, 38, [1])
< (4, 13, [1]), (5, 23, [1]), (1, 4, [1]) > = (9, 40, [1, 1])
< (4, 13, [1]), (5, 23, [1]), (2, 5, [1]) > = (10, 41, [0, 1])
< (4, 13, [1]), (5, 23, [1]), (2, 8, [1]) > = (10, 44, [1])
< (4, 13, [1]), (5, 23, [1]), (2, 18, [1]) > = (10, 54, [1])
< (4, 13, [1]), (5, 23, [1]), (3, 12, [1]) > = (11, 48, [1])
< (4, 13, [1]), (5, 23, [1]), (3, 21, [1]) > = (11, 57, [1])
< (4, 13, [1]), (5, 23, [1]), (3, 24, [1]) > = (11, 60, [1])
< (4, 13, [1]), (5, 23, [1]), (4, 13, [1]) > = (12, 49, [1])
< (4, 13, [1]), (5, 23, [1]), (4, 19, [1]) > = (12, 55, [1])
< (4, 13, [1]), (5, 23, [1]), (5, 19, [1]) > = (13, 55, [1])
< (4, 13, [1]), (5, 23, [1]), (6, 17, [1]) > = (14, 53, [1])
< (4, 13, [1]), (5, 23, [1]), (6, 20, [1]) > = (14, 56, [1])
< (4, 13, [1]), (6, 6, [1]), (4, 19, [1]) > = (13, 38, [1])
< (4, 13, [1]), (6, 17, [1]), (2, 5, [1]) > = (11, 35, [1])
< (4, 13, [1]), (6, 17, [1]), (4, 13, [1]) > = (13, 43, [1])
< (4, 13, [1]), (6, 17, [1]), (4, 22, [0, 1]) > = (13, 52, [1])
< (4, 13, [1]), (6, 17, [1]), (4, 22, [1, 1]) > = (13, 52, [1])
< (4, 13, [1]), (6, 17, [1]), (5, 26, [1]) > = (14, 56, [1])
< (4, 13, [1]), (6, 17, [1]), (6, 17, [1]) > = (15, 47, [1])
< (4, 13, [1]), (6, 23, [1]), (1, 4, [1]) > = (10, 40, [1])
< (4, 13, [1]), (6, 23, [1]), (2, 9, [1]) > = (11, 45, [1])
< (4, 13, [1]), (6, 23, [1]), (2, 18, [1]) > = (11, 54, [1])
< (4, 13, [1]), (6, 23, [1]), (5, 20, [1, 0]) > = (14, 56, [1])
< (4, 13, [1]), (6, 23, [1]), (5, 20, [1, 1]) > = (14, 56, [1])
< (4, 13, [1]), (6, 23, [1]), (6, 21, [1]) > = (15, 57, [1])
< (4, 13, [1]), (6, 26, [1]), (1, 1, [1]) > = (10, 40, [1])
< (4, 13, [1]), (6, 26, [1]), (1, 2, [1]) > = (10, 41, [1, 1])
< (4, 13, [1]), (6, 26, [1]), (2, 18, [1]) > = (11, 57, [1])
< (4, 13, [1]), (6, 26, [1]), (3, 10, [1]) > = (12, 49, [1])
< (4, 13, [1]), (6, 26, [1]), (4, 13, [1]) > = (13, 52, [1])
< (4, 13, [1]), (6, 26, [1]), (5, 5, [1]) > = (14, 44, [1])
< (4, 13, [1]), (6, 26, [1]), (6, 21, [1]) > = (15, 60, [1])
< (4, 13, [1]), (6, 29, [1]), (1, 2, [1]) > = (10, 44, [1])
< (4, 13, [1]), (6, 29, [1]), (2, 18, [1]) > = (11, 60, [1])
< (4, 13, [1]), (6, 29, [1]), (5, 14, [1]) > = (14, 56, [1])
< (5, 5, [1]), (1, 8, [1]), (1, 4, [1]) > = (6, 17, [1])
< (5, 5, [1]), (1, 8, [1]), (1, 16, [1]) > = (6, 29, [1])
< (5, 5, [1]), (1, 8, [1]), (2, 5, [1]) > = (7, 18, [1])
< (5, 5, [1]), (1, 8, [1]), (4, 22, [0, 1]) > = (9, 35, [1])
< (5, 5, [1]), (1, 8, [1]), (4, 22, [1, 1]) > = (9, 35, [1])
< (5, 5, [1]), (1, 8, [1]), (4, 24, [1]) > = (9, 37, [1])
< (5, 5, [1]), (1, 8, [1]), (5, 16, [1]) > = (10, 29, [1])
< (5, 5, [1]), (1, 8, [1]), (5, 19, [1]) > = (10, 32, [1])
< (5, 5, [1]), (1, 8, [1]), (5, 22, [1]) > = (10, 35, [1])
< (5, 5, [1]), (1, 8, [1]), (5, 25, [1]) > = (10, 38, [1])
< (5, 5, [1]), (1, 8, [1]), (6, 17, [1]) > = (11, 30, [1])
< (5, 5, [1]), (1, 8, [1]), (6, 23, [1]) > = (11, 36, [1])
< (5, 5, [1]), (2, 9, [1]), (1, 4, [1]) > = (7, 18, [1])
< (5, 5, [1]), (2, 9, [1]), (4, 18, [1]) > = (10, 32, [1])
< (5, 5, [1]), (2, 9, [1]), (4, 21, [1]) > = (10, 35, [1])
< (5, 5, [1]), (2, 9, [1]), (4, 24, [1]) > = (10, 38, [1])
< (5, 5, [1]), (2, 9, [1]), (5, 16, [1]) > = (11, 30, [1])
< (5, 5, [1]), (2, 9, [1]), (5, 22, [1]) > = (11, 36, [1])
< (5, 5, [1]), (3, 10, [1]), (4, 21, [1]) > = (11, 36, [1])
< (5, 5, [1]), (3, 11, [1]), (4, 18, [1]) > = (11, 34, [1])
< (5, 5, [1]), (4, 18, [1]), (1, 16, [1]) > = (9, 39, [1])
< (5, 5, [1]), (4, 18, [1]), (2, 17, [1]) > = (10, 40, [1])
< (5, 5, [1]), (4, 18, [1]), (3, 11, [1]) > = (11, 34, [1])
< (5, 5, [1]), (4, 19, [1]), (1, 2, [1]) > = (9, 26, [1])
< (5, 5, [1]), (4, 19, [1]), (1, 8, [1]) > = (9, 32, [1, 0])
< (5, 5, [1]), (4, 19, [1]), (2, 5, [1]) > = (10, 29, [1])
< (5, 5, [1]), (4, 19, [1]), (2, 8, [1]) > = (10, 32, [1])
< (5, 5, [1]), (4, 19, [1]), (2, 9, [1]) > = (10, 33, [1])
< (5, 5, [1]), (4, 19, [1]), (2, 16, [1]) > = (10, 40, [1])
< (5, 5, [1]), (4, 19, [1]), (2, 20, [1]) > = (10, 44, [1])
< (5, 5, [1]), (4, 19, [1]), (3, 6, [1]) > = (11, 30, [1])
< (5, 5, [1]), (4, 19, [1]), (3, 10, [1]) > = (11, 34, [1])
< (5, 5, [1]), (4, 19, [1]), (3, 12, [1]) > = (11, 36, [1])
< (5, 5, [1]), (4, 19, [1]), (4, 13, [1]) > = (12, 37, [1])
< (5, 5, [1]), (4, 19, [1]), (4, 22, [0, 1]) > = (12, 46, [1])
< (5, 5, [1]), (4, 19, [1]), (4, 22, [1, 1]) > = (12, 46, [1])
< (5, 5, [1]), (4, 19, [1]), (5, 14, [1]) > = (13, 38, [1])
< (5, 5, [1]), (4, 19, [1]), (5, 23, [1]) > = (13, 47, [1])
< (5, 5, [1]), (4, 19, [1]), (5, 26, [1]) > = (13, 50, [1])
< (5, 5, [1]), (4, 19, [1]), (6, 17, [1]) > = (14, 41, [1])
< (5, 5, [1]), (4, 19, [1]), (6, 20, [1]) > = (14, 44, [1])
< (5, 5, [1]), (4, 19, [1]), (6, 23, [1]) > = (14, 47, [1])
< (5, 5, [1]), (4, 19, [1]), (6, 26, [1]) > = (14, 50, [1])
< (5, 5, [1]), (4, 19, [1]), (6, 29, [1]) > = (14, 53, [1])
< (5, 5, [1]), (5, 19, [1]), (1, 16, [1]) > = (10, 40, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (1, 4, [1]) > = (10, 29, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (1, 8, [1]) > = (10, 33, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (2, 5, [1]) > = (11, 30, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (2, 9, [1]) > = (11, 34, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (4, 22, [0, 1]) > = (13, 47, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (4, 22, [1, 1]) > = (13, 47, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (5, 16, [1]) > = (14, 41, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (5, 19, [1]) > = (14, 44, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (5, 22, [1]) > = (14, 47, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (5, 25, [1]) > = (14, 50, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (5, 28, [1]) > = (14, 53, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (6, 17, [1]) > = (15, 42, [1])
< (5, 5, [1]), (5, 20, [1, 0]), (6, 23, [1]) > = (15, 48, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (1, 4, [1]) > = (10, 29, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (1, 8, [1]) > = (10, 33, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (2, 5, [1]) > = (11, 30, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (2, 9, [1]) > = (11, 34, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (4, 22, [0, 1]) > = (13, 47, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (4, 22, [1, 1]) > = (13, 47, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (5, 16, [1]) > = (14, 41, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (5, 19, [1]) > = (14, 44, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (5, 22, [1]) > = (14, 47, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (5, 25, [1]) > = (14, 50, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (5, 28, [1]) > = (14, 53, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (6, 17, [1]) > = (15, 42, [1])
< (5, 5, [1]), (5, 20, [1, 1]), (6, 23, [1]) > = (15, 48, [1])
< (5, 5, [1]), (6, 21, [1]), (1, 4, [1]) > = (11, 30, [1])
< (5, 5, [1]), (6, 21, [1]), (1, 8, [1]) > = (11, 34, [1])
< (5, 5, [1]), (6, 21, [1]), (4, 18, [1]) > = (14, 44, [1])
< (5, 5, [1]), (6, 21, [1]), (4, 21, [1]) > = (14, 47, [1])
< (5, 5, [1]), (6, 21, [1]), (4, 24, [1]) > = (14, 50, [1])
< (5, 5, [1]), (6, 21, [1]), (5, 16, [1]) > = (15, 42, [1])
< (5, 5, [1]), (6, 21, [1]), (5, 22, [1]) > = (15, 48, [1])
< (5, 14, [1]), (1, 1, [1]), (6, 26, [1]) > = (11, 41, [1])
< (5, 14, [1]), (1, 4, [1]), (1, 2, [1]) > = (6, 20, [1])
< (5, 14, [1]), (1, 4, [1]), (3, 24, [1]) > = (8, 42, [1])
< (5, 14, [1]), (1, 4, [1]), (4, 13, [1]) > = (9, 31, [1])
< (5, 14, [1]), (1, 4, [1]), (5, 14, [1]) > = (10, 32, [1])
< (5, 14, [1]), (1, 4, [1]), (5, 20, [1, 0]) > = (10, 38, [1])
< (5, 14, [1]), (1, 4, [1]), (5, 20, [1, 1]) > = (10, 38, [1])
< (5, 14, [1]), (1, 4, [1]), (5, 23, [1]) > = (10, 41, [0, 1])
< (5, 14, [1]), (1, 4, [1]), (6, 23, [1]) > = (11, 41, [1])
< (5, 14, [1]), (1, 16, [1]), (4, 11, [1]) > = (9, 41, [1])
< (5, 14, [1]), (1, 16, [1]), (4, 21, [1]) > = (9, 51, [1])
< (5, 14, [1]), (2, 2, [1]), (5, 25, [1]) > = (11, 41, [1])
< (5, 14, [1]), (2, 5, [1]), (2, 20, [1]) > = (8, 39, [0, 1])
< (5, 14, [1]), (2, 5, [1]), (4, 19, [1]) > = (10, 38, [1])
< (5, 14, [1]), (2, 5, [1]), (4, 22, [0, 1]) > = (10, 41, [0, 1])
< (5, 14, [1]), (2, 5, [1]), (4, 22, [1, 1]) > = (10, 41, [0, 1])
< (5, 14, [1]), (2, 5, [1]), (5, 22, [1]) > = (11, 41, [1])
< (5, 14, [1]), (2, 17, [1]), (1, 2, [1]) > = (7, 33, [1])
< (5, 14, [1]), (2, 17, [1]), (5, 14, [1]) > = (11, 45, [1])
< (5, 14, [1]), (2, 18, [1]), (1, 8, [1]) > = (7, 40, [1])
< (5, 14, [1]), (2, 20, [1]), (1, 8, [1]) > = (7, 42, [1])
< (5, 14, [1]), (2, 20, [1]), (2, 5, [1]) > = (8, 39, [0, 1])
< (5, 14, [1]), (2, 20, [1]), (4, 4, [1]) > = (10, 38, [1])
< (5, 14, [1]), (2, 20, [1]), (5, 14, [1]) > = (11, 48, [1])
< (5, 14, [1]), (3, 3, [1]), (4, 24, [1]) > = (11, 41, [1])
< (5, 14, [1]), (3, 6, [1]), (4, 21, [1]) > = (11, 41, [1])
< (5, 14, [1]), (3, 10, [1]), (2, 17, [1]) > = (9, 41, [1])
< (5, 14, [1]), (3, 10, [1]), (4, 18, [1]) > = (11, 42, [1])
< (5, 14, [1]), (3, 10, [1]), (4, 24, [1]) > = (11, 48, [1])
< (5, 14, [1]), (3, 10, [1]), (5, 22, [1]) > = (12, 46, [1])
< (5, 14, [1]), (3, 18, [1]), (2, 9, [1]) > = (9, 41, [1])
< (5, 14, [1]), (3, 18, [1]), (3, 6, [1]) > = (10, 38, [1])
< (5, 14, [1]), (3, 18, [1]), (5, 23, [1]) > = (12, 55, [1])
< (5, 14, [1]), (3, 18, [1]), (6, 6, [1]) > = (13, 38, [1])
< (5, 14, [1]), (4, 11, [1]), (1, 1, [1]) > = (9, 26, [1])
< (5, 14, [1]), (4, 11, [1]), (1, 16, [1]) > = (9, 41, [1])
< (5, 14, [1]), (4, 11, [1]), (2, 8, [1]) > = (10, 33, [1])
< (5, 14, [1]), (4, 11, [1]), (4, 24, [1]) > = (12, 49, [1])
< (5, 14, [1]), (4, 11, [1]), (6, 20, [1]) > = (14, 45, [1])
< (5, 14, [1]), (4, 13, [1]), (1, 4, [1]) > = (9, 31, [1])
< (5, 14, [1]), (4, 13, [1]), (1, 8, [1]) > = (9, 35, [1])
< (5, 14, [1]), (4, 13, [1]), (2, 2, [1]) > = (10, 29, [1])
< (5, 14, [1]), (4, 13, [1]), (2, 5, [1]) > = (10, 32, [1])
< (5, 14, [1]), (4, 13, [1]), (2, 17, [1]) > = (10, 44, [1])
< (5, 14, [1]), (4, 13, [1]), (2, 20, [1]) > = (10, 47, [1])
< (5, 14, [1]), (4, 13, [1]), (3, 3, [1]) > = (11, 30, [1])
< (5, 14, [1]), (4, 13, [1]), (4, 22, [0, 1]) > = (12, 49, [1])
< (5, 14, [1]), (4, 13, [1]), (4, 22, [1, 1]) > = (12, 49, [1])
< (5, 14, [1]), (4, 13, [1]), (5, 16, [1]) > = (13, 43, [1])
< (5, 14, [1]), (4, 13, [1]), (5, 20, [1, 0]) > = (13, 47, [1])
< (5, 14, [1]), (4, 13, [1]), (5, 20, [1, 1]) > = (13, 47, [1])
< (5, 14, [1]), (4, 13, [1]), (6, 17, [1]) > = (14, 44, [1])
< (5, 14, [1]), (4, 13, [1]), (6, 23, [1]) > = (14, 50, [1])
< (5, 14, [1]), (4, 13, [1]), (6, 26, [1]) > = (14, 53, [1])
< (5, 14, [1]), (4, 13, [1]), (6, 29, [1]) > = (14, 56, [1])
< (5, 14, [1]), (4, 19, [1]), (1, 2, [1]) > = (9, 35, [1])
< (5, 14, [1]), (4, 19, [1]), (1, 8, [1]) > = (9, 41, [1])
< (5, 14, [1]), (4, 19, [1]), (2, 8, [1]) > = (10, 41, [0, 1])
< (5, 14, [1]), (4, 19, [1]), (4, 13, [1]) > = (12, 46, [1])
< (5, 14, [1]), (4, 19, [1]), (5, 5, [1]) > = (13, 38, [1])
< (5, 14, [1]), (4, 19, [1]), (6, 17, [1]) > = (14, 50, [1])
< (5, 14, [1]), (4, 19, [1]), (6, 20, [1]) > = (14, 53, [1])
< (5, 14, [1]), (4, 22, [0, 1]), (2, 2, [1]) > = (10, 38, [1])
< (5, 14, [1]), (4, 22, [0, 1]), (2, 8, [1]) > = (10, 44, [1])
< (5, 14, [1]), (4, 22, [0, 1]), (3, 12, [1]) > = (11, 48, [1])
< (5, 14, [1]), (4, 22, [0, 1]), (3, 21, [1]) > = (11, 57, [1])
< (5, 14, [1]), (4, 22, [0, 1]), (4, 13, [1]) > = (12, 49, [1])
< (5, 14, [1]), (4, 22, [0, 1]), (4, 19, [1]) > = (12, 55, [1])
< (5, 14, [1]), (4, 22, [0, 1]), (5, 14, [1]) > = (13, 50, [1])
< (5, 14, [1]), (4, 22, [0, 1]), (5, 20, [0, 1]) > = (13, 56, [1])
< (5, 14, [1]), (4, 22, [0, 1]), (5, 20, [1, 1]) > = (13, 56, [1])
< (5, 14, [1]), (4, 22, [0, 1]), (6, 17, [1]) > = (14, 53, [1])
< (5, 14, [1]), (4, 22, [0, 1]), (6, 20, [1]) > = (14, 56, [1])
< (5, 14, [1]), (4, 22, [1, 1]), (2, 2, [1]) > = (10, 38, [1])
< (5, 14, [1]), (4, 22, [1, 1]), (2, 8, [1]) > = (10, 44, [1])
< (5, 14, [1]), (4, 22, [1, 1]), (3, 12, [1]) > = (11, 48, [1])
< (5, 14, [1]), (4, 22, [1, 1]), (3, 21, [1]) > = (11, 57, [1])
< (5, 14, [1]), (4, 22, [1, 1]), (4, 13, [1]) > = (12, 49, [1])
< (5, 14, [1]), (4, 22, [1, 1]), (4, 19, [1]) > = (12, 55, [1])
< (5, 14, [1]), (4, 22, [1, 1]), (5, 14, [1]) > = (13, 50, [1])
< (5, 14, [1]), (4, 22, [1, 1]), (5, 20, [0, 1]) > = (13, 56, [1])
< (5, 14, [1]), (4, 22, [1, 1]), (5, 20, [1, 1]) > = (13, 56, [1])
< (5, 14, [1]), (4, 22, [1, 1]), (6, 17, [1]) > = (14, 53, [1])
< (5, 14, [1]), (4, 22, [1, 1]), (6, 20, [1]) > = (14, 56, [1])
< (5, 14, [1]), (5, 16, [1]), (1, 2, [1]) > = (10, 32, [1])
< (5, 14, [1]), (5, 16, [1]), (4, 13, [1]) > = (13, 43, [1])
< (5, 14, [1]), (5, 16, [1]), (5, 14, [1]) > = (14, 44, [1])
< (5, 14, [1]), (5, 16, [1]), (5, 20, [0, 1]) > = (14, 50, [1])
< (5, 14, [1]), (5, 16, [1]), (5, 20, [1, 1]) > = (14, 50, [1])
< (5, 14, [1]), (5, 16, [1]), (5, 26, [1]) > = (14, 56, [1])
< (5, 14, [1]), (5, 22, [1]), (2, 9, [1]) > = (11, 45, [1])
< (5, 14, [1]), (5, 22, [1]), (4, 11, [1]) > = (13, 47, [1])
< (5, 14, [1]), (5, 22, [1]), (5, 14, [1]) > = (14, 50, [1])
< (5, 14, [1]), (5, 22, [1]), (6, 21, [1]) > = (15, 57, [1])
< (5, 14, [1]), (5, 23, [1]), (1, 1, [1]) > = (10, 38, [1])
< (5, 14, [1]), (5, 23, [1]), (1, 4, [1]) > = (10, 41, [0, 1])
< (5, 14, [1]), (5, 23, [1]), (5, 16, [1]) > = (14, 53, [1])
< (5, 14, [1]), (5, 23, [1]), (5, 19, [1]) > = (14, 56, [1])
< (5, 14, [1]), (5, 23, [1]), (6, 17, [1]) > = (15, 54, [1])
< (5, 14, [1]), (5, 25, [1]), (1, 2, [1]) > = (10, 41, [1, 0])
< (5, 14, [1]), (5, 25, [1]), (2, 18, [1]) > = (11, 57, [1])
< (5, 14, [1]), (5, 25, [1]), (3, 10, [1]) > = (12, 49, [1])
< (5, 14, [1]), (5, 25, [1]), (4, 11, [1]) > = (13, 50, [1])
< (5, 14, [1]), (5, 25, [1]), (5, 5, [1]) > = (14, 44, [1])
< (5, 14, [1]), (5, 25, [1]), (5, 14, [1]) > = (14, 53, [1])
< (5, 14, [1]), (5, 25, [1]), (6, 21, [1]) > = (15, 60, [1])
< (5, 20, [1, 1]), (1, 4, [1]), (1, 2, [1]) > = (6, 26, [1])
< (5, 20, [1, 1]), (1, 4, [1]), (1, 8, [1]) > = (6, 32, [1])
< (5, 20, [1, 1]), (1, 4, [1]), (3, 6, [1]) > = (8, 30, [1])
< (5, 20, [1, 1]), (1, 4, [1]), (3, 12, [1]) > = (8, 36, [1])
< (5, 20, [1, 1]), (1, 4, [1]), (4, 13, [1]) > = (9, 37, [1])
< (5, 20, [1, 1]), (1, 4, [1]), (4, 27, [1]) > = (9, 51, [1])
< (5, 20, [1, 1]), (1, 4, [1]), (5, 14, [1]) > = (10, 38, [1])
< (5, 20, [1, 1]), (1, 4, [1]), (5, 20, [0, 1]) > = (10, 44, [1])
< (5, 20, [1, 1]), (1, 4, [1]), (5, 20, [1, 1]) > = (10, 44, [1])
< (5, 20, [1, 1]), (1, 4, [1]), (5, 23, [1]) > = (10, 47, [1])
< (5, 20, [1, 1]), (1, 4, [1]), (6, 17, [1]) > = (11, 41, [1])
< (5, 20, [0, 1]), (1, 4, [1]), (1, 2, [1]) > = (6, 26, [1])
< (5, 20, [0, 1]), (1, 4, [1]), (1, 8, [1]) > = (6, 32, [1])
< (5, 20, [0, 1]), (1, 4, [1]), (3, 6, [1]) > = (8, 30, [1])
< (5, 20, [0, 1]), (1, 4, [1]), (3, 12, [1]) > = (8, 36, [1])
< (5, 20, [0, 1]), (1, 4, [1]), (4, 13, [1]) > = (9, 37, [1])
< (5, 20, [0, 1]), (1, 4, [1]), (4, 27, [1]) > = (9, 51, [1])
< (5, 20, [0, 1]), (1, 4, [1]), (5, 14, [1]) > = (10, 38, [1])
< (5, 20, [0, 1]), (1, 4, [1]), (5, 20, [0, 1]) > = (10, 44, [1])
< (5, 20, [0, 1]), (1, 4, [1]), (5, 20, [1, 1]) > = (10, 44, [1])
< (5, 20, [0, 1]), (1, 4, [1]), (5, 23, [1]) > = (10, 47, [1])
< (5, 20, [0, 1]), (1, 4, [1]), (6, 17, [1]) > = (11, 41, [1])
< (5, 20, [0, 1]), (1, 8, [1]), (1, 4, [1]) > = (6, 32, [1])
< (5, 20, [0, 1]), (1, 8, [1]), (2, 5, [1]) > = (7, 33, [1])
< (5, 20, [0, 1]), (1, 8, [1]), (2, 20, [1]) > = (7, 48, [1])
< (5, 20, [0, 1]), (1, 8, [1]), (3, 17, [1]) > = (8, 45, [1, 1])
< (5, 20, [0, 1]), (1, 8, [1]), (4, 19, [1]) > = (9, 47, [1])
< (5, 20, [0, 1]), (1, 8, [1]), (5, 16, [1]) > = (10, 44, [1])
< (5, 20, [0, 1]), (1, 8, [1]), (5, 19, [1]) > = (10, 47, [1])
< (5, 20, [0, 1]), (1, 8, [1]), (5, 22, [1]) > = (10, 50, [1])
< (5, 20, [0, 1]), (1, 8, [1]), (6, 20, [1]) > = (11, 48, [1])
< (5, 20, [0, 1]), (1, 8, [1]), (6, 26, [1]) > = (11, 54, [1])
< (5, 20, [1, 1]), (1, 8, [1]), (1, 4, [1]) > = (6, 32, [1])
< (5, 20, [1, 1]), (1, 8, [1]), (2, 5, [1]) > = (7, 33, [1])
< (5, 20, [1, 1]), (1, 8, [1]), (2, 20, [1]) > = (7, 48, [1])
< (5, 20, [1, 1]), (1, 8, [1]), (3, 17, [1]) > = (8, 45, [1, 1])
< (5, 20, [1, 1]), (1, 8, [1]), (4, 19, [1]) > = (9, 47, [1])
< (5, 20, [1, 1]), (1, 8, [1]), (5, 16, [1]) > = (10, 44, [1])
< (5, 20, [1, 1]), (1, 8, [1]), (5, 19, [1]) > = (10, 47, [1])
< (5, 20, [1, 1]), (1, 8, [1]), (5, 22, [1]) > = (10, 50, [1])
< (5, 20, [1, 1]), (1, 8, [1]), (6, 20, [1]) > = (11, 48, [1])
< (5, 20, [1, 1]), (1, 8, [1]), (6, 26, [1]) > = (11, 54, [1])
< (5, 20, [1, 1]), (2, 5, [1]), (2, 5, [1]) > = (8, 30, [1])
< (5, 20, [1, 1]), (2, 5, [1]), (5, 16, [1]) > = (11, 41, [1])
< (5, 20, [1, 1]), (2, 5, [1]), (6, 17, [1]) > = (12, 42, [1])
< (5, 20, [1, 1]), (2, 5, [1]), (6, 23, [1]) > = (12, 48, [1])
< (5, 20, [0, 1]), (2, 5, [1]), (2, 5, [1]) > = (8, 30, [1])
< (5, 20, [0, 1]), (2, 5, [1]), (5, 16, [1]) > = (11, 41, [1])
< (5, 20, [0, 1]), (2, 5, [1]), (6, 17, [1]) > = (12, 42, [1])
< (5, 20, [0, 1]), (2, 5, [1]), (6, 23, [1]) > = (12, 48, [1])
< (5, 20, [1, 1]), (2, 9, [1]), (1, 4, [1]) > = (7, 33, [1])
< (5, 20, [1, 1]), (2, 9, [1]), (2, 16, [1]) > = (8, 45, [1, 1])
< (5, 20, [1, 1]), (2, 9, [1]), (3, 18, [1]) > = (9, 47, [1])
< (5, 20, [1, 1]), (2, 9, [1]), (5, 19, [1]) > = (11, 48, [1])
< (5, 20, [1, 1]), (2, 9, [1]), (5, 22, [1]) > = (11, 51, [1])
< (5, 20, [1, 1]), (2, 9, [1]), (5, 23, [1]) > = (11, 52, [1])
< (5, 20, [1, 1]), (2, 9, [1]), (6, 20, [1]) > = (12, 49, [1])
< (5, 20, [0, 1]), (2, 9, [1]), (1, 4, [1]) > = (7, 33, [1])
< (5, 20, [0, 1]), (2, 9, [1]), (2, 16, [1]) > = (8, 45, [1, 1])
< (5, 20, [0, 1]), (2, 9, [1]), (3, 18, [1]) > = (9, 47, [1])
< (5, 20, [0, 1]), (2, 9, [1]), (5, 19, [1]) > = (11, 48, [1])
< (5, 20, [0, 1]), (2, 9, [1]), (5, 22, [1]) > = (11, 51, [1])
< (5, 20, [0, 1]), (2, 9, [1]), (5, 23, [1]) > = (11, 52, [1])
< (5, 20, [0, 1]), (2, 9, [1]), (6, 20, [1]) > = (12, 49, [1])
< (5, 20, [0, 1]), (3, 6, [1]), (1, 4, [1]) > = (8, 30, [1])
< (5, 20, [0, 1]), (3, 6, [1]), (5, 16, [1]) > = (12, 42, [1])
< (5, 20, [1, 1]), (3, 6, [1]), (1, 4, [1]) > = (8, 30, [1])
< (5, 20, [1, 1]), (3, 6, [1]), (5, 16, [1]) > = (12, 42, [1])
< (5, 20, [0, 1]), (4, 13, [1]), (1, 8, [1]) > = (9, 41, [1])
< (5, 20, [0, 1]), (4, 13, [1]), (5, 23, [1]) > = (13, 56, [1])
< (5, 20, [1, 1]), (4, 13, [1]), (1, 8, [1]) > = (9, 41, [1])
< (5, 20, [1, 1]), (4, 13, [1]), (5, 23, [1]) > = (13, 56, [1])
< (5, 20, [0, 1]), (4, 22, [0, 1]), (1, 2, [1]) > = (9, 44, [1])
< (5, 20, [0, 1]), (4, 22, [0, 1]), (2, 2, [1]) > = (10, 44, [1])
< (5, 20, [0, 1]), (4, 22, [0, 1]), (2, 5, [1]) > = (10, 47, [1])
< (5, 20, [0, 1]), (4, 22, [0, 1]), (2, 8, [1]) > = (10, 50, [1])
< (5, 20, [0, 1]), (4, 22, [0, 1]), (5, 14, [1]) > = (13, 56, [1])
< (5, 20, [0, 1]), (4, 22, [1, 1]), (1, 2, [1]) > = (9, 44, [1])
< (5, 20, [0, 1]), (4, 22, [1, 1]), (2, 2, [1]) > = (10, 44, [1])
< (5, 20, [0, 1]), (4, 22, [1, 1]), (2, 5, [1]) > = (10, 47, [1])
< (5, 20, [0, 1]), (4, 22, [1, 1]), (2, 8, [1]) > = (10, 50, [1])
< (5, 20, [0, 1]), (4, 22, [1, 1]), (5, 14, [1]) > = (13, 56, [1])
< (5, 20, [1, 1]), (4, 22, [0, 1]), (1, 2, [1]) > = (9, 44, [1])
< (5, 20, [1, 1]), (4, 22, [0, 1]), (2, 2, [1]) > = (10, 44, [1])
< (5, 20, [1, 1]), (4, 22, [0, 1]), (2, 5, [1]) > = (10, 47, [1])
< (5, 20, [1, 1]), (4, 22, [0, 1]), (2, 8, [1]) > = (10, 50, [1])
< (5, 20, [1, 1]), (4, 22, [0, 1]), (5, 14, [1]) > = (13, 56, [1])
< (5, 20, [1, 1]), (4, 22, [1, 1]), (1, 2, [1]) > = (9, 44, [1])
< (5, 20, [1, 1]), (4, 22, [1, 1]), (2, 2, [1]) > = (10, 44, [1])
< (5, 20, [1, 1]), (4, 22, [1, 1]), (2, 5, [1]) > = (10, 47, [1])
< (5, 20, [1, 1]), (4, 22, [1, 1]), (2, 8, [1]) > = (10, 50, [1])
< (5, 20, [1, 1]), (4, 22, [1, 1]), (5, 14, [1]) > = (13, 56, [1])
< (5, 20, [0, 1]), (5, 16, [1]), (1, 8, [1]) > = (10, 44, [1])
< (5, 20, [0, 1]), (5, 16, [1]), (2, 5, [1]) > = (11, 41, [1])
< (5, 20, [0, 1]), (5, 16, [1]), (3, 6, [1]) > = (12, 42, [1])
< (5, 20, [0, 1]), (5, 16, [1]), (3, 12, [1]) > = (12, 48, [1])
< (5, 20, [0, 1]), (5, 16, [1]), (4, 13, [1]) > = (13, 49, [1])
< (5, 20, [0, 1]), (5, 16, [1]), (5, 14, [1]) > = (14, 50, [1])
< (5, 20, [0, 1]), (5, 16, [1]), (5, 20, [1, 0]) > = (14, 56, [1])
< (5, 20, [0, 1]), (5, 16, [1]), (5, 20, [1, 1]) > = (14, 56, [1])
< (5, 20, [1, 1]), (5, 16, [1]), (1, 8, [1]) > = (10, 44, [1])
< (5, 20, [1, 1]), (5, 16, [1]), (2, 5, [1]) > = (11, 41, [1])
< (5, 20, [1, 1]), (5, 16, [1]), (3, 6, [1]) > = (12, 42, [1])
< (5, 20, [1, 1]), (5, 16, [1]), (3, 12, [1]) > = (12, 48, [1])
< (5, 20, [1, 1]), (5, 16, [1]), (4, 13, [1]) > = (13, 49, [1])
< (5, 20, [1, 1]), (5, 16, [1]), (5, 14, [1]) > = (14, 50, [1])
< (5, 20, [1, 1]), (5, 16, [1]), (5, 20, [1, 0]) > = (14, 56, [1])
< (5, 20, [1, 1]), (5, 16, [1]), (5, 20, [1, 1]) > = (14, 56, [1])
< (5, 20, [1, 1]), (5, 19, [1]), (2, 2, [1]) > = (11, 41, [1])
< (5, 20, [1, 1]), (5, 19, [1]), (4, 4, [1]) > = (13, 43, [1])
< (5, 20, [0, 1]), (5, 19, [1]), (2, 2, [1]) > = (11, 41, [1])
< (5, 20, [0, 1]), (5, 19, [1]), (4, 4, [1]) > = (13, 43, [1])
< (5, 20, [1, 1]), (5, 22, [1]), (3, 6, [1]) > = (12, 48, [1])
< (5, 20, [0, 1]), (5, 22, [1]), (3, 6, [1]) > = (12, 48, [1])
< (5, 20, [0, 1]), (5, 25, [1]), (4, 11, [1]) > = (13, 56, [1])
< (5, 20, [1, 1]), (5, 25, [1]), (4, 11, [1]) > = (13, 56, [1])
< (5, 20, [1, 1]), (5, 28, [1]), (1, 2, [1]) > = (10, 50, [1])
< (5, 20, [1, 1]), (5, 28, [1]), (2, 4, [1]) > = (11, 52, [1])
< (5, 20, [0, 1]), (5, 28, [1]), (1, 2, [1]) > = (10, 50, [1])
< (5, 20, [0, 1]), (5, 28, [1]), (2, 4, [1]) > = (11, 52, [1])
< (5, 20, [1, 1]), (6, 17, [1]), (1, 4, [1]) > = (11, 41, [1])
< (5, 20, [1, 1]), (6, 17, [1]), (2, 5, [1]) > = (12, 42, [1])
< (5, 20, [1, 1]), (6, 17, [1]), (6, 17, [1]) > = (16, 54, [1])
< (5, 20, [1, 1]), (6, 17, [1]), (6, 23, [1]) > = (16, 60, [1])
< (5, 20, [0, 1]), (6, 17, [1]), (1, 4, [1]) > = (11, 41, [1])
< (5, 20, [0, 1]), (6, 17, [1]), (2, 5, [1]) > = (12, 42, [1])
< (5, 20, [0, 1]), (6, 17, [1]), (6, 17, [1]) > = (16, 54, [1])
< (5, 20, [0, 1]), (6, 17, [1]), (6, 23, [1]) > = (16, 60, [1])
< (6, 6, [1]), (1, 8, [1]), (1, 4, [1]) > = (7, 18, [1])
< (6, 6, [1]), (1, 8, [1]), (4, 24, [1]) > = (10, 38, [1])
< (6, 6, [1]), (1, 8, [1]), (5, 16, [1]) > = (11, 30, [1])
< (6, 6, [1]), (1, 8, [1]), (5, 22, [1]) > = (11, 36, [1])
< (6, 6, [1]), (2, 9, [1]), (4, 21, [1]) > = (11, 36, [1])
< (6, 6, [1]), (3, 11, [1]), (4, 18, [1]) > = (12, 35, [1])
< (6, 6, [1]), (3, 18, [1]), (1, 2, [1]) > = (9, 26, [1])
< (6, 6, [1]), (3, 18, [1]), (2, 9, [1]) > = (10, 33, [1])
< (6, 6, [1]), (3, 18, [1]), (2, 16, [1]) > = (10, 40, [1])
< (6, 6, [1]), (3, 18, [1]), (3, 6, [1]) > = (11, 30, [1])
< (6, 6, [1]), (3, 18, [1]), (3, 10, [1]) > = (11, 34, [1])
< (6, 6, [1]), (3, 18, [1]), (3, 12, [1]) > = (11, 36, [1])
< (6, 6, [1]), (3, 18, [1]), (3, 17, [1]) > = (11, 41, [1])
< (6, 6, [1]), (3, 18, [1]), (4, 11, [1]) > = (12, 35, [1])
< (6, 6, [1]), (3, 18, [1]), (4, 13, [1]) > = (12, 37, [1])
< (6, 6, [1]), (3, 18, [1]), (5, 14, [1]) > = (13, 38, [1])
< (6, 6, [1]), (3, 18, [1]), (5, 23, [1]) > = (13, 47, [1])
< (6, 6, [1]), (3, 18, [1]), (5, 26, [1]) > = (13, 50, [1])
< (6, 6, [1]), (4, 18, [1]), (1, 16, [1]) > = (10, 40, [1])
< (6, 6, [1]), (4, 18, [1]), (2, 17, [1]) > = (11, 41, [1])
< (6, 6, [1]), (4, 18, [1]), (3, 11, [1]) > = (12, 35, [1])
< (6, 6, [1]), (4, 19, [1]), (1, 8, [1]) > = (10, 33, [1])
< (6, 6, [1]), (4, 19, [1]), (2, 5, [1]) > = (11, 30, [1])
< (6, 6, [1]), (4, 19, [1]), (2, 9, [1]) > = (11, 34, [1])
< (6, 6, [1]), (4, 19, [1]), (2, 16, [1]) > = (11, 41, [1])
< (6, 6, [1]), (4, 19, [1]), (3, 10, [1]) > = (12, 35, [1])
< (6, 6, [1]), (4, 19, [1]), (4, 22, [0, 1]) > = (13, 47, [1])
< (6, 6, [1]), (4, 19, [1]), (4, 22, [1, 1]) > = (13, 47, [1])
< (6, 6, [1]), (4, 19, [1]), (6, 17, [1]) > = (15, 42, [1])
< (6, 6, [1]), (4, 19, [1]), (6, 23, [1]) > = (15, 48, [1])
< (6, 6, [1]), (5, 19, [1]), (1, 16, [1]) > = (11, 41, [1])
< (6, 6, [1]), (5, 20, [1, 0]), (1, 4, [1]) > = (11, 30, [1])
< (6, 6, [1]), (5, 20, [1, 0]), (1, 8, [1]) > = (11, 34, [1])
< (6, 6, [1]), (5, 20, [1, 0]), (2, 9, [1]) > = (12, 35, [1])
< (6, 6, [1]), (5, 20, [1, 0]), (5, 16, [1]) > = (15, 42, [1])
< (6, 6, [1]), (5, 20, [1, 0]), (5, 22, [1]) > = (15, 48, [1])
< (6, 6, [1]), (5, 20, [1, 1]), (1, 4, [1]) > = (11, 30, [1])
< (6, 6, [1]), (5, 20, [1, 1]), (1, 8, [1]) > = (11, 34, [1])
< (6, 6, [1]), (5, 20, [1, 1]), (2, 9, [1]) > = (12, 35, [1])
< (6, 6, [1]), (5, 20, [1, 1]), (5, 16, [1]) > = (15, 42, [1])
< (6, 6, [1]), (5, 20, [1, 1]), (5, 22, [1]) > = (15, 48, [1])
< (6, 6, [1]), (6, 21, [1]), (1, 8, [1]) > = (12, 35, [1])
< (6, 6, [1]), (6, 21, [1]), (4, 21, [1]) > = (15, 48, [1])
< (6, 16, [1]), (1, 4, [1]), (2, 5, [1]) > = (8, 25, [1])
< (6, 16, [1]), (1, 4, [1]), (3, 11, [1]) > = (9, 31, [1])
< (6, 16, [1]), (1, 4, [1]), (3, 24, [1]) > = (9, 44, [1])
< (6, 16, [1]), (1, 4, [1]), (6, 17, [1]) > = (12, 37, [1])
< (6, 16, [1]), (1, 16, [1]), (4, 18, [1]) > = (10, 50, [1])
< (6, 16, [1]), (2, 5, [1]), (1, 2, [1]) > = (8, 23, [1])
< (6, 16, [1]), (2, 5, [1]), (1, 4, [1]) > = (8, 25, [1])
< (6, 16, [1]), (2, 5, [1]), (2, 5, [1]) > = (9, 26, [1])
< (6, 16, [1]), (2, 5, [1]), (5, 14, [1]) > = (12, 35, [1])
< (6, 16, [1]), (2, 5, [1]), (5, 16, [1]) > = (12, 37, [1])
< (6, 16, [1]), (2, 5, [1]), (6, 17, [1]) > = (13, 38, [1])
< (6, 16, [1]), (2, 5, [1]), (6, 23, [1]) > = (13, 44, [0, 1])
< (6, 16, [1]), (2, 8, [1]), (1, 1, [1]) > = (8, 25, [1])
< (6, 16, [1]), (2, 16, [1]), (5, 19, [1]) > = (12, 51, [1])
< (6, 16, [1]), (3, 6, [1]), (1, 4, [1]) > = (9, 26, [1])
< (6, 16, [1]), (3, 6, [1]), (5, 16, [1]) > = (13, 38, [1])
< (6, 16, [1]), (3, 11, [1]), (1, 1, [1]) > = (9, 28, [1])
< (6, 16, [1]), (3, 11, [1]), (1, 4, [1]) > = (9, 31, [1])
< (6, 16, [1]), (3, 11, [1]), (2, 2, [1]) > = (10, 29, [1])
< (6, 16, [1]), (3, 11, [1]), (2, 20, [1]) > = (10, 47, [1])
< (6, 16, [1]), (3, 11, [1]), (3, 3, [1]) > = (11, 30, [1])
< (6, 16, [1]), (3, 11, [1]), (4, 18, [1]) > = (12, 45, [1])
< (6, 16, [1]), (3, 11, [1]), (4, 24, [1]) > = (12, 51, [1])
< (6, 16, [1]), (3, 11, [1]), (5, 16, [1]) > = (13, 43, [1])
< (6, 16, [1]), (3, 17, [1]), (4, 24, [1]) > = (12, 57, [1])
< (6, 16, [1]), (4, 11, [1]), (1, 1, [1]) > = (10, 28, [1])
< (6, 16, [1]), (4, 11, [1]), (1, 2, [1]) > = (10, 29, [1])
< (6, 16, [1]), (4, 11, [1]), (2, 8, [1]) > = (11, 35, [1])
< (6, 16, [1]), (4, 11, [1]), (4, 11, [1]) > = (13, 38, [1])
< (6, 16, [1]), (4, 11, [1]), (5, 14, [1]) > = (14, 41, [1])
< (6, 16, [1]), (4, 11, [1]), (5, 19, [1]) > = (14, 46, [1])
< (6, 16, [1]), (4, 11, [1]), (6, 20, [1]) > = (15, 47, [1])
< (6, 16, [1]), (5, 16, [1]), (2, 5, [1]) > = (12, 37, [1])
< (6, 16, [1]), (5, 16, [1]), (3, 11, [1]) > = (13, 43, [1])
< (6, 16, [1]), (5, 16, [1]), (6, 17, [1]) > = (16, 49, [1])
< (6, 16, [1]), (5, 22, [1]), (2, 4, [1]) > = (12, 42, [1])
< (6, 16, [1]), (5, 22, [1]), (2, 10, [1]) > = (12, 48, [1])
< (6, 16, [1]), (5, 22, [1]), (3, 6, [1]) > = (13, 44, [0, 1])
< (6, 16, [1]), (5, 22, [1]), (6, 16, [1]) > = (16, 54, [1])
< (6, 16, [1]), (6, 17, [1]), (1, 2, [1]) > = (12, 35, [1])
< (6, 16, [1]), (6, 17, [1]), (1, 4, [1]) > = (12, 37, [1])
< (6, 16, [1]), (6, 17, [1]), (2, 5, [1]) > = (13, 38, [1])
< (6, 16, [1]), (6, 17, [1]), (5, 14, [1]) > = (16, 47, [1])
< (6, 16, [1]), (6, 17, [1]), (5, 16, [1]) > = (16, 49, [1])
< (6, 16, [1]), (6, 17, [1]), (6, 17, [1]) > = (17, 50, [1])
< (6, 16, [1]), (6, 17, [1]), (6, 23, [1]) > = (17, 56, [0, 1])
< (6, 16, [1]), (6, 20, [1]), (1, 1, [1]) > = (12, 37, [1])
< (6, 17, [1]), (1, 2, [1]), (2, 17, [1]) > = (8, 36, [1])
< (6, 17, [1]), (1, 2, [1]), (4, 13, [1]) > = (10, 32, [1])
< (6, 17, [1]), (1, 2, [1]), (4, 19, [1]) > = (10, 38, [1])
< (6, 17, [1]), (1, 2, [1]), (4, 22, [0, 1]) > = (10, 41, [0, 1])
< (6, 17, [1]), (1, 2, [1]), (4, 22, [1, 1]) > = (10, 41, [0, 1])
< (6, 17, [1]), (1, 2, [1]), (5, 29, [1]) > = (11, 48, [1])
< (6, 17, [1]), (1, 2, [1]), (6, 23, [1]) > = (12, 42, [1])
< (6, 17, [1]), (1, 2, [1]), (6, 26, [1]) > = (12, 45, [1])
< (6, 17, [1]), (1, 2, [1]), (6, 29, [1]) > = (12, 48, [1])
< (6, 17, [1]), (1, 4, [1]), (2, 9, [1]) > = (8, 30, [1])
< (6, 17, [1]), (1, 4, [1]), (3, 11, [1]) > = (9, 32, [1, 1])
< (6, 17, [1]), (1, 4, [1]), (5, 20, [1, 0]) > = (11, 41, [1])
< (6, 17, [1]), (1, 4, [1]), (5, 20, [0, 1]) > = (11, 41, [1])
< (6, 17, [1]), (1, 8, [1]), (2, 5, [1]) > = (8, 30, [1])
< (6, 17, [1]), (1, 8, [1]), (4, 13, [1]) > = (10, 38, [1])
< (6, 17, [1]), (1, 8, [1]), (5, 5, [1]) > = (11, 30, [1])
< (6, 17, [1]), (1, 8, [1]), (5, 20, [0, 1]) > = (11, 45, [1])
< (6, 17, [1]), (1, 8, [1]), (5, 20, [1, 1]) > = (11, 45, [1])
< (6, 17, [1]), (1, 8, [1]), (5, 23, [1]) > = (11, 48, [1])
< (6, 17, [1]), (1, 8, [1]), (6, 17, [1]) > = (12, 42, [1])
< (6, 17, [1]), (1, 8, [1]), (6, 20, [1]) > = (12, 45, [1])
< (6, 17, [1]), (1, 8, [1]), (6, 23, [1]) > = (12, 48, [1])
< (6, 17, [1]), (2, 2, [1]), (4, 11, [1]) > = (11, 30, [1])
< (6, 17, [1]), (2, 4, [1]), (3, 11, [1]) > = (10, 32, [1])
< (6, 17, [1]), (2, 4, [1]), (4, 24, [1]) > = (11, 45, [1])
< (6, 17, [1]), (2, 4, [1]), (4, 27, [1]) > = (11, 48, [1])
< (6, 17, [1]), (2, 5, [1]), (1, 8, [1]) > = (8, 30, [1])
< (6, 17, [1]), (2, 5, [1]), (2, 4, [1]) > = (9, 26, [1])
< (6, 17, [1]), (2, 5, [1]), (2, 10, [1]) > = (9, 32, [1, 0])
< (6, 17, [1]), (2, 5, [1]), (3, 6, [1]) > = (10, 28, [1])
< (6, 17, [1]), (2, 5, [1]), (3, 12, [1]) > = (10, 34, [1])
< (6, 17, [1]), (2, 5, [1]), (4, 13, [1]) > = (11, 35, [1])
< (6, 17, [1]), (2, 5, [1]), (5, 20, [0, 1]) > = (12, 42, [1])
< (6, 17, [1]), (2, 5, [1]), (5, 20, [1, 1]) > = (12, 42, [1])
< (6, 17, [1]), (2, 5, [1]), (5, 23, [1]) > = (12, 45, [1])
< (6, 17, [1]), (2, 5, [1]), (5, 26, [1]) > = (12, 48, [1])
< (6, 17, [1]), (2, 5, [1]), (6, 16, [1]) > = (13, 38, [1])
< (6, 17, [1]), (2, 5, [1]), (6, 22, [1]) > = (13, 44, [0, 1])
< (6, 17, [1]), (2, 9, [1]), (1, 4, [1]) > = (8, 30, [1])
< (6, 17, [1]), (2, 9, [1]), (4, 4, [1]) > = (11, 30, [1])
< (6, 17, [1]), (2, 9, [1]), (4, 22, [0, 1]) > = (11, 48, [1])
< (6, 17, [1]), (2, 9, [1]), (4, 22, [1, 1]) > = (11, 48, [1])
< (6, 17, [1]), (2, 9, [1]), (5, 16, [1]) > = (12, 42, [1])
< (6, 17, [1]), (2, 9, [1]), (5, 22, [1]) > = (12, 48, [1])
< (6, 17, [1]), (2, 10, [1]), (2, 4, [1]) > = (9, 31, [1])
< (6, 17, [1]), (2, 10, [1]), (4, 18, [1]) > = (11, 45, [1])
< (6, 17, [1]), (2, 10, [1]), (4, 24, [1]) > = (11, 51, [1])
< (6, 17, [1]), (2, 10, [1]), (5, 25, [1]) > = (12, 52, [1])
< (6, 17, [1]), (2, 10, [1]), (6, 16, [1]) > = (13, 43, [1])
< (6, 17, [1]), (2, 10, [1]), (6, 22, [1]) > = (13, 49, [1])
< (6, 17, [1]), (2, 18, [1]), (4, 13, [1]) > = (11, 48, [1])
< (6, 17, [1]), (3, 3, [1]), (3, 10, [1]) > = (11, 30, [1])
< (6, 17, [1]), (3, 6, [1]), (2, 5, [1]) > = (10, 28, [1])
< (6, 17, [1]), (3, 6, [1]), (6, 17, [1]) > = (14, 40, [1])
< (6, 17, [1]), (3, 6, [1]), (6, 23, [1]) > = (14, 46, [1])
< (6, 17, [1]), (3, 10, [1]), (3, 3, [1]) > = (11, 30, [1])
< (6, 17, [1]), (3, 10, [1]), (3, 24, [1]) > = (11, 51, [1])
< (6, 17, [1]), (3, 10, [1]), (4, 24, [1]) > = (12, 51, [1])
< (6, 17, [1]), (4, 4, [1]), (2, 9, [1]) > = (11, 30, [1])
< (6, 17, [1]), (4, 4, [1]), (6, 21, [1]) > = (15, 42, [1])
< (6, 17, [1]), (4, 13, [1]), (1, 2, [1]) > = (10, 32, [1])
< (6, 17, [1]), (4, 13, [1]), (1, 4, [1]) > = (10, 34, [1])
< (6, 17, [1]), (4, 13, [1]), (1, 8, [1]) > = (10, 38, [1])
< (6, 17, [1]), (4, 13, [1]), (2, 18, [1]) > = (11, 48, [1])
< (6, 17, [1]), (4, 13, [1]), (4, 22, [0, 1]) > = (13, 52, [1])
< (6, 17, [1]), (4, 13, [1]), (4, 22, [1, 1]) > = (13, 52, [1])
< (6, 17, [1]), (4, 13, [1]), (5, 14, [1]) > = (14, 44, [1])
< (6, 17, [1]), (4, 13, [1]), (5, 16, [1]) > = (14, 46, [1])
< (6, 17, [1]), (4, 19, [1]), (1, 2, [1]) > = (10, 38, [1])
< (6, 17, [1]), (4, 19, [1]), (1, 8, [1]) > = (10, 44, [1])
< (6, 17, [1]), (4, 19, [1]), (2, 9, [1]) > = (11, 45, [1])
< (6, 17, [1]), (4, 19, [1]), (3, 10, [1]) > = (12, 46, [1])
< (6, 17, [1]), (4, 22, [1, 0]), (6, 21, [1]) > = (15, 60, [1])
< (6, 17, [1]), (4, 22, [0, 1]), (1, 2, [1]) > = (10, 41, [1, 1])
< (6, 17, [1]), (4, 22, [0, 1]), (3, 10, [1]) > = (12, 49, [1])
< (6, 17, [1]), (4, 22, [0, 1]), (3, 21, [1]) > = (12, 60, [1])
< (6, 17, [1]), (4, 22, [0, 1]), (4, 13, [1]) > = (13, 52, [1])
< (6, 17, [1]), (4, 22, [0, 1]), (5, 5, [1]) > = (14, 44, [1])
< (6, 17, [1]), (4, 22, [1, 1]), (1, 2, [1]) > = (10, 41, [1, 1])
< (6, 17, [1]), (4, 22, [1, 1]), (3, 10, [1]) > = (12, 49, [1])
< (6, 17, [1]), (4, 22, [1, 1]), (3, 21, [1]) > = (12, 60, [1])
< (6, 17, [1]), (4, 22, [1, 1]), (4, 13, [1]) > = (13, 52, [1])
< (6, 17, [1]), (4, 22, [1, 1]), (5, 5, [1]) > = (14, 44, [1])
< (6, 17, [1]), (4, 22, [1, 1]), (6, 21, [1]) > = (15, 60, [1])
< (6, 17, [1]), (4, 26, [1]), (6, 17, [1]) > = (15, 60, [1])
< (6, 17, [1]), (5, 5, [1]), (1, 8, [1]) > = (11, 30, [1])
< (6, 17, [1]), (5, 5, [1]), (5, 20, [1, 0]) > = (15, 42, [1])
< (6, 17, [1]), (5, 5, [1]), (5, 20, [1, 1]) > = (15, 42, [1])
< (6, 17, [1]), (5, 14, [1]), (2, 20, [1]) > = (12, 51, [1])
< (6, 17, [1]), (5, 14, [1]), (4, 13, [1]) > = (14, 44, [1])
< (6, 17, [1]), (5, 14, [1]), (4, 22, [0, 1]) > = (14, 53, [1])
< (6, 17, [1]), (5, 14, [1]), (4, 22, [1, 1]) > = (14, 53, [1])
< (6, 17, [1]), (5, 14, [1]), (6, 23, [1]) > = (16, 54, [1])
< (6, 17, [1]), (5, 14, [1]), (6, 29, [1]) > = (16, 60, [1])
< (6, 17, [1]), (5, 16, [1]), (2, 4, [1]) > = (12, 37, [1])
< (6, 17, [1]), (5, 16, [1]), (2, 9, [1]) > = (12, 42, [1])
< (6, 17, [1]), (5, 16, [1]), (6, 16, [1]) > = (16, 49, [1])
< (6, 17, [1]), (5, 20, [1, 0]), (1, 4, [1]) > = (11, 41, [1])
< (6, 17, [1]), (5, 20, [1, 0]), (1, 8, [1]) > = (11, 45, [1])
< (6, 17, [1]), (5, 20, [1, 0]), (2, 8, [1]) > = (12, 45, [1])
< (6, 17, [1]), (5, 20, [1, 0]), (2, 9, [1]) > = (12, 46, [1])
< (6, 17, [1]), (5, 20, [0, 1]), (1, 4, [1]) > = (11, 41, [1])
< (6, 17, [1]), (5, 20, [0, 1]), (1, 8, [1]) > = (11, 45, [1])
< (6, 17, [1]), (5, 20, [1, 1]), (2, 8, [1]) > = (12, 45, [1])
< (6, 17, [1]), (5, 20, [1, 1]), (2, 9, [1]) > = (12, 46, [1])
< (6, 17, [1]), (5, 22, [1]), (1, 2, [1]) > = (11, 41, [1])
< (6, 17, [1]), (5, 22, [1]), (2, 9, [1]) > = (12, 48, [1])
< (6, 17, [1]), (5, 22, [1]), (6, 16, [1]) > = (16, 55, [1])
< (6, 17, [1]), (5, 22, [1]), (6, 21, [1]) > = (16, 60, [1])
< (6, 17, [1]), (5, 23, [1]), (1, 1, [1]) > = (11, 41, [1])
< (6, 17, [1]), (5, 23, [1]), (1, 8, [1]) > = (11, 48, [1])
< (6, 17, [1]), (5, 23, [1]), (6, 17, [1]) > = (16, 57, [1])
< (6, 17, [1]), (5, 26, [1]), (5, 5, [1]) > = (15, 48, [1])
< (6, 17, [1]), (5, 29, [1]), (1, 2, [1]) > = (11, 48, [1])
< (6, 17, [1]), (6, 6, [1]), (4, 19, [1]) > = (15, 42, [1])
< (6, 17, [1]), (6, 16, [1]), (3, 11, [1]) > = (14, 44, [1])
< (6, 17, [1]), (6, 17, [1]), (1, 8, [1]) > = (12, 42, [1])
< (6, 17, [1]), (6, 17, [1]), (2, 4, [1]) > = (13, 38, [1])
< (6, 17, [1]), (6, 17, [1]), (2, 10, [1]) > = (13, 44, [0, 1])
< (6, 17, [1]), (6, 17, [1]), (3, 6, [1]) > = (14, 40, [1])
< (6, 17, [1]), (6, 17, [1]), (3, 12, [1]) > = (14, 46, [1])
< (6, 17, [1]), (6, 17, [1]), (4, 13, [1]) > = (15, 47, [1])
< (6, 17, [1]), (6, 17, [1]), (5, 20, [0, 1]) > = (16, 54, [1])
< (6, 17, [1]), (6, 17, [1]), (5, 20, [1, 1]) > = (16, 54, [1])
< (6, 17, [1]), (6, 17, [1]), (5, 23, [1]) > = (16, 57, [1])
< (6, 17, [1]), (6, 17, [1]), (5, 26, [1]) > = (16, 60, [1])
< (6, 17, [1]), (6, 17, [1]), (6, 16, [1]) > = (17, 50, [1])
< (6, 17, [1]), (6, 17, [1]), (6, 22, [1]) > = (17, 56, [1, 0])
< (6, 17, [1]), (6, 21, [1]), (1, 8, [1]) > = (12, 46, [1])
< (6, 17, [1]), (6, 21, [1]), (4, 4, [1]) > = (15, 42, [1])
< (6, 17, [1]), (6, 22, [1]), (2, 4, [1]) > = (13, 43, [1])
< (6, 17, [1]), (6, 22, [1]), (2, 10, [1]) > = (13, 49, [1])
< (6, 17, [1]), (6, 22, [1]), (6, 16, [1]) > = (17, 55, [1])
< (6, 17, [1]), (6, 23, [1]), (1, 2, [1]) > = (12, 42, [1])
< (6, 17, [1]), (6, 23, [1]), (2, 4, [1]) > = (13, 44, [0, 1])
< (6, 17, [1]), (6, 23, [1]), (3, 6, [1]) > = (14, 46, [1])
< (6, 17, [1]), (6, 23, [1]), (5, 14, [1]) > = (16, 54, [1])
< (6, 17, [1]), (6, 23, [1]), (6, 16, [1]) > = (17, 56, [0, 1])
23768 total triples