diff --git a/runtime/nockma/anomalib.nockma b/runtime/nockma/anomalib.nockma index a350081c7e..618b88847c 100644 --- a/runtime/nockma/anomalib.nockma +++ b/runtime/nockma/anomalib.nockma @@ -1 +1 @@ -[[[8 [1 0 0 0 0] [1 0 0] 0 1] [[1 0] [[8 [1 0 0 0] [1 8 [[8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 751 0 1] 0 2] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 751 0 1] 0 2] 9 2 10 [6 0 58] 0 2] 0 27] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0 [1 0] 0 0] [1 8 [[6 [6 [3 0 12] [1 1] 1 0] [0 12] 0 0] 8 [7 [0 7] 9 1534 0 1] 9 2 10 [6 0 29] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 [0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [0 0 0 0] 0 0 0] [1 8 [9 22 0 127] 9 2 10 [6 0 14] 0 2] 0 1] 8 [1 0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [1 [[8 [9 1492 0 7] 9 2 10 [6 0 14] 0 2] 8 [9 10 0 15] 9 2 10 [6 0 238] 0 2] 1 0] 0 1] [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 478793196187462788804451] [1 8 [6 [5 [0 6] 1 478793196187462788804451] [1 478793196187462788804451] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [1 8 [8 [9 10 0 255] 9 4 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 6243918] 7 [0 3] 8 [9 22 0 127] 9 2 10 [6 0 14] 0 2] 0 2] 0 1] 8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0] [1 1 478793196187462788804451] 0 1] [[8 [1 0 0] [1 0 0] 0 1] [[8 [1 0] [1 0 0] 0 1] [[8 [1 0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [1 [0 12] 0 26] 0 1] [8 [1 [0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [0 0 0 0] 0 0 0] [1 8 [6 [5 [1 478793196187462788804451] 0 6] [8 [7 [0 7] 9 174 0 1] 9 2 10 [6 0 14] 0 2] 8 [7 [0 7] 9 762 0 1] 9 2 10 [6 0 14] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0 0 0 0] [1 8 [[8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 351 0 1] 0 2] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 374 0 1] 0 2] 9 2 10 [6 0 58] 0 2] [6 [6 [3 0 54] [1 1] 1 0] [0 54] 0 0] 0 55] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0 0 0 0] [1 8 [[8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 351 0 1] 0 2] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 374 0 1] 0 2] 9 2 10 [6 0 58] 0 2] [8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 2986 0 1] 0 2] 9 2 10 [6 0 118] 0 2] 0 55] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 [0 [1 0] 0 0] 0] [1 8 [[8 [7 [0 7] 9 170 0 1] 9 2 10 [6 0 28] 0 2] 6 [6 [3 0 13] [1 1] 1 0] [0 13] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [1 8 [[6 [6 [3 0 12] [1 1] 1 0] [0 12] 0 0] [8 [7 [0 7] 9 1534 0 1] 9 2 10 [6 0 58] 0 2] [6 [5 [1 0] 0 54] [1 0] 6 [5 [1 1] 0 54] [1 1] 0 0] [6 [6 [3 0 110] [1 1] 1 0] [0 110] 0 0] [[6 [6 [3 0 444] [1 1] 1 0] [0 444] 0 0] 6 [6 [3 0 445] [1 1] 1 0] [0 445] 0 0] [6 [6 [3 0 446] [1 1] 1 0] [0 446] 0 0] [6 [6 [3 0 894] [1 1] 1 0] [0 894] 0 0] 6 [5 [0 895] 1 1701536102] [1 1701536102] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [1 8 [8 [9 10 0 255] 9 4 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 6245699] 7 [0 3] 8 [9 22 0 127] 9 2 10 [6 0 14] 0 2] 0 2] 0 1] [[[1 [8 [1 0] [1 8 [9 751 0 15] 9 2 10 [6 7 [0 3] 8 [9 94 0 255] 9 2 10 [6 7 [0 3] 8 [8 [9 10 0 511] 9 767 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 3] 0 14] 0 2] 0 2] 0 2] 0 1] 8 [1 0] [1 8 [9 751 0 15] 9 2 10 [6 7 [0 3] 8 [9 94 0 255] 9 2 10 [6 7 [0 3] 8 [8 [9 10 0 511] 9 767 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 3] 0 14] 0 2] 0 2] 0 2] 0 1] 0 1] [8 [1 [0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [0 0 0 0] 0 0 0] [1 8 [[8 [7 [0 7] 9 751 0 1] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 9 2987 0 1] 9 2 10 [6 0 58] 0 2] 8 [7 [0 7] 9 84 0 1] 9 2 10 [6 0 59] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0 0] [1 0 0] 0 1] [8 [1 0 0 0 418565088612] [1 8 [[8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 86 0 1] 0 2] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 747 0 1] 0 2] 9 2 10 [6 0 58] 0 2] [8 [7 [0 7] 9 766 0 1] 9 2 10 [6 0 118] 0 2] 6 [5 [0 55] 1 418565088612] [1 418565088612] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0] [1 8 [8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 750 0 1] 0 2] 9 2 10 [6 0 14] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 [1 0] 0 0] [1 8 [7 [1 0] 8 [1 0] [1 1 0] 0 1] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0] [1 1 418565088612] 0 1] [[7 [8 [1 0 0] [1 8 [[8 [9 756 0 7] 9 2 10 [6 0 28] 0 2] 8 [9 756 0 7] 9 2 10 [6 0 29] 0 2] 6 [0 8] [6 [0 10] [8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 0] 7 [0 3] 8 [9 20 0 2047] 9 2 10 [6 [0 25] 0 27] 0 2] 0 2] 6 [8 [9 22 0 2047] 9 2 10 [6 [0 25] 0 27] 0 2] [8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 0] 7 [0 3] 8 [9 47 0 2047] 9 2 10 [6 [0 25] 0 27] 0 2] 0 2] 8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 1] 7 [0 3] 8 [9 47 0 2047] 9 2 10 [6 [0 27] 0 25] 0 2] 0 2] 6 [0 10] [6 [8 [9 22 0 2047] 9 2 10 [6 [0 25] 0 27] 0 2] [8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 1] 7 [0 3] 8 [9 47 0 2047] 9 2 10 [6 [0 25] 0 27] 0 2] 0 2] 8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 0] 7 [0 3] 8 [9 47 0 2047] 9 2 10 [6 [0 27] 0 25] 0 2] 0 2] 8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 1] 7 [0 3] 8 [9 20 0 2047] 9 2 10 [6 [0 25] 0 27] 0 2] 0 2] 0 1] 11 [1953718630 1 7173491 [0 7] 0] 0 1] [7 [8 [1 0] [1 8 [9 4 0 1023] 9 2 10 [6 [7 [0 3] 1 2] 0 14] 0 2] 0 1] 11 [1953718630 1 7239027 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 8 [8 [9 756 0 7] 9 2 10 [6 0 28] 0 2] 6 [0 4] [8 [9 46 0 2047] 9 2 10 [6 [0 13] 0 61] 0 2] 8 [9 47 0 2047] 9 2 10 [6 [0 61] 0 13] 0 2] 0 1] 11 [1953718630 1 7107940 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 8 [9 758 0 7] 9 2 10 [6 [7 [0 3] 5 [1 0] 8 [9 4 0 63] 9 2 10 [6 [7 [0 3] 8 [9 188 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 7 [0 3] 8 [9 4 0 1023] 9 2 10 [6 [7 [0 3] 8 [9 1515 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 1515 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 7303792 [0 7] 0] 0 1] [[7 [8 [1 0] [1 5 [1 0] 8 [7 [7 [0 7] 9 4 0 3] 9 1375 0 1] 9 2 10 [6 [7 [0 3] 1 0] 0 14] 0 2] 0 1] 11 [1953718630 1 7240051 [0 7] 0] 0 1] [[7 [8 [1 0] [1 [8 [9 188 0 7] 9 2 10 [6 0 14] 0 2] 8 [9 1515 0 7] 9 2 10 [6 0 14] 0 2] 0 1] 11 [1953718630 1 6581359 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 8 [9 759 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 46 0 7] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 190 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 7169394 [0 7] 0] 0 1] 7 [8 [1 0] [1 8 [7 [7 [0 7] 9 4 0 3] 9 20 0 255] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 7] 9 4 0 3] 9 1375 0 1] 9 2 10 [6 [7 [0 3] 1 0] 0 14] 0 2] 7 [0 3] 8 [7 [7 [0 7] 9 4 0 3] 9 87 0 1] 9 2 10 [6 [7 [0 3] 1 0] 0 14] 0 2] 0 2] 0 1] 11 [1953718630 1 7561825 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 6 [0 12] [8 [9 4 0 1023] 9 2 10 [6 [7 [0 3] 1 2] 0 29] 0 2] 6 [5 [1 0] 0 13] [1 0] 4 8 [9 4 0 1023] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 8 [9 342 0 1023] 9 2 10 [6 0 29] 0 2] 0 2] 0 1] 11 [1953718630 1 7824750 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 8 [9 4 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 758 0 7] 9 2 10 [6 [7 [0 3] 6 [8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] [1 1] 1 0] 7 [0 3] 8 [9 1515 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 6711652 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 8 [9 758 0 7] 9 2 10 [6 [7 [0 3] 5 [1 0] 8 [9 4 0 63] 9 2 10 [6 [7 [0 3] 8 [9 188 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 7 [0 3] 8 [9 170 0 1023] 9 2 10 [6 [7 [0 3] 8 [9 1515 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 1515 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 6386278 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 6 [5 [0 12] 0 13] [1 0] 6 [8 [9 188 0 7] 9 2 10 [6 0 28] 0 2] [6 [8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] [6 [8 [9 43 0 1023] 9 2 10 [6 [0 28] 0 29] 0 2] [1 2] 1 1] 1 2] 6 [8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] [1 1] 6 [8 [9 43 0 1023] 9 2 10 [6 [0 28] 0 29] 0 2] [1 1] 1 2] 0 1] 11 [1953718630 1 7368035 [0 7] 0] 0 1] [[[1 [7 [8 [1 0 0] [1 8 [1 0 0] 8 [1 6 [6 [5 [1 0] 0 60] [1 0] 6 [5 [1 0] 0 61] [1 0] 1 1] [0 13] 9 2 10 [30 [8 [9 87 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2] 8 [9 87 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 125] 0 2] 10 [6 [4 0 12] 8 [9 20 0 4095] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 341 0 31] 9 2 10 [6 [7 [0 3] [1 0] 0 12] 7 [0 3] 6 [5 [1 0] 8 [9 1375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2] [1 0] 6 [5 [1 0] 8 [9 1375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 125] 0 2] [1 0] 1 1] 0 2] 0 2] 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 7563620 [0 7] 0] 0 1] [[7 [8 [1 0 0] [1 8 [1 0 0] 8 [1 6 [6 [5 [1 0] 0 60] [6 [5 [1 0] 0 61] [1 0] 1 1] 1 1] [0 13] 9 2 10 [30 [8 [9 87 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2] 8 [9 87 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 125] 0 2] 10 [6 [4 0 12] 8 [9 20 0 4095] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 341 0 31] 9 2 10 [6 [7 [0 3] [1 0] 0 12] 7 [0 3] 6 [5 [1 0] 8 [9 1375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2] [6 [5 [1 0] 8 [9 1375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 125] 0 2] [1 0] 1 1] 1 1] 0 2] 0 2] 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 7237475 [0 7] 0] 0 1] [[8 [1 0] [1 8 [6 [3 0 6] [[8 [7 [0 7] 9 342 0 1] 9 2 10 [6 0 28] 0 2] 8 [7 [0 7] 9 1374 0 1] 9 2 10 [6 0 29] 0 2] 8 [7 [0 7] 9 342 0 1] 9 2 10 [6 0 14] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] [[7 [8 [1 0 0] [1 6 [5 [1 0] 0 13] [1 0] [8 [9 1375 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 9 2 10 [13 8 [9 87 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 0 1] 0 1] 11 [1953718630 1 7367026 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 8 [6 [6 [3 0 12] [1 1] 1 0] [[0 12] 1 1] 0 12] 8 [8 [9 10 0 255] 9 90 10 [6 0 12] 0 2] 9 2 10 [6 [0 13] 0 61] 0 2] 0 1] 11 [1953718630 1 6845292 [0 7] 0] 0 1] [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0 0] [1 8 [8 [9 10 0 127] 9 190 10 [6 0 28] 0 2] 9 2 10 [6 0 29] 0 2] 0 1] [8 [1 0] [1 8 [7 [0 7] 1 1] 8 [5 [0 14] 0 2] 0 6] 0 1] 7 [8 [1 0 0] [1 8 [6 [6 [3 0 12] [1 1] 1 0] [[0 12] 1 1] 0 12] 8 [8 [9 10 0 255] 9 367 10 [6 0 12] 0 2] 9 2 10 [6 [0 13] 0 61] 0 2] 0 1] 11 [1953718630 1 6581861 [0 7] 0] 0 1] [7 [8 [1 0 [1 1] 0] [1 8 [8 [9 10 0 127] 9 367 10 [6 0 28] 0 2] 9 2 10 [6 [0 117] 7 [0 3] 8 [8 [9 10 0 127] 9 767 10 [6 0 28] 0 2] 9 2 10 [6 [0 116] 0 59] 0 2] 0 2] 0 1] 11 [1953718630 1 7632227 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 8 [6 [6 [3 0 12] [1 1] 1 0] [[0 12] 1 1] 0 12] 8 [8 [9 10 0 255] 9 767 10 [6 0 12] 0 2] 9 2 10 [6 [0 13] 0 61] 0 2] 0 1] 11 [1953718630 1 6845298 [0 7] 0] 0 1] [8 [1 0] [1 [8 [1 0 0] [1 8 [9 44 0 7] 9 2 10 [6 7 [0 3] 8 [9 20 0 4095] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1] [8 [9 4 0 127] 9 2 10 [6 7 [0 3] 8 [9 4 0 127] 9 2 10 [6 0 14] 0 2] 0 2] [[8 [1 0] [1 8 [9 1375 0 31] 9 2 10 [6 [0 62] 0 14] 0 2] 0 1] 8 [1 0] [1 8 [9 47 0 4095] 9 2 10 [6 [7 [0 3] 8 [9 342 0 4095] 9 2 10 [6 7 [0 3] 9 10 0 7] 0 2] 7 [0 3] 8 [9 44 0 7] 9 2 10 [6 0 14] 0 2] 0 2] 0 1] [8 [1 0 0 0] [1 8 [8 [9 44 0 7] 9 2 10 [6 0 59] 0 2] 8 [8 [9 4 0 1023] 9 2 10 [6 7 [0 3] 8 [9 47 0 8191] 9 2 10 [6 [0 126] 0 60] 0 2] 0 2] 8 [8 [9 46 0 16383] 9 2 10 [6 [0 250] 0 6] 0 2] 8 [9 44 0 63] 9 2 10 [6 7 [0 3] 8 [9 20 0 255] 9 2 10 [6 [7 [0 3] 8 [9 87 0 255] 9 2 10 [6 [7 [0 3] [0 124] 0 2] 0 30] 0 2] 7 [0 3] 8 [9 341 0 255] 9 2 10 [6 [7 [0 3] [0 124] 8 [9 47 0 32767] 9 2 10 [6 [0 14] 0 6] 0 2] 0 30] 0 2] 0 2] 0 2] 0 1] 8 [1 0] [1 7 [10 [6 8 [9 44 0 7] 9 2 10 [6 0 14] 0 2] 0 1] 6 [8 [9 84 0 4095] 9 2 10 [6 [0 62] 7 [0 3] 1 3] 0 2] [0 6] 8 [8 [9 342 0 4095] 9 2 10 [6 0 62] 0 2] 8 [9 20 0 63] 9 2 10 [6 [7 [0 3] 8 [9 341 0 63] 9 2 10 [6 [0 6] 7 [0 3] 9 2 10 [30 0 2] 10 [6 8 [9 86 0 63] 9 2 10 [6 [0 6] [7 [0 3] 1 0 1] 0 30] 0 2] 0 3] 0 2] 7 [0 3] 9 2 10 [30 0 2] 10 [6 8 [9 86 0 63] 9 2 10 [6 [0 6] [7 [0 3] 1 1 1] 0 30] 0 2] 0 3] 0 2] 0 1] 0 1] [7 [8 [1 0 0] [1 6 [5 [1 0] 0 13] [1 0] 8 [9 20 0 1023] 9 2 10 [6 [7 [0 3] 8 [9 1375 0 7] 9 2 10 [6 [7 [0 3] [0 12] 0 52] 0 117] 0 2] 7 [0 3] 8 [9 341 0 7] 9 2 10 [6 [7 [0 3] [0 12] 0 52] 7 [0 3] 9 2 10 [13 0 27] 0 1] 0 2] 0 2] 0 1] 11 [1953718630 1 7233891 [0 7] 0] 0 1] [7 [8 [1 0 0 [0 15] 0 0 0] [1 8 [9 95 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 22 0 511] 9 2 10 [6 [7 [0 3] 8 [9 340 0 7] 9 2 10 [6 [0 28] 0 58] 0 2] 0 59] 0 2] 0 2] 0 1] 11 [1953718630 1 7239026 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 8 [6 [6 [3 0 12] [1 1] 1 0] [[0 12] 1 1] 0 12] 8 [1 0] 8 [1 6 [5 [1 0] 0 125] [1 0] 8 [9 20 0 8191] 9 2 10 [6 [7 [0 3] 9 2 10 [125 0 251] 10 [6 4 0 6] 0 1] 7 [0 3] 8 [9 341 0 63] 9 2 10 [6 [7 [0 3] [0 28] 8 [9 4 0 8191] 9 2 10 [6 [0 61] 0 14] 0 2] 7 [0 3] 8 [9 1375 0 63] 9 2 10 [6 [7 [0 3] [0 28] 0 29] 0 506] 0 2] 0 2] 0 2] 9 2 0 1] 0 1] 11 [1953718630 1 7366002 [0 7] 0] 0 1] 0 1] [7 [8 [1 0 0] [1 8 [9 22 0 7] 9 2 10 [6 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 22 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 1935763571 [0 7] 0] 0 1] [7 [8 [1 0] [1 8 [7 [7 [0 1] 9 4 0 7] 9 46 0 3] 9 2 10 [6 7 [0 3] [8 [7 [7 [0 1] 9 4 0 7] 9 686 0 1] 9 2 10 [6 [7 [0 3] 1 3] 0 14] 0 2] 0 6] 0 2] 0 1] 11 [1953718630 1 2019649651 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 7 [10 [13 8 [7 [7 [0 1] 9 4 0 7] 9 86 0 1] 9 2 10 [6 [7 [0 3] 1 3] [7 [0 3] [1 0] 0 12] 0 29] 0 2] 0 1] 8 [[7 [7 [7 [0 1] 9 4 0 7] 9 22 0 1] 10 [6 1 5] 0 1] 8 [1 0 0] [1 8 [7 [7 [0 7] 9 4 0 7] 9 86 0 1] 9 2 10 [6 [7 [0 3] 1 5] [7 [0 3] [0 12] 1 1] 0 29] 0 2] 0 1] 8 [[9 4 0 4] [9 46 0 4] [9 47 0 4] 9 45 0 4] 8 [8 [7 [7 [0 7] 9 4 0 7] 9 341 0 1] 9 2 10 [6 [7 [0 3] 1 0 3] 0 124] 0 2] 8 [8 [7 [7 [0 15] 9 4 0 7] 9 46 0 1] 9 2 10 [6 [7 [0 3] 1 0] 7 [0 3] [[0 2] 0 125] [1 8 128] [[8 [7 [7 [0 15] 9 4 0 7] 9 46 0 255] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 15] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [7 [0 3] 1 960] 7 [0 3] 8 [7 [7 [0 15] 9 4 0 7] 9 46 0 255] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 15] 9 4 0 7] 9 20 0 255] 9 2 10 [6 [7 [0 3] 1 8] 0 6] 0 2] 7 [0 3] 1 512] 0 2] 0 2] 7 [0 3] 1 512] 0 2] 1 0] [[1 64] 8 [8 [7 [7 [0 15] 9 4 0 7] 9 22 0 1] 9 47 10 [6 7 [0 3] 1 6] 0 2] 9 2 10 [6 0 6] 0 2] 1 0] 0 2] 8 [8 [7 [7 [0 31] 9 4 0 7] 9 686 0 1] 9 2 10 [6 [7 [0 3] 1 9] 0 6] 0 2] 8 [1 25051139735836467913601071899189108501681633092613316132753366958947502841281110980347811086624969305314199562795868290539880502533646505489797110349007385020507326982043050618112420254613810441709594605123090411975756494285771699200369901479195251226368983824020564277645963860728452821576845901498668417244438721537663670541944820957180957595559282976806173113161068298822071065329290006052849814285001949914564097058408480133985233335799884203712730341384999677089997083749077591931498939520449886954646413138343858395935213418018409268340744776361518554939863400075967197509182087778881547827184266701615699472280] 8 [1 41557658498906279274860226408925318911382702236748615442085426012007055353447] 8 [1 0] 8 [1 6 [5 [0 6] 0 62] [8 [7 [7 [0 1023] 9 4 0 7] 9 94 0 1] 9 2 10 [6 [7 [0 3] 1 5] [0 30] 0 8182] 0 2] 8 [8 [8 [7 [7 [0 1023] 9 4 0 7] 9 86 0 1] 9 2 10 [6 [7 [0 3] 1 9] [7 [0 3] [0 6] 1 1] 0 254] 0 2] 8 [8 [7 [7 [0 2047] 9 4 0 7] 9 94 0 1] 9 2 10 [6 [7 [0 3] 1 5] [0 6] 0 16374] 0 2] 8 [1 16] 8 [1 6 [5 [1 64] 0 6] [0 14] 8 [[8 [0 32765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16383] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 15] 0 2] 0 30] 0 2] [8 [0 32765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16383] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 2] 0 2] 0 30] 0 2] [8 [0 32765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16383] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 16] 0 2] 0 30] 0 2] 8 [0 32765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16383] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 7] 0 2] 0 30] 0 2] 8 [8 [7 [7 [0 32767] 9 4 0 7] 9 4 0 15] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 65530] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 7] 0 12] 0 2] 7 [0 3] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 65530] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 18] 0 12] 0 2] 7 [0 3] 7 [0 3] 8 [7 [7 [0 32767] 9 4 0 7] 9 87 0 1] 9 2 10 [6 [7 [0 3] 1 0 3] 0 12] 0 2] 0 2] 0 2] 8 [8 [7 [7 [0 65535] 9 4 0 7] 9 4 0 15] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 131066] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 17] 0 58] 0 2] 7 [0 3] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 131066] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 19] 0 58] 0 2] 7 [0 3] 7 [0 3] 8 [7 [7 [0 65535] 9 4 0 7] 9 87 0 1] 9 2 10 [6 [7 [0 3] 1 0 10] 0 58] 0 2] 0 2] 0 2] 8 [8 [0 131068] 8 [0 2] 9 2 10 [6 [0 502] 7 [0 3] 8 [0 2] 9 2 10 [6 [0 30] 7 [0 3] 8 [0 2] 9 2 10 [6 [0 503] 0 14] 0 2] 0 2] 0 2] 9 2 10 [14 8 [7 [7 [0 262143] 9 4 0 7] 9 20 0 1] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 262143] 9 4 0 7] 9 341 0 1] 9 2 10 [6 [7 [0 3] [1 5] 0 126] 0 6] 0 2] 0 510] 0 2] 10 [6 4 0 126] 0 31] 9 2 0 1] 8 [1 0] 8 [[8 [0 8189] 9 2 10 [6 [7 [0 3] 1 0] 0 126] 0 2] [8 [0 8189] 9 2 10 [6 [7 [0 3] 1 1] 0 126] 0 2] [8 [0 8189] 9 2 10 [6 [7 [0 3] 1 2] 0 126] 0 2] [8 [0 8189] 9 2 10 [6 [7 [0 3] 1 3] 0 126] 0 2] [8 [0 8189] 9 2 10 [6 [7 [0 3] 1 4] 0 126] 0 2] [8 [0 8189] 9 2 10 [6 [7 [0 3] 1 5] 0 126] 0 2] [8 [0 8189] 9 2 10 [6 [7 [0 3] 1 6] 0 126] 0 2] 8 [0 8189] 9 2 10 [6 [7 [0 3] 1 7] 0 126] 0 2] 8 [1 6 [5 [1 64] 0 14] [9 2 10 [14 8 [7 [7 [0 16383] 9 4 0 7] 9 95 0 1] 9 2 10 [6 [7 [0 3] 1 5] 7 [0 3] [8 [0 16380] 9 2 10 [6 [0 28] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 0] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 58] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 1] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 118] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 2] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 238] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 3] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 478] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 4] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 958] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 5] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 1918] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 6] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 1919] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 7] 0 510] 0 2] 0 2] 1 0] 0 2] 10 [6 4 0 126] 0 31] 8 [8 [7 [7 [0 16383] 9 4 0 7] 9 4 0 15] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 32762] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 2] 0 28] 0 2] 7 [0 3] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 32762] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 13] 0 28] 0 2] 7 [0 3] 7 [0 3] 8 [0 32762] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 22] 0 28] 0 2] 0 2] 0 2] 8 [8 [7 [7 [0 32767] 9 4 0 7] 9 4 0 15] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [7 [7 [0 32767] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [0 60] 0 122] 0 2] 7 [0 3] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [7 [7 [0 32767] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [0 60] 0 246] 0 2] 7 [0 3] 7 [0 3] 8 [7 [7 [0 32767] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [0 122] 0 246] 0 2] 0 2] 0 2] 8 [8 [0 65532] 9 2 10 [6 [0 14] 0 6] 0 2] 8 [8 [7 [7 [0 131071] 9 4 0 7] 9 4 0 15] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 262138] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 6] 0 4062] 0 2] 7 [0 3] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 262138] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 11] 0 4062] 0 2] 7 [0 3] 7 [0 3] 8 [0 262138] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 25] 0 4062] 0 2] 0 2] 0 2] 8 [8 [7 [7 [0 262143] 9 4 0 7] 9 4 0 15] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 262143] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [0 8158] 0 16318] 0 2] 7 [0 3] 8 [7 [7 [0 262143] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [7 [0 3] 8 [0 1048567] 9 2 10 [6 0 8158] 0 2] 0 32638] 0 2] 0 2] 8 [8 [0 524284] 8 [0 2] 9 2 10 [6 [0 130943] 7 [0 3] 8 [0 2] 9 2 10 [6 [0 30] 7 [0 3] 8 [0 2] 9 2 10 [6 [0 14] 7 [0 3] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 1048573] 9 2 10 [6 [0 1022] 0 32766] 0 2] 7 [0 3] 7 [0 3] 8 [0 1048573] 9 2 10 [6 [0 1022] 0 2046] 0 2] 0 2] 0 2] 0 2] 0 2] 9 2 10 [14 4 0 1022] 10 [6 [8 [0 1048572] 9 2 10 [6 [0 6] 0 62] 0 2] [0 1020] [0 2042] [0 4086] [8 [0 1048572] 9 2 10 [6 [0 16366] 0 6] 0 2] [0 16350] [0 32702] 0 65406] 0 127] 9 2 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 2036426867 [0 7] 0] 0 1] 7 [8 [1 0] [1 7 [8 [1 0] [1 8 [7 [7 [0 1] 9 4 0 31] 9 46 0 1] 9 2 10 [6 [7 [0 3] 1 0] 7 [0 3] 8 [8 [7 [7 [0 1] 9 4 0 31] 9 10 0 3] 9 2 10 [6 [7 [0 3] 1 1630365551] 7 [0 3] 8 [7 [7 [0 1] 9 4 0 31] 9 4 0 15] 9 2 10 [6 [0 14] 0 62] 0 2] 0 2] 8 [1 6 [5 [1 0] 0 30] [1 0] 8 [8 [7 [7 [0 7] 9 4 0 31] 9 10 0 3] 9 2 10 [6 [7 [0 3] 1 1647142767] 7 [0 3] 8 [7 [7 [0 7] 9 4 0 31] 9 4 0 15] 9 2 10 [6 [0 62] 7 [0 3] 8 [7 [7 [0 7] 9 4 0 31] 9 4 0 15] 9 2 10 [6 [0 254] 0 14] 0 2] 0 2] 0 2] 6 [8 [7 [7 [0 15] 9 4 0 31] 9 343 0 255] 9 2 10 [6 [0 126] 7 [0 3] 1 256] 0 2] [[[0 62] 8 [7 [7 [0 15] 9 4 0 31] 9 1375 0 1] 9 2 10 [6 [7 [0 3] [1 0] 0 62] 0 6] 0 2] 1 0] [[1 256] 0 2] 9 2 10 [30 8 [7 [7 [0 15] 9 4 0 31] 9 47 0 255] 9 2 10 [6 [0 126] 7 [0 3] 1 256] 0 2] 10 [6 0 2] 0 3] 9 2 0 1] 0 2] 0 1] 11 [1953718630 1 7823730 [0 7] 0] 0 1] 0 1] 11 [1953718630 1 26479 [0 7] 0] 0 1] [[7 [8 [1 0 0] [1 8 [1 133480762729846] 0 0] 0 1] 11 [1953718630 1 133480762729846 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 8 [1 1852270963] 0 0] 0 1] 11 [1953718630 1 1852270963 [0 7] 0] 0 1] [7 [8 [1 0 0 0] [1 8 [1 133449338811408550175386169016308622710] 0 0] 0 1] 11 [1953718630 1 133449338811408550175386169016308622710 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 8 [1 2036275311453377535635164748015987] 0 0] 0 1] 11 [1953718630 1 2036275311453377535635164748015987 [0 7] 0] 0 1] [[7 [8 [1 0 0] [1 8 [1 0 0] 8 [1 6 [6 [5 [1 0] 0 60] [6 [5 [1 0] 0 61] [1 0] 1 1] 1 1] [0 13] 9 2 10 [30 [8 [8 [9 10 0 63] 9 767 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 124] 0 2] 8 [8 [9 10 0 63] 9 767 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 125] 0 2] 10 [6 [4 0 12] 8 [9 20 0 511] 9 2 10 [6 [0 29] 7 [0 3] 8 [8 [9 10 0 63] 9 90 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [0 28] 7 [0 3] 5 [8 [8 [9 10 0 63] 9 367 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 124] 0 2] 8 [8 [9 10 0 63] 9 367 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 125] 0 2] 0 2] 0 2] 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 7891309 [0 7] 0] 0 1] [[8 [[8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [[0 50] 0 54] [1 8 [[8 [0 60] 9 2 10 [6 0 28] 0 2] 8 [0 61] 9 2 10 [6 0 29] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [8 [[8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [9 46 0 7] 9 2 10 [6 7 [0 3] 8 [9 20 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1] 7 [8 [1 0] [1 6 [5 [1 0] 0 6] [1 1 1] 8 [8 [8 [9 10 0 15] 9 190 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 14] 0 2] 8 [8 [8 [9 10 0 31] 9 190 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 6] 0 2] [8 [9 20 0 511] 9 2 10 [6 [7 [0 3] 8 [9 20 0 511] 9 2 10 [6 [0 6] 0 6] 0 2] 0 14] 0 2] 8 [8 [9 10 0 63] 9 4 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 8 [9 4 0 63] 9 2 10 [6 0 6] 0 2] 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 [7 [0 3] 8 [8 [9 10 0 63] 9 367 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 8 [9 342 0 511] 9 2 10 [6 0 6] 0 2] 0 14] 0 2] 7 [0 3] 8 [8 [9 10 0 63] 9 90 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 8 [9 342 0 511] 9 2 10 [6 0 6] 0 2] 0 62] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 7627117 [0 7] 0] 0 1] [7 [8 [1 0] [1 8 [1 0] 7 [8 [1 6 [6 [3 0 30] [1 1] 1 0] [8 [8 [9 43 0 31] 9 2 10 [6 0 62] 0 2] [8 [9 20 0 1023] 9 2 10 [6 [7 [0 3] 1 1] 0 12] 0 2] 8 [8 [9 10 0 127] 9 90 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 13] 0 2] 7 [10 [6 8 [9 20 0 511] 9 2 10 [6 [7 [0 3] 1 2] 0 14] 0 2] 0 1] 8 [9 2 10 [30 0 60] 0 1] 8 [9 2 10 [30 0 125] 10 [6 8 [9 20 0 1023] 9 2 10 [6 [0 30] 0 12] 0 2] 0 3] [8 [9 20 0 2047] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 8 [9 20 0 2047] 9 2 10 [6 [0 28] 0 12] 0 2] 0 2] 8 [9 4 0 127] 9 2 10 [6 [7 [0 3] 1 1] 7 [0 3] 8 [8 [9 10 0 255] 9 90 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 8 [8 [9 10 0 255] 9 4 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [0 29] 0 13] 0 2] 0 2] 0 2] 9 2 0 1] 0 3] 0 1] 11 [1953718630 1 7168362 [0 7] 0] 0 1] [8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [1 0] [1 8 [6 [3 0 6] [[8 [0 30] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 8 [9 46 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 58] 0 2] 8 [7 [0 7] 8 [9 46 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 59] 0 2] 6 [5 [1 0] 0 6] [1 0] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [7 [8 [1 0] [1 8 [1 0] 7 [8 [1 6 [5 [1 0] 8 [8 [9 10 0 63] 9 94 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] [0 6] 1 1] 0 62] 0 2] [8 [8 [9 95 0 31] 9 2 10 [6 [7 [0 3] 4 0 6] 0 62] 0 2] [4 0 4] 0 5] 8 [8 [9 20 0 511] 9 2 10 [6 [7 [0 3] 1 2] 0 14] 0 2] 6 [5 [1 0] 8 [8 [9 10 0 127] 9 94 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] [4 0 14] 1 1] 0 126] 0 2] [8 [9 2 10 [6 0 2] 0 3] 8 [9 2 10 [6 8 [9 20 0 2047] 9 2 10 [6 [0 12] 0 14] 0 2] 0 7] 8 [[0 13] 0 5] [8 [9 20 0 8191] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 8 [9 20 0 8191] 9 2 10 [6 [0 60] 0 28] 0 2] 0 2] 0 2] 0 0] 9 2 0 1] 0 3] 0 1] 11 [1953718630 1 6649187 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 8 [8 [[1 0] 8 [8 [9 10 0 15] 9 190 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 29] 0 2] 8 [1 6 [8 [9 43 0 511] 9 2 10 [6 [0 28] 0 29] 0 2] [0 0] 6 [5 [1 0] 8 [8 [9 10 0 63] 9 94 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] [8 [9 20 0 511] 9 2 10 [6 [0 124] 0 28] 0 2] 1 1] 0 125] 0 2] [9 2 10 [12 4 0 12] 0 1] 0 12] 9 2 0 1] 6 [5 [1 0] 0 2] [1 1 0] 8 [8 [9 20 0 255] 9 2 10 [6 [0 60] 7 [0 3] 4 0 2] 0 2] 8 [8 [9 20 0 511] 9 2 10 [6 [7 [0 3] 8 [9 4 0 63] 9 2 10 [6 7 [0 3] 8 [9 342 0 511] 9 2 10 [6 0 14] 0 2] 0 2] 7 [0 3] 8 [8 [9 10 0 63] 9 94 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] [0 2] 8 [9 342 0 511] 9 2 10 [6 0 14] 0 2] 0 125] 0 2] 0 2] [8 [9 20 0 1023] 9 2 10 [6 [7 [0 3] 8 [9 20 0 1023] 9 2 10 [6 [0 30] 0 30] 0 2] 0 6] 0 2] 8 [8 [9 10 0 127] 9 94 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] [8 [9 20 0 1023] 9 2 10 [6 [0 14] 7 [0 3] 8 [9 342 0 1023] 9 2 10 [6 0 30] 0 2] 0 2] 0 2] 0 253] 0 2] 0 1] 11 [1953718630 1 6452594 [0 7] 0] 0 1] [[8 [1 0] [1 6 [5 [1 0] 0 6] [1 1] 8 [9 4 0 63] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 9 2 10 [6 8 [9 342 0 63] 9 2 10 [6 0 14] 0 2] 0 1] 0 2] 0 1] [8 [1 0] [1 [8 [1 0 0] [1 8 [9 20 0 255] 9 2 10 [6 [7 [0 3] 8 [9 90 0 7] 9 2 10 [6 [7 [0 3] 8 [9 190 0 7] 9 2 10 [6 0 28] 0 2] 0 29] 0 2] 0 28] 0 2] 0 1] [8 [1 0] [1 8 [9 367 0 7] 9 2 10 [6 [7 [0 3] 1 1] 0 14] 0 2] 0 1] [[8 [1 0 0] [1 8 [1 0] 7 [10 [29 8 [9 10 0 15] 9 2 10 [6 0 61] 0 2] 0 1] 8 [0 29] 8 [1 6 [5 [0 14] 0 124] [8 [9 767 0 63] 9 2 10 [6 [7 [0 3] 1 1] 0 14] 0 2] 9 2 10 [14 4 0 14] 10 [6 8 [9 20 0 2047] 9 2 10 [6 [0 253] 7 [0 3] 8 [9 90 0 63] 9 2 10 [6 [7 [0 3] 1 1] 0 14] 0 2] 0 2] 0 1] 9 2 0 1] 0 1] [8 [1 0 0] [1 8 [9 4 0 255] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [7 [0 3] 9 182 0 7] 0 28] 0 2] 0 2] 0 2] 0 1] [8 [9 4 0 7] 9 2 10 [6 0 14] 0 2] [8 [1 0] [1 8 [9 47 0 255] 9 2 10 [6 [7 [0 3] 8 [9 342 0 255] 9 2 10 [6 7 [0 3] 9 382 0 7] 0 2] 7 [0 3] 8 [9 10 0 7] 9 2 10 [6 0 14] 0 2] 0 2] 0 1] 8 [1 0 0] [1 8 [9 46 0 255] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [7 [0 3] 9 182 0 7] 0 28] 0 2] 0 2] 0 2] 0 1] [8 [1 0 0] [1 8 [9 10 0 7] 9 2 10 [6 7 [0 3] 8 [9 20 0 255] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1] [8 [1 [0 0] 0] [1 8 [9 367 0 7] 9 2 10 [6 [0 57] 7 [0 3] 8 [9 767 0 7] 9 2 10 [6 [0 56] 0 29] 0 2] 0 2] 0 1] [8 [1 0] [1 8 [1 0] 8 [1 6 [5 [1 0] 0 30] [0 6] 9 2 10 [30 8 [9 767 0 31] 9 2 10 [6 [7 [0 3] 1 1] 0 62] 0 2] 10 [6 4 0 6] 0 1] 9 2 0 1] 0 1] [8 [9 4 0 7] 9 2 10 [6 7 [0 3] 8 [9 4 0 7] 9 2 10 [6 0 14] 0 2] 0 2] [8 [1 0] [1 8 [9 46 0 7] 9 2 10 [6 [7 [0 3] 8 [9 366 0 7] 9 2 10 [6 0 14] 0 2] 7 [0 3] 1 1] 0 2] 0 1] 8 [1 0 0] [1 8 [9 170 0 255] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [7 [0 3] 9 182 0 7] 0 28] 0 2] 0 2] 0 2] 0 1] 0 1] 8 [1 0] [1 8 [8 [9 10 0 7] 9 190 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 14] 0 2] 0 1] [[7 [8 [1 0 0] [1 6 [5 [1 0] 0 13] [1 1] 8 [9 4 0 31] 9 2 10 [6 [0 28] 7 [0 3] 9 2 10 [13 8 [9 342 0 31] 9 2 10 [6 0 29] 0 2] 0 1] 0 2] 0 1] 11 [1953718630 1 7827312 [0 7] 0] 0 1] 8 [1 0] [1 [8 [1 1 1] [1 8 [9 42 0 7] 9 2 10 [6 7 [0 3] 8 [9 4 0 127] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1] [[8 [1 0 0] [1 8 [9 42 0 7] 9 2 10 [6 7 [0 3] 8 [9 20 0 127] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1] [8 [1 0] [1 8 [9 46 0 127] 9 2 10 [6 [0 14] 0 62] 0 2] 0 1] [8 [1 1 1] [1 8 [9 4 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 174 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 1] [8 [1 0] [1 0 0] 0 1] 8 [1 0] [1 8 [9 47 0 127] 9 2 10 [6 [0 62] 7 [0 3] 8 [9 42 0 7] 9 2 10 [6 0 14] 0 2] 0 2] 0 1] [8 [1 0 0] [1 5 [8 [9 42 0 7] 9 2 10 [6 0 28] 0 2] 8 [9 42 0 7] 9 2 10 [6 0 29] 0 2] 0 1] [8 [1 0 0] [1 8 [9 42 0 7] 9 2 10 [6 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1] 8 [1 0 0] [1 8 [9 42 0 7] 9 2 10 [6 7 [0 3] 8 [9 47 0 127] 9 2 10 [6 [7 [0 3] 8 [9 20 0 127] 9 2 10 [6 [0 62] 0 28] 0 2] 7 [0 3] 8 [9 42 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 2] 0 1] 0 1] [[8 [1 [[0 15] [0 0] [0 0] 0] 0] [1 8 [0 101] [1 8 [0 60] 9 2 10 [6 [0 125] 0 14] 0 2] 0 1] 0 1] [[8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [1 0] [1 8 [7 [0 7] [1 7 [0 14] 9 2 0 1] 0 1] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [1 0] [1 8 [6 [3 0 6] [[6 [5 [1 0] 0 12] [1 0] 0 0] 8 [0 30] 9 2 10 [6 0 29] 0 2] 6 [5 [1 0] 0 6] [1 0] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [[0 26] 7 [8 [9 47 0 7] 9 2 10 [6 0 14] 0 2] 0 6] [1 8 [[8 [0 30] 9 2 10 [6 0 28] 0 2] 8 [7 [0 7] 8 [9 47 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 29] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [8 [1 0] [1 8 [7 [1 0 0] 8 [0 2] [1 0 15] 0 1] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [[8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [[1 0] 0 54] [1 8 [6 [5 [1 1] 0 12] [[6 [5 [0 12] 1 1] [1 1] 0 0] 8 [0 60] 9 2 10 [6 0 29] 0 2] [6 [5 [0 12] 1 0] [1 0] 0 0] 8 [0 61] 9 2 10 [6 0 29] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [1 0] [1 8 [6 [3 0 6] [[8 [0 30] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 8 [9 702 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 58] 0 2] 8 [7 [0 7] 8 [9 702 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 59] 0 2] 6 [5 [1 0] 0 6] [1 0] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [8 [1 0] [1 6 [5 [1 0] 0 6] [1 0] 4 9 2 10 [6 0 13] 0 1] 0 1] 8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0 [0 15] 0 0 0] [1 8 [1 6 [5 [1 0] 0 28] [1 0] [8 [0 29] 9 2 10 [6 0 120] 0 2] 9 2 10 [28 0 57] 0 1] 9 2 0 1] 0 1] [8 [1 0 [0 13] [0 0] 0] [1 8 [1 6 [5 [1 0] 0 28] [0 237] 8 [0 29] 9 2 10 [6 [0 120] 7 [0 3] 9 2 10 [28 0 57] 0 1] 0 2] 9 2 0 1] 0 1] 8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [1 0] [1 8 [6 [3 0 6] [[8 [0 30] 9 2 10 [6 0 28] 0 2] 8 [7 [0 7] 8 [9 47 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 29] 0 2] 6 [5 [1 0] 0 6] [1 0] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [[7 [8 [1 1 1] [1 8 [1 0] 8 [1 6 [5 [1 0] 0 60] [0 6] 9 2 10 [60 8 [9 342 0 31] 9 2 10 [6 0 124] 0 2] 10 [6 8 [9 20 0 31] 9 2 10 [6 [0 125] 0 14] 0 2] 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 7107949 [0 7] 0] 0 1] [[7 [8 [1 0 0] [1 6 [5 [1 0] 0 12] [0 13] 9 2 10 [6 [8 [9 342 0 7] 9 2 10 [6 0 28] 0 2] 4 0 13] 0 1] 0 1] 11 [1953718630 1 6579297 [0 7] 0] 0 1] [[7 [8 [1 0 0] [1 6 [5 [0 12] 0 13] [1 0] 6 [8 [9 343 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] [1 0] 1 1] 0 1] 11 [1953718630 1 6648940 [0 7] 0] 0 1] [7 [8 [1 1 1] [1 6 [5 [1 0] 0 13] [0 0] 8 [1 0] 8 [1 6 [8 [9 343 0 31] 9 2 10 [6 [0 124] 0 125] 0 2] [0 6] 9 2 10 [60 8 [9 47 0 31] 9 2 10 [6 [0 124] 0 125] 0 2] 10 [6 4 0 6] 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 7760228 [0 7] 0] 0 1] [7 [8 [1 0] [1 6 [5 [1 0] 0 6] [0 0] 8 [1 0] 8 [1 6 [5 [0 30] 4 0 6] [0 6] 9 2 10 [6 4 0 6] 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 6514020 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 6 [6 [5 [0 12] 0 13] [1 1] 1 0] [6 [8 [1 6 [5 [1 0] 0 28] [1 0] 6 [6 [6 [5 [1 0] 0 29] [1 1] 1 0] [6 [9 2 10 [14 [8 [9 342 0 15] 9 2 10 [6 0 60] 0 2] 8 [9 342 0 15] 9 2 10 [6 0 61] 0 2] 0 1] [1 0] 1 1] 1 1] [1 0] 1 1] 9 2 0 1] [1 0] 1 1] 1 1] 0 1] 11 [1953718630 1 6845548 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 6 [8 [9 84 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] [1 1] 1 0] 0 1] 11 [1953718630 1 6845543 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 6 [8 [9 343 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] [1 1] 1 0] 0 1] 11 [1953718630 1 6648935 [0 7] 0] 0 1] [7 [8 [1 1 1] [1 6 [5 [1 0] 0 13] [0 0] 8 [9 47 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 4 0 7] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 170 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 6582125 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 6 [5 [1 0] 0 13] [0 12] 9 2 10 [6 [8 [9 342 0 7] 9 2 10 [6 0 28] 0 2] 8 [9 342 0 7] 9 2 10 [6 0 29] 0 2] 0 1] 0 1] 11 [1953718630 1 6452595 [0 7] 0] 0 1] [0 3] 909] +[[[8 [1 0 0 0 0] [1 0 0] 0 1] [[1 0] [[8 [1 0 0 0] [1 8 [[8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 751 0 1] 0 2] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 751 0 1] 0 2] 9 2 10 [6 0 58] 0 2] 0 27] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0 [1 0] 0 0] [1 8 [[6 [6 [3 0 12] [1 1] 1 0] [0 12] 0 0] 8 [7 [0 7] 9 1534 0 1] 9 2 10 [6 0 29] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 [0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [0 0 0 0] 0 0 0] [1 8 [9 22 0 127] 9 2 10 [6 0 14] 0 2] 0 1] 8 [1 0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [1 [[8 [9 1492 0 7] 9 2 10 [6 0 14] 0 2] 8 [9 10 0 15] 9 2 10 [6 0 238] 0 2] 1 0] 0 1] [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 478793196187462788804451] [1 8 [6 [5 [0 6] 1 478793196187462788804451] [1 478793196187462788804451] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [1 8 [8 [9 10 0 255] 9 4 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 6243918] 7 [0 3] 8 [9 22 0 127] 9 2 10 [6 0 14] 0 2] 0 2] 0 1] 8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0] [1 1 478793196187462788804451] 0 1] [[8 [1 0 0] [1 0 0] 0 1] [[8 [1 0] [1 0 0] 0 1] [[8 [1 0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [1 [0 12] 0 26] 0 1] [8 [1 [0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [0 0 0 0] 0 0 0] [1 8 [6 [5 [1 478793196187462788804451] 0 6] [8 [7 [0 7] 9 174 0 1] 9 2 10 [6 0 14] 0 2] 8 [7 [0 7] 9 762 0 1] 9 2 10 [6 0 14] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0 0 0 0] [1 8 [[8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 351 0 1] 0 2] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 374 0 1] 0 2] 9 2 10 [6 0 58] 0 2] [6 [6 [3 0 54] [1 1] 1 0] [0 54] 0 0] 0 55] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0 0 0 0] [1 8 [[8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 351 0 1] 0 2] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 374 0 1] 0 2] 9 2 10 [6 0 58] 0 2] [8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 2986 0 1] 0 2] 9 2 10 [6 0 118] 0 2] 0 55] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 [0 [1 0] 0 0] 0] [1 8 [[8 [7 [0 7] 9 170 0 1] 9 2 10 [6 0 28] 0 2] 6 [6 [3 0 13] [1 1] 1 0] [0 13] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [1 8 [[6 [6 [3 0 12] [1 1] 1 0] [0 12] 0 0] [8 [7 [0 7] 9 1534 0 1] 9 2 10 [6 0 58] 0 2] [6 [5 [1 0] 0 54] [1 0] 6 [5 [1 1] 0 54] [1 1] 0 0] [6 [6 [3 0 110] [1 1] 1 0] [0 110] 0 0] [[6 [6 [3 0 444] [1 1] 1 0] [0 444] 0 0] 6 [6 [3 0 445] [1 1] 1 0] [0 445] 0 0] [6 [6 [3 0 446] [1 1] 1 0] [0 446] 0 0] [6 [6 [3 0 894] [1 1] 1 0] [0 894] 0 0] 6 [5 [0 895] 1 1701536102] [1 1701536102] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [1 8 [8 [9 10 0 255] 9 4 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 6245699] 7 [0 3] 8 [9 22 0 127] 9 2 10 [6 0 14] 0 2] 0 2] 0 1] [[[1 [8 [1 0] [1 8 [9 751 0 15] 9 2 10 [6 7 [0 3] 8 [9 94 0 255] 9 2 10 [6 7 [0 3] 8 [8 [9 10 0 511] 9 767 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 3] 0 14] 0 2] 0 2] 0 2] 0 1] 8 [1 0] [1 8 [9 751 0 15] 9 2 10 [6 7 [0 3] 8 [9 94 0 255] 9 2 10 [6 7 [0 3] 8 [8 [9 10 0 511] 9 767 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 3] 0 14] 0 2] 0 2] 0 2] 0 1] 0 1] [8 [1 [0 [[1 0] 0 0] 1 1 [0 0] 0 0 1701536102] [0 0 0 0] 0 0 0] [1 8 [[8 [7 [0 7] 9 751 0 1] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 9 2987 0 1] 9 2 10 [6 0 58] 0 2] 8 [7 [0 7] 9 84 0 1] 9 2 10 [6 0 59] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0 0] [1 0 0] 0 1] [8 [1 0 0 0 418565088612] [1 8 [[8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 86 0 1] 0 2] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 747 0 1] 0 2] 9 2 10 [6 0 58] 0 2] [8 [7 [0 7] 9 766 0 1] 9 2 10 [6 0 118] 0 2] 6 [5 [0 55] 1 418565088612] [1 418565088612] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0] [1 8 [8 [7 [0 7] 8 [9 47 0 255] 9 2 10 [6 7 [0 3] 9 750 0 1] 0 2] 9 2 10 [6 0 14] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 [1 0] 0 0] [1 8 [7 [1 0] 8 [1 0] [1 1 0] 0 1] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0] [1 1 418565088612] 0 1] [[7 [8 [1 0 0] [1 8 [[8 [9 756 0 7] 9 2 10 [6 0 28] 0 2] 8 [9 756 0 7] 9 2 10 [6 0 29] 0 2] 6 [0 8] [6 [0 10] [8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 0] 7 [0 3] 8 [9 20 0 2047] 9 2 10 [6 [0 25] 0 27] 0 2] 0 2] 6 [8 [9 22 0 2047] 9 2 10 [6 [0 25] 0 27] 0 2] [8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 0] 7 [0 3] 8 [9 47 0 2047] 9 2 10 [6 [0 25] 0 27] 0 2] 0 2] 8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 1] 7 [0 3] 8 [9 47 0 2047] 9 2 10 [6 [0 27] 0 25] 0 2] 0 2] 6 [0 10] [6 [8 [9 22 0 2047] 9 2 10 [6 [0 25] 0 27] 0 2] [8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 1] 7 [0 3] 8 [9 47 0 2047] 9 2 10 [6 [0 25] 0 27] 0 2] 0 2] 8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 0] 7 [0 3] 8 [9 47 0 2047] 9 2 10 [6 [0 27] 0 25] 0 2] 0 2] 8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 1] 7 [0 3] 8 [9 20 0 2047] 9 2 10 [6 [0 25] 0 27] 0 2] 0 2] 0 1] 11 [1953718630 1 7173491 [0 7] 0] 0 1] [7 [8 [1 0] [1 8 [9 4 0 1023] 9 2 10 [6 [7 [0 3] 1 2] 0 14] 0 2] 0 1] 11 [1953718630 1 7239027 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 8 [8 [9 756 0 7] 9 2 10 [6 0 28] 0 2] 6 [0 4] [8 [9 46 0 2047] 9 2 10 [6 [0 13] 0 61] 0 2] 8 [9 47 0 2047] 9 2 10 [6 [0 61] 0 13] 0 2] 0 1] 11 [1953718630 1 7107940 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 8 [9 758 0 7] 9 2 10 [6 [7 [0 3] 5 [1 0] 8 [9 4 0 63] 9 2 10 [6 [7 [0 3] 8 [9 188 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 7 [0 3] 8 [9 4 0 1023] 9 2 10 [6 [7 [0 3] 8 [9 1515 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 1515 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 7303792 [0 7] 0] 0 1] [[7 [8 [1 0] [1 5 [1 0] 8 [7 [7 [0 7] 9 4 0 3] 9 1375 0 1] 9 2 10 [6 [7 [0 3] 1 0] 0 14] 0 2] 0 1] 11 [1953718630 1 7240051 [0 7] 0] 0 1] [[7 [8 [1 0] [1 [8 [9 188 0 7] 9 2 10 [6 0 14] 0 2] 8 [9 1515 0 7] 9 2 10 [6 0 14] 0 2] 0 1] 11 [1953718630 1 6581359 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 8 [9 759 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 46 0 7] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 190 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 7169394 [0 7] 0] 0 1] 7 [8 [1 0] [1 8 [7 [7 [0 7] 9 4 0 3] 9 20 0 255] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 7] 9 4 0 3] 9 1375 0 1] 9 2 10 [6 [7 [0 3] 1 0] 0 14] 0 2] 7 [0 3] 8 [7 [7 [0 7] 9 4 0 3] 9 87 0 1] 9 2 10 [6 [7 [0 3] 1 0] 0 14] 0 2] 0 2] 0 1] 11 [1953718630 1 7561825 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 6 [0 12] [8 [9 4 0 1023] 9 2 10 [6 [7 [0 3] 1 2] 0 29] 0 2] 6 [5 [1 0] 0 13] [1 0] 4 8 [9 4 0 1023] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 8 [9 342 0 1023] 9 2 10 [6 0 29] 0 2] 0 2] 0 1] 11 [1953718630 1 7824750 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 8 [9 4 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 758 0 7] 9 2 10 [6 [7 [0 3] 6 [8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] [1 1] 1 0] 7 [0 3] 8 [9 1515 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 6711652 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 8 [9 758 0 7] 9 2 10 [6 [7 [0 3] 5 [1 0] 8 [9 4 0 63] 9 2 10 [6 [7 [0 3] 8 [9 188 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 7 [0 3] 8 [9 170 0 1023] 9 2 10 [6 [7 [0 3] 8 [9 1515 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 1515 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 6386278 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 6 [5 [0 12] 0 13] [1 0] 6 [8 [9 188 0 7] 9 2 10 [6 0 28] 0 2] [6 [8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] [6 [8 [9 43 0 1023] 9 2 10 [6 [0 28] 0 29] 0 2] [1 2] 1 1] 1 2] 6 [8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] [1 1] 6 [8 [9 43 0 1023] 9 2 10 [6 [0 28] 0 29] 0 2] [1 1] 1 2] 0 1] 11 [1953718630 1 7368035 [0 7] 0] 0 1] [[[1 [7 [8 [1 0 0] [1 8 [1 0 0] 8 [1 6 [6 [5 [1 0] 0 60] [1 0] 6 [5 [1 0] 0 61] [1 0] 1 1] [0 13] 9 2 10 [30 [8 [9 87 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2] 8 [9 87 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 125] 0 2] 10 [6 [4 0 12] 8 [9 20 0 4095] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 341 0 31] 9 2 10 [6 [7 [0 3] [1 0] 0 12] 7 [0 3] 6 [5 [1 0] 8 [9 1375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2] [1 0] 6 [5 [1 0] 8 [9 1375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 125] 0 2] [1 0] 1 1] 0 2] 0 2] 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 7563620 [0 7] 0] 0 1] [[7 [8 [1 0 0] [1 8 [1 0 0] 8 [1 6 [6 [5 [1 0] 0 60] [6 [5 [1 0] 0 61] [1 0] 1 1] 1 1] [0 13] 9 2 10 [30 [8 [9 87 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2] 8 [9 87 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 125] 0 2] 10 [6 [4 0 12] 8 [9 20 0 4095] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 341 0 31] 9 2 10 [6 [7 [0 3] [1 0] 0 12] 7 [0 3] 6 [5 [1 0] 8 [9 1375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2] [6 [5 [1 0] 8 [9 1375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 125] 0 2] [1 0] 1 1] 1 1] 0 2] 0 2] 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 7237475 [0 7] 0] 0 1] [[8 [1 0] [1 8 [6 [3 0 6] [[8 [7 [0 7] 9 342 0 1] 9 2 10 [6 0 28] 0 2] 8 [7 [0 7] 9 1374 0 1] 9 2 10 [6 0 29] 0 2] 8 [7 [0 7] 9 342 0 1] 9 2 10 [6 0 14] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] [[7 [8 [1 0 0] [1 6 [5 [1 0] 0 13] [1 0] [8 [9 1375 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 9 2 10 [13 8 [9 87 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 0 1] 0 1] 11 [1953718630 1 7367026 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 8 [6 [6 [3 0 12] [1 1] 1 0] [[0 12] 1 1] 0 12] 8 [8 [9 10 0 255] 9 90 10 [6 0 12] 0 2] 9 2 10 [6 [0 13] 0 61] 0 2] 0 1] 11 [1953718630 1 6845292 [0 7] 0] 0 1] [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0 0] [1 8 [8 [9 10 0 127] 9 190 10 [6 0 28] 0 2] 9 2 10 [6 0 29] 0 2] 0 1] [8 [1 0] [1 8 [7 [0 7] 1 1] 8 [5 [0 14] 0 2] 0 6] 0 1] 7 [8 [1 0 0] [1 8 [6 [6 [3 0 12] [1 1] 1 0] [[0 12] 1 1] 0 12] 8 [8 [9 10 0 255] 9 367 10 [6 0 12] 0 2] 9 2 10 [6 [0 13] 0 61] 0 2] 0 1] 11 [1953718630 1 6581861 [0 7] 0] 0 1] [7 [8 [1 0 [1 1] 0] [1 8 [8 [9 10 0 127] 9 367 10 [6 0 28] 0 2] 9 2 10 [6 [0 117] 7 [0 3] 8 [8 [9 10 0 127] 9 767 10 [6 0 28] 0 2] 9 2 10 [6 [0 116] 0 59] 0 2] 0 2] 0 1] 11 [1953718630 1 7632227 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 8 [6 [6 [3 0 12] [1 1] 1 0] [[0 12] 1 1] 0 12] 8 [8 [9 10 0 255] 9 767 10 [6 0 12] 0 2] 9 2 10 [6 [0 13] 0 61] 0 2] 0 1] 11 [1953718630 1 6845298 [0 7] 0] 0 1] [8 [1 0] [1 [8 [1 0 0] [1 8 [9 44 0 7] 9 2 10 [6 7 [0 3] 8 [9 20 0 4095] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1] [8 [9 4 0 127] 9 2 10 [6 7 [0 3] 8 [9 4 0 127] 9 2 10 [6 0 14] 0 2] 0 2] [[8 [1 0] [1 8 [9 1375 0 31] 9 2 10 [6 [0 62] 0 14] 0 2] 0 1] 8 [1 0] [1 8 [9 47 0 4095] 9 2 10 [6 [7 [0 3] 8 [9 342 0 4095] 9 2 10 [6 7 [0 3] 9 10 0 7] 0 2] 7 [0 3] 8 [9 44 0 7] 9 2 10 [6 0 14] 0 2] 0 2] 0 1] [8 [1 0 0 0] [1 8 [8 [9 44 0 7] 9 2 10 [6 0 59] 0 2] 8 [8 [9 4 0 1023] 9 2 10 [6 7 [0 3] 8 [9 47 0 8191] 9 2 10 [6 [0 126] 0 60] 0 2] 0 2] 8 [8 [9 46 0 16383] 9 2 10 [6 [0 250] 0 6] 0 2] 8 [9 44 0 63] 9 2 10 [6 7 [0 3] 8 [9 20 0 255] 9 2 10 [6 [7 [0 3] 8 [9 87 0 255] 9 2 10 [6 [7 [0 3] [0 124] 0 2] 0 30] 0 2] 7 [0 3] 8 [9 341 0 255] 9 2 10 [6 [7 [0 3] [0 124] 8 [9 47 0 32767] 9 2 10 [6 [0 14] 0 6] 0 2] 0 30] 0 2] 0 2] 0 2] 0 1] 8 [1 0] [1 7 [10 [6 8 [9 44 0 7] 9 2 10 [6 0 14] 0 2] 0 1] 6 [8 [9 84 0 4095] 9 2 10 [6 [0 62] 7 [0 3] 1 3] 0 2] [0 6] 8 [8 [9 342 0 4095] 9 2 10 [6 0 62] 0 2] 8 [9 20 0 63] 9 2 10 [6 [7 [0 3] 8 [9 341 0 63] 9 2 10 [6 [0 6] 7 [0 3] 9 2 10 [30 0 2] 10 [6 8 [9 86 0 63] 9 2 10 [6 [0 6] [7 [0 3] 1 0 1] 0 30] 0 2] 0 3] 0 2] 7 [0 3] 9 2 10 [30 0 2] 10 [6 8 [9 86 0 63] 9 2 10 [6 [0 6] [7 [0 3] 1 1 1] 0 30] 0 2] 0 3] 0 2] 0 1] 0 1] [7 [8 [1 0 0] [1 6 [5 [1 0] 0 13] [1 0] 8 [9 20 0 1023] 9 2 10 [6 [7 [0 3] 8 [9 1375 0 7] 9 2 10 [6 [7 [0 3] [0 12] 0 52] 0 117] 0 2] 7 [0 3] 8 [9 341 0 7] 9 2 10 [6 [7 [0 3] [0 12] 0 52] 7 [0 3] 9 2 10 [13 0 27] 0 1] 0 2] 0 2] 0 1] 11 [1953718630 1 7233891 [0 7] 0] 0 1] [7 [8 [1 0 0 [0 15] 0 0 0] [1 8 [9 95 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 22 0 511] 9 2 10 [6 [7 [0 3] 8 [9 340 0 7] 9 2 10 [6 [0 28] 0 58] 0 2] 0 59] 0 2] 0 2] 0 1] 11 [1953718630 1 7239026 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 8 [6 [6 [3 0 12] [1 1] 1 0] [[0 12] 1 1] 0 12] 8 [1 0] 8 [1 6 [5 [1 0] 0 125] [1 0] 8 [9 20 0 8191] 9 2 10 [6 [7 [0 3] 9 2 10 [125 0 251] 10 [6 4 0 6] 0 1] 7 [0 3] 8 [9 341 0 63] 9 2 10 [6 [7 [0 3] [0 28] 8 [9 4 0 8191] 9 2 10 [6 [0 61] 0 14] 0 2] 7 [0 3] 8 [9 1375 0 63] 9 2 10 [6 [7 [0 3] [0 28] 0 29] 0 506] 0 2] 0 2] 0 2] 9 2 0 1] 0 1] 11 [1953718630 1 7366002 [0 7] 0] 0 1] 0 1] [7 [8 [1 0 0] [1 8 [9 22 0 7] 9 2 10 [6 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 22 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 1935763571 [0 7] 0] 0 1] [7 [8 [1 0] [1 8 [7 [7 [0 1] 9 4 0 7] 9 46 0 3] 9 2 10 [6 7 [0 3] [8 [7 [7 [0 1] 9 4 0 7] 9 686 0 1] 9 2 10 [6 [7 [0 3] 1 3] 0 14] 0 2] 0 6] 0 2] 0 1] 11 [1953718630 1 2019649651 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 7 [10 [13 8 [7 [7 [0 1] 9 4 0 7] 9 86 0 1] 9 2 10 [6 [7 [0 3] 1 3] [7 [0 3] [1 0] 0 12] 0 29] 0 2] 0 1] 8 [[7 [7 [7 [0 1] 9 4 0 7] 9 22 0 1] 10 [6 1 5] 0 1] 8 [1 0 0] [1 8 [7 [7 [0 7] 9 4 0 7] 9 86 0 1] 9 2 10 [6 [7 [0 3] 1 5] [7 [0 3] [0 12] 1 1] 0 29] 0 2] 0 1] 8 [[9 4 0 4] [9 46 0 4] [9 47 0 4] 9 45 0 4] 8 [8 [7 [7 [0 7] 9 4 0 7] 9 341 0 1] 9 2 10 [6 [7 [0 3] 1 0 3] 0 124] 0 2] 8 [8 [7 [7 [0 15] 9 4 0 7] 9 46 0 1] 9 2 10 [6 [7 [0 3] 1 0] 7 [0 3] [[0 2] 0 125] [1 8 128] [[8 [7 [7 [0 15] 9 4 0 7] 9 46 0 255] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 15] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [7 [0 3] 1 960] 7 [0 3] 8 [7 [7 [0 15] 9 4 0 7] 9 46 0 255] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 15] 9 4 0 7] 9 20 0 255] 9 2 10 [6 [7 [0 3] 1 8] 0 6] 0 2] 7 [0 3] 1 512] 0 2] 0 2] 7 [0 3] 1 512] 0 2] 1 0] [[1 64] 8 [8 [7 [7 [0 15] 9 4 0 7] 9 22 0 1] 9 47 10 [6 7 [0 3] 1 6] 0 2] 9 2 10 [6 0 6] 0 2] 1 0] 0 2] 8 [8 [7 [7 [0 31] 9 4 0 7] 9 686 0 1] 9 2 10 [6 [7 [0 3] 1 9] 0 6] 0 2] 8 [1 25051139735836467913601071899189108501681633092613316132753366958947502841281110980347811086624969305314199562795868290539880502533646505489797110349007385020507326982043050618112420254613810441709594605123090411975756494285771699200369901479195251226368983824020564277645963860728452821576845901498668417244438721537663670541944820957180957595559282976806173113161068298822071065329290006052849814285001949914564097058408480133985233335799884203712730341384999677089997083749077591931498939520449886954646413138343858395935213418018409268340744776361518554939863400075967197509182087778881547827184266701615699472280] 8 [1 41557658498906279274860226408925318911382702236748615442085426012007055353447] 8 [1 0] 8 [1 6 [5 [0 6] 0 62] [8 [7 [7 [0 1023] 9 4 0 7] 9 94 0 1] 9 2 10 [6 [7 [0 3] 1 5] [0 30] 0 8182] 0 2] 8 [8 [8 [7 [7 [0 1023] 9 4 0 7] 9 86 0 1] 9 2 10 [6 [7 [0 3] 1 9] [7 [0 3] [0 6] 1 1] 0 254] 0 2] 8 [8 [7 [7 [0 2047] 9 4 0 7] 9 94 0 1] 9 2 10 [6 [7 [0 3] 1 5] [0 6] 0 16374] 0 2] 8 [1 16] 8 [1 6 [5 [1 64] 0 6] [0 14] 8 [[8 [0 32765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16383] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 15] 0 2] 0 30] 0 2] [8 [0 32765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16383] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 2] 0 2] 0 30] 0 2] [8 [0 32765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16383] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 16] 0 2] 0 30] 0 2] 8 [0 32765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16383] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 7] 0 2] 0 30] 0 2] 8 [8 [7 [7 [0 32767] 9 4 0 7] 9 4 0 15] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 65530] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 7] 0 12] 0 2] 7 [0 3] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 65530] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 18] 0 12] 0 2] 7 [0 3] 7 [0 3] 8 [7 [7 [0 32767] 9 4 0 7] 9 87 0 1] 9 2 10 [6 [7 [0 3] 1 0 3] 0 12] 0 2] 0 2] 0 2] 8 [8 [7 [7 [0 65535] 9 4 0 7] 9 4 0 15] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 131066] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 17] 0 58] 0 2] 7 [0 3] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 131066] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 19] 0 58] 0 2] 7 [0 3] 7 [0 3] 8 [7 [7 [0 65535] 9 4 0 7] 9 87 0 1] 9 2 10 [6 [7 [0 3] 1 0 10] 0 58] 0 2] 0 2] 0 2] 8 [8 [0 131068] 8 [0 2] 9 2 10 [6 [0 502] 7 [0 3] 8 [0 2] 9 2 10 [6 [0 30] 7 [0 3] 8 [0 2] 9 2 10 [6 [0 503] 0 14] 0 2] 0 2] 0 2] 9 2 10 [14 8 [7 [7 [0 262143] 9 4 0 7] 9 20 0 1] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 262143] 9 4 0 7] 9 341 0 1] 9 2 10 [6 [7 [0 3] [1 5] 0 126] 0 6] 0 2] 0 510] 0 2] 10 [6 4 0 126] 0 31] 9 2 0 1] 8 [1 0] 8 [[8 [0 8189] 9 2 10 [6 [7 [0 3] 1 0] 0 126] 0 2] [8 [0 8189] 9 2 10 [6 [7 [0 3] 1 1] 0 126] 0 2] [8 [0 8189] 9 2 10 [6 [7 [0 3] 1 2] 0 126] 0 2] [8 [0 8189] 9 2 10 [6 [7 [0 3] 1 3] 0 126] 0 2] [8 [0 8189] 9 2 10 [6 [7 [0 3] 1 4] 0 126] 0 2] [8 [0 8189] 9 2 10 [6 [7 [0 3] 1 5] 0 126] 0 2] [8 [0 8189] 9 2 10 [6 [7 [0 3] 1 6] 0 126] 0 2] 8 [0 8189] 9 2 10 [6 [7 [0 3] 1 7] 0 126] 0 2] 8 [1 6 [5 [1 64] 0 14] [9 2 10 [14 8 [7 [7 [0 16383] 9 4 0 7] 9 95 0 1] 9 2 10 [6 [7 [0 3] 1 5] 7 [0 3] [8 [0 16380] 9 2 10 [6 [0 28] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 0] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 58] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 1] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 118] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 2] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 238] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 3] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 478] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 4] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 958] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 5] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 1918] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 6] 0 510] 0 2] 0 2] [8 [0 16380] 9 2 10 [6 [0 1919] 7 [0 3] 8 [0 32765] 9 2 10 [6 [7 [0 3] 1 7] 0 510] 0 2] 0 2] 1 0] 0 2] 10 [6 4 0 126] 0 31] 8 [8 [7 [7 [0 16383] 9 4 0 7] 9 4 0 15] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 32762] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 2] 0 28] 0 2] 7 [0 3] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 32762] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 13] 0 28] 0 2] 7 [0 3] 7 [0 3] 8 [0 32762] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 22] 0 28] 0 2] 0 2] 0 2] 8 [8 [7 [7 [0 32767] 9 4 0 7] 9 4 0 15] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [7 [7 [0 32767] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [0 60] 0 122] 0 2] 7 [0 3] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [7 [7 [0 32767] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [0 60] 0 246] 0 2] 7 [0 3] 7 [0 3] 8 [7 [7 [0 32767] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [0 122] 0 246] 0 2] 0 2] 0 2] 8 [8 [0 65532] 9 2 10 [6 [0 14] 0 6] 0 2] 8 [8 [7 [7 [0 131071] 9 4 0 7] 9 4 0 15] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 262138] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 6] 0 4062] 0 2] 7 [0 3] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 262138] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 11] 0 4062] 0 2] 7 [0 3] 7 [0 3] 8 [0 262138] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 25] 0 4062] 0 2] 0 2] 0 2] 8 [8 [7 [7 [0 262143] 9 4 0 7] 9 4 0 15] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 262143] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [0 8158] 0 16318] 0 2] 7 [0 3] 8 [7 [7 [0 262143] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [7 [0 3] 8 [0 1048567] 9 2 10 [6 0 8158] 0 2] 0 32638] 0 2] 0 2] 8 [8 [0 524284] 8 [0 2] 9 2 10 [6 [0 130943] 7 [0 3] 8 [0 2] 9 2 10 [6 [0 30] 7 [0 3] 8 [0 2] 9 2 10 [6 [0 14] 7 [0 3] 8 [0 2] 9 2 10 [6 [7 [0 3] 7 [0 3] 8 [0 1048573] 9 2 10 [6 [0 1022] 0 32766] 0 2] 7 [0 3] 7 [0 3] 8 [0 1048573] 9 2 10 [6 [0 1022] 0 2046] 0 2] 0 2] 0 2] 0 2] 0 2] 9 2 10 [14 4 0 1022] 10 [6 [8 [0 1048572] 9 2 10 [6 [0 6] 0 62] 0 2] [0 1020] [0 2042] [0 4086] [8 [0 1048572] 9 2 10 [6 [0 16366] 0 6] 0 2] [0 16350] [0 32702] 0 65406] 0 127] 9 2 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 2036426867 [0 7] 0] 0 1] 7 [8 [1 0] [1 [8 [1 0] [1 8 [8 [9 23 0 7] 9 2 10 [6 0 14] 0 2] [0 2] 10 [6 8 [9 10 0 63] 9 2 10 [6 [7 [0 3] 1 1932355439] 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [0 126] 0 6] 0 2] 0 2] 0 15] 0 1] [[8 [1 0] [1 11 [1851876717 [1 [1 1717658988] 7 [0 1] 8 [1 1 114 97 100 45 122 101 114 111 0] 9 2 0 1] 0 1] 6 [5 [1 0] 0 6] [0 0] 8 [8 [9 23 0 7] 9 2 10 [6 7 [0 3] 8 [7 [7 [0 1] 9 4 0 31] 9 686 0 1] 9 2 10 [6 [7 [0 3] 1 0] 0 14] 0 2] 0 2] 6 [8 [7 [7 [0 3] 9 4 0 31] 9 343 0 255] 9 2 10 [6 [0 6] 0 30] 0 2] [0 2] 9 2 10 [30 4 0 62] 0 3] 0 1] [10 [6 8 [9 10 0 7] 9 2 10 [6 [7 [0 3] 1 30449275492921459] 0 14] 0 2] 0 1] 10 [6 8 [9 10 0 7] 9 2 10 [6 [7 [0 3] 1 32138125353185395] 0 14] 0 2] 0 1] [8 [1 0] [1 8 [8 [9 20 0 7] 9 2 10 [6 0 14] 0 2] [0 2] 10 [6 8 [9 10 0 63] 9 2 10 [6 [7 [0 3] 1 1932355439] 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [0 126] 0 6] 0 2] 0 2] 0 15] 0 1] 7 [8 [1 0] [1 8 [7 [7 [0 1] 9 4 0 31] 9 46 0 1] 9 2 10 [6 [7 [0 3] 1 0] 7 [0 3] 8 [8 [7 [7 [0 1] 9 4 0 31] 9 10 0 3] 9 2 10 [6 [7 [0 3] 1 1630365551] 7 [0 3] 8 [7 [7 [0 1] 9 4 0 31] 9 4 0 15] 9 2 10 [6 [0 14] 0 62] 0 2] 0 2] 8 [1 6 [5 [1 0] 0 30] [1 0] 8 [8 [7 [7 [0 7] 9 4 0 31] 9 10 0 3] 9 2 10 [6 [7 [0 3] 1 1647142767] 7 [0 3] 8 [7 [7 [0 7] 9 4 0 31] 9 4 0 15] 9 2 10 [6 [0 62] 7 [0 3] 8 [7 [7 [0 7] 9 4 0 31] 9 4 0 15] 9 2 10 [6 [0 254] 0 14] 0 2] 0 2] 0 2] 6 [8 [7 [7 [0 15] 9 4 0 31] 9 343 0 255] 9 2 10 [6 [0 126] 7 [0 3] 1 256] 0 2] [[[0 62] 8 [7 [7 [0 15] 9 4 0 31] 9 1375 0 1] 9 2 10 [6 [7 [0 3] [1 0] 0 62] 0 6] 0 2] 1 0] [[1 256] 0 2] 9 2 10 [30 8 [7 [7 [0 15] 9 4 0 31] 9 47 0 255] 9 2 10 [6 [0 126] 7 [0 3] 1 256] 0 2] 10 [6 0 2] 0 3] 9 2 0 1] 0 2] 0 1] 11 [1953718630 1 7823730 [0 7] 0] 0 1] 0 1] 11 [1953718630 1 26479 [0 7] 0] 0 1] [[7 [8 [1 0 0] [1 8 [1 133480762729846] 0 0] 0 1] 11 [1953718630 1 133480762729846 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 8 [1 1852270963] 0 0] 0 1] 11 [1953718630 1 1852270963 [0 7] 0] 0 1] [7 [8 [1 0 0 0] [1 8 [1 133449338811408550175386169016308622710] 0 0] 0 1] 11 [1953718630 1 133449338811408550175386169016308622710 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 8 [1 2036275311453377535635164748015987] 0 0] 0 1] 11 [1953718630 1 2036275311453377535635164748015987 [0 7] 0] 0 1] [[7 [8 [1 0 0] [1 8 [1 0 0] 8 [1 6 [6 [5 [1 0] 0 60] [6 [5 [1 0] 0 61] [1 0] 1 1] 1 1] [0 13] 9 2 10 [30 [8 [8 [9 10 0 63] 9 767 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 124] 0 2] 8 [8 [9 10 0 63] 9 767 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 125] 0 2] 10 [6 [4 0 12] 8 [9 20 0 511] 9 2 10 [6 [0 29] 7 [0 3] 8 [8 [9 10 0 63] 9 90 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [0 28] 7 [0 3] 5 [8 [8 [9 10 0 63] 9 367 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 124] 0 2] 8 [8 [9 10 0 63] 9 367 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 125] 0 2] 0 2] 0 2] 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 7891309 [0 7] 0] 0 1] [[8 [[8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [[0 50] 0 54] [1 8 [[8 [0 60] 9 2 10 [6 0 28] 0 2] 8 [0 61] 9 2 10 [6 0 29] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [8 [[8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [9 46 0 7] 9 2 10 [6 7 [0 3] 8 [9 20 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1] 7 [8 [1 0] [1 6 [5 [1 0] 0 6] [1 1 1] 8 [8 [8 [9 10 0 15] 9 190 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 14] 0 2] 8 [8 [8 [9 10 0 31] 9 190 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 6] 0 2] [8 [9 20 0 511] 9 2 10 [6 [7 [0 3] 8 [9 20 0 511] 9 2 10 [6 [0 6] 0 6] 0 2] 0 14] 0 2] 8 [8 [9 10 0 63] 9 4 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 8 [9 4 0 63] 9 2 10 [6 0 6] 0 2] 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 [7 [0 3] 8 [8 [9 10 0 63] 9 367 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 8 [9 342 0 511] 9 2 10 [6 0 6] 0 2] 0 14] 0 2] 7 [0 3] 8 [8 [9 10 0 63] 9 90 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 8 [9 342 0 511] 9 2 10 [6 0 6] 0 2] 0 62] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 7627117 [0 7] 0] 0 1] [7 [8 [1 0] [1 8 [1 0] 7 [8 [1 6 [6 [3 0 30] [1 1] 1 0] [8 [8 [9 43 0 31] 9 2 10 [6 0 62] 0 2] [8 [9 20 0 1023] 9 2 10 [6 [7 [0 3] 1 1] 0 12] 0 2] 8 [8 [9 10 0 127] 9 90 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 13] 0 2] 7 [10 [6 8 [9 20 0 511] 9 2 10 [6 [7 [0 3] 1 2] 0 14] 0 2] 0 1] 8 [9 2 10 [30 0 60] 0 1] 8 [9 2 10 [30 0 125] 10 [6 8 [9 20 0 1023] 9 2 10 [6 [0 30] 0 12] 0 2] 0 3] [8 [9 20 0 2047] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 8 [9 20 0 2047] 9 2 10 [6 [0 28] 0 12] 0 2] 0 2] 8 [9 4 0 127] 9 2 10 [6 [7 [0 3] 1 1] 7 [0 3] 8 [8 [9 10 0 255] 9 90 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 8 [8 [9 10 0 255] 9 4 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [0 29] 0 13] 0 2] 0 2] 0 2] 9 2 0 1] 0 3] 0 1] 11 [1953718630 1 7168362 [0 7] 0] 0 1] [8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [1 0] [1 8 [6 [3 0 6] [[8 [0 30] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 8 [9 46 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 58] 0 2] 8 [7 [0 7] 8 [9 46 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 59] 0 2] 6 [5 [1 0] 0 6] [1 0] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [7 [8 [1 0] [1 8 [1 0] 7 [8 [1 6 [5 [1 0] 8 [8 [9 10 0 63] 9 94 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] [0 6] 1 1] 0 62] 0 2] [8 [8 [9 95 0 31] 9 2 10 [6 [7 [0 3] 4 0 6] 0 62] 0 2] [4 0 4] 0 5] 8 [8 [9 20 0 511] 9 2 10 [6 [7 [0 3] 1 2] 0 14] 0 2] 6 [5 [1 0] 8 [8 [9 10 0 127] 9 94 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] [4 0 14] 1 1] 0 126] 0 2] [8 [9 2 10 [6 0 2] 0 3] 8 [9 2 10 [6 8 [9 20 0 2047] 9 2 10 [6 [0 12] 0 14] 0 2] 0 7] 8 [[0 13] 0 5] [8 [9 20 0 8191] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 8 [9 20 0 8191] 9 2 10 [6 [0 60] 0 28] 0 2] 0 2] 0 2] 0 0] 9 2 0 1] 0 3] 0 1] 11 [1953718630 1 6649187 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 8 [8 [[1 0] 8 [8 [9 10 0 15] 9 190 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 29] 0 2] 8 [1 6 [8 [9 43 0 511] 9 2 10 [6 [0 28] 0 29] 0 2] [0 0] 6 [5 [1 0] 8 [8 [9 10 0 63] 9 94 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] [8 [9 20 0 511] 9 2 10 [6 [0 124] 0 28] 0 2] 1 1] 0 125] 0 2] [9 2 10 [12 4 0 12] 0 1] 0 12] 9 2 0 1] 6 [5 [1 0] 0 2] [1 1 0] 8 [8 [9 20 0 255] 9 2 10 [6 [0 60] 7 [0 3] 4 0 2] 0 2] 8 [8 [9 20 0 511] 9 2 10 [6 [7 [0 3] 8 [9 4 0 63] 9 2 10 [6 7 [0 3] 8 [9 342 0 511] 9 2 10 [6 0 14] 0 2] 0 2] 7 [0 3] 8 [8 [9 10 0 63] 9 94 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] [0 2] 8 [9 342 0 511] 9 2 10 [6 0 14] 0 2] 0 125] 0 2] 0 2] [8 [9 20 0 1023] 9 2 10 [6 [7 [0 3] 8 [9 20 0 1023] 9 2 10 [6 [0 30] 0 30] 0 2] 0 6] 0 2] 8 [8 [9 10 0 127] 9 94 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] [8 [9 20 0 1023] 9 2 10 [6 [0 14] 7 [0 3] 8 [9 342 0 1023] 9 2 10 [6 0 30] 0 2] 0 2] 0 2] 0 253] 0 2] 0 1] 11 [1953718630 1 6452594 [0 7] 0] 0 1] [[8 [1 0] [1 6 [5 [1 0] 0 6] [1 1] 8 [9 4 0 63] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 9 2 10 [6 8 [9 342 0 63] 9 2 10 [6 0 14] 0 2] 0 1] 0 2] 0 1] [8 [1 0] [1 [8 [1 0 0] [1 8 [9 20 0 255] 9 2 10 [6 [7 [0 3] 8 [9 90 0 7] 9 2 10 [6 [7 [0 3] 8 [9 190 0 7] 9 2 10 [6 0 28] 0 2] 0 29] 0 2] 0 28] 0 2] 0 1] [8 [1 0] [1 8 [9 367 0 7] 9 2 10 [6 [7 [0 3] 1 1] 0 14] 0 2] 0 1] [[8 [1 0 0] [1 8 [1 0] 7 [10 [29 8 [9 10 0 15] 9 2 10 [6 0 61] 0 2] 0 1] 8 [0 29] 8 [1 6 [5 [0 14] 0 124] [8 [9 767 0 63] 9 2 10 [6 [7 [0 3] 1 1] 0 14] 0 2] 9 2 10 [14 4 0 14] 10 [6 8 [9 20 0 2047] 9 2 10 [6 [0 253] 7 [0 3] 8 [9 90 0 63] 9 2 10 [6 [7 [0 3] 1 1] 0 14] 0 2] 0 2] 0 1] 9 2 0 1] 0 1] [8 [1 0 0] [1 8 [9 4 0 255] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [7 [0 3] 9 182 0 7] 0 28] 0 2] 0 2] 0 2] 0 1] [8 [9 4 0 7] 9 2 10 [6 0 14] 0 2] [8 [1 0] [1 8 [9 47 0 255] 9 2 10 [6 [7 [0 3] 8 [9 342 0 255] 9 2 10 [6 7 [0 3] 9 382 0 7] 0 2] 7 [0 3] 8 [9 10 0 7] 9 2 10 [6 0 14] 0 2] 0 2] 0 1] 8 [1 0 0] [1 8 [9 46 0 255] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [7 [0 3] 9 182 0 7] 0 28] 0 2] 0 2] 0 2] 0 1] [8 [1 0 0] [1 8 [9 10 0 7] 9 2 10 [6 7 [0 3] 8 [9 20 0 255] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1] [8 [1 [0 0] 0] [1 8 [9 367 0 7] 9 2 10 [6 [0 57] 7 [0 3] 8 [9 767 0 7] 9 2 10 [6 [0 56] 0 29] 0 2] 0 2] 0 1] [8 [1 0] [1 8 [1 0] 8 [1 6 [5 [1 0] 0 30] [0 6] 9 2 10 [30 8 [9 767 0 31] 9 2 10 [6 [7 [0 3] 1 1] 0 62] 0 2] 10 [6 4 0 6] 0 1] 9 2 0 1] 0 1] [8 [9 4 0 7] 9 2 10 [6 7 [0 3] 8 [9 4 0 7] 9 2 10 [6 0 14] 0 2] 0 2] [8 [1 0] [1 8 [9 46 0 7] 9 2 10 [6 [7 [0 3] 8 [9 366 0 7] 9 2 10 [6 0 14] 0 2] 7 [0 3] 1 1] 0 2] 0 1] 8 [1 0 0] [1 8 [9 170 0 255] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [7 [0 3] 9 182 0 7] 0 28] 0 2] 0 2] 0 2] 0 1] 0 1] 8 [1 0] [1 8 [8 [9 10 0 7] 9 190 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 14] 0 2] 0 1] [[7 [8 [1 0 0] [1 6 [5 [1 0] 0 13] [1 1] 8 [9 4 0 31] 9 2 10 [6 [0 28] 7 [0 3] 9 2 10 [13 8 [9 342 0 31] 9 2 10 [6 0 29] 0 2] 0 1] 0 2] 0 1] 11 [1953718630 1 7827312 [0 7] 0] 0 1] 8 [1 0] [1 [8 [1 1 1] [1 8 [9 42 0 7] 9 2 10 [6 7 [0 3] 8 [9 4 0 127] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1] [[8 [1 0 0] [1 8 [9 42 0 7] 9 2 10 [6 7 [0 3] 8 [9 20 0 127] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1] [8 [1 0] [1 8 [9 46 0 127] 9 2 10 [6 [0 14] 0 62] 0 2] 0 1] [8 [1 1 1] [1 8 [9 4 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 174 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 1] [8 [1 0] [1 0 0] 0 1] 8 [1 0] [1 8 [9 47 0 127] 9 2 10 [6 [0 62] 7 [0 3] 8 [9 42 0 7] 9 2 10 [6 0 14] 0 2] 0 2] 0 1] [8 [1 0 0] [1 5 [8 [9 42 0 7] 9 2 10 [6 0 28] 0 2] 8 [9 42 0 7] 9 2 10 [6 0 29] 0 2] 0 1] [8 [1 0 0] [1 8 [9 42 0 7] 9 2 10 [6 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1] 8 [1 0 0] [1 8 [9 42 0 7] 9 2 10 [6 7 [0 3] 8 [9 47 0 127] 9 2 10 [6 [7 [0 3] 8 [9 20 0 127] 9 2 10 [6 [0 62] 0 28] 0 2] 7 [0 3] 8 [9 42 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 2] 0 1] 0 1] [[8 [1 [[0 15] [0 0] [0 0] 0] 0] [1 8 [0 101] [1 8 [0 60] 9 2 10 [6 [0 125] 0 14] 0 2] 0 1] 0 1] [[8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [1 0] [1 8 [7 [0 7] [1 7 [0 14] 9 2 0 1] 0 1] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [1 0] [1 8 [6 [3 0 6] [[6 [5 [1 0] 0 12] [1 0] 0 0] 8 [0 30] 9 2 10 [6 0 29] 0 2] 6 [5 [1 0] 0 6] [1 0] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [[0 26] 7 [8 [9 47 0 7] 9 2 10 [6 0 14] 0 2] 0 6] [1 8 [[8 [0 30] 9 2 10 [6 0 28] 0 2] 8 [7 [0 7] 8 [9 47 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 29] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [8 [1 0] [1 8 [7 [1 0 0] 8 [0 2] [1 0 15] 0 1] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [[8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [[1 0] 0 54] [1 8 [6 [5 [1 1] 0 12] [[6 [5 [0 12] 1 1] [1 1] 0 0] 8 [0 60] 9 2 10 [6 0 29] 0 2] [6 [5 [0 12] 1 0] [1 0] 0 0] 8 [0 61] 9 2 10 [6 0 29] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [1 0] [1 8 [6 [3 0 6] [[8 [0 30] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 8 [9 702 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 58] 0 2] 8 [7 [0 7] 8 [9 702 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 59] 0 2] 6 [5 [1 0] 0 6] [1 0] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [8 [1 0] [1 6 [5 [1 0] 0 6] [1 0] 4 9 2 10 [6 0 13] 0 1] 0 1] 8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [5 [0 14] 0 2] 0 6] 0 1] [8 [1 0 [0 15] 0 0 0] [1 8 [1 6 [5 [1 0] 0 28] [1 0] [8 [0 29] 9 2 10 [6 0 120] 0 2] 9 2 10 [28 0 57] 0 1] 9 2 0 1] 0 1] [8 [1 0 [0 13] [0 0] 0] [1 8 [1 6 [5 [1 0] 0 28] [0 237] 8 [0 29] 9 2 10 [6 [0 120] 7 [0 3] 9 2 10 [28 0 57] 0 1] 0 2] 9 2 0 1] 0 1] 8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [1 0] [1 8 [6 [3 0 6] [[8 [0 30] 9 2 10 [6 0 28] 0 2] 8 [7 [0 7] 8 [9 47 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 29] 0 2] 6 [5 [1 0] 0 6] [1 0] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1] [[7 [8 [1 1 1] [1 8 [1 0] 8 [1 6 [5 [1 0] 0 60] [0 6] 9 2 10 [60 8 [9 342 0 31] 9 2 10 [6 0 124] 0 2] 10 [6 8 [9 20 0 31] 9 2 10 [6 [0 125] 0 14] 0 2] 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 7107949 [0 7] 0] 0 1] [[7 [8 [1 0 0] [1 6 [5 [1 0] 0 12] [0 13] 9 2 10 [6 [8 [9 342 0 7] 9 2 10 [6 0 28] 0 2] 4 0 13] 0 1] 0 1] 11 [1953718630 1 6579297 [0 7] 0] 0 1] [[7 [8 [1 0 0] [1 6 [5 [0 12] 0 13] [1 0] 6 [8 [9 343 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] [1 0] 1 1] 0 1] 11 [1953718630 1 6648940 [0 7] 0] 0 1] [7 [8 [1 1 1] [1 6 [5 [1 0] 0 13] [0 0] 8 [1 0] 8 [1 6 [8 [9 343 0 31] 9 2 10 [6 [0 124] 0 125] 0 2] [0 6] 9 2 10 [60 8 [9 47 0 31] 9 2 10 [6 [0 124] 0 125] 0 2] 10 [6 4 0 6] 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 7760228 [0 7] 0] 0 1] [7 [8 [1 0] [1 6 [5 [1 0] 0 6] [0 0] 8 [1 0] 8 [1 6 [5 [0 30] 4 0 6] [0 6] 9 2 10 [6 4 0 6] 0 1] 9 2 0 1] 0 1] 11 [1953718630 1 6514020 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 6 [6 [5 [0 12] 0 13] [1 1] 1 0] [6 [8 [1 6 [5 [1 0] 0 28] [1 0] 6 [6 [6 [5 [1 0] 0 29] [1 1] 1 0] [6 [9 2 10 [14 [8 [9 342 0 15] 9 2 10 [6 0 60] 0 2] 8 [9 342 0 15] 9 2 10 [6 0 61] 0 2] 0 1] [1 0] 1 1] 1 1] [1 0] 1 1] 9 2 0 1] [1 0] 1 1] 1 1] 0 1] 11 [1953718630 1 6845548 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 6 [8 [9 84 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] [1 1] 1 0] 0 1] 11 [1953718630 1 6845543 [0 7] 0] 0 1] [7 [8 [1 0 0] [1 6 [8 [9 343 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] [1 1] 1 0] 0 1] 11 [1953718630 1 6648935 [0 7] 0] 0 1] [7 [8 [1 1 1] [1 6 [5 [1 0] 0 13] [0 0] 8 [9 47 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 4 0 7] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 170 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 2] 0 1] 11 [1953718630 1 6582125 [0 7] 0] 0 1] 7 [8 [1 0 0] [1 6 [5 [1 0] 0 13] [0 12] 9 2 10 [6 [8 [9 342 0 7] 9 2 10 [6 0 28] 0 2] 8 [9 342 0 7] 9 2 10 [6 0 29] 0 2] 0 1] 0 1] 11 [1953718630 1 6452595 [0 7] 0] 0 1] [0 3] 909] diff --git a/src/Juvix/Compiler/Nockma/AnomaLib.hs b/src/Juvix/Compiler/Nockma/AnomaLib.hs index 6913edf084..f1ea6c977b 100644 --- a/src/Juvix/Compiler/Nockma/AnomaLib.hs +++ b/src/Juvix/Compiler/Nockma/AnomaLib.hs @@ -11,10 +11,14 @@ anomaLib = decodeUtf8 $(FE.makeRelativeToProject "runtime/nockma/anomalib.nockma" >>= FE.embedFile) -- | The anoma lib paths are obtained from the Urbit dojo --- * Load the anoma lib file into the Urbit dojo --- * Run: `=> anoma !=(s)` where s is an anoma lib symbol +-- * Load the anoma lib files into the Urbit dojo +-- +-- =anoma -build-file /=base=/lib/anoma/hoon +-- =rm -build-file /=base=/lib/resource-machine/hoon +-- +-- * Run: `=> rm !=(s)` where s is an anoma lib symbol -- eg: --- => anoma !=(add) +-- => rm !=(add) -- [9 20 0 15] anomaLibPath :: AnomaLib -> Term Natural anomaLibPath = \case @@ -44,21 +48,21 @@ anomaLibPath = \case StdlibSha256 -> [nock| [9 22 0 7] |] -- Obtained from the urbit dojo using: -- - -- => anoma !=(~(met block 3)) + -- => rm !=(~(met block 3)) -- -- The `3` here is because we want to treat each atom as sequences of 2^3 -- bits, i.e bytes. StdlibLengthBytes -> [nock| [8 [9 10 0 63] 9 190 10 [6 7 [0 3] 1 3] 0 2] |] -- Obtained from the urbit dojo using: -- - -- => anoma !=(~(cat block 3)) + -- => rm !=(~(cat block 3)) -- -- The `3` here is because we want to treat each atom as sequences of 2^3 -- bits, i.e bytes. StdlibCatBytes -> [nock| [8 [9 10 0 63] 9 4 10 [6 7 [0 3] 1 3] 0 2] |] -- Obtained from the urbit dojo using: -- - -- =>(anoma !=(|=([l=(list @)] (foldr l |=([fst=@ snd=@] (add (~(lsh block 3) 1 snd) fst)))))) + -- =>(rm !=(|=([l=(list @)] (foldr l |=([fst=@ snd=@] (add (~(lsh block 3) 1 snd) fst)))))) -- -- The `3` here is because we want to shift left in byte = 2^3 bit steps. StdlibFoldBytes ->