[icfp] updated benchmark data

2016-03-20 00:08:15 -04:00 · 2016-03-20 00:08:15 -04:00 · f7dff260bc
commit f7dff260bc
parent 7e0064d7ba
1 changed files with 197 additions and 197 deletions
--- a/icfp-2016/benchmark/output-albany.rktd
+++ b/icfp-2016/benchmark/output-albany.rktd
@ -1,221 +1,221 @@
+;cpu time: 116 real time: 117 gc time: 8
+;cpu time: 116 real time: 118 gc time: 8
+;cpu time: 116 real time: 117 gc time: 8
+;cpu time: 120 real time: 120 gc time: 8
+;cpu time: 116 real time: 119 gc time: 8
+;cpu time: 116 real time: 117 gc time: 4
+;cpu time: 108 real time: 111 gc time: 8
+;cpu time: 116 real time: 116 gc time: 8
+;cpu time: 112 real time: 117 gc time: 8
+;cpu time: 116 real time: 117 gc time: 8
+;cpu time: 116 real time: 117 gc time: 8
+;cpu time: 120 real time: 120 gc time: 8
+;cpu time: 116 real time: 118 gc time: 8
 ;cpu time: 116 real time: 118 gc time: 8
 ;cpu time: 120 real time: 119 gc time: 8
-;cpu time: 120 real time: 119 gc time: 8
-;cpu time: 120 real time: 116 gc time: 8
-;cpu time: 120 real time: 117 gc time: 8
-;cpu time: 120 real time: 117 gc time: 8
-;cpu time: 116 real time: 117 gc time: 8
-;cpu time: 116 real time: 117 gc time: 8
-;cpu time: 116 real time: 119 gc time: 8
-;cpu time: 120 real time: 118 gc time: 8
-;cpu time: 120 real time: 119 gc time: 8
-;cpu time: 116 real time: 119 gc time: 4
-;cpu time: 116 real time: 117 gc time: 8
-;cpu time: 120 real time: 119 gc time: 8
-;cpu time: 116 real time: 117 gc time: 8
+;cpu time: 140 real time: 138 gc time: 28
+;cpu time: 136 real time: 135 gc time: 28
+;cpu time: 136 real time: 137 gc time: 28
+;cpu time: 140 real time: 139 gc time: 28
+;cpu time: 136 real time: 137 gc time: 24
+;cpu time: 136 real time: 135 gc time: 28
+;cpu time: 140 real time: 138 gc time: 28
+;cpu time: 136 real time: 135 gc time: 28
+;cpu time: 136 real time: 135 gc time: 28
+;cpu time: 140 real time: 137 gc time: 28
+;cpu time: 136 real time: 138 gc time: 28
 ;cpu time: 136 real time: 136 gc time: 28
-;cpu time: 136 real time: 138 gc time: 28
-;cpu time: 140 real time: 139 gc time: 32
-;cpu time: 136 real time: 135 gc time: 24
 ;cpu time: 136 real time: 137 gc time: 28
-;cpu time: 136 real time: 138 gc time: 28
-;cpu time: 136 real time: 135 gc time: 28
-;cpu time: 136 real time: 138 gc time: 28
-;cpu time: 136 real time: 137 gc time: 28
-;cpu time: 136 real time: 136 gc time: 24
 ;cpu time: 140 real time: 137 gc time: 28
-;cpu time: 136 real time: 137 gc time: 28
-;cpu time: 136 real time: 137 gc time: 28
 ;cpu time: 136 real time: 135 gc time: 28
-;cpu time: 140 real time: 137 gc time: 28
-;cpu time: 668 real time: 667 gc time: 28
-;cpu time: 668 real time: 669 gc time: 20
-;cpu time: 672 real time: 671 gc time: 24
-;cpu time: 676 real time: 671 gc time: 20
-;cpu time: 660 real time: 663 gc time: 24
-;cpu time: 620 real time: 620 gc time: 24
-;cpu time: 668 real time: 663 gc time: 20
-;cpu time: 668 real time: 669 gc time: 16
-;cpu time: 620 real time: 618 gc time: 16
-;cpu time: 668 real time: 667 gc time: 32
-;cpu time: 664 real time: 662 gc time: 20
-;cpu time: 612 real time: 611 gc time: 20
-;cpu time: 676 real time: 672 gc time: 24
-;cpu time: 668 real time: 667 gc time: 24
-;cpu time: 668 real time: 668 gc time: 24
-;cpu time: 688 real time: 688 gc time: 16
-;cpu time: 676 real time: 674 gc time: 16
-;cpu time: 648 real time: 645 gc time: 20
-;cpu time: 692 real time: 695 gc time: 16
-;cpu time: 692 real time: 689 gc time: 16
-;cpu time: 684 real time: 682 gc time: 20
-;cpu time: 696 real time: 694 gc time: 16
-;cpu time: 700 real time: 697 gc time: 20
+;cpu time: 664 real time: 664 gc time: 24
+;cpu time: 664 real time: 660 gc time: 20
+;cpu time: 668 real time: 668 gc time: 28
+;cpu time: 668 real time: 668 gc time: 16
+;cpu time: 664 real time: 662 gc time: 16
+;cpu time: 672 real time: 671 gc time: 20
+;cpu time: 672 real time: 668 gc time: 24
+;cpu time: 668 real time: 665 gc time: 20
+;cpu time: 668 real time: 664 gc time: 20
+;cpu time: 672 real time: 666 gc time: 20
+;cpu time: 668 real time: 668 gc time: 20
+;cpu time: 668 real time: 665 gc time: 20
+;cpu time: 680 real time: 676 gc time: 20
+;cpu time: 672 real time: 671 gc time: 28
+;cpu time: 624 real time: 625 gc time: 24
+;cpu time: 692 real time: 694 gc time: 16
+;cpu time: 752 real time: 751 gc time: 20
+;cpu time: 744 real time: 742 gc time: 20
+;cpu time: 688 real time: 685 gc time: 20
+;cpu time: 740 real time: 739 gc time: 16
+;cpu time: 744 real time: 745 gc time: 16
+;cpu time: 688 real time: 686 gc time: 20
 ;cpu time: 688 real time: 687 gc time: 16
-;cpu time: 644 real time: 645 gc time: 16
-;cpu time: 676 real time: 673 gc time: 16
-;cpu time: 648 real time: 648 gc time: 20
-;cpu time: 676 real time: 678 gc time: 16
-;cpu time: 684 real time: 684 gc time: 20
-;cpu time: 700 real time: 698 gc time: 16
-;cpu time: 12 real time: 14 gc time: 0
-;cpu time: 16 real time: 14 gc time: 0
-;cpu time: 16 real time: 14 gc time: 0
-;cpu time: 12 real time: 14 gc time: 0
-;cpu time: 16 real time: 14 gc time: 0
-;cpu time: 16 real time: 14 gc time: 0
-;cpu time: 16 real time: 14 gc time: 0
-;cpu time: 16 real time: 14 gc time: 0
-;cpu time: 16 real time: 14 gc time: 0
-;cpu time: 12 real time: 14 gc time: 0
-;cpu time: 12 real time: 14 gc time: 0
-;cpu time: 16 real time: 14 gc time: 0
-;cpu time: 12 real time: 14 gc time: 0
-;cpu time: 16 real time: 14 gc time: 0
-;cpu time: 16 real time: 14 gc time: 0
-;cpu time: 12 real time: 12 gc time: 0
-;cpu time: 12 real time: 12 gc time: 0
-;cpu time: 16 real time: 13 gc time: 0
-;cpu time: 12 real time: 13 gc time: 0
-;cpu time: 12 real time: 12 gc time: 0
-;cpu time: 12 real time: 12 gc time: 0
-;cpu time: 12 real time: 12 gc time: 0
-;cpu time: 12 real time: 12 gc time: 0
-;cpu time: 12 real time: 13 gc time: 0
-;cpu time: 12 real time: 12 gc time: 0
-;cpu time: 12 real time: 13 gc time: 0
-;cpu time: 12 real time: 12 gc time: 0
-;cpu time: 12 real time: 12 gc time: 0
-;cpu time: 12 real time: 13 gc time: 0
-;cpu time: 12 real time: 13 gc time: 0
-;cpu time: 24 real time: 27 gc time: 0
-;cpu time: 28 real time: 26 gc time: 0
+;cpu time: 736 real time: 736 gc time: 16
+;cpu time: 700 real time: 699 gc time: 20
+;cpu time: 696 real time: 695 gc time: 24
+;cpu time: 688 real time: 685 gc time: 16
+;cpu time: 740 real time: 738 gc time: 16
+;cpu time: 748 real time: 746 gc time: 24
+;cpu time: 692 real time: 688 gc time: 12
+;cpu time: 28 real time: 27 gc time: 0
 ;cpu time: 28 real time: 28 gc time: 0
 ;cpu time: 28 real time: 27 gc time: 0
 ;cpu time: 28 real time: 27 gc time: 0
+;cpu time: 24 real time: 26 gc time: 0
+;cpu time: 28 real time: 28 gc time: 0
+;cpu time: 24 real time: 27 gc time: 0
 ;cpu time: 28 real time: 27 gc time: 0
 ;cpu time: 28 real time: 27 gc time: 0
+;cpu time: 24 real time: 27 gc time: 0
+;cpu time: 28 real time: 26 gc time: 0
+;cpu time: 24 real time: 27 gc time: 0
+;cpu time: 24 real time: 26 gc time: 0
 ;cpu time: 28 real time: 27 gc time: 0
 ;cpu time: 28 real time: 26 gc time: 0
-;cpu time: 28 real time: 26 gc time: 0
-;cpu time: 28 real time: 27 gc time: 0
-;cpu time: 28 real time: 27 gc time: 0
-;cpu time: 28 real time: 27 gc time: 0
-;cpu time: 28 real time: 27 gc time: 0
-;cpu time: 28 real time: 27 gc time: 0
-;cpu time: 48 real time: 47 gc time: 20
-;cpu time: 48 real time: 47 gc time: 20
-;cpu time: 48 real time: 47 gc time: 20
-;cpu time: 48 real time: 47 gc time: 20
-;cpu time: 44 real time: 47 gc time: 20
-;cpu time: 48 real time: 47 gc time: 20
+;cpu time: 48 real time: 49 gc time: 20
+;cpu time: 48 real time: 48 gc time: 24
 ;cpu time: 48 real time: 48 gc time: 20
+;cpu time: 52 real time: 48 gc time: 20
 ;cpu time: 48 real time: 48 gc time: 20
-;cpu time: 48 real time: 47 gc time: 24
 ;cpu time: 48 real time: 49 gc time: 20
 ;cpu time: 48 real time: 47 gc time: 20
+;cpu time: 48 real time: 49 gc time: 20
+;cpu time: 44 real time: 48 gc time: 20
+;cpu time: 44 real time: 44 gc time: 16
 ;cpu time: 48 real time: 48 gc time: 20
-;cpu time: 48 real time: 48 gc time: 20
-;cpu time: 48 real time: 48 gc time: 20
-;cpu time: 48 real time: 47 gc time: 20
-;cpu time: 440 real time: 439 gc time: 16
-;cpu time: 440 real time: 439 gc time: 16
-;cpu time: 440 real time: 439 gc time: 20
-;cpu time: 472 real time: 470 gc time: 20
-;cpu time: 440 real time: 439 gc time: 20
-;cpu time: 444 real time: 444 gc time: 16
+;cpu time: 48 real time: 49 gc time: 24
+;cpu time: 52 real time: 49 gc time: 20
+;cpu time: 52 real time: 48 gc time: 20
+;cpu time: 52 real time: 49 gc time: 20
+;cpu time: 452 real time: 448 gc time: 16
+;cpu time: 452 real time: 446 gc time: 16
 ;cpu time: 444 real time: 442 gc time: 16
-;cpu time: 440 real time: 436 gc time: 16
-;cpu time: 448 real time: 446 gc time: 16
-;cpu time: 444 real time: 440 gc time: 16
-;cpu time: 444 real time: 444 gc time: 20
-;cpu time: 440 real time: 440 gc time: 16
-;cpu time: 440 real time: 441 gc time: 20
-;cpu time: 440 real time: 439 gc time: 20
-;cpu time: 448 real time: 442 gc time: 16
-;cpu time: 440 real time: 437 gc time: 20
-;cpu time: 436 real time: 436 gc time: 20
-;cpu time: 440 real time: 438 gc time: 20
-;cpu time: 464 real time: 459 gc time: 20
-;cpu time: 440 real time: 437 gc time: 20
-;cpu time: 440 real time: 434 gc time: 20
-;cpu time: 440 real time: 440 gc time: 20
-;cpu time: 452 real time: 450 gc time: 20
-;cpu time: 440 real time: 438 gc time: 20
-;cpu time: 444 real time: 446 gc time: 20
-;cpu time: 444 real time: 443 gc time: 24
-;cpu time: 440 real time: 439 gc time: 20
-;cpu time: 436 real time: 435 gc time: 20
-;cpu time: 440 real time: 440 gc time: 32
-;cpu time: 440 real time: 438 gc time: 24
-;cpu time: 4704 real time: 4700 gc time: 48
-;cpu time: 4744 real time: 4744 gc time: 32
-;cpu time: 4664 real time: 4661 gc time: 60
-;cpu time: 4720 real time: 4718 gc time: 60
-;cpu time: 4720 real time: 4715 gc time: 48
-;cpu time: 4772 real time: 4770 gc time: 24
-;cpu time: 4712 real time: 4711 gc time: 36
-;cpu time: 4740 real time: 4740 gc time: 56
-;cpu time: 4728 real time: 4725 gc time: 32
-;cpu time: 4756 real time: 4752 gc time: 12
-;cpu time: 4748 real time: 4745 gc time: 60
-;cpu time: 4720 real time: 4713 gc time: 40
-;cpu time: 4744 real time: 4740 gc time: 48
-;cpu time: 4644 real time: 4643 gc time: 40
-;cpu time: 4744 real time: 4742 gc time: 16
-;cpu time: 5000 real time: 4996 gc time: 24
-;cpu time: 4904 real time: 4899 gc time: 24
-;cpu time: 5036 real time: 5030 gc time: 52
-;cpu time: 5032 real time: 5027 gc time: 24
-;cpu time: 4796 real time: 4794 gc time: 56
-;cpu time: 4756 real time: 4750 gc time: 24
-;cpu time: 4808 real time: 4804 gc time: 16
-;cpu time: 4728 real time: 4725 gc time: 24
-;cpu time: 4908 real time: 4906 gc time: 24
-;cpu time: 4644 real time: 4639 gc time: 36
-;cpu time: 4768 real time: 4761 gc time: 28
-;cpu time: 4928 real time: 4926 gc time: 20
-;cpu time: 4908 real time: 4902 gc time: 32
-;cpu time: 4984 real time: 4982 gc time: 28
-;cpu time: 4864 real time: 4860 gc time: 28
-;cpu time: 272 real time: 269 gc time: 28
-;cpu time: 272 real time: 272 gc time: 28
-;cpu time: 268 real time: 269 gc time: 28
-;cpu time: 264 real time: 266 gc time: 28
-;cpu time: 288 real time: 285 gc time: 28
-;cpu time: 284 real time: 282 gc time: 28
-;cpu time: 268 real time: 269 gc time: 28
-;cpu time: 288 real time: 286 gc time: 32
-;cpu time: 260 real time: 262 gc time: 24
-;cpu time: 264 real time: 266 gc time: 28
-;cpu time: 276 real time: 275 gc time: 28
-;cpu time: 276 real time: 274 gc time: 28
-;cpu time: 288 real time: 286 gc time: 32
-;cpu time: 276 real time: 276 gc time: 28
-;cpu time: 272 real time: 273 gc time: 24
-;cpu time: 376 real time: 376 gc time: 124
-;cpu time: 380 real time: 378 gc time: 120
-;cpu time: 368 real time: 367 gc time: 120
-;cpu time: 376 real time: 373 gc time: 116
-;cpu time: 384 real time: 383 gc time: 120
-;cpu time: 372 real time: 370 gc time: 124
-;cpu time: 384 real time: 383 gc time: 124
-;cpu time: 368 real time: 365 gc time: 120
-;cpu time: 372 real time: 370 gc time: 124
-;cpu time: 368 real time: 370 gc time: 120
-;cpu time: 376 real time: 373 gc time: 124
-;cpu time: 368 real time: 371 gc time: 116
-;cpu time: 368 real time: 366 gc time: 124
-;cpu time: 368 real time: 367 gc time: 116
-;cpu time: 384 real time: 380 gc time: 124
+;cpu time: 448 real time: 443 gc time: 16
+;cpu time: 436 real time: 437 gc time: 16
+;cpu time: 448 real time: 448 gc time: 16
+;cpu time: 444 real time: 442 gc time: 16
+;cpu time: 440 real time: 441 gc time: 24
+;cpu time: 440 real time: 439 gc time: 12
+;cpu time: 444 real time: 442 gc time: 16
+;cpu time: 432 real time: 435 gc time: 16
+;cpu time: 444 real time: 441 gc time: 16
+;cpu time: 448 real time: 444 gc time: 20
+;cpu time: 444 real time: 446 gc time: 16
+;cpu time: 440 real time: 436 gc time: 12
+;cpu time: 432 real time: 433 gc time: 4
+;cpu time: 424 real time: 424 gc time: 4
+;cpu time: 432 real time: 431 gc time: 8
+;cpu time: 428 real time: 431 gc time: 0
+;cpu time: 416 real time: 419 gc time: 0
+;cpu time: 440 real time: 438 gc time: 0
+;cpu time: 428 real time: 427 gc time: 4
+;cpu time: 424 real time: 420 gc time: 4
+;cpu time: 436 real time: 429 gc time: 0
+;cpu time: 424 real time: 421 gc time: 4
+;cpu time: 432 real time: 431 gc time: 8
+;cpu time: 432 real time: 432 gc time: 4
+;cpu time: 424 real time: 423 gc time: 4
+;cpu time: 428 real time: 430 gc time: 4
+;cpu time: 428 real time: 427 gc time: 0
+;cpu time: 4760 real time: 4758 gc time: 20
+;cpu time: 4760 real time: 4755 gc time: 16
+;cpu time: 4692 real time: 4692 gc time: 20
+;cpu time: 4744 real time: 4743 gc time: 44
+;cpu time: 4732 real time: 4730 gc time: 60
+;cpu time: 4684 real time: 4683 gc time: 56
+;cpu time: 4728 real time: 4721 gc time: 64
+;cpu time: 4652 real time: 4649 gc time: 52
+;cpu time: 4688 real time: 4683 gc time: 56
+;cpu time: 4792 real time: 4789 gc time: 48
+;cpu time: 4720 real time: 4715 gc time: 68
+;cpu time: 4776 real time: 4771 gc time: 20
+;cpu time: 4484 real time: 4481 gc time: 32
+;cpu time: 4680 real time: 4677 gc time: 28
+;cpu time: 4676 real time: 4668 gc time: 20
+;cpu time: 4612 real time: 4606 gc time: 20
+;cpu time: 4704 real time: 4698 gc time: 24
+;cpu time: 4760 real time: 4754 gc time: 16
+;cpu time: 4668 real time: 4663 gc time: 28
+;cpu time: 4772 real time: 4767 gc time: 28
+;cpu time: 4720 real time: 4714 gc time: 20
+;cpu time: 4548 real time: 4542 gc time: 16
+;cpu time: 4676 real time: 4672 gc time: 32
+;cpu time: 4724 real time: 4722 gc time: 24
+;cpu time: 4572 real time: 4568 gc time: 32
+;cpu time: 4760 real time: 4752 gc time: 20
+;cpu time: 4752 real time: 4747 gc time: 24
+;cpu time: 4636 real time: 4633 gc time: 16
+;cpu time: 4668 real time: 4662 gc time: 20
+;cpu time: 4540 real time: 4536 gc time: 32
+;cpu time: 268 real time: 266 gc time: 24
+;cpu time: 260 real time: 260 gc time: 28
+;cpu time: 260 real time: 260 gc time: 24
+;cpu time: 268 real time: 267 gc time: 24
+;cpu time: 264 real time: 265 gc time: 28
+;cpu time: 260 real time: 258 gc time: 24
+;cpu time: 268 real time: 267 gc time: 24
+;cpu time: 268 real time: 268 gc time: 28
+;cpu time: 264 real time: 262 gc time: 28
+;cpu time: 264 real time: 264 gc time: 24
+;cpu time: 264 real time: 261 gc time: 28
+;cpu time: 256 real time: 257 gc time: 32
+;cpu time: 268 real time: 268 gc time: 24
+;cpu time: 268 real time: 265 gc time: 24
+;cpu time: 272 real time: 273 gc time: 28
+;cpu time: 340 real time: 338 gc time: 96
+;cpu time: 332 real time: 330 gc time: 96
+;cpu time: 340 real time: 335 gc time: 96
+;cpu time: 336 real time: 335 gc time: 92
+;cpu time: 332 real time: 333 gc time: 92
+;cpu time: 332 real time: 332 gc time: 96
+;cpu time: 332 real time: 331 gc time: 96
+;cpu time: 328 real time: 329 gc time: 100
+;cpu time: 324 real time: 324 gc time: 92
+;cpu time: 332 real time: 333 gc time: 92
+;cpu time: 336 real time: 334 gc time: 96
+;cpu time: 328 real time: 329 gc time: 100
+;cpu time: 336 real time: 333 gc time: 92
+;cpu time: 340 real time: 341 gc time: 100
+;cpu time: 332 real time: 330 gc time: 96
+;cpu time: 268 real time: 265 gc time: 104
+;cpu time: 264 real time: 266 gc time: 104
+;cpu time: 264 real time: 264 gc time: 104
+;cpu time: 268 real time: 266 gc time: 104
+;cpu time: 268 real time: 266 gc time: 100
+;cpu time: 268 real time: 267 gc time: 100
+;cpu time: 260 real time: 257 gc time: 100
+;cpu time: 272 real time: 272 gc time: 108
+;cpu time: 268 real time: 268 gc time: 104
+;cpu time: 268 real time: 266 gc time: 104
+;cpu time: 268 real time: 265 gc time: 104
+;cpu time: 256 real time: 257 gc time: 104
+;cpu time: 268 real time: 265 gc time: 100
+;cpu time: 268 real time: 266 gc time: 104
+;cpu time: 264 real time: 264 gc time: 100
+;cpu time: 228 real time: 230 gc time: 80
+;cpu time: 232 real time: 233 gc time: 84
+;cpu time: 224 real time: 224 gc time: 84
+;cpu time: 236 real time: 232 gc time: 80
+;cpu time: 232 real time: 233 gc time: 84
+;cpu time: 228 real time: 231 gc time: 80
+;cpu time: 228 real time: 229 gc time: 80
+;cpu time: 228 real time: 230 gc time: 84
+;cpu time: 228 real time: 230 gc time: 80
+;cpu time: 228 real time: 228 gc time: 80
+;cpu time: 232 real time: 232 gc time: 84
+;cpu time: 232 real time: 233 gc time: 84
+;cpu time: 224 real time: 224 gc time: 84
+;cpu time: 224 real time: 223 gc time: 80
+;cpu time: 224 real time: 226 gc time: 88
 (   ;; DIR | compile-pre | compile-post | run-pre | run-post | loc-pre | loc-post | bytes-pre | bytes-post | diff+ | diff- 
    ;;   all times in milliseconds
    ;;   'loc' is lines of code, generated using 'SLOCCount' by David A. Wheeler.
-(fsm        ((48334 . 27905.94) (48241.5 . 27852.53))     ((4815.5 . 2780.52) (5310 . 3066.02))       (253 258) (81689 82394) (9 4))
-(gregor     ((116039.5 . 66995.73) (124631.5 . 71956.32)) ((8614.5 . 4973.87) (9374.5 . 5412.66))     (1118 1135) (465739 468328) (28 11))
-(hyphenate  ((51044 . 29470.56) (53790.5 . 31056.25))     ((4214.5 . 2433.53) (4681 . 2702.87))       (5198 5202) (118119 118703) (8 4))
-(morsecode  ((36077.5 . 20829.64) (38714.5 . 22352.12))   ((6283.5 . 3628.07) (6938.5 . 4006.23))     (246 249) (67901 68438) (5 2))
-(suffixtree ((56939 . 32874.04) (61322 . 35404.56))       ((37638.5 . 21730.89) (40105.5 . 23155.21)) (637 644) (182052 183148) (7 1))
-(synth      ((88243 . 50947.41) (94950 . 54819.7))        ((4375 . 2526.2) (6370 . 3678.01))          (941 951) (242219 243644) (12 3))
-(tex        ((44552 . 25722.4) (45970.5 . 26541.37))      ((3372.5 . 1947.4) (4037.5 . 2331.34))      (491 486) (119579 120627) (15 20))
+(fsm ((47808 . 27602.25) (57403 . 33141.93)) ((4788.5 . 2764.93) (5309.5 . 3065.73)) (253 258) (81689 82399) (5 0))
+(gregor ((114563 . 66143.27) (123309.5 . 71193.06)) ((8682 . 5012.84) (9635 . 5563.06)) (1118 1135) (465739 468328) (17 0))
+(hyphenate ((50353.5 . 29071.9) (59567 . 34391.31)) ((5833 . 3367.97) (6646.5 . 3837.65)) (5201 5205) (118539 121843) (5 1))
+(modulegraph ((44298 . 25575.75) (53720 . 31015.55)) ((3333.5 . 1924.89) (4023.5 . 2323.26)) (491 492) (119579 122563) (1 0))
+(morsecode ((35953 . 20757.76) (38143 . 22022.16)) ((6242.5 . 3604.4) (7040.5 . 4065.12)) (246 250) (67901 68565) (9 5))
+(suffixtree ((56604 . 32680.62) (61827 . 35696.12)) ((37484.5 . 21641.97) (38434.5 . 22190.46)) (637 644) (182052 183148) (7 0))
+(synth ((87094.5 . 50284.32) (95048 . 54876.28)) ((4215.5 . 2434.11) (6061 . 3499.61)) (941 951) (242219 243653) (12 2))
 )