From 9210e39dc7b27833082407c626a967171ea93e51 Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Mon, 2 Dec 2024 14:09:55 +0100 Subject: [PATCH] Enable Anoma compilation resource machine builtin tests (#3208) This PR: * Updates the anomalib nock stdlib to the latest head of `artem/juvix-node-integration-v0.28` containing the latest testnet fixes. * Re-enables the Anoma resource machine builtins tests --- .github/workflows/ci.yml | 2 +- runtime/nockma/anomalib.nockma | 2 +- test/Anoma/Compilation/Positive.hs | 13 +- .../Anoma/Compilation/positive/Package.juvix | 2 +- .../Anoma/Compilation/positive/test085.juvix | 92 ------------- .../positive/test085/Package.juvix | 9 ++ .../positive/test085/client/Package.juvix | 8 ++ .../test085/client/ResourceMachine.juvix | 130 ++++++++++++++++++ .../Compilation/positive/test085/delta.juvix | 40 ++++++ 9 files changed, 196 insertions(+), 102 deletions(-) delete mode 100644 tests/Anoma/Compilation/positive/test085.juvix create mode 100644 tests/Anoma/Compilation/positive/test085/Package.juvix create mode 100644 tests/Anoma/Compilation/positive/test085/client/Package.juvix create mode 100644 tests/Anoma/Compilation/positive/test085/client/ResourceMachine.juvix create mode 100644 tests/Anoma/Compilation/positive/test085/delta.juvix diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 69c2e6d32..8286c532d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -26,7 +26,7 @@ env: SKIP: ormolu,format-juvix-files,typecheck-juvix-examples CAIRO_VM_VERSION: 06e8ddbfa14eef85f56c4d7b7631c17c9b0a248e RISC0_VM_VERSION: v1.0.1 - ANOMA_VERSION: f52cd44235f35a907c22c428ce1fdf3237c97927 + ANOMA_VERSION: 44dbbd0376ef15731c8f69988905af23a65fceff JUST_ARGS: runtimeCcArg=$CC runtimeLibtoolArg=$LIBTOOL STACK_BUILD_ARGS: --pedantic -j4 --ghc-options=-j diff --git a/runtime/nockma/anomalib.nockma b/runtime/nockma/anomalib.nockma index 618b88847..2ad0b5b6c 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 [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] +[[[7 [8 [1 0 0 0 0] [1 8 [1 30160793233665617219451904865] 0 0] 0 1] 11 [1953718630 1 30160793233665617219451904865 [0 7] 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] [[7 [8 [1 0 0] [1 8 [1 1851907519744077227364] 0 0] 0 1] 11 [1953718630 1 1851907519744077227364 [0 7] 0] 0 1] [[7 [8 [1 0] [1 8 [1 460217181910180775551341] 0 0] 0 1] 11 [1953718630 1 460217181910180775551341 [0 7] 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] 7 [8 [1 0 0] [1 8 [1 1816244077244883690852] 0 0] 0 1] 11 [1953718630 1 1816244077244883690852 [0 7] 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/test/Anoma/Compilation/Positive.hs b/test/Anoma/Compilation/Positive.hs index 6b3541aef..fb3affd25 100644 --- a/test/Anoma/Compilation/Positive.hs +++ b/test/Anoma/Compilation/Positive.hs @@ -250,7 +250,7 @@ classify AnomaTest {..} = case _anomaTestNum of 82 -> ClassWorking 83 -> ClassWorking 84 -> ClassWorking - 85 -> ClassNodeError + 85 -> ClassWorking 86 -> ClassExpectedFail _ -> error "non-exhaustive test classification" @@ -1039,14 +1039,13 @@ allTests = 85 AnomaTestModeNodeOnly "Anoma Resource Machine builtins" - $(mkRelDir ".") - $(mkRelFile "test085.juvix") + $(mkRelDir "test085") + $(mkRelFile "delta.juvix") [] $ checkOutput - [ [nock| [[[11 22] 110] 0] |], - [nock| [10 11] |], - [nock| 478793196187462788804451 |], - [nock| 418565088612 |], + [ [nock| 0 |], + [nock| 0 |], + [nock| 0 |], [nock| 0 |] ], mkAnomaTest diff --git a/tests/Anoma/Compilation/positive/Package.juvix b/tests/Anoma/Compilation/positive/Package.juvix index 2f2f7969e..39b0d6b00 100644 --- a/tests/Anoma/Compilation/positive/Package.juvix +++ b/tests/Anoma/Compilation/positive/Package.juvix @@ -4,5 +4,5 @@ import PackageDescription.V2 open; package : Package := defaultPackage@?{ - name := "positive" + name := "positive"; }; diff --git a/tests/Anoma/Compilation/positive/test085.juvix b/tests/Anoma/Compilation/positive/test085.juvix deleted file mode 100644 index 04a3eb7b3..000000000 --- a/tests/Anoma/Compilation/positive/test085.juvix +++ /dev/null @@ -1,92 +0,0 @@ -module test085; - -import Stdlib.Prelude open; -import Stdlib.Debug.Trace open; - --- This definition does not match the spec. For testing purposes only -builtin anoma-resource -type Resource := - mkResource@{ - label : Nat; - logic : Nat; - ephemeral : Bool; - quantity : Nat; - data : Pair Nat Nat; - nullifier-key : Nat; - nonce : Nat; - rseed : Nat - }; - -mkResource' (label logic : Nat) {quantity : Nat := 0} : Resource := - mkResource@{ - label; - logic; - ephemeral := false; - quantity; - data := 0, 0; - nullifier-key := 0; - nonce := 0; - rseed := 0 - }; - --- This definition does not match the spec. For testing purposes only -builtin anoma-action -type Action := mkAction Nat; - -builtin anoma-delta -axiom Delta : Type; - -builtin anoma-kind -axiom Kind : Type; - -builtin anoma-resource-commitment -axiom commitment : Resource -> Nat; - -builtin anoma-resource-nullifier -axiom nullifier : Resource -> Nat; - -builtin anoma-resource-kind -axiom kind : Resource -> Kind; - -builtin anoma-resource-delta -axiom resourceDelta : Resource -> Delta; - -builtin anoma-action-delta -axiom actionDelta : Action -> Delta; - -builtin anoma-actions-delta -axiom actionsDelta : List Action -> Delta; - -builtin anoma-prove-action -axiom proveAction : Action -> Nat; - -builtin anoma-prove-delta -axiom proveDelta : Delta -> Nat; - -builtin anoma-zero-delta -axiom zeroDelta : Delta; - -builtin anoma-add-delta -axiom addDelta : Delta -> Delta -> Delta; - -builtin anoma-sub-delta -axiom subDelta : Delta -> Delta -> Delta; - -main : Delta := - trace - (resourceDelta - mkResource'@{ - label := 11; - logic := 22; - quantity := 55 - }) - >-> trace (commitment (mkResource' 0 0)) - >-> trace (nullifier (mkResource' 0 0)) - >-> trace (actionDelta (mkAction 0)) - >-> trace (actionsDelta [mkAction 0]) - >-> trace (addDelta zeroDelta zeroDelta) - >-> trace (subDelta zeroDelta zeroDelta) - >-> trace (kind (mkResource' 10 11)) - >-> trace (proveAction (mkAction 0)) - >-> trace (proveDelta zeroDelta) - >-> zeroDelta; diff --git a/tests/Anoma/Compilation/positive/test085/Package.juvix b/tests/Anoma/Compilation/positive/test085/Package.juvix new file mode 100644 index 000000000..613da5f3b --- /dev/null +++ b/tests/Anoma/Compilation/positive/test085/Package.juvix @@ -0,0 +1,9 @@ +module Package; + +import PackageDescription.V2 open; + +package : Package := + defaultPackage@?{ + name := "test085"; + dependencies := [defaultStdlib; path "client/"]; + }; diff --git a/tests/Anoma/Compilation/positive/test085/client/Package.juvix b/tests/Anoma/Compilation/positive/test085/client/Package.juvix new file mode 100644 index 000000000..7a1c28caf --- /dev/null +++ b/tests/Anoma/Compilation/positive/test085/client/Package.juvix @@ -0,0 +1,8 @@ +module Package; + +import PackageDescription.V2 open; + +package : Package := + defaultPackage@?{ + name := "addtransaction"; + }; diff --git a/tests/Anoma/Compilation/positive/test085/client/ResourceMachine.juvix b/tests/Anoma/Compilation/positive/test085/client/ResourceMachine.juvix new file mode 100644 index 000000000..7e98d1fed --- /dev/null +++ b/tests/Anoma/Compilation/positive/test085/client/ResourceMachine.juvix @@ -0,0 +1,130 @@ +--- A rendering of https://github.com/anoma/anoma/blob/f52cd44235f35a907c22c428ce1fdf3237c97927/hoon/resource-machine.hoon +module ResourceMachine; + +import Stdlib.Prelude open; + +module Resource; + + Resource-Logic : Type := Public-Inputs -> Private-Inputs -> Bool; + + builtin anoma-resource + type Resource := + mkResource@{ + label : Nat; + logic : Resource-Logic; + ephemeral : Bool; + quantity : Nat; + data : Pair Nat Nat; + --- 256 bits + nullifier-key : Nat; + --- nonce for commitments 256 bits + nonce : Nat; + rseed : Nat; + }; + + positive + type Public-Inputs := + mkPublic-Inputs@{ + commitments : List Nat; + nullifiers : List Nat; + --- exactly one commitment or nullifier + self-tag : Nat; + other-public : Nat; + }; + + positive + type Private-Inputs := + mkPrivate-Inputs@{ + committed-resources : List Resource; + nullified-resources : List Resource; + other-private : Nat; + }; + +end; + +open Resource using { + Resource; + mkResource; + Resource-Logic; + Public-Inputs; + mkPublic-Inputs; + Private-Inputs; + mkPrivate-Inputs; +} public; + +builtin anoma-delta +axiom Delta : Type; + +builtin anoma-kind +axiom Kind : Type; + +builtin anoma-resource-commitment +axiom commitment : Resource -> Nat; + +builtin anoma-resource-nullifier +axiom nullifier : Resource -> Nat; + +builtin anoma-resource-kind +axiom kind : Resource -> Kind; + +builtin anoma-resource-delta +axiom resource-delta : Resource -> Delta; + +type Logic-Proof : Type := + mkLogicProof@{ + resource : Resource; + inputs : Pair Public-Inputs Private-Inputs; + }; + +Compliance-Proof : Type := Nat; + +type Proof := + | proofCompliance + | proofLogic Resource (Pair Public-Inputs Private-Inputs); + +mkProofCompliance (_ : Compliance-Proof) : Proof := proofCompliance; + +mkProofLogic + (resource : Resource) (inputs : Pair Public-Inputs Private-Inputs) : Proof := + proofLogic resource inputs; + +builtin anoma-action +type Action := + mkAction@{ + commitments : List Nat; + nullifiers : List Nat; + proofs : List Proof; + app-data : Nat; + }; + +builtin anoma-action-delta +axiom actionDelta : Action -> Delta; + +builtin anoma-actions-delta +axiom actionsDelta : List Action -> Delta; + +builtin anoma-prove-action +axiom proveAction : Action -> Nat; + +builtin anoma-prove-delta +axiom proveDelta : Delta -> Nat; + +builtin anoma-zero-delta +axiom zeroDelta : Delta; + +builtin anoma-add-delta +axiom addDelta : Delta -> Delta -> Delta; + +builtin anoma-sub-delta +axiom subDelta : Delta -> Delta -> Delta; + +Commitment-Root : Type := Nat; + +type Transaction := + mkTransaction@{ + --- root set for spent resources + roots : List Commitment-Root; + actions : List Action; + delta : Delta; + delta-proof : Nat; + }; diff --git a/tests/Anoma/Compilation/positive/test085/delta.juvix b/tests/Anoma/Compilation/positive/test085/delta.juvix new file mode 100644 index 000000000..7bbb7b240 --- /dev/null +++ b/tests/Anoma/Compilation/positive/test085/delta.juvix @@ -0,0 +1,40 @@ +module delta; + +import Stdlib.Prelude open; +import Stdlib.Debug.Trace open; +import ResourceMachine open; + +main : Delta := + let + resource : Resource := + mkResource@{ + label := 11; + logic := \{_ _ := true}; + ephemeral := true; + quantity := 55; + data := 0, 0; + nullifier-key := 0; + nonce := 0; + rseed := 0; + }; + action : Action := + mkAction@{ + commitments := []; + nullifiers := []; + proofs := []; + app-data := 1; + }; + in -- Most of these call return large nouns that are not appropritate for testing. + -- This test checks that these functions do not crash. + commitment + resource + >-> nullifier resource + >-> kind resource + >-> addDelta (resource-delta resource) (resource-delta resource) + >-> addDelta (resource-delta resource) (resource-delta resource) + >-> proveDelta zeroDelta + >-> trace (subDelta zeroDelta zeroDelta) + >-> trace (addDelta zeroDelta zeroDelta) + >-> proveAction action + >-> trace (actionDelta action) + >-> actionsDelta [action];