(100, [(0, 1), (11, 8), (12, 1)])
(100, [(0, 1), (11, 2), (13, 6)])
(100, [(0, 1), (11, 1), (12, 2), (13, 5)])
(99, [(0, 1), (11, 2), (12, 1), (13, 5)])
(99, [(0, 1), (11, 9)])
(98, [(0, 1), (11, 1), (12, 4), (13, 3)])
(98, [(0, 1), (11, 3), (13, 5)])
(98, [(0, 1), (11, 2), (12, 2), (13, 4)])
(97, [(0, 1), (11, 2), (12, 3), (13, 3)])
(97, [(0, 1), (11, 3), (12, 1), (13, 4)])
(96, [(0, 1), (11, 4), (13, 4)])
(96, [(0, 1), (11, 3), (12, 2), (13, 3)])
(95, [(0, 1), (11, 3), (12, 3), (13, 2)])
(95, [(0, 1), (11, 4), (12, 1), (13, 3)])
(94, [(0, 1), (11, 5), (13, 3)])
(94, [(0, 1), (11, 4), (12, 2), (13, 2)])
(93, [(0, 1), (11, 4), (12, 3), (13, 1)])
(93, [(0, 1), (11, 5), (12, 1), (13, 2)])
(92, [(0, 1), (11, 5), (12, 2), (13, 1)])
(92, [(0, 1), (11, 4), (12, 4)])
(92, [(0, 1), (11, 6), (13, 2)])
(91, [(0, 1), (13, 7)])
(91, [(0, 1), (11, 5), (12, 3)])
(91, [(0, 1), (11, 6), (12, 1), (13, 1)])
(90, [(0, 1), (11, 6), (12, 2)])
(90, [(0, 1), (12, 1), (13, 6)])
(90, [(0, 1), (11, 7), (13, 1)])
(89, [(0, 1), (12, 2), (13, 5)])
(89, [(0, 1), (11, 1), (13, 6)])
(89, [(0, 1), (11, 7), (12, 1)])
(88, [(0, 1), (11, 1), (12, 1), (13, 5)])
(88, [(0, 1), (11, 8)])
(87, [(0, 1), (11, 1), (12, 2), (13, 4)])
(87, [(0, 1), (11, 2), (13, 5)])
(86, [(0, 1), (11, 2), (12, 1), (13, 4)])
(86, [(0, 1), (11, 1), (12, 3), (13, 3)])
(85, [(0, 1), (11, 2), (12, 2), (13, 3)])
(85, [(0, 1), (11, 3), (13, 4)])
(84, [(0, 1), (11, 3), (12, 1), (13, 3)])
(84, [(0, 1), (11, 2), (12, 3), (13, 2)])
(83, [(0, 1), (11, 4), (13, 3)])
(83, [(0, 1), (11, 3), (12, 2), (13, 2)])
(82, [(0, 1), (11, 3), (12, 3), (13, 1)])
(82, [(0, 1), (11, 4), (12, 1), (13, 2)])
(81, [(0, 1), (11, 5), (13, 2)])
(81, [(0, 1), (11, 4), (12, 2), (13, 1)])
(80, [(0, 1), (11, 4), (12, 3)])
(80, [(0, 1), (11, 5), (12, 1), (13, 1)])
(79, [(0, 1), (11, 6), (13, 1)])
(79, [(0, 1), (11, 5), (12, 2)])
(78, [(0, 1), (13, 6)])
(78, [(0, 1), (11, 6), (12, 1)])
(77, [(0, 1), (11, 7)])
(77, [(0, 1), (12, 1), (13, 5)])
(76, [(0, 1), (11, 1), (13, 5)])
(76, [(0, 1), (12, 2), (13, 4)])
(75, [(0, 1), (12, 3), (13, 3)])
(75, [(0, 1), (11, 1), (12, 1), (13, 4)])
(74, [(0, 1), (11, 2), (13, 4)])
(74, [(0, 1), (11, 1), (12, 2), (13, 3)])
(73, [(0, 1), (11, 2), (12, 1), (13, 3)])
(73, [(0, 1), (11, 1), (12, 3), (13, 2)])
(72, [(0, 1), (11, 3), (13, 3)])
(72, [(0, 1), (11, 2), (12, 2), (13, 2)])
(71, [(0, 1), (11, 3), (12, 1), (13, 2)])
(70, [(0, 1), (11, 4), (13, 2)])
(70, [(0, 1), (11, 3), (12, 2), (13, 1)])
(69, [(0, 1), (11, 4), (12, 1), (13, 1)])
(69, [(0, 1), (11, 3), (12, 3)])
(68, [(0, 1), (11, 5), (13, 1)])
(68, [(0, 1), (11, 4), (12, 2)])
(67, [(0, 1), (11, 5), (12, 1)])
(66, [(0, 1), (11, 6)])
(65, [(0, 1), (13, 5)])
(64, [(0, 1), (12, 1), (13, 4)])
(63, [(0, 1), (12, 2), (13, 3)])
(63, [(0, 1), (11, 1), (13, 4)])
(62, [(0, 1), (11, 1), (12, 1), (13, 3)])
(61, [(0, 1), (11, 1), (12, 2), (13, 2)])
(61, [(0, 1), (11, 2), (13, 3)])
(60, [(0, 1), (11, 1), (12, 3), (13, 1)])
(60, [(0, 1), (11, 2), (12, 1), (13, 2)])
(59, [(0, 1), (11, 3), (13, 2)])
(59, [(0, 1), (11, 2), (12, 2), (13, 1)])
(58, [(0, 1), (11, 3), (12, 1), (13, 1)])
(57, [(0, 1), (11, 4), (13, 1)])
(57, [(0, 1), (11, 3), (12, 2)])
(56, [(0, 1), (11, 4), (12, 1)])
(55, [(0, 1), (11, 5)])
(52, [(0, 1), (13, 4)])
(51, [(0, 1), (12, 1), (13, 3)])
(50, [(0, 1), (12, 2), (13, 2)])
(50, [(0, 1), (11, 1), (13, 3)])
(49, [(0, 1), (11, 1), (12, 1), (13, 2)])
(49, [(0, 1), (12, 3), (13, 1)])
(48, [(0, 1), (11, 1), (12, 2), (13, 1)])
(48, [(0, 1), (11, 2), (13, 2)])
(47, [(0, 1), (11, 2), (12, 1), (13, 1)])
(47, [(0, 1), (11, 1), (12, 3)])
(46, [(0, 1), (11, 2), (12, 2)])
(46, [(0, 1), (11, 3), (13, 1)])
(45, [(0, 1), (11, 3), (12, 1)])
(44, [(0, 1), (11, 4)])
(39, [(0, 1), (13, 3)])
(38, [(0, 1), (12, 1), (13, 2)])
(37, [(0, 1), (11, 1), (13, 2)])
(37, [(0, 1), (12, 2), (13, 1)])
(36, [(0, 1), (11, 1), (12, 1), (13, 1)])
(36, [(0, 1), (12, 3)])
(35, [(0, 1), (11, 1), (12, 2)])
(35, [(0, 1), (11, 2), (13, 1)])
(34, [(0, 1), (11, 2), (12, 1)])
(33, [(0, 1), (11, 3)])
(26, [(0, 1), (13, 2)])
(25, [(0, 1), (12, 1), (13, 1)])
(24, [(0, 1), (11, 1), (13, 1)])
(24, [(0, 1), (12, 2)])
(23, [(0, 1), (11, 1), (12, 1)])
(22, [(0, 1), (11, 2)])
(13, [(0, 1), (13, 1)])
(12, [(0, 1), (12, 1)])
(11, [(0, 1), (11, 1)])