diff --git a/anchor/programs/darklake/src/constants/verifying_key.rs b/anchor/programs/darklake/src/constants/verifying_key.rs index 5baf403..190396b 100644 --- a/anchor/programs/darklake/src/constants/verifying_key.rs +++ b/anchor/programs/darklake/src/constants/verifying_key.rs @@ -4,15 +4,15 @@ pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { nr_pubinputs: 8, vk_alpha_g1: [ - 33,190,193,128,200,187,115,0,148,236,193,115,244,53,212,91,192,103,89,218,137,18,203,240,248,154,157,92,69,172,123,96, - 47,81,245,254,170,174,67,14,118,179,186,6,182,108,177,181,243,129,153,205,80,168,236,61,204,142,253,107,67,188,249,191, + 38,184,63,22,160,251,25,40,172,141,219,240,104,75,194,162,22,212,67,22,214,188,227,212,42,112,220,129,38,40,114,67, + 24,44,75,233,223,247,238,116,188,242,181,29,244,107,144,68,9,225,245,112,139,19,51,88,88,247,248,226,181,8,200,158, ], vk_beta_g2: [ - 16,57,249,232,210,207,221,88,126,6,148,205,84,13,39,81,97,12,198,156,102,15,158,61,70,2,37,68,177,209,215,207, - 20,38,208,122,51,25,254,153,32,32,150,183,46,14,14,61,141,81,110,26,87,150,6,232,31,193,60,205,203,108,177,123, - 31,168,149,175,112,55,105,43,161,0,106,78,14,246,192,173,91,147,186,48,194,175,102,113,20,96,107,114,59,75,37,79, - 24,132,57,195,94,100,178,58,226,27,80,253,184,54,54,134,51,231,253,180,202,16,150,187,9,168,53,144,168,143,158,149, + 15,211,169,54,92,239,239,219,208,17,211,144,94,2,213,176,131,50,226,129,165,10,10,20,11,212,168,6,129,86,230,83, + 4,141,232,125,225,15,217,34,86,114,131,94,127,143,173,215,204,161,3,190,195,244,6,200,222,143,193,175,167,126,193,198, + 43,123,148,120,187,246,255,9,59,199,80,207,199,142,225,139,160,64,188,75,218,108,122,101,197,96,233,136,137,189,69,141, + 0,244,197,115,250,54,155,114,120,236,73,186,159,88,245,117,22,129,83,187,96,250,69,103,251,97,168,176,129,14,162,140, ], vk_gamme_g2: [ @@ -23,44 +23,44 @@ pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { ], vk_delta_g2: [ - 31,28,254,198,255,36,70,3,139,254,99,151,4,37,142,81,118,171,213,94,254,204,103,132,31,223,207,189,123,68,102,204, - 24,38,31,223,163,118,170,133,66,171,156,59,231,83,51,141,224,246,28,166,182,98,101,55,139,16,220,183,25,127,64,78, - 21,232,227,11,124,108,159,16,130,202,228,81,252,205,108,156,49,188,143,8,110,187,169,59,192,105,191,147,98,125,225,51, - 13,249,253,182,243,186,141,179,169,30,121,55,48,176,197,197,219,27,163,22,163,164,134,132,178,76,66,184,35,3,148,37, + 24,81,210,84,240,199,14,84,168,59,120,173,220,176,159,192,180,150,201,240,25,191,179,108,29,13,18,153,21,119,142,113, + 18,46,26,141,236,117,205,249,200,152,252,117,166,235,241,162,192,56,146,125,155,254,163,183,38,33,164,254,105,151,212,108, + 42,20,132,163,160,251,97,123,34,12,73,61,225,29,47,56,121,230,46,20,49,15,136,200,71,21,15,253,37,81,30,153, + 20,233,214,188,188,214,186,204,201,242,113,245,235,14,4,0,96,98,243,136,210,224,228,157,103,226,255,248,174,51,14,228, ], vk_ic: &[ [ - 0,201,105,144,46,237,134,254,151,252,147,99,8,239,46,231,197,208,12,145,124,11,137,187,48,19,203,92,66,161,214,158, - 13,116,78,81,90,163,6,239,23,210,100,230,232,28,69,100,195,20,177,253,7,104,14,26,221,57,216,189,29,132,51,16, + 17,126,168,252,160,150,154,185,131,49,255,201,175,107,221,62,198,71,139,58,102,135,34,152,233,58,178,144,103,140,117,233, + 24,160,117,21,76,86,24,217,21,251,106,1,129,191,119,225,193,164,175,99,31,216,182,234,207,61,104,227,37,46,223,122, ], [ - 29,87,131,46,151,194,225,189,88,189,188,66,122,230,239,67,5,33,187,101,10,163,61,108,59,240,215,3,15,62,85,143, - 19,245,132,221,53,113,49,139,186,215,54,248,66,111,203,159,51,41,17,159,153,156,80,205,187,54,186,108,143,132,224,214, + 16,239,227,207,87,116,53,23,111,72,59,137,154,190,31,228,114,18,124,240,214,76,208,8,175,39,5,158,249,160,43,121, + 43,192,108,148,136,36,156,96,158,227,2,18,130,141,50,24,106,225,74,118,146,39,97,83,209,11,47,211,39,115,246,163, ], [ - 2,153,136,80,117,0,12,101,237,68,116,34,12,131,44,154,106,68,189,20,235,173,115,138,235,109,34,61,37,130,117,220, - 9,55,92,106,90,245,73,175,244,240,4,111,107,185,26,24,98,28,66,108,238,208,15,11,145,227,114,101,58,59,29,98, + 40,120,253,164,36,150,31,247,49,228,252,126,236,101,66,214,217,183,189,97,46,199,118,138,157,52,41,216,138,0,153,41, + 8,156,16,131,219,247,68,35,49,39,40,215,21,31,33,8,72,105,163,254,60,130,189,204,194,162,37,251,249,199,157,160, ], [ - 14,174,28,206,145,39,15,255,247,254,220,92,84,128,200,145,18,5,234,16,22,72,168,125,79,228,20,151,136,110,225,35, - 7,49,27,195,130,225,102,194,10,29,34,153,246,197,238,247,204,241,205,57,226,231,148,30,97,169,192,146,187,145,71,31, + 0,178,253,253,198,49,159,114,224,137,120,202,88,129,214,118,15,128,110,38,226,109,155,44,71,147,228,20,214,238,141,126, + 20,116,235,216,197,208,145,80,187,64,239,217,132,119,14,118,223,205,144,44,94,135,95,200,50,118,188,121,192,34,82,38, ], [ - 7,26,46,103,23,155,19,104,101,215,223,85,33,191,147,156,211,254,130,199,43,226,204,52,9,184,13,219,186,227,193,26, - 28,218,13,233,15,205,156,223,24,50,126,67,149,205,65,117,63,184,14,140,108,227,163,30,71,218,67,197,143,139,86,216, + 46,162,160,87,105,93,173,66,31,9,98,161,182,89,16,154,44,148,41,230,12,41,255,75,0,141,112,182,62,232,160,196, + 31,62,27,162,103,81,105,142,15,133,175,156,64,166,10,155,96,180,23,14,185,198,183,84,145,47,210,241,194,238,19,125, ], [ - 22,175,37,80,164,62,30,157,95,197,207,56,13,208,175,235,176,56,0,213,43,20,52,13,79,218,212,243,107,55,132,251, - 33,91,92,174,91,154,172,88,74,214,45,92,35,172,54,16,55,252,130,50,247,192,96,244,185,166,79,100,166,215,187,102, + 33,157,136,37,32,192,242,208,77,85,220,105,72,192,109,143,172,188,15,56,176,145,80,72,41,140,139,191,89,9,119,133, + 48,68,131,96,209,144,81,113,179,251,58,255,122,44,138,44,39,78,237,159,196,50,61,8,246,216,197,186,48,213,10,40, ], [ - 30,36,95,199,226,183,77,27,226,211,38,164,198,228,149,83,113,151,102,73,0,60,122,240,176,118,112,153,216,150,168,235, - 30,26,97,98,103,4,102,95,45,221,191,252,119,189,13,127,220,53,40,66,173,149,73,252,234,66,136,10,234,183,33,170, + 31,122,183,237,180,113,247,20,14,198,0,213,207,177,163,183,193,253,136,224,215,160,234,132,145,250,117,117,172,208,214,209, + 33,181,75,192,175,153,239,163,14,248,231,167,35,73,116,194,210,160,2,5,12,128,184,7,55,3,253,5,100,164,34,5, ], [ - 2,102,211,153,2,118,43,100,121,159,76,88,181,14,121,51,120,116,83,227,223,246,57,231,161,179,61,71,126,26,12,35, - 36,245,35,100,176,184,162,144,223,237,127,55,142,250,46,64,149,171,147,29,79,196,46,251,163,229,55,180,208,59,148,91, + 33,102,106,25,112,136,57,74,244,156,204,143,149,133,21,79,52,76,89,17,228,255,92,43,67,170,149,38,23,74,116,211, + 3,45,200,19,112,94,248,79,117,197,190,222,26,31,111,205,249,106,30,223,236,148,188,231,204,155,140,79,234,55,142,184, ], ] }; \ No newline at end of file diff --git a/anchor/tests/jest/circuit.spec.ts b/anchor/tests/jest/circuit.spec.ts index 133c293..bbef57b 100644 --- a/anchor/tests/jest/circuit.spec.ts +++ b/anchor/tests/jest/circuit.spec.ts @@ -3,6 +3,7 @@ import * as path from 'path'; // Add this function at the top of your test file, outside of any describe blocks // eslint-disable-next-line @typescript-eslint/no-inferrable-types +// currently not used due to no flexibility in amount received allowed function isWithinTolerance( actual: bigint, expected: bigint, @@ -46,15 +47,9 @@ describe('ZK Constant Sum AMM Swap', () => { const newReserveY = circuit.symbols['main.newReserveY']; const amountReceived = circuit.symbols['main.amountReceived']; - expect(isWithinTolerance(BigInt(witness[newReserveX.varIdx]), 1100n)).toBe( - true, - ); - expect(isWithinTolerance(BigInt(witness[newReserveY.varIdx]), 909n)).toBe( - true, - ); - expect(isWithinTolerance(BigInt(witness[amountReceived.varIdx]), 91n)).toBe( - true, - ); + expect(BigInt(witness[newReserveX.varIdx])).toEqual(1100n); + expect(BigInt(witness[newReserveY.varIdx])).toEqual(910n); + expect(BigInt(witness[amountReceived.varIdx])).toEqual(90n); }); it('should perform a valid swap with larger values', async () => { @@ -75,15 +70,9 @@ describe('ZK Constant Sum AMM Swap', () => { const newReserveY = circuit.symbols['main.newReserveY']; const amountReceived = circuit.symbols['main.amountReceived']; - expect( - isWithinTolerance(BigInt(witness[newReserveX.varIdx]), 1200000n), - ).toBe(true); - expect( - isWithinTolerance(BigInt(witness[newReserveY.varIdx]), 1741667n), - ).toBe(true); - expect( - isWithinTolerance(BigInt(witness[amountReceived.varIdx]), 158333n), - ).toBe(true); + expect(BigInt(witness[newReserveX.varIdx])).toEqual(1200000n); + expect(BigInt(witness[newReserveY.varIdx])).toEqual(1741667n); + expect(BigInt(witness[amountReceived.varIdx])).toEqual(158333n); }); // Add a new test for swapping Y to X @@ -105,15 +94,9 @@ describe('ZK Constant Sum AMM Swap', () => { const newReserveY = circuit.symbols['main.newReserveY']; const amountReceived = circuit.symbols['main.amountReceived']; - expect(isWithinTolerance(BigInt(witness[newReserveX.varIdx]), 909n)).toBe( - true, - ); - expect(isWithinTolerance(BigInt(witness[newReserveY.varIdx]), 1100n)).toBe( - true, - ); - expect(isWithinTolerance(BigInt(witness[amountReceived.varIdx]), 91n)).toBe( - true, - ); + expect(BigInt(witness[newReserveX.varIdx])).toEqual(910n); + expect(BigInt(witness[newReserveY.varIdx])).toEqual(1100n); + expect(BigInt(witness[amountReceived.varIdx])).toEqual(90n); }); it('should round output down if fraction exists', async () => { @@ -134,15 +117,9 @@ describe('ZK Constant Sum AMM Swap', () => { const newReserveY = circuit.symbols['main.newReserveY']; const amountReceived = circuit.symbols['main.amountReceived']; - expect(isWithinTolerance(BigInt(witness[newReserveX.varIdx]), 909n)).toBe( - true, - ); - expect(isWithinTolerance(BigInt(witness[newReserveY.varIdx]), 1100n)).toBe( - true, - ); - expect(isWithinTolerance(BigInt(witness[amountReceived.varIdx]), 91n)).toBe( - true, - ); + expect(BigInt(witness[newReserveX.varIdx])).toEqual(910n); + expect(BigInt(witness[newReserveY.varIdx])).toEqual(1100n); + expect(BigInt(witness[amountReceived.varIdx])).toEqual(90n); }); }); @@ -161,10 +138,11 @@ describe('ReciprocalDivision', () => { const testCases = [ { dividend: 1000n, divisor: 10n, expected: 100n }, - { dividend: 1000n, divisor: 3n, expected: 333n }, + { dividend: 1000n, divisor: 3n, expected: 334n }, { dividend: 1000000n, divisor: 1000n, expected: 1000n }, - { dividend: 1234567n, divisor: 1000n, expected: 1234n }, - { dividend: 1000000000n, divisor: 3n, expected: 333333333n }, + { dividend: 1000000000000001n, divisor: 1000000000000n, expected: 1001n }, + { dividend: 1234567n, divisor: 1000n, expected: 1235n }, + { dividend: 1000000000n, divisor: 3n, expected: 333333334n }, { dividend: 2000000000000000n, divisor: 1100000n, expected: 1818181819n }, ]; @@ -183,8 +161,8 @@ describe('ReciprocalDivision', () => { const quotientSymbol = divisionCircuit.symbols['main.quotient']; const quotient = witness[quotientSymbol.varIdx]; - // Allow for small rounding errors - const tolerance = 1n; + // Don't allow any deviation + const tolerance = 0n; expect(quotient).toBeGreaterThanOrEqual(expected - tolerance); expect(quotient).toBeLessThanOrEqual(expected + tolerance); }); diff --git a/circuits/division.circom b/circuits/division.circom index 678398d..de37688 100644 --- a/circuits/division.circom +++ b/circuits/division.circom @@ -3,7 +3,7 @@ pragma circom 2.0.0; include "node_modules/circomlib/circuits/bitify.circom"; include "node_modules/circomlib/circuits/comparators.circom"; -template ReciprocalDivision(n) { +template ReciprocalDivision(n, isCeil) { signal input dividend; signal input divisor; signal output quotient; @@ -15,15 +15,22 @@ template ReciprocalDivision(n) { // Perform division signal remainder; - quotient <-- dividend \ divisor; + signal baseQuotient <-- dividend \ divisor; remainder <-- dividend % divisor; - + // Constrain the result - dividend === quotient * divisor + remainder; + dividend === baseQuotient * divisor + remainder; // Ensure remainder is less than divisor component lessThan = LessThan(n); lessThan.in[0] <== remainder; lessThan.in[1] <== divisor; lessThan.out === 1; + + // Check if remainder is non-zero + component isRemainderZero = IsZero(); + isRemainderZero.in <== remainder; + + // Add 1 to quotient if remainder is non-zero and isCeil is true + quotient <== baseQuotient + ((1 - isRemainderZero.out) * isCeil); } diff --git a/circuits/division_test.circom b/circuits/division_test.circom index 33012af..f4b7302 100644 --- a/circuits/division_test.circom +++ b/circuits/division_test.circom @@ -2,4 +2,5 @@ pragma circom 2.0.0; include "division.circom"; -component main = ReciprocalDivision(252); \ No newline at end of file +// rounding up +component main = ReciprocalDivision(252, 1); \ No newline at end of file diff --git a/circuits/pot_cont.ptau b/circuits/pot_cont.ptau index 3346a79..0ca8e6d 100644 Binary files a/circuits/pot_cont.ptau and b/circuits/pot_cont.ptau differ diff --git a/circuits/pot_final.ptau b/circuits/pot_final.ptau index 98d7a84..50d1869 100644 Binary files a/circuits/pot_final.ptau and b/circuits/pot_final.ptau differ diff --git a/circuits/swap.circom b/circuits/swap.circom index 4d6a483..4447e49 100644 --- a/circuits/swap.circom +++ b/circuits/swap.circom @@ -46,7 +46,8 @@ template ZKConstantProductAMM() { signal newInputReserve <== inputReserve + inputAmount; // Calculate new output balance (y = k / x) - component division = ReciprocalDivision(252); + // The rounding is up, so that the pool wouldn't lose funds + component division = ReciprocalDivision(252, 1); division.dividend <== constantProduct; division.divisor <== newInputReserve; signal newOutputReserve <== division.quotient; diff --git a/circuits/swap.r1cs b/circuits/swap.r1cs index 3dcbc89..e033d23 100644 Binary files a/circuits/swap.r1cs and b/circuits/swap.r1cs differ diff --git a/circuits/swap.sym b/circuits/swap.sym index 2cb789c..40c41a7 100644 --- a/circuits/swap.sym +++ b/circuits/swap.sym @@ -279,1305 +279,1309 @@ 279,-1,5,main.division.dividend 280,-1,5,main.division.divisor 281,273,5,main.division.remainder -282,-1,2,main.division.isZero.out -283,-1,2,main.division.isZero.in -284,274,2,main.division.isZero.inv -285,-1,4,main.division.lessThan.out -286,-1,4,main.division.lessThan.in[0] -287,-1,4,main.division.lessThan.in[1] -288,275,3,main.division.lessThan.n2b.out[0] -289,276,3,main.division.lessThan.n2b.out[1] -290,277,3,main.division.lessThan.n2b.out[2] -291,278,3,main.division.lessThan.n2b.out[3] -292,279,3,main.division.lessThan.n2b.out[4] -293,280,3,main.division.lessThan.n2b.out[5] -294,281,3,main.division.lessThan.n2b.out[6] -295,282,3,main.division.lessThan.n2b.out[7] -296,283,3,main.division.lessThan.n2b.out[8] -297,284,3,main.division.lessThan.n2b.out[9] -298,285,3,main.division.lessThan.n2b.out[10] -299,286,3,main.division.lessThan.n2b.out[11] -300,287,3,main.division.lessThan.n2b.out[12] -301,288,3,main.division.lessThan.n2b.out[13] -302,289,3,main.division.lessThan.n2b.out[14] -303,290,3,main.division.lessThan.n2b.out[15] -304,291,3,main.division.lessThan.n2b.out[16] -305,292,3,main.division.lessThan.n2b.out[17] -306,293,3,main.division.lessThan.n2b.out[18] -307,294,3,main.division.lessThan.n2b.out[19] -308,295,3,main.division.lessThan.n2b.out[20] -309,296,3,main.division.lessThan.n2b.out[21] -310,297,3,main.division.lessThan.n2b.out[22] -311,298,3,main.division.lessThan.n2b.out[23] -312,299,3,main.division.lessThan.n2b.out[24] -313,300,3,main.division.lessThan.n2b.out[25] -314,301,3,main.division.lessThan.n2b.out[26] -315,302,3,main.division.lessThan.n2b.out[27] -316,303,3,main.division.lessThan.n2b.out[28] -317,304,3,main.division.lessThan.n2b.out[29] -318,305,3,main.division.lessThan.n2b.out[30] -319,306,3,main.division.lessThan.n2b.out[31] -320,307,3,main.division.lessThan.n2b.out[32] -321,308,3,main.division.lessThan.n2b.out[33] -322,309,3,main.division.lessThan.n2b.out[34] -323,310,3,main.division.lessThan.n2b.out[35] -324,311,3,main.division.lessThan.n2b.out[36] -325,312,3,main.division.lessThan.n2b.out[37] -326,313,3,main.division.lessThan.n2b.out[38] -327,314,3,main.division.lessThan.n2b.out[39] -328,315,3,main.division.lessThan.n2b.out[40] -329,316,3,main.division.lessThan.n2b.out[41] -330,317,3,main.division.lessThan.n2b.out[42] -331,318,3,main.division.lessThan.n2b.out[43] -332,319,3,main.division.lessThan.n2b.out[44] -333,320,3,main.division.lessThan.n2b.out[45] -334,321,3,main.division.lessThan.n2b.out[46] -335,322,3,main.division.lessThan.n2b.out[47] -336,323,3,main.division.lessThan.n2b.out[48] -337,324,3,main.division.lessThan.n2b.out[49] -338,325,3,main.division.lessThan.n2b.out[50] -339,326,3,main.division.lessThan.n2b.out[51] -340,327,3,main.division.lessThan.n2b.out[52] -341,328,3,main.division.lessThan.n2b.out[53] -342,329,3,main.division.lessThan.n2b.out[54] -343,330,3,main.division.lessThan.n2b.out[55] -344,331,3,main.division.lessThan.n2b.out[56] -345,332,3,main.division.lessThan.n2b.out[57] -346,333,3,main.division.lessThan.n2b.out[58] -347,334,3,main.division.lessThan.n2b.out[59] -348,335,3,main.division.lessThan.n2b.out[60] -349,336,3,main.division.lessThan.n2b.out[61] -350,337,3,main.division.lessThan.n2b.out[62] -351,338,3,main.division.lessThan.n2b.out[63] -352,339,3,main.division.lessThan.n2b.out[64] -353,340,3,main.division.lessThan.n2b.out[65] -354,341,3,main.division.lessThan.n2b.out[66] -355,342,3,main.division.lessThan.n2b.out[67] -356,343,3,main.division.lessThan.n2b.out[68] -357,344,3,main.division.lessThan.n2b.out[69] -358,345,3,main.division.lessThan.n2b.out[70] -359,346,3,main.division.lessThan.n2b.out[71] -360,347,3,main.division.lessThan.n2b.out[72] -361,348,3,main.division.lessThan.n2b.out[73] -362,349,3,main.division.lessThan.n2b.out[74] -363,350,3,main.division.lessThan.n2b.out[75] -364,351,3,main.division.lessThan.n2b.out[76] -365,352,3,main.division.lessThan.n2b.out[77] -366,353,3,main.division.lessThan.n2b.out[78] -367,354,3,main.division.lessThan.n2b.out[79] -368,355,3,main.division.lessThan.n2b.out[80] -369,356,3,main.division.lessThan.n2b.out[81] -370,357,3,main.division.lessThan.n2b.out[82] -371,358,3,main.division.lessThan.n2b.out[83] -372,359,3,main.division.lessThan.n2b.out[84] -373,360,3,main.division.lessThan.n2b.out[85] -374,361,3,main.division.lessThan.n2b.out[86] -375,362,3,main.division.lessThan.n2b.out[87] -376,363,3,main.division.lessThan.n2b.out[88] -377,364,3,main.division.lessThan.n2b.out[89] -378,365,3,main.division.lessThan.n2b.out[90] -379,366,3,main.division.lessThan.n2b.out[91] -380,367,3,main.division.lessThan.n2b.out[92] -381,368,3,main.division.lessThan.n2b.out[93] -382,369,3,main.division.lessThan.n2b.out[94] -383,370,3,main.division.lessThan.n2b.out[95] -384,371,3,main.division.lessThan.n2b.out[96] -385,372,3,main.division.lessThan.n2b.out[97] -386,373,3,main.division.lessThan.n2b.out[98] -387,374,3,main.division.lessThan.n2b.out[99] -388,375,3,main.division.lessThan.n2b.out[100] -389,376,3,main.division.lessThan.n2b.out[101] -390,377,3,main.division.lessThan.n2b.out[102] -391,378,3,main.division.lessThan.n2b.out[103] -392,379,3,main.division.lessThan.n2b.out[104] -393,380,3,main.division.lessThan.n2b.out[105] -394,381,3,main.division.lessThan.n2b.out[106] -395,382,3,main.division.lessThan.n2b.out[107] -396,383,3,main.division.lessThan.n2b.out[108] -397,384,3,main.division.lessThan.n2b.out[109] -398,385,3,main.division.lessThan.n2b.out[110] -399,386,3,main.division.lessThan.n2b.out[111] -400,387,3,main.division.lessThan.n2b.out[112] -401,388,3,main.division.lessThan.n2b.out[113] -402,389,3,main.division.lessThan.n2b.out[114] -403,390,3,main.division.lessThan.n2b.out[115] -404,391,3,main.division.lessThan.n2b.out[116] -405,392,3,main.division.lessThan.n2b.out[117] -406,393,3,main.division.lessThan.n2b.out[118] -407,394,3,main.division.lessThan.n2b.out[119] -408,395,3,main.division.lessThan.n2b.out[120] -409,396,3,main.division.lessThan.n2b.out[121] -410,397,3,main.division.lessThan.n2b.out[122] -411,398,3,main.division.lessThan.n2b.out[123] -412,399,3,main.division.lessThan.n2b.out[124] -413,400,3,main.division.lessThan.n2b.out[125] -414,401,3,main.division.lessThan.n2b.out[126] -415,402,3,main.division.lessThan.n2b.out[127] -416,403,3,main.division.lessThan.n2b.out[128] -417,404,3,main.division.lessThan.n2b.out[129] -418,405,3,main.division.lessThan.n2b.out[130] -419,406,3,main.division.lessThan.n2b.out[131] -420,407,3,main.division.lessThan.n2b.out[132] -421,408,3,main.division.lessThan.n2b.out[133] -422,409,3,main.division.lessThan.n2b.out[134] -423,410,3,main.division.lessThan.n2b.out[135] -424,411,3,main.division.lessThan.n2b.out[136] -425,412,3,main.division.lessThan.n2b.out[137] -426,413,3,main.division.lessThan.n2b.out[138] -427,414,3,main.division.lessThan.n2b.out[139] -428,415,3,main.division.lessThan.n2b.out[140] -429,416,3,main.division.lessThan.n2b.out[141] -430,417,3,main.division.lessThan.n2b.out[142] -431,418,3,main.division.lessThan.n2b.out[143] -432,419,3,main.division.lessThan.n2b.out[144] -433,420,3,main.division.lessThan.n2b.out[145] -434,421,3,main.division.lessThan.n2b.out[146] -435,422,3,main.division.lessThan.n2b.out[147] -436,423,3,main.division.lessThan.n2b.out[148] -437,424,3,main.division.lessThan.n2b.out[149] -438,425,3,main.division.lessThan.n2b.out[150] -439,426,3,main.division.lessThan.n2b.out[151] -440,427,3,main.division.lessThan.n2b.out[152] -441,428,3,main.division.lessThan.n2b.out[153] -442,429,3,main.division.lessThan.n2b.out[154] -443,430,3,main.division.lessThan.n2b.out[155] -444,431,3,main.division.lessThan.n2b.out[156] -445,432,3,main.division.lessThan.n2b.out[157] -446,433,3,main.division.lessThan.n2b.out[158] -447,434,3,main.division.lessThan.n2b.out[159] -448,435,3,main.division.lessThan.n2b.out[160] -449,436,3,main.division.lessThan.n2b.out[161] -450,437,3,main.division.lessThan.n2b.out[162] -451,438,3,main.division.lessThan.n2b.out[163] -452,439,3,main.division.lessThan.n2b.out[164] -453,440,3,main.division.lessThan.n2b.out[165] -454,441,3,main.division.lessThan.n2b.out[166] -455,442,3,main.division.lessThan.n2b.out[167] -456,443,3,main.division.lessThan.n2b.out[168] -457,444,3,main.division.lessThan.n2b.out[169] -458,445,3,main.division.lessThan.n2b.out[170] -459,446,3,main.division.lessThan.n2b.out[171] -460,447,3,main.division.lessThan.n2b.out[172] -461,448,3,main.division.lessThan.n2b.out[173] -462,449,3,main.division.lessThan.n2b.out[174] -463,450,3,main.division.lessThan.n2b.out[175] -464,451,3,main.division.lessThan.n2b.out[176] -465,452,3,main.division.lessThan.n2b.out[177] -466,453,3,main.division.lessThan.n2b.out[178] -467,454,3,main.division.lessThan.n2b.out[179] -468,455,3,main.division.lessThan.n2b.out[180] -469,456,3,main.division.lessThan.n2b.out[181] -470,457,3,main.division.lessThan.n2b.out[182] -471,458,3,main.division.lessThan.n2b.out[183] -472,459,3,main.division.lessThan.n2b.out[184] -473,460,3,main.division.lessThan.n2b.out[185] -474,461,3,main.division.lessThan.n2b.out[186] -475,462,3,main.division.lessThan.n2b.out[187] -476,463,3,main.division.lessThan.n2b.out[188] -477,464,3,main.division.lessThan.n2b.out[189] -478,465,3,main.division.lessThan.n2b.out[190] -479,466,3,main.division.lessThan.n2b.out[191] -480,467,3,main.division.lessThan.n2b.out[192] -481,468,3,main.division.lessThan.n2b.out[193] -482,469,3,main.division.lessThan.n2b.out[194] -483,470,3,main.division.lessThan.n2b.out[195] -484,471,3,main.division.lessThan.n2b.out[196] -485,472,3,main.division.lessThan.n2b.out[197] -486,473,3,main.division.lessThan.n2b.out[198] -487,474,3,main.division.lessThan.n2b.out[199] -488,475,3,main.division.lessThan.n2b.out[200] -489,476,3,main.division.lessThan.n2b.out[201] -490,477,3,main.division.lessThan.n2b.out[202] -491,478,3,main.division.lessThan.n2b.out[203] -492,479,3,main.division.lessThan.n2b.out[204] -493,480,3,main.division.lessThan.n2b.out[205] -494,481,3,main.division.lessThan.n2b.out[206] -495,482,3,main.division.lessThan.n2b.out[207] -496,483,3,main.division.lessThan.n2b.out[208] -497,484,3,main.division.lessThan.n2b.out[209] -498,485,3,main.division.lessThan.n2b.out[210] -499,486,3,main.division.lessThan.n2b.out[211] -500,487,3,main.division.lessThan.n2b.out[212] -501,488,3,main.division.lessThan.n2b.out[213] -502,489,3,main.division.lessThan.n2b.out[214] -503,490,3,main.division.lessThan.n2b.out[215] -504,491,3,main.division.lessThan.n2b.out[216] -505,492,3,main.division.lessThan.n2b.out[217] -506,493,3,main.division.lessThan.n2b.out[218] -507,494,3,main.division.lessThan.n2b.out[219] -508,495,3,main.division.lessThan.n2b.out[220] -509,496,3,main.division.lessThan.n2b.out[221] -510,497,3,main.division.lessThan.n2b.out[222] -511,498,3,main.division.lessThan.n2b.out[223] -512,499,3,main.division.lessThan.n2b.out[224] -513,500,3,main.division.lessThan.n2b.out[225] -514,501,3,main.division.lessThan.n2b.out[226] -515,502,3,main.division.lessThan.n2b.out[227] -516,503,3,main.division.lessThan.n2b.out[228] -517,504,3,main.division.lessThan.n2b.out[229] -518,505,3,main.division.lessThan.n2b.out[230] -519,506,3,main.division.lessThan.n2b.out[231] -520,507,3,main.division.lessThan.n2b.out[232] -521,508,3,main.division.lessThan.n2b.out[233] -522,509,3,main.division.lessThan.n2b.out[234] -523,510,3,main.division.lessThan.n2b.out[235] -524,511,3,main.division.lessThan.n2b.out[236] -525,512,3,main.division.lessThan.n2b.out[237] -526,513,3,main.division.lessThan.n2b.out[238] -527,514,3,main.division.lessThan.n2b.out[239] -528,515,3,main.division.lessThan.n2b.out[240] -529,516,3,main.division.lessThan.n2b.out[241] -530,517,3,main.division.lessThan.n2b.out[242] -531,518,3,main.division.lessThan.n2b.out[243] -532,519,3,main.division.lessThan.n2b.out[244] -533,520,3,main.division.lessThan.n2b.out[245] -534,521,3,main.division.lessThan.n2b.out[246] -535,522,3,main.division.lessThan.n2b.out[247] -536,523,3,main.division.lessThan.n2b.out[248] -537,524,3,main.division.lessThan.n2b.out[249] -538,525,3,main.division.lessThan.n2b.out[250] -539,526,3,main.division.lessThan.n2b.out[251] -540,527,3,main.division.lessThan.n2b.out[252] -541,528,3,main.division.lessThan.n2b.in -542,-1,1,main.muxInput.out -543,-1,1,main.muxInput.c[0] -544,-1,1,main.muxInput.c[1] -545,-1,1,main.muxInput.s -546,-1,0,main.muxInput.mux.out[0] -547,-1,0,main.muxInput.mux.c[0][0] -548,-1,0,main.muxInput.mux.c[0][1] -549,-1,0,main.muxInput.mux.s -550,-1,1,main.muxOutput.out -551,-1,1,main.muxOutput.c[0] -552,-1,1,main.muxOutput.c[1] -553,-1,1,main.muxOutput.s -554,-1,0,main.muxOutput.mux.out[0] -555,-1,0,main.muxOutput.mux.c[0][0] -556,-1,0,main.muxOutput.mux.c[0][1] -557,-1,0,main.muxOutput.mux.s -558,-1,6,main.positiveBalance1.out -559,-1,6,main.positiveBalance1.in[0] -560,-1,6,main.positiveBalance1.in[1] -561,-1,4,main.positiveBalance1.lt.out -562,-1,4,main.positiveBalance1.lt.in[0] -563,529,4,main.positiveBalance1.lt.in[1] -564,530,3,main.positiveBalance1.lt.n2b.out[0] -565,531,3,main.positiveBalance1.lt.n2b.out[1] -566,532,3,main.positiveBalance1.lt.n2b.out[2] -567,533,3,main.positiveBalance1.lt.n2b.out[3] -568,534,3,main.positiveBalance1.lt.n2b.out[4] -569,535,3,main.positiveBalance1.lt.n2b.out[5] -570,536,3,main.positiveBalance1.lt.n2b.out[6] -571,537,3,main.positiveBalance1.lt.n2b.out[7] -572,538,3,main.positiveBalance1.lt.n2b.out[8] -573,539,3,main.positiveBalance1.lt.n2b.out[9] -574,540,3,main.positiveBalance1.lt.n2b.out[10] -575,541,3,main.positiveBalance1.lt.n2b.out[11] -576,542,3,main.positiveBalance1.lt.n2b.out[12] -577,543,3,main.positiveBalance1.lt.n2b.out[13] -578,544,3,main.positiveBalance1.lt.n2b.out[14] -579,545,3,main.positiveBalance1.lt.n2b.out[15] -580,546,3,main.positiveBalance1.lt.n2b.out[16] -581,547,3,main.positiveBalance1.lt.n2b.out[17] -582,548,3,main.positiveBalance1.lt.n2b.out[18] -583,549,3,main.positiveBalance1.lt.n2b.out[19] -584,550,3,main.positiveBalance1.lt.n2b.out[20] -585,551,3,main.positiveBalance1.lt.n2b.out[21] -586,552,3,main.positiveBalance1.lt.n2b.out[22] -587,553,3,main.positiveBalance1.lt.n2b.out[23] -588,554,3,main.positiveBalance1.lt.n2b.out[24] -589,555,3,main.positiveBalance1.lt.n2b.out[25] -590,556,3,main.positiveBalance1.lt.n2b.out[26] -591,557,3,main.positiveBalance1.lt.n2b.out[27] -592,558,3,main.positiveBalance1.lt.n2b.out[28] -593,559,3,main.positiveBalance1.lt.n2b.out[29] -594,560,3,main.positiveBalance1.lt.n2b.out[30] -595,561,3,main.positiveBalance1.lt.n2b.out[31] -596,562,3,main.positiveBalance1.lt.n2b.out[32] -597,563,3,main.positiveBalance1.lt.n2b.out[33] -598,564,3,main.positiveBalance1.lt.n2b.out[34] -599,565,3,main.positiveBalance1.lt.n2b.out[35] -600,566,3,main.positiveBalance1.lt.n2b.out[36] -601,567,3,main.positiveBalance1.lt.n2b.out[37] -602,568,3,main.positiveBalance1.lt.n2b.out[38] -603,569,3,main.positiveBalance1.lt.n2b.out[39] -604,570,3,main.positiveBalance1.lt.n2b.out[40] -605,571,3,main.positiveBalance1.lt.n2b.out[41] -606,572,3,main.positiveBalance1.lt.n2b.out[42] -607,573,3,main.positiveBalance1.lt.n2b.out[43] -608,574,3,main.positiveBalance1.lt.n2b.out[44] -609,575,3,main.positiveBalance1.lt.n2b.out[45] -610,576,3,main.positiveBalance1.lt.n2b.out[46] -611,577,3,main.positiveBalance1.lt.n2b.out[47] -612,578,3,main.positiveBalance1.lt.n2b.out[48] -613,579,3,main.positiveBalance1.lt.n2b.out[49] -614,580,3,main.positiveBalance1.lt.n2b.out[50] -615,581,3,main.positiveBalance1.lt.n2b.out[51] -616,582,3,main.positiveBalance1.lt.n2b.out[52] -617,583,3,main.positiveBalance1.lt.n2b.out[53] -618,584,3,main.positiveBalance1.lt.n2b.out[54] -619,585,3,main.positiveBalance1.lt.n2b.out[55] -620,586,3,main.positiveBalance1.lt.n2b.out[56] -621,587,3,main.positiveBalance1.lt.n2b.out[57] -622,588,3,main.positiveBalance1.lt.n2b.out[58] -623,589,3,main.positiveBalance1.lt.n2b.out[59] -624,590,3,main.positiveBalance1.lt.n2b.out[60] -625,591,3,main.positiveBalance1.lt.n2b.out[61] -626,592,3,main.positiveBalance1.lt.n2b.out[62] -627,593,3,main.positiveBalance1.lt.n2b.out[63] -628,594,3,main.positiveBalance1.lt.n2b.out[64] -629,595,3,main.positiveBalance1.lt.n2b.out[65] -630,596,3,main.positiveBalance1.lt.n2b.out[66] -631,597,3,main.positiveBalance1.lt.n2b.out[67] -632,598,3,main.positiveBalance1.lt.n2b.out[68] -633,599,3,main.positiveBalance1.lt.n2b.out[69] -634,600,3,main.positiveBalance1.lt.n2b.out[70] -635,601,3,main.positiveBalance1.lt.n2b.out[71] -636,602,3,main.positiveBalance1.lt.n2b.out[72] -637,603,3,main.positiveBalance1.lt.n2b.out[73] -638,604,3,main.positiveBalance1.lt.n2b.out[74] -639,605,3,main.positiveBalance1.lt.n2b.out[75] -640,606,3,main.positiveBalance1.lt.n2b.out[76] -641,607,3,main.positiveBalance1.lt.n2b.out[77] -642,608,3,main.positiveBalance1.lt.n2b.out[78] -643,609,3,main.positiveBalance1.lt.n2b.out[79] -644,610,3,main.positiveBalance1.lt.n2b.out[80] -645,611,3,main.positiveBalance1.lt.n2b.out[81] -646,612,3,main.positiveBalance1.lt.n2b.out[82] -647,613,3,main.positiveBalance1.lt.n2b.out[83] -648,614,3,main.positiveBalance1.lt.n2b.out[84] -649,615,3,main.positiveBalance1.lt.n2b.out[85] -650,616,3,main.positiveBalance1.lt.n2b.out[86] -651,617,3,main.positiveBalance1.lt.n2b.out[87] -652,618,3,main.positiveBalance1.lt.n2b.out[88] -653,619,3,main.positiveBalance1.lt.n2b.out[89] -654,620,3,main.positiveBalance1.lt.n2b.out[90] -655,621,3,main.positiveBalance1.lt.n2b.out[91] -656,622,3,main.positiveBalance1.lt.n2b.out[92] -657,623,3,main.positiveBalance1.lt.n2b.out[93] -658,624,3,main.positiveBalance1.lt.n2b.out[94] -659,625,3,main.positiveBalance1.lt.n2b.out[95] -660,626,3,main.positiveBalance1.lt.n2b.out[96] -661,627,3,main.positiveBalance1.lt.n2b.out[97] -662,628,3,main.positiveBalance1.lt.n2b.out[98] -663,629,3,main.positiveBalance1.lt.n2b.out[99] -664,630,3,main.positiveBalance1.lt.n2b.out[100] -665,631,3,main.positiveBalance1.lt.n2b.out[101] -666,632,3,main.positiveBalance1.lt.n2b.out[102] -667,633,3,main.positiveBalance1.lt.n2b.out[103] -668,634,3,main.positiveBalance1.lt.n2b.out[104] -669,635,3,main.positiveBalance1.lt.n2b.out[105] -670,636,3,main.positiveBalance1.lt.n2b.out[106] -671,637,3,main.positiveBalance1.lt.n2b.out[107] -672,638,3,main.positiveBalance1.lt.n2b.out[108] -673,639,3,main.positiveBalance1.lt.n2b.out[109] -674,640,3,main.positiveBalance1.lt.n2b.out[110] -675,641,3,main.positiveBalance1.lt.n2b.out[111] -676,642,3,main.positiveBalance1.lt.n2b.out[112] -677,643,3,main.positiveBalance1.lt.n2b.out[113] -678,644,3,main.positiveBalance1.lt.n2b.out[114] -679,645,3,main.positiveBalance1.lt.n2b.out[115] -680,646,3,main.positiveBalance1.lt.n2b.out[116] -681,647,3,main.positiveBalance1.lt.n2b.out[117] -682,648,3,main.positiveBalance1.lt.n2b.out[118] -683,649,3,main.positiveBalance1.lt.n2b.out[119] -684,650,3,main.positiveBalance1.lt.n2b.out[120] -685,651,3,main.positiveBalance1.lt.n2b.out[121] -686,652,3,main.positiveBalance1.lt.n2b.out[122] -687,653,3,main.positiveBalance1.lt.n2b.out[123] -688,654,3,main.positiveBalance1.lt.n2b.out[124] -689,655,3,main.positiveBalance1.lt.n2b.out[125] -690,656,3,main.positiveBalance1.lt.n2b.out[126] -691,657,3,main.positiveBalance1.lt.n2b.out[127] -692,658,3,main.positiveBalance1.lt.n2b.out[128] -693,659,3,main.positiveBalance1.lt.n2b.out[129] -694,660,3,main.positiveBalance1.lt.n2b.out[130] -695,661,3,main.positiveBalance1.lt.n2b.out[131] -696,662,3,main.positiveBalance1.lt.n2b.out[132] -697,663,3,main.positiveBalance1.lt.n2b.out[133] -698,664,3,main.positiveBalance1.lt.n2b.out[134] -699,665,3,main.positiveBalance1.lt.n2b.out[135] -700,666,3,main.positiveBalance1.lt.n2b.out[136] -701,667,3,main.positiveBalance1.lt.n2b.out[137] -702,668,3,main.positiveBalance1.lt.n2b.out[138] -703,669,3,main.positiveBalance1.lt.n2b.out[139] -704,670,3,main.positiveBalance1.lt.n2b.out[140] -705,671,3,main.positiveBalance1.lt.n2b.out[141] -706,672,3,main.positiveBalance1.lt.n2b.out[142] -707,673,3,main.positiveBalance1.lt.n2b.out[143] -708,674,3,main.positiveBalance1.lt.n2b.out[144] -709,675,3,main.positiveBalance1.lt.n2b.out[145] -710,676,3,main.positiveBalance1.lt.n2b.out[146] -711,677,3,main.positiveBalance1.lt.n2b.out[147] -712,678,3,main.positiveBalance1.lt.n2b.out[148] -713,679,3,main.positiveBalance1.lt.n2b.out[149] -714,680,3,main.positiveBalance1.lt.n2b.out[150] -715,681,3,main.positiveBalance1.lt.n2b.out[151] -716,682,3,main.positiveBalance1.lt.n2b.out[152] -717,683,3,main.positiveBalance1.lt.n2b.out[153] -718,684,3,main.positiveBalance1.lt.n2b.out[154] -719,685,3,main.positiveBalance1.lt.n2b.out[155] -720,686,3,main.positiveBalance1.lt.n2b.out[156] -721,687,3,main.positiveBalance1.lt.n2b.out[157] -722,688,3,main.positiveBalance1.lt.n2b.out[158] -723,689,3,main.positiveBalance1.lt.n2b.out[159] -724,690,3,main.positiveBalance1.lt.n2b.out[160] -725,691,3,main.positiveBalance1.lt.n2b.out[161] -726,692,3,main.positiveBalance1.lt.n2b.out[162] -727,693,3,main.positiveBalance1.lt.n2b.out[163] -728,694,3,main.positiveBalance1.lt.n2b.out[164] -729,695,3,main.positiveBalance1.lt.n2b.out[165] -730,696,3,main.positiveBalance1.lt.n2b.out[166] -731,697,3,main.positiveBalance1.lt.n2b.out[167] -732,698,3,main.positiveBalance1.lt.n2b.out[168] -733,699,3,main.positiveBalance1.lt.n2b.out[169] -734,700,3,main.positiveBalance1.lt.n2b.out[170] -735,701,3,main.positiveBalance1.lt.n2b.out[171] -736,702,3,main.positiveBalance1.lt.n2b.out[172] -737,703,3,main.positiveBalance1.lt.n2b.out[173] -738,704,3,main.positiveBalance1.lt.n2b.out[174] -739,705,3,main.positiveBalance1.lt.n2b.out[175] -740,706,3,main.positiveBalance1.lt.n2b.out[176] -741,707,3,main.positiveBalance1.lt.n2b.out[177] -742,708,3,main.positiveBalance1.lt.n2b.out[178] -743,709,3,main.positiveBalance1.lt.n2b.out[179] -744,710,3,main.positiveBalance1.lt.n2b.out[180] -745,711,3,main.positiveBalance1.lt.n2b.out[181] -746,712,3,main.positiveBalance1.lt.n2b.out[182] -747,713,3,main.positiveBalance1.lt.n2b.out[183] -748,714,3,main.positiveBalance1.lt.n2b.out[184] -749,715,3,main.positiveBalance1.lt.n2b.out[185] -750,716,3,main.positiveBalance1.lt.n2b.out[186] -751,717,3,main.positiveBalance1.lt.n2b.out[187] -752,718,3,main.positiveBalance1.lt.n2b.out[188] -753,719,3,main.positiveBalance1.lt.n2b.out[189] -754,720,3,main.positiveBalance1.lt.n2b.out[190] -755,721,3,main.positiveBalance1.lt.n2b.out[191] -756,722,3,main.positiveBalance1.lt.n2b.out[192] -757,723,3,main.positiveBalance1.lt.n2b.out[193] -758,724,3,main.positiveBalance1.lt.n2b.out[194] -759,725,3,main.positiveBalance1.lt.n2b.out[195] -760,726,3,main.positiveBalance1.lt.n2b.out[196] -761,727,3,main.positiveBalance1.lt.n2b.out[197] -762,728,3,main.positiveBalance1.lt.n2b.out[198] -763,729,3,main.positiveBalance1.lt.n2b.out[199] -764,730,3,main.positiveBalance1.lt.n2b.out[200] -765,731,3,main.positiveBalance1.lt.n2b.out[201] -766,732,3,main.positiveBalance1.lt.n2b.out[202] -767,733,3,main.positiveBalance1.lt.n2b.out[203] -768,734,3,main.positiveBalance1.lt.n2b.out[204] -769,735,3,main.positiveBalance1.lt.n2b.out[205] -770,736,3,main.positiveBalance1.lt.n2b.out[206] -771,737,3,main.positiveBalance1.lt.n2b.out[207] -772,738,3,main.positiveBalance1.lt.n2b.out[208] -773,739,3,main.positiveBalance1.lt.n2b.out[209] -774,740,3,main.positiveBalance1.lt.n2b.out[210] -775,741,3,main.positiveBalance1.lt.n2b.out[211] -776,742,3,main.positiveBalance1.lt.n2b.out[212] -777,743,3,main.positiveBalance1.lt.n2b.out[213] -778,744,3,main.positiveBalance1.lt.n2b.out[214] -779,745,3,main.positiveBalance1.lt.n2b.out[215] -780,746,3,main.positiveBalance1.lt.n2b.out[216] -781,747,3,main.positiveBalance1.lt.n2b.out[217] -782,748,3,main.positiveBalance1.lt.n2b.out[218] -783,749,3,main.positiveBalance1.lt.n2b.out[219] -784,750,3,main.positiveBalance1.lt.n2b.out[220] -785,751,3,main.positiveBalance1.lt.n2b.out[221] -786,752,3,main.positiveBalance1.lt.n2b.out[222] -787,753,3,main.positiveBalance1.lt.n2b.out[223] -788,754,3,main.positiveBalance1.lt.n2b.out[224] -789,755,3,main.positiveBalance1.lt.n2b.out[225] -790,756,3,main.positiveBalance1.lt.n2b.out[226] -791,757,3,main.positiveBalance1.lt.n2b.out[227] -792,758,3,main.positiveBalance1.lt.n2b.out[228] -793,759,3,main.positiveBalance1.lt.n2b.out[229] -794,760,3,main.positiveBalance1.lt.n2b.out[230] -795,761,3,main.positiveBalance1.lt.n2b.out[231] -796,762,3,main.positiveBalance1.lt.n2b.out[232] -797,763,3,main.positiveBalance1.lt.n2b.out[233] -798,764,3,main.positiveBalance1.lt.n2b.out[234] -799,765,3,main.positiveBalance1.lt.n2b.out[235] -800,766,3,main.positiveBalance1.lt.n2b.out[236] -801,767,3,main.positiveBalance1.lt.n2b.out[237] -802,768,3,main.positiveBalance1.lt.n2b.out[238] -803,769,3,main.positiveBalance1.lt.n2b.out[239] -804,770,3,main.positiveBalance1.lt.n2b.out[240] -805,771,3,main.positiveBalance1.lt.n2b.out[241] -806,772,3,main.positiveBalance1.lt.n2b.out[242] -807,773,3,main.positiveBalance1.lt.n2b.out[243] -808,774,3,main.positiveBalance1.lt.n2b.out[244] -809,775,3,main.positiveBalance1.lt.n2b.out[245] -810,776,3,main.positiveBalance1.lt.n2b.out[246] -811,777,3,main.positiveBalance1.lt.n2b.out[247] -812,778,3,main.positiveBalance1.lt.n2b.out[248] -813,779,3,main.positiveBalance1.lt.n2b.out[249] -814,780,3,main.positiveBalance1.lt.n2b.out[250] -815,781,3,main.positiveBalance1.lt.n2b.out[251] -816,782,3,main.positiveBalance1.lt.n2b.out[252] -817,783,3,main.positiveBalance1.lt.n2b.in -818,-1,6,main.positiveBalance2.out -819,-1,6,main.positiveBalance2.in[0] -820,-1,6,main.positiveBalance2.in[1] -821,-1,4,main.positiveBalance2.lt.out -822,-1,4,main.positiveBalance2.lt.in[0] -823,784,4,main.positiveBalance2.lt.in[1] -824,785,3,main.positiveBalance2.lt.n2b.out[0] -825,786,3,main.positiveBalance2.lt.n2b.out[1] -826,787,3,main.positiveBalance2.lt.n2b.out[2] -827,788,3,main.positiveBalance2.lt.n2b.out[3] -828,789,3,main.positiveBalance2.lt.n2b.out[4] -829,790,3,main.positiveBalance2.lt.n2b.out[5] -830,791,3,main.positiveBalance2.lt.n2b.out[6] -831,792,3,main.positiveBalance2.lt.n2b.out[7] -832,793,3,main.positiveBalance2.lt.n2b.out[8] -833,794,3,main.positiveBalance2.lt.n2b.out[9] -834,795,3,main.positiveBalance2.lt.n2b.out[10] -835,796,3,main.positiveBalance2.lt.n2b.out[11] -836,797,3,main.positiveBalance2.lt.n2b.out[12] -837,798,3,main.positiveBalance2.lt.n2b.out[13] -838,799,3,main.positiveBalance2.lt.n2b.out[14] -839,800,3,main.positiveBalance2.lt.n2b.out[15] -840,801,3,main.positiveBalance2.lt.n2b.out[16] -841,802,3,main.positiveBalance2.lt.n2b.out[17] -842,803,3,main.positiveBalance2.lt.n2b.out[18] -843,804,3,main.positiveBalance2.lt.n2b.out[19] -844,805,3,main.positiveBalance2.lt.n2b.out[20] -845,806,3,main.positiveBalance2.lt.n2b.out[21] -846,807,3,main.positiveBalance2.lt.n2b.out[22] -847,808,3,main.positiveBalance2.lt.n2b.out[23] -848,809,3,main.positiveBalance2.lt.n2b.out[24] -849,810,3,main.positiveBalance2.lt.n2b.out[25] -850,811,3,main.positiveBalance2.lt.n2b.out[26] -851,812,3,main.positiveBalance2.lt.n2b.out[27] -852,813,3,main.positiveBalance2.lt.n2b.out[28] -853,814,3,main.positiveBalance2.lt.n2b.out[29] -854,815,3,main.positiveBalance2.lt.n2b.out[30] -855,816,3,main.positiveBalance2.lt.n2b.out[31] -856,817,3,main.positiveBalance2.lt.n2b.out[32] -857,818,3,main.positiveBalance2.lt.n2b.out[33] -858,819,3,main.positiveBalance2.lt.n2b.out[34] -859,820,3,main.positiveBalance2.lt.n2b.out[35] -860,821,3,main.positiveBalance2.lt.n2b.out[36] -861,822,3,main.positiveBalance2.lt.n2b.out[37] -862,823,3,main.positiveBalance2.lt.n2b.out[38] -863,824,3,main.positiveBalance2.lt.n2b.out[39] -864,825,3,main.positiveBalance2.lt.n2b.out[40] -865,826,3,main.positiveBalance2.lt.n2b.out[41] -866,827,3,main.positiveBalance2.lt.n2b.out[42] -867,828,3,main.positiveBalance2.lt.n2b.out[43] -868,829,3,main.positiveBalance2.lt.n2b.out[44] -869,830,3,main.positiveBalance2.lt.n2b.out[45] -870,831,3,main.positiveBalance2.lt.n2b.out[46] -871,832,3,main.positiveBalance2.lt.n2b.out[47] -872,833,3,main.positiveBalance2.lt.n2b.out[48] -873,834,3,main.positiveBalance2.lt.n2b.out[49] -874,835,3,main.positiveBalance2.lt.n2b.out[50] -875,836,3,main.positiveBalance2.lt.n2b.out[51] -876,837,3,main.positiveBalance2.lt.n2b.out[52] -877,838,3,main.positiveBalance2.lt.n2b.out[53] -878,839,3,main.positiveBalance2.lt.n2b.out[54] -879,840,3,main.positiveBalance2.lt.n2b.out[55] -880,841,3,main.positiveBalance2.lt.n2b.out[56] -881,842,3,main.positiveBalance2.lt.n2b.out[57] -882,843,3,main.positiveBalance2.lt.n2b.out[58] -883,844,3,main.positiveBalance2.lt.n2b.out[59] -884,845,3,main.positiveBalance2.lt.n2b.out[60] -885,846,3,main.positiveBalance2.lt.n2b.out[61] -886,847,3,main.positiveBalance2.lt.n2b.out[62] -887,848,3,main.positiveBalance2.lt.n2b.out[63] -888,849,3,main.positiveBalance2.lt.n2b.out[64] -889,850,3,main.positiveBalance2.lt.n2b.out[65] -890,851,3,main.positiveBalance2.lt.n2b.out[66] -891,852,3,main.positiveBalance2.lt.n2b.out[67] -892,853,3,main.positiveBalance2.lt.n2b.out[68] -893,854,3,main.positiveBalance2.lt.n2b.out[69] -894,855,3,main.positiveBalance2.lt.n2b.out[70] -895,856,3,main.positiveBalance2.lt.n2b.out[71] -896,857,3,main.positiveBalance2.lt.n2b.out[72] -897,858,3,main.positiveBalance2.lt.n2b.out[73] -898,859,3,main.positiveBalance2.lt.n2b.out[74] -899,860,3,main.positiveBalance2.lt.n2b.out[75] -900,861,3,main.positiveBalance2.lt.n2b.out[76] -901,862,3,main.positiveBalance2.lt.n2b.out[77] -902,863,3,main.positiveBalance2.lt.n2b.out[78] -903,864,3,main.positiveBalance2.lt.n2b.out[79] -904,865,3,main.positiveBalance2.lt.n2b.out[80] -905,866,3,main.positiveBalance2.lt.n2b.out[81] -906,867,3,main.positiveBalance2.lt.n2b.out[82] -907,868,3,main.positiveBalance2.lt.n2b.out[83] -908,869,3,main.positiveBalance2.lt.n2b.out[84] -909,870,3,main.positiveBalance2.lt.n2b.out[85] -910,871,3,main.positiveBalance2.lt.n2b.out[86] -911,872,3,main.positiveBalance2.lt.n2b.out[87] -912,873,3,main.positiveBalance2.lt.n2b.out[88] -913,874,3,main.positiveBalance2.lt.n2b.out[89] -914,875,3,main.positiveBalance2.lt.n2b.out[90] -915,876,3,main.positiveBalance2.lt.n2b.out[91] -916,877,3,main.positiveBalance2.lt.n2b.out[92] -917,878,3,main.positiveBalance2.lt.n2b.out[93] -918,879,3,main.positiveBalance2.lt.n2b.out[94] -919,880,3,main.positiveBalance2.lt.n2b.out[95] -920,881,3,main.positiveBalance2.lt.n2b.out[96] -921,882,3,main.positiveBalance2.lt.n2b.out[97] -922,883,3,main.positiveBalance2.lt.n2b.out[98] -923,884,3,main.positiveBalance2.lt.n2b.out[99] -924,885,3,main.positiveBalance2.lt.n2b.out[100] -925,886,3,main.positiveBalance2.lt.n2b.out[101] -926,887,3,main.positiveBalance2.lt.n2b.out[102] -927,888,3,main.positiveBalance2.lt.n2b.out[103] -928,889,3,main.positiveBalance2.lt.n2b.out[104] -929,890,3,main.positiveBalance2.lt.n2b.out[105] -930,891,3,main.positiveBalance2.lt.n2b.out[106] -931,892,3,main.positiveBalance2.lt.n2b.out[107] -932,893,3,main.positiveBalance2.lt.n2b.out[108] -933,894,3,main.positiveBalance2.lt.n2b.out[109] -934,895,3,main.positiveBalance2.lt.n2b.out[110] -935,896,3,main.positiveBalance2.lt.n2b.out[111] -936,897,3,main.positiveBalance2.lt.n2b.out[112] -937,898,3,main.positiveBalance2.lt.n2b.out[113] -938,899,3,main.positiveBalance2.lt.n2b.out[114] -939,900,3,main.positiveBalance2.lt.n2b.out[115] -940,901,3,main.positiveBalance2.lt.n2b.out[116] -941,902,3,main.positiveBalance2.lt.n2b.out[117] -942,903,3,main.positiveBalance2.lt.n2b.out[118] -943,904,3,main.positiveBalance2.lt.n2b.out[119] -944,905,3,main.positiveBalance2.lt.n2b.out[120] -945,906,3,main.positiveBalance2.lt.n2b.out[121] -946,907,3,main.positiveBalance2.lt.n2b.out[122] -947,908,3,main.positiveBalance2.lt.n2b.out[123] -948,909,3,main.positiveBalance2.lt.n2b.out[124] -949,910,3,main.positiveBalance2.lt.n2b.out[125] -950,911,3,main.positiveBalance2.lt.n2b.out[126] -951,912,3,main.positiveBalance2.lt.n2b.out[127] -952,913,3,main.positiveBalance2.lt.n2b.out[128] -953,914,3,main.positiveBalance2.lt.n2b.out[129] -954,915,3,main.positiveBalance2.lt.n2b.out[130] -955,916,3,main.positiveBalance2.lt.n2b.out[131] -956,917,3,main.positiveBalance2.lt.n2b.out[132] -957,918,3,main.positiveBalance2.lt.n2b.out[133] -958,919,3,main.positiveBalance2.lt.n2b.out[134] -959,920,3,main.positiveBalance2.lt.n2b.out[135] -960,921,3,main.positiveBalance2.lt.n2b.out[136] -961,922,3,main.positiveBalance2.lt.n2b.out[137] -962,923,3,main.positiveBalance2.lt.n2b.out[138] -963,924,3,main.positiveBalance2.lt.n2b.out[139] -964,925,3,main.positiveBalance2.lt.n2b.out[140] -965,926,3,main.positiveBalance2.lt.n2b.out[141] -966,927,3,main.positiveBalance2.lt.n2b.out[142] -967,928,3,main.positiveBalance2.lt.n2b.out[143] -968,929,3,main.positiveBalance2.lt.n2b.out[144] -969,930,3,main.positiveBalance2.lt.n2b.out[145] -970,931,3,main.positiveBalance2.lt.n2b.out[146] -971,932,3,main.positiveBalance2.lt.n2b.out[147] -972,933,3,main.positiveBalance2.lt.n2b.out[148] -973,934,3,main.positiveBalance2.lt.n2b.out[149] -974,935,3,main.positiveBalance2.lt.n2b.out[150] -975,936,3,main.positiveBalance2.lt.n2b.out[151] -976,937,3,main.positiveBalance2.lt.n2b.out[152] -977,938,3,main.positiveBalance2.lt.n2b.out[153] -978,939,3,main.positiveBalance2.lt.n2b.out[154] -979,940,3,main.positiveBalance2.lt.n2b.out[155] -980,941,3,main.positiveBalance2.lt.n2b.out[156] -981,942,3,main.positiveBalance2.lt.n2b.out[157] -982,943,3,main.positiveBalance2.lt.n2b.out[158] -983,944,3,main.positiveBalance2.lt.n2b.out[159] -984,945,3,main.positiveBalance2.lt.n2b.out[160] -985,946,3,main.positiveBalance2.lt.n2b.out[161] -986,947,3,main.positiveBalance2.lt.n2b.out[162] -987,948,3,main.positiveBalance2.lt.n2b.out[163] -988,949,3,main.positiveBalance2.lt.n2b.out[164] -989,950,3,main.positiveBalance2.lt.n2b.out[165] -990,951,3,main.positiveBalance2.lt.n2b.out[166] -991,952,3,main.positiveBalance2.lt.n2b.out[167] -992,953,3,main.positiveBalance2.lt.n2b.out[168] -993,954,3,main.positiveBalance2.lt.n2b.out[169] -994,955,3,main.positiveBalance2.lt.n2b.out[170] -995,956,3,main.positiveBalance2.lt.n2b.out[171] -996,957,3,main.positiveBalance2.lt.n2b.out[172] -997,958,3,main.positiveBalance2.lt.n2b.out[173] -998,959,3,main.positiveBalance2.lt.n2b.out[174] -999,960,3,main.positiveBalance2.lt.n2b.out[175] -1000,961,3,main.positiveBalance2.lt.n2b.out[176] -1001,962,3,main.positiveBalance2.lt.n2b.out[177] -1002,963,3,main.positiveBalance2.lt.n2b.out[178] -1003,964,3,main.positiveBalance2.lt.n2b.out[179] -1004,965,3,main.positiveBalance2.lt.n2b.out[180] -1005,966,3,main.positiveBalance2.lt.n2b.out[181] -1006,967,3,main.positiveBalance2.lt.n2b.out[182] -1007,968,3,main.positiveBalance2.lt.n2b.out[183] -1008,969,3,main.positiveBalance2.lt.n2b.out[184] -1009,970,3,main.positiveBalance2.lt.n2b.out[185] -1010,971,3,main.positiveBalance2.lt.n2b.out[186] -1011,972,3,main.positiveBalance2.lt.n2b.out[187] -1012,973,3,main.positiveBalance2.lt.n2b.out[188] -1013,974,3,main.positiveBalance2.lt.n2b.out[189] -1014,975,3,main.positiveBalance2.lt.n2b.out[190] -1015,976,3,main.positiveBalance2.lt.n2b.out[191] -1016,977,3,main.positiveBalance2.lt.n2b.out[192] -1017,978,3,main.positiveBalance2.lt.n2b.out[193] -1018,979,3,main.positiveBalance2.lt.n2b.out[194] -1019,980,3,main.positiveBalance2.lt.n2b.out[195] -1020,981,3,main.positiveBalance2.lt.n2b.out[196] -1021,982,3,main.positiveBalance2.lt.n2b.out[197] -1022,983,3,main.positiveBalance2.lt.n2b.out[198] -1023,984,3,main.positiveBalance2.lt.n2b.out[199] -1024,985,3,main.positiveBalance2.lt.n2b.out[200] -1025,986,3,main.positiveBalance2.lt.n2b.out[201] -1026,987,3,main.positiveBalance2.lt.n2b.out[202] -1027,988,3,main.positiveBalance2.lt.n2b.out[203] -1028,989,3,main.positiveBalance2.lt.n2b.out[204] -1029,990,3,main.positiveBalance2.lt.n2b.out[205] -1030,991,3,main.positiveBalance2.lt.n2b.out[206] -1031,992,3,main.positiveBalance2.lt.n2b.out[207] -1032,993,3,main.positiveBalance2.lt.n2b.out[208] -1033,994,3,main.positiveBalance2.lt.n2b.out[209] -1034,995,3,main.positiveBalance2.lt.n2b.out[210] -1035,996,3,main.positiveBalance2.lt.n2b.out[211] -1036,997,3,main.positiveBalance2.lt.n2b.out[212] -1037,998,3,main.positiveBalance2.lt.n2b.out[213] -1038,999,3,main.positiveBalance2.lt.n2b.out[214] -1039,1000,3,main.positiveBalance2.lt.n2b.out[215] -1040,1001,3,main.positiveBalance2.lt.n2b.out[216] -1041,1002,3,main.positiveBalance2.lt.n2b.out[217] -1042,1003,3,main.positiveBalance2.lt.n2b.out[218] -1043,1004,3,main.positiveBalance2.lt.n2b.out[219] -1044,1005,3,main.positiveBalance2.lt.n2b.out[220] -1045,1006,3,main.positiveBalance2.lt.n2b.out[221] -1046,1007,3,main.positiveBalance2.lt.n2b.out[222] -1047,1008,3,main.positiveBalance2.lt.n2b.out[223] -1048,1009,3,main.positiveBalance2.lt.n2b.out[224] -1049,1010,3,main.positiveBalance2.lt.n2b.out[225] -1050,1011,3,main.positiveBalance2.lt.n2b.out[226] -1051,1012,3,main.positiveBalance2.lt.n2b.out[227] -1052,1013,3,main.positiveBalance2.lt.n2b.out[228] -1053,1014,3,main.positiveBalance2.lt.n2b.out[229] -1054,1015,3,main.positiveBalance2.lt.n2b.out[230] -1055,1016,3,main.positiveBalance2.lt.n2b.out[231] -1056,1017,3,main.positiveBalance2.lt.n2b.out[232] -1057,1018,3,main.positiveBalance2.lt.n2b.out[233] -1058,1019,3,main.positiveBalance2.lt.n2b.out[234] -1059,1020,3,main.positiveBalance2.lt.n2b.out[235] -1060,1021,3,main.positiveBalance2.lt.n2b.out[236] -1061,1022,3,main.positiveBalance2.lt.n2b.out[237] -1062,1023,3,main.positiveBalance2.lt.n2b.out[238] -1063,1024,3,main.positiveBalance2.lt.n2b.out[239] -1064,1025,3,main.positiveBalance2.lt.n2b.out[240] -1065,1026,3,main.positiveBalance2.lt.n2b.out[241] -1066,1027,3,main.positiveBalance2.lt.n2b.out[242] -1067,1028,3,main.positiveBalance2.lt.n2b.out[243] -1068,1029,3,main.positiveBalance2.lt.n2b.out[244] -1069,1030,3,main.positiveBalance2.lt.n2b.out[245] -1070,1031,3,main.positiveBalance2.lt.n2b.out[246] -1071,1032,3,main.positiveBalance2.lt.n2b.out[247] -1072,1033,3,main.positiveBalance2.lt.n2b.out[248] -1073,1034,3,main.positiveBalance2.lt.n2b.out[249] -1074,1035,3,main.positiveBalance2.lt.n2b.out[250] -1075,1036,3,main.positiveBalance2.lt.n2b.out[251] -1076,1037,3,main.positiveBalance2.lt.n2b.out[252] -1077,1038,3,main.positiveBalance2.lt.n2b.in -1078,1039,7,main.privateInputAmountCheck.out[0] -1079,1040,7,main.privateInputAmountCheck.out[1] -1080,1041,7,main.privateInputAmountCheck.out[2] -1081,1042,7,main.privateInputAmountCheck.out[3] -1082,1043,7,main.privateInputAmountCheck.out[4] -1083,1044,7,main.privateInputAmountCheck.out[5] -1084,1045,7,main.privateInputAmountCheck.out[6] -1085,1046,7,main.privateInputAmountCheck.out[7] -1086,1047,7,main.privateInputAmountCheck.out[8] -1087,1048,7,main.privateInputAmountCheck.out[9] -1088,1049,7,main.privateInputAmountCheck.out[10] -1089,1050,7,main.privateInputAmountCheck.out[11] -1090,1051,7,main.privateInputAmountCheck.out[12] -1091,1052,7,main.privateInputAmountCheck.out[13] -1092,1053,7,main.privateInputAmountCheck.out[14] -1093,1054,7,main.privateInputAmountCheck.out[15] -1094,1055,7,main.privateInputAmountCheck.out[16] -1095,1056,7,main.privateInputAmountCheck.out[17] -1096,1057,7,main.privateInputAmountCheck.out[18] -1097,1058,7,main.privateInputAmountCheck.out[19] -1098,1059,7,main.privateInputAmountCheck.out[20] -1099,1060,7,main.privateInputAmountCheck.out[21] -1100,1061,7,main.privateInputAmountCheck.out[22] -1101,1062,7,main.privateInputAmountCheck.out[23] -1102,1063,7,main.privateInputAmountCheck.out[24] -1103,1064,7,main.privateInputAmountCheck.out[25] -1104,1065,7,main.privateInputAmountCheck.out[26] -1105,1066,7,main.privateInputAmountCheck.out[27] -1106,1067,7,main.privateInputAmountCheck.out[28] -1107,1068,7,main.privateInputAmountCheck.out[29] -1108,1069,7,main.privateInputAmountCheck.out[30] -1109,1070,7,main.privateInputAmountCheck.out[31] -1110,1071,7,main.privateInputAmountCheck.out[32] -1111,1072,7,main.privateInputAmountCheck.out[33] -1112,1073,7,main.privateInputAmountCheck.out[34] -1113,1074,7,main.privateInputAmountCheck.out[35] -1114,1075,7,main.privateInputAmountCheck.out[36] -1115,1076,7,main.privateInputAmountCheck.out[37] -1116,1077,7,main.privateInputAmountCheck.out[38] -1117,1078,7,main.privateInputAmountCheck.out[39] -1118,1079,7,main.privateInputAmountCheck.out[40] -1119,1080,7,main.privateInputAmountCheck.out[41] -1120,1081,7,main.privateInputAmountCheck.out[42] -1121,1082,7,main.privateInputAmountCheck.out[43] -1122,1083,7,main.privateInputAmountCheck.out[44] -1123,1084,7,main.privateInputAmountCheck.out[45] -1124,1085,7,main.privateInputAmountCheck.out[46] -1125,1086,7,main.privateInputAmountCheck.out[47] -1126,1087,7,main.privateInputAmountCheck.out[48] -1127,1088,7,main.privateInputAmountCheck.out[49] -1128,1089,7,main.privateInputAmountCheck.out[50] -1129,1090,7,main.privateInputAmountCheck.out[51] -1130,1091,7,main.privateInputAmountCheck.out[52] -1131,1092,7,main.privateInputAmountCheck.out[53] -1132,1093,7,main.privateInputAmountCheck.out[54] -1133,1094,7,main.privateInputAmountCheck.out[55] -1134,1095,7,main.privateInputAmountCheck.out[56] -1135,1096,7,main.privateInputAmountCheck.out[57] -1136,1097,7,main.privateInputAmountCheck.out[58] -1137,1098,7,main.privateInputAmountCheck.out[59] -1138,1099,7,main.privateInputAmountCheck.out[60] -1139,1100,7,main.privateInputAmountCheck.out[61] -1140,1101,7,main.privateInputAmountCheck.out[62] -1141,1102,7,main.privateInputAmountCheck.out[63] -1142,1103,7,main.privateInputAmountCheck.out[64] -1143,1104,7,main.privateInputAmountCheck.out[65] -1144,1105,7,main.privateInputAmountCheck.out[66] -1145,1106,7,main.privateInputAmountCheck.out[67] -1146,1107,7,main.privateInputAmountCheck.out[68] -1147,1108,7,main.privateInputAmountCheck.out[69] -1148,1109,7,main.privateInputAmountCheck.out[70] -1149,1110,7,main.privateInputAmountCheck.out[71] -1150,1111,7,main.privateInputAmountCheck.out[72] -1151,1112,7,main.privateInputAmountCheck.out[73] -1152,1113,7,main.privateInputAmountCheck.out[74] -1153,1114,7,main.privateInputAmountCheck.out[75] -1154,1115,7,main.privateInputAmountCheck.out[76] -1155,1116,7,main.privateInputAmountCheck.out[77] -1156,1117,7,main.privateInputAmountCheck.out[78] -1157,1118,7,main.privateInputAmountCheck.out[79] -1158,1119,7,main.privateInputAmountCheck.out[80] -1159,1120,7,main.privateInputAmountCheck.out[81] -1160,1121,7,main.privateInputAmountCheck.out[82] -1161,1122,7,main.privateInputAmountCheck.out[83] -1162,1123,7,main.privateInputAmountCheck.out[84] -1163,1124,7,main.privateInputAmountCheck.out[85] -1164,1125,7,main.privateInputAmountCheck.out[86] -1165,1126,7,main.privateInputAmountCheck.out[87] -1166,1127,7,main.privateInputAmountCheck.out[88] -1167,1128,7,main.privateInputAmountCheck.out[89] -1168,1129,7,main.privateInputAmountCheck.out[90] -1169,1130,7,main.privateInputAmountCheck.out[91] -1170,1131,7,main.privateInputAmountCheck.out[92] -1171,1132,7,main.privateInputAmountCheck.out[93] -1172,1133,7,main.privateInputAmountCheck.out[94] -1173,1134,7,main.privateInputAmountCheck.out[95] -1174,1135,7,main.privateInputAmountCheck.out[96] -1175,1136,7,main.privateInputAmountCheck.out[97] -1176,1137,7,main.privateInputAmountCheck.out[98] -1177,1138,7,main.privateInputAmountCheck.out[99] -1178,1139,7,main.privateInputAmountCheck.out[100] -1179,1140,7,main.privateInputAmountCheck.out[101] -1180,1141,7,main.privateInputAmountCheck.out[102] -1181,1142,7,main.privateInputAmountCheck.out[103] -1182,1143,7,main.privateInputAmountCheck.out[104] -1183,1144,7,main.privateInputAmountCheck.out[105] -1184,1145,7,main.privateInputAmountCheck.out[106] -1185,1146,7,main.privateInputAmountCheck.out[107] -1186,1147,7,main.privateInputAmountCheck.out[108] -1187,1148,7,main.privateInputAmountCheck.out[109] -1188,1149,7,main.privateInputAmountCheck.out[110] -1189,1150,7,main.privateInputAmountCheck.out[111] -1190,1151,7,main.privateInputAmountCheck.out[112] -1191,1152,7,main.privateInputAmountCheck.out[113] -1192,1153,7,main.privateInputAmountCheck.out[114] -1193,1154,7,main.privateInputAmountCheck.out[115] -1194,1155,7,main.privateInputAmountCheck.out[116] -1195,1156,7,main.privateInputAmountCheck.out[117] -1196,1157,7,main.privateInputAmountCheck.out[118] -1197,1158,7,main.privateInputAmountCheck.out[119] -1198,1159,7,main.privateInputAmountCheck.out[120] -1199,1160,7,main.privateInputAmountCheck.out[121] -1200,1161,7,main.privateInputAmountCheck.out[122] -1201,1162,7,main.privateInputAmountCheck.out[123] -1202,1163,7,main.privateInputAmountCheck.out[124] -1203,1164,7,main.privateInputAmountCheck.out[125] -1204,1165,7,main.privateInputAmountCheck.out[126] -1205,1166,7,main.privateInputAmountCheck.out[127] -1206,1167,7,main.privateInputAmountCheck.out[128] -1207,1168,7,main.privateInputAmountCheck.out[129] -1208,1169,7,main.privateInputAmountCheck.out[130] -1209,1170,7,main.privateInputAmountCheck.out[131] -1210,1171,7,main.privateInputAmountCheck.out[132] -1211,1172,7,main.privateInputAmountCheck.out[133] -1212,1173,7,main.privateInputAmountCheck.out[134] -1213,1174,7,main.privateInputAmountCheck.out[135] -1214,1175,7,main.privateInputAmountCheck.out[136] -1215,1176,7,main.privateInputAmountCheck.out[137] -1216,1177,7,main.privateInputAmountCheck.out[138] -1217,1178,7,main.privateInputAmountCheck.out[139] -1218,1179,7,main.privateInputAmountCheck.out[140] -1219,1180,7,main.privateInputAmountCheck.out[141] -1220,1181,7,main.privateInputAmountCheck.out[142] -1221,1182,7,main.privateInputAmountCheck.out[143] -1222,1183,7,main.privateInputAmountCheck.out[144] -1223,1184,7,main.privateInputAmountCheck.out[145] -1224,1185,7,main.privateInputAmountCheck.out[146] -1225,1186,7,main.privateInputAmountCheck.out[147] -1226,1187,7,main.privateInputAmountCheck.out[148] -1227,1188,7,main.privateInputAmountCheck.out[149] -1228,1189,7,main.privateInputAmountCheck.out[150] -1229,1190,7,main.privateInputAmountCheck.out[151] -1230,1191,7,main.privateInputAmountCheck.out[152] -1231,1192,7,main.privateInputAmountCheck.out[153] -1232,1193,7,main.privateInputAmountCheck.out[154] -1233,1194,7,main.privateInputAmountCheck.out[155] -1234,1195,7,main.privateInputAmountCheck.out[156] -1235,1196,7,main.privateInputAmountCheck.out[157] -1236,1197,7,main.privateInputAmountCheck.out[158] -1237,1198,7,main.privateInputAmountCheck.out[159] -1238,1199,7,main.privateInputAmountCheck.out[160] -1239,1200,7,main.privateInputAmountCheck.out[161] -1240,1201,7,main.privateInputAmountCheck.out[162] -1241,1202,7,main.privateInputAmountCheck.out[163] -1242,1203,7,main.privateInputAmountCheck.out[164] -1243,1204,7,main.privateInputAmountCheck.out[165] -1244,1205,7,main.privateInputAmountCheck.out[166] -1245,1206,7,main.privateInputAmountCheck.out[167] -1246,1207,7,main.privateInputAmountCheck.out[168] -1247,1208,7,main.privateInputAmountCheck.out[169] -1248,1209,7,main.privateInputAmountCheck.out[170] -1249,1210,7,main.privateInputAmountCheck.out[171] -1250,1211,7,main.privateInputAmountCheck.out[172] -1251,1212,7,main.privateInputAmountCheck.out[173] -1252,1213,7,main.privateInputAmountCheck.out[174] -1253,1214,7,main.privateInputAmountCheck.out[175] -1254,1215,7,main.privateInputAmountCheck.out[176] -1255,1216,7,main.privateInputAmountCheck.out[177] -1256,1217,7,main.privateInputAmountCheck.out[178] -1257,1218,7,main.privateInputAmountCheck.out[179] -1258,1219,7,main.privateInputAmountCheck.out[180] -1259,1220,7,main.privateInputAmountCheck.out[181] -1260,1221,7,main.privateInputAmountCheck.out[182] -1261,1222,7,main.privateInputAmountCheck.out[183] -1262,1223,7,main.privateInputAmountCheck.out[184] -1263,1224,7,main.privateInputAmountCheck.out[185] -1264,1225,7,main.privateInputAmountCheck.out[186] -1265,1226,7,main.privateInputAmountCheck.out[187] -1266,1227,7,main.privateInputAmountCheck.out[188] -1267,1228,7,main.privateInputAmountCheck.out[189] -1268,1229,7,main.privateInputAmountCheck.out[190] -1269,1230,7,main.privateInputAmountCheck.out[191] -1270,1231,7,main.privateInputAmountCheck.out[192] -1271,1232,7,main.privateInputAmountCheck.out[193] -1272,1233,7,main.privateInputAmountCheck.out[194] -1273,1234,7,main.privateInputAmountCheck.out[195] -1274,1235,7,main.privateInputAmountCheck.out[196] -1275,1236,7,main.privateInputAmountCheck.out[197] -1276,1237,7,main.privateInputAmountCheck.out[198] -1277,1238,7,main.privateInputAmountCheck.out[199] -1278,1239,7,main.privateInputAmountCheck.out[200] -1279,1240,7,main.privateInputAmountCheck.out[201] -1280,1241,7,main.privateInputAmountCheck.out[202] -1281,1242,7,main.privateInputAmountCheck.out[203] -1282,1243,7,main.privateInputAmountCheck.out[204] -1283,1244,7,main.privateInputAmountCheck.out[205] -1284,1245,7,main.privateInputAmountCheck.out[206] -1285,1246,7,main.privateInputAmountCheck.out[207] -1286,1247,7,main.privateInputAmountCheck.out[208] -1287,1248,7,main.privateInputAmountCheck.out[209] -1288,1249,7,main.privateInputAmountCheck.out[210] -1289,1250,7,main.privateInputAmountCheck.out[211] -1290,1251,7,main.privateInputAmountCheck.out[212] -1291,1252,7,main.privateInputAmountCheck.out[213] -1292,1253,7,main.privateInputAmountCheck.out[214] -1293,1254,7,main.privateInputAmountCheck.out[215] -1294,1255,7,main.privateInputAmountCheck.out[216] -1295,1256,7,main.privateInputAmountCheck.out[217] -1296,1257,7,main.privateInputAmountCheck.out[218] -1297,1258,7,main.privateInputAmountCheck.out[219] -1298,1259,7,main.privateInputAmountCheck.out[220] -1299,1260,7,main.privateInputAmountCheck.out[221] -1300,1261,7,main.privateInputAmountCheck.out[222] -1301,1262,7,main.privateInputAmountCheck.out[223] -1302,1263,7,main.privateInputAmountCheck.out[224] -1303,1264,7,main.privateInputAmountCheck.out[225] -1304,1265,7,main.privateInputAmountCheck.out[226] -1305,1266,7,main.privateInputAmountCheck.out[227] -1306,1267,7,main.privateInputAmountCheck.out[228] -1307,1268,7,main.privateInputAmountCheck.out[229] -1308,1269,7,main.privateInputAmountCheck.out[230] -1309,1270,7,main.privateInputAmountCheck.out[231] -1310,1271,7,main.privateInputAmountCheck.out[232] -1311,1272,7,main.privateInputAmountCheck.out[233] -1312,1273,7,main.privateInputAmountCheck.out[234] -1313,1274,7,main.privateInputAmountCheck.out[235] -1314,1275,7,main.privateInputAmountCheck.out[236] -1315,1276,7,main.privateInputAmountCheck.out[237] -1316,1277,7,main.privateInputAmountCheck.out[238] -1317,1278,7,main.privateInputAmountCheck.out[239] -1318,1279,7,main.privateInputAmountCheck.out[240] -1319,1280,7,main.privateInputAmountCheck.out[241] -1320,1281,7,main.privateInputAmountCheck.out[242] -1321,1282,7,main.privateInputAmountCheck.out[243] -1322,1283,7,main.privateInputAmountCheck.out[244] -1323,1284,7,main.privateInputAmountCheck.out[245] -1324,1285,7,main.privateInputAmountCheck.out[246] -1325,1286,7,main.privateInputAmountCheck.out[247] -1326,1287,7,main.privateInputAmountCheck.out[248] -1327,1288,7,main.privateInputAmountCheck.out[249] -1328,1289,7,main.privateInputAmountCheck.out[250] -1329,1290,7,main.privateInputAmountCheck.out[251] -1330,-1,7,main.privateInputAmountCheck.in -1331,1291,7,main.privateMinReceivedCheck.out[0] -1332,1292,7,main.privateMinReceivedCheck.out[1] -1333,1293,7,main.privateMinReceivedCheck.out[2] -1334,1294,7,main.privateMinReceivedCheck.out[3] -1335,1295,7,main.privateMinReceivedCheck.out[4] -1336,1296,7,main.privateMinReceivedCheck.out[5] -1337,1297,7,main.privateMinReceivedCheck.out[6] -1338,1298,7,main.privateMinReceivedCheck.out[7] -1339,1299,7,main.privateMinReceivedCheck.out[8] -1340,1300,7,main.privateMinReceivedCheck.out[9] -1341,1301,7,main.privateMinReceivedCheck.out[10] -1342,1302,7,main.privateMinReceivedCheck.out[11] -1343,1303,7,main.privateMinReceivedCheck.out[12] -1344,1304,7,main.privateMinReceivedCheck.out[13] -1345,1305,7,main.privateMinReceivedCheck.out[14] -1346,1306,7,main.privateMinReceivedCheck.out[15] -1347,1307,7,main.privateMinReceivedCheck.out[16] -1348,1308,7,main.privateMinReceivedCheck.out[17] -1349,1309,7,main.privateMinReceivedCheck.out[18] -1350,1310,7,main.privateMinReceivedCheck.out[19] -1351,1311,7,main.privateMinReceivedCheck.out[20] -1352,1312,7,main.privateMinReceivedCheck.out[21] -1353,1313,7,main.privateMinReceivedCheck.out[22] -1354,1314,7,main.privateMinReceivedCheck.out[23] -1355,1315,7,main.privateMinReceivedCheck.out[24] -1356,1316,7,main.privateMinReceivedCheck.out[25] -1357,1317,7,main.privateMinReceivedCheck.out[26] -1358,1318,7,main.privateMinReceivedCheck.out[27] -1359,1319,7,main.privateMinReceivedCheck.out[28] -1360,1320,7,main.privateMinReceivedCheck.out[29] -1361,1321,7,main.privateMinReceivedCheck.out[30] -1362,1322,7,main.privateMinReceivedCheck.out[31] -1363,1323,7,main.privateMinReceivedCheck.out[32] -1364,1324,7,main.privateMinReceivedCheck.out[33] -1365,1325,7,main.privateMinReceivedCheck.out[34] -1366,1326,7,main.privateMinReceivedCheck.out[35] -1367,1327,7,main.privateMinReceivedCheck.out[36] -1368,1328,7,main.privateMinReceivedCheck.out[37] -1369,1329,7,main.privateMinReceivedCheck.out[38] -1370,1330,7,main.privateMinReceivedCheck.out[39] -1371,1331,7,main.privateMinReceivedCheck.out[40] -1372,1332,7,main.privateMinReceivedCheck.out[41] -1373,1333,7,main.privateMinReceivedCheck.out[42] -1374,1334,7,main.privateMinReceivedCheck.out[43] -1375,1335,7,main.privateMinReceivedCheck.out[44] -1376,1336,7,main.privateMinReceivedCheck.out[45] -1377,1337,7,main.privateMinReceivedCheck.out[46] -1378,1338,7,main.privateMinReceivedCheck.out[47] -1379,1339,7,main.privateMinReceivedCheck.out[48] -1380,1340,7,main.privateMinReceivedCheck.out[49] -1381,1341,7,main.privateMinReceivedCheck.out[50] -1382,1342,7,main.privateMinReceivedCheck.out[51] -1383,1343,7,main.privateMinReceivedCheck.out[52] -1384,1344,7,main.privateMinReceivedCheck.out[53] -1385,1345,7,main.privateMinReceivedCheck.out[54] -1386,1346,7,main.privateMinReceivedCheck.out[55] -1387,1347,7,main.privateMinReceivedCheck.out[56] -1388,1348,7,main.privateMinReceivedCheck.out[57] -1389,1349,7,main.privateMinReceivedCheck.out[58] -1390,1350,7,main.privateMinReceivedCheck.out[59] -1391,1351,7,main.privateMinReceivedCheck.out[60] -1392,1352,7,main.privateMinReceivedCheck.out[61] -1393,1353,7,main.privateMinReceivedCheck.out[62] -1394,1354,7,main.privateMinReceivedCheck.out[63] -1395,1355,7,main.privateMinReceivedCheck.out[64] -1396,1356,7,main.privateMinReceivedCheck.out[65] -1397,1357,7,main.privateMinReceivedCheck.out[66] -1398,1358,7,main.privateMinReceivedCheck.out[67] -1399,1359,7,main.privateMinReceivedCheck.out[68] -1400,1360,7,main.privateMinReceivedCheck.out[69] -1401,1361,7,main.privateMinReceivedCheck.out[70] -1402,1362,7,main.privateMinReceivedCheck.out[71] -1403,1363,7,main.privateMinReceivedCheck.out[72] -1404,1364,7,main.privateMinReceivedCheck.out[73] -1405,1365,7,main.privateMinReceivedCheck.out[74] -1406,1366,7,main.privateMinReceivedCheck.out[75] -1407,1367,7,main.privateMinReceivedCheck.out[76] -1408,1368,7,main.privateMinReceivedCheck.out[77] -1409,1369,7,main.privateMinReceivedCheck.out[78] -1410,1370,7,main.privateMinReceivedCheck.out[79] -1411,1371,7,main.privateMinReceivedCheck.out[80] -1412,1372,7,main.privateMinReceivedCheck.out[81] -1413,1373,7,main.privateMinReceivedCheck.out[82] -1414,1374,7,main.privateMinReceivedCheck.out[83] -1415,1375,7,main.privateMinReceivedCheck.out[84] -1416,1376,7,main.privateMinReceivedCheck.out[85] -1417,1377,7,main.privateMinReceivedCheck.out[86] -1418,1378,7,main.privateMinReceivedCheck.out[87] -1419,1379,7,main.privateMinReceivedCheck.out[88] -1420,1380,7,main.privateMinReceivedCheck.out[89] -1421,1381,7,main.privateMinReceivedCheck.out[90] -1422,1382,7,main.privateMinReceivedCheck.out[91] -1423,1383,7,main.privateMinReceivedCheck.out[92] -1424,1384,7,main.privateMinReceivedCheck.out[93] -1425,1385,7,main.privateMinReceivedCheck.out[94] -1426,1386,7,main.privateMinReceivedCheck.out[95] -1427,1387,7,main.privateMinReceivedCheck.out[96] -1428,1388,7,main.privateMinReceivedCheck.out[97] -1429,1389,7,main.privateMinReceivedCheck.out[98] -1430,1390,7,main.privateMinReceivedCheck.out[99] -1431,1391,7,main.privateMinReceivedCheck.out[100] -1432,1392,7,main.privateMinReceivedCheck.out[101] -1433,1393,7,main.privateMinReceivedCheck.out[102] -1434,1394,7,main.privateMinReceivedCheck.out[103] -1435,1395,7,main.privateMinReceivedCheck.out[104] -1436,1396,7,main.privateMinReceivedCheck.out[105] -1437,1397,7,main.privateMinReceivedCheck.out[106] -1438,1398,7,main.privateMinReceivedCheck.out[107] -1439,1399,7,main.privateMinReceivedCheck.out[108] -1440,1400,7,main.privateMinReceivedCheck.out[109] -1441,1401,7,main.privateMinReceivedCheck.out[110] -1442,1402,7,main.privateMinReceivedCheck.out[111] -1443,1403,7,main.privateMinReceivedCheck.out[112] -1444,1404,7,main.privateMinReceivedCheck.out[113] -1445,1405,7,main.privateMinReceivedCheck.out[114] -1446,1406,7,main.privateMinReceivedCheck.out[115] -1447,1407,7,main.privateMinReceivedCheck.out[116] -1448,1408,7,main.privateMinReceivedCheck.out[117] -1449,1409,7,main.privateMinReceivedCheck.out[118] -1450,1410,7,main.privateMinReceivedCheck.out[119] -1451,1411,7,main.privateMinReceivedCheck.out[120] -1452,1412,7,main.privateMinReceivedCheck.out[121] -1453,1413,7,main.privateMinReceivedCheck.out[122] -1454,1414,7,main.privateMinReceivedCheck.out[123] -1455,1415,7,main.privateMinReceivedCheck.out[124] -1456,1416,7,main.privateMinReceivedCheck.out[125] -1457,1417,7,main.privateMinReceivedCheck.out[126] -1458,1418,7,main.privateMinReceivedCheck.out[127] -1459,1419,7,main.privateMinReceivedCheck.out[128] -1460,1420,7,main.privateMinReceivedCheck.out[129] -1461,1421,7,main.privateMinReceivedCheck.out[130] -1462,1422,7,main.privateMinReceivedCheck.out[131] -1463,1423,7,main.privateMinReceivedCheck.out[132] -1464,1424,7,main.privateMinReceivedCheck.out[133] -1465,1425,7,main.privateMinReceivedCheck.out[134] -1466,1426,7,main.privateMinReceivedCheck.out[135] -1467,1427,7,main.privateMinReceivedCheck.out[136] -1468,1428,7,main.privateMinReceivedCheck.out[137] -1469,1429,7,main.privateMinReceivedCheck.out[138] -1470,1430,7,main.privateMinReceivedCheck.out[139] -1471,1431,7,main.privateMinReceivedCheck.out[140] -1472,1432,7,main.privateMinReceivedCheck.out[141] -1473,1433,7,main.privateMinReceivedCheck.out[142] -1474,1434,7,main.privateMinReceivedCheck.out[143] -1475,1435,7,main.privateMinReceivedCheck.out[144] -1476,1436,7,main.privateMinReceivedCheck.out[145] -1477,1437,7,main.privateMinReceivedCheck.out[146] -1478,1438,7,main.privateMinReceivedCheck.out[147] -1479,1439,7,main.privateMinReceivedCheck.out[148] -1480,1440,7,main.privateMinReceivedCheck.out[149] -1481,1441,7,main.privateMinReceivedCheck.out[150] -1482,1442,7,main.privateMinReceivedCheck.out[151] -1483,1443,7,main.privateMinReceivedCheck.out[152] -1484,1444,7,main.privateMinReceivedCheck.out[153] -1485,1445,7,main.privateMinReceivedCheck.out[154] -1486,1446,7,main.privateMinReceivedCheck.out[155] -1487,1447,7,main.privateMinReceivedCheck.out[156] -1488,1448,7,main.privateMinReceivedCheck.out[157] -1489,1449,7,main.privateMinReceivedCheck.out[158] -1490,1450,7,main.privateMinReceivedCheck.out[159] -1491,1451,7,main.privateMinReceivedCheck.out[160] -1492,1452,7,main.privateMinReceivedCheck.out[161] -1493,1453,7,main.privateMinReceivedCheck.out[162] -1494,1454,7,main.privateMinReceivedCheck.out[163] -1495,1455,7,main.privateMinReceivedCheck.out[164] -1496,1456,7,main.privateMinReceivedCheck.out[165] -1497,1457,7,main.privateMinReceivedCheck.out[166] -1498,1458,7,main.privateMinReceivedCheck.out[167] -1499,1459,7,main.privateMinReceivedCheck.out[168] -1500,1460,7,main.privateMinReceivedCheck.out[169] -1501,1461,7,main.privateMinReceivedCheck.out[170] -1502,1462,7,main.privateMinReceivedCheck.out[171] -1503,1463,7,main.privateMinReceivedCheck.out[172] -1504,1464,7,main.privateMinReceivedCheck.out[173] -1505,1465,7,main.privateMinReceivedCheck.out[174] -1506,1466,7,main.privateMinReceivedCheck.out[175] -1507,1467,7,main.privateMinReceivedCheck.out[176] -1508,1468,7,main.privateMinReceivedCheck.out[177] -1509,1469,7,main.privateMinReceivedCheck.out[178] -1510,1470,7,main.privateMinReceivedCheck.out[179] -1511,1471,7,main.privateMinReceivedCheck.out[180] -1512,1472,7,main.privateMinReceivedCheck.out[181] -1513,1473,7,main.privateMinReceivedCheck.out[182] -1514,1474,7,main.privateMinReceivedCheck.out[183] -1515,1475,7,main.privateMinReceivedCheck.out[184] -1516,1476,7,main.privateMinReceivedCheck.out[185] -1517,1477,7,main.privateMinReceivedCheck.out[186] -1518,1478,7,main.privateMinReceivedCheck.out[187] -1519,1479,7,main.privateMinReceivedCheck.out[188] -1520,1480,7,main.privateMinReceivedCheck.out[189] -1521,1481,7,main.privateMinReceivedCheck.out[190] -1522,1482,7,main.privateMinReceivedCheck.out[191] -1523,1483,7,main.privateMinReceivedCheck.out[192] -1524,1484,7,main.privateMinReceivedCheck.out[193] -1525,1485,7,main.privateMinReceivedCheck.out[194] -1526,1486,7,main.privateMinReceivedCheck.out[195] -1527,1487,7,main.privateMinReceivedCheck.out[196] -1528,1488,7,main.privateMinReceivedCheck.out[197] -1529,1489,7,main.privateMinReceivedCheck.out[198] -1530,1490,7,main.privateMinReceivedCheck.out[199] -1531,1491,7,main.privateMinReceivedCheck.out[200] -1532,1492,7,main.privateMinReceivedCheck.out[201] -1533,1493,7,main.privateMinReceivedCheck.out[202] -1534,1494,7,main.privateMinReceivedCheck.out[203] -1535,1495,7,main.privateMinReceivedCheck.out[204] -1536,1496,7,main.privateMinReceivedCheck.out[205] -1537,1497,7,main.privateMinReceivedCheck.out[206] -1538,1498,7,main.privateMinReceivedCheck.out[207] -1539,1499,7,main.privateMinReceivedCheck.out[208] -1540,1500,7,main.privateMinReceivedCheck.out[209] -1541,1501,7,main.privateMinReceivedCheck.out[210] -1542,1502,7,main.privateMinReceivedCheck.out[211] -1543,1503,7,main.privateMinReceivedCheck.out[212] -1544,1504,7,main.privateMinReceivedCheck.out[213] -1545,1505,7,main.privateMinReceivedCheck.out[214] -1546,1506,7,main.privateMinReceivedCheck.out[215] -1547,1507,7,main.privateMinReceivedCheck.out[216] -1548,1508,7,main.privateMinReceivedCheck.out[217] -1549,1509,7,main.privateMinReceivedCheck.out[218] -1550,1510,7,main.privateMinReceivedCheck.out[219] -1551,1511,7,main.privateMinReceivedCheck.out[220] -1552,1512,7,main.privateMinReceivedCheck.out[221] -1553,1513,7,main.privateMinReceivedCheck.out[222] -1554,1514,7,main.privateMinReceivedCheck.out[223] -1555,1515,7,main.privateMinReceivedCheck.out[224] -1556,1516,7,main.privateMinReceivedCheck.out[225] -1557,1517,7,main.privateMinReceivedCheck.out[226] -1558,1518,7,main.privateMinReceivedCheck.out[227] -1559,1519,7,main.privateMinReceivedCheck.out[228] -1560,1520,7,main.privateMinReceivedCheck.out[229] -1561,1521,7,main.privateMinReceivedCheck.out[230] -1562,1522,7,main.privateMinReceivedCheck.out[231] -1563,1523,7,main.privateMinReceivedCheck.out[232] -1564,1524,7,main.privateMinReceivedCheck.out[233] -1565,1525,7,main.privateMinReceivedCheck.out[234] -1566,1526,7,main.privateMinReceivedCheck.out[235] -1567,1527,7,main.privateMinReceivedCheck.out[236] -1568,1528,7,main.privateMinReceivedCheck.out[237] -1569,1529,7,main.privateMinReceivedCheck.out[238] -1570,1530,7,main.privateMinReceivedCheck.out[239] -1571,1531,7,main.privateMinReceivedCheck.out[240] -1572,1532,7,main.privateMinReceivedCheck.out[241] -1573,1533,7,main.privateMinReceivedCheck.out[242] -1574,1534,7,main.privateMinReceivedCheck.out[243] -1575,1535,7,main.privateMinReceivedCheck.out[244] -1576,1536,7,main.privateMinReceivedCheck.out[245] -1577,1537,7,main.privateMinReceivedCheck.out[246] -1578,1538,7,main.privateMinReceivedCheck.out[247] -1579,1539,7,main.privateMinReceivedCheck.out[248] -1580,1540,7,main.privateMinReceivedCheck.out[249] -1581,1541,7,main.privateMinReceivedCheck.out[250] -1582,1542,7,main.privateMinReceivedCheck.out[251] -1583,-1,7,main.privateMinReceivedCheck.in +282,274,5,main.division.baseQuotient +283,275,2,main.division.isRemainderZero.out +284,-1,2,main.division.isRemainderZero.in +285,276,2,main.division.isRemainderZero.inv +286,-1,2,main.division.isZero.out +287,-1,2,main.division.isZero.in +288,277,2,main.division.isZero.inv +289,-1,4,main.division.lessThan.out +290,-1,4,main.division.lessThan.in[0] +291,-1,4,main.division.lessThan.in[1] +292,278,3,main.division.lessThan.n2b.out[0] +293,279,3,main.division.lessThan.n2b.out[1] +294,280,3,main.division.lessThan.n2b.out[2] +295,281,3,main.division.lessThan.n2b.out[3] +296,282,3,main.division.lessThan.n2b.out[4] +297,283,3,main.division.lessThan.n2b.out[5] +298,284,3,main.division.lessThan.n2b.out[6] +299,285,3,main.division.lessThan.n2b.out[7] +300,286,3,main.division.lessThan.n2b.out[8] +301,287,3,main.division.lessThan.n2b.out[9] +302,288,3,main.division.lessThan.n2b.out[10] +303,289,3,main.division.lessThan.n2b.out[11] +304,290,3,main.division.lessThan.n2b.out[12] +305,291,3,main.division.lessThan.n2b.out[13] +306,292,3,main.division.lessThan.n2b.out[14] +307,293,3,main.division.lessThan.n2b.out[15] +308,294,3,main.division.lessThan.n2b.out[16] +309,295,3,main.division.lessThan.n2b.out[17] +310,296,3,main.division.lessThan.n2b.out[18] +311,297,3,main.division.lessThan.n2b.out[19] +312,298,3,main.division.lessThan.n2b.out[20] +313,299,3,main.division.lessThan.n2b.out[21] +314,300,3,main.division.lessThan.n2b.out[22] +315,301,3,main.division.lessThan.n2b.out[23] +316,302,3,main.division.lessThan.n2b.out[24] +317,303,3,main.division.lessThan.n2b.out[25] +318,304,3,main.division.lessThan.n2b.out[26] +319,305,3,main.division.lessThan.n2b.out[27] +320,306,3,main.division.lessThan.n2b.out[28] +321,307,3,main.division.lessThan.n2b.out[29] +322,308,3,main.division.lessThan.n2b.out[30] +323,309,3,main.division.lessThan.n2b.out[31] +324,310,3,main.division.lessThan.n2b.out[32] +325,311,3,main.division.lessThan.n2b.out[33] +326,312,3,main.division.lessThan.n2b.out[34] +327,313,3,main.division.lessThan.n2b.out[35] +328,314,3,main.division.lessThan.n2b.out[36] +329,315,3,main.division.lessThan.n2b.out[37] +330,316,3,main.division.lessThan.n2b.out[38] +331,317,3,main.division.lessThan.n2b.out[39] +332,318,3,main.division.lessThan.n2b.out[40] +333,319,3,main.division.lessThan.n2b.out[41] +334,320,3,main.division.lessThan.n2b.out[42] +335,321,3,main.division.lessThan.n2b.out[43] +336,322,3,main.division.lessThan.n2b.out[44] +337,323,3,main.division.lessThan.n2b.out[45] +338,324,3,main.division.lessThan.n2b.out[46] +339,325,3,main.division.lessThan.n2b.out[47] +340,326,3,main.division.lessThan.n2b.out[48] +341,327,3,main.division.lessThan.n2b.out[49] +342,328,3,main.division.lessThan.n2b.out[50] +343,329,3,main.division.lessThan.n2b.out[51] +344,330,3,main.division.lessThan.n2b.out[52] +345,331,3,main.division.lessThan.n2b.out[53] +346,332,3,main.division.lessThan.n2b.out[54] +347,333,3,main.division.lessThan.n2b.out[55] +348,334,3,main.division.lessThan.n2b.out[56] +349,335,3,main.division.lessThan.n2b.out[57] +350,336,3,main.division.lessThan.n2b.out[58] +351,337,3,main.division.lessThan.n2b.out[59] +352,338,3,main.division.lessThan.n2b.out[60] +353,339,3,main.division.lessThan.n2b.out[61] +354,340,3,main.division.lessThan.n2b.out[62] +355,341,3,main.division.lessThan.n2b.out[63] +356,342,3,main.division.lessThan.n2b.out[64] +357,343,3,main.division.lessThan.n2b.out[65] +358,344,3,main.division.lessThan.n2b.out[66] +359,345,3,main.division.lessThan.n2b.out[67] +360,346,3,main.division.lessThan.n2b.out[68] +361,347,3,main.division.lessThan.n2b.out[69] +362,348,3,main.division.lessThan.n2b.out[70] +363,349,3,main.division.lessThan.n2b.out[71] +364,350,3,main.division.lessThan.n2b.out[72] +365,351,3,main.division.lessThan.n2b.out[73] +366,352,3,main.division.lessThan.n2b.out[74] +367,353,3,main.division.lessThan.n2b.out[75] +368,354,3,main.division.lessThan.n2b.out[76] +369,355,3,main.division.lessThan.n2b.out[77] +370,356,3,main.division.lessThan.n2b.out[78] +371,357,3,main.division.lessThan.n2b.out[79] +372,358,3,main.division.lessThan.n2b.out[80] +373,359,3,main.division.lessThan.n2b.out[81] +374,360,3,main.division.lessThan.n2b.out[82] +375,361,3,main.division.lessThan.n2b.out[83] +376,362,3,main.division.lessThan.n2b.out[84] +377,363,3,main.division.lessThan.n2b.out[85] +378,364,3,main.division.lessThan.n2b.out[86] +379,365,3,main.division.lessThan.n2b.out[87] +380,366,3,main.division.lessThan.n2b.out[88] +381,367,3,main.division.lessThan.n2b.out[89] +382,368,3,main.division.lessThan.n2b.out[90] +383,369,3,main.division.lessThan.n2b.out[91] +384,370,3,main.division.lessThan.n2b.out[92] +385,371,3,main.division.lessThan.n2b.out[93] +386,372,3,main.division.lessThan.n2b.out[94] +387,373,3,main.division.lessThan.n2b.out[95] +388,374,3,main.division.lessThan.n2b.out[96] +389,375,3,main.division.lessThan.n2b.out[97] +390,376,3,main.division.lessThan.n2b.out[98] +391,377,3,main.division.lessThan.n2b.out[99] +392,378,3,main.division.lessThan.n2b.out[100] +393,379,3,main.division.lessThan.n2b.out[101] +394,380,3,main.division.lessThan.n2b.out[102] +395,381,3,main.division.lessThan.n2b.out[103] +396,382,3,main.division.lessThan.n2b.out[104] +397,383,3,main.division.lessThan.n2b.out[105] +398,384,3,main.division.lessThan.n2b.out[106] +399,385,3,main.division.lessThan.n2b.out[107] +400,386,3,main.division.lessThan.n2b.out[108] +401,387,3,main.division.lessThan.n2b.out[109] +402,388,3,main.division.lessThan.n2b.out[110] +403,389,3,main.division.lessThan.n2b.out[111] +404,390,3,main.division.lessThan.n2b.out[112] +405,391,3,main.division.lessThan.n2b.out[113] +406,392,3,main.division.lessThan.n2b.out[114] +407,393,3,main.division.lessThan.n2b.out[115] +408,394,3,main.division.lessThan.n2b.out[116] +409,395,3,main.division.lessThan.n2b.out[117] +410,396,3,main.division.lessThan.n2b.out[118] +411,397,3,main.division.lessThan.n2b.out[119] +412,398,3,main.division.lessThan.n2b.out[120] +413,399,3,main.division.lessThan.n2b.out[121] +414,400,3,main.division.lessThan.n2b.out[122] +415,401,3,main.division.lessThan.n2b.out[123] +416,402,3,main.division.lessThan.n2b.out[124] +417,403,3,main.division.lessThan.n2b.out[125] +418,404,3,main.division.lessThan.n2b.out[126] +419,405,3,main.division.lessThan.n2b.out[127] +420,406,3,main.division.lessThan.n2b.out[128] +421,407,3,main.division.lessThan.n2b.out[129] +422,408,3,main.division.lessThan.n2b.out[130] +423,409,3,main.division.lessThan.n2b.out[131] +424,410,3,main.division.lessThan.n2b.out[132] +425,411,3,main.division.lessThan.n2b.out[133] +426,412,3,main.division.lessThan.n2b.out[134] +427,413,3,main.division.lessThan.n2b.out[135] +428,414,3,main.division.lessThan.n2b.out[136] +429,415,3,main.division.lessThan.n2b.out[137] +430,416,3,main.division.lessThan.n2b.out[138] +431,417,3,main.division.lessThan.n2b.out[139] +432,418,3,main.division.lessThan.n2b.out[140] +433,419,3,main.division.lessThan.n2b.out[141] +434,420,3,main.division.lessThan.n2b.out[142] +435,421,3,main.division.lessThan.n2b.out[143] +436,422,3,main.division.lessThan.n2b.out[144] +437,423,3,main.division.lessThan.n2b.out[145] +438,424,3,main.division.lessThan.n2b.out[146] +439,425,3,main.division.lessThan.n2b.out[147] +440,426,3,main.division.lessThan.n2b.out[148] +441,427,3,main.division.lessThan.n2b.out[149] +442,428,3,main.division.lessThan.n2b.out[150] +443,429,3,main.division.lessThan.n2b.out[151] +444,430,3,main.division.lessThan.n2b.out[152] +445,431,3,main.division.lessThan.n2b.out[153] +446,432,3,main.division.lessThan.n2b.out[154] +447,433,3,main.division.lessThan.n2b.out[155] +448,434,3,main.division.lessThan.n2b.out[156] +449,435,3,main.division.lessThan.n2b.out[157] +450,436,3,main.division.lessThan.n2b.out[158] +451,437,3,main.division.lessThan.n2b.out[159] +452,438,3,main.division.lessThan.n2b.out[160] +453,439,3,main.division.lessThan.n2b.out[161] +454,440,3,main.division.lessThan.n2b.out[162] +455,441,3,main.division.lessThan.n2b.out[163] +456,442,3,main.division.lessThan.n2b.out[164] +457,443,3,main.division.lessThan.n2b.out[165] +458,444,3,main.division.lessThan.n2b.out[166] +459,445,3,main.division.lessThan.n2b.out[167] +460,446,3,main.division.lessThan.n2b.out[168] +461,447,3,main.division.lessThan.n2b.out[169] +462,448,3,main.division.lessThan.n2b.out[170] +463,449,3,main.division.lessThan.n2b.out[171] +464,450,3,main.division.lessThan.n2b.out[172] +465,451,3,main.division.lessThan.n2b.out[173] +466,452,3,main.division.lessThan.n2b.out[174] +467,453,3,main.division.lessThan.n2b.out[175] +468,454,3,main.division.lessThan.n2b.out[176] +469,455,3,main.division.lessThan.n2b.out[177] +470,456,3,main.division.lessThan.n2b.out[178] +471,457,3,main.division.lessThan.n2b.out[179] +472,458,3,main.division.lessThan.n2b.out[180] +473,459,3,main.division.lessThan.n2b.out[181] +474,460,3,main.division.lessThan.n2b.out[182] +475,461,3,main.division.lessThan.n2b.out[183] +476,462,3,main.division.lessThan.n2b.out[184] +477,463,3,main.division.lessThan.n2b.out[185] +478,464,3,main.division.lessThan.n2b.out[186] +479,465,3,main.division.lessThan.n2b.out[187] +480,466,3,main.division.lessThan.n2b.out[188] +481,467,3,main.division.lessThan.n2b.out[189] +482,468,3,main.division.lessThan.n2b.out[190] +483,469,3,main.division.lessThan.n2b.out[191] +484,470,3,main.division.lessThan.n2b.out[192] +485,471,3,main.division.lessThan.n2b.out[193] +486,472,3,main.division.lessThan.n2b.out[194] +487,473,3,main.division.lessThan.n2b.out[195] +488,474,3,main.division.lessThan.n2b.out[196] +489,475,3,main.division.lessThan.n2b.out[197] +490,476,3,main.division.lessThan.n2b.out[198] +491,477,3,main.division.lessThan.n2b.out[199] +492,478,3,main.division.lessThan.n2b.out[200] +493,479,3,main.division.lessThan.n2b.out[201] +494,480,3,main.division.lessThan.n2b.out[202] +495,481,3,main.division.lessThan.n2b.out[203] +496,482,3,main.division.lessThan.n2b.out[204] +497,483,3,main.division.lessThan.n2b.out[205] +498,484,3,main.division.lessThan.n2b.out[206] +499,485,3,main.division.lessThan.n2b.out[207] +500,486,3,main.division.lessThan.n2b.out[208] +501,487,3,main.division.lessThan.n2b.out[209] +502,488,3,main.division.lessThan.n2b.out[210] +503,489,3,main.division.lessThan.n2b.out[211] +504,490,3,main.division.lessThan.n2b.out[212] +505,491,3,main.division.lessThan.n2b.out[213] +506,492,3,main.division.lessThan.n2b.out[214] +507,493,3,main.division.lessThan.n2b.out[215] +508,494,3,main.division.lessThan.n2b.out[216] +509,495,3,main.division.lessThan.n2b.out[217] +510,496,3,main.division.lessThan.n2b.out[218] +511,497,3,main.division.lessThan.n2b.out[219] +512,498,3,main.division.lessThan.n2b.out[220] +513,499,3,main.division.lessThan.n2b.out[221] +514,500,3,main.division.lessThan.n2b.out[222] +515,501,3,main.division.lessThan.n2b.out[223] +516,502,3,main.division.lessThan.n2b.out[224] +517,503,3,main.division.lessThan.n2b.out[225] +518,504,3,main.division.lessThan.n2b.out[226] +519,505,3,main.division.lessThan.n2b.out[227] +520,506,3,main.division.lessThan.n2b.out[228] +521,507,3,main.division.lessThan.n2b.out[229] +522,508,3,main.division.lessThan.n2b.out[230] +523,509,3,main.division.lessThan.n2b.out[231] +524,510,3,main.division.lessThan.n2b.out[232] +525,511,3,main.division.lessThan.n2b.out[233] +526,512,3,main.division.lessThan.n2b.out[234] +527,513,3,main.division.lessThan.n2b.out[235] +528,514,3,main.division.lessThan.n2b.out[236] +529,515,3,main.division.lessThan.n2b.out[237] +530,516,3,main.division.lessThan.n2b.out[238] +531,517,3,main.division.lessThan.n2b.out[239] +532,518,3,main.division.lessThan.n2b.out[240] +533,519,3,main.division.lessThan.n2b.out[241] +534,520,3,main.division.lessThan.n2b.out[242] +535,521,3,main.division.lessThan.n2b.out[243] +536,522,3,main.division.lessThan.n2b.out[244] +537,523,3,main.division.lessThan.n2b.out[245] +538,524,3,main.division.lessThan.n2b.out[246] +539,525,3,main.division.lessThan.n2b.out[247] +540,526,3,main.division.lessThan.n2b.out[248] +541,527,3,main.division.lessThan.n2b.out[249] +542,528,3,main.division.lessThan.n2b.out[250] +543,529,3,main.division.lessThan.n2b.out[251] +544,530,3,main.division.lessThan.n2b.out[252] +545,531,3,main.division.lessThan.n2b.in +546,-1,1,main.muxInput.out +547,-1,1,main.muxInput.c[0] +548,-1,1,main.muxInput.c[1] +549,-1,1,main.muxInput.s +550,-1,0,main.muxInput.mux.out[0] +551,-1,0,main.muxInput.mux.c[0][0] +552,-1,0,main.muxInput.mux.c[0][1] +553,-1,0,main.muxInput.mux.s +554,-1,1,main.muxOutput.out +555,-1,1,main.muxOutput.c[0] +556,-1,1,main.muxOutput.c[1] +557,-1,1,main.muxOutput.s +558,-1,0,main.muxOutput.mux.out[0] +559,-1,0,main.muxOutput.mux.c[0][0] +560,-1,0,main.muxOutput.mux.c[0][1] +561,-1,0,main.muxOutput.mux.s +562,-1,6,main.positiveBalance1.out +563,-1,6,main.positiveBalance1.in[0] +564,-1,6,main.positiveBalance1.in[1] +565,-1,4,main.positiveBalance1.lt.out +566,-1,4,main.positiveBalance1.lt.in[0] +567,532,4,main.positiveBalance1.lt.in[1] +568,533,3,main.positiveBalance1.lt.n2b.out[0] +569,534,3,main.positiveBalance1.lt.n2b.out[1] +570,535,3,main.positiveBalance1.lt.n2b.out[2] +571,536,3,main.positiveBalance1.lt.n2b.out[3] +572,537,3,main.positiveBalance1.lt.n2b.out[4] +573,538,3,main.positiveBalance1.lt.n2b.out[5] +574,539,3,main.positiveBalance1.lt.n2b.out[6] +575,540,3,main.positiveBalance1.lt.n2b.out[7] +576,541,3,main.positiveBalance1.lt.n2b.out[8] +577,542,3,main.positiveBalance1.lt.n2b.out[9] +578,543,3,main.positiveBalance1.lt.n2b.out[10] +579,544,3,main.positiveBalance1.lt.n2b.out[11] +580,545,3,main.positiveBalance1.lt.n2b.out[12] +581,546,3,main.positiveBalance1.lt.n2b.out[13] +582,547,3,main.positiveBalance1.lt.n2b.out[14] +583,548,3,main.positiveBalance1.lt.n2b.out[15] +584,549,3,main.positiveBalance1.lt.n2b.out[16] +585,550,3,main.positiveBalance1.lt.n2b.out[17] +586,551,3,main.positiveBalance1.lt.n2b.out[18] +587,552,3,main.positiveBalance1.lt.n2b.out[19] +588,553,3,main.positiveBalance1.lt.n2b.out[20] +589,554,3,main.positiveBalance1.lt.n2b.out[21] +590,555,3,main.positiveBalance1.lt.n2b.out[22] +591,556,3,main.positiveBalance1.lt.n2b.out[23] +592,557,3,main.positiveBalance1.lt.n2b.out[24] +593,558,3,main.positiveBalance1.lt.n2b.out[25] +594,559,3,main.positiveBalance1.lt.n2b.out[26] +595,560,3,main.positiveBalance1.lt.n2b.out[27] +596,561,3,main.positiveBalance1.lt.n2b.out[28] +597,562,3,main.positiveBalance1.lt.n2b.out[29] +598,563,3,main.positiveBalance1.lt.n2b.out[30] +599,564,3,main.positiveBalance1.lt.n2b.out[31] +600,565,3,main.positiveBalance1.lt.n2b.out[32] +601,566,3,main.positiveBalance1.lt.n2b.out[33] +602,567,3,main.positiveBalance1.lt.n2b.out[34] +603,568,3,main.positiveBalance1.lt.n2b.out[35] +604,569,3,main.positiveBalance1.lt.n2b.out[36] +605,570,3,main.positiveBalance1.lt.n2b.out[37] +606,571,3,main.positiveBalance1.lt.n2b.out[38] +607,572,3,main.positiveBalance1.lt.n2b.out[39] +608,573,3,main.positiveBalance1.lt.n2b.out[40] +609,574,3,main.positiveBalance1.lt.n2b.out[41] +610,575,3,main.positiveBalance1.lt.n2b.out[42] +611,576,3,main.positiveBalance1.lt.n2b.out[43] +612,577,3,main.positiveBalance1.lt.n2b.out[44] +613,578,3,main.positiveBalance1.lt.n2b.out[45] +614,579,3,main.positiveBalance1.lt.n2b.out[46] +615,580,3,main.positiveBalance1.lt.n2b.out[47] +616,581,3,main.positiveBalance1.lt.n2b.out[48] +617,582,3,main.positiveBalance1.lt.n2b.out[49] +618,583,3,main.positiveBalance1.lt.n2b.out[50] +619,584,3,main.positiveBalance1.lt.n2b.out[51] +620,585,3,main.positiveBalance1.lt.n2b.out[52] +621,586,3,main.positiveBalance1.lt.n2b.out[53] +622,587,3,main.positiveBalance1.lt.n2b.out[54] +623,588,3,main.positiveBalance1.lt.n2b.out[55] +624,589,3,main.positiveBalance1.lt.n2b.out[56] +625,590,3,main.positiveBalance1.lt.n2b.out[57] +626,591,3,main.positiveBalance1.lt.n2b.out[58] +627,592,3,main.positiveBalance1.lt.n2b.out[59] +628,593,3,main.positiveBalance1.lt.n2b.out[60] +629,594,3,main.positiveBalance1.lt.n2b.out[61] +630,595,3,main.positiveBalance1.lt.n2b.out[62] +631,596,3,main.positiveBalance1.lt.n2b.out[63] +632,597,3,main.positiveBalance1.lt.n2b.out[64] +633,598,3,main.positiveBalance1.lt.n2b.out[65] +634,599,3,main.positiveBalance1.lt.n2b.out[66] +635,600,3,main.positiveBalance1.lt.n2b.out[67] +636,601,3,main.positiveBalance1.lt.n2b.out[68] +637,602,3,main.positiveBalance1.lt.n2b.out[69] +638,603,3,main.positiveBalance1.lt.n2b.out[70] +639,604,3,main.positiveBalance1.lt.n2b.out[71] +640,605,3,main.positiveBalance1.lt.n2b.out[72] +641,606,3,main.positiveBalance1.lt.n2b.out[73] +642,607,3,main.positiveBalance1.lt.n2b.out[74] +643,608,3,main.positiveBalance1.lt.n2b.out[75] +644,609,3,main.positiveBalance1.lt.n2b.out[76] +645,610,3,main.positiveBalance1.lt.n2b.out[77] +646,611,3,main.positiveBalance1.lt.n2b.out[78] +647,612,3,main.positiveBalance1.lt.n2b.out[79] +648,613,3,main.positiveBalance1.lt.n2b.out[80] +649,614,3,main.positiveBalance1.lt.n2b.out[81] +650,615,3,main.positiveBalance1.lt.n2b.out[82] +651,616,3,main.positiveBalance1.lt.n2b.out[83] +652,617,3,main.positiveBalance1.lt.n2b.out[84] +653,618,3,main.positiveBalance1.lt.n2b.out[85] +654,619,3,main.positiveBalance1.lt.n2b.out[86] +655,620,3,main.positiveBalance1.lt.n2b.out[87] +656,621,3,main.positiveBalance1.lt.n2b.out[88] +657,622,3,main.positiveBalance1.lt.n2b.out[89] +658,623,3,main.positiveBalance1.lt.n2b.out[90] +659,624,3,main.positiveBalance1.lt.n2b.out[91] +660,625,3,main.positiveBalance1.lt.n2b.out[92] +661,626,3,main.positiveBalance1.lt.n2b.out[93] +662,627,3,main.positiveBalance1.lt.n2b.out[94] +663,628,3,main.positiveBalance1.lt.n2b.out[95] +664,629,3,main.positiveBalance1.lt.n2b.out[96] +665,630,3,main.positiveBalance1.lt.n2b.out[97] +666,631,3,main.positiveBalance1.lt.n2b.out[98] +667,632,3,main.positiveBalance1.lt.n2b.out[99] +668,633,3,main.positiveBalance1.lt.n2b.out[100] +669,634,3,main.positiveBalance1.lt.n2b.out[101] +670,635,3,main.positiveBalance1.lt.n2b.out[102] +671,636,3,main.positiveBalance1.lt.n2b.out[103] +672,637,3,main.positiveBalance1.lt.n2b.out[104] +673,638,3,main.positiveBalance1.lt.n2b.out[105] +674,639,3,main.positiveBalance1.lt.n2b.out[106] +675,640,3,main.positiveBalance1.lt.n2b.out[107] +676,641,3,main.positiveBalance1.lt.n2b.out[108] +677,642,3,main.positiveBalance1.lt.n2b.out[109] +678,643,3,main.positiveBalance1.lt.n2b.out[110] +679,644,3,main.positiveBalance1.lt.n2b.out[111] +680,645,3,main.positiveBalance1.lt.n2b.out[112] +681,646,3,main.positiveBalance1.lt.n2b.out[113] +682,647,3,main.positiveBalance1.lt.n2b.out[114] +683,648,3,main.positiveBalance1.lt.n2b.out[115] +684,649,3,main.positiveBalance1.lt.n2b.out[116] +685,650,3,main.positiveBalance1.lt.n2b.out[117] +686,651,3,main.positiveBalance1.lt.n2b.out[118] +687,652,3,main.positiveBalance1.lt.n2b.out[119] +688,653,3,main.positiveBalance1.lt.n2b.out[120] +689,654,3,main.positiveBalance1.lt.n2b.out[121] +690,655,3,main.positiveBalance1.lt.n2b.out[122] +691,656,3,main.positiveBalance1.lt.n2b.out[123] +692,657,3,main.positiveBalance1.lt.n2b.out[124] +693,658,3,main.positiveBalance1.lt.n2b.out[125] +694,659,3,main.positiveBalance1.lt.n2b.out[126] +695,660,3,main.positiveBalance1.lt.n2b.out[127] +696,661,3,main.positiveBalance1.lt.n2b.out[128] +697,662,3,main.positiveBalance1.lt.n2b.out[129] +698,663,3,main.positiveBalance1.lt.n2b.out[130] +699,664,3,main.positiveBalance1.lt.n2b.out[131] +700,665,3,main.positiveBalance1.lt.n2b.out[132] +701,666,3,main.positiveBalance1.lt.n2b.out[133] +702,667,3,main.positiveBalance1.lt.n2b.out[134] +703,668,3,main.positiveBalance1.lt.n2b.out[135] +704,669,3,main.positiveBalance1.lt.n2b.out[136] +705,670,3,main.positiveBalance1.lt.n2b.out[137] +706,671,3,main.positiveBalance1.lt.n2b.out[138] +707,672,3,main.positiveBalance1.lt.n2b.out[139] +708,673,3,main.positiveBalance1.lt.n2b.out[140] +709,674,3,main.positiveBalance1.lt.n2b.out[141] +710,675,3,main.positiveBalance1.lt.n2b.out[142] +711,676,3,main.positiveBalance1.lt.n2b.out[143] +712,677,3,main.positiveBalance1.lt.n2b.out[144] +713,678,3,main.positiveBalance1.lt.n2b.out[145] +714,679,3,main.positiveBalance1.lt.n2b.out[146] +715,680,3,main.positiveBalance1.lt.n2b.out[147] +716,681,3,main.positiveBalance1.lt.n2b.out[148] +717,682,3,main.positiveBalance1.lt.n2b.out[149] +718,683,3,main.positiveBalance1.lt.n2b.out[150] +719,684,3,main.positiveBalance1.lt.n2b.out[151] +720,685,3,main.positiveBalance1.lt.n2b.out[152] +721,686,3,main.positiveBalance1.lt.n2b.out[153] +722,687,3,main.positiveBalance1.lt.n2b.out[154] +723,688,3,main.positiveBalance1.lt.n2b.out[155] +724,689,3,main.positiveBalance1.lt.n2b.out[156] +725,690,3,main.positiveBalance1.lt.n2b.out[157] +726,691,3,main.positiveBalance1.lt.n2b.out[158] +727,692,3,main.positiveBalance1.lt.n2b.out[159] +728,693,3,main.positiveBalance1.lt.n2b.out[160] +729,694,3,main.positiveBalance1.lt.n2b.out[161] +730,695,3,main.positiveBalance1.lt.n2b.out[162] +731,696,3,main.positiveBalance1.lt.n2b.out[163] +732,697,3,main.positiveBalance1.lt.n2b.out[164] +733,698,3,main.positiveBalance1.lt.n2b.out[165] +734,699,3,main.positiveBalance1.lt.n2b.out[166] +735,700,3,main.positiveBalance1.lt.n2b.out[167] +736,701,3,main.positiveBalance1.lt.n2b.out[168] +737,702,3,main.positiveBalance1.lt.n2b.out[169] +738,703,3,main.positiveBalance1.lt.n2b.out[170] +739,704,3,main.positiveBalance1.lt.n2b.out[171] +740,705,3,main.positiveBalance1.lt.n2b.out[172] +741,706,3,main.positiveBalance1.lt.n2b.out[173] +742,707,3,main.positiveBalance1.lt.n2b.out[174] +743,708,3,main.positiveBalance1.lt.n2b.out[175] +744,709,3,main.positiveBalance1.lt.n2b.out[176] +745,710,3,main.positiveBalance1.lt.n2b.out[177] +746,711,3,main.positiveBalance1.lt.n2b.out[178] +747,712,3,main.positiveBalance1.lt.n2b.out[179] +748,713,3,main.positiveBalance1.lt.n2b.out[180] +749,714,3,main.positiveBalance1.lt.n2b.out[181] +750,715,3,main.positiveBalance1.lt.n2b.out[182] +751,716,3,main.positiveBalance1.lt.n2b.out[183] +752,717,3,main.positiveBalance1.lt.n2b.out[184] +753,718,3,main.positiveBalance1.lt.n2b.out[185] +754,719,3,main.positiveBalance1.lt.n2b.out[186] +755,720,3,main.positiveBalance1.lt.n2b.out[187] +756,721,3,main.positiveBalance1.lt.n2b.out[188] +757,722,3,main.positiveBalance1.lt.n2b.out[189] +758,723,3,main.positiveBalance1.lt.n2b.out[190] +759,724,3,main.positiveBalance1.lt.n2b.out[191] +760,725,3,main.positiveBalance1.lt.n2b.out[192] +761,726,3,main.positiveBalance1.lt.n2b.out[193] +762,727,3,main.positiveBalance1.lt.n2b.out[194] +763,728,3,main.positiveBalance1.lt.n2b.out[195] +764,729,3,main.positiveBalance1.lt.n2b.out[196] +765,730,3,main.positiveBalance1.lt.n2b.out[197] +766,731,3,main.positiveBalance1.lt.n2b.out[198] +767,732,3,main.positiveBalance1.lt.n2b.out[199] +768,733,3,main.positiveBalance1.lt.n2b.out[200] +769,734,3,main.positiveBalance1.lt.n2b.out[201] +770,735,3,main.positiveBalance1.lt.n2b.out[202] +771,736,3,main.positiveBalance1.lt.n2b.out[203] +772,737,3,main.positiveBalance1.lt.n2b.out[204] +773,738,3,main.positiveBalance1.lt.n2b.out[205] +774,739,3,main.positiveBalance1.lt.n2b.out[206] +775,740,3,main.positiveBalance1.lt.n2b.out[207] +776,741,3,main.positiveBalance1.lt.n2b.out[208] +777,742,3,main.positiveBalance1.lt.n2b.out[209] +778,743,3,main.positiveBalance1.lt.n2b.out[210] +779,744,3,main.positiveBalance1.lt.n2b.out[211] +780,745,3,main.positiveBalance1.lt.n2b.out[212] +781,746,3,main.positiveBalance1.lt.n2b.out[213] +782,747,3,main.positiveBalance1.lt.n2b.out[214] +783,748,3,main.positiveBalance1.lt.n2b.out[215] +784,749,3,main.positiveBalance1.lt.n2b.out[216] +785,750,3,main.positiveBalance1.lt.n2b.out[217] +786,751,3,main.positiveBalance1.lt.n2b.out[218] +787,752,3,main.positiveBalance1.lt.n2b.out[219] +788,753,3,main.positiveBalance1.lt.n2b.out[220] +789,754,3,main.positiveBalance1.lt.n2b.out[221] +790,755,3,main.positiveBalance1.lt.n2b.out[222] +791,756,3,main.positiveBalance1.lt.n2b.out[223] +792,757,3,main.positiveBalance1.lt.n2b.out[224] +793,758,3,main.positiveBalance1.lt.n2b.out[225] +794,759,3,main.positiveBalance1.lt.n2b.out[226] +795,760,3,main.positiveBalance1.lt.n2b.out[227] +796,761,3,main.positiveBalance1.lt.n2b.out[228] +797,762,3,main.positiveBalance1.lt.n2b.out[229] +798,763,3,main.positiveBalance1.lt.n2b.out[230] +799,764,3,main.positiveBalance1.lt.n2b.out[231] +800,765,3,main.positiveBalance1.lt.n2b.out[232] +801,766,3,main.positiveBalance1.lt.n2b.out[233] +802,767,3,main.positiveBalance1.lt.n2b.out[234] +803,768,3,main.positiveBalance1.lt.n2b.out[235] +804,769,3,main.positiveBalance1.lt.n2b.out[236] +805,770,3,main.positiveBalance1.lt.n2b.out[237] +806,771,3,main.positiveBalance1.lt.n2b.out[238] +807,772,3,main.positiveBalance1.lt.n2b.out[239] +808,773,3,main.positiveBalance1.lt.n2b.out[240] +809,774,3,main.positiveBalance1.lt.n2b.out[241] +810,775,3,main.positiveBalance1.lt.n2b.out[242] +811,776,3,main.positiveBalance1.lt.n2b.out[243] +812,777,3,main.positiveBalance1.lt.n2b.out[244] +813,778,3,main.positiveBalance1.lt.n2b.out[245] +814,779,3,main.positiveBalance1.lt.n2b.out[246] +815,780,3,main.positiveBalance1.lt.n2b.out[247] +816,781,3,main.positiveBalance1.lt.n2b.out[248] +817,782,3,main.positiveBalance1.lt.n2b.out[249] +818,783,3,main.positiveBalance1.lt.n2b.out[250] +819,784,3,main.positiveBalance1.lt.n2b.out[251] +820,785,3,main.positiveBalance1.lt.n2b.out[252] +821,786,3,main.positiveBalance1.lt.n2b.in +822,-1,6,main.positiveBalance2.out +823,-1,6,main.positiveBalance2.in[0] +824,-1,6,main.positiveBalance2.in[1] +825,-1,4,main.positiveBalance2.lt.out +826,-1,4,main.positiveBalance2.lt.in[0] +827,787,4,main.positiveBalance2.lt.in[1] +828,788,3,main.positiveBalance2.lt.n2b.out[0] +829,789,3,main.positiveBalance2.lt.n2b.out[1] +830,790,3,main.positiveBalance2.lt.n2b.out[2] +831,791,3,main.positiveBalance2.lt.n2b.out[3] +832,792,3,main.positiveBalance2.lt.n2b.out[4] +833,793,3,main.positiveBalance2.lt.n2b.out[5] +834,794,3,main.positiveBalance2.lt.n2b.out[6] +835,795,3,main.positiveBalance2.lt.n2b.out[7] +836,796,3,main.positiveBalance2.lt.n2b.out[8] +837,797,3,main.positiveBalance2.lt.n2b.out[9] +838,798,3,main.positiveBalance2.lt.n2b.out[10] +839,799,3,main.positiveBalance2.lt.n2b.out[11] +840,800,3,main.positiveBalance2.lt.n2b.out[12] +841,801,3,main.positiveBalance2.lt.n2b.out[13] +842,802,3,main.positiveBalance2.lt.n2b.out[14] +843,803,3,main.positiveBalance2.lt.n2b.out[15] +844,804,3,main.positiveBalance2.lt.n2b.out[16] +845,805,3,main.positiveBalance2.lt.n2b.out[17] +846,806,3,main.positiveBalance2.lt.n2b.out[18] +847,807,3,main.positiveBalance2.lt.n2b.out[19] +848,808,3,main.positiveBalance2.lt.n2b.out[20] +849,809,3,main.positiveBalance2.lt.n2b.out[21] +850,810,3,main.positiveBalance2.lt.n2b.out[22] +851,811,3,main.positiveBalance2.lt.n2b.out[23] +852,812,3,main.positiveBalance2.lt.n2b.out[24] +853,813,3,main.positiveBalance2.lt.n2b.out[25] +854,814,3,main.positiveBalance2.lt.n2b.out[26] +855,815,3,main.positiveBalance2.lt.n2b.out[27] +856,816,3,main.positiveBalance2.lt.n2b.out[28] +857,817,3,main.positiveBalance2.lt.n2b.out[29] +858,818,3,main.positiveBalance2.lt.n2b.out[30] +859,819,3,main.positiveBalance2.lt.n2b.out[31] +860,820,3,main.positiveBalance2.lt.n2b.out[32] +861,821,3,main.positiveBalance2.lt.n2b.out[33] +862,822,3,main.positiveBalance2.lt.n2b.out[34] +863,823,3,main.positiveBalance2.lt.n2b.out[35] +864,824,3,main.positiveBalance2.lt.n2b.out[36] +865,825,3,main.positiveBalance2.lt.n2b.out[37] +866,826,3,main.positiveBalance2.lt.n2b.out[38] +867,827,3,main.positiveBalance2.lt.n2b.out[39] +868,828,3,main.positiveBalance2.lt.n2b.out[40] +869,829,3,main.positiveBalance2.lt.n2b.out[41] +870,830,3,main.positiveBalance2.lt.n2b.out[42] +871,831,3,main.positiveBalance2.lt.n2b.out[43] +872,832,3,main.positiveBalance2.lt.n2b.out[44] +873,833,3,main.positiveBalance2.lt.n2b.out[45] +874,834,3,main.positiveBalance2.lt.n2b.out[46] +875,835,3,main.positiveBalance2.lt.n2b.out[47] +876,836,3,main.positiveBalance2.lt.n2b.out[48] +877,837,3,main.positiveBalance2.lt.n2b.out[49] +878,838,3,main.positiveBalance2.lt.n2b.out[50] +879,839,3,main.positiveBalance2.lt.n2b.out[51] +880,840,3,main.positiveBalance2.lt.n2b.out[52] +881,841,3,main.positiveBalance2.lt.n2b.out[53] +882,842,3,main.positiveBalance2.lt.n2b.out[54] +883,843,3,main.positiveBalance2.lt.n2b.out[55] +884,844,3,main.positiveBalance2.lt.n2b.out[56] +885,845,3,main.positiveBalance2.lt.n2b.out[57] +886,846,3,main.positiveBalance2.lt.n2b.out[58] +887,847,3,main.positiveBalance2.lt.n2b.out[59] +888,848,3,main.positiveBalance2.lt.n2b.out[60] +889,849,3,main.positiveBalance2.lt.n2b.out[61] +890,850,3,main.positiveBalance2.lt.n2b.out[62] +891,851,3,main.positiveBalance2.lt.n2b.out[63] +892,852,3,main.positiveBalance2.lt.n2b.out[64] +893,853,3,main.positiveBalance2.lt.n2b.out[65] +894,854,3,main.positiveBalance2.lt.n2b.out[66] +895,855,3,main.positiveBalance2.lt.n2b.out[67] +896,856,3,main.positiveBalance2.lt.n2b.out[68] +897,857,3,main.positiveBalance2.lt.n2b.out[69] +898,858,3,main.positiveBalance2.lt.n2b.out[70] +899,859,3,main.positiveBalance2.lt.n2b.out[71] +900,860,3,main.positiveBalance2.lt.n2b.out[72] +901,861,3,main.positiveBalance2.lt.n2b.out[73] +902,862,3,main.positiveBalance2.lt.n2b.out[74] +903,863,3,main.positiveBalance2.lt.n2b.out[75] +904,864,3,main.positiveBalance2.lt.n2b.out[76] +905,865,3,main.positiveBalance2.lt.n2b.out[77] +906,866,3,main.positiveBalance2.lt.n2b.out[78] +907,867,3,main.positiveBalance2.lt.n2b.out[79] +908,868,3,main.positiveBalance2.lt.n2b.out[80] +909,869,3,main.positiveBalance2.lt.n2b.out[81] +910,870,3,main.positiveBalance2.lt.n2b.out[82] +911,871,3,main.positiveBalance2.lt.n2b.out[83] +912,872,3,main.positiveBalance2.lt.n2b.out[84] +913,873,3,main.positiveBalance2.lt.n2b.out[85] +914,874,3,main.positiveBalance2.lt.n2b.out[86] +915,875,3,main.positiveBalance2.lt.n2b.out[87] +916,876,3,main.positiveBalance2.lt.n2b.out[88] +917,877,3,main.positiveBalance2.lt.n2b.out[89] +918,878,3,main.positiveBalance2.lt.n2b.out[90] +919,879,3,main.positiveBalance2.lt.n2b.out[91] +920,880,3,main.positiveBalance2.lt.n2b.out[92] +921,881,3,main.positiveBalance2.lt.n2b.out[93] +922,882,3,main.positiveBalance2.lt.n2b.out[94] +923,883,3,main.positiveBalance2.lt.n2b.out[95] +924,884,3,main.positiveBalance2.lt.n2b.out[96] +925,885,3,main.positiveBalance2.lt.n2b.out[97] +926,886,3,main.positiveBalance2.lt.n2b.out[98] +927,887,3,main.positiveBalance2.lt.n2b.out[99] +928,888,3,main.positiveBalance2.lt.n2b.out[100] +929,889,3,main.positiveBalance2.lt.n2b.out[101] +930,890,3,main.positiveBalance2.lt.n2b.out[102] +931,891,3,main.positiveBalance2.lt.n2b.out[103] +932,892,3,main.positiveBalance2.lt.n2b.out[104] +933,893,3,main.positiveBalance2.lt.n2b.out[105] +934,894,3,main.positiveBalance2.lt.n2b.out[106] +935,895,3,main.positiveBalance2.lt.n2b.out[107] +936,896,3,main.positiveBalance2.lt.n2b.out[108] +937,897,3,main.positiveBalance2.lt.n2b.out[109] +938,898,3,main.positiveBalance2.lt.n2b.out[110] +939,899,3,main.positiveBalance2.lt.n2b.out[111] +940,900,3,main.positiveBalance2.lt.n2b.out[112] +941,901,3,main.positiveBalance2.lt.n2b.out[113] +942,902,3,main.positiveBalance2.lt.n2b.out[114] +943,903,3,main.positiveBalance2.lt.n2b.out[115] +944,904,3,main.positiveBalance2.lt.n2b.out[116] +945,905,3,main.positiveBalance2.lt.n2b.out[117] +946,906,3,main.positiveBalance2.lt.n2b.out[118] +947,907,3,main.positiveBalance2.lt.n2b.out[119] +948,908,3,main.positiveBalance2.lt.n2b.out[120] +949,909,3,main.positiveBalance2.lt.n2b.out[121] +950,910,3,main.positiveBalance2.lt.n2b.out[122] +951,911,3,main.positiveBalance2.lt.n2b.out[123] +952,912,3,main.positiveBalance2.lt.n2b.out[124] +953,913,3,main.positiveBalance2.lt.n2b.out[125] +954,914,3,main.positiveBalance2.lt.n2b.out[126] +955,915,3,main.positiveBalance2.lt.n2b.out[127] +956,916,3,main.positiveBalance2.lt.n2b.out[128] +957,917,3,main.positiveBalance2.lt.n2b.out[129] +958,918,3,main.positiveBalance2.lt.n2b.out[130] +959,919,3,main.positiveBalance2.lt.n2b.out[131] +960,920,3,main.positiveBalance2.lt.n2b.out[132] +961,921,3,main.positiveBalance2.lt.n2b.out[133] +962,922,3,main.positiveBalance2.lt.n2b.out[134] +963,923,3,main.positiveBalance2.lt.n2b.out[135] +964,924,3,main.positiveBalance2.lt.n2b.out[136] +965,925,3,main.positiveBalance2.lt.n2b.out[137] +966,926,3,main.positiveBalance2.lt.n2b.out[138] +967,927,3,main.positiveBalance2.lt.n2b.out[139] +968,928,3,main.positiveBalance2.lt.n2b.out[140] +969,929,3,main.positiveBalance2.lt.n2b.out[141] +970,930,3,main.positiveBalance2.lt.n2b.out[142] +971,931,3,main.positiveBalance2.lt.n2b.out[143] +972,932,3,main.positiveBalance2.lt.n2b.out[144] +973,933,3,main.positiveBalance2.lt.n2b.out[145] +974,934,3,main.positiveBalance2.lt.n2b.out[146] +975,935,3,main.positiveBalance2.lt.n2b.out[147] +976,936,3,main.positiveBalance2.lt.n2b.out[148] +977,937,3,main.positiveBalance2.lt.n2b.out[149] +978,938,3,main.positiveBalance2.lt.n2b.out[150] +979,939,3,main.positiveBalance2.lt.n2b.out[151] +980,940,3,main.positiveBalance2.lt.n2b.out[152] +981,941,3,main.positiveBalance2.lt.n2b.out[153] +982,942,3,main.positiveBalance2.lt.n2b.out[154] +983,943,3,main.positiveBalance2.lt.n2b.out[155] +984,944,3,main.positiveBalance2.lt.n2b.out[156] +985,945,3,main.positiveBalance2.lt.n2b.out[157] +986,946,3,main.positiveBalance2.lt.n2b.out[158] +987,947,3,main.positiveBalance2.lt.n2b.out[159] +988,948,3,main.positiveBalance2.lt.n2b.out[160] +989,949,3,main.positiveBalance2.lt.n2b.out[161] +990,950,3,main.positiveBalance2.lt.n2b.out[162] +991,951,3,main.positiveBalance2.lt.n2b.out[163] +992,952,3,main.positiveBalance2.lt.n2b.out[164] +993,953,3,main.positiveBalance2.lt.n2b.out[165] +994,954,3,main.positiveBalance2.lt.n2b.out[166] +995,955,3,main.positiveBalance2.lt.n2b.out[167] +996,956,3,main.positiveBalance2.lt.n2b.out[168] +997,957,3,main.positiveBalance2.lt.n2b.out[169] +998,958,3,main.positiveBalance2.lt.n2b.out[170] +999,959,3,main.positiveBalance2.lt.n2b.out[171] +1000,960,3,main.positiveBalance2.lt.n2b.out[172] +1001,961,3,main.positiveBalance2.lt.n2b.out[173] +1002,962,3,main.positiveBalance2.lt.n2b.out[174] +1003,963,3,main.positiveBalance2.lt.n2b.out[175] +1004,964,3,main.positiveBalance2.lt.n2b.out[176] +1005,965,3,main.positiveBalance2.lt.n2b.out[177] +1006,966,3,main.positiveBalance2.lt.n2b.out[178] +1007,967,3,main.positiveBalance2.lt.n2b.out[179] +1008,968,3,main.positiveBalance2.lt.n2b.out[180] +1009,969,3,main.positiveBalance2.lt.n2b.out[181] +1010,970,3,main.positiveBalance2.lt.n2b.out[182] +1011,971,3,main.positiveBalance2.lt.n2b.out[183] +1012,972,3,main.positiveBalance2.lt.n2b.out[184] +1013,973,3,main.positiveBalance2.lt.n2b.out[185] +1014,974,3,main.positiveBalance2.lt.n2b.out[186] +1015,975,3,main.positiveBalance2.lt.n2b.out[187] +1016,976,3,main.positiveBalance2.lt.n2b.out[188] +1017,977,3,main.positiveBalance2.lt.n2b.out[189] +1018,978,3,main.positiveBalance2.lt.n2b.out[190] +1019,979,3,main.positiveBalance2.lt.n2b.out[191] +1020,980,3,main.positiveBalance2.lt.n2b.out[192] +1021,981,3,main.positiveBalance2.lt.n2b.out[193] +1022,982,3,main.positiveBalance2.lt.n2b.out[194] +1023,983,3,main.positiveBalance2.lt.n2b.out[195] +1024,984,3,main.positiveBalance2.lt.n2b.out[196] +1025,985,3,main.positiveBalance2.lt.n2b.out[197] +1026,986,3,main.positiveBalance2.lt.n2b.out[198] +1027,987,3,main.positiveBalance2.lt.n2b.out[199] +1028,988,3,main.positiveBalance2.lt.n2b.out[200] +1029,989,3,main.positiveBalance2.lt.n2b.out[201] +1030,990,3,main.positiveBalance2.lt.n2b.out[202] +1031,991,3,main.positiveBalance2.lt.n2b.out[203] +1032,992,3,main.positiveBalance2.lt.n2b.out[204] +1033,993,3,main.positiveBalance2.lt.n2b.out[205] +1034,994,3,main.positiveBalance2.lt.n2b.out[206] +1035,995,3,main.positiveBalance2.lt.n2b.out[207] +1036,996,3,main.positiveBalance2.lt.n2b.out[208] +1037,997,3,main.positiveBalance2.lt.n2b.out[209] +1038,998,3,main.positiveBalance2.lt.n2b.out[210] +1039,999,3,main.positiveBalance2.lt.n2b.out[211] +1040,1000,3,main.positiveBalance2.lt.n2b.out[212] +1041,1001,3,main.positiveBalance2.lt.n2b.out[213] +1042,1002,3,main.positiveBalance2.lt.n2b.out[214] +1043,1003,3,main.positiveBalance2.lt.n2b.out[215] +1044,1004,3,main.positiveBalance2.lt.n2b.out[216] +1045,1005,3,main.positiveBalance2.lt.n2b.out[217] +1046,1006,3,main.positiveBalance2.lt.n2b.out[218] +1047,1007,3,main.positiveBalance2.lt.n2b.out[219] +1048,1008,3,main.positiveBalance2.lt.n2b.out[220] +1049,1009,3,main.positiveBalance2.lt.n2b.out[221] +1050,1010,3,main.positiveBalance2.lt.n2b.out[222] +1051,1011,3,main.positiveBalance2.lt.n2b.out[223] +1052,1012,3,main.positiveBalance2.lt.n2b.out[224] +1053,1013,3,main.positiveBalance2.lt.n2b.out[225] +1054,1014,3,main.positiveBalance2.lt.n2b.out[226] +1055,1015,3,main.positiveBalance2.lt.n2b.out[227] +1056,1016,3,main.positiveBalance2.lt.n2b.out[228] +1057,1017,3,main.positiveBalance2.lt.n2b.out[229] +1058,1018,3,main.positiveBalance2.lt.n2b.out[230] +1059,1019,3,main.positiveBalance2.lt.n2b.out[231] +1060,1020,3,main.positiveBalance2.lt.n2b.out[232] +1061,1021,3,main.positiveBalance2.lt.n2b.out[233] +1062,1022,3,main.positiveBalance2.lt.n2b.out[234] +1063,1023,3,main.positiveBalance2.lt.n2b.out[235] +1064,1024,3,main.positiveBalance2.lt.n2b.out[236] +1065,1025,3,main.positiveBalance2.lt.n2b.out[237] +1066,1026,3,main.positiveBalance2.lt.n2b.out[238] +1067,1027,3,main.positiveBalance2.lt.n2b.out[239] +1068,1028,3,main.positiveBalance2.lt.n2b.out[240] +1069,1029,3,main.positiveBalance2.lt.n2b.out[241] +1070,1030,3,main.positiveBalance2.lt.n2b.out[242] +1071,1031,3,main.positiveBalance2.lt.n2b.out[243] +1072,1032,3,main.positiveBalance2.lt.n2b.out[244] +1073,1033,3,main.positiveBalance2.lt.n2b.out[245] +1074,1034,3,main.positiveBalance2.lt.n2b.out[246] +1075,1035,3,main.positiveBalance2.lt.n2b.out[247] +1076,1036,3,main.positiveBalance2.lt.n2b.out[248] +1077,1037,3,main.positiveBalance2.lt.n2b.out[249] +1078,1038,3,main.positiveBalance2.lt.n2b.out[250] +1079,1039,3,main.positiveBalance2.lt.n2b.out[251] +1080,1040,3,main.positiveBalance2.lt.n2b.out[252] +1081,1041,3,main.positiveBalance2.lt.n2b.in +1082,1042,7,main.privateInputAmountCheck.out[0] +1083,1043,7,main.privateInputAmountCheck.out[1] +1084,1044,7,main.privateInputAmountCheck.out[2] +1085,1045,7,main.privateInputAmountCheck.out[3] +1086,1046,7,main.privateInputAmountCheck.out[4] +1087,1047,7,main.privateInputAmountCheck.out[5] +1088,1048,7,main.privateInputAmountCheck.out[6] +1089,1049,7,main.privateInputAmountCheck.out[7] +1090,1050,7,main.privateInputAmountCheck.out[8] +1091,1051,7,main.privateInputAmountCheck.out[9] +1092,1052,7,main.privateInputAmountCheck.out[10] +1093,1053,7,main.privateInputAmountCheck.out[11] +1094,1054,7,main.privateInputAmountCheck.out[12] +1095,1055,7,main.privateInputAmountCheck.out[13] +1096,1056,7,main.privateInputAmountCheck.out[14] +1097,1057,7,main.privateInputAmountCheck.out[15] +1098,1058,7,main.privateInputAmountCheck.out[16] +1099,1059,7,main.privateInputAmountCheck.out[17] +1100,1060,7,main.privateInputAmountCheck.out[18] +1101,1061,7,main.privateInputAmountCheck.out[19] +1102,1062,7,main.privateInputAmountCheck.out[20] +1103,1063,7,main.privateInputAmountCheck.out[21] +1104,1064,7,main.privateInputAmountCheck.out[22] +1105,1065,7,main.privateInputAmountCheck.out[23] +1106,1066,7,main.privateInputAmountCheck.out[24] +1107,1067,7,main.privateInputAmountCheck.out[25] +1108,1068,7,main.privateInputAmountCheck.out[26] +1109,1069,7,main.privateInputAmountCheck.out[27] +1110,1070,7,main.privateInputAmountCheck.out[28] +1111,1071,7,main.privateInputAmountCheck.out[29] +1112,1072,7,main.privateInputAmountCheck.out[30] +1113,1073,7,main.privateInputAmountCheck.out[31] +1114,1074,7,main.privateInputAmountCheck.out[32] +1115,1075,7,main.privateInputAmountCheck.out[33] +1116,1076,7,main.privateInputAmountCheck.out[34] +1117,1077,7,main.privateInputAmountCheck.out[35] +1118,1078,7,main.privateInputAmountCheck.out[36] +1119,1079,7,main.privateInputAmountCheck.out[37] +1120,1080,7,main.privateInputAmountCheck.out[38] +1121,1081,7,main.privateInputAmountCheck.out[39] +1122,1082,7,main.privateInputAmountCheck.out[40] +1123,1083,7,main.privateInputAmountCheck.out[41] +1124,1084,7,main.privateInputAmountCheck.out[42] +1125,1085,7,main.privateInputAmountCheck.out[43] +1126,1086,7,main.privateInputAmountCheck.out[44] +1127,1087,7,main.privateInputAmountCheck.out[45] +1128,1088,7,main.privateInputAmountCheck.out[46] +1129,1089,7,main.privateInputAmountCheck.out[47] +1130,1090,7,main.privateInputAmountCheck.out[48] +1131,1091,7,main.privateInputAmountCheck.out[49] +1132,1092,7,main.privateInputAmountCheck.out[50] +1133,1093,7,main.privateInputAmountCheck.out[51] +1134,1094,7,main.privateInputAmountCheck.out[52] +1135,1095,7,main.privateInputAmountCheck.out[53] +1136,1096,7,main.privateInputAmountCheck.out[54] +1137,1097,7,main.privateInputAmountCheck.out[55] +1138,1098,7,main.privateInputAmountCheck.out[56] +1139,1099,7,main.privateInputAmountCheck.out[57] +1140,1100,7,main.privateInputAmountCheck.out[58] +1141,1101,7,main.privateInputAmountCheck.out[59] +1142,1102,7,main.privateInputAmountCheck.out[60] +1143,1103,7,main.privateInputAmountCheck.out[61] +1144,1104,7,main.privateInputAmountCheck.out[62] +1145,1105,7,main.privateInputAmountCheck.out[63] +1146,1106,7,main.privateInputAmountCheck.out[64] +1147,1107,7,main.privateInputAmountCheck.out[65] +1148,1108,7,main.privateInputAmountCheck.out[66] +1149,1109,7,main.privateInputAmountCheck.out[67] +1150,1110,7,main.privateInputAmountCheck.out[68] +1151,1111,7,main.privateInputAmountCheck.out[69] +1152,1112,7,main.privateInputAmountCheck.out[70] +1153,1113,7,main.privateInputAmountCheck.out[71] +1154,1114,7,main.privateInputAmountCheck.out[72] +1155,1115,7,main.privateInputAmountCheck.out[73] +1156,1116,7,main.privateInputAmountCheck.out[74] +1157,1117,7,main.privateInputAmountCheck.out[75] +1158,1118,7,main.privateInputAmountCheck.out[76] +1159,1119,7,main.privateInputAmountCheck.out[77] +1160,1120,7,main.privateInputAmountCheck.out[78] +1161,1121,7,main.privateInputAmountCheck.out[79] +1162,1122,7,main.privateInputAmountCheck.out[80] +1163,1123,7,main.privateInputAmountCheck.out[81] +1164,1124,7,main.privateInputAmountCheck.out[82] +1165,1125,7,main.privateInputAmountCheck.out[83] +1166,1126,7,main.privateInputAmountCheck.out[84] +1167,1127,7,main.privateInputAmountCheck.out[85] +1168,1128,7,main.privateInputAmountCheck.out[86] +1169,1129,7,main.privateInputAmountCheck.out[87] +1170,1130,7,main.privateInputAmountCheck.out[88] +1171,1131,7,main.privateInputAmountCheck.out[89] +1172,1132,7,main.privateInputAmountCheck.out[90] +1173,1133,7,main.privateInputAmountCheck.out[91] +1174,1134,7,main.privateInputAmountCheck.out[92] +1175,1135,7,main.privateInputAmountCheck.out[93] +1176,1136,7,main.privateInputAmountCheck.out[94] +1177,1137,7,main.privateInputAmountCheck.out[95] +1178,1138,7,main.privateInputAmountCheck.out[96] +1179,1139,7,main.privateInputAmountCheck.out[97] +1180,1140,7,main.privateInputAmountCheck.out[98] +1181,1141,7,main.privateInputAmountCheck.out[99] +1182,1142,7,main.privateInputAmountCheck.out[100] +1183,1143,7,main.privateInputAmountCheck.out[101] +1184,1144,7,main.privateInputAmountCheck.out[102] +1185,1145,7,main.privateInputAmountCheck.out[103] +1186,1146,7,main.privateInputAmountCheck.out[104] +1187,1147,7,main.privateInputAmountCheck.out[105] +1188,1148,7,main.privateInputAmountCheck.out[106] +1189,1149,7,main.privateInputAmountCheck.out[107] +1190,1150,7,main.privateInputAmountCheck.out[108] +1191,1151,7,main.privateInputAmountCheck.out[109] +1192,1152,7,main.privateInputAmountCheck.out[110] +1193,1153,7,main.privateInputAmountCheck.out[111] +1194,1154,7,main.privateInputAmountCheck.out[112] +1195,1155,7,main.privateInputAmountCheck.out[113] +1196,1156,7,main.privateInputAmountCheck.out[114] +1197,1157,7,main.privateInputAmountCheck.out[115] +1198,1158,7,main.privateInputAmountCheck.out[116] +1199,1159,7,main.privateInputAmountCheck.out[117] +1200,1160,7,main.privateInputAmountCheck.out[118] +1201,1161,7,main.privateInputAmountCheck.out[119] +1202,1162,7,main.privateInputAmountCheck.out[120] +1203,1163,7,main.privateInputAmountCheck.out[121] +1204,1164,7,main.privateInputAmountCheck.out[122] +1205,1165,7,main.privateInputAmountCheck.out[123] +1206,1166,7,main.privateInputAmountCheck.out[124] +1207,1167,7,main.privateInputAmountCheck.out[125] +1208,1168,7,main.privateInputAmountCheck.out[126] +1209,1169,7,main.privateInputAmountCheck.out[127] +1210,1170,7,main.privateInputAmountCheck.out[128] +1211,1171,7,main.privateInputAmountCheck.out[129] +1212,1172,7,main.privateInputAmountCheck.out[130] +1213,1173,7,main.privateInputAmountCheck.out[131] +1214,1174,7,main.privateInputAmountCheck.out[132] +1215,1175,7,main.privateInputAmountCheck.out[133] +1216,1176,7,main.privateInputAmountCheck.out[134] +1217,1177,7,main.privateInputAmountCheck.out[135] +1218,1178,7,main.privateInputAmountCheck.out[136] +1219,1179,7,main.privateInputAmountCheck.out[137] +1220,1180,7,main.privateInputAmountCheck.out[138] +1221,1181,7,main.privateInputAmountCheck.out[139] +1222,1182,7,main.privateInputAmountCheck.out[140] +1223,1183,7,main.privateInputAmountCheck.out[141] +1224,1184,7,main.privateInputAmountCheck.out[142] +1225,1185,7,main.privateInputAmountCheck.out[143] +1226,1186,7,main.privateInputAmountCheck.out[144] +1227,1187,7,main.privateInputAmountCheck.out[145] +1228,1188,7,main.privateInputAmountCheck.out[146] +1229,1189,7,main.privateInputAmountCheck.out[147] +1230,1190,7,main.privateInputAmountCheck.out[148] +1231,1191,7,main.privateInputAmountCheck.out[149] +1232,1192,7,main.privateInputAmountCheck.out[150] +1233,1193,7,main.privateInputAmountCheck.out[151] +1234,1194,7,main.privateInputAmountCheck.out[152] +1235,1195,7,main.privateInputAmountCheck.out[153] +1236,1196,7,main.privateInputAmountCheck.out[154] +1237,1197,7,main.privateInputAmountCheck.out[155] +1238,1198,7,main.privateInputAmountCheck.out[156] +1239,1199,7,main.privateInputAmountCheck.out[157] +1240,1200,7,main.privateInputAmountCheck.out[158] +1241,1201,7,main.privateInputAmountCheck.out[159] +1242,1202,7,main.privateInputAmountCheck.out[160] +1243,1203,7,main.privateInputAmountCheck.out[161] +1244,1204,7,main.privateInputAmountCheck.out[162] +1245,1205,7,main.privateInputAmountCheck.out[163] +1246,1206,7,main.privateInputAmountCheck.out[164] +1247,1207,7,main.privateInputAmountCheck.out[165] +1248,1208,7,main.privateInputAmountCheck.out[166] +1249,1209,7,main.privateInputAmountCheck.out[167] +1250,1210,7,main.privateInputAmountCheck.out[168] +1251,1211,7,main.privateInputAmountCheck.out[169] +1252,1212,7,main.privateInputAmountCheck.out[170] +1253,1213,7,main.privateInputAmountCheck.out[171] +1254,1214,7,main.privateInputAmountCheck.out[172] +1255,1215,7,main.privateInputAmountCheck.out[173] +1256,1216,7,main.privateInputAmountCheck.out[174] +1257,1217,7,main.privateInputAmountCheck.out[175] +1258,1218,7,main.privateInputAmountCheck.out[176] +1259,1219,7,main.privateInputAmountCheck.out[177] +1260,1220,7,main.privateInputAmountCheck.out[178] +1261,1221,7,main.privateInputAmountCheck.out[179] +1262,1222,7,main.privateInputAmountCheck.out[180] +1263,1223,7,main.privateInputAmountCheck.out[181] +1264,1224,7,main.privateInputAmountCheck.out[182] +1265,1225,7,main.privateInputAmountCheck.out[183] +1266,1226,7,main.privateInputAmountCheck.out[184] +1267,1227,7,main.privateInputAmountCheck.out[185] +1268,1228,7,main.privateInputAmountCheck.out[186] +1269,1229,7,main.privateInputAmountCheck.out[187] +1270,1230,7,main.privateInputAmountCheck.out[188] +1271,1231,7,main.privateInputAmountCheck.out[189] +1272,1232,7,main.privateInputAmountCheck.out[190] +1273,1233,7,main.privateInputAmountCheck.out[191] +1274,1234,7,main.privateInputAmountCheck.out[192] +1275,1235,7,main.privateInputAmountCheck.out[193] +1276,1236,7,main.privateInputAmountCheck.out[194] +1277,1237,7,main.privateInputAmountCheck.out[195] +1278,1238,7,main.privateInputAmountCheck.out[196] +1279,1239,7,main.privateInputAmountCheck.out[197] +1280,1240,7,main.privateInputAmountCheck.out[198] +1281,1241,7,main.privateInputAmountCheck.out[199] +1282,1242,7,main.privateInputAmountCheck.out[200] +1283,1243,7,main.privateInputAmountCheck.out[201] +1284,1244,7,main.privateInputAmountCheck.out[202] +1285,1245,7,main.privateInputAmountCheck.out[203] +1286,1246,7,main.privateInputAmountCheck.out[204] +1287,1247,7,main.privateInputAmountCheck.out[205] +1288,1248,7,main.privateInputAmountCheck.out[206] +1289,1249,7,main.privateInputAmountCheck.out[207] +1290,1250,7,main.privateInputAmountCheck.out[208] +1291,1251,7,main.privateInputAmountCheck.out[209] +1292,1252,7,main.privateInputAmountCheck.out[210] +1293,1253,7,main.privateInputAmountCheck.out[211] +1294,1254,7,main.privateInputAmountCheck.out[212] +1295,1255,7,main.privateInputAmountCheck.out[213] +1296,1256,7,main.privateInputAmountCheck.out[214] +1297,1257,7,main.privateInputAmountCheck.out[215] +1298,1258,7,main.privateInputAmountCheck.out[216] +1299,1259,7,main.privateInputAmountCheck.out[217] +1300,1260,7,main.privateInputAmountCheck.out[218] +1301,1261,7,main.privateInputAmountCheck.out[219] +1302,1262,7,main.privateInputAmountCheck.out[220] +1303,1263,7,main.privateInputAmountCheck.out[221] +1304,1264,7,main.privateInputAmountCheck.out[222] +1305,1265,7,main.privateInputAmountCheck.out[223] +1306,1266,7,main.privateInputAmountCheck.out[224] +1307,1267,7,main.privateInputAmountCheck.out[225] +1308,1268,7,main.privateInputAmountCheck.out[226] +1309,1269,7,main.privateInputAmountCheck.out[227] +1310,1270,7,main.privateInputAmountCheck.out[228] +1311,1271,7,main.privateInputAmountCheck.out[229] +1312,1272,7,main.privateInputAmountCheck.out[230] +1313,1273,7,main.privateInputAmountCheck.out[231] +1314,1274,7,main.privateInputAmountCheck.out[232] +1315,1275,7,main.privateInputAmountCheck.out[233] +1316,1276,7,main.privateInputAmountCheck.out[234] +1317,1277,7,main.privateInputAmountCheck.out[235] +1318,1278,7,main.privateInputAmountCheck.out[236] +1319,1279,7,main.privateInputAmountCheck.out[237] +1320,1280,7,main.privateInputAmountCheck.out[238] +1321,1281,7,main.privateInputAmountCheck.out[239] +1322,1282,7,main.privateInputAmountCheck.out[240] +1323,1283,7,main.privateInputAmountCheck.out[241] +1324,1284,7,main.privateInputAmountCheck.out[242] +1325,1285,7,main.privateInputAmountCheck.out[243] +1326,1286,7,main.privateInputAmountCheck.out[244] +1327,1287,7,main.privateInputAmountCheck.out[245] +1328,1288,7,main.privateInputAmountCheck.out[246] +1329,1289,7,main.privateInputAmountCheck.out[247] +1330,1290,7,main.privateInputAmountCheck.out[248] +1331,1291,7,main.privateInputAmountCheck.out[249] +1332,1292,7,main.privateInputAmountCheck.out[250] +1333,1293,7,main.privateInputAmountCheck.out[251] +1334,-1,7,main.privateInputAmountCheck.in +1335,1294,7,main.privateMinReceivedCheck.out[0] +1336,1295,7,main.privateMinReceivedCheck.out[1] +1337,1296,7,main.privateMinReceivedCheck.out[2] +1338,1297,7,main.privateMinReceivedCheck.out[3] +1339,1298,7,main.privateMinReceivedCheck.out[4] +1340,1299,7,main.privateMinReceivedCheck.out[5] +1341,1300,7,main.privateMinReceivedCheck.out[6] +1342,1301,7,main.privateMinReceivedCheck.out[7] +1343,1302,7,main.privateMinReceivedCheck.out[8] +1344,1303,7,main.privateMinReceivedCheck.out[9] +1345,1304,7,main.privateMinReceivedCheck.out[10] +1346,1305,7,main.privateMinReceivedCheck.out[11] +1347,1306,7,main.privateMinReceivedCheck.out[12] +1348,1307,7,main.privateMinReceivedCheck.out[13] +1349,1308,7,main.privateMinReceivedCheck.out[14] +1350,1309,7,main.privateMinReceivedCheck.out[15] +1351,1310,7,main.privateMinReceivedCheck.out[16] +1352,1311,7,main.privateMinReceivedCheck.out[17] +1353,1312,7,main.privateMinReceivedCheck.out[18] +1354,1313,7,main.privateMinReceivedCheck.out[19] +1355,1314,7,main.privateMinReceivedCheck.out[20] +1356,1315,7,main.privateMinReceivedCheck.out[21] +1357,1316,7,main.privateMinReceivedCheck.out[22] +1358,1317,7,main.privateMinReceivedCheck.out[23] +1359,1318,7,main.privateMinReceivedCheck.out[24] +1360,1319,7,main.privateMinReceivedCheck.out[25] +1361,1320,7,main.privateMinReceivedCheck.out[26] +1362,1321,7,main.privateMinReceivedCheck.out[27] +1363,1322,7,main.privateMinReceivedCheck.out[28] +1364,1323,7,main.privateMinReceivedCheck.out[29] +1365,1324,7,main.privateMinReceivedCheck.out[30] +1366,1325,7,main.privateMinReceivedCheck.out[31] +1367,1326,7,main.privateMinReceivedCheck.out[32] +1368,1327,7,main.privateMinReceivedCheck.out[33] +1369,1328,7,main.privateMinReceivedCheck.out[34] +1370,1329,7,main.privateMinReceivedCheck.out[35] +1371,1330,7,main.privateMinReceivedCheck.out[36] +1372,1331,7,main.privateMinReceivedCheck.out[37] +1373,1332,7,main.privateMinReceivedCheck.out[38] +1374,1333,7,main.privateMinReceivedCheck.out[39] +1375,1334,7,main.privateMinReceivedCheck.out[40] +1376,1335,7,main.privateMinReceivedCheck.out[41] +1377,1336,7,main.privateMinReceivedCheck.out[42] +1378,1337,7,main.privateMinReceivedCheck.out[43] +1379,1338,7,main.privateMinReceivedCheck.out[44] +1380,1339,7,main.privateMinReceivedCheck.out[45] +1381,1340,7,main.privateMinReceivedCheck.out[46] +1382,1341,7,main.privateMinReceivedCheck.out[47] +1383,1342,7,main.privateMinReceivedCheck.out[48] +1384,1343,7,main.privateMinReceivedCheck.out[49] +1385,1344,7,main.privateMinReceivedCheck.out[50] +1386,1345,7,main.privateMinReceivedCheck.out[51] +1387,1346,7,main.privateMinReceivedCheck.out[52] +1388,1347,7,main.privateMinReceivedCheck.out[53] +1389,1348,7,main.privateMinReceivedCheck.out[54] +1390,1349,7,main.privateMinReceivedCheck.out[55] +1391,1350,7,main.privateMinReceivedCheck.out[56] +1392,1351,7,main.privateMinReceivedCheck.out[57] +1393,1352,7,main.privateMinReceivedCheck.out[58] +1394,1353,7,main.privateMinReceivedCheck.out[59] +1395,1354,7,main.privateMinReceivedCheck.out[60] +1396,1355,7,main.privateMinReceivedCheck.out[61] +1397,1356,7,main.privateMinReceivedCheck.out[62] +1398,1357,7,main.privateMinReceivedCheck.out[63] +1399,1358,7,main.privateMinReceivedCheck.out[64] +1400,1359,7,main.privateMinReceivedCheck.out[65] +1401,1360,7,main.privateMinReceivedCheck.out[66] +1402,1361,7,main.privateMinReceivedCheck.out[67] +1403,1362,7,main.privateMinReceivedCheck.out[68] +1404,1363,7,main.privateMinReceivedCheck.out[69] +1405,1364,7,main.privateMinReceivedCheck.out[70] +1406,1365,7,main.privateMinReceivedCheck.out[71] +1407,1366,7,main.privateMinReceivedCheck.out[72] +1408,1367,7,main.privateMinReceivedCheck.out[73] +1409,1368,7,main.privateMinReceivedCheck.out[74] +1410,1369,7,main.privateMinReceivedCheck.out[75] +1411,1370,7,main.privateMinReceivedCheck.out[76] +1412,1371,7,main.privateMinReceivedCheck.out[77] +1413,1372,7,main.privateMinReceivedCheck.out[78] +1414,1373,7,main.privateMinReceivedCheck.out[79] +1415,1374,7,main.privateMinReceivedCheck.out[80] +1416,1375,7,main.privateMinReceivedCheck.out[81] +1417,1376,7,main.privateMinReceivedCheck.out[82] +1418,1377,7,main.privateMinReceivedCheck.out[83] +1419,1378,7,main.privateMinReceivedCheck.out[84] +1420,1379,7,main.privateMinReceivedCheck.out[85] +1421,1380,7,main.privateMinReceivedCheck.out[86] +1422,1381,7,main.privateMinReceivedCheck.out[87] +1423,1382,7,main.privateMinReceivedCheck.out[88] +1424,1383,7,main.privateMinReceivedCheck.out[89] +1425,1384,7,main.privateMinReceivedCheck.out[90] +1426,1385,7,main.privateMinReceivedCheck.out[91] +1427,1386,7,main.privateMinReceivedCheck.out[92] +1428,1387,7,main.privateMinReceivedCheck.out[93] +1429,1388,7,main.privateMinReceivedCheck.out[94] +1430,1389,7,main.privateMinReceivedCheck.out[95] +1431,1390,7,main.privateMinReceivedCheck.out[96] +1432,1391,7,main.privateMinReceivedCheck.out[97] +1433,1392,7,main.privateMinReceivedCheck.out[98] +1434,1393,7,main.privateMinReceivedCheck.out[99] +1435,1394,7,main.privateMinReceivedCheck.out[100] +1436,1395,7,main.privateMinReceivedCheck.out[101] +1437,1396,7,main.privateMinReceivedCheck.out[102] +1438,1397,7,main.privateMinReceivedCheck.out[103] +1439,1398,7,main.privateMinReceivedCheck.out[104] +1440,1399,7,main.privateMinReceivedCheck.out[105] +1441,1400,7,main.privateMinReceivedCheck.out[106] +1442,1401,7,main.privateMinReceivedCheck.out[107] +1443,1402,7,main.privateMinReceivedCheck.out[108] +1444,1403,7,main.privateMinReceivedCheck.out[109] +1445,1404,7,main.privateMinReceivedCheck.out[110] +1446,1405,7,main.privateMinReceivedCheck.out[111] +1447,1406,7,main.privateMinReceivedCheck.out[112] +1448,1407,7,main.privateMinReceivedCheck.out[113] +1449,1408,7,main.privateMinReceivedCheck.out[114] +1450,1409,7,main.privateMinReceivedCheck.out[115] +1451,1410,7,main.privateMinReceivedCheck.out[116] +1452,1411,7,main.privateMinReceivedCheck.out[117] +1453,1412,7,main.privateMinReceivedCheck.out[118] +1454,1413,7,main.privateMinReceivedCheck.out[119] +1455,1414,7,main.privateMinReceivedCheck.out[120] +1456,1415,7,main.privateMinReceivedCheck.out[121] +1457,1416,7,main.privateMinReceivedCheck.out[122] +1458,1417,7,main.privateMinReceivedCheck.out[123] +1459,1418,7,main.privateMinReceivedCheck.out[124] +1460,1419,7,main.privateMinReceivedCheck.out[125] +1461,1420,7,main.privateMinReceivedCheck.out[126] +1462,1421,7,main.privateMinReceivedCheck.out[127] +1463,1422,7,main.privateMinReceivedCheck.out[128] +1464,1423,7,main.privateMinReceivedCheck.out[129] +1465,1424,7,main.privateMinReceivedCheck.out[130] +1466,1425,7,main.privateMinReceivedCheck.out[131] +1467,1426,7,main.privateMinReceivedCheck.out[132] +1468,1427,7,main.privateMinReceivedCheck.out[133] +1469,1428,7,main.privateMinReceivedCheck.out[134] +1470,1429,7,main.privateMinReceivedCheck.out[135] +1471,1430,7,main.privateMinReceivedCheck.out[136] +1472,1431,7,main.privateMinReceivedCheck.out[137] +1473,1432,7,main.privateMinReceivedCheck.out[138] +1474,1433,7,main.privateMinReceivedCheck.out[139] +1475,1434,7,main.privateMinReceivedCheck.out[140] +1476,1435,7,main.privateMinReceivedCheck.out[141] +1477,1436,7,main.privateMinReceivedCheck.out[142] +1478,1437,7,main.privateMinReceivedCheck.out[143] +1479,1438,7,main.privateMinReceivedCheck.out[144] +1480,1439,7,main.privateMinReceivedCheck.out[145] +1481,1440,7,main.privateMinReceivedCheck.out[146] +1482,1441,7,main.privateMinReceivedCheck.out[147] +1483,1442,7,main.privateMinReceivedCheck.out[148] +1484,1443,7,main.privateMinReceivedCheck.out[149] +1485,1444,7,main.privateMinReceivedCheck.out[150] +1486,1445,7,main.privateMinReceivedCheck.out[151] +1487,1446,7,main.privateMinReceivedCheck.out[152] +1488,1447,7,main.privateMinReceivedCheck.out[153] +1489,1448,7,main.privateMinReceivedCheck.out[154] +1490,1449,7,main.privateMinReceivedCheck.out[155] +1491,1450,7,main.privateMinReceivedCheck.out[156] +1492,1451,7,main.privateMinReceivedCheck.out[157] +1493,1452,7,main.privateMinReceivedCheck.out[158] +1494,1453,7,main.privateMinReceivedCheck.out[159] +1495,1454,7,main.privateMinReceivedCheck.out[160] +1496,1455,7,main.privateMinReceivedCheck.out[161] +1497,1456,7,main.privateMinReceivedCheck.out[162] +1498,1457,7,main.privateMinReceivedCheck.out[163] +1499,1458,7,main.privateMinReceivedCheck.out[164] +1500,1459,7,main.privateMinReceivedCheck.out[165] +1501,1460,7,main.privateMinReceivedCheck.out[166] +1502,1461,7,main.privateMinReceivedCheck.out[167] +1503,1462,7,main.privateMinReceivedCheck.out[168] +1504,1463,7,main.privateMinReceivedCheck.out[169] +1505,1464,7,main.privateMinReceivedCheck.out[170] +1506,1465,7,main.privateMinReceivedCheck.out[171] +1507,1466,7,main.privateMinReceivedCheck.out[172] +1508,1467,7,main.privateMinReceivedCheck.out[173] +1509,1468,7,main.privateMinReceivedCheck.out[174] +1510,1469,7,main.privateMinReceivedCheck.out[175] +1511,1470,7,main.privateMinReceivedCheck.out[176] +1512,1471,7,main.privateMinReceivedCheck.out[177] +1513,1472,7,main.privateMinReceivedCheck.out[178] +1514,1473,7,main.privateMinReceivedCheck.out[179] +1515,1474,7,main.privateMinReceivedCheck.out[180] +1516,1475,7,main.privateMinReceivedCheck.out[181] +1517,1476,7,main.privateMinReceivedCheck.out[182] +1518,1477,7,main.privateMinReceivedCheck.out[183] +1519,1478,7,main.privateMinReceivedCheck.out[184] +1520,1479,7,main.privateMinReceivedCheck.out[185] +1521,1480,7,main.privateMinReceivedCheck.out[186] +1522,1481,7,main.privateMinReceivedCheck.out[187] +1523,1482,7,main.privateMinReceivedCheck.out[188] +1524,1483,7,main.privateMinReceivedCheck.out[189] +1525,1484,7,main.privateMinReceivedCheck.out[190] +1526,1485,7,main.privateMinReceivedCheck.out[191] +1527,1486,7,main.privateMinReceivedCheck.out[192] +1528,1487,7,main.privateMinReceivedCheck.out[193] +1529,1488,7,main.privateMinReceivedCheck.out[194] +1530,1489,7,main.privateMinReceivedCheck.out[195] +1531,1490,7,main.privateMinReceivedCheck.out[196] +1532,1491,7,main.privateMinReceivedCheck.out[197] +1533,1492,7,main.privateMinReceivedCheck.out[198] +1534,1493,7,main.privateMinReceivedCheck.out[199] +1535,1494,7,main.privateMinReceivedCheck.out[200] +1536,1495,7,main.privateMinReceivedCheck.out[201] +1537,1496,7,main.privateMinReceivedCheck.out[202] +1538,1497,7,main.privateMinReceivedCheck.out[203] +1539,1498,7,main.privateMinReceivedCheck.out[204] +1540,1499,7,main.privateMinReceivedCheck.out[205] +1541,1500,7,main.privateMinReceivedCheck.out[206] +1542,1501,7,main.privateMinReceivedCheck.out[207] +1543,1502,7,main.privateMinReceivedCheck.out[208] +1544,1503,7,main.privateMinReceivedCheck.out[209] +1545,1504,7,main.privateMinReceivedCheck.out[210] +1546,1505,7,main.privateMinReceivedCheck.out[211] +1547,1506,7,main.privateMinReceivedCheck.out[212] +1548,1507,7,main.privateMinReceivedCheck.out[213] +1549,1508,7,main.privateMinReceivedCheck.out[214] +1550,1509,7,main.privateMinReceivedCheck.out[215] +1551,1510,7,main.privateMinReceivedCheck.out[216] +1552,1511,7,main.privateMinReceivedCheck.out[217] +1553,1512,7,main.privateMinReceivedCheck.out[218] +1554,1513,7,main.privateMinReceivedCheck.out[219] +1555,1514,7,main.privateMinReceivedCheck.out[220] +1556,1515,7,main.privateMinReceivedCheck.out[221] +1557,1516,7,main.privateMinReceivedCheck.out[222] +1558,1517,7,main.privateMinReceivedCheck.out[223] +1559,1518,7,main.privateMinReceivedCheck.out[224] +1560,1519,7,main.privateMinReceivedCheck.out[225] +1561,1520,7,main.privateMinReceivedCheck.out[226] +1562,1521,7,main.privateMinReceivedCheck.out[227] +1563,1522,7,main.privateMinReceivedCheck.out[228] +1564,1523,7,main.privateMinReceivedCheck.out[229] +1565,1524,7,main.privateMinReceivedCheck.out[230] +1566,1525,7,main.privateMinReceivedCheck.out[231] +1567,1526,7,main.privateMinReceivedCheck.out[232] +1568,1527,7,main.privateMinReceivedCheck.out[233] +1569,1528,7,main.privateMinReceivedCheck.out[234] +1570,1529,7,main.privateMinReceivedCheck.out[235] +1571,1530,7,main.privateMinReceivedCheck.out[236] +1572,1531,7,main.privateMinReceivedCheck.out[237] +1573,1532,7,main.privateMinReceivedCheck.out[238] +1574,1533,7,main.privateMinReceivedCheck.out[239] +1575,1534,7,main.privateMinReceivedCheck.out[240] +1576,1535,7,main.privateMinReceivedCheck.out[241] +1577,1536,7,main.privateMinReceivedCheck.out[242] +1578,1537,7,main.privateMinReceivedCheck.out[243] +1579,1538,7,main.privateMinReceivedCheck.out[244] +1580,1539,7,main.privateMinReceivedCheck.out[245] +1581,1540,7,main.privateMinReceivedCheck.out[246] +1582,1541,7,main.privateMinReceivedCheck.out[247] +1583,1542,7,main.privateMinReceivedCheck.out[248] +1584,1543,7,main.privateMinReceivedCheck.out[249] +1585,1544,7,main.privateMinReceivedCheck.out[250] +1586,1545,7,main.privateMinReceivedCheck.out[251] +1587,-1,7,main.privateMinReceivedCheck.in diff --git a/circuits/swap_0000.zkey b/circuits/swap_0000.zkey index 62ca8cd..94b2f25 100644 Binary files a/circuits/swap_0000.zkey and b/circuits/swap_0000.zkey differ diff --git a/circuits/swap_final.zkey b/circuits/swap_final.zkey index 8de8aa9..28b9f34 100644 Binary files a/circuits/swap_final.zkey and b/circuits/swap_final.zkey differ diff --git a/circuits/swap_js/swap.wasm b/circuits/swap_js/swap.wasm index 8462e72..0475210 100644 Binary files a/circuits/swap_js/swap.wasm and b/circuits/swap_js/swap.wasm differ diff --git a/circuits/verification_key.json b/circuits/verification_key.json index d5b84b7..e1e8fb7 100644 --- a/circuits/verification_key.json +++ b/circuits/verification_key.json @@ -3,18 +3,18 @@ "curve": "bn128", "nPublic": 7, "vk_alpha_1": [ - "15263360454613358286326312071950694817963286898543160397709178604317561355104", - "21403516289316763316170061812039528377269798746582110611099334605586483182015", + "17513423526175282464369575275094111157913516943969336379519216174229443080771", + "10933773573078859102378740095879700538211475645930482812346658959133241821342", "1" ], "vk_beta_2": [ [ - "9114836017862152603663730341862267474663856704465942552831825322983874670971", - "7339440671773699550112195077340831276428510597166967263213603306934446970831" + "2059981429314391737205267564817452101547356409230234873398086045406490182086", + "7158665320174397719343477338834496506671558223989094440317638809806601381459" ], [ - "11089130845221286644340723573530723340854283163316241682214047153414944562837", - "14319561702978136509208676386885902496266571001765875707090849857362528511311" + "432473454580647262422639890397685618081961842809223148918119249219985253004", + "19667799391496127933565416368873010854571178643440081722123697505196266309005" ], [ "1", @@ -37,12 +37,12 @@ ], "vk_delta_2": [ [ - "10922868537879549149926633973874411277031124283625969050913034989707286495310", - "14072928432406134124255081576407330711540844549451522403530766687143972857548" + "8223089511138260125076536356642116466713705551759001741659719031117500109932", + "11000074634970625391419795441912042453789007789672055546342260437568919670385" ], [ - "6321763024915942724361189106962085139969853340309244240087025283995965559845", - "9910045345360722513678370380361840687260818059922274500369340485515203174707" + "9459414399833923424692333062377699523656581709966996850057427596413362179812", + "19033392023735217822095225070796633303001906264522124729477271689281320066713" ], [ "1", @@ -52,72 +52,72 @@ "vk_alphabeta_12": [ [ [ - "13788358932006038916657034393390417439374279190405088609820385232617189970215", - "19502869875603795935706172371910707267363961258827113709673650344288463166465" + "5745732630233345432771781780328314929547675597806348700778629162249667692798", + "5580935963444281241198524244989236714877405420122627675980154741304245480517" ], [ - "6877531410845871959718206904708276279063571892427737270176719339097791881532", - "6552285916933653297812020973128931942482535266011338197802408161786263858754" + "3529397044471764972408308948947092974772641794286112941025078439490204309061", + "17677204439378557227994363662798832220789141265038876473570273642043724435077" ], [ - "5986724567722716157167514586443717358369408389384453005307493113120436353278", - "10924754718220324808247561351100390567427553721220544588080406523097644864294" + "6448926979749872274844212233447217366124773008432512035629433050856582082996", + "7589833351290020411139368796992812336667418892188554064067105651083744129677" ] ], [ [ - "2254777019140189972018923735678707603351919994375041238648272058248124494206", - "17007335232725005303979562456594677501372440944870745477362969638837953436633" + "17979632907630538627532824664027613372180842125483672728488313336209417611251", + "575455211723763996738730943310768061920094434532325352207802752889632481131" ], [ - "17805696873504187312254019861664187108000599681246928813626387938129340967890", - "13668783596693339922930585107435029827335233648276926284786491388577371194413" + "11371538651511110462119791074159190572359139105404333383769589525294189581438", + "12592234707024541547607912579335311751131504167418542740991873265802072709099" ], [ - "13252485678202572958614783560496457004796930910140929968763753814347125231459", - "17234167245808685645610192827786135893870940553293877978974331828365374857330" + "17159001605911603488874337590110046635222829771831860931724644243368049801446", + "20483169009941508003924989373929631826816818324968056773643252297149768195900" ] ] ], "IC": [ [ - "355864830561266818719438593550695328820173197257886437760846990541406197406", - "6085561820612657037582796246857804792427172165006207298493801328990931399440", + "7913107460282347685359755155524521863023323764314017650003653904771901584873", + "11139011974883541763795563099789936495545637973072164742168657824983800536954", "1" ], [ - "13271693688461746714876058742532718995962156682640801356251103600542943696271", - "9027738648246871913792888020509984228052600924990152129584636649194500972758", + "7660854312153951949050886295834629642050816988198899348628738573051172498297", + "19789436518532997107288895600708817723556049138093444622347717969927468218019", "1" ], [ - "1175894104698080516181944411274231938649391717789971119818723525113371850204", - "4168630053809471898605217992422102807755053275630650028578972276685371284834", + "18306286158214053367540623078623426587642069703046257065930296295142964893993", + "3894244913631232382675405700969765008731887111282828101681814320777693470112", "1" ], [ - "6640010087370243551578991311854023393166855498591631256383393153092332478755", - "3252957064381291664307864470603859789999415481229097173089723279194115360543", + "316251761095044617861689957450724756381340403797242670363510423390761422206", + "9252838985751917445188859786651618393498725727104373855260736945476493005350", "1" ], [ - "3212448223459538990744178396533940889713307039321371210858631419768464458010", - "13050028426487496948043519730800276153016962772080799926132634949518059329240", + "21093726895351525680364667964944414686680965485250104988749145190978965512388", + "14131433549640898421003962659161330346765783093571780119144254512245135774589", "1" ], [ - "10260338443875412775078024386952133987339556061544564929584346622018708800763", - "15087746747484296021250670130337504575136937396480117520853732096731069791078", + "15204658630888555095998416378355587290155375386706124428794936293652142061445", + "21832069071397664385148025001114557788396028516090515858634858331742378723880", "1" ], [ - "13633653006638329013466101243150836602796758635211357514460716849156834371819", - "13615995603501617760767498518729246673122862038947046316117052507306474283434", + "14238523076076138759342771457997352537338241158156928561471328726683650938577", + "15246646147751424438223496240290544626613096970367543913477693425252804338181", "1" ], [ - "1086304491384177558177517716061098762825064555404630173423124185325952961571", - "16716384355596016303643469304113456006785139120194103153412798041215108617307", + "15107274674817628384263914637182624426046515819762832333489256850976578106579", + "1437827537007216291960102411133303722508147380177984334312246794727273762488", "1" ] ] diff --git a/circuits/verifying_key.rs b/circuits/verifying_key.rs index 5baf403..190396b 100644 --- a/circuits/verifying_key.rs +++ b/circuits/verifying_key.rs @@ -4,15 +4,15 @@ pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { nr_pubinputs: 8, vk_alpha_g1: [ - 33,190,193,128,200,187,115,0,148,236,193,115,244,53,212,91,192,103,89,218,137,18,203,240,248,154,157,92,69,172,123,96, - 47,81,245,254,170,174,67,14,118,179,186,6,182,108,177,181,243,129,153,205,80,168,236,61,204,142,253,107,67,188,249,191, + 38,184,63,22,160,251,25,40,172,141,219,240,104,75,194,162,22,212,67,22,214,188,227,212,42,112,220,129,38,40,114,67, + 24,44,75,233,223,247,238,116,188,242,181,29,244,107,144,68,9,225,245,112,139,19,51,88,88,247,248,226,181,8,200,158, ], vk_beta_g2: [ - 16,57,249,232,210,207,221,88,126,6,148,205,84,13,39,81,97,12,198,156,102,15,158,61,70,2,37,68,177,209,215,207, - 20,38,208,122,51,25,254,153,32,32,150,183,46,14,14,61,141,81,110,26,87,150,6,232,31,193,60,205,203,108,177,123, - 31,168,149,175,112,55,105,43,161,0,106,78,14,246,192,173,91,147,186,48,194,175,102,113,20,96,107,114,59,75,37,79, - 24,132,57,195,94,100,178,58,226,27,80,253,184,54,54,134,51,231,253,180,202,16,150,187,9,168,53,144,168,143,158,149, + 15,211,169,54,92,239,239,219,208,17,211,144,94,2,213,176,131,50,226,129,165,10,10,20,11,212,168,6,129,86,230,83, + 4,141,232,125,225,15,217,34,86,114,131,94,127,143,173,215,204,161,3,190,195,244,6,200,222,143,193,175,167,126,193,198, + 43,123,148,120,187,246,255,9,59,199,80,207,199,142,225,139,160,64,188,75,218,108,122,101,197,96,233,136,137,189,69,141, + 0,244,197,115,250,54,155,114,120,236,73,186,159,88,245,117,22,129,83,187,96,250,69,103,251,97,168,176,129,14,162,140, ], vk_gamme_g2: [ @@ -23,44 +23,44 @@ pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { ], vk_delta_g2: [ - 31,28,254,198,255,36,70,3,139,254,99,151,4,37,142,81,118,171,213,94,254,204,103,132,31,223,207,189,123,68,102,204, - 24,38,31,223,163,118,170,133,66,171,156,59,231,83,51,141,224,246,28,166,182,98,101,55,139,16,220,183,25,127,64,78, - 21,232,227,11,124,108,159,16,130,202,228,81,252,205,108,156,49,188,143,8,110,187,169,59,192,105,191,147,98,125,225,51, - 13,249,253,182,243,186,141,179,169,30,121,55,48,176,197,197,219,27,163,22,163,164,134,132,178,76,66,184,35,3,148,37, + 24,81,210,84,240,199,14,84,168,59,120,173,220,176,159,192,180,150,201,240,25,191,179,108,29,13,18,153,21,119,142,113, + 18,46,26,141,236,117,205,249,200,152,252,117,166,235,241,162,192,56,146,125,155,254,163,183,38,33,164,254,105,151,212,108, + 42,20,132,163,160,251,97,123,34,12,73,61,225,29,47,56,121,230,46,20,49,15,136,200,71,21,15,253,37,81,30,153, + 20,233,214,188,188,214,186,204,201,242,113,245,235,14,4,0,96,98,243,136,210,224,228,157,103,226,255,248,174,51,14,228, ], vk_ic: &[ [ - 0,201,105,144,46,237,134,254,151,252,147,99,8,239,46,231,197,208,12,145,124,11,137,187,48,19,203,92,66,161,214,158, - 13,116,78,81,90,163,6,239,23,210,100,230,232,28,69,100,195,20,177,253,7,104,14,26,221,57,216,189,29,132,51,16, + 17,126,168,252,160,150,154,185,131,49,255,201,175,107,221,62,198,71,139,58,102,135,34,152,233,58,178,144,103,140,117,233, + 24,160,117,21,76,86,24,217,21,251,106,1,129,191,119,225,193,164,175,99,31,216,182,234,207,61,104,227,37,46,223,122, ], [ - 29,87,131,46,151,194,225,189,88,189,188,66,122,230,239,67,5,33,187,101,10,163,61,108,59,240,215,3,15,62,85,143, - 19,245,132,221,53,113,49,139,186,215,54,248,66,111,203,159,51,41,17,159,153,156,80,205,187,54,186,108,143,132,224,214, + 16,239,227,207,87,116,53,23,111,72,59,137,154,190,31,228,114,18,124,240,214,76,208,8,175,39,5,158,249,160,43,121, + 43,192,108,148,136,36,156,96,158,227,2,18,130,141,50,24,106,225,74,118,146,39,97,83,209,11,47,211,39,115,246,163, ], [ - 2,153,136,80,117,0,12,101,237,68,116,34,12,131,44,154,106,68,189,20,235,173,115,138,235,109,34,61,37,130,117,220, - 9,55,92,106,90,245,73,175,244,240,4,111,107,185,26,24,98,28,66,108,238,208,15,11,145,227,114,101,58,59,29,98, + 40,120,253,164,36,150,31,247,49,228,252,126,236,101,66,214,217,183,189,97,46,199,118,138,157,52,41,216,138,0,153,41, + 8,156,16,131,219,247,68,35,49,39,40,215,21,31,33,8,72,105,163,254,60,130,189,204,194,162,37,251,249,199,157,160, ], [ - 14,174,28,206,145,39,15,255,247,254,220,92,84,128,200,145,18,5,234,16,22,72,168,125,79,228,20,151,136,110,225,35, - 7,49,27,195,130,225,102,194,10,29,34,153,246,197,238,247,204,241,205,57,226,231,148,30,97,169,192,146,187,145,71,31, + 0,178,253,253,198,49,159,114,224,137,120,202,88,129,214,118,15,128,110,38,226,109,155,44,71,147,228,20,214,238,141,126, + 20,116,235,216,197,208,145,80,187,64,239,217,132,119,14,118,223,205,144,44,94,135,95,200,50,118,188,121,192,34,82,38, ], [ - 7,26,46,103,23,155,19,104,101,215,223,85,33,191,147,156,211,254,130,199,43,226,204,52,9,184,13,219,186,227,193,26, - 28,218,13,233,15,205,156,223,24,50,126,67,149,205,65,117,63,184,14,140,108,227,163,30,71,218,67,197,143,139,86,216, + 46,162,160,87,105,93,173,66,31,9,98,161,182,89,16,154,44,148,41,230,12,41,255,75,0,141,112,182,62,232,160,196, + 31,62,27,162,103,81,105,142,15,133,175,156,64,166,10,155,96,180,23,14,185,198,183,84,145,47,210,241,194,238,19,125, ], [ - 22,175,37,80,164,62,30,157,95,197,207,56,13,208,175,235,176,56,0,213,43,20,52,13,79,218,212,243,107,55,132,251, - 33,91,92,174,91,154,172,88,74,214,45,92,35,172,54,16,55,252,130,50,247,192,96,244,185,166,79,100,166,215,187,102, + 33,157,136,37,32,192,242,208,77,85,220,105,72,192,109,143,172,188,15,56,176,145,80,72,41,140,139,191,89,9,119,133, + 48,68,131,96,209,144,81,113,179,251,58,255,122,44,138,44,39,78,237,159,196,50,61,8,246,216,197,186,48,213,10,40, ], [ - 30,36,95,199,226,183,77,27,226,211,38,164,198,228,149,83,113,151,102,73,0,60,122,240,176,118,112,153,216,150,168,235, - 30,26,97,98,103,4,102,95,45,221,191,252,119,189,13,127,220,53,40,66,173,149,73,252,234,66,136,10,234,183,33,170, + 31,122,183,237,180,113,247,20,14,198,0,213,207,177,163,183,193,253,136,224,215,160,234,132,145,250,117,117,172,208,214,209, + 33,181,75,192,175,153,239,163,14,248,231,167,35,73,116,194,210,160,2,5,12,128,184,7,55,3,253,5,100,164,34,5, ], [ - 2,102,211,153,2,118,43,100,121,159,76,88,181,14,121,51,120,116,83,227,223,246,57,231,161,179,61,71,126,26,12,35, - 36,245,35,100,176,184,162,144,223,237,127,55,142,250,46,64,149,171,147,29,79,196,46,251,163,229,55,180,208,59,148,91, + 33,102,106,25,112,136,57,74,244,156,204,143,149,133,21,79,52,76,89,17,228,255,92,43,67,170,149,38,23,74,116,211, + 3,45,200,19,112,94,248,79,117,197,190,222,26,31,111,205,249,106,30,223,236,148,188,231,204,155,140,79,234,55,142,184, ], ] }; \ No newline at end of file