Package Ada95_Parser_Shift_Reduce

 

Basic Objects

Quick access : ClausesGenericsDefinitionsSubprograms


Basic Objects
Name Type Default
Shift_Reduce_MatrixShift_Reduce_Array((-1, -1), (72, 3), (-1, -443), (0, -3001), (73, 7), (96, 8), (-1, -448), (-1, -18), (104, 12), (-1, -3000), (72, 3), (73, 7), (96, 8), (-1, -448), (55, 33), (56, 34), (71, 26), (74, 32), (85, 30), (-1, -3000), (-1, -454), (-1, -449), (104, 12), (-1, -3000), (-1, -3000), (-1, -444), (72, 3), (-1, -445), (-1, -176), (4, 42), (13, 41), (-1, -3000), (55, 33), (56, 34), (71, 26), (74, 32), (85, 30), (-1, -3000), (-1, -454), (-1, -452), (-1, -456), (-1, -457), (-1, -458), (-1, -459), (-1, -460), (-1, -461), (-1, -462), (13, 45), (-1, -3000), (13, 46), (-1, -3000), (39, 48), (104, 12), (-1, -3000), (13, 50), (60, 51), (80, 49), (-1, -3000), (13, 53), (-1, -3000), (1, 81), (30, 96), (54, 93), (55, 33), (56, 34), (71, 66), (72, 3), (74, 32), (75, 68), (86, 89), (88, 67), (91, 88), (93, 82), (104, 95), (-1, -150), (4, 98), (-1, -3000), (1, 105), (55, 33), (71, 99), (74, 32), (91, 101), (93, 82), (96, 102), (104, 95), (-1, -3000), (104, 12), (-1, -3000), (104, 12), (106, 113), (-1, -3000), (-1, -486), (-1, -18), (93, 82), (-1, -450), (10, 117), (-1, -179), (8, 118), (13, 119), (-1, -3000), (-1, -177), (-1, -19), (-1, -12), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -18), (93, 82), (-1, -451), (-1, -350), (-1, -351), (10, 117), (60, 155), (80, 49), (-1, -3000), (104, 12), (-1, -3000), (104, 12), (106, 113), (-1, -3000), (-1, -326), (64, 160), (-1, -347), (13, 162), (-1, -3000), (-1, -327), (1, 81), (54, 93), (55, 33), (56, 34), (71, 66), (72, 3), (74, 32), (75, 68), (86, 89), (88, 67), (91, 88), (93, 82), (104, 95), (-1, -151), (-1, -160), (-1, -162), (-1, -163), (-1, -164), (-1, -165), (-1, -166), (-1, -167), (-1, -156), (-1, -157), (-1, -158), (-1, -159), (39, 164), (104, 12), (-1, -3000), (39, 167), (91, 166), (104, 12), (-1, -3000), (39, 170), (91, 169), (104, 12), (-1, -3000), (-1, -20), (-1, -21), (-1, -22), (-1, -23), (-1, -24), (-1, -25), (-1, -26), (-1, -27), (-1, -28), (-1, -29), (-1, -30), (-1, -31), (13, 171), (-1, -3000), (91, 174), (104, 12), (106, 113), (-1, -3000), (-1, -517), (-1, -518), (-1, -519), (13, 50), (60, 175), (80, 49), (-1, -3000), (8, 177), (12, 176), (-1, -3000), (104, 95), (-1, -3000), (104, 12), (-1, -3000), (13, 180), (-1, -3000), (13, 181), (-1, -3000), (-1, -370), (104, 12), (-1, -3000), (-1, -34), (-1, -36), (13, 184), (-1, -3000), (38, 185), (-1, -3000), (104, 12), (-1, -3000), (104, 12), (-1, -3000), (13, 189), (-1, -3000), (104, 12), (-1, -3000), (55, 192), (71, 193), (74, 191), (-1, -3000), (-1, -494), (8, 177), (12, 194), (-1, -3000), (-1, -341), (13, 196), (80, 49), (-1, -3000), (13, 197), (-1, -3000), (-1, -487), (10, 117), (-1, -329), (4, 199), (-1, -335), (-1, -333), (-1, -334), (-1, -10), (4, 199), (82, -335), (-1, -332), (72, 3), (-1, -447), (-1, -455), (104, 12), (-1, -3000), (104, 12), (-1, -3000), (-1, -453), (-1, -14), (5, 204), (8, 205), (-1, -3000), (35, 206), (68, 207), (97, 208), (-1, -16), (18, 211), (-1, -168), (-1, -210), (2, 222), (7, 220), (9, 221), (14, 214), (15, 212), (16, 216), (22, 223), (23, 225), (24, 224), (59, 218), (65, 219), (-1, -218), (4, 148), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (6, 230), (11, 231), (63, 232), (79, 233), (-1, -231), (-1, -233), (-1, -234), (-1, -238), (20, 235), (-1, -244), (4, 148), (64, 146), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (64, 146), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -248), (3, 238), (4, 239), (10, 240), (-1, -249), (-1, -250), (-1, -251), (-1, -252), (-1, -199), (-1, -200), (-1, -201), (-1, -169), (-1, -170), (-1, -171), (-1, -172), (104, 12), (106, 113), (-1, -3000), (-1, -253), (1, 251), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 256), (69, 253), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -2), (-1, -3), (-1, -181), (-1, -182), (-1, -4), (72, 3), (-1, -446), (1, 81), (54, 93), (55, 33), (56, 34), (64, 160), (71, 261), (72, 3), (74, 32), (75, 262), (86, 89), (88, 260), (91, 88), (93, 82), (104, 95), (-1, -152), (13, 265), (-1, -3000), (10, 117), (60, 266), (-1, -3000), (-1, -168), (3, 238), (4, 239), (10, 240), (-1, -375), (104, 12), (106, 113), (-1, -3000), (-1, -514), (-1, -372), (-1, -161), (104, 12), (-1, -3000), (60, 270), (-1, -379), (104, 12), (-1, -3000), (104, 12), (-1, -3000), (60, 274), (-1, -3000), (104, 12), (-1, -3000), (104, 12), (-1, -3000), (-1, -32), (3, 238), (4, 239), (10, 240), (-1, -366), (8, 279), (13, 278), (-1, -3000), (104, 12), (106, 113), (-1, -3000), (64, 160), (85, 281), (-1, -347), (33, 282), (42, 283), (52, 285), (-1, -37), (104, 95), (-1, -3000), (4, 288), (-1, -47), (60, 290), (-1, -3000), (-1, -376), (-1, -384), (-1, -173), (3, 238), (10, 292), (93, 293), (-1, -3000), (-1, -328), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (50, 344), (-1, -3000), (5, 345), (10, 117), (-1, -3000), (10, 117), (60, 346), (80, 49), (-1, -3000), (-1, -488), (4, 349), (-1, -495), (104, 12), (-1, -3000), (104, 12), (106, 113), (-1, -3000), (104, 12), (-1, -3000), (32, 356), (59, 354), (70, 355), (-1, -342), (13, 358), (-1, -3000), (-1, -484), (-1, -485), (-1, -336), (1, 105), (104, 95), (-1, -3000), (-1, -330), (82, 361), (-1, -3000), (-1, -178), (10, 117), (-1, -180), (13, 362), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (90, 364), (-1, -213), (48, 365), (-1, -214), (-1, -215), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -222), (-1, -223), (-1, -224), (-1, -225), (-1, -226), (-1, -227), (-1, -228), (59, 369), (-1, -3000), (-1, -235), (-1, -236), (-1, -237), (-1, -9), (-1, -8), (-1, -7), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (6, 230), (11, 231), (63, 232), (79, 233), (-1, -230), (-1, -240), (-1, -241), (-1, -242), (-1, -243), (4, 148), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (64, 146), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -245), (-1, -246), (-1, -11), (1, 251), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (69, 253), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (34, 384), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (32, 388), (45, 387), (46, 386), (104, 385), (-1, -3000), (3, 238), (4, 239), (10, 240), (-1, -256), (-1, -257), (17, 391), (18, 392), (-1, -3000), (8, 393), (-1, -3000), (5, 394), (8, 395), (-1, -3000), (5, 397), (17, -138), (18, -138), (35, 206), (68, 207), (96, 396), (97, 208), (-1, -186), (-1, -136), (5, 398), (-1, -187), (17, -139), (18, -139), (-1, -188), (-1, -189), (2, 222), (7, 220), (9, 221), (14, 214), (15, 212), (16, 216), (19, 399), (22, 223), (23, 225), (24, 224), (59, 218), (65, 219), (-1, -218), (-1, -140), (3, 238), (4, 239), (10, 240), (77, 400), (-1, -249), (-1, -142), (78, 403), (-1, -201), (1, 81), (54, 93), (55, 33), (56, 34), (71, 261), (72, 3), (74, 32), (75, 262), (86, 89), (88, 260), (91, 88), (93, 82), (104, 95), (-1, -153), (-1, -154), (30, 96), (-1, -3000), (39, 405), (91, 166), (104, 12), (-1, -3000), (39, 406), (104, 12), (-1, -3000), (39, 407), (91, 169), (104, 12), (-1, -3000), (73, 409), (-1, -353), (-1, -515), (-1, -371), (1, 81), (54, 93), (55, 33), (56, 34), (71, 66), (72, 3), (74, 32), (75, 68), (86, 89), (88, 67), (91, 88), (93, 82), (104, 95), (-1, -150), (32, 388), (45, 387), (46, 386), (104, 385), (-1, -3000), (3, 238), (4, 239), (10, 240), (-1, -516), (10, 117), (60, 412), (-1, -3000), (-1, -18), (-1, -377), (4, 288), (-1, -47), (60, 416), (-1, -3000), (-1, -390), (-1, -385), (4, 288), (-1, -47), (60, 419), (-1, -3000), (-1, -364), (104, 12), (106, 113), (-1, -3000), (8, 279), (13, 421), (-1, -3000), (13, 422), (-1, -3000), (42, 423), (-1, -38), (21, 424), (-1, -39), (36, 430), (104, 12), (106, 113), (-1, -3000), (13, 433), (80, 49), (-1, -3000), (-1, -35), (-1, -48), (1, 437), (27, 438), (104, 95), (-1, -3000), (60, 439), (-1, -50), (104, 12), (106, 113), (-1, -3000), (32, 388), (45, 387), (46, 386), (104, 385), (-1, -3000), (104, 12), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (37, 446), (64, 146), (65, 132), (66, 141), (78, 445), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (50, -316), (52, 448), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (-1, -258), (-1, -260), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (-1, -262), (-1, -263), (-1, -264), (104, 452), (-1, -3000), (-1, -265), (-1, -266), (-1, -267), (-1, -268), (-1, -269), (-1, -270), (-1, -271), (-1, -272), (-1, -273), (-1, -274), (-1, -275), (13, 453), (-1, -3000), (-1, -277), (-1, -278), (-1, -279), (-1, -280), (-1, -281), (-1, -282), (-1, -6), (13, 454), (-1, -3000), (3, 238), (4, 239), (10, 240), (13, 456), (21, 455), (-1, -3000), (104, 12), (106, 113), (-1, -319), (4, 148), (7, 128), (9, 129), (13, 460), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (104, 12), (106, 113), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (92, 463), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (104, 12), (106, 113), (-1, -3000), (104, 12), (106, 113), (-1, -319), (13, 466), (-1, -3000), (104, 12), (106, 113), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -18), (43, 476), (54, 477), (62, -302), (95, 474), (-1, -312), (13, 480), (47, 481), (-1, -3000), (-1, -423), (-1, -424), (-1, -425), (-1, -426), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (12, 483), (-1, -176), (104, 12), (-1, -3000), (31, 341), (44, 326), (89, 492), (94, 487), (104, 12), (106, 113), (-1, -3000), (-1, -314), (104, 12), (106, 113), (-1, -309), (55, 33), (71, 503), (74, 32), (75, 505), (88, 504), (-1, -3000), (1, 81), (54, 93), (55, 33), (56, 34), (71, 261), (72, 3), (74, 32), (75, 262), (86, 89), (88, 260), (91, 88), (93, 82), (104, 95), (-1, -152), (13, 508), (-1, -3000), (-1, -496), (1, 437), (27, 509), (104, 95), (-1, -3000), (60, 510), (-1, -3000), (4, 199), (-1, -335), (4, 199), (-1, -335), (60, 513), (-1, -3000), (70, 514), (-1, -343), (-1, -344), (-1, -346), (104, 12), (-1, -3000), (-1, -374), (13, 516), (-1, -338), (5, 517), (-1, -3000), (104, 12), (106, 113), (-1, -3000), (-1, -13), (-1, -15), (-1, -216), (-1, -217), (-1, -211), (-1, -212), (35, 206), (68, 207), (97, 208), (-1, -17), (-1, -229), (2, 222), (7, 220), (9, 221), (-1, -219), (2, 222), (7, 220), (9, 221), (19, 399), (-1, -3000), (3, 238), (4, 239), (5, -221), (8, -221), (10, 240), (13, -221), (17, -221), (18, -221), (21, -221), (35, -221), (46, -221), (60, -221), (62, -221), (68, -221), (77, -221), (80, -221), (90, -221), (96, -221), (97, -221), (-1, -249), (-1, -220), (6, 230), (11, 231), (63, 232), (79, 233), (-1, -232), (-1, -239), (-1, -247), (-1, -184), (5, 519), (8, 520), (-1, -3000), (17, -138), (18, -138), (35, 206), (68, 207), (97, 208), (-1, -186), (-1, -187), (-1, -190), (-1, -191), (-1, -192), (-1, -193), (-1, -195), (-1, -196), (-1, -197), (-1, -198), (-1, -194), (-1, -255), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (69, 253), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (1, 251), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (69, 253), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -203), (1, 251), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (69, 253), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (1, 251), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 528), (69, 253), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -254), (-1, -202), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (32, 388), (45, 387), (46, 386), (77, 532), (104, 385), (-1, -3000), (-1, -141), (5, 533), (-1, -3000), (-1, -155), (104, 12), (-1, -3000), (104, 12), (-1, -3000), (104, 12), (-1, -3000), (1, 81), (54, 93), (55, 33), (56, 34), (71, 261), (72, 3), (74, 32), (75, 262), (86, 89), (88, 260), (91, 88), (93, 82), (104, 95), (-1, -152), (-1, -355), (50, 538), (-1, -3000), (38, 185), (-1, -359), (1, 81), (54, 93), (55, 33), (56, 34), (71, 66), (72, 3), (74, 32), (75, 68), (85, 541), (86, 89), (88, 67), (91, 88), (93, 82), (104, 95), (-1, -150), (72, 3), (-1, -406), (51, 543), (-1, -413), (60, 270), (-1, -379), (1, 81), (54, 93), (55, 33), (56, 34), (71, 66), (72, 3), (74, 32), (75, 68), (85, 547), (86, 89), (88, 67), (91, 88), (93, 82), (104, 95), (-1, -150), (51, 543), (54, 93), (55, 33), (72, 3), (73, 548), (74, 32), (-1, -388), (60, 274), (-1, -3000), (85, 558), (-1, -18), (3, 238), (4, 239), (10, 240), (-1, -367), (-1, -365), (-1, -470), (-1, -40), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (80, 49), (-1, -41), (-1, -42), (3, 238), (4, 239), (10, 240), (46, 563), (77, 400), (-1, -62), (-1, -90), (-1, -91), (4, 565), (-1, -3000), (21, 567), (-1, -43), (13, 569), (-1, -3000), (-1, -472), (-1, -126), (5, 570), (13, 571), (-1, -3000), (8, 177), (12, 572), (-1, -3000), (-1, -129), (5, 573), (-1, -3000), (4, 582), (30, 590), (32, 588), (36, 430), (45, 593), (46, 592), (63, 584), (64, 589), (77, 400), (87, 594), (-1, -110), (13, 596), (-1, -3000), (13, 597), (-1, -3000), (-1, -174), (-1, -175), (13, 598), (35, 206), (68, 207), (97, 208), (-1, -3000), (37, 599), (-1, -522), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (94, 602), (-1, -317), (94, 602), (-1, -3000), (-1, -259), (-1, -315), (-1, -261), (26, 605), (-1, -3000), (-1, -276), (-1, -284), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -349), (3, 238), (4, 239), (10, 240), (-1, -320), (94, 608), (-1, -321), (13, 610), (35, 206), (68, 207), (97, 208), (-1, -3000), (-1, -323), (3, 238), (4, 239), (10, 240), (13, 611), (-1, -3000), (13, 612), (35, 206), (68, 207), (97, 208), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (8, 279), (13, 614), (-1, -3000), (13, 615), (-1, -3000), (-1, -527), (3, 238), (4, 239), (10, 240), (13, 616), (96, 617), (-1, -3000), (-1, -287), (48, 618), (49, 620), (-1, -292), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (90, 622), (-1, -3000), (35, 206), (68, 207), (97, 208), (-1, -291), (72, 3), (-1, -296), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (83, 625), (-1, -306), (1, 81), (54, 93), (55, 33), (56, 34), (71, 66), (72, 3), (74, 32), (75, 68), (86, 89), (88, 67), (91, 88), (93, 82), (104, 95), (-1, -150), (104, 628), (-1, -3000), (62, 629), (-1, -3000), (38, 185), (-1, -3000), (-1, -416), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (35, 206), (60, 633), (68, 207), (97, 208), (-1, -3000), (-1, -301), (-1, -419), (4, 634), (-1, -335), (-1, -428), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (48, -440), (50, -440), (53, 323), (57, 325), (58, 331), (66, 321), (68, -440), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (90, -440), (104, 340), (106, 113), (-1, -300), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (48, -440), (53, 323), (57, 325), (58, 331), (66, 321), (68, -440), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (90, -440), (104, 340), (106, 113), (-1, -300), (-1, -415), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (48, -440), (50, -440), (53, 323), (57, 325), (58, 331), (66, 321), (68, -440), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (13, 641), (-1, -3000), (3, 238), (4, 239), (10, 240), (13, 456), (-1, -3000), (-1, -430), (90, 643), (-1, -3000), (-1, -310), (13, 644), (-1, -3000), (-1, -464), (-1, -465), (-1, -466), (-1, -467), (1, 81), (54, 93), (55, 33), (56, 34), (71, 66), (72, 3), (74, 32), (75, 68), (86, 89), (88, 67), (91, 88), (93, 82), (104, 95), (-1, -150), (39, 48), (-1, -3000), (39, 645), (-1, -3000), (39, 646), (-1, -3000), (60, 647), (-1, -3000), (-1, -463), (-1, -373), (5, 648), (-1, -3000), (4, 649), (30, 660), (32, 588), (36, 430), (45, 652), (46, 653), (63, 651), (64, 659), (77, 650), (87, 594), (-1, -110), (60, 662), (-1, -498), (82, 664), (-1, -3000), (64, 665), (-1, -3000), (-1, -345), (3, 238), (10, 292), (21, 567), (-1, -43), (1, 105), (104, 95), (-1, -3000), (-1, -337), (3, 238), (4, 239), (10, 240), (-1, -331), (-1, -183), (1, 251), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (69, 253), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (35, 206), (68, 207), (97, 208), (-1, -138), (-1, -139), (-1, -137), (35, 206), (68, 207), (97, 208), (-1, -209), (-1, -207), (-1, -208), (5, 669), (8, 520), (-1, -3000), (78, 670), (-1, -201), (2, 222), (7, 220), (9, 221), (-1, -72), (3, 238), (4, 239), (10, 240), (-1, -249), (-1, -71), (4, 671), (-1, -73), (-1, -206), (60, 672), (-1, -3000), (10, 117), (60, 673), (-1, -3000), (60, 674), (-1, -3000), (-1, -354), (104, 12), (-1, -356), (-1, -360), (50, 677), (-1, -3000), (13, 678), (-1, -3000), (54, 93), (73, 679), (-1, -381), (104, 12), (-1, -3000), (-1, -18), (-1, -378), (38, 185), (-1, -3000), (13, 685), (-1, -3000), (-1, -396), (-1, -392), (13, 687), (-1, -3000), (-1, -394), (-1, -395), (50, 688), (-1, -3000), (-1, -391), (-1, -386), (72, 3), (-1, -401), (50, 693), (51, 692), (55, 33), (74, 32), (-1, -3000), (13, 695), (-1, -3000), (13, 696), (35, 206), (68, 207), (97, 208), (-1, -3000), (13, 697), (-1, -3000), (-1, -63), (-1, -64), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -61), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (67, 705), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (13, 707), (-1, -3000), (-1, -369), (-1, -125), (1, 437), (104, 95), (-1, -3000), (32, 709), (-1, -130), (-1, -49), (-1, -52), (-1, -53), (-1, -54), (-1, -55), (-1, -56), (-1, -57), (-1, -58), (-1, -59), (104, 713), (105, 153), (-1, -3000), (-1, -80), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -85), (-1, -86), (61, 716), (-1, -362), (34, 721), (42, 720), (75, 718), (104, 12), (106, 113), (-1, -148), (104, 12), (106, 113), (-1, -3000), (64, 724), (87, 725), (-1, -3000), (-1, -82), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -111), (-1, -51), (-1, -46), (-1, -60), (-1, -520), (63, 728), (-1, -3000), (-1, -524), (13, 730), (35, 206), (68, 207), (97, 208), (-1, -3000), (69, 734), (104, 735), (106, 113), (-1, -3000), (-1, -474), (-1, -473), (-1, -5), (-1, -283), (13, 736), (35, 206), (68, 207), (97, 208), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (13, 738), (-1, -3000), (-1, -324), (-1, -325), (-1, -421), (13, 739), (35, 206), (68, 207), (97, 208), (-1, -3000), (-1, -442), (-1, -481), (-1, -482), (28, 740), (-1, -3000), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (50, 742), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (48, -289), (49, -289), (50, -289), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (-1, -290), (50, 745), (94, 744), (-1, -3000), (-1, -303), (-1, -307), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -313), (59, 749), (-1, -3000), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (104, 12), (106, 113), (-1, -309), (50, 752), (-1, -3000), (50, 753), (-1, -3000), (-1, -295), (1, 105), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 755), (105, 153), (106, 113), (-1, -3000), (-1, -418), (18, 756), (-1, -3000), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (48, -441), (50, -441), (53, 323), (57, 325), (58, 331), (66, 321), (68, -441), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (90, -441), (104, 340), (106, 113), (-1, -300), (90, -435), (-1, -433), (48, 758), (68, 757), (-1, -436), (-1, -432), (-1, -434), (48, 618), (68, 760), (-1, -292), (28, 761), (-1, -3000), (-1, -348), (104, 12), (-1, -3000), (104, 12), (-1, -3000), (-1, -347), (-1, -497), (27, 764), (-1, -3000), (27, 765), (-1, -3000), (27, 766), (-1, -3000), (27, 767), (-1, -3000), (27, 768), (-1, -3000), (-1, -507), (-1, -508), (-1, -509), (-1, -510), (61, 716), (-1, -362), (104, 12), (106, 113), (-1, -3000), (64, 771), (87, 725), (-1, -3000), (13, 772), (-1, -3000), (27, 774), (104, 12), (106, 113), (-1, -3000), (13, 775), (-1, -3000), (104, 12), (106, 113), (-1, -3000), (104, 12), (106, 113), (-1, -3000), (-1, -340), (-1, -339), (-1, -185), (-1, -204), (5, 778), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (85, 547), (-1, -3000), (85, 541), (-1, -3000), (85, 558), (-1, -3000), (10, 117), (-1, -357), (-1, -352), (104, 12), (-1, -356), (-1, -469), (-1, -18), (50, 782), (-1, -3000), (-1, -18), (4, 199), (-1, -335), (72, 3), (-1, -407), (50, 785), (-1, -3000), (-1, -468), (1, 789), (51, 543), (54, 93), (55, 33), (72, 3), (74, 32), (104, 95), (-1, -389), (-1, -393), (104, 12), (106, 113), (-1, -309), (-1, -403), (-1, -404), (13, 792), (60, 647), (-1, -3000), (104, 793), (-1, -3000), (104, 12), (106, 113), (-1, -309), (-1, -18), (-1, -471), (-1, -45), (-1, -368), (35, 206), (68, 207), (77, 400), (97, 208), (-1, -105), (-1, -97), (5, 798), (8, 799), (-1, -3000), (-1, -101), (5, 800), (8, 801), (-1, -3000), (3, 238), (4, 239), (5, -105), (8, -105), (10, 240), (77, 802), (-1, -249), (-1, -104), (33, 805), (-1, -95), (35, 206), (68, 207), (97, 208), (-1, -44), (-1, -33), (-1, -127), (-1, -131), (104, 12), (-1, -3000), (-1, -76), (5, 808), (8, 809), (-1, -3000), (-1, -78), (-1, -79), (35, 206), (68, 207), (97, 208), (-1, -81), (-1, -363), (66, 811), (73, 813), (78, 810), (-1, -3000), (-1, -149), (-1, -143), (104, 12), (106, 113), (-1, -3000), (104, 12), (106, 113), (-1, -3000), (55, 817), (74, 816), (-1, -3000), (96, 818), (-1, -66), (104, 12), (106, 113), (-1, -3000), (-1, -112), (35, 206), (68, 207), (77, 400), (97, 208), (-1, -83), (35, 206), (46, 823), (68, 207), (77, 400), (97, 208), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (50, 826), (104, 12), (-1, -3000), (-1, -526), (-1, -477), (17, 828), (18, 827), (-1, -3000), (3, 238), (4, 239), (10, 240), (-1, -479), (-1, -480), (12, 829), (-1, -176), (-1, -285), (-1, -322), (-1, -318), (-1, -422), (13, 830), (-1, -3000), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (50, -293), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (58, 831), (-1, -3000), (-1, -288), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (69, 253), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (41, 833), (-1, -3000), (-1, -297), (3, 238), (4, 239), (5, -105), (8, -105), (10, 240), (62, -105), (77, 400), (-1, -249), (-1, -304), (-1, -305), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (50, 834), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (13, 835), (-1, -3000), (104, 12), (106, 113), (-1, -309), (104, 12), (106, 113), (-1, -309), (5, 838), (35, 206), (68, 207), (97, 208), (-1, -3000), (8, -36), (12, -36), (-1, -176), (31, 341), (44, 326), (89, 492), (-1, -3000), (44, 326), (-1, -3000), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (50, 843), (-1, -3000), (31, 341), (44, 326), (89, 492), (94, 487), (-1, -3000), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (60, 846), (-1, -3000), (60, 847), (-1, -3000), (5, 848), (-1, -3000), (-1, -502), (-1, -503), (46, 849), (-1, -504), (-1, -506), (73, 813), (-1, -3000), (96, 850), (-1, -511), (104, 12), (106, 113), (-1, -3000), (-1, -489), (3, 238), (4, 239), (10, 240), (-1, -499), (-1, -500), (-1, -490), (3, 238), (4, 239), (10, 240), (60, 662), (-1, -498), (3, 238), (4, 853), (10, 240), (13, 854), (-1, -3000), (-1, -205), (5, 855), (35, 206), (68, 207), (97, 208), (-1, -3000), (13, 856), (-1, -3000), (51, 543), (-1, -413), (104, 12), (106, 113), (-1, -309), (72, 3), (-1, -414), (13, 859), (-1, -3000), (104, 12), (106, 113), (-1, -309), (-1, -398), (-1, -399), (8, 177), (12, 861), (-1, -3000), (13, 862), (-1, -3000), (-1, -397), (-1, -387), (-1, -405), (4, 863), (-1, -335), (13, 865), (-1, -3000), (72, 3), (-1, -402), (-1, -106), (-1, -65), (67, 866), (-1, -3000), (104, 12), (106, 113), (-1, -3000), (-1, -100), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (7, 128), (9, 129), (27, 870), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -103), (104, 12), (106, 113), (-1, -3000), (-1, -96), (-1, -93), (3, 238), (10, 292), (21, 567), (-1, -43), (-1, -75), (104, 713), (105, 153), (-1, -3000), (-1, -18), (78, 875), (-1, -3000), (-1, -107), (-1, -361), (-1, -144), (-1, -145), (4, 199), (-1, -335), (4, 199), (-1, -335), (66, 811), (73, 878), (78, 810), (-1, -3000), (96, 880), (-1, -3000), (-1, -84), (-1, -87), (-1, -88), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (13, 882), (35, 206), (68, 207), (97, 208), (-1, -3000), (3, 238), (10, 292), (37, 883), (-1, -3000), (78, 884), (-1, -3000), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (69, 734), (104, 12), (106, 113), (-1, -3000), (69, 734), (104, 12), (106, 113), (-1, -3000), (-1, -483), (13, 888), (-1, -3000), (17, 391), (18, 889), (-1, -3000), (13, 890), (-1, -3000), (62, 891), (-1, -3000), (-1, -299), (13, 892), (-1, -3000), (13, 893), (-1, -3000), (-1, -420), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (48, -440), (50, -440), (53, 323), (57, 325), (58, 331), (66, 321), (68, -440), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (-1, -429), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (50, -440), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (50, 896), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (84, 897), (-1, -3000), (-1, -431), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (50, 898), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (1, 81), (54, 93), (55, 33), (56, 34), (71, 66), (72, 3), (74, 32), (75, 68), (86, 89), (88, 67), (91, 88), (93, 82), (104, 95), (-1, -150), (-1, -18), (-1, -501), (27, 899), (-1, -3000), (73, 900), (-1, -3000), (96, 901), (-1, -3000), (13, 902), (-1, -3000), (1, 251), (4, 148), (7, 128), (9, 129), (27, 903), (29, 133), (64, 146), (65, 132), (66, 141), (69, 253), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -493), (-1, -74), (-1, -358), (54, 93), (-1, -382), (-1, -380), (-1, -408), (13, 904), (-1, -3000), (33, 805), (-1, -95), (-1, -124), (1, 105), (54, 477), (104, 95), (-1, -3000), (94, 907), (-1, -3000), (-1, -400), (33, 805), (-1, -95), (3, 238), (4, 239), (10, 240), (77, 909), (-1, -3000), (-1, -98), (-1, -102), (-1, -99), (-1, -94), (-1, -128), (-1, -77), (1, 789), (41, 914), (66, 912), (72, 3), (104, 95), (-1, -3000), (-1, -109), (-1, -146), (82, 916), (-1, -3000), (-1, -67), (-1, -68), (66, 811), (73, 917), (78, 810), (-1, -3000), (35, 206), (68, 207), (77, 400), (97, 208), (-1, -83), (-1, -523), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (13, 921), (-1, -3000), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (50, -475), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (94, -475), (104, 340), (106, 113), (-1, -300), (-1, -478), (17, 828), (18, 922), (-1, -3000), (-1, -286), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (-1, -294), (-1, -308), (-1, -311), (-1, -417), (-1, -433), (50, 924), (-1, -3000), (84, 925), (-1, -3000), (13, 926), (-1, -3000), (84, 927), (-1, -3000), (-1, -505), (-1, -512), (73, 928), (-1, -3000), (-1, -491), (5, 929), (-1, -3000), (-1, -383), (21, 567), (-1, -43), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (-1, -92), (27, 870), (-1, -3000), (-1, -18), (-1, -18), (13, 936), (-1, -3000), (-1, -119), (104, 12), (-1, -3000), (50, 938), (-1, -3000), (104, 12), (-1, -3000), (-1, -69), (-1, -70), (-1, -89), (35, 206), (68, 207), (77, 940), (97, 208), (-1, -3000), (-1, -521), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (104, 340), (106, 113), (-1, -300), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (50, -298), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (94, -298), (104, 340), (106, 113), (-1, -300), (84, 942), (-1, -3000), (13, 943), (-1, -3000), (-1, -427), (13, 944), (-1, -3000), (-1, -513), (13, 945), (-1, -3000), (13, 946), (-1, -3000), (5, 947), (-1, -3000), (13, 948), (60, 949), (-1, -3000), (1, 789), (41, 914), (72, 3), (104, 95), (-1, -121), (-1, -113), (72, 3), (-1, -114), (-1, -18), (60, 954), (-1, -3000), (78, 955), (-1, -3000), (3, 238), (10, 292), (-1, -147), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (1, 313), (25, 320), (28, 327), (31, 341), (41, 339), (44, 326), (50, -476), (53, 323), (57, 325), (58, 331), (66, 321), (72, 3), (76, 328), (81, 330), (82, 324), (84, 342), (94, -476), (104, 340), (106, 113), (-1, -300), (13, 957), (-1, -3000), (-1, -439), (-1, -437), (-1, -492), (-1, -123), (4, 199), (-1, -335), (-1, -411), (1, 81), (54, 93), (55, 33), (56, 34), (71, 66), (72, 3), (74, 32), (75, 68), (86, 89), (88, 67), (91, 88), (93, 82), (104, 95), (-1, -150), (-1, -409), (-1, -120), (-1, -18), (72, 3), (-1, -115), (-1, -18), (-1, -108), (13, 962), (-1, -3000), (-1, -438), (94, 963), (-1, -3000), (38, 185), (-1, -3000), (72, 3), (-1, -122), (72, 3), (94, 966), (-1, -3000), (-1, -525), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (50, 969), (-1, -3000), (94, 966), (-1, -133), (4, 148), (7, 128), (9, 129), (29, 133), (64, 146), (65, 132), (66, 141), (69, 253), (99, 150), (100, 149), (104, 12), (105, 153), (106, 113), (-1, -3000), (50, 972), (-1, -3000), (13, 948), (60, 949), (-1, -3000), (104, 12), (106, 113), (-1, -309), (-1, -134), (17, 391), (18, 975), (-1, -3000), (41, 976), (-1, -3000), (-1, -410), (13, 977), (-1, -3000), (-1, -18), (13, 979), (-1, -3000), (-1, -412), (1, 789), (41, 914), (66, 982), (72, 3), (104, 95), (-1, -3000), (-1, -132), (-1, -18), (-1, -18), (13, 986), (-1, -3000), (-1, -135), (-1, -116), (72, 3), (-1, -117), (-1, -18), (72, 3), (-1, -118))constant
SHIFT_REDUCE_OFFSETarray (0..987) of Integer(0, 2, 6, 7, 9, 13, 19, 20, 21, 23, 24, 25, 27, 28, 31, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 48, 50, 53, 57, 59, 74, 76, 85, 87, 90, 91, 92, 94, 96, 99, 100, 101, 102, 115, 116, 118, 119, 120, 124, 126, 129, 130, 132, 134, 135, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 163, 167, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 185, 189, 190, 191, 192, 196, 199, 201, 203, 205, 207, 208, 210, 211, 212, 214, 216, 218, 220, 222, 224, 228, 229, 232, 233, 236, 238, 239, 241, 243, 244, 245, 246, 249, 251, 252, 254, 256, 257, 258, 261, 265, 267, 268, 280, 291, 296, 297, 298, 299, 301, 310, 319, 320, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 337, 338, 353, 354, 355, 356, 357, 358, 360, 375, 377, 380, 381, 385, 388, 389, 390, 391, 393, 395, 397, 399, 401, 403, 405, 406, 410, 413, 416, 419, 423, 425, 427, 429, 430, 431, 432, 436, 437, 455, 457, 460, 464, 465, 467, 469, 472, 474, 478, 480, 481, 482, 483, 486, 487, 489, 490, 492, 494, 507, 509, 511, 512, 525, 538, 551, 552, 553, 554, 555, 556, 557, 558, 560, 561, 562, 563, 564, 565, 566, 579, 592, 603, 608, 609, 610, 611, 612, 623, 632, 633, 634, 635, 650, 655, 661, 665, 666, 669, 671, 674, 682, 683, 685, 688, 689, 702, 703, 708, 709, 711, 725, 726, 728, 732, 735, 739, 741, 742, 743, 757, 762, 766, 769, 770, 771, 773, 775, 776, 777, 779, 781, 782, 785, 788, 790, 792, 794, 798, 801, 802, 803, 807, 809, 812, 817, 819, 834, 854, 855, 856, 874, 875, 876, 877, 879, 880, 881, 882, 883, 884, 885, 886, 887, 888, 889, 890, 892, 893, 894, 895, 896, 897, 898, 899, 901, 907, 910, 924, 927, 941, 944, 947, 949, 952, 965, 966, 971, 974, 975, 976, 977, 978, 991, 993, 995, 1002, 1003, 1006, 1012, 1026, 1028, 1029, 1033, 1035, 1037, 1039, 1041, 1043, 1044, 1045, 1047, 1048, 1050, 1052, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1065, 1066, 1070, 1075, 1095, 1096, 1101, 1102, 1103, 1104, 1107, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1138, 1151, 1166, 1167, 1182, 1197, 1198, 1199, 1212, 1225, 1232, 1233, 1235, 1236, 1238, 1240, 1242, 1256, 1257, 1259, 1261, 1276, 1278, 1280, 1282, 1297, 1304, 1306, 1308, 1312, 1313, 1314, 1315, 1328, 1330, 1331, 1337, 1338, 1339, 1341, 1343, 1345, 1346, 1347, 1350, 1353, 1354, 1356, 1367, 1369, 1371, 1372, 1373, 1378, 1380, 1393, 1395, 1397, 1398, 1399, 1400, 1402, 1403, 1404, 1417, 1418, 1422, 1424, 1429, 1430, 1435, 1440, 1453, 1456, 1458, 1459, 1465, 1466, 1469, 1487, 1489, 1493, 1495, 1508, 1510, 1524, 1526, 1528, 1530, 1531, 1549, 1554, 1555, 1556, 1558, 1559, 1572, 1594, 1615, 1616, 1637, 1639, 1644, 1645, 1647, 1648, 1650, 1651, 1652, 1653, 1654, 1668, 1670, 1672, 1674, 1676, 1677, 1678, 1680, 1691, 1693, 1695, 1697, 1698, 1702, 1705, 1706, 1710, 1711, 1726, 1730, 1731, 1732, 1736, 1737, 1738, 1741, 1743, 1747, 1751, 1752, 1754, 1755, 1757, 1760, 1762, 1763, 1765, 1766, 1768, 1770, 1773, 1775, 1776, 1777, 1779, 1781, 1782, 1783, 1785, 1786, 1787, 1789, 1790, 1791, 1793, 1798, 1800, 1805, 1807, 1808, 1809, 1822, 1823, 1836, 1838, 1851, 1853, 1854, 1855, 1858, 1860, 1861, 1862, 1863, 1864, 1865, 1866, 1867, 1868, 1869, 1872, 1873, 1886, 1887, 1888, 1890, 1896, 1899, 1902, 1903, 1916, 1929, 1930, 1931, 1932, 1933, 1934, 1936, 1937, 1942, 1946, 1947, 1948, 1949, 1950, 1955, 1968, 1970, 1971, 1972, 1973, 1978, 1979, 1980, 1981, 1983, 2001, 2003, 2016, 2037, 2038, 2041, 2042, 2043, 2056, 2057, 2059, 2077, 2080, 2082, 2084, 2085, 2099, 2100, 2102, 2124, 2126, 2129, 2130, 2131, 2134, 2136, 2137, 2139, 2141, 2142, 2143, 2145, 2147, 2149, 2151, 2153, 2154, 2155, 2156, 2157, 2159, 2162, 2165, 2167, 2171, 2173, 2176, 2179, 2180, 2181, 2182, 2183, 2185, 2198, 2200, 2202, 2204, 2206, 2207, 2209, 2210, 2211, 2213, 2214, 2216, 2218, 2220, 2221, 2229, 2230, 2233, 2234, 2235, 2238, 2240, 2243, 2244, 2245, 2246, 2247, 2252, 2253, 2256, 2257, 2260, 2267, 2268, 2270, 2274, 2275, 2276, 2277, 2279, 2280, 2283, 2284, 2285, 2289, 2290, 2294, 2295, 2296, 2299, 2302, 2305, 2307, 2310, 2311, 2316, 2322, 2335, 2338, 2339, 2340, 2343, 2347, 2348, 2350, 2351, 2352, 2353, 2354, 2356, 2375, 2377, 2378, 2392, 2394, 2395, 2403, 2404, 2405, 2424, 2426, 2429, 2432, 2437, 2440, 2444, 2446, 2464, 2466, 2471, 2489, 2491, 2493, 2495, 2496, 2497, 2499, 2500, 2502, 2504, 2507, 2508, 2512, 2513, 2514, 2519, 2524, 2525, 2530, 2532, 2534, 2537, 2539, 2541, 2544, 2545, 2546, 2549, 2551, 2552, 2553, 2554, 2556, 2558, 2560, 2561, 2562, 2564, 2567, 2568, 2581, 2595, 2596, 2599, 2600, 2601, 2605, 2606, 2609, 2610, 2612, 2613, 2614, 2615, 2616, 2618, 2620, 2624, 2626, 2627, 2628, 2629, 2642, 2647, 2651, 2653, 2671, 2675, 2679, 2680, 2682, 2685, 2687, 2689, 2690, 2692, 2694, 2695, 2716, 2717, 2736, 2755, 2757, 2758, 2777, 2791, 2792, 2793, 2795, 2797, 2799, 2801, 2817, 2818, 2819, 2820, 2822, 2823, 2824, 2826, 2828, 2829, 2833, 2835, 2836, 2838, 2843, 2844, 2845, 2846, 2847, 2848, 2849, 2855, 2856, 2857, 2859, 2860, 2861, 2865, 2870, 2871, 2884, 2886, 2906, 2907, 2910, 2911, 2929, 2930, 2931, 2932, 2933, 2934, 2936, 2938, 2940, 2942, 2943, 2944, 2946, 2947, 2949, 2950, 2952, 2965, 2978, 2979, 2981, 2982, 2983, 2985, 2986, 2988, 2990, 2992, 2993, 2994, 2995, 3000, 3001, 3019, 3039, 3041, 3043, 3044, 3046, 3047, 3049, 3051, 3053, 3056, 3061, 3062, 3064, 3065, 3067, 3069, 3072, 3085, 3105, 3107, 3108, 3109, 3110, 3111, 3113, 3114, 3128, 3129, 3130, 3131, 3133, 3134, 3135, 3137, 3138, 3140, 3142, 3144, 3147, 3148, 3161, 3163, 3165, 3179, 3181, 3184, 3187, 3188, 3191, 3193, 3194, 3196, 3197, 3199, 3200, 3206, 3207, 3208, 3209, 3211, 3212, 3213, 3215, 3216)
 

Definitions

Quick access : ClausesGenericsDefinitionsSubprograms


Types
Name Declaration
Small_Integerrange -32_000..32_000
Shift_Reduce_Arrayarray (Row) of Shift_Reduce_Entry
pragma suppress(index_check);
RowInteger range -1..Integer'Last
   
Shift_Reduce_Entry record
Component Type Default
ActSmall_Integer
TSmall_Integer
  
Pragmas
Pack(Shift_Reduce_Entry)