Re: BUG #8656: Duplicate data violating unique constraints - Mailing list pgsql-bugs

On Thu, Dec 5, 2013 at 1:15 AM, Andres Freund <andres@2ndquadrant.com>wrote:

> It doesn't say anything definitive either way. Do you run with any
> non-default settings? Possibly vacuum_freeze_min_age,
> vacuum_freeze_table_age, autovacuum_freeze_max_age?
>

No, all the vacuum-related stuff is default:

=> select name, setting, source from pg_settings where source <> 'default'
and name like '%vacuum%';
 name | setting | source
------+---------+--------
(0 rows)

And no, the customer hasn't run VACUUM FREEZE.

Could you do:
> SELECT ctid FROM post WHERE rows_re_affected;
> That will spin out a bunch of rows like '(page,item)'.
>

The original data has been deleted, but I did manage to do PITR to a point
that exhibits the issue:

=> with affected_pages as (
  select distinct regexp_replace(ctid::text, '\((\d+),\d+\)', '\1') as page
  from post where id in (select id from post group by id having count(*) >
1)
) select page_header(get_raw_page('post', page::integer)) from
affected_pages;
                 page_header
----------------------------------------------
 (12/1B004250,-1751,1,304,1712,8192,8192,4,0)
 (12/1D1304D8,10886,1,316,1352,8192,8192,4,0)
 (12/BE2BDF8,-12970,0,284,1592,8192,8192,4,0)
 (12/BE2DDE0,1235,0,284,392,8192,8192,4,0)
 (12/BE33218,-7837,0,284,392,8192,8192,4,0)
 (12/BE4CF70,-20573,0,284,392,8192,8192,4,0)
 (12/1D135E78,-8032,1,300,992,8192,8192,4,0)
 (12/BE67610,23108,0,284,872,8192,8192,4,0)
 (12/1D164030,-24596,0,284,392,8192,8192,4,0)
(9 rows)

=> with affected_pages as (
  select distinct regexp_replace(ctid::text, '\((\d+),\d+\)', '\1') as page
  from post where id in (select id from post group by id having count(*) >
1)
) select heap_page_items(get_raw_page('post', page::integer)) from
affected_pages;
                         heap_page_items
-----------------------------------------------------------------
 (1,8072,1,118,18099,0,0,"(28192,1)",12,2306,24,,)
 (2,7952,1,118,18099,80873,13,"(28192,2)",12,6466,24,,)
 (3,7832,1,118,18099,80873,12,"(28192,3)",12,6466,24,,)
 (4,0,3,0,,,,,,,,,)
 (5,0,3,0,,,,,,,,,)
 (6,7712,1,117,224637,224637,12,"(28192,6)",12,10642,24,,)
 (7,0,3,0,,,,,,,,,)
 (8,7592,1,117,225753,209014,3,"(28192,66)",24588,14658,24,,)
 (9,0,3,0,,,,,,,,,)
 (10,7472,1,118,225523,208938,1,"(28192,70)",24588,14658,24,,)
 (11,0,3,0,,,,,,,,,)
 (12,7352,1,119,224663,208645,2,"(28192,67)",24588,14658,24,,)
 (13,0,3,0,,,,,,,,,)
 (14,7232,1,117,224832,224832,100,"(28192,14)",12,10642,24,,)
 (15,0,3,0,,,,,,,,,)
 (16,7112,1,117,224832,208723,125,"(28192,68)",24588,14658,24,,)
 (17,0,3,0,,,,,,,,,)
 (18,6992,1,119,224626,214180,9,"(28192,69)",24588,14658,24,,)
 (19,0,3,0,,,,,,,,,)
 (20,6872,1,118,224626,214180,8,"(28192,68)",24588,14658,24,,)
 (21,0,3,0,,,,,,,,,)
 (22,6752,1,118,225505,208929,3,"(28192,69)",24588,14658,24,,)
 (23,0,3,0,,,,,,,,,)
 (24,6632,1,119,232260,269002,0,"(28192,70)",24588,14658,24,,)
 (25,6512,1,118,18099,0,0,"(28192,25)",12,2306,24,,)
 (26,6392,1,118,18099,0,0,"(28192,26)",12,2306,24,,)
 (27,6272,1,118,18099,0,0,"(28192,27)",12,2306,24,,)
 (28,6152,1,118,18099,0,0,"(28192,28)",12,2306,24,,)
 (29,6032,1,118,18099,0,0,"(28192,29)",12,2306,24,,)
 (30,5912,1,118,18099,0,0,"(28192,30)",12,2306,24,,)
 (31,5792,1,119,18099,0,0,"(28192,31)",12,2306,24,,)
 (32,5672,1,118,18099,0,0,"(28192,32)",12,2306,24,,)
 (33,5552,1,118,18099,0,0,"(28192,33)",12,2306,24,,)
 (34,5432,1,118,18099,0,0,"(28192,34)",12,2306,24,,)
 (35,5312,1,119,18099,0,0,"(28192,35)",12,2306,24,,)
 (36,5192,1,118,18099,0,0,"(28192,36)",12,2306,24,,)
 (37,5072,1,118,18099,0,0,"(28192,37)",12,2306,24,,)
 (38,4952,1,118,18099,0,0,"(28192,38)",12,2306,24,,)
 (39,4832,1,118,18099,0,0,"(28192,39)",12,2306,24,,)
 (40,4712,1,118,18099,0,0,"(28192,40)",12,2306,24,,)
 (41,4592,1,118,18099,0,0,"(28192,41)",12,2306,24,,)
 (42,4472,1,118,18099,0,0,"(28192,42)",12,2306,24,,)
 (43,4352,1,118,18099,0,0,"(28192,43)",12,2306,24,,)
 (44,4232,1,118,18099,0,0,"(28192,44)",12,2306,24,,)
 (45,4112,1,118,18099,0,0,"(28192,45)",12,2306,24,,)
 (46,3992,1,118,18099,0,0,"(28192,46)",12,2306,24,,)
 (47,3872,1,118,18099,0,0,"(28192,47)",12,2306,24,,)
 (48,3752,1,118,18099,0,0,"(28192,48)",12,2306,24,,)
 (49,3632,1,118,18099,0,0,"(28192,49)",12,2306,24,,)
 (50,3512,1,118,18099,0,0,"(28192,50)",12,2306,24,,)
 (51,3392,1,119,18099,0,0,"(28192,51)",12,2306,24,,)
 (52,3272,1,118,18099,0,0,"(28192,52)",12,2306,24,,)
 (53,3152,1,118,18099,0,0,"(28192,53)",12,2306,24,,)
 (54,3032,1,118,18099,0,0,"(28192,54)",12,2306,24,,)
 (55,2912,1,118,18099,0,0,"(28192,55)",12,2306,24,,)
 (56,2792,1,119,18099,0,0,"(28192,56)",12,2306,24,,)
 (57,2672,1,118,18099,0,0,"(28192,57)",12,2306,24,,)
 (58,2552,1,118,18099,0,0,"(28192,58)",12,2306,24,,)
 (59,2432,1,118,18099,0,0,"(28192,59)",12,2306,24,,)
 (60,2312,1,118,18099,0,0,"(28192,60)",12,2306,24,,)
 (61,2192,1,118,18099,0,0,"(28192,61)",12,2306,24,,)
 (62,2072,1,118,18099,0,0,"(28192,62)",12,2306,24,,)
 (63,1952,1,118,18099,0,0,"(28192,63)",12,2306,24,,)
 (64,1832,1,118,18099,0,0,"(28192,64)",12,2306,24,,)
 (65,1712,1,118,18099,0,0,"(28192,65)",12,2306,24,,)
 (66,0,0,0,,,,,,,,,)
 (67,0,0,0,,,,,,,,,)
 (68,0,0,0,,,,,,,,,)
 (69,0,0,0,,,,,,,,,)
 (70,0,0,0,,,,,,,,,)
 (1,8072,1,119,224626,214180,11,"(30065,2)",8204,14658,24,,)
 (2,7952,1,118,224626,214180,10,"(30065,1)",8204,14658,24,,)
 (3,7832,1,119,224626,214180,9,"(28194,73)",24588,14658,24,,)
 (4,7712,1,118,224626,214180,8,"(28194,72)",24588,14658,24,,)
 (5,7592,1,118,224626,214180,7,"(28194,71)",24588,14658,24,,)
 (6,7472,1,118,224626,214180,6,"(28194,70)",24588,14658,24,,)
 (7,7352,1,118,224626,214180,5,"(28194,69)",24588,14658,24,,)
 (8,7232,1,118,224626,214180,4,"(28194,68)",24588,6466,24,,)
 (9,7112,1,118,224626,214180,3,"(28194,67)",24588,6466,24,,)
 (10,6992,1,119,224626,214180,2,"(28194,66)",24588,6466,24,,)
 (11,6872,1,119,18099,0,0,"(28194,11)",12,2306,24,,)
 (12,6752,1,117,18099,0,0,"(28194,12)",12,2306,24,,)
 (13,6632,1,118,18099,0,0,"(28194,13)",12,2306,24,,)
 (14,6512,1,118,18099,0,0,"(28194,14)",12,2306,24,,)
 (15,6392,1,118,18099,0,0,"(28194,15)",12,2306,24,,)
 (16,6272,1,117,18099,0,0,"(28194,16)",12,2306,24,,)
 (17,6152,1,117,18099,0,0,"(28194,17)",12,2306,24,,)
 (18,6032,1,118,18099,0,0,"(28194,18)",12,2306,24,,)
 (19,5912,1,118,18099,0,0,"(28194,19)",12,2306,24,,)
 (20,5792,1,118,18099,0,0,"(28194,20)",12,2306,24,,)
 (21,5672,1,119,18099,0,0,"(28194,21)",12,2306,24,,)
 (22,5552,1,118,18099,0,0,"(28194,22)",12,2306,24,,)
 (23,5432,1,119,18099,0,0,"(28194,23)",12,2306,24,,)
 (24,5312,1,118,18099,0,0,"(28194,24)",12,2306,24,,)
 (25,5192,1,118,18099,0,0,"(28194,25)",12,2306,24,,)
 (26,5072,1,118,18099,0,0,"(28194,26)",12,2306,24,,)
 (27,4952,1,119,18099,0,0,"(28194,27)",12,2306,24,,)
 (28,4832,1,118,18099,0,0,"(28194,28)",12,2306,24,,)
 (29,4712,1,118,18099,0,0,"(28194,29)",12,2306,24,,)
 (30,4592,1,119,18099,0,0,"(28194,30)",12,2306,24,,)
 (31,4472,1,117,18099,0,0,"(28194,31)",12,2306,24,,)
 (32,4352,1,119,18099,0,0,"(28194,32)",12,2306,24,,)
 (33,4232,1,119,18099,0,0,"(28194,33)",12,2306,24,,)
 (34,4112,1,118,18099,0,0,"(28194,34)",12,2306,24,,)
 (35,3992,1,119,18099,0,0,"(28194,35)",12,2306,24,,)
 (36,3872,1,117,18099,0,0,"(28194,36)",12,2306,24,,)
 (37,3752,1,119,18099,0,0,"(28194,37)",12,2306,24,,)
 (38,3632,1,118,18099,0,0,"(28194,38)",12,2306,24,,)
 (39,3512,1,118,18099,0,0,"(28194,39)",12,2306,24,,)
 (40,3392,1,118,18099,0,0,"(28194,40)",12,2306,24,,)
 (41,0,3,0,,,,,,,,,)
 (42,0,3,0,,,,,,,,,)
 (43,0,3,0,,,,,,,,,)
 (44,0,3,0,,,,,,,,,)
 (45,0,3,0,,,,,,,,,)
 (46,0,3,0,,,,,,,,,)
 (47,0,3,0,,,,,,,,,)
 (48,0,3,0,,,,,,,,,)
 (49,3272,1,118,18099,0,0,"(28194,49)",12,2306,24,,)
 (50,3152,1,118,18099,0,0,"(28194,50)",12,2306,24,,)
 (51,3032,1,118,18099,0,0,"(28194,51)",12,2306,24,,)
 (52,2912,1,118,18099,0,0,"(28194,52)",12,2306,24,,)
 (53,2792,1,118,18099,0,0,"(28194,53)",12,2306,24,,)
 (54,2672,1,118,18099,0,0,"(28194,54)",12,2306,24,,)
 (55,2552,1,118,18099,0,0,"(28194,55)",12,2306,24,,)
 (56,2432,1,118,18099,0,0,"(28194,56)",12,2306,24,,)
 (57,2312,1,118,18099,0,0,"(28194,57)",12,2306,24,,)
 (58,2192,1,118,18099,0,0,"(28194,58)",12,2306,24,,)
 (59,2072,1,118,18099,0,0,"(28194,59)",12,2306,24,,)
 (60,1952,1,119,18099,0,0,"(28194,60)",12,2306,24,,)
 (61,1832,1,118,18099,0,0,"(28194,61)",12,2306,24,,)
 (62,1712,1,118,18099,0,0,"(28194,62)",12,2306,24,,)
 (63,1592,1,118,18099,0,0,"(28194,63)",12,2306,24,,)
 (64,1472,1,118,18099,0,0,"(28194,64)",12,2306,24,,)
 (65,1352,1,118,18099,0,0,"(28194,65)",12,2306,24,,)
 (66,0,0,0,,,,,,,,,)
 (67,0,0,0,,,,,,,,,)
 (68,0,0,0,,,,,,,,,)
 (69,0,0,0,,,,,,,,,)
 (70,0,0,0,,,,,,,,,)
 (71,0,0,0,,,,,,,,,)
 (72,0,0,0,,,,,,,,,)
 (73,0,0,0,,,,,,,,,)
 (1,8072,1,117,18099,0,0,"(28203,1)",12,2306,24,,)
 (2,7952,1,117,18099,0,0,"(28203,2)",12,2306,24,,)
 (3,7832,1,118,18099,0,0,"(28203,3)",12,2306,24,,)
 (4,7712,1,117,224637,224637,14,"(28203,4)",12,10642,24,,)
 (5,7592,1,118,224637,224637,13,"(28203,5)",12,10642,24,,)
 (6,7472,1,117,224637,224637,12,"(28203,6)",12,10642,24,,)
 (7,7352,1,117,224637,224637,11,"(28203,7)",12,10642,24,,)
 (8,7232,1,117,224637,224637,10,"(28203,8)",12,10642,24,,)
 (9,0,3,0,,,,,,,,,)
 (10,0,3,0,,,,,,,,,)
 (11,0,3,0,,,,,,,,,)
 (12,0,3,0,,,,,,,,,)
 (13,0,3,0,,,,,,,,,)
 (14,0,3,0,,,,,,,,,)
 (15,0,3,0,,,,,,,,,)
 (16,0,3,0,,,,,,,,,)
 (17,0,3,0,,,,,,,,,)
 (18,0,3,0,,,,,,,,,)
 (19,7112,1,117,18099,0,0,"(28203,19)",12,2306,24,,)
 (20,6992,1,117,18099,0,0,"(28203,20)",12,2306,24,,)
 (21,6872,1,117,18099,0,0,"(28203,21)",12,2306,24,,)
 (22,6752,1,118,18099,0,0,"(28203,22)",12,2306,24,,)
 (23,6632,1,118,18099,0,0,"(28203,23)",12,2306,24,,)
 (24,6512,1,118,18099,0,0,"(28203,24)",12,2306,24,,)
 (25,6392,1,117,18099,0,0,"(28203,25)",12,2306,24,,)
 (26,6272,1,117,18099,0,0,"(28203,26)",12,2306,24,,)
 (27,6152,1,119,18099,0,0,"(28203,27)",12,2306,24,,)
 (28,6032,1,117,18099,0,0,"(28203,28)",12,2306,24,,)
 (29,5912,1,119,18099,0,0,"(28203,29)",12,2306,24,,)
 (30,5792,1,117,18099,0,0,"(28203,30)",12,2306,24,,)
 (31,5672,1,119,18099,0,0,"(28203,31)",12,2306,24,,)
 (32,5552,1,117,18099,0,0,"(28203,32)",12,2306,24,,)
 (33,5432,1,119,18099,0,0,"(28203,33)",12,2306,24,,)
 (34,5312,1,117,18099,0,0,"(28203,34)",12,2306,24,,)
 (35,5192,1,117,18099,0,0,"(28203,35)",12,2306,24,,)
 (36,5072,1,117,18099,0,0,"(28203,36)",12,2306,24,,)
 (37,4952,1,119,18099,0,0,"(28203,37)",12,2306,24,,)
 (38,4832,1,117,18099,0,0,"(28203,38)",12,2306,24,,)
 (39,4712,1,117,18099,0,0,"(28203,39)",12,2306,24,,)
 (40,4592,1,117,18099,0,0,"(28203,40)",12,2306,24,,)
 (41,4472,1,119,18099,0,0,"(28203,41)",12,2306,24,,)
 (42,4352,1,117,18099,0,0,"(28203,42)",12,2306,24,,)
 (43,4232,1,119,18099,0,0,"(28203,43)",12,2306,24,,)
 (44,4112,1,119,18099,0,0,"(28203,44)",12,2306,24,,)
 (45,3992,1,119,18099,0,0,"(28203,45)",12,2306,24,,)
 (46,3872,1,118,18099,0,0,"(28203,46)",12,2306,24,,)
 (47,3752,1,118,18099,0,0,"(28203,47)",12,2306,24,,)
 (48,3632,1,118,18099,0,0,"(28203,48)",12,2306,24,,)
 (49,3512,1,118,18099,0,0,"(28203,49)",12,2306,24,,)
 (50,3392,1,118,18099,0,0,"(28203,50)",12,2306,24,,)
 (51,3272,1,118,18099,0,0,"(28203,51)",12,2306,24,,)
 (52,3152,1,118,18099,0,0,"(28203,52)",12,2306,24,,)
 (53,3032,1,118,18099,0,0,"(28203,53)",12,2306,24,,)
 (54,2912,1,118,18099,0,0,"(28203,54)",12,2306,24,,)
 (55,2792,1,118,18099,0,0,"(28203,55)",12,2306,24,,)
 (56,2672,1,118,18099,0,0,"(28203,56)",12,2306,24,,)
 (57,2552,1,118,18099,0,0,"(28203,57)",12,2306,24,,)
 (58,2432,1,117,18099,0,0,"(28203,58)",12,2306,24,,)
 (59,2312,1,117,18099,0,0,"(28203,59)",12,2306,24,,)
 (60,2192,1,118,18099,0,0,"(28203,60)",12,2306,24,,)
 (61,2072,1,117,18099,0,0,"(28203,61)",12,2306,24,,)
 (62,1952,1,119,18099,0,0,"(28203,62)",12,2306,24,,)
 (63,1832,1,119,18099,0,0,"(28203,63)",12,2306,24,,)
 (64,1712,1,119,18099,0,0,"(28203,64)",12,2306,24,,)
 (65,1592,1,117,18099,0,0,"(28203,65)",12,2306,24,,)
 (1,8072,1,117,18099,0,0,"(28204,1)",12,2306,24,,)
 (2,7952,1,117,18099,0,0,"(28204,2)",12,2306,24,,)
 (3,7832,1,117,18099,0,0,"(28204,3)",12,2306,24,,)
 (4,7712,1,119,18099,0,0,"(28204,4)",12,2306,24,,)
 (5,7592,1,119,18099,0,0,"(28204,5)",12,2306,24,,)
 (6,7472,1,117,18099,0,0,"(28204,6)",12,2306,24,,)
 (7,7352,1,118,18099,0,0,"(28204,7)",12,2306,24,,)
 (8,7232,1,118,18099,0,0,"(28204,8)",12,2306,24,,)
 (9,7112,1,119,18099,0,0,"(28204,9)",12,2306,24,,)
 (10,6992,1,117,18099,0,0,"(28204,10)",12,2306,24,,)
 (11,6872,1,117,18099,0,0,"(28204,11)",12,2306,24,,)
 (12,6752,1,117,18099,0,0,"(28204,12)",12,2306,24,,)
 (13,6632,1,117,18099,0,0,"(28204,13)",12,2306,24,,)
 (14,6512,1,117,18099,0,0,"(28204,14)",12,2306,24,,)
 (15,6392,1,119,18099,0,0,"(28204,15)",12,2306,24,,)
 (16,6272,1,119,18099,0,0,"(28204,16)",12,2306,24,,)
 (17,6152,1,119,18099,0,0,"(28204,17)",12,2306,24,,)
 (18,6032,1,117,18099,0,0,"(28204,18)",12,2306,24,,)
 (19,5912,1,119,18099,0,0,"(28204,19)",12,2306,24,,)
 (20,5792,1,117,18099,0,0,"(28204,20)",12,2306,24,,)
 (21,5672,1,117,18099,0,0,"(28204,21)",12,2306,24,,)
 (22,5552,1,117,18099,0,0,"(28204,22)",12,2306,24,,)
 (23,5432,1,117,18099,0,0,"(28204,23)",12,2306,24,,)
 (24,5312,1,119,18099,0,0,"(28204,24)",12,2306,24,,)
 (25,5192,1,117,18099,0,0,"(28204,25)",12,2306,24,,)
 (26,5072,1,119,224663,224663,8,"(28204,26)",12,10642,24,,)
 (27,4952,1,119,224663,224663,7,"(28204,27)",12,10642,24,,)
 (28,4832,1,119,224663,224663,6,"(28204,28)",12,10642,24,,)
 (29,4712,1,118,224663,224663,5,"(28204,29)",12,10642,24,,)
 (30,4592,1,117,224663,224663,4,"(28204,30)",12,10642,24,,)
 (31,4472,1,119,224663,224663,3,"(28204,31)",12,10642,24,,)
 (32,4352,1,119,224663,208645,2,"(29998,54)",8204,12610,24,,)
 (33,4232,1,119,224663,208645,1,"(29998,53)",8204,12610,24,,)
 (34,4112,1,119,224663,208645,0,"(29998,52)",8204,12610,24,,)
 (35,3992,1,117,18099,0,0,"(28204,35)",12,2306,24,,)
 (36,3872,1,117,18099,0,0,"(28204,36)",12,2306,24,,)
 (37,3752,1,117,18099,0,0,"(28204,37)",12,2306,24,,)
 (38,3632,1,117,18099,0,0,"(28204,38)",12,2306,24,,)
 (39,3512,1,117,18099,0,0,"(28204,39)",12,2306,24,,)
 (40,3392,1,117,18099,0,0,"(28204,40)",12,2306,24,,)
 (41,3272,1,117,18099,0,0,"(28204,41)",12,2306,24,,)
 (42,3152,1,117,18099,0,0,"(28204,42)",12,2306,24,,)
 (43,3032,1,117,18099,0,0,"(28204,43)",12,2306,24,,)
 (44,2912,1,117,18099,0,0,"(28204,44)",12,2306,24,,)
 (45,2792,1,117,18099,0,0,"(28204,45)",12,2306,24,,)
 (46,2672,1,117,18099,0,0,"(28204,46)",12,2306,24,,)
 (47,2552,1,117,18099,0,0,"(28204,47)",12,2306,24,,)
 (48,2432,1,117,18099,0,0,"(28204,48)",12,2306,24,,)
 (49,2312,1,117,18099,0,0,"(28204,49)",12,2306,24,,)
 (50,2192,1,117,18099,0,0,"(28204,50)",12,2306,24,,)
 (51,2072,1,117,18099,0,0,"(28204,51)",12,2306,24,,)
 (52,1952,1,117,18099,0,0,"(28204,52)",12,2306,24,,)
 (53,1832,1,119,18099,0,0,"(28204,53)",12,2306,24,,)
 (54,1712,1,119,18099,0,0,"(28204,54)",12,2306,24,,)
 (55,1592,1,117,18099,0,0,"(28204,55)",12,2306,24,,)
 (56,1472,1,117,18099,0,0,"(28204,56)",12,2306,24,,)
 (57,1352,1,117,18099,0,0,"(28204,57)",12,2306,24,,)
 (58,1232,1,117,18099,0,0,"(28204,58)",12,2306,24,,)
 (59,1112,1,117,18099,0,0,"(28204,59)",12,2306,24,,)
 (60,992,1,117,18099,0,0,"(28204,60)",12,2306,24,,)
 (61,872,1,117,18099,0,0,"(28204,61)",12,2306,24,,)
 (62,752,1,117,18099,0,0,"(28204,62)",12,2306,24,,)
 (63,632,1,117,18099,0,0,"(28204,63)",12,2306,24,,)
 (64,512,1,117,18099,0,0,"(28204,64)",12,2306,24,,)
 (65,392,1,117,18099,0,0,"(28204,65)",12,2306,24,,)
 (1,8072,1,117,224832,224832,105,"(28281,1)",12,10642,24,,)
 (2,7952,1,117,224832,224832,104,"(28281,2)",12,10642,24,,)
 (3,7832,1,119,224832,224832,103,"(28281,3)",12,10642,24,,)
 (4,7712,1,117,224832,224832,102,"(28281,4)",12,10642,24,,)
 (5,7592,1,117,224832,224832,101,"(28281,5)",12,10642,24,,)
 (6,7472,1,117,224832,224832,100,"(28281,6)",12,10642,24,,)
 (7,7352,1,117,224832,224832,99,"(28281,7)",12,10642,24,,)
 (8,7232,1,117,224832,224832,98,"(28281,8)",12,10642,24,,)
 (9,7112,1,117,224832,224832,97,"(28281,9)",12,10642,24,,)
 (10,6992,1,119,224832,224832,96,"(28281,10)",12,10642,24,,)
 (11,6872,1,117,224832,224832,95,"(28281,11)",12,10642,24,,)
 (12,6752,1,117,224832,224832,94,"(28281,12)",12,10642,24,,)
 (13,6632,1,117,224832,224832,93,"(28281,13)",12,10642,24,,)
 (14,6512,1,117,224832,224832,92,"(28281,14)",12,10642,24,,)
 (15,6392,1,119,224832,224832,91,"(28281,15)",12,10642,24,,)
 (16,6272,1,117,224832,224832,90,"(28281,16)",12,10642,24,,)
 (17,6152,1,117,224832,224832,89,"(28281,17)",12,10642,24,,)
 (18,6032,1,117,224832,224832,88,"(28281,18)",12,10642,24,,)
 (19,5912,1,119,224832,224832,87,"(28281,19)",12,10642,24,,)
 (20,5792,1,117,224832,224832,86,"(28281,20)",12,10642,24,,)
 (21,5672,1,117,224832,224832,85,"(28281,21)",12,10642,24,,)
 (22,5552,1,117,224832,224832,84,"(28281,22)",12,10642,24,,)
 (23,5432,1,117,224832,224832,83,"(28281,23)",12,10642,24,,)
 (24,5312,1,117,224832,224832,82,"(28281,24)",12,10642,24,,)
 (25,5192,1,117,224832,224832,81,"(28281,25)",12,10642,24,,)
 (26,5072,1,117,224832,224832,80,"(28281,26)",12,10642,24,,)
 (27,4952,1,117,224832,224832,79,"(28281,27)",12,10642,24,,)
 (28,4832,1,117,224832,224832,78,"(28281,28)",12,10642,24,,)
 (29,4712,1,117,224832,224832,77,"(28281,29)",12,10642,24,,)
 (30,4592,1,117,224832,208723,125,"(30008,58)",8204,12610,24,,)
 (31,4472,1,117,224832,208723,124,"(30008,57)",8204,12610,24,,)
 (32,4352,1,117,224832,208723,123,"(30008,56)",8204,12610,24,,)
 (33,4232,1,117,224832,208723,122,"(30008,55)",8204,12610,24,,)
 (34,4112,1,117,224832,208723,121,"(30008,54)",8204,12610,24,,)
 (35,3992,1,119,224832,208723,120,"(30008,53)",8204,12610,24,,)
 (36,3872,1,117,224832,208723,119,"(30008,52)",8204,12610,24,,)
 (37,3752,1,117,224832,208723,118,"(30008,51)",8204,12610,24,,)
 (38,3632,1,118,224832,208723,117,"(30008,50)",8204,12610,24,,)
 (39,3512,1,117,224832,208723,116,"(30008,49)",8204,12610,24,,)
 (40,3392,1,117,224832,208723,115,"(30008,48)",8204,12610,24,,)
 (41,3272,1,117,224832,208723,114,"(30008,47)",8204,12610,24,,)
 (42,3152,1,117,224832,208723,113,"(30008,46)",8204,12610,24,,)
 (43,3032,1,117,224832,208723,112,"(30008,45)",8204,12610,24,,)
 (44,2912,1,117,224832,208723,111,"(30008,44)",8204,12610,24,,)
 (45,2792,1,117,224832,208723,110,"(30008,43)",8204,12610,24,,)
 (46,2672,1,117,224832,208723,109,"(30008,42)",8204,12610,24,,)
 (47,2552,1,117,224832,208723,108,"(30008,41)",8204,12610,24,,)
 (48,2432,1,117,224832,208723,107,"(30008,40)",8204,12610,24,,)
 (49,2312,1,117,224832,208723,106,"(30008,39)",8204,12610,24,,)
 (50,2192,1,117,224832,208723,105,"(30008,38)",8204,12610,24,,)
 (51,2072,1,117,224832,208723,104,"(30008,37)",8204,12610,24,,)
 (52,1952,1,117,224832,208723,103,"(30008,36)",8204,12610,24,,)
 (53,1832,1,117,224832,208723,102,"(30008,35)",8204,12610,24,,)
 (54,1712,1,117,224832,208723,101,"(30008,34)",8204,12610,24,,)
 (55,1592,1,119,224832,208723,100,"(30008,33)",8204,12610,24,,)
 (56,1472,1,117,224832,208723,99,"(30008,32)",8204,12610,24,,)
 (57,1352,1,117,224832,208723,98,"(30008,31)",8204,12610,24,,)
 (58,1232,1,117,224832,208723,97,"(30008,30)",8204,12610,24,,)
 (59,1112,1,119,224832,208723,96,"(30008,29)",8204,12610,24,,)
 (60,992,1,117,224832,208723,95,"(30008,28)",8204,12610,24,,)
 (61,872,1,117,224832,208723,94,"(30008,27)",8204,12610,24,,)
 (62,752,1,117,224832,208723,93,"(30008,26)",8204,12610,24,,)
 (63,632,1,117,224832,208723,92,"(30008,25)",8204,12610,24,,)
 (64,512,1,117,224832,208723,91,"(30008,24)",8204,12610,24,,)
 (65,392,1,117,224832,208723,90,"(30008,23)",8204,12610,24,,)
 (1,8072,1,118,18099,0,0,"(28390,1)",12,2306,24,,)
 (2,7952,1,118,18099,0,0,"(28390,2)",12,2306,24,,)
 (3,7832,1,118,18099,0,0,"(28390,3)",12,2306,24,,)
 (4,7712,1,118,18099,0,0,"(28390,4)",12,2306,24,,)
 (5,7592,1,118,18099,0,0,"(28390,5)",12,2306,24,,)
 (6,7472,1,118,18099,0,0,"(28390,6)",12,2306,24,,)
 (7,7352,1,118,18099,0,0,"(28390,7)",12,2306,24,,)
 (8,7232,1,118,18099,0,0,"(28390,8)",12,2306,24,,)
 (9,7112,1,118,18099,0,0,"(28390,9)",12,2306,24,,)
 (10,6992,1,118,18099,0,0,"(28390,10)",12,2306,24,,)
 (11,6872,1,119,18099,0,0,"(28390,11)",12,2306,24,,)
 (12,6752,1,118,225505,225505,10,"(28390,12)",12,10642,24,,)
 (13,6632,1,118,225505,225505,9,"(28390,13)",12,10642,24,,)
 (14,6512,1,118,225505,225505,8,"(28390,14)",12,10642,24,,)
 (15,6392,1,118,225505,225505,7,"(28390,15)",12,10642,24,,)
 (16,6272,1,118,225505,225505,6,"(28390,16)",12,10642,24,,)
 (17,6152,1,118,225505,225505,5,"(28390,17)",12,10642,24,,)
 (18,6032,1,119,225505,225505,4,"(28390,18)",12,10642,24,,)
 (19,5912,1,118,225505,208929,3,"(29994,36)",8204,12610,24,,)
 (20,5792,1,118,225505,208929,2,"(29994,35)",8204,12610,24,,)
 (21,5672,1,118,225505,208929,1,"(29994,34)",8204,12610,24,,)
 (22,5552,1,118,225505,208929,0,"(29994,33)",8204,12610,24,,)
 (23,5432,1,118,18099,0,0,"(28390,23)",12,2306,24,,)
 (24,5312,1,118,18099,0,0,"(28390,24)",12,2306,24,,)
 (25,5192,1,118,18099,0,0,"(28390,25)",12,2306,24,,)
 (26,5072,1,118,18099,0,0,"(28390,26)",12,2306,24,,)
 (27,4952,1,118,18099,0,0,"(28390,27)",12,2306,24,,)
 (28,4832,1,118,18099,0,0,"(28390,28)",12,2306,24,,)
 (29,4712,1,118,18099,0,0,"(28390,29)",12,2306,24,,)
 (30,4592,1,118,18099,0,0,"(28390,30)",12,2306,24,,)
 (31,4472,1,118,18099,0,0,"(28390,31)",12,2306,24,,)
 (32,4352,1,118,18099,0,0,"(28390,32)",12,2306,24,,)
 (33,4232,1,117,18099,0,0,"(28390,33)",12,2306,24,,)
 (34,4112,1,118,18099,0,0,"(28390,34)",12,2306,24,,)
 (35,3992,1,118,18099,0,0,"(28390,35)",12,2306,24,,)
 (36,3872,1,118,18099,0,0,"(28390,36)",12,2306,24,,)
 (37,3752,1,119,18099,0,0,"(28390,37)",12,2306,24,,)
 (38,3632,1,118,18099,0,0,"(28390,38)",12,2306,24,,)
 (39,3512,1,117,18099,0,0,"(28390,39)",12,2306,24,,)
 (40,3392,1,118,18099,0,0,"(28390,40)",12,2306,24,,)
 (41,3272,1,118,18099,0,0,"(28390,41)",12,2306,24,,)
 (42,3152,1,117,18099,0,0,"(28390,42)",12,2306,24,,)
 (43,3032,1,117,18099,0,0,"(28390,43)",12,2306,24,,)
 (44,2912,1,118,18099,0,0,"(28390,44)",12,2306,24,,)
 (45,2792,1,118,18099,0,0,"(28390,45)",12,2306,24,,)
 (46,2672,1,118,18099,0,0,"(28390,46)",12,2306,24,,)
 (47,2552,1,119,18099,0,0,"(28390,47)",12,2306,24,,)
 (48,2432,1,117,18099,0,0,"(28390,48)",12,2306,24,,)
 (49,2312,1,118,18099,0,0,"(28390,49)",12,2306,24,,)
 (50,2192,1,117,18099,0,0,"(28390,50)",12,2306,24,,)
 (51,2072,1,118,18099,0,0,"(28390,51)",12,2306,24,,)
 (52,1952,1,118,18099,0,0,"(28390,52)",12,2306,24,,)
 (53,1832,1,117,18099,0,0,"(28390,53)",12,2306,24,,)
 (54,1712,1,118,18099,0,0,"(28390,54)",12,2306,24,,)
 (55,1592,1,118,18099,0,0,"(28390,55)",12,2306,24,,)
 (56,1472,1,118,18099,0,0,"(28390,56)",12,2306,24,,)
 (57,1352,1,118,18099,0,0,"(28390,57)",12,2306,24,,)
 (58,1232,1,119,18099,0,0,"(28390,58)",12,2306,24,,)
 (59,1112,1,117,18099,0,0,"(28390,59)",12,2306,24,,)
 (60,992,1,118,18099,0,0,"(28390,60)",12,2306,24,,)
 (61,872,1,118,18099,0,0,"(28390,61)",12,2306,24,,)
 (62,752,1,118,18099,0,0,"(28390,62)",12,2306,24,,)
 (63,632,1,118,18099,0,0,"(28390,63)",12,2306,24,,)
 (64,512,1,117,18099,0,0,"(28390,64)",12,2306,24,,)
 (65,392,1,118,18099,0,0,"(28390,65)",12,2306,24,,)
 (1,0,3,0,,,,,,,,,)
 (2,0,3,0,,,,,,,,,)
 (3,0,3,0,,,,,,,,,)
 (4,8072,1,118,18099,0,0,"(28392,4)",12,2306,24,,)
 (5,0,3,0,,,,,,,,,)
 (6,7952,1,118,18099,0,0,"(28392,6)",12,2306,24,,)
 (7,0,3,0,,,,,,,,,)
 (8,7832,1,119,18099,0,0,"(28392,8)",12,2306,24,,)
 (9,7712,1,119,18099,0,0,"(28392,9)",12,2306,24,,)
 (10,7592,1,117,18099,0,0,"(28392,10)",12,2306,24,,)
 (11,7472,1,117,18099,0,0,"(28392,11)",12,2306,24,,)
 (12,7352,1,117,18099,0,0,"(28392,12)",12,2306,24,,)
 (13,7232,1,117,18099,0,0,"(28392,13)",12,2306,24,,)
 (14,7112,1,119,18099,0,0,"(28392,14)",12,2306,24,,)
 (15,6992,1,118,18099,0,0,"(28392,15)",12,2306,24,,)
 (16,6872,1,118,18099,0,0,"(28392,16)",12,2306,24,,)
 (17,6752,1,117,18099,0,0,"(28392,17)",12,2306,24,,)
 (18,6632,1,117,18099,0,0,"(28392,18)",12,2306,24,,)
 (19,6512,1,117,18099,0,0,"(28392,19)",12,2306,24,,)
 (20,6392,1,117,18099,0,0,"(28392,20)",12,2306,24,,)
 (21,6272,1,117,18099,0,0,"(28392,21)",12,2306,24,,)
 (22,6152,1,117,18099,0,0,"(28392,22)",12,2306,24,,)
 (23,6032,1,117,18099,0,0,"(28392,23)",12,2306,24,,)
 (24,5912,1,117,18099,0,0,"(28392,24)",12,2306,24,,)
 (25,66,2,0,,,,,,,,,)
 (26,5792,1,117,18099,0,0,"(28392,26)",12,2306,24,,)
 (27,5672,1,117,18099,0,0,"(28392,27)",12,2306,24,,)
 (28,5552,1,117,18099,0,0,"(28392,28)",12,2306,24,,)
 (29,5432,1,117,18099,0,0,"(28392,29)",12,2306,24,,)
 (30,5312,1,117,18099,0,0,"(28392,30)",12,2306,24,,)
 (31,5192,1,119,18099,0,0,"(28392,31)",12,2306,24,,)
 (32,5072,1,117,18099,0,0,"(28392,32)",12,2306,24,,)
 (33,4952,1,119,18099,0,0,"(28392,33)",12,2306,24,,)
 (34,4832,1,117,18099,0,0,"(28392,34)",12,2306,24,,)
 (35,4712,1,117,18099,0,0,"(28392,35)",12,2306,24,,)
 (36,4592,1,117,18099,0,0,"(28392,36)",12,2306,24,,)
 (37,4472,1,117,18099,0,0,"(28392,37)",12,2306,24,,)
 (38,4352,1,118,18099,0,0,"(28392,38)",12,2306,24,,)
 (39,4232,1,117,18099,0,0,"(28392,39)",12,2306,24,,)
 (40,4112,1,118,18099,0,0,"(28392,40)",12,2306,24,,)
 (41,3992,1,119,18099,0,0,"(28392,41)",12,2306,24,,)
 (42,3872,1,119,225523,208938,2,"(28392,69)",24588,14658,24,,)
 (43,3752,1,118,225523,208938,1,"(28392,68)",24588,14658,24,,)
 (44,3632,1,119,225523,208938,0,"(28392,67)",24588,14658,24,,)
 (45,3512,1,118,18099,0,0,"(28392,45)",12,2306,24,,)
 (46,3392,1,117,18099,0,0,"(28392,46)",12,2306,24,,)
 (47,3272,1,118,18099,0,0,"(28392,47)",12,2306,24,,)
 (48,3152,1,117,18099,0,0,"(28392,48)",12,2306,24,,)
 (49,3032,1,117,18099,0,0,"(28392,49)",12,2306,24,,)
 (50,2912,1,118,18099,0,0,"(28392,50)",12,2306,24,,)
 (51,2792,1,117,18099,0,0,"(28392,51)",12,2306,24,,)
 (52,2672,1,119,18099,0,0,"(28392,52)",12,2306,24,,)
 (53,2552,1,117,18099,0,0,"(28392,53)",12,2306,24,,)
 (54,2432,1,117,18099,0,0,"(28392,54)",12,2306,24,,)
 (55,2312,1,117,18099,0,0,"(28392,55)",12,2306,24,,)
 (56,2192,1,117,18099,0,0,"(28392,56)",12,2306,24,,)
 (57,2072,1,117,18099,0,0,"(28392,57)",12,2306,24,,)
 (58,1952,1,119,18099,0,0,"(28392,58)",12,2306,24,,)
 (59,1832,1,117,18099,0,0,"(28392,59)",12,2306,24,,)
 (60,1712,1,118,18099,0,0,"(28392,60)",12,2306,24,,)
 (61,1592,1,117,18099,0,0,"(28392,61)",12,2306,24,,)
 (62,1472,1,118,18099,0,0,"(28392,62)",12,2306,24,,)
 (63,1352,1,117,18099,0,0,"(28392,63)",12,2306,24,,)
 (64,1232,1,117,18099,0,0,"(28392,64)",12,2306,24,,)
 (65,1112,1,117,18099,0,0,"(28392,65)",12,2306,24,,)
 (66,992,1,118,570583,570583,0,"(28392,66)",32780,10642,24,,)
 (67,0,0,0,,,,,,,,,)
 (68,0,0,0,,,,,,,,,)
 (69,0,0,0,,,,,,,,,)
 (1,8072,1,118,18099,0,0,"(28410,1)",12,2306,24,,)
 (2,7952,1,117,18099,0,0,"(28410,2)",12,2306,24,,)
 (3,7832,1,117,18099,0,0,"(28410,3)",12,2306,24,,)
 (4,7712,1,117,18099,0,0,"(28410,4)",12,2306,24,,)
 (5,7592,1,117,18099,0,0,"(28410,5)",12,2306,24,,)
 (6,7472,1,119,18099,0,0,"(28410,6)",12,2306,24,,)
 (7,7352,1,119,18099,0,0,"(28410,7)",12,2306,24,,)
 (8,7232,1,117,18099,0,0,"(28410,8)",12,2306,24,,)
 (9,7112,1,117,18099,0,0,"(28410,9)",12,2306,24,,)
 (10,6992,1,117,18099,0,0,"(28410,10)",12,2306,24,,)
 (11,6872,1,117,18099,0,0,"(28410,11)",12,2306,24,,)
 (12,6752,1,117,18099,0,0,"(28410,12)",12,2306,24,,)
 (13,6632,1,117,18099,0,0,"(28410,13)",12,2306,24,,)
 (14,6512,1,117,18099,0,0,"(28410,14)",12,2306,24,,)
 (15,6392,1,117,225753,225753,4,"(28410,15)",12,10642,24,,)
 (16,6272,1,117,225753,209014,3,"(30024,41)",8204,12610,24,,)
 (17,6152,1,117,225753,209014,2,"(30024,40)",8204,12610,24,,)
 (18,6032,1,117,225753,209014,1,"(30024,39)",8204,12610,24,,)
 (19,5912,1,117,225753,209014,0,"(30024,38)",8204,12610,24,,)
 (20,5792,1,118,18099,0,0,"(28410,20)",12,2306,24,,)
 (21,5672,1,118,18099,0,0,"(28410,21)",12,2306,24,,)
 (22,5552,1,118,18099,0,0,"(28410,22)",12,2306,24,,)
 (23,5432,1,118,18099,0,0,"(28410,23)",12,2306,24,,)
 (24,5312,1,118,18099,0,0,"(28410,24)",12,2306,24,,)
 (25,5192,1,118,18099,0,0,"(28410,25)",12,2306,24,,)
 (26,5072,1,119,18099,0,0,"(28410,26)",12,2306,24,,)
 (27,4952,1,118,18099,0,0,"(28410,27)",12,2306,24,,)
 (28,4832,1,118,18099,0,0,"(28410,28)",12,2306,24,,)
 (29,4712,1,118,18099,0,0,"(28410,29)",12,2306,24,,)
 (30,4592,1,119,18099,0,0,"(28410,30)",12,2306,24,,)
 (31,4472,1,118,18099,0,0,"(28410,31)",12,2306,24,,)
 (32,4352,1,118,18099,0,0,"(28410,32)",12,2306,24,,)
 (33,4232,1,118,18099,0,0,"(28410,33)",12,2306,24,,)
 (34,4112,1,118,18099,0,0,"(28410,34)",12,2306,24,,)
 (35,3992,1,117,18099,0,0,"(28410,35)",12,2306,24,,)
 (36,3872,1,118,18099,0,0,"(28410,36)",12,2306,24,,)
 (37,3752,1,118,18099,0,0,"(28410,37)",12,2306,24,,)
 (38,3632,1,118,18099,0,0,"(28410,38)",12,2306,24,,)
 (39,3512,1,117,18099,0,0,"(28410,39)",12,2306,24,,)
 (40,3392,1,118,18099,0,0,"(28410,40)",12,2306,24,,)
 (41,3272,1,118,18099,0,0,"(28410,41)",12,2306,24,,)
 (42,3152,1,118,18099,0,0,"(28410,42)",12,2306,24,,)
 (43,3032,1,118,18099,0,0,"(28410,43)",12,2306,24,,)
 (44,2912,1,118,18099,0,0,"(28410,44)",12,2306,24,,)
 (45,2792,1,118,18099,0,0,"(28410,45)",12,2306,24,,)
 (46,2672,1,118,18099,0,0,"(28410,46)",12,2306,24,,)
 (47,2552,1,118,18099,0,0,"(28410,47)",12,2306,24,,)
 (48,2432,1,119,18099,0,0,"(28410,48)",12,2306,24,,)
 (49,0,3,0,,,,,,,,,)
 (50,0,3,0,,,,,,,,,)
 (51,0,3,0,,,,,,,,,)
 (52,0,3,0,,,,,,,,,)
 (53,2312,1,118,18099,0,0,"(28410,53)",12,2306,24,,)
 (54,2192,1,119,18099,0,0,"(28410,54)",12,2306,24,,)
 (55,2072,1,118,18099,0,0,"(28410,55)",12,2306,24,,)
 (56,1952,1,119,18099,0,0,"(28410,56)",12,2306,24,,)
 (57,1832,1,118,18099,0,0,"(28410,57)",12,2306,24,,)
 (58,1712,1,119,18099,0,0,"(28410,58)",12,2306,24,,)
 (59,1592,1,118,18099,0,0,"(28410,59)",12,2306,24,,)
 (60,1472,1,118,18099,0,0,"(28410,60)",12,2306,24,,)
 (61,1352,1,119,18099,0,0,"(28410,61)",12,2306,24,,)
 (62,1232,1,118,18099,0,0,"(28410,62)",12,2306,24,,)
 (63,1112,1,119,18099,0,0,"(28410,63)",12,2306,24,,)
 (64,992,1,118,18099,0,0,"(28410,64)",12,2306,24,,)
 (65,872,1,118,18099,0,0,"(28410,65)",12,2306,24,,)
 (1,8072,1,119,18099,0,0,"(28561,1)",12,2306,24,,)
 (2,7952,1,119,18099,0,0,"(28561,2)",12,2306,24,,)
 (3,7832,1,118,18099,0,0,"(28561,3)",12,2306,24,,)
 (4,7712,1,118,18099,0,0,"(28561,4)",12,2306,24,,)
 (5,7592,1,119,18099,0,0,"(28561,5)",12,2306,24,,)
 (6,7472,1,118,18099,0,0,"(28561,6)",12,2306,24,,)
 (7,7352,1,118,18099,0,0,"(28561,7)",12,2306,24,,)
 (8,7232,1,119,18099,0,0,"(28561,8)",12,2306,24,,)
 (9,7112,1,118,232260,232260,10,"(28561,9)",12,10642,24,,)
 (10,6992,1,119,232260,232260,9,"(28561,10)",12,10642,24,,)
 (11,6872,1,118,232260,232260,8,"(28561,11)",12,10642,24,,)
 (12,6752,1,119,232260,232260,7,"(28561,12)",12,10642,24,,)
 (13,6632,1,118,232260,232260,6,"(28561,13)",12,10642,24,,)
 (14,6512,1,119,232260,232260,5,"(28561,14)",12,10642,24,,)
 (15,6392,1,118,232260,232260,4,"(28561,15)",12,10642,24,,)
 (16,6272,1,119,232260,269002,0,"(30200,31)",8204,14658,24,,)
 (17,6152,1,118,232260,269002,0,"(30200,30)",8204,14658,24,,)
 (18,6032,1,119,232260,269002,0,"(30200,29)",8204,6466,24,,)
 (19,5912,1,118,232260,269002,0,"(30200,28)",8204,6466,24,,)
 (20,5792,1,118,18099,0,0,"(28561,20)",12,2306,24,,)
 (21,5672,1,118,18099,0,0,"(28561,21)",12,2306,24,,)
 (22,5552,1,119,18099,0,0,"(28561,22)",12,2306,24,,)
 (23,5432,1,118,18099,0,0,"(28561,23)",12,2306,24,,)
 (24,5312,1,118,18099,0,0,"(28561,24)",12,2306,24,,)
 (25,5192,1,118,18099,0,0,"(28561,25)",12,2306,24,,)
 (26,5072,1,118,18099,0,0,"(28561,26)",12,2306,24,,)
 (27,4952,1,118,18099,0,0,"(28561,27)",12,2306,24,,)
 (28,4832,1,118,18099,0,0,"(28561,28)",12,2306,24,,)
 (29,4712,1,118,18099,0,0,"(28561,29)",12,2306,24,,)
 (30,4592,1,118,18099,0,0,"(28561,30)",12,2306,24,,)
 (31,4472,1,118,18099,0,0,"(28561,31)",12,2306,24,,)
 (32,4352,1,118,18099,0,0,"(28561,32)",12,2306,24,,)
 (33,4232,1,118,18099,0,0,"(28561,33)",12,2306,24,,)
 (34,4112,1,118,18099,0,0,"(28561,34)",12,2306,24,,)
 (35,3992,1,119,18099,0,0,"(28561,35)",12,2306,24,,)
 (36,3872,1,118,18099,0,0,"(28561,36)",12,2306,24,,)
 (37,3752,1,118,18099,0,0,"(28561,37)",12,2306,24,,)
 (38,3632,1,118,18099,0,0,"(28561,38)",12,2306,24,,)
 (39,3512,1,119,18099,0,0,"(28561,39)",12,2306,24,,)
 (40,3392,1,119,18099,0,0,"(28561,40)",12,2306,24,,)
 (41,3272,1,119,18099,0,0,"(28561,41)",12,2306,24,,)
 (42,3152,1,118,18099,0,0,"(28561,42)",12,2306,24,,)
 (43,3032,1,118,18099,0,0,"(28561,43)",12,2306,24,,)
 (44,2912,1,118,18099,0,0,"(28561,44)",12,2306,24,,)
 (45,2792,1,118,18099,0,0,"(28561,45)",12,2306,24,,)
 (46,2672,1,118,18099,0,0,"(28561,46)",12,2306,24,,)
 (47,2552,1,118,18099,0,0,"(28561,47)",12,2306,24,,)
 (48,2432,1,119,18099,0,0,"(28561,48)",12,2306,24,,)
 (49,2312,1,118,18099,0,0,"(28561,49)",12,2306,24,,)
 (50,2192,1,118,18099,0,0,"(28561,50)",12,2306,24,,)
 (51,2072,1,119,18099,0,0,"(28561,51)",12,2306,24,,)
 (52,1952,1,119,18099,0,0,"(28561,52)",12,2306,24,,)
 (53,1832,1,118,18099,0,0,"(28561,53)",12,2306,24,,)
 (54,1712,1,118,18099,0,0,"(28561,54)",12,2306,24,,)
 (55,1592,1,119,18099,0,0,"(28561,55)",12,2306,24,,)
 (56,1472,1,118,232282,232282,5,"(28561,56)",12,10642,24,,)
 (57,1352,1,119,232282,232282,4,"(28561,57)",12,10642,24,,)
 (58,1232,1,118,232282,232282,3,"(28561,58)",12,10642,24,,)
 (59,1112,1,118,232282,232282,2,"(28561,59)",12,10642,24,,)
 (60,992,1,118,232282,232282,1,"(28561,60)",12,10642,24,,)
 (61,872,1,119,232282,232282,0,"(28561,61)",12,10642,24,,)
 (62,752,1,118,18099,0,0,"(28561,62)",12,2306,24,,)
 (63,632,1,118,18099,0,0,"(28561,63)",12,2306,24,,)
 (64,512,1,118,18099,0,0,"(28561,64)",12,2306,24,,)
 (65,392,1,119,18099,0,0,"(28561,65)",12,2306,24,,)
(602 rows)