who's lila?

Bench: 13754498
cosmobobak · Aug 22, 2024 · 6983075 · 6983075
1 parent 900a57e
commit 6983075
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/nnue/network.rs b/src/nnue/network.rs
@@ -123,7 +123,7 @@ const REPERMUTE_INDICES: [usize; L1_SIZE / 2] = {
     indices
 };
 
-// const REPERMUTE_INDICES: [usize; L1_SIZE / 2] = [840, 168, 838, 364, 27, 147, 350, 469, 825, 480, 343, 78, 759, 685, 153, 279, 284, 483, 623, 436, 80, 872, 824, 844, 1020, 774, 478, 337, 495, 120, 686, 694, 987, 597, 87, 789, 1, 702, 524, 456, 375, 766, 88, 487, 239, 803, 360, 262, 243, 417, 157, 963, 526, 608, 197, 109, 883, 333, 204, 843, 492, 744, 717, 25, 401, 796, 36, 905, 170, 301, 520, 368, 118, 1001, 199, 385, 509, 708, 576, 442, 128, 970, 105, 598, 895, 268, 158, 400, 681, 636, 915, 511, 477, 938, 948, 431, 15, 21, 863, 180, 182, 131, 581, 679, 1018, 688, 444, 484, 395, 43, 16, 622, 34, 315, 267, 238, 746, 990, 585, 125, 453, 852, 479, 918, 299, 795, 331, 297, 45, 414, 248, 633, 682, 797, 741, 277, 216, 202, 854, 369, 426, 537, 376, 943, 504, 121, 853, 293, 934, 54, 196, 410, 501, 129, 831, 917, 737, 641, 443, 402, 866, 595, 528, 184, 380, 745, 1008, 256, 880, 566, 47, 723, 981, 253, 229, 49, 629, 553, 835, 91, 813, 228, 278, 452, 514, 306, 704, 529, 1016, 86, 951, 409, 457, 510, 763, 396, 728, 485, 639, 516, 827, 276, 669, 942, 275, 830, 455, 877, 734, 906, 213, 348, 218, 650, 921, 270, 448, 468, 142, 980, 610, 188, 127, 758, 571, 920, 313, 548, 540, 664, 579, 668, 240, 503, 933, 302, 491, 40, 193, 308, 22, 435, 236, 782, 523, 290, 873, 223, 995, 8, 496, 135, 116, 670, 257, 543, 465, 74, 698, 982, 856, 955, 513, 736, 882, 89, 422, 527, 826, 773, 644, 440, 94, 577, 946, 563, 474, 359, 411, 324, 772, 66, 51, 649, 321, 286, 750, 189, 265, 839, 280, 73, 10, 490, 482, 507, 433, 365, 155, 727, 663, 926, 894, 269, 617, 472, 62, 793, 163, 373, 381, 33, 421, 176, 538, 144, 967, 99, 285, 783, 397, 977, 940, 953, 602, 1003, 106, 20, 881, 964, 899, 192, 535, 660, 986, 604, 710, 247, 146, 1015, 338, 263, 931, 713, 767, 370, 83, 48, 778, 35, 711, 808, 619, 707, 508, 291, 71, 947, 65, 356, 150, 319, 377, 791, 72, 140, 412, 264, 342, 837, 525, 570, 64, 167, 884, 757, 578, 654, 769, 675, 536, 388, 845, 560, 865, 642, 635, 821, 760, 221, 493, 584, 219, 389, 716, 190, 439, 497, 310, 672, 361, 960, 929, 232, 768, 464, 407, 935, 486, 69, 210, 37, 771, 897, 434, 178, 779, 42, 183, 829, 134, 850, 347, 505, 600, 371, 244, 517, 287, 973, 420, 209, 862, 591, 848, 612, 984, 44, 889, 60, 258, 531, 334, 386, 50, 32, 601, 374, 200, 274, 645, 419, 394, 31, 637, 220, 683, 515, 30, 770, 703, 599, 288, 810, 868, 186, 859, 902, 110, 594, 550, 97, 458, 1017, 701, 556, 266, 353, 1012, 857, 349, 607, 994, 841, 787, 462, 860, 993, 273, 855, 327, 613, 547, 316, 181, 822, 700, 937, 574, 226, 705, 624, 449, 445, 14, 425, 325, 108, 61, 871, 542, 621, 901, 292, 691, 790, 846, 53, 59, 816, 217, 587, 936, 557, 801, 205, 561, 954, 235, 222, 798, 765, 784, 5, 989, 154, 460, 283, 282, 530, 237, 596, 676, 903, 366, 996, 558, 620, 476, 721, 46, 117, 648, 152, 564, 781, 817, 786, 939, 661, 628, 384, 807, 304, 58, 177, 398, 339, 956, 569, 38, 317, 945, 101, 966, 502, 345, 195, 254, 544, 415, 326, 7, 56, 697, 294, 67, 133, 405, 447, 731, 809, 68, 13, 743, 161, 678, 114, 590, 609, 885, 665, 975, 693, 552, 847, 811, 90, 729, 169, 307, 305, 115, 296, 194, 1000, 818, 892, 861, 634, 311, 393, 473, 888, 156, 362, 559, 927, 1002, 832, 0, 699, 814, 4, 834, 928, 534, 191, 11, 588, 748, 974, 241, 573, 733, 466, 81, 233, 886, 864, 991, 272, 298, 2, 950, 489, 546, 187, 910, 726, 165, 211, 687, 870, 667, 225, 76, 521, 689, 320, 390, 39, 923, 896, 833, 383, 79, 533, 692, 351, 77, 732, 706, 709, 340, 932, 175, 988, 893, 126, 1019, 673, 143, 104, 751, 379, 589, 541, 735, 423, 657, 52, 842, 958, 968, 224, 461, 806, 3, 70, 112, 113, 215, 605, 618, 98, 432, 792, 75, 625, 869, 876, 57, 122, 430, 100, 712, 780, 413, 799, 84, 999, 404, 925, 93, 95, 271, 914, 494, 626, 715, 1011, 575, 851, 102, 1009, 214, 998, 295, 568, 738, 961, 565, 309, 555, 985, 162, 632, 874, 17, 658, 506, 891, 725, 261, 363, 488, 762, 913, 185, 646, 446, 145, 662, 1022, 965, 250, 922, 139, 159, 638, 18, 997, 630, 138, 459, 230, 85, 690, 652, 674, 234, 242, 231, 336, 408, 522, 441, 1004, 959, 1023, 898, 92, 512, 322, 909, 451, 580, 651, 467, 399, 119, 1005, 160, 592, 136, 655, 151, 437, 367, 722, 992, 907, 593, 719, 819, 329, 912, 804, 416, 858, 29, 438, 198, 684, 788, 500, 328, 312, 631, 582, 983, 777, 603, 355, 281, 611, 752, 332, 344, 260, 656, 137, 919, 900, 387, 714, 358, 372, 941, 201, 314, 972, 323, 828, 812, 761, 179, 532, 382, 63, 904, 303, 357, 227, 55, 424, 107, 289, 976, 406, 754, 567, 666, 251, 463, 103, 794, 203, 28, 742, 653, 908, 916, 164, 392, 428, 805, 206, 130, 659, 952, 677, 1021, 26, 123, 208, 671, 836, 785, 470, 971, 499, 640, 724, 481, 820, 172, 429, 23, 519, 539, 747, 391, 957, 551, 756, 606, 1007, 647, 696, 207, 615, 979, 171, 815, 124, 148, 740, 41, 627, 471, 330, 720, 911, 300, 149, 586, 9, 878, 427, 24, 245, 249, 255, 875, 730, 695, 583, 132, 96, 680, 111, 949, 141, 764, 403, 823, 318, 518, 879, 944, 775, 616, 572, 498, 867, 352, 475, 418, 1014, 166, 890, 978, 82, 718, 802, 354, 450, 454, 212, 755, 6, 1010, 887, 753, 562, 545, 549, 969, 174, 614, 962, 346, 749, 378, 12, 776, 259, 800, 1013, 173, 930, 1006, 19, 849, 335, 739, 554, 246, 252, 643, 924, 341];
+// const REPERMUTE_INDICES: [usize; L1_SIZE / 2] = [840, 838, 168, 364, 27, 147, 350, 469, 825, 343, 279, 759, 480, 78, 284, 483, 153, 80, 685, 872, 623, 436, 844, 1020, 824, 478, 694, 774, 686, 987, 337, 87, 495, 597, 487, 524, 120, 88, 360, 456, 702, 766, 744, 789, 1, 239, 803, 417, 333, 608, 368, 204, 301, 426, 385, 963, 843, 262, 526, 970, 883, 109, 401, 915, 36, 708, 948, 375, 118, 528, 905, 16, 717, 444, 243, 218, 180, 197, 43, 1001, 636, 199, 299, 796, 395, 21, 442, 511, 681, 158, 679, 598, 895, 520, 585, 1018, 509, 25, 131, 400, 277, 125, 182, 484, 688, 91, 479, 128, 216, 170, 581, 918, 268, 431, 863, 746, 238, 938, 105, 228, 293, 34, 414, 376, 576, 157, 741, 852, 492, 797, 622, 54, 297, 129, 728, 595, 537, 571, 854, 256, 315, 943, 831, 543, 639, 610, 745, 920, 485, 633, 267, 501, 737, 917, 514, 410, 990, 669, 453, 331, 196, 880, 813, 47, 723, 641, 248, 278, 121, 529, 516, 566, 448, 866, 348, 184, 772, 306, 402, 758, 981, 302, 835, 452, 15, 629, 229, 127, 496, 504, 270, 468, 86, 853, 934, 491, 734, 553, 942, 290, 369, 670, 664, 202, 213, 22, 579, 482, 236, 193, 477, 253, 380, 510, 906, 856, 49, 650, 443, 409, 931, 682, 321, 457, 503, 951, 1008, 276, 313, 163, 921, 995, 668, 827, 455, 308, 40, 877, 94, 933, 396, 894, 422, 223, 660, 538, 865, 704, 411, 142, 188, 465, 955, 830, 433, 140, 51, 397, 563, 66, 527, 839, 116, 782, 698, 439, 980, 882, 617, 750, 548, 275, 793, 381, 1016, 490, 474, 881, 99, 257, 135, 365, 837, 265, 644, 817, 513, 535, 8, 359, 982, 507, 338, 713, 10, 189, 435, 727, 370, 440, 146, 190, 62, 176, 523, 152, 155, 144, 540, 240, 795, 602, 65, 926, 74, 319, 773, 940, 45, 967, 873, 280, 994, 33, 407, 493, 604, 263, 783, 584, 663, 710, 525, 977, 35, 20, 464, 192, 826, 48, 1003, 821, 899, 577, 221, 73, 106, 373, 71, 209, 935, 649, 269, 859, 232, 536, 292, 769, 434, 72, 324, 778, 570, 361, 371, 619, 247, 757, 771, 342, 412, 60, 421, 711, 946, 736, 960, 953, 845, 654, 897, 547, 868, 884, 291, 901, 386, 219, 612, 645, 986, 947, 472, 964, 64, 388, 791, 675, 420, 601, 954, 600, 200, 707, 134, 310, 808, 258, 1015, 150, 89, 790, 181, 984, 779, 183, 855, 377, 505, 389, 683, 716, 862, 458, 731, 763, 286, 266, 676, 374, 497, 167, 929, 672, 642, 599, 285, 578, 560, 353, 210, 517, 283, 327, 287, 893, 356, 902, 973, 334, 903, 220, 760, 691, 542, 288, 703, 810, 767, 50, 557, 848, 857, 591, 822, 462, 701, 620, 515, 61, 384, 936, 624, 486, 635, 768, 889, 841, 860, 237, 349, 1017, 809, 44, 816, 419, 637, 178, 244, 326, 447, 110, 177, 316, 264, 989, 101, 508, 222, 621, 460, 561, 476, 945, 721, 30, 58, 646, 574, 205, 83, 273, 325, 345, 787, 961, 607, 531, 38, 37, 31, 587, 339, 415, 53, 613, 466, 569, 697, 939, 274, 871, 956, 42, 594, 32, 394, 628, 282, 770, 850, 1011, 425, 117, 993, 56, 14, 661, 296, 449, 226, 2, 648, 133, 7, 186, 798, 5, 161, 534, 784, 1012, 700, 39, 678, 530, 558, 786, 590, 46, 634, 846, 818, 781, 807, 556, 705, 937, 154, 544, 445, 861, 801, 693, 108, 502, 379, 59, 550, 405, 564, 347, 765, 609, 988, 966, 156, 847, 991, 596, 743, 169, 68, 1002, 870, 90, 565, 195, 294, 473, 217, 235, 305, 4, 304, 114, 317, 1000, 864, 699, 588, 241, 811, 834, 115, 191, 362, 552, 910, 932, 272, 726, 307, 67, 792, 533, 488, 13, 950, 254, 923, 311, 975, 430, 999, 885, 573, 748, 733, 165, 589, 665, 692, 398, 126, 927, 521, 996, 390, 626, 112, 81, 271, 76, 833, 175, 974, 11, 355, 555, 896, 351, 888, 618, 876, 832, 467, 408, 225, 605, 1009, 892, 77, 687, 667, 187, 0, 689, 559, 79, 215, 95, 814, 69, 742, 997, 489, 1019, 998, 102, 233, 211, 340, 17, 706, 928, 869, 652, 546, 715, 298, 113, 98, 84, 806, 393, 958, 3, 122, 52, 751, 250, 673, 625, 729, 214, 320, 968, 829, 657, 57, 104, 674, 851, 777, 886, 512, 70, 423, 799, 722, 451, 735, 1023, 461, 925, 231, 965, 738, 842, 913, 446, 143, 432, 363, 309, 914, 725, 185, 658, 93, 1022, 891, 261, 194, 922, 75, 138, 336, 404, 100, 399, 413, 494, 139, 224, 162, 712, 709, 611, 651, 874, 898, 383, 638, 323, 985, 575, 295, 976, 97, 437, 145, 630, 819, 500, 230, 992, 788, 655, 441, 580, 438, 959, 592, 983, 459, 136, 322, 366, 506, 92, 762, 85, 1004, 631, 541, 690, 780, 568, 603, 632, 662, 907, 732, 329, 828, 804, 406, 151, 206, 242, 812, 227, 159, 761, 656, 29, 18, 119, 344, 160, 260, 303, 251, 234, 593, 972, 312, 522, 1005, 137, 289, 328, 367, 900, 941, 532, 198, 815, 103, 203, 63, 26, 427, 392, 696, 201, 754, 372, 952, 858, 666, 640, 719, 281, 107, 149, 382, 416, 912, 130, 908, 23, 671, 919, 358, 179, 1021, 714, 470, 957, 429, 909, 55, 148, 518, 428, 615, 314, 387, 357, 28, 172, 208, 677, 582, 653, 539, 164, 1007, 24, 207, 606, 499, 684, 911, 823, 391, 740, 171, 904, 124, 756, 680, 794, 752, 519, 878, 971, 916, 424, 551, 300, 627, 747, 330, 481, 41, 249, 567, 805, 471, 836, 879, 875, 775, 764, 616, 659, 820, 586, 1014, 332, 132, 785, 96, 9, 141, 111, 867, 463, 890, 724, 583, 255, 695, 498, 245, 647, 730, 979, 403, 944, 166, 978, 352, 318, 718, 418, 6, 123, 450, 720, 572, 949, 1010, 174, 212, 962, 802, 454, 887, 749, 82, 354, 562, 346, 755, 614, 753, 545, 549, 969, 378, 475, 259, 12, 776, 800, 924, 930, 341, 246, 1013, 643, 335, 1006, 252, 849, 554, 739, 19, 173];
 
 impl UnquantisedNetwork {
     #[allow(