begin frb_curve_t (format of 2004-04-30) | Input candidate set: | Last edited on 2005-01-02 00:20:33 by stolfi | | False candidates | Generated from ../../std/s/raw.can by swapping segments | between candidates. | | Input candidate: | Candidate index = 6 | Segment [0] from curve 5 | 933 samples [3102..4034] | 0.134 of the curve [0.446__0.580] | Segment [1] from curve 7 (reversed) | 1407 samples [4903..6309] | 0.212 of the curve [0.737__0.948] | | | | side = "b" | | converted to shape function unit = 0.00529167 samples = 1407 0 0 0 4 2 0 7 3 0 11 5 0 15 7 0 18 8 0 22 10 0 25 12 0 29 13 0 33 15 0 36 17 0 39 19 0 43 22 0 46 24 0 49 26 0 52 29 0 55 31 0 59 34 0 62 36 0 65 39 0 68 41 0 71 44 0 74 46 0 78 48 0 81 50 0 85 52 0 88 54 0 92 55 0 96 57 0 99 59 0 103 60 0 107 62 0 111 63 0 114 64 0 118 65 0 122 66 0 126 67 0 130 68 0 134 69 0 138 69 0 142 70 0 146 70 0 150 70 0 154 70 0 158 70 0 162 71 0 166 71 0 170 71 0 174 71 0 178 71 0 182 72 0 186 72 0 190 72 0 194 73 0 198 73 0 202 73 0 206 74 0 210 74 0 214 75 0 217 75 0 221 76 0 225 76 0 229 77 0 233 77 0 237 78 0 241 78 0 245 79 0 249 79 0 253 80 0 257 80 0 261 81 0 265 82 0 269 83 0 273 84 0 277 85 0 280 87 0 284 88 0 288 90 0 291 92 0 294 94 0 298 96 0 301 99 0 304 101 0 307 104 0 310 106 0 314 109 0 317 111 0 320 113 0 323 115 0 327 118 0 330 120 0 334 121 0 337 123 0 341 125 0 345 126 0 348 128 0 352 129 0 356 130 0 360 132 0 364 133 0 367 134 0 371 136 0 375 137 0 379 138 0 382 140 0 386 141 0 390 143 0 394 144 0 397 145 0 401 147 0 405 147 0 409 148 0 413 149 0 417 149 0 421 150 0 425 150 0 429 150 0 433 151 0 437 151 0 441 151 0 445 152 0 449 152 0 453 152 0 457 153 0 461 153 0 465 154 0 469 155 0 472 156 0 476 157 0 480 158 0 484 159 0 488 161 0 491 162 0 495 164 0 499 165 0 503 166 0 506 168 0 510 169 0 514 171 0 518 172 0 521 173 0 525 174 0 529 175 0 533 176 0 537 177 0 541 177 0 545 177 0 549 178 0 553 177 0 557 177 0 561 177 0 565 176 0 569 175 0 573 175 0 577 174 0 581 173 0 584 172 0 588 171 0 592 170 0 596 169 0 600 168 0 604 167 0 608 166 0 612 165 0 615 164 0 619 163 0 623 162 0 627 161 0 631 161 0 635 160 0 639 159 0 643 158 0 647 157 0 651 156 0 655 156 0 659 155 0 662 155 0 667 154 0 670 154 0 674 154 0 678 155 0 682 155 0 686 156 0 690 157 0 694 157 0 698 158 0 702 159 0 706 160 0 710 160 0 714 161 0 718 162 0 722 162 0 726 163 0 730 164 0 734 164 0 738 165 0 742 166 0 745 167 0 749 168 0 753 168 0 757 169 0 761 170 0 765 171 0 769 171 0 773 172 0 777 172 0 781 172 0 785 172 0 789 172 0 793 172 0 797 172 0 801 172 0 805 171 0 809 171 0 813 171 0 817 170 0 821 170 0 825 170 0 829 169 0 833 169 0 837 169 0 841 169 0 845 169 0 849 169 0 853 169 0 857 168 0 861 168 0 865 168 0 869 168 0 873 167 0 877 167 0 881 166 0 884 164 0 888 163 0 892 161 0 895 160 0 899 158 0 903 156 0 906 154 0 910 153 0 914 151 0 917 150 0 921 149 0 925 148 0 929 146 0 933 145 0 936 144 0 940 143 0 944 142 0 948 141 0 952 140 0 956 139 0 960 139 0 964 138 0 968 137 0 972 136 0 976 136 0 979 135 0 983 135 0 987 134 0 991 134 0 995 134 0 999 134 0 1003 133 0 1007 134 0 1011 134 0 1015 134 0 1019 134 0 1023 135 0 1027 136 0 1031 136 0 1035 137 0 1039 138 0 1043 139 0 1047 140 0 1051 142 0 1054 143 0 1058 144 0 1062 144 0 1066 145 0 1070 145 0 1074 146 0 1078 146 0 1082 145 0 1086 145 0 1090 144 0 1094 144 0 1098 143 0 1102 143 0 1106 142 0 1110 141 0 1114 141 0 1118 140 0 1122 140 0 1126 140 0 1130 140 0 1134 140 0 1138 140 0 1142 140 0 1146 140 0 1150 140 0 1154 140 0 1158 141 0 1162 141 0 1166 141 0 1170 142 0 1174 142 0 1178 143 0 1182 143 0 1185 144 0 1189 145 0 1193 146 0 1197 147 0 1201 148 0 1205 149 0 1209 151 0 1212 152 0 1216 153 0 1220 155 0 1224 156 0 1227 157 0 1231 158 0 1235 159 0 1239 160 0 1243 161 0 1247 161 0 1251 162 0 1255 162 0 1259 162 0 1263 162 0 1267 162 0 1271 162 0 1275 162 0 1279 162 0 1283 162 0 1287 161 0 1291 161 0 1295 160 0 1299 160 0 1303 160 0 1307 159 0 1311 159 0 1315 159 0 1319 159 0 1323 159 0 1327 159 0 1331 159 0 1335 159 0 1339 160 0 1343 160 0 1347 160 0 1351 160 0 1355 159 0 1359 159 0 1363 158 0 1366 157 0 1370 156 0 1374 155 0 1378 154 0 1382 152 0 1386 152 0 1390 151 0 1394 150 0 1398 149 0 1401 149 0 1405 148 0 1409 148 0 1413 147 0 1417 146 0 1421 145 0 1425 145 0 1429 143 0 1433 142 0 1437 141 0 1440 140 0 1444 139 0 1448 137 0 1452 136 0 1456 135 0 1460 134 0 1463 133 0 1467 133 0 1471 132 0 1475 131 0 1479 130 0 1483 130 0 1487 129 0 1491 128 0 1495 127 0 1499 127 0 1503 126 0 1507 125 0 1511 124 0 1515 124 0 1518 123 0 1522 122 0 1526 121 0 1530 120 0 1534 119 0 1538 118 0 1542 117 0 1546 116 0 1549 115 0 1553 113 0 1557 112 0 1561 110 0 1564 109 0 1568 107 0 1572 106 0 1575 104 0 1579 103 0 1583 102 0 1587 101 0 1591 100 0 1595 100 0 1599 100 0 1603 100 0 1607 100 0 1611 101 0 1615 101 0 1619 102 0 1623 103 0 1626 104 0 1630 105 0 1634 105 0 1638 106 0 1642 106 0 1646 107 0 1650 107 0 1654 107 0 1658 108 0 1662 108 0 1666 108 0 1670 108 0 1674 108 0 1678 109 0 1682 109 0 1686 110 0 1690 111 0 1694 112 0 1698 113 0 1701 115 0 1705 116 0 1709 117 0 1713 118 0 1717 120 0 1720 121 0 1724 122 0 1728 122 0 1732 123 0 1736 124 0 1740 124 0 1744 125 0 1748 125 0 1752 126 0 1756 126 0 1760 127 0 1764 128 0 1768 128 0 1772 129 0 1776 130 0 1780 130 0 1784 131 0 1788 131 0 1792 132 0 1795 132 0 1799 133 0 1803 134 0 1807 134 0 1811 135 0 1815 136 0 1819 137 0 1823 137 0 1827 138 0 1831 139 0 1835 141 0 1838 142 0 1842 143 0 1846 144 0 1850 146 0 1854 147 0 1857 148 0 1861 150 0 1865 151 0 1868 153 0 1872 155 0 1876 156 0 1879 158 0 1883 159 0 1887 161 0 1890 162 0 1894 164 0 1898 166 0 1902 167 0 1905 169 0 1909 170 0 1913 172 0 1916 173 0 1920 175 0 1924 176 0 1927 178 0 1931 179 0 1935 180 0 1939 181 0 1943 183 0 1947 184 0 1950 184 0 1954 185 0 1958 186 0 1962 187 0 1966 188 0 1970 189 0 1974 190 0 1977 192 0 1981 193 0 1985 194 0 1989 196 0 1993 197 0 1996 198 0 2000 200 0 2004 201 0 2007 203 0 2011 204 0 2015 205 0 2019 207 0 2023 208 0 2026 209 0 2030 210 0 2034 211 0 2038 212 0 2042 213 0 2046 214 0 2050 215 0 2054 216 0 2057 217 0 2061 218 0 2065 219 0 2069 220 0 2073 221 0 2077 223 0 2080 224 0 2084 226 0 2087 228 0 2091 230 0 2094 232 0 2098 234 0 2101 236 0 2105 238 0 2108 239 0 2112 241 0 2116 243 0 2119 245 0 2123 247 0 2126 248 0 2130 250 0 2134 251 0 2137 253 0 2141 255 0 2145 256 0 2149 257 0 2152 259 0 2156 260 0 2160 261 0 2164 262 0 2168 263 0 2172 263 0 2176 264 0 2180 265 0 2184 266 0 2188 266 0 2192 267 0 2195 267 0 2199 267 0 2203 267 0 2207 267 0 2211 267 0 2215 267 0 2219 267 0 2223 266 0 2227 266 0 2231 265 0 2235 264 0 2239 263 0 2243 262 0 2247 261 0 2251 260 0 2254 258 0 2258 257 0 2262 255 0 2265 253 0 2269 252 0 2272 250 0 2276 248 0 2279 246 0 2283 244 0 2287 242 0 2290 241 0 2294 239 0 2297 237 0 2301 236 0 2305 234 0 2308 232 0 2312 231 0 2316 229 0 2319 228 0 2323 226 0 2327 225 0 2331 224 0 2335 223 0 2339 222 0 2343 222 0 2347 221 0 2351 221 0 2354 220 0 2358 220 0 2362 220 0 2366 220 0 2370 220 0 2374 219 0 2378 219 0 2382 219 0 2386 218 0 2390 218 0 2394 217 0 2398 217 0 2402 216 0 2406 216 0 2410 215 0 2414 215 0 2418 214 0 2422 214 0 2426 214 0 2430 214 0 2434 213 0 2438 213 0 2442 212 0 2446 212 0 2450 211 0 2454 210 0 2458 209 0 2462 208 0 2465 207 0 2469 206 0 2473 204 0 2477 203 0 2480 201 0 2484 200 0 2488 198 0 2491 197 0 2495 195 0 2499 194 0 2502 192 0 2506 190 0 2510 189 0 2514 188 0 2517 186 0 2521 185 0 2525 184 0 2529 183 0 2533 182 0 2537 181 0 2541 181 0 2545 181 0 2549 181 0 2553 181 0 2557 181 0 2561 181 0 2565 182 0 2569 183 0 2572 184 0 2576 186 0 2580 187 0 2584 188 0 2587 190 0 2591 191 0 2595 193 0 2599 194 0 2602 195 0 2606 196 0 2610 197 0 2614 198 0 2618 198 0 2622 199 0 2626 199 0 2630 199 0 2634 199 0 2638 199 0 2642 199 0 2646 198 0 2650 197 0 2654 196 0 2658 195 0 2661 194 0 2665 192 0 2669 191 0 2672 189 0 2676 188 0 2680 186 0 2683 184 0 2687 183 0 2691 182 0 2695 180 0 2698 179 0 2702 178 0 2706 176 0 2710 175 0 2714 174 0 2717 173 0 2721 172 0 2725 170 0 2729 169 0 2733 168 0 2736 167 0 2740 165 0 2744 164 0 2748 163 0 2752 162 0 2755 160 0 2759 159 0 2763 157 0 2767 156 0 2770 154 0 2774 152 0 2777 151 0 2781 149 0 2785 147 0 2788 145 0 2792 143 0 2795 141 0 2799 139 0 2802 138 0 2806 136 0 2809 134 0 2813 132 0 2816 130 0 2820 128 0 2823 126 0 2827 125 0 2831 123 0 2834 121 0 2838 120 0 2842 118 0 2845 117 0 2849 116 0 2853 115 0 2857 114 0 2861 113 0 2865 112 0 2869 111 0 2873 111 0 2877 110 0 2881 109 0 2884 108 0 2888 107 0 2892 106 0 2896 105 0 2900 103 0 2903 102 0 2907 100 0 2911 99 0 2914 97 0 2918 95 0 2921 93 0 2925 92 0 2929 90 0 2932 88 0 2936 86 0 2939 84 0 2943 83 0 2946 81 0 2950 79 0 2953 77 0 2957 75 0 2960 73 0 2964 71 0 2967 68 0 2970 66 0 2974 64 0 2977 61 0 2980 59 0 2983 57 0 2987 55 0 2990 53 0 2994 51 0 2998 50 0 3002 49 0 3005 48 0 3009 47 0 3013 47 0 3017 46 0 3021 46 0 3025 46 0 3029 47 0 3033 47 0 3037 47 0 3041 47 0 3045 48 0 3049 48 0 3053 47 0 3057 47 0 3061 47 0 3065 46 0 3069 45 0 3073 44 0 3077 43 0 3081 42 0 3085 41 0 3088 40 0 3092 39 0 3096 38 0 3100 37 0 3104 36 0 3108 35 0 3112 34 0 3116 34 0 3120 33 0 3124 33 0 3128 32 0 3132 32 0 3136 32 0 3140 32 0 3144 33 0 3148 33 0 3151 34 0 3155 35 0 3159 37 0 3163 38 0 3167 40 0 3170 41 0 3174 43 0 3178 44 0 3181 46 0 3185 48 0 3189 49 0 3192 50 0 3196 52 0 3200 53 0 3204 54 0 3207 56 0 3211 57 0 3215 59 0 3218 60 0 3222 62 0 3226 64 0 3229 65 0 3233 67 0 3237 69 0 3240 70 0 3244 72 0 3248 73 0 3252 74 0 3256 74 0 3260 75 0 3264 75 0 3268 74 0 3272 74 0 3276 73 0 3280 72 0 3283 71 0 3287 70 0 3291 68 0 3295 67 0 3298 65 0 3302 64 0 3306 62 0 3309 60 0 3313 59 0 3317 57 0 3320 55 0 3324 54 0 3328 53 0 3332 52 0 3335 51 0 3339 50 0 3343 49 0 3347 49 0 3351 48 0 3355 48 0 3359 48 0 3363 47 0 3367 47 0 3371 46 0 3375 45 0 3379 44 0 3383 43 0 3386 41 0 3390 39 0 3393 37 0 3397 35 0 3400 33 0 3404 31 0 3407 29 0 3411 27 0 3414 26 0 3418 24 0 3422 23 0 3426 22 0 3429 21 0 3433 21 0 3437 21 0 3441 21 0 3445 22 0 3449 24 0 3453 25 0 3456 27 0 3460 29 0 3463 31 0 3467 33 0 3470 35 0 3473 37 0 3477 39 0 3481 41 0 3484 42 0 3488 44 0 3492 45 0 3496 46 0 3500 47 0 3503 48 0 3507 49 0 3511 50 0 3515 51 0 3519 51 0 3523 52 0 3527 52 0 3531 52 0 3535 52 0 3539 52 0 3543 52 0 3547 51 0 3551 51 0 3555 51 0 3559 50 0 3563 50 0 3567 49 0 3571 49 0 3575 49 0 3579 48 0 3583 48 0 3587 47 0 3591 47 0 3595 46 0 3599 45 0 3603 45 0 3607 44 0 3611 43 0 3614 42 0 3618 41 0 3622 40 0 3626 39 0 3630 38 0 3634 37 0 3637 35 0 3641 34 0 3645 32 0 3648 31 0 3652 29 0 3656 27 0 3659 26 0 3663 24 0 3667 23 0 3670 21 0 3674 19 0 3678 18 0 3681 16 0 3685 15 0 3689 13 0 3693 12 0 3697 11 0 3700 10 0 3704 9 0 3708 8 0 3712 7 0 3716 7 0 3720 7 0 3724 7 0 3728 6 0 3732 7 0 3736 7 0 3740 7 0 3744 7 0 3748 7 0 3752 7 0 3756 7 0 3760 6 0 3764 6 0 3768 5 0 3772 4 0 3776 4 0 3780 3 0 3784 2 0 3787 1 0 3791 0 0 3795 -1 0 3799 -2 0 3803 -2 0 3807 -3 0 3811 -3 0 3815 -3 0 3819 -3 0 3823 -3 0 3827 -2 0 3831 -2 0 3835 -1 0 3839 -1 0 3843 -1 0 3847 -1 0 3851 -1 0 3855 -1 0 3859 -1 0 3863 -2 0 3867 -3 0 3871 -4 0 3874 -5 0 3878 -7 0 3882 -9 0 3885 -11 0 3888 -13 0 3891 -16 0 3894 -18 0 3897 -21 0 3900 -23 0 3903 -26 0 3906 -29 0 3909 -32 0 3912 -34 0 3916 -37 0 3919 -39 0 3922 -41 0 3925 -43 0 3929 -45 0 3932 -47 0 3936 -49 0 3940 -51 0 3943 -52 0 3947 -53 0 3951 -54 0 3955 -55 0 3959 -56 0 3963 -57 0 3967 -58 0 3971 -58 0 3975 -59 0 3979 -60 0 3983 -60 0 3986 -61 0 3990 -61 0 3994 -62 0 3998 -63 0 4002 -64 0 4006 -64 0 4010 -65 0 4014 -66 0 4018 -67 0 4022 -67 0 4026 -67 0 4030 -67 0 4034 -67 0 4038 -67 0 4042 -66 0 4046 -66 0 4050 -65 0 4054 -65 0 4058 -64 0 4061 -63 0 4065 -62 0 4069 -61 0 4073 -59 0 4077 -58 0 4080 -56 0 4084 -54 0 4087 -53 0 4091 -51 0 4095 -49 0 4098 -47 0 4102 -46 0 4106 -44 0 4109 -43 0 4113 -42 0 4117 -42 0 4121 -41 0 4125 -41 0 4129 -42 0 4133 -42 0 4137 -43 0 4141 -44 0 4145 -45 0 4149 -46 0 4152 -47 0 4156 -48 0 4160 -50 0 4164 -51 0 4168 -53 0 4171 -54 0 4175 -55 0 4179 -56 0 4183 -57 0 4187 -58 0 4191 -59 0 4195 -59 0 4199 -60 0 4203 -60 0 4207 -60 0 4211 -60 0 4215 -59 0 4219 -59 0 4223 -59 0 4226 -58 0 4230 -57 0 4234 -57 0 4238 -56 0 4242 -56 0 4246 -56 0 4250 -56 0 4254 -57 0 4258 -58 0 4262 -59 0 4266 -60 0 4270 -61 0 4273 -63 0 4277 -64 0 4281 -66 0 4284 -68 0 4288 -69 0 4292 -71 0 4295 -73 0 4299 -74 0 4302 -76 0 4306 -78 0 4310 -80 0 4313 -81 0 4317 -83 0 4321 -84 0 4324 -86 0 4328 -87 0 4332 -88 0 4336 -89 0 4340 -90 0 4344 -91 0 4348 -91 0 4352 -91 0 4356 -91 0 4360 -90 0 4364 -90 0 4367 -89 0 4371 -88 0 4375 -86 0 4379 -85 0 4383 -84 0 4386 -82 0 4390 -81 0 4394 -79 0 4397 -77 0 4401 -75 0 4404 -73 0 4408 -71 0 4411 -69 0 4414 -67 0 4417 -64 0 4421 -62 0 4424 -60 0 4427 -58 0 4431 -56 0 4434 -54 0 4438 -52 0 4442 -50 0 4445 -49 0 4449 -48 0 4453 -47 0 4457 -46 0 4461 -46 0 4465 -46 0 4469 -46 0 4473 -46 0 4477 -46 0 4481 -47 0 4485 -48 0 4489 -48 0 4493 -49 0 4497 -49 0 4501 -50 0 4505 -50 0 4509 -51 0 4513 -51 0 4517 -51 0 4521 -50 0 4525 -50 0 4529 -49 0 4532 -48 0 4536 -47 0 4540 -46 0 4544 -45 0 4548 -44 0 4552 -43 0 4556 -42 0 4560 -42 0 4564 -41 0 4568 -41 0 4572 -41 0 4576 -42 0 4580 -42 0 4583 -43 0 4587 -44 0 4591 -46 0 4595 -47 0 4599 -48 0 4602 -50 0 4606 -51 0 4610 -53 0 4613 -54 0 4617 -56 0 4621 -57 0 4625 -59 0 4628 -60 0 4632 -62 0 4636 -63 0 4640 -64 0 4643 -66 0 4647 -67 0 4651 -68 0 4655 -70 0 4658 -71 0 4662 -73 0 4666 -74 0 4669 -76 0 4673 -78 0 4676 -80 0 4679 -83 0 4682 -85 0 4685 -88 0 4688 -90 0 4691 -93 0 4694 -96 0 4697 -99 0 4700 -101 0 4704 -104 0 4707 -106 0 4710 -108 0 4714 -110 0 4717 -112 0 4721 -113 0 4725 -115 0 4729 -116 0 4733 -117 0 4736 -117 0 4740 -118 0 4744 -119 0 4748 -119 0 4752 -119 0 4756 -119 0 4760 -119 0 4764 -120 0 4768 -120 0 4772 -119 0 4776 -119 0 4780 -119 0 4784 -119 0 4788 -119 0 4792 -118 0 4796 -118 0 4800 -117 0 4804 -116 0 4808 -116 0 4812 -114 0 4816 -113 0 4819 -112 0 4823 -111 0 4827 -109 0 4831 -108 0 4834 -106 0 4838 -105 0 4842 -104 0 4846 -103 0 4850 -102 0 4854 -102 0 4858 -101 0 4862 -101 0 4866 -101 0 4870 -101 0 4874 -101 0 4878 -101 0 4882 -101 0 4886 -101 0 4890 -101 0 4894 -102 0 4898 -102 0 4902 -101 0 4906 -101 0 4910 -101 0 4914 -100 0 4918 -99 0 4921 -98 0 4925 -97 0 4929 -96 0 4933 -95 0 4937 -93 0 4940 -91 0 4944 -90 0 4947 -88 0 4951 -86 0 4954 -84 0 4958 -82 0 4962 -80 0 4965 -79 0 4969 -77 0 4972 -75 0 4976 -74 0 4980 -72 0 4983 -71 0 4987 -69 0 4991 -68 0 4995 -67 0 4999 -66 0 5003 -65 0 5006 -64 0 5010 -63 0 5014 -62 0 5018 -61 0 5022 -61 0 5026 -60 0 5030 -60 0 5034 -59 0 5038 -59 0 5042 -59 0 5046 -58 0 5050 -58 0 5054 -58 0 5058 -58 0 5062 -57 0 5066 -57 0 5070 -57 0 5074 -57 0 5078 -57 0 5082 -56 0 5086 -56 0 5090 -56 0 5094 -56 0 5098 -56 0 5102 -56 0 5106 -56 0 5110 -56 0 5114 -56 0 5118 -56 0 5122 -56 0 5126 -56 0 5130 -56 0 5134 -55 0 5138 -55 0 5142 -54 0 5146 -53 0 5149 -52 0 5153 -51 0 5157 -49 0 5160 -47 0 5164 -45 0 5167 -43 0 5170 -40 0 5173 -38 0 5177 -35 0 5180 -33 0 5183 -31 0 5187 -29 0 5190 -27 0 5194 -25 0 5197 -23 0 5201 -22 0 5205 -21 0 5209 -19 0 5212 -18 0 5216 -17 0 5220 -16 0 5224 -15 0 5228 -14 0 5232 -14 0 5236 -13 0 5240 -13 0 5244 -12 0 5248 -12 0 5252 -12 0 5256 -11 0 5260 -11 0 5264 -11 0 5268 -11 0 5272 -10 0 5276 -10 0 5280 -10 0 5284 -9 0 5288 -8 0 5291 -7 0 5295 -6 0 5299 -5 0 5303 -4 0 5307 -3 0 5311 -2 0 5315 -1 0 5319 0 0 5323 0 0 5327 1 0 5330 2 0 5334 2 0 5338 2 0 5342 2 0 5346 2 0 5350 2 0 5354 2 0 5358 1 0 5362 1 0 5366 0 0 end frb_curve_t