From: yeom Date: Wed, 3 Aug 2011 18:21:18 +0000 (+0000) Subject: changes. X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ac2a4b6d9806a9fdbc13b34b19b184d7dbcb5e61;p=IRC.git changes. --- diff --git a/Robust/src/Analysis/SSJava/FlowDownCheck.java b/Robust/src/Analysis/SSJava/FlowDownCheck.java index d3870ccf..0dfd8892 100644 --- a/Robust/src/Analysis/SSJava/FlowDownCheck.java +++ b/Robust/src/Analysis/SSJava/FlowDownCheck.java @@ -979,6 +979,8 @@ public class FlowDownCheck { private void checkCalleeConstraints(MethodDescriptor md, SymbolTable nametable, MethodInvokeNode min, CompositeLocation callerBaseLoc, CompositeLocation constraint) { + + System.out.println("checkCalleeConstraints="+min.printNode(0)); MethodDescriptor calleemd = min.getMethod(); @@ -1012,6 +1014,7 @@ public class FlowDownCheck { for (int i = 0; i < calleemd.numParameters(); i++) { VarDescriptor calleevd = (VarDescriptor) calleemd.getParameter(i); CompositeLocation calleeLoc = d2loc.get(calleevd); + System.out.println("calleevd="+calleevd+" loc="+calleeLoc); calleeParamList.add(calleeLoc); } @@ -1030,6 +1033,9 @@ public class FlowDownCheck { || callerLoc2.get(callerLoc2.getSize() - 1).isTop()) { continue CHECK; } + + System.out.println("calleeLoc1="+calleeLoc1); + System.out.println("calleeLoc2="+calleeLoc2+"calleeParamList="+calleeParamList); int callerResult = CompositeLattice.compare(callerLoc1, callerLoc2, true, diff --git a/Robust/src/Analysis/SSJava/MethodAnnotationCheck.java b/Robust/src/Analysis/SSJava/MethodAnnotationCheck.java index f05fcff0..6c3dac6c 100644 --- a/Robust/src/Analysis/SSJava/MethodAnnotationCheck.java +++ b/Robust/src/Analysis/SSJava/MethodAnnotationCheck.java @@ -30,6 +30,8 @@ import IR.Tree.MethodInvokeNode; import IR.Tree.OpNode; import IR.Tree.ReturnNode; import IR.Tree.SubBlockNode; +import IR.Tree.SwitchBlockNode; +import IR.Tree.SwitchStatementNode; import IR.Tree.TertiaryNode; import Util.Pair; @@ -95,6 +97,8 @@ public class MethodAnnotationCheck { Set possibleCalleeSet = (Set) ssjava.getCallGraph().getMethods(calleeMD); + System.out.println("caller=" + callerMD + " callee=" + possibleCalleeSet); + for (Iterator iterator2 = possibleCalleeSet.iterator(); iterator2.hasNext();) { MethodDescriptor possibleCallee = (MethodDescriptor) iterator2.next(); @@ -226,9 +230,25 @@ public class MethodAnnotationCheck { checkReturnNode(md, nametable, (ReturnNode) bsn, flag); break; + case Kind.SwitchStatementNode: + checkSwitchStatementNode(md, nametable, (SwitchStatementNode) bsn, flag); + return; + } } + private void checkSwitchStatementNode(MethodDescriptor md, SymbolTable nametable, + SwitchStatementNode ssn, boolean flag) { + + checkExpressionNode(md, nametable, ssn.getCondition(), flag); + + BlockNode sbn = ssn.getSwitchBody(); + for (int i = 0; i < sbn.size(); i++) { + checkBlockNode(md, nametable, ((SwitchBlockNode) sbn.get(i)).getSwitchBlockStatement(), flag); + } + + } + private void checkDeclarationNode(MethodDescriptor md, SymbolTable nametable, DeclarationNode dn, boolean flag) { if (dn.getExpression() != null) { diff --git a/Robust/src/Tests/ssJava/mp3decoder/LayerIDecoder.java b/Robust/src/Tests/ssJava/mp3decoder/LayerIDecoder.java index 990d942c..b895dafe 100644 --- a/Robust/src/Tests/ssJava/mp3decoder/LayerIDecoder.java +++ b/Robust/src/Tests/ssJava/mp3decoder/LayerIDecoder.java @@ -263,6 +263,7 @@ class LayerIDecoder implements FrameDecoder { return false; } + @METHODDEFAULT("OUT v1; ) - // *--floatp = *--floatp2 = 0.0; - for (int p=0;p<512;p++) - v1[p] = v2[p] = 0.0f; - - // initialize samples[]: - //for (floatp = samples + 32; floatp > samples; ) - // *--floatp = 0.0; - for (int p2=0;p2<32;p2++) - samples[p2] = 0.0f; - -// actual_v = v1; - actual_write_pos = 15; - } + public void reset() { + // float[] floatp; + // float[] floatp2; + + // initialize v1[] and v2[]: + // for (floatp = v1 + 512, floatp2 = v2 + 512; floatp > v1; ) + // *--floatp = *--floatp2 = 0.0; + for (int p = 0; p < 512; p++) + v1[p] = v2[p] = 0.0f; + // initialize samples[]: + // for (floatp = samples + 32; floatp > samples; ) + // *--floatp = 0.0; + for (int p2 = 0; p2 < 32; p2++) + samples[p2] = 0.0f; + + // actual_v = v1; + actual_write_pos = 15; + } /** * Inject Sample. */ - public void input_sample(@LOC("V") float sample, @LOC("V") int subbandnumber) - { - samples[subbandnumber] = eq[subbandnumber]*sample; + @LATTICE("THIS=0; i--) - { - samples[i] = s[i]*eq[i]; - } + public void input_samples(@LOC("IN") float[] s) { + for (@LOC("C") int i = 31; i >= 0; i--) { + samples[i] = s[i] * eq[i]; + } } - + /** * Compute new values via a fast cosine transform. */ - private void compute_new_v() - { + private void compute_new_v() { // p is fully initialized from x1 - //float[] p = _p; + // float[] p = _p; // pp is fully initialized from p - //float[] pp = _pp; + // float[] pp = _pp; - //float[] new_v = _new_v; + // float[] new_v = _new_v; - //float[] new_v = new float[32]; // new V[0-15] and V[33-48] of Figure 3-A.2 in ISO DIS 11172-3 - //float[] p = new float[16]; - //float[] pp = new float[16]; + // float[] new_v = new float[32]; // new V[0-15] and V[33-48] of Figure + // 3-A.2 in ISO DIS 11172-3 + // float[] p = new float[16]; + // float[] pp = new float[16]; /* - for (int i=31; i>=0; i--) - { - new_v[i] = 0.0f; - } + * for (int i=31; i>=0; i--) { new_v[i] = 0.0f; } */ @LOC("IN,SynthesisFilter.L4") float new_v0 = 0.0f; @@ -220,17 +200,21 @@ final class SynthesisFilter @LOC("IN,SynthesisFilter.L2") float new_v30 = 0.0f; @LOC("IN,SynthesisFilter.L4") float new_v31 = 0.0f; -// new_v0 = new_v1 = new_v2 = new_v3 = new_v4 = new_v5 = new_v6 = new_v7 = new_v8 = new_v9 = -// new_v10 = new_v11 = new_v12 = new_v13 = new_v14 = new_v15 = new_v16 = new_v17 = new_v18 = new_v19 = -// new_v20 = new_v21 = new_v22 = new_v23 = new_v24 = new_v25 = new_v26 = new_v27 = new_v28 = new_v29 = -// new_v30 = new_v31 = 0.0f; - + // new_v0 = new_v1 = new_v2 = new_v3 = new_v4 = new_v5 = new_v6 = new_v7 = + // new_v8 = new_v9 = + // new_v10 = new_v11 = new_v12 = new_v13 = new_v14 = new_v15 = new_v16 = + // new_v17 = new_v18 = new_v19 = + // new_v20 = new_v21 = new_v22 = new_v23 = new_v24 = new_v25 = new_v26 = + // new_v27 = new_v28 = new_v29 = + // new_v30 = new_v31 = 0.0f; - // float[] new_v = new float[32]; // new V[0-15] and V[33-48] of Figure 3-A.2 in ISO DIS 11172-3 - // float[] p = new float[16]; - // float[] pp = new float[16]; + // float[] new_v = new float[32]; // new V[0-15] and V[33-48] of Figure + // 3-A.2 in ISO DIS 11172-3 + // float[] p = new float[16]; + // float[] pp = new float[16]; - //float[] s = samples; // subbed in samples directly below to reduce uneccesary areas + // float[] s = samples; // subbed in samples directly below to reduce + // uneccesary areas @LOC("IN,SynthesisFilter.S") float s0 = samples[0]; @LOC("IN,SynthesisFilter.S") float s1 = samples[1]; @@ -242,7 +226,7 @@ final class SynthesisFilter @LOC("IN,SynthesisFilter.S") float s7 = samples[7]; @LOC("IN,SynthesisFilter.S") float s8 = samples[8]; @LOC("IN,SynthesisFilter.S") float s9 = samples[9]; - @LOC("IN,SynthesisFilter.S") float s10 = samples[10]; + @LOC("IN,SynthesisFilter.S") float s10 = samples[10]; @LOC("IN,SynthesisFilter.S") float s11 = samples[11]; @LOC("IN,SynthesisFilter.S") float s12 = samples[12]; @LOC("IN,SynthesisFilter.S") float s13 = samples[13]; @@ -252,7 +236,7 @@ final class SynthesisFilter @LOC("IN,SynthesisFilter.S") float s17 = samples[17]; @LOC("IN,SynthesisFilter.S") float s18 = samples[18]; @LOC("IN,SynthesisFilter.S") float s19 = samples[19]; - @LOC("IN,SynthesisFilter.S") float s20 = samples[20]; + @LOC("IN,SynthesisFilter.S") float s20 = samples[20]; @LOC("IN,SynthesisFilter.S") float s21 = samples[21]; @LOC("IN,SynthesisFilter.S") float s22 = samples[22]; @LOC("IN,SynthesisFilter.S") float s23 = samples[23]; @@ -262,7 +246,7 @@ final class SynthesisFilter @LOC("IN,SynthesisFilter.S") float s27 = samples[27]; @LOC("IN,SynthesisFilter.S") float s28 = samples[28]; @LOC("IN,SynthesisFilter.S") float s29 = samples[29]; - @LOC("IN,SynthesisFilter.S") float s30 = samples[30]; + @LOC("IN,SynthesisFilter.S") float s30 = samples[30]; @LOC("IN,SynthesisFilter.S") float s31 = samples[31]; @LOC("IN,SynthesisFilter.LSH") float p0 = s0 + s31; @@ -316,7 +300,6 @@ final class SynthesisFilter p14 = (pp10 - pp13) * cos5_16; p15 = (pp11 - pp12) * cos7_16; - pp0 = p0 + p3; pp1 = p1 + p2; pp2 = (p0 - p3) * cos1_8; @@ -354,16 +337,16 @@ final class SynthesisFilter // this is pretty insane coding @LOC("IN,SynthesisFilter.L3") float tmp1; - new_v19/*36-17*/ = -(new_v4 = (new_v12 = p7) + p5) - p6; - new_v27/*44-17*/ = -p6 - p7 - p4; + new_v19/* 36-17 */= -(new_v4 = (new_v12 = p7) + p5) - p6; + new_v27/* 44-17 */= -p6 - p7 - p4; new_v6 = (new_v10 = (new_v14 = p15) + p11) + p13; - new_v17/*34-17*/ = -(new_v2 = p15 + p13 + p9) - p14; - new_v21/*38-17*/ = (tmp1 = -p14 - p15 - p10 - p11) - p13; - new_v29/*46-17*/ = -p14 - p15 - p12 - p8; - new_v25/*42-17*/ = tmp1 - p12; - new_v31/*48-17*/ = -p0; + new_v17/* 34-17 */= -(new_v2 = p15 + p13 + p9) - p14; + new_v21/* 38-17 */= (tmp1 = -p14 - p15 - p10 - p11) - p13; + new_v29/* 46-17 */= -p14 - p15 - p12 - p8; + new_v25/* 42-17 */= tmp1 - p12; + new_v31/* 48-17 */= -p0; new_v0 = p1; - new_v23/*40-17*/ = -(new_v8 = p3) - p2; + new_v23/* 40-17 */= -(new_v8 = p3) - p2; p0 = (s0 - s31) * cos1_64; p1 = (s1 - s30) * cos3_64; @@ -382,7 +365,6 @@ final class SynthesisFilter p14 = (s14 - s17) * cos29_64; p15 = (s15 - s16) * cos31_64; - pp0 = p0 + p15; pp1 = p1 + p14; pp2 = p2 + p13; @@ -400,7 +382,6 @@ final class SynthesisFilter pp14 = (p6 - p9) * cos13_32; pp15 = (p7 - p8) * cos15_32; - p0 = pp0 + pp7; p1 = pp1 + pp6; p2 = pp2 + pp5; @@ -418,7 +399,6 @@ final class SynthesisFilter p14 = (pp10 - pp13) * cos5_16; p15 = (pp11 - pp12) * cos7_16; - pp0 = p0 + p3; pp1 = p1 + p2; pp2 = (p0 - p3) * cos1_8; @@ -436,7 +416,6 @@ final class SynthesisFilter pp14 = (p12 - p15) * cos1_8; pp15 = (p13 - p14) * cos3_8; - p0 = pp0 + pp1; p1 = (pp0 - pp1) * cos1_4; p2 = pp2 + pp3; @@ -454,37 +433,36 @@ final class SynthesisFilter p14 = pp14 + pp15; p15 = (pp14 - pp15) * cos1_4; - // manually doing something that a compiler should handle sucks // coding like this is hard to read @LOC("IN,SynthesisFilter.L4") float tmp2; -// new_v5 = (new_v11 = (new_v13 = (new_v15 = p15) + p7) + p11) -// + p5 + p13; + // new_v5 = (new_v11 = (new_v13 = (new_v15 = p15) + p7) + p11) + // + p5 + p13; new_v15 = p15; new_v13 = p15 + p7; new_v11 = p15 + p7 + p11; new_v5 = p15 + p7 + p11 + p5 + p13; - -// new_v7 = (new_v9 = p15 + p11 + p3) + p13; + + // new_v7 = (new_v9 = p15 + p11 + p3) + p13; new_v9 = p15 + p11 + p3; new_v7 = new_v9 + p13; - - new_v16/*33-17*/ = -(new_v1 = (tmp1 = p13 + p15 + p9) + p1) - p14; - new_v18/*35-17*/ = -(new_v3 = tmp1 + p5 + p7) - p6 - p14; - - new_v22/*39-17*/ = (tmp1 = -p10 - p11 - p14 - p15) - - p13 - p2 - p3; - new_v20/*37-17*/ = tmp1 - p13 - p5 - p6 - p7; - new_v24/*41-17*/ = tmp1 - p12 - p2 - p3; - new_v26/*43-17*/ = tmp1 - p12 - (tmp2 = p4 + p6 + p7); - new_v30/*47-17*/ = (tmp1 = -p8 - p12 - p14 - p15) - p0; - new_v28/*45-17*/ = tmp1 - tmp2; - - // insert V[0-15] (== new_v[0-15]) into actual v: + + new_v16/* 33-17 */= -(new_v1 = (tmp1 = p13 + p15 + p9) + p1) - p14; + new_v18/* 35-17 */= -(new_v3 = tmp1 + p5 + p7) - p6 - p14; + + new_v22/* 39-17 */= (tmp1 = -p10 - p11 - p14 - p15) - p13 - p2 - p3; + new_v20/* 37-17 */= tmp1 - p13 - p5 - p6 - p7; + new_v24/* 41-17 */= tmp1 - p12 - p2 - p3; + new_v26/* 43-17 */= tmp1 - p12 - (tmp2 = p4 + p6 + p7); + new_v30/* 47-17 */= (tmp1 = -p8 - p12 - p14 - p15) - p0; + new_v28/* 45-17 */= tmp1 - tmp2; + + // insert V[0-15] (== new_v[0-15]) into actual v: // float[] x2 = actual_v + actual_write_pos; - //float dest[] = actual_v; //actual_v subbed in so as not to create a new area + // float dest[] = actual_v; //actual_v subbed in so as not to create a new + // area - //int pos = actual_write_pos; //substituted to simplify location relations + // int pos = actual_write_pos; //substituted to simplify location relations v1[0 + actual_write_pos] = new_v0; v1[16 + actual_write_pos] = new_v1; @@ -524,7 +502,8 @@ final class SynthesisFilter v1[496 + actual_write_pos] = -new_v1; // insert V[32] (== -new_v[0]) into other v: - //dest = (actual_v==v1) ? v2 : v1; //assignment replaced with if statement so that new areas are not created + // dest = (actual_v==v1) ? v2 : v1; //assignment replaced with if statement + // so that new areas are not created v2[0 + actual_write_pos] = -new_v0; // insert V[33-48] (== new_v[16-31]) into other v: @@ -562,709 +541,529 @@ final class SynthesisFilter v2[480 + actual_write_pos] = new_v17; v2[496 + actual_write_pos] = new_v16; } - + /** * Compute PCM Samples. */ - - @LOC("TMP") private float[] _tmpOut = new float[32]; - - @LATTICE("THISblockSize. - */ - static private float[][] splitArray(final float[] array, final int blockSize) - { - int size = array.length / blockSize; - float[][] split = new float[size][]; - for (int i=0; i array.length) - { - len = array.length-offs; - } - - if (len < 0) - len = 0; - - float[] subarray = new float[len]; - for (int i=0; iblockSize. + */ + static private float[][] splitArray(final float[] array, final int blockSize) { + int size = array.length / blockSize; + float[][] split = new float[size][]; + for (int i = 0; i < size; i++) { + split[i] = subArray(array, i * blockSize, blockSize); + } + return split; + } + + /** + * Returns a subarray of an existing array. + * + * @param array + * The array to retrieve a subarra from. + * @param offs + * The offset in the array that corresponds to the first index of the + * subarray. + * @param len + * The number of indeces in the subarray. + * @return The subarray, which may be of length 0. + */ + static private float[] subArray(final float[] array, final int offs, int len) { + if (offs + len > array.length) { + len = array.length - offs; + } + + if (len < 0) + len = 0; + + float[] subarray = new float[len]; + for (int i = 0; i < len; i++) { + subarray[i] = array[offs + i]; + } + + return subarray; + } + + // The original data for d[]. This data is loaded from a file + // to reduce the overall package size and to improve performance. + + static final float d[] = { 0.000000000f, -0.000442505f, 0.003250122f, -0.007003784f, + 0.031082153f, -0.078628540f, 0.100311279f, -0.572036743f, 1.144989014f, 0.572036743f, + 0.100311279f, 0.078628540f, 0.031082153f, 0.007003784f, 0.003250122f, 0.000442505f, + -0.000015259f, -0.000473022f, 0.003326416f, -0.007919312f, 0.030517578f, -0.084182739f, + 0.090927124f, -0.600219727f, 1.144287109f, 0.543823242f, 0.108856201f, 0.073059082f, + 0.031478882f, 0.006118774f, 0.003173828f, 0.000396729f, -0.000015259f, -0.000534058f, + 0.003387451f, -0.008865356f, 0.029785156f, -0.089706421f, 0.080688477f, -0.628295898f, + 1.142211914f, 0.515609741f, 0.116577148f, 0.067520142f, 0.031738281f, 0.005294800f, + 0.003082275f, 0.000366211f, -0.000015259f, -0.000579834f, 0.003433228f, -0.009841919f, + 0.028884888f, -0.095169067f, 0.069595337f, -0.656219482f, 1.138763428f, 0.487472534f, + 0.123474121f, 0.061996460f, 0.031845093f, 0.004486084f, 0.002990723f, 0.000320435f, + -0.000015259f, -0.000625610f, 0.003463745f, -0.010848999f, 0.027801514f, -0.100540161f, + 0.057617188f, -0.683914185f, 1.133926392f, 0.459472656f, 0.129577637f, 0.056533813f, + 0.031814575f, 0.003723145f, 0.002899170f, 0.000289917f, -0.000015259f, -0.000686646f, + 0.003479004f, -0.011886597f, 0.026535034f, -0.105819702f, 0.044784546f, -0.711318970f, + 1.127746582f, 0.431655884f, 0.134887695f, 0.051132202f, 0.031661987f, 0.003005981f, + 0.002792358f, 0.000259399f, -0.000015259f, -0.000747681f, 0.003479004f, -0.012939453f, + 0.025085449f, -0.110946655f, 0.031082153f, -0.738372803f, 1.120223999f, 0.404083252f, + 0.139450073f, 0.045837402f, 0.031387329f, 0.002334595f, 0.002685547f, 0.000244141f, + -0.000030518f, -0.000808716f, 0.003463745f, -0.014022827f, 0.023422241f, -0.115921021f, + 0.016510010f, -0.765029907f, 1.111373901f, 0.376800537f, 0.143264771f, 0.040634155f, + 0.031005859f, 0.001693726f, 0.002578735f, 0.000213623f, -0.000030518f, -0.000885010f, + 0.003417969f, -0.015121460f, 0.021575928f, -0.120697021f, 0.001068115f, -0.791213989f, + 1.101211548f, 0.349868774f, 0.146362305f, 0.035552979f, 0.030532837f, 0.001098633f, + 0.002456665f, 0.000198364f, -0.000030518f, -0.000961304f, 0.003372192f, -0.016235352f, + 0.019531250f, -0.125259399f, -0.015228271f, -0.816864014f, 1.089782715f, 0.323318481f, + 0.148773193f, 0.030609131f, 0.029937744f, 0.000549316f, 0.002349854f, 0.000167847f, + -0.000030518f, -0.001037598f, 0.003280640f, -0.017349243f, 0.017257690f, -0.129562378f, + -0.032379150f, -0.841949463f, 1.077117920f, 0.297210693f, 0.150497437f, 0.025817871f, + 0.029281616f, 0.000030518f, 0.002243042f, 0.000152588f, -0.000045776f, -0.001113892f, + 0.003173828f, -0.018463135f, 0.014801025f, -0.133590698f, -0.050354004f, -0.866363525f, + 1.063217163f, 0.271591187f, 0.151596069f, 0.021179199f, 0.028533936f, -0.000442505f, + 0.002120972f, 0.000137329f, -0.000045776f, -0.001205444f, 0.003051758f, -0.019577026f, + 0.012115479f, -0.137298584f, -0.069168091f, -0.890090942f, 1.048156738f, 0.246505737f, + 0.152069092f, 0.016708374f, 0.027725220f, -0.000869751f, 0.002014160f, 0.000122070f, + -0.000061035f, -0.001296997f, 0.002883911f, -0.020690918f, 0.009231567f, -0.140670776f, + -0.088775635f, -0.913055420f, 1.031936646f, 0.221984863f, 0.151962280f, 0.012420654f, + 0.026840210f, -0.001266479f, 0.001907349f, 0.000106812f, -0.000061035f, -0.001388550f, + 0.002700806f, -0.021789551f, 0.006134033f, -0.143676758f, -0.109161377f, -0.935195923f, + 1.014617920f, 0.198059082f, 0.151306152f, 0.008316040f, 0.025909424f, -0.001617432f, + 0.001785278f, 0.000106812f, -0.000076294f, -0.001480103f, 0.002487183f, -0.022857666f, + 0.002822876f, -0.146255493f, -0.130310059f, -0.956481934f, 0.996246338f, 0.174789429f, + 0.150115967f, 0.004394531f, 0.024932861f, -0.001937866f, 0.001693726f, 0.000091553f, + -0.000076294f, -0.001586914f, 0.002227783f, -0.023910522f, -0.000686646f, -0.148422241f, + -0.152206421f, -0.976852417f, 0.976852417f, 0.152206421f, 0.148422241f, 0.000686646f, + 0.023910522f, -0.002227783f, 0.001586914f, 0.000076294f, -0.000091553f, -0.001693726f, + 0.001937866f, -0.024932861f, -0.004394531f, -0.150115967f, -0.174789429f, -0.996246338f, + 0.956481934f, 0.130310059f, 0.146255493f, -0.002822876f, 0.022857666f, -0.002487183f, + 0.001480103f, 0.000076294f, -0.000106812f, -0.001785278f, 0.001617432f, -0.025909424f, + -0.008316040f, -0.151306152f, -0.198059082f, -1.014617920f, 0.935195923f, 0.109161377f, + 0.143676758f, -0.006134033f, 0.021789551f, -0.002700806f, 0.001388550f, 0.000061035f, + -0.000106812f, -0.001907349f, 0.001266479f, -0.026840210f, -0.012420654f, -0.151962280f, + -0.221984863f, -1.031936646f, 0.913055420f, 0.088775635f, 0.140670776f, -0.009231567f, + 0.020690918f, -0.002883911f, 0.001296997f, 0.000061035f, -0.000122070f, -0.002014160f, + 0.000869751f, -0.027725220f, -0.016708374f, -0.152069092f, -0.246505737f, -1.048156738f, + 0.890090942f, 0.069168091f, 0.137298584f, -0.012115479f, 0.019577026f, -0.003051758f, + 0.001205444f, 0.000045776f, -0.000137329f, -0.002120972f, 0.000442505f, -0.028533936f, + -0.021179199f, -0.151596069f, -0.271591187f, -1.063217163f, 0.866363525f, 0.050354004f, + 0.133590698f, -0.014801025f, 0.018463135f, -0.003173828f, 0.001113892f, 0.000045776f, + -0.000152588f, -0.002243042f, -0.000030518f, -0.029281616f, -0.025817871f, -0.150497437f, + -0.297210693f, -1.077117920f, 0.841949463f, 0.032379150f, 0.129562378f, -0.017257690f, + 0.017349243f, -0.003280640f, 0.001037598f, 0.000030518f, -0.000167847f, -0.002349854f, + -0.000549316f, -0.029937744f, -0.030609131f, -0.148773193f, -0.323318481f, -1.089782715f, + 0.816864014f, 0.015228271f, 0.125259399f, -0.019531250f, 0.016235352f, -0.003372192f, + 0.000961304f, 0.000030518f, -0.000198364f, -0.002456665f, -0.001098633f, -0.030532837f, + -0.035552979f, -0.146362305f, -0.349868774f, -1.101211548f, 0.791213989f, -0.001068115f, + 0.120697021f, -0.021575928f, 0.015121460f, -0.003417969f, 0.000885010f, 0.000030518f, + -0.000213623f, -0.002578735f, -0.001693726f, -0.031005859f, -0.040634155f, -0.143264771f, + -0.376800537f, -1.111373901f, 0.765029907f, -0.016510010f, 0.115921021f, -0.023422241f, + 0.014022827f, -0.003463745f, 0.000808716f, 0.000030518f, -0.000244141f, -0.002685547f, + -0.002334595f, -0.031387329f, -0.045837402f, -0.139450073f, -0.404083252f, -1.120223999f, + 0.738372803f, -0.031082153f, 0.110946655f, -0.025085449f, 0.012939453f, -0.003479004f, + 0.000747681f, 0.000015259f, -0.000259399f, -0.002792358f, -0.003005981f, -0.031661987f, + -0.051132202f, -0.134887695f, -0.431655884f, -1.127746582f, 0.711318970f, -0.044784546f, + 0.105819702f, -0.026535034f, 0.011886597f, -0.003479004f, 0.000686646f, 0.000015259f, + -0.000289917f, -0.002899170f, -0.003723145f, -0.031814575f, -0.056533813f, -0.129577637f, + -0.459472656f, -1.133926392f, 0.683914185f, -0.057617188f, 0.100540161f, -0.027801514f, + 0.010848999f, -0.003463745f, 0.000625610f, 0.000015259f, -0.000320435f, -0.002990723f, + -0.004486084f, -0.031845093f, -0.061996460f, -0.123474121f, -0.487472534f, -1.138763428f, + 0.656219482f, -0.069595337f, 0.095169067f, -0.028884888f, 0.009841919f, -0.003433228f, + 0.000579834f, 0.000015259f, -0.000366211f, -0.003082275f, -0.005294800f, -0.031738281f, + -0.067520142f, -0.116577148f, -0.515609741f, -1.142211914f, 0.628295898f, -0.080688477f, + 0.089706421f, -0.029785156f, 0.008865356f, -0.003387451f, 0.000534058f, 0.000015259f, + -0.000396729f, -0.003173828f, -0.006118774f, -0.031478882f, -0.073059082f, -0.108856201f, + -0.543823242f, -1.144287109f, 0.600219727f, -0.090927124f, 0.084182739f, -0.030517578f, + 0.007919312f, -0.003326416f, 0.000473022f, 0.000015259f }; + }