# frozen_string_literal: true
# rubocop:disable all

# https://github.com/GarrisonJ/sorted_containers/issues/7
module LargeOperationsList
  LIST = [
    [:push, 9199],
    [:push, 267],
    [:push, 5251],
    [:push, 11_014],
    [:push, 6240],
    [:push, 1178],
    [:push, 1477],
    [:push, 5926],
    [:push, 4273],
    [:push, 7420],
    [:push, 1545],
    [:push, 6618],
    [:push, 7207],
    [:push, 9030],
    [:push, 5611],
    [:push, 14_699],
    [:push, 1880],
    [:push, 629],
    [:push, 4777],
    [:push, 6926],
    [:push, 10_416],
    [:push, 3953],
    [:push, 3922],
    [:push, 848],
    [:push, 6608],
    [:push, 5264],
    [:push, 1281],
    [:push, 2731],
    [:push, 2515],
    [:push, 1478],
    [:push, 7795],
    [:push, 4600],
    [:push, 11_893],
    [:push, 3544],
    [:push, 8623],
    [:push, 9270],
    [:push, 954],
    [:push, 13_630],
    [:push, 5482],
    [:push, 3402],
    [:push, 361],
    [:push, 10_718],
    [:push, 1458],
    [:push, 6972],
    [:push, 11_857],
    [:push, 6746],
    [:push, 6372],
    [:push, 7877],
    [:push, 13_944],
    [:push, 622],
    [:push, 7291],
    [:push, 10_186],
    [:push, 2607],
    [:push, 4126],
    [:push, 3377],
    [:push, 576],
    [:push, 10_244],
    [:push, 8447],
    [:push, 2103],
    [:push, 4886],
    [:push, 14_742],
    [:push, 1455],
    [:push, 669],
    [:push, 5596],
    [:push, 14_374],
    [:push, 6071],
    [:push, 3675],
    [:push, 221],
    [:push, 4963],
    [:push, 11_261],
    [:push, 860],
    [:push, 7763],
    [:push, 4425],
    [:push, 11_256],
    [:push, 9395],
    [:push, 1856],
    [:push, 7834],
    [:push, 12_247],
    [:push, 10_232],
    [:push, 3207],
    [:push, 647],
    [:push, 3538],
    [:push, 381],
    [:push, 3136],
    [:push, 13_745],
    [:push, 3654],
    [:push, 3082],
    [:push, 1713],
    [:push, 6806],
    [:push, 3960],
    [:push, 3942],
    [:push, 1436],
    [:push, 182],
    [:push, 6512],
    [:push, 591],
    [:push, 7521],
    [:push, 3213],
    [:push, 8466],
    [:push, 6168],
    [:push, 1941],
    [:push, 9196],
    [:push, 3668],
    [:push, 6090],
    [:push, 9168],
    [:push, 14_946],
    [:push, 3812],
    [:push, 2429],
    [:push, 3640],
    [:push, 9054],
    [:push, 6261],
    [:push, 3098],
    [:push, 186],
    [:push, 1385],
    [:push, 3064],
    [:push, 6699],
    [:push, 3851],
    [:push, 176],
    [:push, 9104],
    [:push, 961],
    [:push, 5228],
    [:push, 4259],
    [:push, 3914],
    [:push, 7973],
    [:push, 6635],
    [:push, 6482],
    [:push, 4503],
    [:push, 781],
    [:push, 4356],
    [:push, 1081],
    [:push, 7592],
    [:push, 3374],
    [:push, 9225],
    [:push, 1401],
    [:push, 3792],
    [:push, 3859],
    [:push, 2533],
    [:push, 8720],
    [:push, 9633],
    [:push, 538],
    [:push, 5424],
    [:push, 916],
    [:push, 9679],
    [:push, 3386],
    [:push, 6304],
    [:push, 4622],
    [:push, 9197],
    [:push, 4654],
    [:push, 5027],
    [:push, 2618],
    [:push, 4202],
    [:push, 8329],
    [:push, 5786],
    [:push, 4035],
    [:push, 6167],
    [:push, 1550],
    [:push, 2499],
    [:push, 159],
    [:push, 12_598],
    [:push, 14_178],
    [:push, 10_069],
    [:shift],
    [:push, 6893],
    [:push, 2846],
    [:push, 1398],
    [:push, 13_347],
    [:push, 3788],
    [:push, 10_214],
    [:push, 7507],
    [:push, 6387],
    [:push, 4312],
    [:push, 12_060],
    [:push, 1647],
    [:push, 7208],
    [:push, 13_489],
    [:push, 6971],
    [:push, 14_708],
    [:push, 2906],
    [:shift],
    [:push, 1807],
    [:push, 9164],
    [:push, 10_811],
    [:push, 2551],
    [:push, 7594],
    [:shift],
    [:push, 10_857],
    [:push, 1274],
    [:push, 7802],
    [:shift],
    [:push, 4634],
    [:push, 934],
    [:push, 7385],
    [:push, 6876],
    [:push, 4199],
    [:push, 392],
    [:push, 2460],
    [:push, 3272],
    [:push, 10_130],
    [:push, 3532],
    [:push, 1012],
    [:push, 12_874],
    [:push, 6198],
    [:push, 8029],
    [:push, 306],
    [:push, 1236],
    [:push, 8338],
    [:push, 8819],
    [:push, 497],
    [:push, 9380],
    [:push, 4453],
    [:push, 12_491],
    [:push, 10_217],
    [:push, 12_871],
    [:push, 2232],
    [:push, 684],
    [:push, 8977],
    [:push, 2945],
    [:push, 2094],
    [:push, 8105],
    [:push, 1902],
    [:push, 3109],
    [:push, 10_081],
    [:push, 2925],
    [:shift],
    [:push, 1042],
    [:push, 5581],
    [:push, 10_846],
    [:push, 1810],
    [:push, 541],
    [:push, 419],
    [:push, 1014],
    [:push, 2327],
    [:push, 1146],
    [:push, 1554],
    [:push, 639],
    [:push, 14_449],
    [:push, 522],
    [:push, 9751],
    [:push, 3897],
    [:push, 3292],
    [:push, 6941],
    [:push, 11_678],
    [:push, 728],
    [:push, 8905],
    [:push, 10_258],
    [:push, 14_928],
    [:push, 11_359],
    [:push, 5343],
    [:push, 15_129],
    [:push, 1015],
    [:push, 2801],
    [:push, 1393],
    [:push, 2328],
    [:push, 9880],
    [:push, 1641],
    [:push, 373],
    [:push, 12_894],
    [:push, 12_428],
    [:push, 1671],
    [:push, 453],
    [:push, 1234],
    [:push, 9454],
    [:push, 2876],
    [:push, 10_342],
    [:push, 508],
    [:push, 13_902],
    [:push, 3829],
    [:push, 1141],
    [:push, 4303],
    [:shift],
    [:push, 9251],
    [:push, 9679],
    [:push, 6943],
    [:push, 7462],
    [:push, 6053],
    [:push, 4639],
    [:push, 13_192],
    [:push, 8857],
    [:push, 7644],
    [:push, 7830],
    [:push, 9965],
    [:push, 4135],
    [:push, 6043],
    [:push, 799],
    [:push, 11_452],
    [:push, 12_742],
    [:push, 4593],
    [:push, 6150],
    [:push, 2080],
    [:push, 4302],
    [:push, 10_541],
    [:push, 9386],
    [:push, 659],
    [:push, 6161],
    [:push, 11_558],
    [:push, 567],
    [:push, 6959],
    [:push, 4474],
    [:push, 14_145],
    [:push, 13_259],
    [:push, 3501],
    [:push, 9243],
    [:push, 4310],
    [:push, 459],
    [:push, 317],
    [:push, 1842],
    [:push, 1491],
    [:push, 4074],
    [:shift],
    [:push, 6525],
    [:push, 1633],
    [:push, 5190],
    [:push, 13_775],
    [:push, 12_694],
    [:push, 8642],
    [:push, 2023],
    [:push, 5345],
    [:push, 1859],
    [:push, 9223],
    [:shift],
    [:push, 12_180],
    [:push, 13_725],
    [:push, 8236],
    [:push, 8050],
    [:push, 3296],
    [:push, 7127],
    [:push, 8628],
    [:push, 12_486],
    [:push, 4938],
    [:push, 3525],
    [:push, 3459],
    [:push, 2182],
    [:push, 3555],
    [:push, 6685],
    [:push, 10_939],
    [:push, 12_061],
    [:push, 4214],
    [:push, 4662],
    [:push, 3875],
    [:push, 617],
    [:push, 8288],
    [:push, 4541],
    [:push, 3604],
    [:push, 9065],
    [:push, 4824],
    [:push, 9305],
    [:push, 1872],
    [:push, 5434],
    [:push, 11_372],
    [:push, 1771],
    [:push, 7510],
    [:push, 3879],
    [:push, 3721],
    [:push, 10_930],
    [:push, 1390],
    [:push, 15_230],
    [:push, 4444],
    [:push, 2854],
    [:push, 10_147],
    [:push, 13_092],
    [:push, 6012],
    [:push, 930],
    [:push, 3977],
    [:shift],
    [:push, 4238],
    [:push, 11_700],
    [:push, 821],
    [:push, 13_329],
    [:push, 14_637],
    [:push, 1488],
    [:push, 9533],
    [:push, 1350],
    [:push, 14_195],
    [:push, 2470],
    [:push, 6995],
    [:shift],
    [:push, 7167],
    [:push, 2850],
    [:push, 382],
    [:push, 502],
    [:push, 4769],
    [:push, 1331],
    [:push, 6606],
    [:shift],
    [:push, 5577],
    [:shift],
    [:push, 1481],
    [:push, 15_289],
    [:push, 13_484],
    [:push, 11_648],
    [:push, 1354],
    [:push, 2178],
    [:push, 6518],
    [:push, 9610],
    [:shift],
    [:push, 5829],
    [:push, 10_726],
    [:push, 9353],
    [:push, 8512],
    [:push, 5969],
    [:push, 9773],
    [:push, 8824],
    [:push, 7512],
    [:push, 8953],
    [:push, 10_951],
    [:push, 7880],
    [:push, 9309],
    [:push, 11_928],
    [:push, 7395],
    [:push, 13_994],
    [:push, 2548],
    [:push, 6302],
    [:push, 3929],
    [:push, 12_370],
    [:push, 10_712],
    [:push, 3201],
    [:push, 10_360],
    [:push, 3016],
    [:push, 5868],
    [:push, 12_718],
    [:push, 7699],
    [:shift],
    [:push, 4030],
    [:push, 1865],
    [:push, 824],
    [:push, 8252],
    [:push, 1287],
    [:push, 4087],
    [:push, 4683],
    [:push, 3561],
    [:push, 6352],
    [:push, 7442],
    [:push, 4498],
    [:push, 439],
    [:push, 3444],
    [:push, 2521],
    [:push, 9956],
    [:push, 2096],
    [:push, 922],
    [:push, 534],
    [:push, 984],
    [:push, 4040],
    [:shift],
    [:push, 2227],
    [:push, 9683],
    [:push, 783],
    [:push, 4915],
    [:push, 4004],
    [:push, 9267],
    [:push, 3772],
    [:push, 4471],
    [:push, 4029],
    [:push, 7052],
    [:push, 3936],
    [:push, 1066],
    [:push, 4721],
    [:push, 9906],
    [:shift],
    [:push, 1353],
    [:push, 8342],
    [:push, 1157],
    [:push, 4131],
    [:push, 3466],
    [:shift],
    [:push, 10_843],
    [:push, 4452],
    [:push, 1847],
    [:push, 1004],
    [:push, 9055],
    [:push, 2932],
    [:push, 12_936],
    [:push, 4278],
    [:push, 5390],
    [:push, 10_535],
    [:push, 2459],
    [:push, 2569],
    [:push, 9715],
    [:push, 1329],
    [:push, 2810],
    [:push, 8863],
    [:push, 1060],
    [:push, 9925],
    [:push, 1215],
    [:push, 3583],
    [:push, 7237],
    [:push, 5387],
    [:push, 3580],
    [:push, 932],
    [:push, 3508],
    [:push, 4193],
    [:push, 5782],
    [:push, 1559],
    [:push, 3224],
    [:push, 2097],
    [:push, 14_214],
    [:push, 4391],
    [:push, 12_519],
    [:push, 641],
    [:push, 6655],
    [:push, 2561],
    [:push, 1680],
    [:shift],
    [:push, 10_419],
    [:push, 838],
    [:push, 10_683],
    [:push, 1762],
    [:shift],
    [:push, 2392],
    [:push, 11_171],
    [:push, 9072],
    [:push, 15_309],
    [:push, 5155],
    [:shift],
    [:push, 8569],
    [:push, 4759],
    [:push, 3647],
    [:push, 4424],
    [:push, 1853],
    [:push, 6385],
    [:push, 4792],
    [:push, 13_887],
    [:push, 8456],
    [:push, 3328],
    [:push, 625],
    [:push, 11_246],
    [:push, 1207],
    [:shift],
    [:push, 1260],
    [:push, 3284],
    [:push, 1987],
    [:push, 10_825],
    [:push, 10_309],
    [:push, 1568],
    [:push, 593],
    [:push, 4041],
    [:push, 7078],
    [:push, 6407],
    [:push, 6896],
    [:shift],
    [:push, 4383],
    [:push, 1243],
    [:push, 1394],
    [:shift],
    [:push, 5082],
    [:push, 1283],
    [:shift],
    [:push, 881],
    [:push, 5145],
    [:push, 8519],
    [:push, 1948],
    [:push, 5367],
    [:push, 6491],
    [:push, 3708],
    [:push, 1000],
    [:push, 719],
    [:push, 2142],
    [:push, 1395],
    [:push, 1098],
    [:push, 7768],
    [:push, 1793],
    [:push, 5648],
    [:push, 2200],
    [:push, 9978],
    [:push, 8215],
    [:push, 623],
    [:push, 5458],
    [:push, 6942],
    [:push, 12_644],
    [:push, 2831],
    [:push, 2842],
    [:push, 3241],
    [:shift],
    [:push, 1447],
    [:push, 2996],
    [:push, 11_185],
    [:push, 4113],
    [:push, 6110],
    [:push, 2092],
    [:push, 11_287],
    [:push, 1617],
    [:shift],
    [:push, 1794],
    [:push, 5059],
    [:push, 2050],
    [:push, 2989],
    [:push, 15_065],
    [:push, 1463],
    [:push, 10_003],
    [:push, 14_095],
    [:push, 12_643],
    [:push, 12_196],
    [:push, 8657],
    [:push, 5843],
    [:push, 2271],
    [:push, 11_329],
    [:shift],
    [:push, 733],
    [:shift],
    [:push, 5685],
    [:push, 2676],
    [:push, 3723],
    [:push, 1310],
    [:push, 2703],
    [:push, 15_010],
    [:push, 3520],
    [:push, 2600],
    [:push, 6346],
    [:push, 1159],
    [:push, 4001],
    [:push, 5319],
    [:push, 2517],
    [:push, 3122],
    [:push, 4770],
    [:push, 5534],
    [:push, 4122],
    [:push, 1805],
    [:push, 5460],
    [:push, 1665],
    [:push, 6930],
    [:push, 7839],
    [:push, 11_317],
    [:shift],
    [:push, 1275],
    [:push, 10_496],
    [:push, 10_991],
    [:push, 4630],
    [:shift],
    [:push, 3387],
    [:shift],
    [:push, 3940],
    [:shift],
    [:push, 10_724],
    [:push, 5240],
    [:shift],
    [:push, 3301],
    [:push, 6217],
    [:push, 10_390],
    [:push, 7186],
    [:push, 8675],
    [:push, 5656],
    [:push, 11_212],
    [:push, 5776],
    [:push, 8095],
    [:shift],
    [:push, 3045],
    [:shift],
    [:push, 1994],
    [:push, 11_624],
    [:push, 7298],
    [:push, 4693],
    [:push, 4658],
    [:shift],
    [:push, 5795],
    [:push, 3075],
    [:push, 1408],
    [:push, 10_098],
    [:push, 3069],
    [:push, 2436],
    [:push, 7804],
    [:push, 4774],
    [:push, 9143],
    [:push, 11_247],
    [:push, 14_479],
    [:push, 4348],
    [:shift],
    [:push, 3145],
    [:push, 5334],
    [:push, 14_003],
    [:push, 8641],
    [:push, 12_856],
    [:push, 10_401],
    [:push, 2580],
    [:push, 1268],
    [:push, 4160],
    [:shift],
    [:push, 1319],
    [:push, 2138],
    [:push, 2239],
    [:push, 12_615],
    [:push, 1242],
    [:push, 4052],
    [:push, 2879],
    [:push, 900],
    [:push, 4581],
    [:push, 3472],
    [:push, 8630],
    [:push, 12_008],
    [:push, 7079],
    [:push, 2474],
    [:shift],
    [:push, 4983],
    [:push, 6432],
    [:push, 6415],
    [:push, 1438],
    [:push, 2137],
    [:push, 3621],
    [:push, 2427],
    [:push, 12_398],
    [:push, 14_922],
    [:push, 993],
    [:push, 12_597],
    [:push, 11_086],
    [:push, 8016],
    [:push, 4509],
    [:push, 4864],
    [:push, 4420],
    [:push, 1749],
    [:push, 9316],
    [:push, 1523],
    [:push, 1191],
    [:push, 6810],
    [:push, 13_184],
    [:push, 5766],
    [:push, 3791],
    [:push, 11_504],
    [:push, 4208],
    [:push, 9687],
    [:push, 13_449],
    [:push, 8912],
    [:push, 4203],
    [:push, 7956],
    [:push, 10_049],
    [:push, 2635],
    [:push, 8594],
    [:shift],
    [:push, 8617],
    [:push, 8117],
    [:push, 3232],
    [:push, 1918],
    [:push, 2452],
    [:push, 1233],
    [:push, 7580],
    [:push, 1755],
    [:shift],
    [:push, 2352],
    [:push, 3717],
    [:push, 9277],
    [:push, 5695],
    [:shift],
    [:push, 4215],
    [:push, 7114],
    [:push, 11_839],
    [:push, 3728],
    [:push, 2911],
    [:push, 9766],
    [:push, 7061],
    [:push, 15_250],
    [:push, 5208],
    [:push, 7517],
    [:push, 11_388],
    [:push, 1537],
    [:push, 6886],
    [:push, 3106],
    [:push, 10_457],
    [:push, 11_475],
    [:push, 13_270],
    [:push, 4716],
    [:push, 1002],
    [:push, 8968],
    [:push, 8421],
    [:push, 13_350],
    [:push, 8061],
    [:push, 1525],
    [:push, 7345],
    [:push, 11_828],
    [:push, 9791],
    [:push, 7449],
    [:push, 1811],
    [:push, 4084],
    [:push, 2866],
    [:push, 2411],
    [:push, 1099],
    [:push, 7850],
    [:push, 1347],
    [:push, 10_164],
    [:push, 10_191],
    [:push, 9904],
    [:push, 3215],
    [:push, 2543],
    [:push, 1457],
    [:push, 4330],
    [:push, 7107],
    [:push, 4222],
    [:push, 7924],
    [:push, 3302],
    [:push, 2283],
    [:shift],
    [:push, 2197],
    [:shift],
    [:push, 4313],
    [:push, 11_629],
    [:push, 13_534],
    [:push, 9310],
    [:push, 3733],
    [:push, 11_848],
    [:push, 4873],
    [:push, 1628],
    [:push, 7226],
    [:push, 8374],
    [:push, 6823],
    [:push, 4055],
    [:push, 1972],
    [:push, 9434],
    [:push, 9007],
    [:shift],
    [:push, 3895],
    [:push, 6079],
    [:push, 14_757],
    [:push, 12_198],
    [:push, 7567],
    [:push, 3741],
    [:push, 5896],
    [:push, 4451],
    [:push, 2006],
    [:push, 878],
    [:push, 2671],
    [:push, 2020],
    [:push, 4139],
    [:push, 6982],
    [:push, 2279],
    [:push, 11_345],
    [:push, 2236],
    [:push, 3782],
    [:push, 4014],
    [:push, 13_010],
    [:push, 6147],
    [:shift],
    [:push, 8015],
    [:push, 1216],
    [:shift],
    [:push, 6996],
    [:push, 6951],
    [:push, 3749],
    [:push, 5426],
    [:push, 7424],
    [:push, 8390],
    [:push, 4180],
    [:push, 3275],
    [:push, 4592],
    [:push, 12_789],
    [:push, 6504],
    [:push, 2712],
    [:push, 5761],
    [:shift],
    [:push, 3293],
    [:push, 1466],
    [:push, 1304],
    [:push, 5569],
    [:push, 8522],
    [:push, 7115],
    [:push, 2209],
    [:push, 13_355],
    [:push, 1608],
    [:shift],
    [:push, 3566],
    [:push, 2907],
    [:push, 5140],
    [:push, 1555],
    [:push, 3320],
    [:push, 10_536],
    [:push, 14_483],
    [:push, 14_598],
    [:push, 7246],
    [:push, 1279],
    [:push, 2564],
    [:shift],
    [:push, 3740],
    [:push, 14_844],
    [:push, 990],
    [:push, 15_227],
    [:push, 4856],
    [:push, 7936],
    [:push, 1345],
    [:push, 4520],
    [:push, 1306],
    [:push, 7168],
    [:push, 929],
    [:push, 10_168],
    [:push, 1307],
    [:push, 7163],
    [:push, 5637],
    [:push, 2388],
    [:push, 14_209],
    [:shift],
    [:push, 9756],
    [:push, 5823],
    [:shift],
    [:push, 13_017],
    [:push, 5566],
    [:push, 10_505],
    [:push, 13_151],
    [:push, 4960],
    [:push, 4476],
    [:push, 4832],
    [:push, 1135],
    [:push, 2624],
    [:push, 3181],
    [:push, 989],
    [:push, 2416],
    [:push, 10_987],
    [:push, 5197],
    [:push, 2629],
    [:push, 2475],
    [:push, 8160],
    [:push, 5522],
    [:shift],
    [:push, 9653],
    [:push, 1116],
    [:push, 1033],
    [:push, 4568],
    [:push, 11_010],
    [:push, 7284],
    [:push, 5225],
    [:push, 13_713],
    [:push, 10_863],
    [:push, 5318],
    [:push, 1430],
    [:push, 982],
    [:push, 3406],
    [:push, 991],
    [:push, 3058],
    [:shift],
    [:push, 3389],
    [:push, 9884],
    [:push, 4334],
    [:push, 1548],
    [:push, 2423],
    [:shift],
    [:push, 6701],
    [:push, 959],
    [:push, 11_021],
    [:push, 7227],
    [:push, 8536],
    [:push, 1055],
    [:shift],
    [:push, 8235],
    [:shift],
    [:push, 5373],
    [:shift],
    [:push, 4801],
    [:shift],
    [:push, 2786],
    [:push, 10_211],
    [:push, 6228],
    [:push, 5890],
    [:push, 2321],
    [:push, 3937],
    [:push, 4387],
    [:push, 6743],
    [:push, 5287],
    [:push, 4249],
    [:push, 2335],
    [:push, 9151],
    [:push, 1582],
    [:push, 6703],
    [:push, 2107],
    [:push, 10_442],
    [:push, 10_957],
    [:push, 10_903],
    [:push, 10_520],
    [:shift],
    [:push, 8444],
    [:push, 7417],
    [:push, 3023],
    [:push, 2223],
    [:shift],
    [:push, 5187],
    [:shift],
    [:push, 3257],
    [:push, 3315],
    [:push, 3222],
    [:push, 5507],
    [:push, 1069],
    [:push, 2494],
    [:push, 5563],
    [:push, 14_809],
    [:push, 4461],
    [:push, 1121],
    [:push, 8461],
    [:push, 2520],
    [:push, 7264],
    [:push, 11_099],
    [:push, 7960],
    [:push, 4689],
    [:push, 5936],
    [:push, 14_724],
    [:push, 8888],
    [:push, 10_295],
    [:shift],
    [:push, 4740],
    [:shift],
    [:push, 1536],
    [:push, 2719],
    [:push, 1120],
    [:push, 7222],
    [:shift],
    [:push, 1342],
    [:shift],
    [:push, 12_562],
    [:shift],
    [:push, 10_636],
    [:shift],
    [:push, 7514],
    [:push, 2691],
    [:push, 3825],
    [:push, 7658],
    [:shift],
    [:push, 4532],
    [:shift],
    [:push, 5956],
    [:shift],
    [:push, 10_962],
    [:push, 4349],
    [:push, 5800],
    [:push, 2261],
    [:push, 4374],
    [:push, 11_148],
    [:push, 9234],
    [:shift],
    [:push, 6830],
    [:shift],
    [:push, 3984],
    [:shift],
    [:push, 1072],
    [:push, 2160],
    [:push, 9964],
    [:push, 6328],
    [:push, 11_482],
    [:push, 3203],
    [:push, 5037],
    [:push, 4235],
    [:push, 3703],
    [:push, 7747],
    [:push, 7151],
    [:push, 3453],
    [:push, 2806],
    [:push, 9648],
    [:push, 6113],
    [:push, 5510],
    [:shift],
    [:push, 1070],
    [:push, 1501],
    [:push, 3371],
    [:push, 1513],
    [:push, 3711],
    [:push, 6282],
    [:push, 13_598],
    [:push, 7558],
    [:shift],
    [:push, 14_990],
    [:push, 4798],
    [:push, 10_697],
    [:push, 7469],
    [:push, 6879],
    [:push, 7335],
    [:push, 4586],
    [:push, 3399],
    [:push, 4968],
    [:push, 5668],
    [:push, 4837],
    [:push, 10_526],
    [:shift],
    [:push, 11_027],
    [:push, 14_065],
    [:push, 1362],
    [:push, 4442],
    [:push, 11_484],
    [:shift],
    [:push, 2998],
    [:push, 2063],
    [:push, 1820],
    [:push, 1877],
    [:push, 2643],
    [:shift],
    [:push, 5497],
    [:push, 7369],
    [:shift],
    [:push, 14_278],
    [:shift],
    [:push, 8059],
    [:shift],
    [:push, 4780],
    [:push, 13_681],
    [:push, 3650],
    [:push, 13_936],
    [:push, 3773],
    [:push, 12_595],
    [:push, 2770],
    [:shift],
    [:push, 2525],
    [:push, 4413],
    [:push, 12_570],
    [:push, 3612],
    [:push, 7219],
    [:push, 7049],
    [:push, 2334],
    [:push, 6202],
    [:push, 7661],
    [:push, 10_483],
    [:push, 8081],
    [:push, 1619],
    [:push, 5333],
    [:push, 2473],
    [:push, 3890],
    [:push, 4590],
    [:shift],
    [:push, 5727],
    [:shift],
    [:push, 12_737],
    [:push, 4661],
    [:push, 13_395],
    [:push, 4281],
    [:push, 3221],
    [:push, 1634],
    [:push, 3276],
    [:push, 1777],
    [:push, 7690],
    [:push, 7725],
    [:push, 7814],
    [:push, 8012],
    [:push, 5807],
    [:push, 3695],
    [:push, 2835],
    [:shift],
    [:push, 4232],
    [:push, 13_502],
    [:push, 12_876],
    [:shift],
    [:push, 2800],
    [:shift],
    [:push, 1875],
    [:push, 11_351],
    [:push, 4090],
    [:push, 6867],
    [:push, 5508],
    [:push, 3508],
    [:push, 13_718],
    [:push, 6274],
    [:push, 13_759],
    [:push, 10_462],
    [:push, 6405],
    [:push, 12_073],
    [:shift],
    [:push, 11_154],
    [:push, 4617],
    [:push, 4931],
    [:push, 2088],
    [:push, 3954],
    [:shift],
    [:push, 13_648],
    [:push, 4739],
    [:push, 13_110],
    [:push, 2685],
    [:shift],
    [:push, 13_055],
    [:push, 3659],
    [:push, 14_194],
    [:push, 14_688],
    [:push, 5711],
    [:push, 7072],
    [:push, 13_057],
    [:push, 1823],
    [:push, 1365],
    [:push, 8205],
    [:shift],
    [:push, 13_715],
    [:shift],
    [:push, 9158],
    [:push, 2868],
    [:push, 6003],
    [:push, 4197],
    [:push, 2181],
    [:push, 1551],
    [:push, 6145],
    [:push, 5146],
    [:push, 5565],
    [:push, 9902],
    [:push, 2133],
    [:push, 2535],
    [:push, 9888],
    [:push, 11_560],
    [:push, 7539],
    [:push, 5275],
    [:push, 5403],
    [:push, 12_053],
    [:shift],
    [:push, 3383],
    [:push, 4183],
    [:push, 11_748],
    [:push, 4393],
    [:push, 11_690],
    [:push, 10_237],
    [:push, 10_252],
    [:push, 7548],
    [:push, 1427],
    [:push, 9574],
    [:push, 4051],
    [:push, 13_577],
    [:shift],
    [:push, 6057],
    [:push, 14_693],
    [:push, 2195],
    [:push, 7573],
    [:push, 10_010],
    [:push, 9576],
    [:push, 1764],
    [:push, 5941],
    [:push, 2783],
    [:push, 14_150],
    [:push, 8551],
    [:push, 2794],
    [:push, 7650],
    [:push, 4578],
    [:push, 11_554],
    [:shift],
    [:push, 1860],
    [:push, 2524],
    [:push, 7737],
    [:push, 5751],
    [:push, 3407],
    [:push, 12_868],
    [:push, 3614],
    [:shift],
    [:push, 3411],
    [:shift],
    [:push, 6682],
    [:push, 8785],
    [:push, 4728],
    [:push, 7533],
    [:push, 11_720],
    [:push, 3502],
    [:push, 1959],
    [:push, 8481],
    [:push, 5411],
    [:push, 6910],
    [:push, 10_097],
    [:push, 2909],
    [:push, 13_864],
    [:push, 9264],
    [:push, 5992],
    [:shift],
    [:push, 9432],
    [:shift],
    [:push, 2384],
    [:shift],
    [:push, 12_382],
    [:push, 10_871],
    [:push, 7736],
    [:push, 7710],
    [:shift],
    [:push, 4130],
    [:shift],
    [:push, 2518],
    [:push, 5537],
    [:push, 7754],
    [:push, 12_869],
    [:push, 1738],
    [:push, 9788],
    [:push, 9118],
    [:push, 2486],
    [:push, 2574],
    [:push, 3994],
    [:push, 11_544],
    [:push, 2000],
    [:push, 8806],
    [:push, 9132],
    [:push, 9084],
    [:shift],
    [:push, 5268],
    [:push, 8020],
    [:push, 3018],
    [:push, 11_932],
    [:push, 5355],
    [:push, 6988],
    [:push, 7096],
    [:shift],
    [:push, 1541],
    [:push, 8477],
    [:push, 5780],
    [:push, 3391],
    [:push, 5271],
    [:shift],
    [:push, 3672],
    [:shift],
    [:push, 10_660],
    [:push, 11_617],
    [:shift],
    [:push, 11_502],
    [:shift],
    [:push, 8844],
    [:shift],
    [:push, 9184],
    [:push, 6677],
    [:push, 1474],
    [:shift],
    [:push, 8178],
    [:push, 6298],
    [:push, 5687],
    [:push, 13_543],
    [:push, 2099],
    [:push, 7693],
    [:push, 14_839],
    [:push, 8135],
    [:push, 10_686],
    [:push, 11_902],
    [:push, 9526],
    [:push, 4640],
    [:push, 5167],
    [:push, 11_352],
    [:push, 8303],
    [:push, 8445],
    [:push, 2873],
    [:shift],
    [:push, 7478],
    [:shift],
    [:push, 7413],
    [:shift],
    [:push, 3557],
    [:shift],
    [:push, 6822],
    [:push, 10_900],
    [:push, 4286],
    [:push, 3931],
    [:push, 2492],
    [:push, 10_461],
    [:push, 8698],
    [:push, 6687],
    [:shift],
    [:push, 11_740],
    [:push, 10_477],
    [:push, 8078],
    [:push, 7182],
    [:push, 3906],
    [:push, 11_377],
    [:push, 7868],
    [:push, 4677],
    [:push, 2798],
    [:shift],
    [:push, 12_408],
    [:shift],
    [:push, 6534],
    [:push, 9985],
    [:push, 9698],
    [:push, 10_112],
    [:push, 9797],
    [:push, 3081],
    [:push, 3447],
    [:push, 3980],
    [:push, 6029],
    [:push, 5976],
    [:shift],
    [:push, 5109],
    [:push, 11_404],
    [:shift],
    [:push, 5988],
    [:shift],
    [:push, 9016],
    [:push, 1378],
    [:shift],
    [:push, 9577],
    [:push, 3482],
    [:shift],
    [:push, 4868],
    [:shift],
    [:push, 4384],
    [:push, 2754],
    [:push, 4115],
    [:push, 10_731],
    [:push, 6213],
    [:push, 3245],
    [:shift],
    [:push, 5324],
    [:push, 10_678],
    [:shift],
    [:push, 4458],
    [:push, 12_319],
    [:push, 5156],
    [:push, 6798],
    [:push, 3499],
    [:push, 9522],
    [:push, 1535],
    [:push, 5452],
    [:push, 11_709],
    [:push, 1632],
    [:push, 1852],
    [:push, 10_947],
    [:shift],
    [:push, 2549],
    [:push, 14_972],
    [:push, 9487],
    [:push, 5158],
    [:push, 1765],
    [:push, 6706],
    [:shift],
    [:push, 10_644],
    [:push, 2072],
    [:push, 5485],
    [:push, 1637],
    [:shift],
    [:push, 12_934],
    [:push, 3433],
    [:shift],
    [:push, 5946],
    [:shift],
    [:push, 8214],
    [:shift],
    [:push, 8118],
    [:shift],
    [:push, 4631],
    [:shift],
    [:push, 2599],
    [:push, 4409],
    [:push, 11_471],
    [:push, 14_770],
    [:push, 5069],
    [:push, 1696],
    [:shift],
    [:push, 2708],
    [:push, 2238],
    [:push, 5394],
    [:push, 7904],
    [:push, 9733],
    [:push, 7590],
    [:push, 4588],
    [:push, 14_523],
    [:push, 9051],
    [:push, 9166],
    [:push, 7634],
    [:push, 6452],
    [:push, 3479],
    [:push, 6615],
    [:push, 1606],
    [:push, 3923],
    [:push, 6591],
    [:push, 2093],
    [:shift],
    [:push, 5741],
    [:push, 4412],
    [:shift],
    [:push, 6947],
    [:push, 3142],
    [:push, 12_216],
    [:push, 5626],
    [:push, 6373],
    [:shift],
    [:push, 12_511],
    [:shift],
    [:push, 7045],
    [:push, 4267],
    [:push, 3187],
    [:push, 6248],
    [:push, 14_199],
    [:push, 8717],
    [:push, 8981],
    [:push, 1854],
    [:shift],
    [:push, 4200],
    [:push, 14_852],
    [:push, 5313],
    [:push, 4794],
    [:push, 12_560],
    [:push, 8244],
    [:push, 3978],
    [:shift],
    [:push, 4414],
    [:shift],
    [:push, 5309],
    [:shift],
    [:push, 10_680],
    [:push, 8322],
    [:push, 5763],
    [:shift],
    [:push, 11_706],
    [:push, 2707],
    [:shift],
    [:push, 3235],
    [:push, 6285],
    [:push, 2149],
    [:push, 6480],
    [:push, 9430],
    [:push, 5676],
    [:push, 5081],
    [:shift],
    [:push, 9205],
    [:push, 5078],
    [:shift],
    [:push, 7125],
    [:shift],
    [:push, 10_294],
    [:shift],
    [:push, 8700],
    [:push, 8323],
    [:push, 5315],
    [:push, 6955],
    [:push, 1495],
    [:push, 6163],
    [:shift],
    [:push, 7089],
    [:push, 10_177],
    [:push, 5554],
    [:shift],
    [:push, 4857],
    [:push, 4279],
    [:push, 10_070],
    [:shift],
    [:push, 10_986],
    [:push, 3548],
    [:push, 5732],
    [:push, 1957],
    [:push, 1658],
    [:shift],
    [:push, 7304],
    [:push, 10_800],
    [:push, 4567],
    [:push, 14_217],
    [:push, 10_289],
    [:push, 8908],
    [:push, 7485],
    [:push, 7683],
    [:push, 10_481],
    [:push, 5327],
    [:push, 2994],
    [:shift],
    [:push, 6990],
    [:push, 4602],
    [:push, 8684],
    [:push, 4196],
    [:push, 12_982],
    [:push, 5193],
    [:push, 8758],
    [:push, 12_609],
    [:push, 12_645],
    [:shift],
    [:push, 9709],
    [:shift],
    [:push, 2393],
    [:push, 9313],
    [:push, 7456],
    [:push, 3169],
    [:push, 2953],
    [:push, 13_312],
    [:push, 5416],
    [:push, 3616],
    [:push, 6225],
    [:shift],
    [:push, 5647],
    [:shift],
    [:push, 6094],
    [:shift],
    [:push, 7359],
    [:shift],
    [:push, 2934],
    [:push, 4495],
    [:push, 10_786],
    [:shift],
    [:push, 2410],
    [:push, 2356],
    [:shift],
    [:push, 13_626],
    [:shift],
    [:push, 12_732],
    [:shift],
    [:push, 7204],
    [:shift],
    [:push, 14_741],
    [:shift],
    [:push, 6560],
    [:push, 4174],
    [:shift],
    [:push, 6143],
    [:push, 3687],
    [:push, 5889],
    [:push, 2917],
    [:push, 8843],
    [:push, 8647],
    [:push, 7368],
    [:push, 4120],
    [:shift],
    [:push, 1989],
    [:push, 3234],
    [:push, 14_073],
    [:push, 7789],
    [:push, 6668],
    [:push, 3486],
    [:push, 12_321],
    [:push, 3414],
    [:push, 5996],
    [:push, 4762],
    [:push, 3648],
    [:push, 8144],
    [:push, 13_220],
    [:shift],
    [:push, 8227],
    [:push, 6803],
    [:push, 4829],
    [:push, 2148],
    [:push, 4738],
    [:push, 3628],
    [:push, 2052],
    [:push, 10_912],
    [:push, 6180],
    [:push, 12_901],
    [:push, 5995],
    [:push, 4066],
    [:push, 7275],
    [:push, 11_300],
    [:push, 6562],
    [:push, 6286],
    [:push, 10_940],
    [:push, 2390],
    [:push, 1758],
    [:push, 5878],
    [:push, 4161],
    [:push, 10_303],
    [:push, 5464],
    [:shift],
    [:push, 13_224],
    [:shift],
    [:push, 1982],
    [:push, 5218],
    [:push, 5973],
    [:push, 11_149],
    [:push, 3587],
    [:push, 6939],
    [:push, 2036],
    [:push, 1985],
    [:shift],
    [:push, 7228],
    [:shift],
    [:push, 1869],
    [:push, 1678],
    [:push, 4057],
    [:push, 3210],
    [:push, 12_374],
    [:push, 2812],
    [:push, 5125],
    [:push, 12_449],
    [:shift],
    [:push, 6933],
    [:push, 2005],
    [:push, 3676],
    [:shift],
    [:push, 5064],
    [:shift],
    [:push, 4741],
    [:shift],
    [:push, 9095],
    [:shift],
    [:push, 13_620],
    [:push, 9138],
    [:shift],
    [:push, 14_808],
    [:push, 9429],
    [:push, 8041],
    [:push, 2288],
    [:push, 7029],
    [:shift],
    [:push, 8484],
    [:push, 7290],
    [:push, 1688],
    [:push, 5088],
    [:push, 2774],
    [:push, 3455],
    [:push, 6318],
    [:push, 7077],
    [:push, 4027],
    [:push, 2186],
    [:shift],
    [:push, 3718],
    [:push, 9224],
    [:push, 9362],
    [:push, 8100],
    [:push, 5380],
    [:push, 4729],
    [:shift],
    [:push, 5126],
    [:push, 5419],
    [:push, 14_355],
    [:push, 7028],
    [:push, 2983],
    [:shift],
    [:push, 11_667],
    [:push, 1815],
    [:push, 12_827],
    [:push, 2082],
    [:push, 11_780],
    [:push, 10_941],
    [:shift],
    [:push, 8115],
    [:shift],
    [:push, 5180],
    [:push, 14_973],
    [:push, 6183],
    [:push, 2264],
    [:push, 12_456],
    [:push, 4024],
    [:push, 3182],
    [:shift],
    [:push, 2571],
    [:push, 3236],
    [:push, 4276],
    [:push, 4883],
    [:push, 5385],
    [:push, 11_412],
    [:push, 2631],
    [:shift],
    [:push, 3299],
    [:push, 10_218],
    [:push, 2424],
    [:push, 7730],
    [:push, 8954],
    [:push, 6928],
    [:push, 9092],
    [:push, 1891],
    [:push, 3361],
    [:push, 2123],
    [:push, 4545],
    [:push, 10_146],
    [:push, 9582],
    [:push, 2079],
    [:push, 9869],
    [:push, 1855],
    [:shift],
    [:push, 2298],
    [:push, 4437],
    [:push, 4344],
    [:push, 14_728],
    [:push, 5378],
    [:push, 7374],
    [:push, 2463],
    [:push, 8302],
    [:push, 4655],
    [:push, 9245],
    [:push, 7962],
    [:push, 3537],
    [:push, 2634],
    [:push, 3802],
    [:push, 7824],
    [:push, 13_755],
    [:push, 2234],
    [:push, 13_237],
    [:push, 2964],
    [:push, 3358],
    [:push, 2175],
    [:push, 12_492],
    [:push, 3073],
    [:push, 12_962],
    [:push, 3785],
    [:shift],
    [:push, 7202],
    [:push, 5148],
    [:push, 5192],
    [:push, 3556],
    [:push, 7016],
    [:push, 3742],
    [:push, 4726],
    [:push, 1889],
    [:push, 3443],
    [:push, 6255],
    [:shift],
    [:push, 7636],
    [:push, 2199],
    [:push, 8430],
    [:push, 3220],
    [:push, 3462],
    [:shift],
    [:push, 6303],
    [:push, 4854],
    [:shift],
    [:push, 5809],
    [:push, 1898],
    [:push, 13_282],
    [:shift],
    [:push, 3662],
    [:shift],
    [:push, 1921],
    [:shift],
    [:push, 7131],
    [:push, 3559],
    [:push, 5383],
    [:push, 1908],
    [:shift],
    [:push, 13_958],
    [:push, 13_081],
    [:push, 10_621],
    [:push, 12_960],
    [:push, 2228],
    [:shift],
    [:push, 5191],
    [:push, 8523],
    [:push, 14_020],
    [:push, 10_033],
    [:push, 3375],
    [:push, 3322],
    [:push, 7967],
    [:push, 4295],
    [:push, 4352],
    [:push, 2344],
    [:push, 2413],
    [:push, 3429],
    [:push, 6873],
    [:push, 13_173],
    [:push, 3437],
    [:push, 11_429],
    [:shift],
    [:push, 9479],
    [:shift],
    [:push, 2903],
    [:push, 13_257],
    [:push, 5249],
    [:push, 10_628],
    [:push, 9312],
    [:push, 12_245],
    [:push, 7878],
    [:push, 8113],
    [:push, 2414],
    [:push, 4714],
    [:shift],
    [:push, 5556],
    [:shift],
    [:push, 2784],
    [:push, 5057],
    [:shift],
    [:push, 5379],
    [:shift],
    [:push, 4233],
    [:push, 6584],
    [:shift],
    [:push, 7274],
    [:push, 10_133],
    [:push, 7944],
    [:push, 7756],
    [:shift],
    [:push, 5176],
    [:push, 4549],
    [:shift],
    [:push, 7833],
    [:push, 2379],
    [:push, 5634],
    [:push, 12_600],
    [:push, 11_180],
    [:push, 3878],
    [:push, 4796],
    [:push, 2430],
    [:push, 2644],
    [:push, 4897],
    [:push, 10_719],
    [:push, 7069],
    [:push, 14_495],
    [:push, 10_810],
    [:push, 7454],
    [:push, 2584],
    [:push, 10_420],
    [:push, 5361],
    [:shift],
    [:push, 4554],
    [:push, 7985],
    [:push, 5729],
    [:push, 4492],
    [:shift],
    [:push, 8783],
    [:push, 8432],
    [:push, 9962],
    [:push, 5206],
    [:shift],
    [:push, 13_499],
    [:shift],
    [:push, 14_174],
    [:shift],
    [:push, 6510],
    [:shift],
    [:push, 3432],
    [:shift],
    [:push, 5526],
    [:shift],
    [:push, 2124],
    [:shift],
    [:push, 13_744],
    [:shift],
    [:push, 2224],
    [:push, 6260],
    [:shift],
    [:push, 7296],
    [:push, 10_952],
    [:shift],
    [:push, 15_080],
    [:push, 3338],
    [:shift],
    [:push, 4323],
    [:shift],
    [:push, 11_870],
    [:push, 9513],
    [:shift],
    [:push, 12_930],
    [:push, 10_276],
    [:push, 12_099],
    [:push, 2885],
    [:push, 2166],
    [:push, 11_644],
    [:push, 3912],
    [:push, 10_072],
    [:shift],
    [:push, 5063],
    [:shift],
    [:push, 5235],
    [:push, 7480],
    [:push, 3988],
    [:push, 2732],
    [:push, 10_087],
    [:push, 4060],
    [:shift],
    [:push, 11_380],
    [:push, 2613],
    [:push, 2957],
    [:shift],
    [:push, 15_128],
    [:push, 7979],
    [:push, 11_512],
    [:push, 2605],
    [:push, 12_145],
    [:shift],
    [:push, 10_400],
    [:push, 4025],
    [:push, 6837],
    [:push, 6364],
    [:push, 7441],
    [:push, 11_015],
    [:push, 5532],
    [:push, 5399],
    [:push, 13_798],
    [:shift],
    [:push, 8463],
    [:push, 8713],
    [:shift],
    [:push, 3631],
    [:push, 15_245],
    [:push, 5014],
    [:push, 9026],
    [:push, 5300],
    [:push, 7841],
    [:push, 13_743],
    [:push, 12_299],
    [:push, 5968],
    [:push, 7302],
    [:push, 2255],
    [:push, 10_002],
    [:push, 9556],
    [:push, 10_543],
    [:push, 5694],
    [:push, 8867],
    [:push, 7255],
    [:push, 4362],
    [:push, 9989],
    [:shift],
    [:push, 11_937],
    [:push, 6018],
    [:push, 11_284],
    [:push, 5779],
    [:push, 4483],
    [:push, 3730],
    [:shift],
    [:push, 13_033],
    [:push, 3975],
    [:push, 6829],
    [:push, 3074],
    [:push, 6537],
    [:push, 4686],
    [:push, 2263],
    [:push, 9424],
    [:shift],
    [:push, 3255],
    [:shift],
    [:push, 5621],
    [:push, 3139],
    [:push, 14_513],
    [:push, 8318],
    [:push, 10_275],
    [:push, 8830],
    [:push, 8489],
    [:push, 6351],
    [:push, 5060],
    [:push, 9652],
    [:push, 4941],
    [:push, 5714],
    [:shift],
    [:push, 12_035],
    [:push, 6218],
    [:push, 7346],
    [:push, 2610],
    [:push, 14_137],
    [:push, 2793],
    [:push, 10_706],
    [:push, 7787],
    [:push, 12_623],
    [:shift],
    [:push, 3424],
    [:push, 5747],
    [:shift],
    [:push, 3928],
    [:shift],
    [:push, 3575],
    [:shift],
    [:push, 8563],
    [:push, 2686],
    [:push, 5824],
    [:push, 7020],
    [:shift],
    [:push, 2277],
    [:push, 6095],
    [:push, 4524],
    [:push, 6936],
    [:push, 4547],
    [:shift],
    [:push, 3745],
    [:push, 5129],
    [:push, 6392],
    [:push, 2448],
    [:shift],
    [:push, 7336],
    [:shift],
    [:push, 13_338],
    [:push, 13_160],
    [:push, 5008],
    [:push, 11_867],
    [:push, 8515],
    [:push, 5712],
    [:push, 12_524],
    [:push, 11_817],
    [:push, 5876],
    [:push, 12_668],
    [:push, 8247],
    [:push, 14_200],
    [:shift],
    [:push, 2039],
    [:push, 9060],
    [:shift],
    [:push, 5189],
    [:push, 4304],
    [:push, 8942],
    [:push, 8682],
    [:push, 2371],
    [:push, 2116],
    [:push, 2870],
    [:push, 4697],
    [:push, 5944],
    [:push, 4449],
    [:push, 11_084],
    [:push, 12_695],
    [:shift],
    [:push, 2824],
    [:push, 5066],
    [:shift],
    [:push, 5094],
    [:push, 2303],
    [:push, 13_926],
    [:push, 4954],
    [:push, 2420],
    [:push, 7827],
    [:push, 7780],
    [:push, 5092],
    [:push, 12_652],
    [:push, 2690],
    [:shift],
    [:push, 8910],
    [:shift],
    [:push, 4473],
    [:push, 2253],
    [:push, 11_725],
    [:push, 8649],
    [:push, 7865],
    [:push, 4635],
    [:push, 2699],
    [:push, 8393],
    [:push, 12_839],
    [:push, 3775],
    [:shift],
    [:push, 2069],
    [:push, 14_917],
    [:push, 5935],
    [:push, 4229],
    [:push, 8765],
    [:shift],
    [:push, 12_209],
    [:push, 5703],
    [:shift],
    [:push, 4676],
    [:push, 6764],
    [:push, 6322],
    [:push, 9482],
    [:push, 5054],
    [:push, 2680],
    [:shift],
    [:push, 6997],
    [:shift],
    [:push, 10_266],
    [:shift],
    [:push, 6651],
    [:push, 12_735],
    [:push, 11_455],
    [:push, 7015],
    [:shift],
    [:push, 9405],
    [:push, 5728],
    [:push, 6679],
    [:shift],
    [:push, 6853],
    [:shift],
    [:push, 2383],
    [:shift],
    [:push, 4263],
    [:shift],
    [:push, 10_077],
    [:shift],
    [:push, 11_818],
    [:shift],
    [:push, 4708],
    [:shift],
    [:push, 7141],
    [:push, 4069],
    [:shift],
    [:push, 2840],
    [:push, 5451],
    [:push, 3123],
    [:push, 2829],
    [:push, 12_914],
    [:push, 4803],
    [:push, 4574],
    [:push, 3004],
    [:shift],
    [:push, 8581],
    [:push, 11_242],
    [:push, 6200],
    [:push, 13_394],
    [:push, 5869],
    [:push, 9512],
    [:shift],
    [:push, 12_359],
    [:shift],
    [:push, 13_279],
    [:push, 8415],
    [:push, 9293],
    [:push, 8502],
    [:push, 5696],
    [:push, 6435],
    [:push, 4924],
    [:shift],
    [:push, 3674],
    [:push, 2670],
    [:push, 11_525],
    [:shift],
    [:push, 2451],
    [:shift],
    [:push, 4494],
    [:push, 5182],
    [:shift],
    [:push, 2966],
    [:push, 4496],
    [:push, 2948],
    [:push, 4629],
    [:push, 2649],
    [:shift],
    [:push, 10_195],
    [:shift],
    [:push, 8485],
    [:push, 8381],
    [:push, 4560],
    [:push, 4863],
    [:push, 7175],
    [:push, 2500],
    [:push, 12_472],
    [:push, 14_793],
    [:push, 7461],
    [:shift],
    [:push, 9558],
    [:push, 8498],
    [:push, 7835],
    [:push, 5742],
    [:push, 8799],
    [:shift],
    [:push, 2231],
    [:push, 11_788],
    [:push, 6008],
    [:push, 7099],
    [:push, 3795],
    [:push, 4920],
    [:push, 3949],
    [:push, 10_317],
    [:shift],
    [:push, 12_017],
    [:push, 7059],
    [:shift],
    [:push, 3973],
    [:push, 2385],
    [:shift],
    [:push, 11_954],
    [:shift],
    [:push, 11_114],
    [:push, 5437],
    [:shift],
    [:push, 10_157],
    [:push, 11_824],
    [:push, 8391],
    [:push, 3195],
    [:push, 11_639],
    [:push, 5308],
    [:push, 2632],
    [:push, 6428],
    [:shift],
    [:push, 4018],
    [:shift],
    [:push, 7746],
    [:shift],
    [:push, 4888],
    [:shift],
    [:push, 8114],
    [:push, 9740],
    [:push, 6089],
    [:push, 14_035],
    [:push, 9347],
    [:push, 11_312],
    [:push, 3382],
    [:shift],
    [:push, 7518],
    [:push, 3539],
    [:push, 5096],
    [:push, 11_511],
    [:push, 11_309],
    [:push, 9599],
    [:push, 11_229],
    [:push, 12_227],
    [:push, 8583],
    [:push, 2558],
    [:push, 4604],
    [:push, 7088],
    [:push, 8107],
    [:shift],
    [:push, 2408],
    [:shift],
    [:push, 5724],
    [:shift],
    [:push, 8091],
    [:shift],
    [:push, 4904],
    [:push, 2534],
    [:shift],
    [:push, 2896],
    [:shift],
    [:push, 7329],
    [:shift],
    [:push, 13_035],
    [:shift],
    [:push, 6528],
    [:shift],
    [:push, 14_021],
    [:shift],
    [:push, 4594],
    [:push, 9764],
    [:push, 12_368],
    [:push, 5199],
    [:push, 3286],
    [:push, 5523],
    [:push, 6379],
    [:push, 10_018],
    [:push, 6801],
    [:push, 6237],
    [:push, 2672],
    [:shift],
    [:push, 12_350],
    [:shift],
    [:push, 5990],
    [:push, 9466],
    [:push, 7183],
    [:push, 3671],
    [:push, 4491],
    [:shift],
    [:push, 8552],
    [:shift],
    [:push, 5538],
    [:shift],
    [:push, 2717],
    [:push, 4184],
    [:push, 3863],
    [:push, 8871],
    [:push, 8532],
    [:shift],
    [:push, 5582],
    [:push, 5477],
    [:push, 6551],
    [:push, 4245],
    [:push, 14_644],
    [:shift],
    [:push, 8920],
    [:shift],
    [:push, 6660],
    [:push, 6051],
    [:push, 6882],
    [:shift],
    [:push, 8346],
    [:push, 10_716],
    [:push, 4845],
    [:push, 11_145],
    [:shift],
    [:push, 4307],
    [:push, 9514],
    [:push, 6068],
    [:push, 2924],
    [:push, 10_368],
    [:push, 9247],
    [:push, 11_250],
    [:push, 11_325],
    [:push, 10_102],
    [:shift],
    [:push, 6139],
    [:push, 10_966],
    [:push, 7238],
    [:push, 10_916],
    [:shift],
    [:push, 4325],
    [:push, 5425],
    [:push, 9319],
    [:push, 5938],
    [:push, 9554],
    [:push, 8221],
    [:push, 5768],
    [:push, 3820],
    [:push, 5531],
    [:push, 2368],
    [:push, 13_022],
    [:push, 6508],
    [:push, 3239],
    [:push, 13_084],
    [:push, 9575],
    [:push, 13_438],
    [:push, 2961],
    [:shift],
    [:push, 12_489],
    [:push, 5767],
    [:push, 5377],
    [:push, 10_417],
    [:push, 4637],
    [:shift],
    [:push, 9927],
    [:shift],
    [:push, 6076],
    [:push, 6582],
    [:push, 6875],
    [:push, 4026],
    [:shift],
    [:push, 6119],
    [:shift],
    [:push, 13_006],
    [:push, 3304],
    [:push, 2807],
    [:push, 5410],
    [:push, 6115],
    [:push, 4071],
    [:push, 14_032],
    [:shift],
    [:push, 3366],
    [:push, 7181],
    [:push, 11_461],
    [:push, 2526],
    [:push, 3684],
    [:push, 2938],
    [:push, 5528],
    [:shift],
    [:push, 14_131],
    [:push, 6294],
    [:push, 8640],
    [:shift],
    [:push, 8345],
    [:push, 7030],
    [:push, 12_729],
    [:push, 11_179],
    [:push, 4849],
    [:push, 7951],
    [:push, 7393],
    [:push, 11_977],
    [:push, 14_558],
    [:push, 11_448],
    [:push, 11_414],
    [:shift],
    [:push, 4225],
    [:push, 4615],
    [:shift],
    [:push, 8919],
    [:push, 5655],
    [:push, 8224],
    [:push, 12_158],
    [:push, 2730],
    [:push, 7216],
    [:push, 7324],
    [:shift],
    [:push, 4117],
    [:push, 2565],
    [:push, 14_180],
    [:shift],
    [:push, 6175],
    [:shift],
    [:push, 9725],
    [:shift],
    [:push, 12_945],
    [:shift],
    [:push, 4502],
    [:shift],
    [:push, 4855],
    [:shift],
    [:push, 4067],
    [:shift],
    [:push, 7097],
    [:push, 8096],
    [:push, 4426],
    [:push, 4244],
    [:push, 3250],
    [:push, 7716],
    [:push, 7071],
    [:push, 14_125],
    [:push, 8979],
    [:push, 4585],
    [:push, 9690],
    [:push, 5991],
    [:shift],
    [:push, 12_239],
    [:shift],
    [:push, 4816],
    [:shift],
    [:push, 6492],
    [:shift],
    [:push, 13_479],
    [:shift],
    [:push, 7963],
    [:shift],
    [:push, 14_236],
    [:shift],
    [:push, 6215],
    [:push, 6723],
    [:shift],
    [:push, 5970],
    [:shift],
    [:push, 3086],
    [:shift],
    [:push, 3334],
    [:shift],
    [:push, 6064],
    [:shift],
    [:push, 8040],
    [:push, 2858],
    [:push, 2677],
    [:push, 6855],
    [:shift],
    [:push, 6049],
    [:push, 4515],
    [:push, 12_638],
    [:push, 3190],
    [:push, 3534],
    [:push, 3824],
    [:push, 6445],
    [:push, 4096],
    [:push, 3800],
    [:push, 2886],
    [:push, 3061],
    [:shift],
    [:push, 12_568],
    [:push, 4257],
    [:shift],
    [:push, 8572],
    [:shift],
    [:push, 5231],
    [:push, 7551],
    [:push, 7136],
    [:push, 5640],
    [:push, 3664],
    [:shift],
    [:push, 12_680],
    [:shift],
    [:push, 4906],
    [:shift],
    [:push, 5252],
    [:push, 3828],
    [:push, 9284],
    [:push, 8055],
    [:push, 4528],
    [:push, 6391],
    [:shift],
    [:push, 3346],
    [:push, 8619],
    [:shift],
    [:push, 4885],
    [:shift],
    [:push, 9244],
    [:shift],
    [:push, 8280],
    [:push, 12_045],
    [:push, 6965],
    [:push, 10_853],
    [:push, 12_210],
    [:push, 8319],
    [:push, 11_522],
    [:push, 14_031],
    [:shift],
    [:push, 11_416],
    [:push, 13_116],
    [:push, 9983],
    [:push, 8795],
    [:push, 2663],
    [:shift],
    [:push, 9874],
    [:shift],
    [:push, 10_723],
    [:push, 2796],
    [:push, 9254],
    [:push, 7443],
    [:shift],
    [:push, 7034],
    [:shift],
    [:push, 13_831],
    [:push, 5978],
    [:push, 3422],
    [:push, 11_040],
    [:push, 4772],
    [:push, 4230],
    [:push, 14_816],
    [:push, 14_394],
    [:push, 6127],
    [:push, 11_606],
    [:push, 5131],
    [:push, 10_909],
    [:push, 3179],
    [:push, 4379],
    [:shift],
    [:push, 2884],
    [:shift],
    [:push, 14_301],
    [:shift],
    [:push, 13_342],
    [:shift],
    [:push, 6833],
    [:shift],
    [:push, 7640],
    [:shift],
    [:push, 6453],
    [:shift],
    [:push, 4734],
    [:shift],
    [:push, 8371],
    [:push, 7701],
    [:push, 6088],
    [:shift],
    [:push, 3786],
    [:shift],
    [:push, 12_181],
    [:shift],
    [:push, 4878],
    [:push, 3991],
    [:push, 7475],
    [:push, 13_233],
    [:push, 12_285],
    [:shift],
    [:push, 9381],
    [:push, 9530],
    [:push, 4756],
    [:push, 14_143],
    [:shift],
    [:push, 9433],
    [:shift],
    [:push, 12_256],
    [:shift],
    [:push, 13_431],
    [:push, 2636],
    [:push, 9286],
    [:push, 12_698],
    [:push, 4311],
    [:shift],
    [:push, 3700],
    [:push, 4551],
    [:shift],
    [:push, 4454],
    [:push, 6314],
    [:shift],
    [:push, 2745],
    [:shift],
    [:push, 10_519],
    [:push, 8173],
    [:shift],
    [:push, 4056],
    [:shift],
    [:push, 5106],
    [:push, 3461],
    [:shift],
    [:push, 2947],
    [:push, 11_988],
    [:push, 2621],
    [:push, 5765],
    [:push, 9460],
    [:shift],
    [:push, 3822],
    [:push, 7193],
    [:push, 8008],
    [:shift],
    [:push, 10_513],
    [:push, 8201],
    [:push, 13_180],
    [:push, 3021],
    [:push, 6718],
    [:push, 7966],
    [:push, 4620],
    [:push, 13_163],
    [:push, 7969],
    [:push, 3714],
    [:push, 9485],
    [:push, 4611],
    [:push, 6881],
    [:push, 5770],
    [:shift],
    [:push, 14_472],
    [:shift],
    [:push, 7104],
    [:push, 9942],
    [:push, 9217],
    [:shift],
    [:push, 2958],
    [:shift],
    [:push, 4081],
    [:push, 2856],
    [:shift],
    [:push, 7691],
    [:push, 12_278],
    [:shift],
    [:push, 7794],
    [:push, 5500],
    [:push, 4712],
    [:push, 13_704],
    [:shift],
    [:push, 3507],
    [:push, 12_047],
    [:shift],
    [:push, 2733],
    [:push, 8308],
    [:shift],
    [:push, 4836],
    [:push, 14_877],
    [:push, 7991],
    [:push, 4327],
    [:shift],
    [:push, 8174],
    [:shift],
    [:push, 11_537],
    [:shift],
    [:push, 4711],
    [:shift],
    [:push, 3889],
    [:shift],
    [:push, 8254],
    [:shift],
    [:push, 4966],
    [:push, 4169],
    [:push, 9936],
    [:shift],
    [:push, 9087],
    [:shift],
    [:push, 13_225],
    [:push, 10_162],
    [:push, 9385],
    [:shift],
    [:push, 9019],
    [:push, 8832],
    [:push, 15_155],
    [:push, 10_441],
    [:push, 7607],
    [:push, 6797],
    [:push, 13_991],
    [:push, 7334],
    [:push, 7194],
    [:push, 3798],
    [:push, 5294],
    [:push, 4718],
    [:push, 5891],
    [:shift],
    [:push, 3175],
    [:push, 5740],
    [:push, 5230],
    [:push, 8548],
    [:push, 8884],
    [:push, 6831],
    [:shift],
    [:push, 14_172],
    [:shift],
    [:push, 7326],
    [:shift],
    [:push, 5719],
    [:shift],
    [:push, 12_634],
    [:shift],
    [:push, 6592],
    [:shift],
    [:push, 2737],
    [:push, 5029],
    [:push, 4895],
    [:push, 6918],
    [:shift],
    [:push, 14_038],
    [:shift],
    [:push, 14_795],
    [:push, 10_156],
    [:shift],
    [:push, 8429],
    [:shift],
    [:push, 5067],
    [:push, 15_294],
    [:push, 4818],
    [:push, 3498],
    [:push, 3760],
    [:push, 4870],
    [:shift],
    [:push, 7759],
    [:push, 10_891],
    [:push, 3298],
    [:shift],
    [:push, 4147],
    [:push, 4550],
    [:push, 10_973],
    [:shift],
    [:push, 6906],
    [:shift],
    [:push, 5802],
    [:push, 14_372],
    [:shift],
    [:push, 10_046],
    [:push, 10_105],
    [:push, 9746],
    [:push, 8593],
    [:shift],
    [:push, 8739],
    [:shift],
    [:push, 4998],
    [:push, 4603],
    [:push, 9785],
    [:push, 9376],
    [:push, 3027],
    [:push, 4176],
    [:push, 10_835],
    [:push, 3952],
    [:push, 14_440],
    [:push, 5304],
    [:shift],
    [:push, 6280],
    [:shift],
    [:push, 7531],
    [:shift],
    [:push, 3596],
    [:shift],
    [:push, 7714],
    [:shift],
    [:push, 9930],
    [:push, 13_575],
    [:push, 6902],
    [:push, 14_353],
    [:push, 4699],
    [:push, 2803],
    [:shift],
    [:push, 5839],
    [:push, 7561],
    [:push, 9210],
    [:push, 8568],
    [:push, 4971],
    [:push, 3143],
    [:push, 3652],
    [:push, 6036],
    [:shift],
    [:push, 8529],
    [:push, 5351],
    [:push, 10_313],
    [:push, 5954],
    [:push, 3146],
    [:push, 3319],
    [:push, 11_488],
    [:push, 14_515],
    [:push, 12_415],
    [:push, 4482],
    [:push, 2991],
    [:push, 4007],
    [:push, 7569],
    [:push, 3682],
    [:push, 7282],
    [:shift],
    [:push, 5281],
    [:push, 5038],
    [:push, 3495],
    [:shift],
    [:push, 9221],
    [:push, 10_709],
    [:push, 4827],
    [:push, 6545],
    [:push, 3118],
    [:push, 3713],
    [:push, 8264],
    [:push, 7659],
    [:shift],
    [:push, 3070],
    [:shift],
    [:push, 13_707],
    [:shift],
    [:push, 7139],
    [:push, 3033],
    [:push, 3701],
    [:push, 11_672],
    [:push, 12_870],
    [:shift],
    [:push, 9903],
    [:shift],
    [:push, 5852],
    [:shift],
    [:push, 5915],
    [:shift],
    [:push, 5274],
    [:shift],
    [:push, 10_989],
    [:shift],
    [:push, 7987],
    [:shift],
    [:push, 7001],
    [:shift],
    [:push, 9569],
    [:shift],
    [:push, 7798],
    [:shift],
    [:push, 11_806],
    [:shift],
    [:push, 4436],
    [:push, 8442],
    [:push, 2910],
    [:push, 2839],
    [:push, 12_200],
    [:push, 7382],
    [:push, 7585],
    [:push, 11_607],
    [:push, 13_290],
    [:push, 12_213],
    [:shift],
    [:push, 6630],
    [:push, 6299],
    [:push, 14_674],
    [:push, 5020],
    [:shift],
    [:push, 4339],
    [:shift],
    [:push, 6590],
    [:push, 11_905],
    [:push, 5558],
    [:shift],
    [:push, 3678],
    [:push, 10_931],
    [:push, 6778],
    [:shift],
    [:push, 2967],
    [:shift],
    [:push, 12_777],
    [:shift],
    [:push, 9414],
    [:push, 4328],
    [:shift],
    [:push, 9820],
    [:push, 3898],
    [:push, 6765],
    [:shift],
    [:push, 3205],
    [:push, 6100],
    [:push, 3976],
    [:shift],
    [:push, 12_238],
    [:shift],
    [:push, 6423],
    [:shift],
    [:push, 13_609],
    [:push, 9025],
    [:push, 6121],
    [:push, 5615],
    [:push, 5101],
    [:push, 5831],
    [:push, 3216],
    [:shift],
    [:push, 13_281],
    [:shift],
    [:push, 14_556],
    [:shift],
    [:push, 9448],
    [:push, 13_427],
    [:shift],
    [:push, 6201],
    [:push, 9845],
    [:shift],
    [:push, 7860],
    [:push, 11_641],
    [:shift],
    [:push, 6770],
    [:push, 6563],
    [:push, 12_931],
    [:push, 12_391],
    [:shift],
    [:push, 11_652],
    [:shift],
    [:push, 13_863],
    [:shift],
    [:push, 11_401],
    [:push, 6874],
    [:push, 7426],
    [:push, 4163],
    [:push, 11_291],
    [:push, 7278],
    [:push, 7790],
    [:shift],
    [:push, 4341],
    [:push, 15_018],
    [:push, 5632],
    [:push, 5715],
    [:push, 9760],
    [:push, 8277],
    [:shift],
    [:push, 13_415],
    [:push, 6221],
    [:shift],
    [:push, 3067],
    [:shift],
    [:push, 12_205],
    [:shift],
    [:push, 3489],
    [:shift],
    [:push, 8285],
    [:shift],
    [:push, 5099],
    [:push, 9378],
    [:shift],
    [:push, 13_229],
    [:push, 3632],
    [:push, 10_083],
    [:push, 8861],
    [:push, 12_433],
    [:push, 13_459],
    [:shift],
    [:push, 10_399],
    [:shift],
    [:push, 9833],
    [:push, 15_078],
    [:push, 7148],
    [:push, 5041],
    [:push, 9616],
    [:shift],
    [:push, 9675],
    [:shift],
    [:push, 3218],
    [:push, 11_947],
    [:push, 4048],
    [:shift],
    [:push, 4911],
    [:push, 3751],
    [:push, 4925],
    [:push, 6821],
    [:push, 7173],
    [:push, 12_640],
    [:shift],
    [:push, 12_664],
    [:shift],
    [:push, 4138],
    [:shift],
    [:push, 11_324],
    [:push, 7847],
    [:push, 11_379],
    [:shift],
    [:push, 3796],
    [:push, 3560],
    [:push, 4650],
    [:shift],
    [:push, 9297],
    [:shift],
    [:push, 5536],
    [:shift],
    [:push, 10_827],
    [:push, 6472],
    [:shift],
    [:push, 3945],
    [:shift],
    [:push, 7708],
    [:shift],
    [:push, 6002],
    [:push, 5540],
    [:push, 13_268],
    [:push, 6595],
    [:push, 5607],
    [:push, 4470],
    [:push, 4542],
    [:push, 5440],
    [:push, 12_281],
    [:push, 11_793],
    [:push, 8992],
    [:push, 5989],
    [:push, 4923],
    [:push, 3702],
    [:shift],
    [:push, 9010],
    [:push, 8837],
    [:push, 12_389],
    [:push, 6557],
    [:push, 5329],
    [:shift],
    [:push, 12_756],
    [:shift],
    [:push, 4134],
    [:push, 5459],
    [:shift],
    [:push, 6811],
    [:shift],
    [:push, 8468],
    [:shift],
    [:push, 7779],
    [:push, 8823],
    [:push, 5248],
    [:push, 3062],
    [:push, 8760],
    [:shift],
    [:push, 4151],
    [:push, 4092],
    [:push, 8976],
    [:push, 12_193],
    [:push, 3680],
    [:push, 5012],
    [:push, 7460],
    [:push, 10_366],
    [:push, 4204],
    [:push, 10_312],
    [:push, 5898],
    [:shift],
    [:push, 6835],
    [:shift],
    [:push, 8829],
    [:push, 3963],
    [:shift],
    [:push, 4270],
    [:shift],
    [:push, 4361],
    [:push, 8517],
    [:push, 13_734],
    [:shift],
    [:push, 3665],
    [:push, 12_148],
    [:push, 13_226],
    [:push, 8483],
    [:push, 4632],
    [:shift],
    [:push, 6022],
    [:push, 11_732],
    [:push, 9934],
    [:push, 8357],
    [:push, 8687],
    [:push, 8156],
    [:push, 7793],
    [:push, 3311],
    [:push, 10_773],
    [:push, 3174],
    [:push, 10_809],
    [:shift],
    [:push, 6515],
    [:push, 4173],
    [:push, 12_339],
    [:push, 3864],
    [:push, 7955],
    [:push, 14_052],
    [:push, 10_668],
    [:push, 12_505],
    [:push, 5870],
    [:push, 7931],
    [:push, 13_812],
    [:push, 4682],
    [:shift],
    [:push, 5525],
    [:push, 7513],
    [:shift],
    [:push, 4250],
    [:shift],
    [:push, 3446],
    [:shift],
    [:push, 4985],
    [:shift],
    [:push, 7772],
    [:shift],
    [:push, 13_177],
    [:shift],
    [:push, 8352],
    [:shift],
    [:push, 5623],
    [:shift],
    [:push, 3601],
    [:shift],
    [:push, 10_572],
    [:push, 6527],
    [:push, 4970],
    [:shift],
    [:push, 5257],
    [:shift],
    [:push, 6566],
    [:push, 12_479],
    [:shift],
    [:push, 4127],
    [:push, 5229],
    [:push, 13_422],
    [:push, 7950],
    [:push, 8735],
    [:push, 15_070],
    [:push, 3934],
    [:push, 5894],
    [:push, 5277],
    [:push, 3335],
    [:push, 4972],
    [:shift],
    [:push, 4243],
    [:push, 6310],
    [:push, 4965],
    [:push, 7323],
    [:push, 4023],
    [:push, 5050],
    [:push, 11_786],
    [:shift],
    [:push, 8032],
    [:push, 3428],
    [:shift],
    [:push, 6214],
    [:push, 4584],
    [:push, 8367],
    [:push, 7459],
    [:push, 12_620],
    [:push, 14_148],
    [:push, 13_770],
    [:push, 13_250],
    [:shift],
    [:push, 11_578],
    [:push, 6116],
    [:push, 3993],
    [:shift],
    [:push, 4063],
    [:shift],
    [:push, 10_079],
    [:push, 11_233],
    [:push, 9897],
    [:push, 11_058],
    [:push, 3704],
    [:push, 9219],
    [:push, 6593],
    [:push, 5993],
    [:push, 3622],
    [:push, 13_582],
    [:push, 5144],
    [:shift],
    [:push, 4264],
    [:push, 6594],
    [:shift],
    [:push, 13_445],
    [:push, 11_802],
    [:shift],
    [:push, 4943],
    [:shift],
    [:push, 14_845],
    [:shift],
    [:push, 11_726],
    [:shift],
    [:push, 4991],
    [:push, 7171],
    [:push, 8576],
    [:push, 13_660],
    [:push, 9608],
    [:push, 3198],
    [:push, 11_073],
    [:push, 9375],
    [:push, 6396],
    [:push, 12_696],
    [:push, 11_559],
    [:push, 11_002],
    [:push, 4884],
    [:push, 4209],
    [:push, 6912],
    [:push, 12_687],
    [:push, 11_738],
    [:push, 4043],
    [:push, 3543],
    [:push, 3873],
    [:shift],
    [:push, 12_484],
    [:push, 10_127],
    [:push, 3189],
    [:push, 8904],
    [:shift],
    [:push, 5553],
    [:shift],
    [:push, 9391],
    [:push, 3578],
    [:shift],
    [:push, 14_291],
    [:shift],
    [:push, 4809],
    [:shift],
    [:push, 10_221],
    [:push, 5606],
    [:push, 4192],
    [:shift],
    [:push, 4555],
    [:shift],
    [:push, 11_013],
    [:shift],
    [:push, 12_826],
    [:push, 6659],
    [:push, 6030],
    [:shift],
    [:push, 6848],
    [:push, 6617],
    [:shift],
    [:push, 7842],
    [:push, 6477],
    [:shift],
    [:push, 9636],
    [:shift],
    [:push, 6108],
    [:shift],
    [:push, 7721],
    [:shift],
    [:push, 5039],
    [:push, 5644],
    [:shift],
    [:push, 11_945],
    [:push, 9511],
    [:shift],
    [:push, 4763],
    [:shift],
    [:push, 10_508],
    [:shift],
    [:push, 3397],
    [:shift],
    [:push, 5079],
    [:shift],
    [:push, 11_338],
    [:shift],
    [:push, 3653],
    [:shift],
    [:push, 10_484],
    [:shift],
    [:push, 15_201],
    [:push, 6250],
    [:push, 8283],
    [:push, 15_102],
    [:shift],
    [:push, 8125],
    [:shift],
    [:push, 5393],
    [:shift],
    [:push, 6671],
    [:shift],
    [:push, 3352],
    [:shift],
    [:push, 3971],
    [:shift],
    [:push, 11_763],
    [:push, 3373],
    [:shift],
    [:push, 5100],
    [:push, 7394],
    [:push, 8226],
    [:push, 13_563],
    [:shift],
    [:push, 7482],
    [:push, 3763],
    [:push, 10_539],
    [:push, 5356],
    [:shift],
    [:push, 12_688],
    [:shift],
    [:push, 9488],
    [:push, 7416],
    [:push, 4698],
    [:push, 3836],
    [:push, 6397],
    [:push, 8580],
    [:push, 4445],
    [:push, 13_751],
    [:push, 5804],
    [:push, 4497],
    [:push, 5913],
    [:push, 10_407],
    [:push, 6607],
    [:push, 3305],
    [:shift],
    [:push, 3840],
    [:push, 4609],
    [:shift],
    [:push, 14_213],
    [:shift],
    [:push, 4338],
    [:push, 4256],
    [:push, 11_865],
    [:push, 4272],
    [:push, 3834],
    [:push, 10_278],
    [:shift],
    [:push, 5899],
    [:shift],
    [:push, 6900],
    [:push, 11_944],
    [:push, 9301],
    [:push, 3542],
    [:push, 12_880],
    [:shift],
    [:push, 11_353],
    [:shift],
    [:push, 5589],
    [:shift],
    [:push, 3608],
    [:shift],
    [:push, 4195],
    [:shift],
    [:push, 10_335],
    [:shift],
    [:push, 10_179],
    [:shift],
    [:push, 15_242],
    [:shift],
    [:push, 13_209],
    [:shift],
    [:push, 6333],
    [:push, 9124],
    [:push, 4261],
    [:shift],
    [:push, 5466],
    [:push, 8881],
    [:push, 7681],
    [:shift],
    [:push, 9265],
    [:push, 5571],
    [:push, 6998],
    [:shift],
    [:push, 9807],
    [:shift],
    [:push, 9646],
    [:shift],
    [:push, 10_528],
    [:push, 10_076],
    [:push, 3624],
    [:push, 7776],
    [:shift],
    [:push, 5495],
    [:push, 7082],
    [:push, 15_158],
    [:push, 14_512],
    [:push, 4484],
    [:shift],
    [:push, 5179],
    [:shift],
    [:push, 15_269],
    [:shift],
    [:push, 11_387],
    [:push, 13_108],
    [:push, 5111],
    [:push, 15_026],
    [:push, 12_779],
    [:push, 10_918],
    [:push, 13_235],
    [:shift],
    [:push, 3987],
    [:push, 3420],
    [:push, 12_917],
    [:push, 3958],
    [:push, 10_339],
    [:shift],
    [:push, 12_746],
    [:push, 5004],
    [:push, 13_310],
    [:push, 12_845],
    [:push, 10_515],
    [:shift],
    [:push, 7399],
    [:push, 4723],
    [:shift],
    [:push, 7515],
    [:push, 6037],
    [:push, 3691],
    [:push, 7014],
    [:shift],
    [:push, 5237],
    [:push, 9750],
    [:push, 11_919],
    [:push, 4062],
    [:shift],
    [:push, 7352],
    [:shift],
    [:push, 12_093],
    [:shift],
    [:push, 14_399],
    [:shift],
    [:push, 12_320],
    [:shift],
    [:push, 7724],
    [:push, 5846],
    [:shift],
    [:push, 10_829],
    [:shift],
    [:push, 14_553],
    [:shift],
    [:push, 9598],
    [:shift],
    [:push, 7128],
    [:shift],
    [:push, 10_569],
    [:shift],
    [:push, 3896],
    [:push, 5499],
    [:push, 3405],
    [:push, 12_861],
    [:shift],
    [:push, 7570],
    [:shift],
    [:push, 7314],
    [:push, 8661],
    [:shift],
    [:push, 5405],
    [:push, 4814],
    [:shift],
    [:push, 9986],
    [:shift],
    [:push, 4881],
    [:shift],
    [:push, 10_705],
    [:shift],
    [:push, 5364],
    [:push, 11_288],
    [:shift],
    [:push, 5983],
    [:push, 5789],
    [:push, 3918],
    [:push, 10_235],
    [:push, 14_966],
    [:shift],
    [:push, 9816],
    [:shift],
    [:push, 5886],
    [:shift],
    [:push, 4185],
    [:push, 7552],
    [:push, 4825],
    [:shift],
    [:push, 13_939],
    [:shift],
    [:push, 3516],
    [:shift],
    [:push, 8103],
    [:shift],
    [:push, 7600],
    [:push, 4447],
    [:shift],
    [:push, 10_016],
    [:push, 7351],
    [:push, 11_899],
    [:push, 13_646],
    [:push, 4316],
    [:shift],
    [:push, 7232],
    [:shift],
    [:push, 6771],
    [:shift],
    [:push, 14_569],
    [:shift],
    [:push, 4218],
    [:push, 8745],
    [:push, 7327],
    [:shift],
    [:push, 5901],
    [:shift],
    [:push, 11_003],
    [:push, 12_364],
    [:push, 13_973],
    [:shift],
    [:push, 3939],
    [:shift],
    [:push, 9452],
    [:shift],
    [:push, 8996],
    [:push, 11_967],
    [:shift],
    [:push, 6730],
    [:push, 5113],
    [:push, 12_636],
    [:push, 11_136],
    [:push, 13_830],
    [:shift],
    [:push, 9149],
    [:push, 9613],
    [:push, 8170],
    [:push, 5221],
    [:push, 9782],
    [:push, 4591],
    [:shift],
    [:push, 7419],
    [:push, 9664],
    [:shift],
    [:push, 6466],
    [:push, 12_624],
    [:push, 14_684],
    [:shift],
    [:push, 10_675],
    [:push, 7735],
    [:shift],
    [:push, 12_022],
    [:push, 8800],
    [:push, 10_201],
    [:push, 13_783],
    [:push, 3823],
    [:shift],
    [:push, 5406],
    [:push, 9439],
    [:shift],
    [:push, 9855],
    [:shift],
    [:push, 8615],
    [:shift],
    [:push, 13_149],
    [:shift],
    [:push, 13_334],
    [:push, 15_181],
    [:shift],
    [:push, 9390],
    [:shift],
    [:push, 4548],
    [:shift],
    [:push, 3600],
    [:push, 5093],
    [:push, 6290],
    [:push, 6609],
    [:push, 6394],
    [:shift],
    [:push, 8037],
    [:push, 7080],
    [:push, 6932],
    [:shift],
    [:push, 10_836],
    [:push, 6000],
    [:push, 6739],
    [:push, 12_892],
    [:shift],
    [:push, 12_072],
    [:push, 13_747],
    [:push, 12_373],
    [:push, 7806],
    [:push, 6585],
    [:push, 9047],
    [:shift],
    [:push, 11_443],
    [:shift],
    [:push, 10_382],
    [:push, 13_636],
    [:push, 3732],
    [:shift],
    [:push, 6531],
    [:shift],
    [:push, 14_198],
    [:shift],
    [:push, 9606],
    [:shift],
    [:push, 14_491],
    [:shift],
    [:push, 12_025],
    [:shift],
    [:push, 6541],
    [:shift],
    [:push, 7409],
    [:push, 15_268],
    [:push, 9034],
    [:push, 4595],
    [:push, 4359],
    [:shift],
    [:push, 7156],
    [:shift],
    [:push, 5285],
    [:shift],
    [:push, 3886],
    [:shift],
    [:push, 4226],
    [:shift],
    [:push, 3766],
    [:shift],
    [:push, 9399],
    [:shift],
    [:push, 3847],
    [:push, 4146],
    [:push, 5322],
    [:push, 10_113],
    [:push, 13_203],
    [:push, 9332],
    [:push, 4423],
    [:shift],
    [:push, 4596],
    [:push, 4432],
    [:shift],
    [:push, 4083],
    [:shift],
    [:push, 4079],
    [:push, 12_558],
    [:shift],
    [:push, 7667],
    [:push, 12_725],
    [:push, 8915],
    [:shift],
    [:push, 8142],
    [:push, 12_866],
    [:push, 6763],
    [:push, 7402],
    [:push, 9191],
    [:push, 8589],
    [:push, 7418],
    [:push, 9163],
    [:push, 3683],
    [:shift],
    [:push, 11_492],
    [:push, 7206],
    [:push, 4867],
    [:shift],
    [:push, 8464],
    [:shift],
    [:push, 11_694],
    [:shift],
    [:push, 10_463],
    [:push, 15_321],
    [:push, 4704],
    [:shift],
    [:push, 12_269],
    [:push, 12_727],
    [:push, 5185],
    [:shift],
    [:push, 4376],
    [:shift],
    [:push, 6844],
    [:shift],
    [:push, 4861],
    [:push, 7379],
    [:push, 8802],
    [:push, 5609],
    [:shift],
    [:push, 9317],
    [:shift],
    [:push, 4132],
    [:shift],
    [:push, 7341],
    [:push, 6287],
    [:shift],
    [:push, 5238],
    [:push, 4401],
    [:shift],
    [:push, 6721],
    [:shift],
    [:push, 5278],
    [:push, 4089],
    [:push, 10_765],
    [:push, 7869],
    [:push, 7689],
    [:push, 6486],
    [:shift],
    [:push, 13_922],
    [:push, 11_950],
    [:push, 7161],
    [:push, 9070],
    [:push, 12_423],
    [:push, 4206],
    [:shift],
    [:push, 11_978],
    [:shift],
    [:push, 4321],
    [:shift],
    [:push, 4118],
    [:shift],
    [:push, 7081],
    [:shift],
    [:push, 5212],
    [:shift],
    [:push, 4418],
    [:shift],
    [:push, 4377],
    [:push, 14_407],
    [:shift],
    [:push, 6985],
    [:shift],
    [:push, 12_811],
    [:shift],
    [:push, 14_418],
    [:shift],
    [:push, 13_762],
    [:push, 10_915],
    [:shift],
    [:push, 3941],
    [:shift],
    [:push, 13_221],
    [:shift],
    [:push, 7657],
    [:shift],
    [:push, 4049],
    [:shift],
    [:push, 7906],
    [:shift],
    [:push, 7990],
    [:shift],
    [:push, 5297],
    [:shift],
    [:push, 8320],
    [:shift],
    [:push, 8194],
    [:shift],
    [:push, 4190],
    [:shift],
    [:push, 14_437],
    [:shift],
    [:push, 5139],
    [:shift],
    [:push, 5358],
    [:push, 6193],
    [:push, 3846],
    [:push, 14_789],
    [:push, 5290],
    [:shift],
    [:push, 9463],
    [:shift],
    [:push, 14_701],
    [:shift],
    [:push, 7921],
    [:shift],
    [:push, 11_862],
    [:shift],
    [:push, 5675],
    [:shift],
    [:push, 6222],
    [:shift],
    [:push, 9591],
    [:shift],
    [:push, 4435],
    [:shift],
    [:push, 5083],
    [:shift],
    [:push, 10_807],
    [:shift],
    [:push, 9957],
    [:shift],
    [:push, 12_943],
    [:shift],
    [:push, 4986],
    [:push, 7612],
    [:push, 12_365],
    [:shift],
    [:push, 6300],
    [:shift],
    [:push, 9864],
    [:shift],
    [:push, 5822],
    [:shift],
    [:push, 8153],
    [:push, 9283],
    [:push, 4869],
    [:push, 14_163],
    [:push, 8326],
    [:shift],
    [:push, 8828],
    [:shift],
    [:push, 4673],
    [:shift],
    [:push, 10_225],
    [:shift],
    [:push, 6321],
    [:push, 7764],
    [:shift],
    [:push, 6755],
    [:shift],
    [:push, 10_685],
    [:push, 13_386],
    [:push, 6696],
    [:push, 15_159],
    [:push, 12_840],
    [:push, 9135],
    [:push, 9453],
    [:push, 8232],
    [:push, 4075],
    [:shift],
    [:push, 9732],
    [:push, 13_348],
    [:shift],
    [:push, 7093],
    [:push, 9337],
    [:shift],
    [:push, 6658],
    [:push, 8067],
    [:push, 5808],
    [:push, 15_005],
    [:push, 9579],
    [:shift],
    [:push, 6120],
    [:shift],
    [:push, 11_787],
    [:shift],
    [:push, 11_093],
    [:push, 5705],
    [:push, 7812],
    [:push, 10_188],
    [:push, 4408],
    [:shift],
    [:push, 12_897],
    [:push, 7406],
    [:shift],
    [:push, 6968],
    [:shift],
    [:push, 7738],
    [:shift],
    [:push, 7712],
    [:shift],
    [:push, 7145],
    [:shift],
    [:push, 6523],
    [:shift],
    [:push, 4416],
    [:shift],
    [:push, 5504],
    [:shift],
    [:push, 11_765],
    [:shift],
    [:push, 6681],
    [:shift],
    [:push, 4065],
    [:push, 10_866],
    [:push, 5931],
    [:push, 4340],
    [:push, 5438],
    [:push, 8626],
    [:push, 5934],
    [:push, 7106],
    [:shift],
    [:push, 3932],
    [:push, 4275],
    [:push, 14_783],
    [:push, 9003],
    [:push, 11_399],
    [:push, 8825],
    [:push, 15_188],
    [:shift],
    [:push, 4725],
    [:shift],
    [:push, 4253],
    [:shift],
    [:push, 6572],
    [:shift],
    [:push, 11_339],
    [:shift],
    [:push, 12_090],
    [:shift],
    [:push, 12_214],
    [:shift],
    [:push, 10_501],
    [:shift],
    [:push, 6219],
    [:shift],
    [:push, 5977],
    [:push, 5447],
    [:push, 5942],
    [:shift],
    [:push, 4086],
    [:push, 8988],
    [:push, 5103],
    [:push, 4838],
    [:push, 4363],
    [:shift],
    [:push, 9111],
    [:shift],
    [:push, 8835],
    [:push, 14_942],
    [:shift],
    [:push, 11_585],
    [:push, 11_744],
    [:push, 10_878],
    [:push, 5885],
    [:push, 5216],
    [:push, 7121],
    [:push, 12_542],
    [:shift],
    [:push, 12_019],
    [:push, 6077],
    [:push, 13_791],
    [:shift],
    [:push, 4346],
    [:shift],
    [:push, 14_156],
    [:push, 5988],
    [:push, 5165],
    [:push, 11_835],
    [:push, 9384],
    [:push, 9885],
    [:push, 10_163],
    [:shift],
    [:push, 8359],
    [:shift],
    [:push, 13_067],
    [:push, 8598],
    [:shift],
    [:push, 12_033],
    [:shift],
    [:push, 6620],
    [:push, 7809],
    [:push, 5370],
    [:push, 3979],
    [:push, 12_455],
    [:shift],
    [:push, 10_068],
    [:push, 10_666],
    [:shift],
    [:push, 4674],
    [:shift],
    [:push, 12_483],
    [:push, 13_821],
    [:push, 6901],
    [:shift],
    [:push, 12_349],
    [:shift],
    [:push, 4802],
    [:shift],
    [:push, 9908],
    [:shift],
    [:push, 7235],
    [:push, 12_884],
    [:push, 10_118],
    [:push, 8168],
    [:shift],
    [:push, 13_000],
    [:push, 14_559],
    [:push, 9973],
    [:push, 12_075],
    [:push, 8434],
    [:shift],
    [:push, 6794],
    [:shift],
    [:push, 6212],
    [:push, 4543],
    [:push, 6652],
    [:shift],
    [:push, 5217],
    [:push, 11_712],
    [:push, 10_754],
    [:shift],
    [:push, 9684],
    [:shift],
    [:push, 7978],
    [:push, 10_194],
    [:push, 12_191],
    [:shift],
    [:push, 4598],
    [:shift],
    [:push, 5332],
    [:shift],
    [:push, 5971],
    [:shift],
    [:push, 14_098],
    [:shift],
    [:push, 10_888],
    [:shift],
    [:push, 14_824],
    [:shift],
    [:push, 8714],
    [:shift],
    [:push, 5061],
    [:shift],
    [:push, 12_662],
    [:shift],
    [:push, 10_357],
    [:shift],
    [:push, 10_270],
    [:shift],
    [:push, 7363],
    [:shift],
    [:push, 9020],
    [:shift],
    [:push, 14_080],
    [:shift],
    [:push, 4242],
    [:shift],
    [:push, 12_067],
    [:shift],
    [:push, 9808],
    [:shift],
    [:push, 13_049],
    [:shift],
    [:push, 7504],
    [:push, 8957],
    [:push, 9945],
    [:push, 11_668],
    [:push, 9685],
    [:push, 13_389],
    [:shift],
    [:push, 5245],
    [:shift],
    [:push, 4956],
    [:shift],
    [:push, 5036],
    [:shift],
    [:push, 4286],
    [:shift],
    [:push, 9314],
    [:shift],
    [:push, 11_436],
    [:shift],
    [:push, 5352],
    [:shift],
    [:push, 6010],
    [:shift],
    [:push, 4645],
    [:shift],
    [:push, 7146],
    [:shift],
    [:push, 13_554],
    [:shift],
    [:push, 13_680],
    [:shift],
    [:push, 7867],
    [:shift],
    [:push, 7732],
    [:push, 8559],
    [:push, 5472],
    [:shift],
    [:push, 7692],
    [:push, 9382],
    [:shift],
    [:push, 9061],
    [:push, 7670],
    [:shift],
    [:push, 13_510],
    [:push, 9754],
    [:push, 8655],
    [:push, 4123],
    [:push, 14_711],
    [:push, 6178],
    [:shift],
    [:push, 5149],
    [:push, 8955],
    [:push, 10_740],
    [:shift],
    [:push, 7044],
    [:push, 6366],
    [:push, 6583],
    [:push, 7019],
    [:shift],
    [:push, 5382],
    [:shift],
    [:push, 14_995],
    [:shift],
    [:push, 9075],
    [:shift],
    [:push, 6587],
    [:shift],
    [:push, 8482],
    [:shift],
    [:push, 5887],
    [:shift],
    [:push, 4380],
    [:shift],
    [:push, 9125],
    [:push, 8266],
    [:shift],
    [:push, 6745],
    [:shift],
    [:push, 7342],
    [:shift],
    [:push, 5467],
    [:push, 12_849],
    [:push, 10_184],
    [:shift],
    [:push, 13_924],
    [:shift],
    [:push, 11_161],
    [:shift],
    [:push, 4385],
    [:shift],
    [:push, 9445],
    [:shift],
    [:push, 12_056],
    [:shift],
    [:push, 4345],
    [:shift],
    [:push, 7556],
    [:shift],
    [:push, 8527],
    [:shift],
    [:push, 13_015],
    [:shift],
    [:push, 5979],
    [:shift],
    [:push, 4469],
    [:shift],
    [:push, 6315],
    [:shift],
    [:push, 9144],
    [:shift],
    [:push, 6570],
    [:shift],
    [:push, 9230],
    [:shift],
    [:push, 9637],
    [:shift],
    [:push, 5241],
    [:shift],
    [:push, 4457],
    [:shift],
    [:push, 14_264],
    [:shift],
    [:push, 8257],
    [:shift],
    [:push, 14_103],
    [:shift],
    [:push, 5509],
    [:shift],
    [:push, 11_663],
    [:shift],
    [:push, 8917],
    [:shift],
    [:push, 10_695],
    [:shift],
    [:push, 5457],
    [:shift],
    [:push, 9161],
    [:push, 11_474],
    [:push, 4652],
    [:push, 6713],
    [:push, 10_408],
    [:push, 8162],
    [:push, 9955],
    [:push, 14_992],
    [:push, 6033],
    [:push, 4472],
    [:push, 13_147],
    [:push, 4908],
    [:shift],
    [:push, 6152],
    [:shift],
    [:push, 6456],
    [:shift],
    [:push, 6308],
    [:shift],
    [:push, 7405],
    [:shift],
    [:push, 4860],
    [:shift],
    [:push, 7581],
    [:shift],
    [:push, 11_551],
    [:shift],
    [:push, 7058],
    [:shift],
    [:push, 7149],
    [:shift],
    [:push, 9064],
    [:shift],
    [:push, 7848],
    [:shift],
    [:push, 12_413],
    [:shift],
    [:push, 11_781],
    [:shift],
    [:push, 6429],
    [:shift],
    [:push, 4170],
    [:shift],
    [:push, 11_816],
    [:push, 7605],
    [:push, 15_325],
    [:push, 13_167],
    [:shift],
    [:push, 6246],
    [:shift],
    [:push, 13_382],
    [:push, 12_701],
    [:shift],
    [:push, 8754],
    [:push, 4663],
    [:push, 9968],
    [:push, 4582],
    [:push, 11_600],
    [:push, 4745],
    [:push, 11_254],
    [:push, 7358],
    [:shift],
    [:push, 10_180],
    [:shift],
    [:push, 12_329],
    [:shift],
    [:push, 4749],
    [:push, 11_991],
    [:push, 5030],
    [:push, 9141],
    [:shift],
    [:push, 10_581],
    [:shift],
    [:push, 15_042],
    [:shift],
    [:push, 5291],
    [:shift],
    [:push, 13_099],
    [:shift],
    [:push, 10_588],
    [:push, 14_571],
    [:shift],
    [:push, 13_332],
    [:push, 5178],
    [:shift],
    [:push, 8776],
    [:shift],
    [:push, 8584],
    [:shift],
    [:push, 7856],
    [:push, 4782],
    [:shift],
    [:push, 4301],
    [:shift],
    [:push, 9330],
    [:shift],
    [:push, 8260],
    [:shift],
    [:push, 5348],
    [:shift],
    [:push, 10_200],
    [:shift],
    [:push, 5340],
    [:shift],
    [:push, 8166],
    [:shift],
    [:push, 9242],
    [:shift],
    [:push, 8945],
    [:shift],
    [:push, 4271],
    [:shift],
    [:push, 8603],
    [:shift],
    [:push, 11_887],
    [:shift],
    [:push, 11_557],
    [:shift],
    [:push, 4957],
    [:shift],
    [:push, 11_033],
    [:shift],
    [:push, 8154],
    [:shift],
    [:push, 4905],
    [:shift],
    [:push, 10_093],
    [:shift],
    [:push, 5049],
    [:shift],
    [:push, 13_634],
    [:shift],
    [:push, 10_654],
    [:shift],
    [:push, 5587],
    [:shift],
    [:push, 6234],
    [:shift],
    [:push, 13_374],
    [:shift],
    [:push, 10_472],
    [:shift],
    [:push, 7837],
    [:shift],
    [:push, 7214],
    [:shift],
    [:push, 10_983],
    [:shift],
    [:push, 9249],
    [:shift],
    [:push, 6631],
    [:shift],
    [:push, 14_692],
    [:shift],
    [:push, 4928],
    [:shift],
    [:push, 7920],
    [:shift],
    [:push, 5073],
    [:shift],
    [:push, 11_133],
    [:shift],
    [:push, 11_713],
    [:shift],
    [:push, 6903],
    [:shift],
    [:push, 8730],
    [:shift],
    [:push, 10_919],
    [:shift],
    [:push, 9995],
    [:shift],
    [:push, 6471],
    [:shift],
    [:push, 12_109],
    [:shift],
    [:push, 13_800],
    [:shift],
    [:push, 11_543],
    [:shift],
    [:push, 10_783],
    [:shift],
    [:push, 5716],
    [:shift],
    [:push, 11_785],
    [:shift],
    [:push, 11_772],
    [:shift],
    [:push, 15_146],
    [:shift],
    [:push, 10_435],
    [:shift],
    [:push, 7410],
    [:push, 9108],
    [:push, 9566],
    [:push, 9825],
    [:push, 8054],
    [:shift],
    [:push, 13_086],
    [:push, 9043],
    [:push, 14_787],
    [:push, 9261],
    [:push, 13_037],
    [:shift],
    [:push, 6199],
    [:shift],
    [:push, 8250],
    [:shift],
    [:push, 13_061],
    [:shift],
    [:push, 5147],
    [:shift],
    [:push, 6878],
    [:shift],
    [:push, 5001],
    [:shift],
    [:push, 14_247],
    [:shift],
    [:push, 4404],
    [:shift],
    [:push, 7541],
    [:shift],
    [:push, 5427],
    [:shift],
    [:push, 4821],
    [:shift],
    [:push, 10_495],
    [:shift],
    [:push, 5121],
    [:shift],
    [:push, 14_488],
    [:shift],
    [:push, 10_035],
    [:shift],
    [:push, 4479],
    [:push, 6084],
    [:shift],
    [:push, 11_966],
    [:push, 4381],
    [:push, 13_428],
    [:shift],
    [:push, 11_129],
    [:shift],
    [:push, 5669],
    [:shift],
    [:push, 11_733],
    [:shift],
    [:push, 4633],
    [:shift],
    [:push, 5086],
    [:shift],
    [:push, 8495],
    [:shift],
    [:push, 5015],
    [:shift],
    [:push, 10_894],
    [:shift],
    [:push, 8547],
    [:shift],
    [:push, 12_842],
    [:shift],
    [:push, 4982],
    [:shift],
    [:push, 7996],
    [:shift],
    [:push, 8298],
    [:shift],
    [:push, 5175],
    [:shift],
    [:push, 8126],
    [:push, 10_247],
    [:push, 6117],
    [:push, 7854],
    [:push, 12_903],
    [:push, 9585],
    [:push, 10_175],
    [:shift],
    [:push, 5494],
    [:shift],
    [:push, 10_092],
    [:shift],
    [:push, 9570],
    [:shift],
    [:push, 12_283],
    [:shift],
    [:push, 9780],
    [:shift],
    [:push, 5965],
    [:shift],
    [:push, 5734],
    [:shift],
    [:push, 11_731],
    [:shift],
    [:push, 10_173],
    [:shift],
    [:push, 12_817],
    [:shift],
    [:push, 9039],
    [:shift],
    [:push, 7309],
    [:push, 5924],
    [:push, 9339],
    [:push, 4641],
    [:shift],
    [:push, 6979],
    [:push, 8933],
    [:shift],
    [:push, 9178],
    [:push, 11_465],
    [:push, 4761],
    [:shift],
    [:push, 10_884],
    [:shift],
    [:push, 9226],
    [:shift],
    [:push, 4500],
    [:shift],
    [:push, 12_422],
    [:shift],
    [:push, 4467],
    [:shift],
    [:push, 11_869],
    [:shift],
    [:push, 12_230],
    [:shift],
    [:push, 7000],
    [:shift],
    [:push, 14_162],
    [:shift],
    [:push, 4616],
    [:shift],
    [:push, 5842],
    [:shift],
    [:push, 7471],
    [:shift],
    [:push, 6220],
    [:push, 6099],
    [:shift],
    [:push, 7745],
    [:shift],
    [:push, 4516],
    [:shift],
    [:push, 6808],
    [:push, 10_949],
    [:shift],
    [:push, 15_114],
    [:shift],
    [:push, 6754],
    [:shift],
    [:push, 13_293],
    [:shift],
    [:push, 5552],
    [:shift],
    [:push, 8404],
    [:shift],
    [:push, 4607],
    [:shift],
    [:push, 6288],
    [:shift],
    [:push, 7347],
    [:shift],
    [:push, 8709],
    [:shift],
    [:push, 4665],
    [:shift],
    [:push, 4934],
    [:shift],
    [:push, 11_031],
    [:push, 14_915],
    [:shift],
    [:push, 13_697],
    [:shift],
    [:push, 11_505],
    [:shift],
    [:push, 6725],
    [:shift],
    [:push, 4667],
    [:shift],
    [:push, 6339],
    [:shift],
    [:push, 7822],
    [:shift],
    [:push, 8631],
    [:shift],
    [:push, 9276],
    [:shift],
    [:push, 6473],
    [:shift],
    [:push, 11_987],
    [:shift],
    [:push, 14_926],
    [:shift],
    [:push, 4507],
    [:shift],
    [:push, 5250],
    [:shift],
    [:push, 10_129],
    [:shift],
    [:push, 6676],
    [:shift],
    [:push, 9662],
    [:shift],
    [:push, 10_199],
    [:shift],
    [:push, 8287],
    [:shift],
    [:push, 5089],
    [:shift],
    [:push, 6348],
    [:shift],
    [:push, 12_124],
    [:shift],
    [:push, 12_465],
    [:shift],
    [:push, 9628],
    [:shift],
    [:push, 4559],
    [:shift],
    [:push, 14_848],
    [:shift],
    [:push, 7479],
    [:push, 9063],
    [:shift],
    [:push, 7778],
    [:push, 4527],
    [:push, 6334],
    [:shift],
    [:push, 10_622],
    [:push, 4656],
    [:shift],
    [:push, 14_398],
    [:shift],
    [:push, 4978],
    [:push, 5256],
    [:shift],
    [:push, 13_623],
    [:push, 5209],
    [:push, 4834],
    [:push, 5019],
    [:push, 6484],
    [:push, 6236],
    [:push, 6702],
    [:push, 9086],
    [:shift],
    [:push, 8516],
    [:shift],
    [:push, 5697],
    [:shift],
    [:push, 7205],
    [:shift],
    [:push, 5137],
    [:shift],
    [:push, 7883],
    [:shift],
    [:push, 7543],
    [:shift],
    [:push, 10_549],
    [:shift],
    [:push, 11_597],
    [:shift],
    [:push, 12_363],
    [:shift],
    [:push, 6913],
    [:shift],
    [:push, 11_357],
    [:shift],
    [:push, 10_832],
    [:shift],
    [:push, 5227],
    [:shift],
    [:push, 6656],
    [:shift],
    [:push, 11_697],
    [:push, 5259],
    [:push, 5286],
    [:push, 7851],
    [:shift],
    [:push, 12_578],
    [:push, 9705],
    [:push, 5384],
    [:shift],
    [:push, 9545],
    [:push, 8604],
    [:shift],
    [:push, 14_101],
    [:shift],
    [:push, 4914],
    [:shift],
    [:push, 13_060],
    [:shift],
    [:push, 8518],
    [:shift],
    [:push, 11_664],
    [:shift],
    [:push, 6211],
    [:shift],
    [:push, 4999],
    [:shift],
    [:push, 7338],
    [:shift],
    [:push, 4684],
    [:shift],
    [:push, 12_731],
    [:shift],
    [:push, 11_611],
    [:shift],
    [:push, 6565],
    [:shift],
    [:push, 11_449],
    [:shift],
    [:push, 8660],
    [:shift],
    [:push, 6857],
    [:shift],
    [:push, 8840],
    [:shift],
    [:push, 6457],
    [:shift],
    [:push, 9057],
    [:shift],
    [:push, 6704],
    [:shift],
    [:push, 15_139],
    [:shift],
    [:push, 15_204],
    [:shift],
    [:push, 5331],
    [:shift],
    [:push, 13_803],
    [:shift],
    [:push, 7488],
    [:shift],
    [:push, 14_883],
    [:shift],
    [:push, 7889],
    [:shift],
    [:push, 8375],
    [:shift],
    [:push, 13_694],
    [:shift],
    [:push, 5262],
    [:shift],
    [:push, 5409],
    [:shift],
    [:push, 13_628],
    [:shift],
    [:push, 5429],
    [:shift],
    [:push, 11_659],
    [:shift],
    [:push, 8023],
    [:shift],
    [:push, 14_700],
    [:shift],
    [:push, 12_175],
    [:shift],
    [:push, 11_630],
    [:shift],
    [:push, 9890],
    [:shift],
    [:push, 6757],
    [:shift],
    [:push, 8084],
    [:shift],
    [:push, 7998],
    [:shift],
    [:push, 6963],
    [:shift],
    [:push, 9078],
    [:shift],
    [:push, 7595],
    [:shift],
    [:push, 9835],
    [:shift],
    [:push, 9280],
    [:shift],
    [:push, 14_782],
    [:shift],
    [:push, 4875],
    [:shift],
    [:push, 8793],
    [:shift],
    [:push, 13_659],
    [:shift],
    [:push, 5649],
    [:shift],
    [:push, 5196],
    [:shift],
    [:push, 6600],
    [:shift],
    [:push, 7473],
    [:shift],
    [:push, 10_948],
    [:shift],
    [:push, 14_237],
    [:shift],
    [:push, 9771],
    [:shift],
    [:push, 10_780],
    [:shift],
    [:push, 6336],
    [:shift],
    [:push, 12_105],
    [:shift],
    [:push, 13_742],
    [:shift],
    [:push, 8363],
    [:shift],
    [:push, 11_258],
    [:push, 5636],
    [:push, 5653],
    [:shift],
    [:push, 9801],
    [:push, 9592],
    [:shift],
    [:push, 6244],
    [:shift],
    [:push, 13_161],
    [:shift],
    [:push, 7383],
    [:shift],
    [:push, 8263],
    [:shift],
    [:push, 8428],
    [:shift],
    [:push, 4917],
    [:shift],
    [:push, 12_448],
    [:shift],
    [:push, 7584],
    [:shift],
    [:push, 14_179],
    [:shift],
    [:push, 11_252],
    [:shift],
    [:push, 10_750],
    [:push, 6849],
    [:push, 4935],
    [:shift],
    [:push, 5966],
    [:push, 14_930],
    [:push, 5301],
    [:shift],
    [:push, 14_302],
    [:shift],
    [:push, 5142],
    [:shift],
    [:push, 5171],
    [:shift],
    [:push, 6555],
    [:shift],
    [:push, 9663],
    [:push, 6189],
    [:shift],
    [:push, 7742],
    [:push, 9425],
    [:push, 10_197],
    [:push, 10_167],
    [:push, 6490],
    [:push, 8039],
    [:shift],
    [:push, 11_826],
    [:push, 13_651],
    [:shift],
    [:push, 10_711],
    [:shift],
    [:push, 11_107],
    [:shift],
    [:push, 9827],
    [:shift],
    [:push, 6174],
    [:push, 7484],
    [:push, 13_898],
    [:shift],
    [:push, 7293],
    [:shift],
    [:push, 10_892],
    [:shift],
    [:push, 14_349],
    [:shift],
    [:push, 14_909],
    [:shift],
    [:push, 9169],
    [:push, 13_306],
    [:shift],
    [:push, 9354],
    [:shift],
    [:push, 11_221],
    [:push, 5396],
    [:push, 5959],
    [:push, 7158],
    [:push, 7157],
    [:push, 6519],
    [:push, 6485],
    [:push, 7935],
    [:push, 8281],
    [:shift],
    [:push, 9383],
    [:shift],
    [:push, 5194],
    [:shift],
    [:push, 7044],
    [:shift],
    [:push, 9722],
    [:push, 9005],
    [:push, 9412],
    [:shift],
    [:push, 5074],
    [:shift],
    [:push, 11_168],
    [:shift],
    [:push, 14_683],
    [:push, 14_062],
    [:push, 11_827],
    [:shift],
    [:push, 12_141],
    [:push, 5544],
    [:push, 9532],
    [:push, 10_965],
    [:shift],
    [:push, 6894],
    [:shift],
    [:push, 5919],
    [:shift],
    [:push, 5594],
    [:push, 4993],
    [:shift],
    [:push, 4896],
    [:push, 4940],
    [:shift],
    [:push, 9045],
    [:shift],
    [:push, 8079],
    [:shift],
    [:push, 13_325],
    [:shift],
    [:push, 8670],
    [:shift],
    [:push, 8680],
    [:shift],
    [:push, 6666],
    [:shift],
    [:push, 8645],
    [:shift],
    [:push, 5820],
    [:shift],
    [:push, 6239],
    [:push, 4984],
    [:push, 6306],
    [:push, 7225],
    [:shift],
    [:push, 10_789],
    [:push, 7546],
    [:push, 6125],
    [:shift],
    [:push, 8110],
    [:push, 5432],
    [:push, 11_047],
    [:push, 6448],
    [:shift],
    [:push, 12_663],
    [:shift],
    [:push, 10_840],
    [:shift],
    [:push, 12_271],
    [:shift],
    [:push, 9527],
    [:shift],
    [:push, 5962],
    [:shift],
    [:push, 6208],
    [:shift],
    [:push, 13_600],
    [:shift],
    [:push, 13_847],
    [:shift],
    [:push, 13_179],
    [:shift],
    [:push, 9855],
    [:shift],
    [:push, 7111],
    [:shift],
    [:push, 6122],
    [:shift],
    [:push, 13_234],
    [:shift],
    [:push, 5172],
    [:shift],
    [:push, 6384],
    [:shift],
    [:push, 6860],
    [:shift],
    [:push, 12_392],
    [:shift],
    [:push, 13_573],
    [:shift],
    [:push, 10_007],
    [:shift],
    [:push, 13_732],
    [:shift],
    [:push, 5686],
    [:shift],
    [:push, 5374],
    [:shift],
    [:push, 5024],
    [:shift],
    [:push, 13_128],
    [:push, 11_821],
    [:push, 5018],
    [:shift],
    [:push, 6827],
    [:shift],
    [:push, 5882],
    [:shift],
    [:push, 8437],
    [:shift],
    [:push, 8961],
    [:shift],
    [:push, 5633],
    [:shift],
    [:push, 10_769],
    [:shift],
    [:push, 9152],
    [:shift],
    [:push, 5867],
    [:shift],
    [:push, 9357],
    [:push, 9074],
    [:shift],
    [:push, 11_656],
    [:shift],
    [:push, 10_396],
    [:shift],
    [:push, 10_609],
    [:shift],
    [:push, 6357],
    [:shift],
    [:push, 7436],
    [:push, 9769],
    [:shift],
    [:push, 6011],
    [:shift],
    [:push, 8719],
    [:shift],
    [:push, 12_131],
    [:shift],
    [:push, 10_402],
    [:shift],
    [:push, 11_382],
    [:shift],
    [:push, 14_071],
    [:push, 9634],
    [:push, 7201],
    [:push, 8387],
    [:push, 7322],
    [:push, 10_497],
    [:push, 7791],
    [:push, 5077],
    [:push, 10_623],
    [:shift],
    [:push, 8272],
    [:shift],
    [:push, 14_314],
    [:shift],
    [:push, 10_433],
    [:push, 10_277],
    [:shift],
    [:push, 10_053],
    [:push, 8948],
    [:shift],
    [:push, 8681],
    [:shift],
    [:push, 11_499],
    [:shift],
    [:push, 11_764],
    [:shift],
    [:push, 6861],
    [:shift],
    [:push, 5161],
    [:shift],
    [:push, 6716],
    [:shift],
    [:push, 7828],
    [:push, 10_772],
    [:shift],
    [:push, 8030],
    [:push, 6840],
    [:push, 7340],
    [:shift],
    [:push, 5574],
    [:shift],
    [:push, 14_574],
    [:shift],
    [:push, 13_207],
    [:shift],
    [:push, 10_839],
    [:shift],
    [:push, 14_123],
    [:shift],
    [:push, 10_819],
    [:shift],
    [:push, 5098],
    [:push, 12_810],
    [:push, 14_919],
    [:shift],
    [:push, 10_274],
    [:shift],
    [:push, 15_030],
    [:shift],
    [:push, 5219],
    [:shift],
    [:push, 12_128],
    [:push, 6427],
    [:push, 6695],
    [:shift],
    [:push, 5505],
    [:push, 7364],
    [:push, 5298],
    [:shift],
    [:push, 9350],
    [:shift],
    [:push, 13_405],
    [:shift],
    [:push, 9116],
    [:shift],
    [:push, 12_426],
    [:shift],
    [:push, 7992],
    [:shift],
    [:push, 8172],
    [:shift],
    [:push, 6135],
    [:push, 10_955],
    [:shift],
    [:push, 14_520],
    [:shift],
    [:push, 9048],
    [:shift],
    [:push, 8664],
    [:push, 6564],
    [:push, 12_412],
    [:push, 10_443],
    [:shift],
    [:push, 5408],
    [:shift],
    [:push, 7060],
    [:shift],
    [:push, 9341],
    [:shift],
    [:push, 6102],
    [:shift],
    [:push, 8189],
    [:push, 6641],
    [:push, 13_118],
    [:push, 7934],
    [:shift],
    [:push, 9471],
    [:shift],
    [:push, 11_447],
    [:push, 14_666],
    [:shift],
    [:push, 8192],
    [:push, 9342],
    [:shift],
    [:push, 8622],
    [:shift],
    [:push, 6296],
    [:shift],
    [:push, 7611],
    [:shift],
    [:push, 7755],
    [:shift],
    [:push, 8614],
    [:shift],
    [:push, 7113],
    [:shift],
    [:push, 11_009],
    [:shift],
    [:push, 8949],
    [:shift],
    [:push, 6165],
    [:shift],
    [:push, 13_019],
    [:shift],
    [:push, 10_615],
    [:shift],
    [:push, 5325],
    [:shift],
    [:push, 11_782],
    [:shift],
    [:push, 10_831],
    [:shift],
    [:push, 9442],
    [:shift],
    [:push, 13_740],
    [:shift],
    [:push, 6769],
    [:shift],
    [:push, 14_396],
    [:shift],
    [:push, 7339],
    [:shift],
    [:push, 11_222],
    [:shift],
    [:push, 7614],
    [:shift],
    [:push, 6690],
    [:shift],
    [:push, 6728],
    [:shift],
    [:push, 7651],
    [:shift],
    [:push, 9581],
    [:shift],
    [:push, 13_164],
    [:shift],
    [:push, 9669],
    [:shift],
    [:push, 7381],
    [:shift],
    [:push, 5341],
    [:shift],
    [:push, 9216],
    [:shift],
    [:push, 13_875],
    [:shift],
    [:push, 11_757],
    [:shift],
    [:push, 12_096],
    [:shift],
    [:push, 11_182],
    [:push, 9431],
    [:shift],
    [:push, 14_238],
    [:shift],
    [:push, 6151],
    [:shift],
    [:push, 13_036],
    [:shift],
    [:push, 7739],
    [:push, 6142],
    [:push, 14_712],
    [:push, 14_658],
    [:push, 6952],
    [:shift],
    [:push, 11_239],
    [:shift],
    [:push, 14_322],
    [:shift],
    [:push, 7386],
    [:shift],
    [:push, 7319],
    [:shift],
    [:push, 5661],
    [:shift],
    [:push, 10_994],
    [:shift],
    [:push, 8409],
    [:shift],
    [:push, 8500],
    [:shift],
    [:push, 10_624],
    [:shift],
    [:push, 5386],
    [:shift],
    [:push, 9700],
    [:shift],
    [:push, 7333],
    [:shift],
    [:push, 13_127],
    [:shift],
    [:push, 12_310],
    [:shift],
    [:push, 8491],
    [:shift],
    [:push, 8129],
    [:push, 14_009],
    [:push, 9689],
    [:shift],
    [:push, 5395],
    [:shift],
    [:push, 6154],
    [:shift],
    [:push, 9099],
    [:shift],
    [:push, 5443],
    [:shift],
    [:push, 10_817],
    [:shift],
    [:push, 5777],
    [:shift],
    [:push, 12_224],
    [:shift],
    [:push, 8530],
    [:shift],
    [:push, 6700],
    [:shift],
    [:push, 9503],
    [:shift],
    [:push, 5622],
    [:shift],
    [:push, 6601],
    [:shift],
    [:push, 12_606],
    [:shift],
    [:push, 13_458],
    [:shift],
    [:push, 7520],
    [:shift],
    [:push, 12_690],
    [:shift],
    [:push, 8169],
    [:shift],
    [:push, 9326],
    [:shift],
    [:push, 13_897],
    [:shift],
    [:push, 5950],
    [:shift],
    [:push, 14_016],
    [:shift],
    [:push, 6028],
    [:shift],
    [:push, 10_928],
    [:shift],
    [:push, 8616],
    [:shift],
    [:push, 9370],
    [:shift],
    [:push, 13_433],
    [:shift],
    [:push, 6170],
    [:shift],
    [:push, 12_440],
    [:shift],
    [:push, 12_297],
    [:shift],
    [:push, 8337],
    [:shift],
    [:push, 5371],
    [:shift],
    [:push, 10_283],
    [:shift],
    [:push, 8990],
    [:shift],
    [:push, 10_717],
    [:shift],
    [:push, 5357],
    [:shift],
    [:push, 5688],
    [:shift],
    [:push, 12_771],
    [:shift],
    [:push, 12_185],
    [:shift],
    [:push, 8071],
    [:shift],
    [:push, 6267],
    [:shift],
    [:push, 8674],
    [:shift],
    [:push, 7102],
    [:shift],
    [:push, 7530],
    [:shift],
    [:push, 13_024],
    [:shift],
    [:push, 6819],
    [:shift],
    [:push, 11_175],
    [:shift],
    [:push, 10_856],
    [:shift],
    [:push, 11_701],
    [:shift],
    [:push, 10_579],
    [:shift],
    [:push, 5635],
    [:shift],
    [:push, 14_151],
    [:shift],
    [:push, 12_795],
    [:shift],
    [:push, 13_471],
    [:shift],
    [:push, 7688],
    [:shift],
    [:push, 6475],
    [:shift],
    [:push, 10_128],
    [:shift],
    [:push, 13_542],
    [:push, 12_380],
    [:shift],
    [:push, 11_850],
    [:shift],
    [:push, 8099],
    [:shift],
    [:push, 8900],
    [:shift],
    [:push, 14_280],
    [:shift],
    [:push, 6341],
    [:shift],
    [:push, 8952],
    [:shift],
    [:push, 9939],
    [:shift],
    [:push, 14_936],
    [:shift],
    [:push, 14_548],
    [:shift],
    [:push, 13_241],
    [:shift],
    [:push, 11_358],
    [:push, 8331],
    [:shift],
    [:push, 7938],
    [:shift],
    [:push, 6920],
    [:push, 12_642],
    [:shift],
    [:push, 10_902],
    [:shift],
    [:push, 7159],
    [:push, 14_188],
    [:shift],
    [:push, 7026],
    [:shift],
    [:push, 15_090],
    [:shift],
    [:push, 11_730],
    [:shift],
    [:push, 6441],
    [:shift],
    [:push, 10_349],
    [:shift],
    [:push, 7279],
    [:shift],
    [:push, 5520],
    [:shift],
    [:push, 10_672],
    [:shift],
    [:push, 11_568],
    [:shift],
    [:push, 6450],
    [:shift],
    [:push, 13_849],
    [:shift],
    [:push, 8499],
    [:shift],
    [:push, 14_154],
    [:shift],
    [:push, 11_794],
    [:shift],
    [:push, 12_631],
    [:shift],
    [:push, 9162],
    [:push, 7292],
    [:shift],
    [:push, 8726],
    [:shift],
    [:push, 9188],
    [:shift],
    [:push, 13_168],
    [:shift],
    [:push, 7668],
    [:shift],
    [:push, 11_685],
    [:shift],
    [:push, 13_074],
    [:shift],
    [:push, 10_578],
    [:shift],
    [:push, 10_028],
    [:shift],
    [:push, 8624],
    [:push, 11_941],
    [:push, 9227],
    [:shift],
    [:push, 14_358],
    [:shift],
    [:push, 6020],
    [:shift],
    [:push, 7911],
    [:shift],
    [:push, 9926],
    [:shift],
    [:push, 7244],
    [:shift],
    [:push, 9147],
    [:shift],
    [:push, 9984],
    [:shift],
    [:push, 7631],
    [:shift],
    [:push, 11_820],
    [:shift],
    [:push, 14_560],
    [:shift],
    [:push, 11_541],
    [:shift],
    [:push, 13_214],
    [:shift],
    [:push, 8087],
    [:shift],
    [:push, 10_920],
    [:shift],
    [:push, 6368],
    [:shift],
    [:push, 12_454],
    [:shift],
    [:push, 10_044],
    [:shift],
    [:push, 8460],
    [:shift],
    [:push, 5706],
    [:shift],
    [:push, 9543],
    [:shift],
    [:push, 9768],
    [:shift],
    [:push, 8972],
    [:shift],
    [:push, 9721],
    [:shift],
    [:push, 6877],
    [:shift],
    [:push, 12_847],
    [:shift],
    [:push, 5616],
    [:shift],
    [:push, 6114],
    [:shift],
    [:push, 7603],
    [:shift],
    [:push, 7211],
    [:shift],
    [:push, 6416],
    [:shift],
    [:push, 7273],
    [:shift],
    [:push, 5932],
    [:shift],
    [:push, 13_644],
    [:shift],
    [:push, 15_020],
    [:shift],
    [:push, 13_790],
    [:shift],
    [:push, 12_966],
    [:shift],
    [:push, 6362],
    [:shift],
    [:push, 9918],
    [:shift],
    [:push, 14_577],
    [:shift],
    [:push, 9365],
    [:shift],
    [:push, 6904],
    [:shift],
    [:push, 5811],
    [:shift],
    [:push, 6230],
    [:push, 12_307],
    [:shift],
    [:push, 12_712],
    [:shift],
    [:push, 7792],
    [:shift],
    [:push, 12_572],
    [:shift],
    [:push, 11_122],
    [:shift],
    [:push, 7609],
    [:shift],
    [:push, 12_164],
    [:shift],
    [:push, 6748],
    [:push, 6137],
    [:shift],
    [:push, 15_075],
    [:push, 7909],
    [:push, 10_346],
    [:push, 8179],
    [:shift],
    [:push, 13_995],
    [:push, 9200],
    [:push, 15_225],
    [:push, 9817],
    [:shift],
    [:push, 7062],
    [:push, 7132],
    [:shift],
    [:push, 12_133],
    [:push, 10_428],
    [:push, 5581],
    [:push, 5841],
    [:push, 12_825],
    [:push, 8123],
    [:push, 12_232],
    [:push, 6847],
    [:shift],
    [:push, 12_585],
    [:shift],
    [:push, 8190],
    [:shift],
    [:push, 13_656],
    [:shift],
    [:push, 13_436],
    [:shift],
    [:push, 12_337],
    [:shift],
    [:push, 5905],
    [:shift],
    [:push, 5774],
    [:shift],
    [:push, 7717],
    [:shift],
    [:push, 10_693],
    [:shift],
    [:push, 11_575],
    [:shift],
    [:push, 10_397],
    [:push, 12_552],
    [:push, 13_264],
    [:push, 8370],
    [:push, 9631],
    [:shift],
    [:push, 8408],
    [:shift],
    [:push, 6623],
    [:shift],
    [:push, 14_323],
    [:shift],
    [:push, 9096],
    [:shift],
    [:push, 8286],
    [:shift],
    [:push, 8816],
    [:shift],
    [:push, 5608],
    [:shift],
    [:push, 11_968],
    [:shift],
    [:push, 8693],
    [:shift],
    [:push, 5818],
    [:shift],
    [:push, 6961],
    [:shift],
    [:push, 14_166],
    [:shift],
    [:push, 8209],
    [:shift],
    [:push, 6599],
    [:push, 6807],
    [:push, 8436],
    [:push, 14_571],
    [:push, 11_493],
    [:shift],
    [:push, 5666],
    [:shift],
    [:push, 14_581],
    [:shift],
    [:push, 11_349],
    [:shift],
    [:push, 11_092],
    [:shift],
    [:push, 13_728],
    [:push, 7579],
    [:shift],
    [:push, 8932],
    [:shift],
    [:push, 8334],
    [:shift],
    [:push, 14_668],
    [:shift],
    [:push, 10_311],
    [:shift],
    [:push, 7862],
    [:push, 11_536],
    [:shift],
    [:push, 7331],
    [:push, 10_689],
    [:shift],
    [:push, 8088],
    [:push, 8535],
    [:push, 13_986],
    [:shift],
    [:push, 14_484],
    [:shift],
    [:push, 9656],
    [:shift],
    [:push, 9061],
    [:push, 7094],
    [:shift],
    [:push, 6338],
    [:shift],
    [:push, 13_398],
    [:push, 6610],
    [:push, 9269],
    [:push, 9333],
    [:shift],
    [:push, 8052],
    [:shift],
    [:push, 10_192],
    [:push, 6993],
    [:push, 6367],
    [:push, 8051],
    [:push, 14_361],
    [:push, 7367],
    [:push, 5858],
    [:push, 6411],
    [:push, 9491],
    [:shift],
    [:push, 7056],
    [:shift],
    [:push, 10_967],
    [:shift],
    [:push, 6476],
    [:shift],
    [:push, 10_598],
    [:shift],
    [:push, 8418],
    [:shift],
    [:push, 6654],
    [:shift],
    [:push, 14_750],
    [:push, 10_234],
    [:shift],
    [:push, 5783],
    [:shift],
    [:push, 14_299],
    [:shift],
    [:push, 8009],
    [:shift],
    [:push, 6440],
    [:push, 10_936],
    [:push, 9743],
    [:push, 15_123],
    [:shift],
    [:push, 9804],
    [:shift],
    [:push, 12_900],
    [:shift],
    [:push, 9878],
    [:shift],
    [:push, 12_586],
    [:shift],
    [:push, 5862],
    [:shift],
    [:push, 12_156],
    [:shift],
    [:push, 9792],
    [:shift],
    [:push, 6316],
    [:shift],
    [:push, 10_467],
    [:shift],
    [:push, 6826],
    [:shift],
    [:push, 8875],
    [:shift],
    [:push, 10_631],
    [:shift],
    [:push, 6737],
    [:shift],
    [:push, 14_337],
    [:push, 11_146],
    [:shift],
    [:push, 8093],
    [:push, 7150],
    [:push, 12_147],
    [:push, 9232],
    [:shift],
    [:push, 12_236],
    [:shift],
    [:push, 7760],
    [:shift],
    [:push, 5945],
    [:push, 14_469],
    [:push, 7330],
    [:push, 15_173],
    [:shift],
    [:push, 11_228],
    [:shift],
    [:push, 13_487],
    [:push, 11_756],
    [:push, 12_753],
    [:push, 9799],
    [:push, 9757],
    [:push, 5801],
    [:push, 12_182],
    [:shift],
    [:push, 10_766],
    [:shift],
    [:push, 13_890],
    [:shift],
    [:push, 9343],
    [:shift],
    [:push, 11_395],
    [:push, 5856],
    [:shift],
    [:push, 9777],
    [:shift],
    [:push, 13_960],
    [:shift],
    [:push, 15_110],
    [:shift],
    [:push, 12_941],
    [:push, 13_544],
    [:shift],
    [:push, 11_768],
    [:shift],
    [:push, 13_525],
    [:shift],
    [:push, 8386],
    [:push, 11_394],
    [:push, 12_549],
    [:shift],
    [:push, 12_314],
    [:shift],
    [:push, 14_546],
    [:shift],
    [:push, 6467],
    [:shift],
    [:push, 5805],
    [:shift],
    [:push, 7112],
    [:shift],
    [:push, 7643],
    [:push, 9303],
    [:shift],
    [:push, 9001],
    [:push, 7361],
    [:shift],
    [:push, 7048],
    [:shift],
    [:push, 8350],
    [:shift],
    [:push, 7777],
    [:shift],
    [:push, 7025],
    [:shift],
    [:push, 15_072],
    [:push, 6828],
    [:push, 6031],
    [:push, 11_029],
    [:shift],
    [:push, 10_066],
    [:shift],
    [:push, 8818],
    [:shift],
    [:push, 13_999],
    [:push, 8715],
    [:push, 9093],
    [:shift],
    [:push, 9828],
    [:push, 7596],
    [:push, 7819],
    [:shift],
    [:push, 6779],
    [:push, 13_969],
    [:push, 10_365],
    [:push, 13_774],
    [:push, 6056],
    [:push, 6919],
    [:push, 8544],
    [:push, 10_398],
    [:push, 11_308],
    [:shift],
    [:push, 5897],
    [:shift],
    [:push, 10_821],
    [:shift],
    [:push, 8609],
    [:shift],
    [:push, 10_106],
    [:shift],
    [:push, 9486],
    [:shift],
    [:push, 8695],
    [:shift],
    [:push, 11_516],
    [:shift],
    [:push, 11_138],
    [:shift],
    [:push, 7055],
    [:shift],
    [:push, 13_176],
    [:shift],
    [:push, 7593],
    [:shift],
    [:push, 7941],
    [:shift],
    [:push, 10_196],
    [:shift],
    [:push, 12_987],
    [:shift],
    [:push, 11_955],
    [:shift],
    [:push, 12_029],
    [:push, 7288],
    [:push, 6425],
    [:shift],
    [:push, 7234],
    [:push, 9521],
    [:push, 7023],
    [:push, 10_532],
    [:shift],
    [:push, 13_204],
    [:shift],
    [:push, 8895],
    [:shift],
    [:push, 14_175],
    [:shift],
    [:push, 9635],
    [:shift],
    [:push, 7589],
    [:shift],
    [:push, 13_439],
    [:shift],
    [:push, 8707],
    [:shift],
    [:push, 8048],
    [:shift],
    [:push, 6185],
    [:shift],
    [:push, 6291],
    [:shift],
    [:push, 12_444],
    [:shift],
    [:push, 11_739],
    [:shift],
    [:push, 8777],
    [:shift],
    [:push, 12_915],
    [:push, 8130],
    [:shift],
    [:push, 12_819],
    [:shift],
    [:push, 13_671],
    [:push, 7423],
    [:push, 13_388],
    [:push, 10_946],
    [:push, 12_107],
    [:push, 13_722],
    [:push, 7066],
    [:shift],
    [:push, 8511],
    [:shift],
    [:push, 9734],
    [:shift],
    [:push, 7231],
    [:shift],
    [:push, 9914],
    [:shift],
    [:push, 12_144],
    [:push, 8877],
    [:push, 8870],
    [:push, 12_556],
    [:push, 11_842],
    [:shift],
    [:push, 10_509],
    [:push, 10_169],
    [:push, 7203],
    [:shift],
    [:push, 12_799],
    [:shift],
    [:push, 7164],
    [:push, 11_264],
    [:push, 12_950],
    [:shift],
    [:push, 10_601],
    [:push, 6281],
    [:push, 6479],
    [:push, 9713],
    [:shift],
    [:push, 8794],
    [:shift],
    [:push, 13_316],
    [:shift],
    [:push, 11_147],
    [:shift],
    [:push, 12_289],
    [:push, 8958],
    [:push, 8248],
    [:shift],
    [:push, 14_404],
    [:shift],
    [:push, 10_459]
  ].freeze
end
