Changeset 1301 for cpp


Ignore:
Timestamp:
04/22/24 02:31:14 (8 months ago)
Author:
sz
Message:

evol test results updated

Location:
cpp/tests
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • cpp/tests/evol_test-fB.goal

    r1009 r1301  
    11Evaluation 0    12,12,12        3,3,3   2,2,2   0,0,0   0,0,0   7,7,7
    2 Evaluation 10   9,12.3,16       2,2.5,3 1,1.5,2 0,0.3,1 0,0,0   6,8,11
    3 Evaluation 20   9,13.8,17       2,2.8,3 1,1.8,2 0,0.1,1 0,0,0   6,9.1,12
    4 Evaluation 30   9,17.5,21       2,4,6   1,3,5   0,0,0   0,0,0   6,10.5,13
    5 Evaluation 40   14,18.7,23      3,4.3,6 2,3.3,5 0,0,0   0,0,0   9,11.1,12
    6 Evaluation 50   17,19.7,22      4,4.8,5 3,3.8,4 0,0,0   0,0,0   10,11.1,13
    7 Evaluation 60   16,19.6,22      3,4.6,5 2,3.6,4 0,0,0   0,0,0   10,11.4,13
    8 Evaluation 70   18,21.3,22      4,4.9,5 3,3.9,4 0,0,0   0,0,0   11,12.5,13
    9 Evaluation 80   16,20.3,22      3,4.8,5 2,3.8,4 0,0,0   0,0,0   11,11.7,13
    10 Evaluation 90   18,20.9,23      4,4.8,5 3,3.8,4 0,0,0   0,0,0   11,12.3,14
    11 Evaluation 99   18,22,25        4,4.8,5 3,3.8,4 0,0,0   0,0,0   11,13.4,16
    12 23.0    //B
    13 5
    14 aaaaabzbgacz
    15 19.0    //B
    16 5
    17 aaacfaaazy
    18 18.0    //B
    19 5
    20 aabdaaazz
    21 22.0    //B
    22 5
    23 aaaaaazbacz
    24 25.0    //B
    25 5
    26 aaabaaabzbgacz
    27 22.0    //B
    28 5
    29 aaaaabzbacz
    30 23.0    //B
    31 5
    32 aaaaabzbgacz
    33 22.0    //B
    34 5
    35 aaaaaazbacz
    36 25.0    //B
    37 5
    38 aabaaaabzbgacz
    39 21.0    //B
    40 5
    41 aaacfaaazz
     2Evaluation 10   9,14.9,23       2,2.8,4 1,1.8,3 0,0,0   0,0,0   6,10.3,20
     3Evaluation 20   9,20.4,37       2,2.7,4 1,1.7,3 0,0,0   0,0,0   6,16,32
     4Evaluation 30   12,20,26        2,2.6,4 1,1.6,3 0,0,0   0,0,0   7,15.8,23
     5Evaluation 40   12,23.9,39      2,2.3,4 1,1.3,3 0,0,0   0,0,0   9,20.3,34
     6Evaluation 50   12,31.8,43      2,2.7,4 1,1.7,3 0,0,0   0,0,0   9,27.4,36
     7Evaluation 60   12,29.5,43      2,2.6,4 1,1.6,3 0,0,0   0,0,0   9,25.3,36
     8Evaluation 70   23,38.2,44      2,3.1,4 1,2.1,3 0,0,0   0,0,0   20,33,37
     9Evaluation 80   39,43.6,50      2,3.8,6 1,2.8,5 0,0,0   0,0,0   36,37,39
     10Evaluation 90   41,45.2,51      3,4.1,6 2,3.1,5 0,0.1,1 0,0.1,1 36,37.8,40
     11Evaluation 99   41,45.5,51      3,4,5   2,3,4   0,0.2,1 0,0.2,1 36,38.1,42
     1244.0    //B
     133
     14aaaba"N:s=-0.213"aaa"T:rz=-0.939"zz
     1547.0    //B
     163
     17aaaa"N:s=-0.213"aaa"T:rz=-0.939"zbkz
     1845.0    //B
     193
     20aaakba"N:s=-0.213"aaa"T:rz=-0.939"zz
     2141.0    //B
     223
     23aaba"N:s=-0.213"aaa"T:rz=-0.939"zz
     2451.0    //B
     253
     26aaa"G"aaba"N:s=-0.213"aaa"T:rz=-0.939"zz
     2749.0    //B
     283
     29aabaaaka"N:s=-0.213"aaa"T:rz=-0.939"zz
     3045.0    //B
     313
     32aaa"T:rz=-0.939"zbk"N:s=-0.213"aaaaz
     3341.0    //B
     343
     35aaaba"N:s=-0.213"aa"T:rz=-0.939"zz
     3647.0    //B
     373
     38aaaa"N:s=-0.213"aaa"T:rz=-0.939"zbkz
     3945.0    //B
     403
     41aaaba"N:s=-0.213"daaa"T:rz=-0.939"zz
    4242

  • cpp/tests/evol_test-fH.goal

    r1263 r1301  
    11Evaluation 0    7,7.6,13        2,2.1,3 1,1.1,2 0,0,0   0,0,0   4,4.4,8
    2 Evaluation 10   7,26.2,53       2,2.7,3 1,1.7,2 0,0,0   0,0,0   4,21.8,48
    3 Evaluation 20   7,100.8,323     2,2.8,4 1,1.8,3 0,0.2,1 0,0,0   4,96,315
    4 Evaluation 30   13,217.7,427    2,2.7,4 1,1.7,3 0,0.2,1 0,0.1,1 8,213,421
    5 Evaluation 40   13,192.8,343    2,2.7,5 1,1.7,4 0,0,0   0,0,0   8,188.4,334
    6 Evaluation 50   139,348.3,534   2,2.7,5 1,1.7,4 0,0.3,1 0,0,0   136,343.6,529
    7 Evaluation 60   416,543.9,675   2,3,4   1,2,3   0,0.4,1 0,0,0   410,538.5,668
    8 Evaluation 70   402,611.6,781   2,2.8,4 1,1.8,3 0,0.4,1 0,0,0   399,606.6,777
    9 Evaluation 80   529,742.8,1447  2,3.1,4 1,2.1,3 0,0.6,2 0,0,0   526,737,1438
    10 Evaluation 90   670,1105.1,1595 2,4.1,5 1,3.1,4 0,1.1,3 0,0.2,1 664,1096.6,1582
    11 Evaluation 99   658,1262.1,2159 3,5.1,9 2,4.1,8 0,1.6,3 0,0.5,1 651,1250.8,2143
    12 1591.0  //H
     2Evaluation 10   7,95.7,300      2,2.6,4 1,1.6,3 0,0.3,1 0,0,0   4,91.2,292
     3Evaluation 20   7,213.5,441     2,3.2,4 1,2.2,3 0,0.5,1 0,0,0   4,207.6,433
     4Evaluation 30   154,500.3,868   3,4.5,5 2,3.5,4 0,1.1,2 0,0,0   147,491.2,857
     5Evaluation 40   421,597.5,868   4,4.8,6 3,3.8,5 0,1.2,2 0,0,0   412,587.7,857
     6Evaluation 50   421,768.7,1432  4,5.6,9 3,4.6,8 0,1.5,3 0,0,0   412,757,1413
     7Evaluation 60   453,958.1,1444  3,6.7,10        2,5.7,9 1,1.8,3 0,0,0   445,943.9,1424
     8Evaluation 70   453,1125.2,1582 4,7.6,9 3,6.6,8 1,2,3   0,0,0   445,1109,1562
     9Evaluation 80   878,1350,1590   7,8.2,10        6,7.2,9 2,2.6,3 0,0,0   863,1332,1570
     10Evaluation 90   595,1179.2,1736 6,7.7,10        5,6.7,9 1,2.3,4 0,0,0   583,1162.5,1713
     11Evaluation 99   1015,1336.6,1736        7,8.4,10        6,7.4,9 2,2.9,4 0,0,0   998,1317.9,1713
     121735.0  //H
    13133
    14 j:-0.023887430783361197, -0.28877452993765473, 0.8808639030903578, -0.7503338782116771, 0.4441613215021789, -0.9390940684825182, l=0.952
     14j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.363
     15j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     16j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     17j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     18j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    1519j:
     20j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     21j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     22j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     23n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     24n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     25n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     26n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.51
     27
     281278.0  //H
     293
     30j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     31j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.364
     32j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     33j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    1634j:
    17 n:0.5960936606861651, -0.6287281136028469, 0.788, 0.7706753285601735, 0.359758909791708, -0.08774045528843999, d=*
    18 n:0.644235469866544, -0.6203041723929346, 0.022637964691966772, -0.4043163564056158, -0.19773531705141068, -0.7586860070005059, d=G
    19 n:-0.48259536596015096, -0.5689423708245158, 0.15982480067759752, 0.7935223132371902, -0.18653331650421023, 0.10415654024109244, d=@:p=0.828
    20 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    21 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    22 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    23 c:0.6980766113847494, -0.9333907472901046, 0.9179654428735375, 0.4844759553670883, -0.38602789491415024, -0.7604573033750057, -0.583
    24 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    25 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, -1.595
    26 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.162
    27 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 0.604
     35j:0.2289294134825468, -0.9338508220389485, -0.9687878657132387, 0.6790259419940412, 0.04474106524139643, 0.026149732992053032, rotstif=0.98
     36n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     37n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     38n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     39c:0.23696052748709917, 0.948512434028089, 0.9806900122202933, -0.5106971822679043, -0.25135360984131694, -0.9086807160638273, 0.005
    2840
    29 1787.0  //H
     411146.0  //H
     423
     43j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     44j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     45j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     46j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     47j:
     48j:0.2289294134825468, -0.9338508220389485, -0.9687878657132387, 0.6790259419940412, 0.04474106524139643, 0.026149732992053032, rotstif=0.98
     49n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     50n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     51n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     52
     531448.0  //H
     543
     55j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     56j:
     57j:0.3556330786086619, -0.459984062705189, 0.47038804087787867, 0.13923680875450373, 0.40747456159442663, -0.4230471351183951, l=0.966
     58j:-0.7859917231835425, 0.17938943253830075, 0.49079614458605647, 0.16680837189778686, 0.8729361924342811, 0.8815633179619908, fr=0.267, l=1.217
     59j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.363
     60j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     61j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     62j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     63n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     64n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     65n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     66
     671278.0  //H
     683
     69j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     70j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     71j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     72j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     73j:
     74j:0.2289294134825468, -0.9338508220389485, -0.9687878657132387, 0.6790259419940412, 0.04474106524139643, 0.026149732992053032, rotstif=0.98
     75n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     76n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     77n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     78c:0.23696052748709917, 0.948512434028089, 0.9806900122202933, -0.5106971822679043, -0.25135360984131694, -0.9086807160638273, 0.005
     79
     801438.0  //H
     813
     82j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     83j:
     84j:0.3556330786086619, -0.459984062705189, 0.47038804087787867, 0.13923680875450373, 0.40747456159442663, -0.4230471351183951, l=0.966
     85j:-0.7859917231835425, 0.17938943253830075, 0.49079614458605647, 0.16680837189778686, 0.8729361924342811, 0.8815633179619908, l=1.217
     86j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.363
     87j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     88j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     89j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     90n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     91n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     92n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     93
     941015.0  //H
    30953
    3196j:
    32 j:-0.023887430783361197, -0.28877452993765473, 0.8808639030903578, -0.7503338782116771, 0.4441613215021789, -0.9390940684825182, l=0.952
     97j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    3398j:
    34 j:rotstif=0.94
     99j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     100j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     101j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     102j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     103n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     104n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     105
     1061023.0  //H
     1073
     108j:fr=0.866
     109j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    35110j:
    36 j:0.5583839416503906, 0.850326859857887, 0.43035749765112996, -0.08028824254870415, -0.9107754053547978, 0.5995917664840817, rotstif=0.801
    37 j:-0.023887430783361197, -0.28877452993765473, 0.8808639030903578, -0.7503338782116771, 0.4441613215021789, -0.9390940684825182, l=0.952
     111j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     112j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     113j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     114j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     115n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     116n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     117
     1181736.0  //H
     1193
     120j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.363
     121j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     122j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     123j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     124j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    38125j:
    39 n:-0.48259536596015096, -0.5689423708245158, 0.15982480067759752, 0.7935223132371902, -0.18653331650421023, 0.10415654024109244, d=@:p=0.828
    40 n:-0.48259536596015096, -0.5689423708245158, 0.15982480067759752, 0.7935223132371902, -0.18653331650421023, 0.10415654024109244, d=@:p=0.828
    41 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    42 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.162
    43 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    44 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    45 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    46 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    47 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, -1.595
    48 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.162
     126j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     127j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     128j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     129n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     130n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     131n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     132n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    49133
    50 2159.0  //H
     1341269.0  //H
    511353
    52 j:rotstif=0.94
     136j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
     137j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    53138j:
    54 j:0.5583839416503906, 0.850326859857887, 0.43035749765112996, -0.08028824254870415, -0.9107754053547978, 0.5995917664840817, rotstif=0.801
    55 j:-0.023887430783361197, -0.28877452993765473, 0.8808639030903578, -0.7503338782116771, 0.4441613215021789, -0.9390940684825182, l=0.952
     139j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    56140j:
    57 j:
    58 n:0.644235469866544, -0.6203041723929346, 0.022637964691966772, -0.4043163564056158, -0.19773531705141068, -0.7586860070005059, d=G
    59 n:-0.48259536596015096, -0.5689423708245158, 0.15982480067759752, 0.7935223132371902, -0.18653331650421023, 0.10415654024109244, d=@:p=0.828
    60 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    61 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    62 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.162
    63 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    64 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    65 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    66 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    67 c:0.6980766113847494, -0.9333907472901046, 0.9179654428735375, 0.4844759553670883, -0.38602789491415024, -0.7604573033750057, -0.583
    68 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    69 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, -1.595
    70 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.162
    71 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 0.604
    72 
    73 1203.0  //H
    74 3
    75 j:-0.023887430783361197, -0.28877452993765473, 0.8808639030903578, -0.7503338782116771, 0.4441613215021789, -0.9390940684825182, l=0.952
    76 j:
    77 j:
    78 j:
    79 n:0.5960936606861651, -0.6287281136028469, 0.788, 0.7706753285601735, 0.359758909791708, -0.08774045528843999, d=*
    80 n:-0.48259536596015096, -0.5689423708245158, 0.15982480067759752, 0.7935223132371902, -0.18653331650421023, 0.10415654024109244, d=@:p=0.828
    81 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    82 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    83 c:0.6980766113847494, -0.9333907472901046, 0.9179654428735375, 0.4844759553670883, -0.38602789491415024, -0.7604573033750057, -3.081
    84 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.162
    85 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 0.604
    86 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, -1.595
    87 
    88 1576.0  //H
    89 3
    90 j:-0.023887430783361197, -0.28877452993765473, 0.8808639030903578, -0.7503338782116771, 0.4441613215021789, -0.9390940684825182, l=0.952
    91 j:
    92 j:
    93 n:0.5960936606861651, -0.6287281136028469, 0.788, 0.7706753285601735, 0.359758909791708, -0.08774045528843999, d=*
    94 n:0.644235469866544, -0.6203041723929346, 0.261, -0.4043163564056158, -0.19773531705141068, -0.7586860070005059, d=G
    95 n:-0.48259536596015096, -0.5689423708245158, 0.15982480067759752, 0.7935223132371902, -0.18653331650421023, 0.10415654024109244, d=@:p=0.828
    96 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    97 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    98 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    99 c:0.6980766113847494, -0.9333907472901046, 0.9179654428735375, 0.4844759553670883, -0.38602789491415024, -0.7604573033750057, -3.081
    100 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    101 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, -1.595
    102 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.162
    103 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 0.604
    104 
    105 670.0   //H
    106 3
    107 j:
    108 j:
    109 n:0.644235469866544, -0.6203041723929346, 0.022637964691966772, -0.4043163564056158, -0.19773531705141068, -0.7586860070005059, d=G
    110 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, -1.556
    111 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    112 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, -2.881
    113 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    114 
    115 687.0   //H
    116 3
    117 j:rotstif=0.94
    118 j:
    119 j:0.5583839416503906, 0.850326859857887, 0.43035749765112996, -0.08028824254870415, -0.9107754053547978, 0.5995917664840817, rotstif=0.801
    120 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    121 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    122 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.162
    123 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    124 
    125 1595.0  //H
    126 3
    127 j:
    128 j:-0.023887430783361197, -0.28877452993765473, 0.8808639030903578, -0.7503338782116771, 0.4441613215021789, -0.9390940684825182, l=0.952
    129 j:
    130 j:
    131 n:0.5960936606861651, -0.6287281136028469, 0.788, 0.7706753285601735, 0.359758909791708, -0.08774045528843999, d=*
    132 n:0.644235469866544, -0.6203041723929346, 0.022637964691966772, -0.4043163564056158, -0.19773531705141068, -0.7586860070005059, d=G
    133 n:-0.48259536596015096, -0.5689423708245158, 0.15982480067759752, 0.7935223132371902, -0.18653331650421023, 0.10415654024109244, d=@:p=0.828
    134 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    135 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.162
    136 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    137 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    138 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    139 c:0.6980766113847494, -0.9333907472901046, 0.9179654428735375, 0.4844759553670883, -0.38602789491415024, -0.7604573033750057, -0.583
    140 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.162
    141 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 0.604
    142 
    143 695.0   //H
    144 3
    145 j:
    146 j:rotstif=0.94
    147 j:-0.023887430783361197, -0.28877452993765473, 0.8808639030903578, -0.7503338782116771, 0.4441613215021789, -0.9390940684825182, l=0.952
    148 j:
    149 j:
    150 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    151 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    152 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    153 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.162
    154 
    155 658.0   //H
    156 3
    157 j:rotstif=0.94
    158 j:
    159 j:0.5583839416503906, 0.850326859857887, 0.43035749765112996, 0.108, -0.9107754053547978, 0.5995917664840817, rotstif=0.801
    160 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.36, 1.28
    161 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
    162 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.162
    163 c:0.6846841583028436, 0.2943482771515846, 0.6827722443267703, -0.7364042759872973, 0.43265439569950104, -0.4211878180503845, 1.28
     141j:0.3556330786086619, -0.459984062705189, 0.47038804087787867, 0.13923680875450373, 0.40747456159442663, -0.4230471351183951, l=0.966
     142j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
     143j:-0.7859917231835425, 0.17938943253830075, 0.49079614458605647, 0.16680837189778686, 0.8729361924342811, 0.8815633179619908, l=1.217
     144n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     145n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     146c:0.23696052748709917, 0.948512434028089, 0.9806900122202933, -0.5106971822679043, -0.25135360984131694, -0.9086807160638273, 0.005
    164147
    165148

  • cpp/tests/evol_test-fL.goal

    r1143 r1301  
    11Evaluation 0    34,37.6,38      2,2,2   1,1,1   0,0,0   0,0,0   31,34.6,35
    2 Evaluation 10   29,40.4,56      2,2,2   1,1,1   0,0,0   0,0,0   26,37.4,53
    3 Evaluation 20   29,53,98        2,2.2,3 1,1.2,2 0,0.5,2 0,0.2,1 26,48.9,90
    4 Evaluation 30   29,80,119       2,2.3,3 1,1.3,2 0,1.2,2 0,0.6,1 26,74.6,111
    5 Evaluation 40   29,84.7,147     2,2.4,4 1,1.4,3 0,1.2,2 0,0.6,1 26,79.1,137
    6 Evaluation 50   34,126.8,162    2,3.5,4 1,2.5,3 0,2,3   0,0.5,1 31,118.3,151
    7 Evaluation 60   124,148.5,162   4,4,4   3,3,3   2,2.6,3 0,0.6,1 115,138.3,151
    8 Evaluation 70   133,158,178     4,4.2,5 3,3.2,4 2,2.9,4 0,0.8,1 124,146.9,167
    9 Evaluation 80   136,159.7,173   4,4.4,5 3,3.4,4 2,2.8,3 1,1,1   126,148.1,162
    10 Evaluation 90   136,163,189     4,4.6,5 3,3.6,4 2,2.8,3 1,1,1   126,151,178
    11 Evaluation 99   136,168.2,189   4,4.8,5 3,3.8,4 2,2.9,3 1,1,1   126,155.7,178
    12 167.0   //L
    13 w:w0
    14 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.993)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
     2Evaluation 10   34,47.7,77      2,2,2   1,1,1   0,0.2,1 0,0,0   31,44.5,74
     3Evaluation 20   34,44.8,55      2,2,2   1,1,1   0,0,0   0,0,0   31,41.8,52
     4Evaluation 30   34,46.4,55      2,2,2   1,1,1   0,0.1,1 0,0,0   31,43.3,52
     5Evaluation 40   34,51.6,79      2,2,2   1,1,1   0,0.1,1 0,0,0   31,48.5,76
     6Evaluation 50   36,52.8,62      2,2,2   1,1,1   0,0.3,1 0,0,0   32,49.5,58
     7Evaluation 60   36,65.2,88      2,2.1,3 1,1.1,2 0,0.8,1 0,0,0   32,61.2,82
     8Evaluation 70   36,70.5,96      2,2.2,3 1,1.2,2 0,1,2   0,0,0   32,66.1,90
     9Evaluation 80   69,85.3,123     2,2,2   1,1,1   1,1.1,2 0,0,0   64,81.2,119
     10Evaluation 90   70,98.3,127     2,2,2   1,1,1   1,1.1,2 0,0,0   66,94.2,123
     11Evaluation 99   93,117.9,143    2,2,2   1,1,1   1,1.4,2 0,0.2,1 89,113.3,137
     12143.0   //L
     13w:w0, 2
     14w:w1, 2
     15i:axiom=rotX(1.354823648929596)C(0.7401745021343231)w0()N(d=@:p=0.925)C(-0.6802658420056105)N(d=G)S(), 0.0, maxwords=300
    1516
    16 162.0   //L
    17 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.947)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
     17127.0   //L
     18w:w1, 2
     19w:w0, 2
     20i:axiom=rotX(1.354823648929596)C(0.7401745021343231)w0()C(-0.6802658420056105)N(d=G)S(), 0.0, maxwords=300
    1821
    19 167.0   //L
    20 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.947)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300
     22123.0   //L
     23w:w0, 2
     24w:w1, 2
     25i:axiom=N(d=Gpart:ry=-0.962)rotY(1.9037489495240152)C(0.7401745021343231)N(d=G)S(), 0.0, maxwords=300
    2126
    22 136.0   //L
    23 i:axiom=N(d=@:p=0.993)N(d=@:p=0.975)S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
     27143.0   //L
     28w:w0, 2
     29w:w1, 2
     30i:axiom=rotX(1.354823648929596)C(0.7401745021343231)w0()N(d=@:p=0.925)C(-0.6802658420056105)N(d=G)S(), 0.0, maxwords=300
    2431
    25 189.0   //L
    26 i:axiom="N(d=Gpart:rz=-0.665)N(d=@:p=0.947)N(d=@:p=0.975)S()S(fr=0.8289400283247232, stam=0.4012594970408827)S()C(-0.7881847871467471)S(stam=0.5370225172955543)", maxwords=300
     32102.0   //L
     33w:w1, 2
     34w:w0, 2
     35i:axiom=rotY(1.9037489495240152)C(0.7401745021343231)N(d=G)S(), 0.0, maxwords=300
    2736
    28 167.0   //L
    29 w:w0
    30 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.993)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
     3796.0    //L
     38w:w1, 2
     39w:w0, 2
     40i:axiom=rotX(1.354823648929596)C(0.7401745021343231)N(d=G)S(), maxwords=300
    3141
    32 172.0   //L
    33 w:w0
    34 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.993)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300
     42123.0   //L
     43w:w1, 2
     44w:w0, 2
     45i:axiom=N(d=Gpart:ry=-0.962)rotY(1.9037489495240152)C(0.7401745021343231)N(d=G)S(), 0.0, maxwords=300
    3546
    36 166.0   //L
    37 w:w0
    38 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.99)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
     4793.0    //L
     48w:w0, 2
     49i:axiom=rotX(1.354823648929596)C(0.7401745021343231)N(d=G)S(), 0.0, maxwords=300
    3950
    40 189.0   //L
    41 w:w0
    42 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.993)N(d=@:p=0.975)S()S(fr=0.8289400283247232)C(-0.8130810903385282)C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300
     51127.0   //L
     52w:w0, 2
     53w:w1, 2
     54i:axiom=rotX(1.354823648929596)C(0.7401745021343231)w0()C(-0.6802658420056105)N(d=G)S(), 0.0, maxwords=300
    4355
    44 167.0   //L
    45 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.947)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300
     56102.0   //L
     57w:w0, 2
     58w:w1, 2
     59i:axiom=rotY(1.9037489495240152)C(0.7401745021343231)N(d=G)S(), 0.0, maxwords=300
    4660
    4761
Note: See TracChangeset for help on using the changeset viewer.