From 39434a052d7410f28e723988b286f36a623abf3b Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Fri, 18 Oct 2024 15:25:01 +0100 Subject: [PATCH] Update Anoma stdlib --- runtime/nockma/stdlib.nockma | 2164 +------------------ src/Juvix/Compiler/Nockma/StdlibFunction.hs | 53 +- 2 files changed, 23 insertions(+), 2194 deletions(-) diff --git a/runtime/nockma/stdlib.nockma b/runtime/nockma/stdlib.nockma index 96784d1f33..40cf34784f 100644 --- a/runtime/nockma/stdlib.nockma +++ b/runtime/nockma/stdlib.nockma @@ -1,2163 +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 2.047] 9 2 10 [6 [0 25] 0 27] 0 2] 0 2] - 6 - [8 [9 22 0 2.047] 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 2.047] 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 2.047] 9 2 10 [6 [0 27] 0 25] 0 2] - 0 - 2 - ] - 6 - [0 10] - [ 6 - [8 [9 22 0 2.047] 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 2.047] 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 2.047] 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 2.047] 9 2 10 [6 [0 25] 0 27] 0 2] - 0 - 2 - ] - 0 - 1 - ] - 11 - [1.953.718.630 1 7.173.491 [0 7] 0] - 0 - 1 - ] - [7 [8 [1 0] [1 8 [9 4 0 1.023] 9 2 10 [6 [7 [0 3] 1 2] 0 14] 0 2] 0 1] 11 [1.953.718.630 1 7.239.027 [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 2.047] 9 2 10 [6 [0 13] 0 61] 0 2] - 8 - [9 47 0 2.047] - 9 - 2 - 10 - [6 [0 61] 0 13] - 0 - 2 - ] - 0 - 1 - ] - 11 - [1.953.718.630 1 7.107.940 [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 1.023] - 9 - 2 - 10 - [6 [7 [0 3] 8 [9 1.515 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 1.515 0 7] 9 2 10 [6 0 29] 0 2] - 0 - 2 - ] - 0 - 2 - ] - 0 - 1 - ] - 11 - [1.953.718.630 1 7.303.792 [0 7] 0] - 0 - 1 - ] - [ [ 7 - [8 [1 0] [1 5 [1 0] 8 [7 [7 [0 7] 9 4 0 3] 9 1.375 0 1] 9 2 10 [6 [7 [0 3] 1 0] 0 14] 0 2] 0 1] - 11 - [1.953.718.630 1 7.240.051 [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 1.515 0 7] 9 2 10 [6 0 14] 0 2] 0 1] 11 [1.953.718.630 1 6.581.359 [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 - [1.953.718.630 1 7.169.394 [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 1.375 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 - [1.953.718.630 1 7.561.825 [0 7] 0] - 0 - 1 - ] - [ 7 - [ 8 - [1 0 0] - [ 1 - 6 - [0 12] - [8 [9 4 0 1.023] 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 1.023] - 9 - 2 - 10 - [6 [7 [0 3] 1 2] 7 [0 3] 8 [9 342 0 1.023] 9 2 10 [6 0 29] 0 2] - 0 - 2 - ] - 0 - 1 - ] - 11 - [1.953.718.630 1 7.824.750 [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 1.515 0 7] 9 2 10 [6 0 29] 0 2] - 0 - 2 - ] - 0 - 2 - ] - 0 - 1 - ] - 11 - [1.953.718.630 1 6.711.652 [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 1.023] - 9 - 2 - 10 - [6 [7 [0 3] 8 [9 1.515 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 1.515 0 7] 9 2 10 [6 0 29] 0 2] - 0 - 2 - ] - 0 - 2 - ] - 0 - 1 - ] - 11 - [1.953.718.630 1 6.386.278 [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 1.023] 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 1.023] 9 2 10 [6 [0 28] 0 29] 0 2] - [1 1] - 1 - 2 - ] - 0 - 1 - ] - 11 - [1.953.718.630 1 7.368.035 [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 4.095] - 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 1.375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2] - [1 0] - 6 - [5 [1 0] 8 [9 1.375 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 - [1.953.718.630 1 7.563.620 [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 4.095] - 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 1.375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2] - [6 [5 [1 0] 8 [9 1.375 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 - [1.953.718.630 1 7.237.475 [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 1.374 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 1.375 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 - [1.953.718.630 1 7.367.026 [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 - [1.953.718.630 1 6.845.292 [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 - [1.953.718.630 1 6.581.861 [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 - [1.953.718.630 1 7.632.227 [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 - [1.953.718.630 1 6.845.298 [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 4.095] 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 1.375 0 31] 9 2 10 [6 [0 62] 0 14] 0 2] 0 1] - 8 - [1 0] - [ 1 - 8 - [9 47 0 4.095] - 9 - 2 - 10 - [6 [7 [0 3] 8 [9 342 0 4.095] 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 1.023] 9 2 10 [6 7 [0 3] 8 [9 47 0 8.191] 9 2 10 [6 [0 126] 0 60] 0 2] 0 2] - 8 - [8 [9 46 0 16.383] 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 32.767] 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 4.095] 9 2 10 [6 [0 62] 7 [0 3] 1 3] 0 2] - [0 6] - 8 - [8 [9 342 0 4.095] 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 1.023] - 9 - 2 - 10 - [ 6 - [7 [0 3] 8 [9 1.375 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 - [1.953.718.630 1 7.233.891 [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 - [1.953.718.630 1 7.239.026 [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 8.191] - 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 8.191] 9 2 10 [6 [0 61] 0 14] 0 2] - 7 - [0 3] - 8 - [9 1.375 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 - [1.953.718.630 1 7.366.002 [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 - [1.953.718.630 1 1.935.763.571 [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 - [1.953.718.630 1 2.019.649.651 [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 - 25.051.139.735.836.467.913.601.071.899.189.108.501.681.633.092.613.316.132.753.366.958.947.502.841.281.110.980.347.811.086.624.969.305.314.199.562.795.868.290.539.880.502.533.646.505.489.797.110.349.007.385.020.507.326.982.043.050.618.112.420.254.613.810.441.709.594.605.123.090.411.975.756.494.285.771.699.200.369.901.479.195.251.226.368.983.824.020.564.277.645.963.860.728.452.821.576.845.901.498.668.417.244.438.721.537.663.670.541.944.820.957.180.957.595.559.282.976.806.173.113.161.068.298.822.071.065.329.290.006.052.849.814.285.001.949.914.564.097.058.408.480.133.985.233.335.799.884.203.712.730.341.384.999.677.089.997.083.749.077.591.931.498.939.520.449.886.954.646.413.138.343.858.395.935.213.418.018.409.268.340.744.776.361.518.554.939.863.400.075.967.197.509.182.087.778.881.547.827.184.266.701.615.699.472.280 - ] - 8 - [1 41.557.658.498.906.279.274.860.226.408.925.318.911.382.702.236.748.615.442.085.426.012.007.055.353.447] - 8 - [1 0] - 8 - [ 1 - 6 - [5 [0 6] 0 62] - [8 [7 [7 [0 1.023] 9 4 0 7] 9 94 0 1] 9 2 10 [6 [7 [0 3] 1 5] [0 30] 0 8.182] 0 2] - 8 - [ 8 - [8 [7 [7 [0 1.023] 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 2.047] 9 4 0 7] 9 94 0 1] 9 2 10 [6 [7 [0 3] 1 5] [0 6] 0 16.374] 0 2] - 8 - [1 16] - 8 - [ 1 - 6 - [5 [1 64] 0 6] - [0 14] - 8 - [ [8 [0 32.765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16.383] 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 32.765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16.383] 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 32.765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16.383] 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 32.765] - 9 - 2 - 10 - [6 [7 [0 3] 8 [7 [7 [0 16.383] 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 32.767] 9 4 0 7] 9 4 0 15] - 8 - [0 2] - 9 - 2 - 10 - [ 6 - [7 [0 3] 7 [0 3] 8 [0 65.530] 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 65.530] 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 32.767] 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 65.535] 9 4 0 7] 9 4 0 15] - 8 - [0 2] - 9 - 2 - 10 - [ 6 - [7 [0 3] 7 [0 3] 8 [0 131.066] 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 131.066] 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 65.535] 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 131.068] 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 262.143] 9 4 0 7] 9 20 0 1] - 9 - 2 - 10 - [6 [7 [0 3] 8 [7 [7 [0 262.143] 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 8.189] 9 2 10 [6 [7 [0 3] 1 0] 0 126] 0 2] - [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 1] 0 126] 0 2] - [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 2] 0 126] 0 2] - [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 3] 0 126] 0 2] - [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 4] 0 126] 0 2] - [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 5] 0 126] 0 2] - [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 6] 0 126] 0 2] - 8 - [0 8.189] - 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 16.383] 9 4 0 7] 9 95 0 1] - 9 - 2 - 10 - [ 6 - [7 [0 3] 1 5] - 7 - [0 3] - [8 [0 16.380] 9 2 10 [6 [0 28] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 0] 0 510] 0 2] 0 2] - [8 [0 16.380] 9 2 10 [6 [0 58] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 1] 0 510] 0 2] 0 2] - [8 [0 16.380] 9 2 10 [6 [0 118] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 2] 0 510] 0 2] 0 2] - [8 [0 16.380] 9 2 10 [6 [0 238] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 3] 0 510] 0 2] 0 2] - [8 [0 16.380] 9 2 10 [6 [0 478] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 4] 0 510] 0 2] 0 2] - [8 [0 16.380] 9 2 10 [6 [0 958] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 5] 0 510] 0 2] 0 2] - [8 [0 16.380] 9 2 10 [6 [0 1.918] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 6] 0 510] 0 2] 0 2] - [8 [0 16.380] 9 2 10 [6 [0 1.919] 7 [0 3] 8 [0 32.765] 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 16.383] 9 4 0 7] 9 4 0 15] - 8 - [0 2] - 9 - 2 - 10 - [ 6 - [7 [0 3] 7 [0 3] 8 [0 32.762] 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 32.762] 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 32.762] - 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 32.767] 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 32.767] 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 32.767] 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 32.767] 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 65.532] 9 2 10 [6 [0 14] 0 6] 0 2] - 8 - [ 8 - [7 [7 [0 131.071] 9 4 0 7] 9 4 0 15] - 8 - [0 2] - 9 - 2 - 10 - [ 6 - [7 [0 3] 7 [0 3] 8 [0 262.138] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 6] 0 4.062] 0 2] - 7 - [0 3] - 8 - [0 2] - 9 - 2 - 10 - [ 6 - [7 [0 3] 7 [0 3] 8 [0 262.138] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 11] 0 4.062] 0 2] - 7 - [0 3] - 7 - [0 3] - 8 - [0 262.138] - 9 - 2 - 10 - [6 [7 [0 3] 1 0] [7 [0 3] 1 25] 0 4.062] - 0 - 2 - ] - 0 - 2 - ] - 0 - 2 - ] - 8 - [ 8 - [7 [7 [0 262.143] 9 4 0 7] 9 4 0 15] - 9 - 2 - 10 - [ 6 - [7 [0 3] 8 [7 [7 [0 262.143] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [0 8.158] 0 16.318] 0 2] - 7 - [0 3] - 8 - [7 [7 [0 262.143] 9 4 0 7] 9 4 0 1] - 9 - 2 - 10 - [6 [7 [0 3] 8 [0 1.048.567] 9 2 10 [6 0 8.158] 0 2] 0 32.638] - 0 - 2 - ] - 0 - 2 - ] - 8 - [ 8 - [0 524.284] - 8 - [0 2] - 9 - 2 - 10 - [ 6 - [0 130.943] - 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 1.048.573] 9 2 10 [6 [0 1.022] 0 32.766] 0 2] - 7 - [0 3] - 7 - [0 3] - 8 - [0 1.048.573] - 9 - 2 - 10 - [6 [0 1.022] 0 2.046] - 0 - 2 - ] - 0 - 2 - ] - 0 - 2 - ] - 0 - 2 - ] - 0 - 2 - ] - 9 - 2 - 10 - [14 4 0 1.022] - 10 - [ 6 - [8 [0 1.048.572] 9 2 10 [6 [0 6] 0 62] 0 2] - [0 1.020] - [0 2.042] - [0 4.086] - [8 [0 1.048.572] 9 2 10 [6 [0 16.366] 0 6] 0 2] - [0 16.350] - [0 32.702] - 0 - 65.406 - ] - 0 - 127 - ] - 9 - 2 - 0 - 1 - ] - 9 - 2 - 0 - 1 - ] - 0 - 1 - ] - 11 - [1.953.718.630 1 2.036.426.867 [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 1.630.365.551] 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 1.647.142.767] - 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 1.375 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 - [1.953.718.630 1 7.823.730 [0 7] 0] - 0 - 1 - ] - 0 - 1 - ] - 11 - [1.953.718.630 1 26.479 [0 7] 0] - 0 - 1 - ] - [ [7 [8 [1 0 0] [1 8 [1 133.480.762.729.846] 0 0] 0 1] 11 [1.953.718.630 1 133.480.762.729.846 [0 7] 0] 0 1] - [7 [8 [1 0 0] [1 8 [1 1.852.270.963] 0 0] 0 1] 11 [1.953.718.630 1 1.852.270.963 [0 7] 0] 0 1] - [ 7 - [8 [1 0 0 0] [1 8 [1 133.449.338.811.408.550.175.386.169.016.308.622.710] 0 0] 0 1] - 11 - [1.953.718.630 1 133.449.338.811.408.550.175.386.169.016.308.622.710 [0 7] 0] - 0 - 1 - ] - 7 - [8 [1 0 0] [1 8 [1 2.036.275.311.453.377.535.635.164.748.015.987] 0 0] 0 1] - 11 - [1.953.718.630 1 2.036.275.311.453.377.535.635.164.748.015.987 [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 - [1.953.718.630 1 7.891.309 [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 - [1.953.718.630 1 7.627.117 [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 1.023] 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 1.023] 9 2 10 [6 [0 30] 0 12] 0 2] 0 3] - [8 [9 20 0 2.047] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 8 [9 20 0 2.047] 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 - [1.953.718.630 1 7.168.362 [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 2.047] 9 2 10 [6 [0 12] 0 14] 0 2] 0 7] - 8 - [[0 13] 0 5] - [8 [9 20 0 8.191] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 8 [9 20 0 8.191] 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 - [1.953.718.630 1 6.649.187 [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 1.023] 9 2 10 [6 [7 [0 3] 8 [9 20 0 1.023] 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 1.023] 9 2 10 [6 [0 14] 7 [0 3] 8 [9 342 0 1.023] 9 2 10 [6 0 30] 0 2] 0 2] 0 2] 0 253] - 0 - 2 - ] - 0 - 1 - ] - 11 - [1.953.718.630 1 6.452.594 [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 2.047] 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 - [1.953.718.630 1 7.827.312 [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 - [1.953.718.630 1 7.107.949 [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 - [1.953.718.630 1 6.579.297 [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 - [1.953.718.630 1 6.648.940 [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 - [1.953.718.630 1 7.760.228 [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 - [1.953.718.630 1 6.514.020 [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 - [1.953.718.630 1 6.845.548 [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 - [1.953.718.630 1 6.845.543 [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 [1.953.718.630 1 6.648.935 [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 - [1.953.718.630 1 6.582.125 [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 - [1.953.718.630 1 6.452.595 [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 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] \ No newline at end of file diff --git a/src/Juvix/Compiler/Nockma/StdlibFunction.hs b/src/Juvix/Compiler/Nockma/StdlibFunction.hs index 623a638ba0..05824aa291 100644 --- a/src/Juvix/Compiler/Nockma/StdlibFunction.hs +++ b/src/Juvix/Compiler/Nockma/StdlibFunction.hs @@ -11,43 +11,43 @@ import Juvix.Prelude.Base -- [9 20 0 15] stdlibPath :: StdlibFunction -> Term Natural stdlibPath = \case - StdlibDec -> [nock| [9 342 0 255] |] - StdlibAdd -> [nock| [9 20 0 255] |] - StdlibSub -> [nock| [9 47 0 255] |] - StdlibMul -> [nock| [9 4 0 255] |] - StdlibDiv -> [nock| [9 170 0 255] |] - StdlibMod -> [nock| [9 46 0 255] |] - StdlibLe -> [nock| [9 84 0 255] |] - StdlibLt -> [nock| [9 343 0 255] |] + StdlibDec -> [nock| [9 342 0 511] |] + StdlibAdd -> [nock| [9 20 0 511] |] + StdlibSub -> [nock| [9 47 0 511] |] + StdlibMul -> [nock| [9 4 0 511] |] + StdlibDiv -> [nock| [9 170 0 511] |] + StdlibMod -> [nock| [9 46 0 511] |] + StdlibLe -> [nock| [9 84 0 511] |] + StdlibLt -> [nock| [9 343 0 511] |] -- pow2 is called bex in hoon - StdlibPow2 -> [nock| [9 4 0 31] |] + StdlibPow2 -> [nock| [9 4 0 63] |] -- encode is called jam in hoon - StdlibEncode -> [nock| [9 22 0 15] |] + StdlibEncode -> [nock| [9 22 0 31] |] -- decode is called cue in hoon - StdlibDecode -> [nock| [9 94 0 15] |] + StdlibDecode -> [nock| [9 94 0 31] |] -- verifyDetached is called verify-detatched in hoon - StdlibVerifyDetached -> [nock| [9 22 0 7] |] - StdlibSign -> [nock| [9 10 0 7] |] - StdlibSignDetached -> [nock| [9 23 0 7] |] - StdlibVerify -> [nock| [9 4 0 7] |] - StdlibLengthList -> [nock| [9 1.406 0 127] |] - StdlibCurry -> [nock| [9 4 0 127] |] + StdlibVerifyDetached -> [nock| [9 22 0 15] |] + StdlibSign -> [nock| [9 10 0 15] |] + StdlibSignDetached -> [nock| [9 23 0 15] |] + StdlibVerify -> [nock| [9 4 0 15] |] + StdlibLengthList -> [nock| [9 1.406 0 255] |] + StdlibCurry -> [nock| [9 4 0 255] |] -- sha256 is called shax in hoon - StdlibSha256 -> [nock| [9 22 0 3] |] + StdlibSha256 -> [nock| [9 22 0 7] |] -- Obtained from the urbit dojo using: -- -- => anoma !=(~(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 31] 9 190 10 [6 7 [0 3] 1 3] 0 2] |] + 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)) -- -- 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 31] 9 4 10 [6 7 [0 3] 1 3] 0 2] |] + 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)))))) @@ -59,7 +59,7 @@ stdlibPath = \case [1 0] [ 1 8 - [9 46 0 511] + [9 46 0 1.023] 9 2 10 @@ -69,16 +69,7 @@ stdlibPath = \case [0 3] 8 [1 0 0] - [ 1 - 8 - [9 20 0 4.095] - 9 - 2 - 10 - [6 [7 [0 3] 8 [8 [9 10 0 511] 9 90 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 29] 0 2] 0 28] - 0 - 2 - ] + [1 8 [9 20 0 8.191] 9 2 10 [6 [7 [0 3] 8 [8 [9 10 0 1.023] 9 90 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 29] 0 2] 0 28] 0 2] 0 1 ]