[|Op_PushData
(Vector(72uy),
[|48uy; 69uy; 2uy; 32uy; 124uy; 166uy; 68uy; 95uy; 86uy; 220uy;
43uy; 209uy; 203uy; 254uy; 114uy; 34uy; 110uy; 142uy; 200uy;
164uy; 243uy; 111uy; 76uy; 77uy; 162uy; 249uy; 121uy; 216uy;
149uy; 52uy; 233uy; 34uy; 147uy; 147uy; 246uy; 180uy; 2uy; 33uy;
0uy; 217uy; 84uy; 56uy; 142uy; 241uy; 234uy; 57uy; 137uy; 54uy;
24uy; 166uy; 78uy; 141uy; 235uy; 22uy; 249uy; 196uy; 220uy; 0uy;
98uy; 0uy; 222uy; 121uy; 12uy; 110uy; 20uy; 2uy; 168uy; 21uy;
235uy; 92uy; 134uy; 1uy|]);
Op_PushData
(Vector(33uy),
[|2uy; 231uy; 24uy; 167uy; 187uy; 86uy; 155uy; 0uy; 14uy; 185uy;
222uy; 52uy; 154uy; 160uy; 83uy; 42uy; 172uy; 224uy; 229uy; 26uy;
22uy; 244uy; 169uy; 246uy; 108uy; 79uy; 236uy; 176uy; 42uy; 85uy;
46uy; 103uy; 47uy|])|];
very input