From 2f4c06a81b6ce213770021c5c18d53f4beec6a0e Mon Sep 17 00:00:00 2001 From: Petr Baudis Date: Sun, 14 Feb 2010 14:00:38 +0100 Subject: [PATCH] patterns.gammaf: Regenerate using new matchfast patternspec --- patterns.gammaf | 828 ++++++++++++++++++++++++++++---------------------------- 1 file changed, 412 insertions(+), 416 deletions(-) diff --git a/patterns.gammaf b/patterns.gammaf index fe0a20d..2700fa3 100644 --- a/patterns.gammaf +++ b/patterns.gammaf @@ -1,6 +1,6 @@ pass:0 1 pass:1 1 -capture:0 3.52008 +capture:0 5.1441 capture:1 1 capture:2 1 capture:3 1 @@ -8,7 +8,7 @@ capture:4 1 capture:5 1 capture:6 1 capture:7 1 -capture:8 8.53706 +capture:8 1 capture:9 1 capture:10 1 capture:11 1 @@ -16,423 +16,419 @@ capture:12 1 capture:13 1 capture:14 1 capture:15 1 -atariescape:0 6.54155 +atariescape:0 6.30839 atariescape:1 1 -selfatari:0 0.0597444 +selfatari:0 0.0755111 selfatari:1 1 -atari:0 1.75393 -atari:1 1 -atari:2 8.23678 -atari:3 1 cont:0 1 -cont:1 12.0589 -p:0 0.20262 -p:65328 0.194285 -p:64512 0.0425928 -p:2 0.336211 -p:8 0.566648 -p:1 0.428039 -p:4 0.191121 -p:258 0.376089 -p:16512 0.836551 -p:18 1.22936 -p:384 0.471829 -p:160 0.570127 -p:80 0.359654 -p:9218 21.6092 -p:9 3.59195 -p:36 3.57913 -p:36872 4.56255 -p:25092 8.73943 -p:8256 3.91734 -p:16928 0.474071 -p:6272 3.82615 -p:33280 0.138339 -p:38 2.56199 -p:9344 2.75378 -p:33040 0.420654 -p:9280 6.80259 -p:16640 0.214086 -p:64514 0.126719 -p:64520 0.375268 -p:6208 1.03233 -p:64513 0.615237 -p:64516 0.568424 -p:282 0.988754 -p:41232 0.571501 -p:64522 0.231982 -p:64517 0.328379 -p:9346 2.65044 -p:6209 1.56705 -p:42114 2.107 -p:9282 0.783829 -p:10306 3.78518 -p:36866 0.666139 -p:24577 0.695027 -p:90 1.44044 -p:38914 0.399371 -p:24584 0.529593 -p:32800 1.56147 -p:25601 1.65094 -p:36868 0.711709 -p:16400 0.540594 -p:136 0.220649 -p:68 0.286694 -p:2054 0.411844 -p:1033 4.33226 -p:8218 0.69055 -p:32808 0.443178 -p:4133 0.781085 -p:16404 0.562003 -p:4232 3.3425 -p:8730 0.801271 -p:10308 0.676734 -p:4389 0.354836 -p:5256 2.88944 -p:8544 6.19494 -p:148 0.582954 -p:385 0.984101 -p:18496 2.73478 -p:106 1.90297 -p:149 0.403529 -p:2064 4.33003 -p:42 0.401251 -p:64518 0.71274 -p:64536 1.55016 -p:21 0.462633 -p:5768 0.869526 -p:8321 2.29419 -p:10564 0.953079 -p:4162 0.579653 -p:9352 0.88799 -p:6212 0.621659 -p:4106 0.67946 -p:16424 0.65501 -p:50994 0.613614 -p:8197 0.685439 -p:32788 0.784931 -p:41344 9.00978 -p:10752 0.749225 -p:22018 0.63479 -p:22600 5.62391 -p:32936 0.706684 -p:5376 0.902742 -p:43265 0.633463 -p:42116 0.687973 -p:16468 0.736045 -p:10496 0.732012 -p:32810 0.465456 -p:43332 0.616061 -p:16405 0.539651 -p:49977 2.56155 -p:59312 0.969774 -p:22152 1.93375 -p:56176 5.74629 -p:65336 0.974715 -p:65332 0.966893 -p:60209 0.618321 -p:41093 0.63422 -p:65024 0.535046 -p:55090 0.652894 -p:20554 0.666297 -p:65396 0.638324 -p:64768 0.628284 -p:18440 0.785699 -p:33796 0.779132 -p:5378 0.892954 -p:16552 0.825946 -p:10881 0.929958 -p:34900 0.757983 -p:5442 0.571405 -p:17576 0.834934 -p:41988 0.911072 -p:40962 0.807782 -p:22536 0.995881 -p:16912 108.85 -p:20481 0.902553 -p:8450 3.20994 -p:4609 0.883587 -p:4454 0.538532 -p:8857 5.2287 -p:39168 1.52097 -p:41092 0.972011 -p:38916 0.721484 -p:20552 0.984024 -p:9736 0.913887 -p:22852 0.625051 -p:6404 0.623126 -p:32801 0.891624 -p:10498 0.886696 -p:40968 0.544422 -p:24594 0.895233 -p:5633 0.990218 -p:36897 14.5465 -p:8832 0.985756 -p:5641 0.928032 -p:22564 0.936052 -p:10502 0.991594 -p:42008 0.991594 -p:22692 7.18117 -p:10630 0.832536 -p:5705 0.930572 -p:37442 0.875098 -p:4422 0.585484 -p:19008 5.85369 -p:38975 0.325341 -p:24993 0.946944 -p:25663 6.42638 -p:26687 0.328657 -p:37466 0.895441 -p:24997 18.0561 -p:8383 0.922005 -p:9791 0.931332 -p:37951 0.334324 -p:4223 0.550797 -p:6463 0.645595 -p:4420 0.645595 -p:640 3.24876 -p:43071 0.425542 -p:16677 2.98806 -p:21567 0.487423 -p:39237 0.517222 -p:26250 42.789 -p:20489 0.89865 -p:16421 0.94557 -p:1157 8.61264 -p:40966 0.958198 -p:32794 0.974837 -p:38246 0.866708 -p:10369 0.730573 -p:43398 0.572232 -p:5186 0.817707 -p:22089 0.643633 -p:22024 0.795549 -p:21536 0.896049 -p:34842 3.30024 -p:43268 0.802618 -p:43024 0.968043 -p:4416 0.945102 -p:17445 0.945102 -p:16410 0.862513 -p:582 2.74433 -p:10273 0.898572 -p:32805 0.844229 -p:5146 0.799976 -p:10789 0.869202 -p:40982 0.979668 -p:8709 0.835617 -p:8260 0.756725 -p:5402 0.986818 -p:4362 0.992027 -p:21538 0.905969 -p:34853 0.844926 -p:38170 3.55528 -p:8741 0.637993 -p:43025 0.988877 -p:320 0.936432 -p:17434 0.988877 -p:4378 0.704081 -p:41494 0.85879 -p:25626 5.49136 -p:43270 0.932906 -p:43033 4.76173 -p:40996 0.798025 -p:20777 0.985441 -p:6166 0.940645 -p:25108 4.27679 -p:22025 0.842718 -p:21542 0.951553 -p:20504 0.932352 -p:9385 0.98133 -p:6230 4.18228 -p:4694 2.52222 -p:4424 0.932459 -p:20905 0.932459 -p:41558 15.2957 -p:8838 0.990018 -p:4457 4.88267 -p:17578 0.667668 -p:22184 0.840586 -p:34901 0.69208 -p:43348 0.93877 -p:21001 0.948359 -p:37206 2.75115 -p:552 0.752981 -p:276 0.966201 -p:43137 0.836072 -p:52153 0.916419 -p:21570 0.938206 -p:51062 2.01691 -p:56112 0.694313 -p:21129 5.06417 -p:41224 0.931944 -p:21028 0.448046 -p:41240 1.58465 -p:33046 0.683598 -p:43350 0.295201 -p:16937 0.51693 -p:22185 0.491857 -p:59192 0.981418 -p:26266 0.296885 -p:56116 0.966515 -p:25104 49.4066 -p:41504 0.904764 -p:20752 0.958138 -p:1312 0.612123 -p:2068 0.814575 -p:2576 2.90995 -p:9256 0.597723 -p:43393 3.0522 -p:18516 0.777007 -p:6164 0.732444 -p:22082 0.856843 -p:33960 0.856843 -p:22144 0.52777 -p:10778 0.952568 -p:41002 0.661561 -p:34858 0.709244 -p:26648 6.55292 -p:43328 0.615676 -p:43169 0.92772 -p:5413 0.700858 -p:20501 0.726716 -p:17429 0.736862 -p:24640 4.52893 -p:2628 0.92772 -p:56118 0.92772 -p:22098 4.18083 -p:36992 0.628244 -p:34184 0.907394 -p:43425 0.992262 -p:19012 0.986712 -p:56182 7.08803 -p:32802 0.610839 -p:41632 0.976235 -p:35354 0.743835 -p:4116 0.693922 -p:16401 0.744846 -p:27204 0.5872 -p:20816 0.775335 -p:17701 0.775335 -p:38280 0.775762 -p:32928 0.750105 -p:16464 0.759575 -p:2080 0.647141 -p:10256 0.828402 -p:1040 0.754416 -p:37024 0.907842 -p:8710 0.952592 -p:24656 0.995724 -p:4489 7.27734 -p:26704 2.93117 -p:16402 0.933395 -p:22885 0.799738 -p:38048 0.774154 -p:40993 0.907638 -p:20498 0.93934 -p:644 0.9316 -p:330 0.838012 -p:22546 0.885216 -p:645 0.895792 -p:42017 5.51843 -p:33050 2.02446 -p:16933 0.936275 -p:26664 0.817044 -p:16529 0.779428 -p:2404 0.779428 -p:18720 0.919512 -p:37908 0.967887 -p:32866 4.26183 -p:34879 0.747853 -p:1688 0.981363 -p:34328 0.820982 -p:17471 0.859645 -p:18724 0.903002 -p:1698 0.924545 -p:35456 0.804212 -p:2385 0.993627 -p:17728 0.816271 -p:38036 3.02371 -p:6282 0.806869 -p:9285 0.846997 -p:17061 0.944588 -p:35162 1.95335 -p:657 0.948024 -p:5154 0.832371 -p:20490 0.715344 -p:10257 0.82234 -p:43546 0.941856 -p:32930 0.716877 -p:25090 0.698609 -p:2693 0.861075 -p:21590 0.664281 -p:8548 6.27937 -p:16465 0.781559 -p:32916 0.922326 -p:37121 0.828966 -p:1354 0.923537 -p:8580 0.848801 -p:6466 0.643454 -p:17599 0.849439 -p:22719 0.642293 -p:9889 0.523441 -p:35455 0.811296 -p:38181 5.76924 -p:42111 0.781988 -p:22602 0.88607 -p:6482 0.617119 -p:17855 0.768729 -p:42117 7.87051 -p:22868 0.815984 -p:24836 0.889912 -p:41348 0.830969 -p:21064 0.805834 -p:18852 0.931418 -p:2725 0.920566 -p:24978 2.97577 -p:34394 0.811592 -p:1370 11.4136 -p:37473 0.813897 -p:36095 0.820288 -p:25098 0.962198 -p:19711 0.913231 -p:32938 0.763942 -p:37125 0.902946 -p:27264 0.960604 -p:16469 0.88533 -p:38208 0.921438 -p:42053 0.892317 -p:22666 0.977306 -p:64656 6.48577 -p:65034 0.966441 -p:2346 0.881462 -p:36950 5.5062 -p:64773 0.906761 -p:65066 0.979791 -p:10596 5.68514 -p:64789 0.901718 -p:5386 0.908614 -p:4244 0.908614 -p:22698 0.901531 -p:8298 6.53219 -p:10757 0.993201 -p:42069 0.982928 -p:42657 0.707282 -p:17829 5.48873 -p:20818 0.903301 -p:22866 0.730189 -p:23210 0.986217 -p:42325 0.93015 -p:65251 0.988662 -p:64979 0.984524 -p:33808 0.908652 -p:34080 0.636484 -p:18464 0.990464 -p:16976 0.901805 -p:35094 0.920466 -p:9240 0.872521 -p:33186 0.920466 -p:19088 0.779015 +cont:1 11.6132 +p:0 0.188071 +p:65328 0.183749 +p:64512 0.03954 +p:2 0.31716 +p:8 0.536103 +p:1 0.397654 +p:4 0.178812 +p:258 0.36762 +p:16512 0.81475 +p:18 1.17206 +p:384 0.460561 +p:160 0.547311 +p:80 0.343151 +p:9218 21.5314 +p:9 4.38112 +p:36 3.39986 +p:36872 4.55399 +p:25092 11.4482 +p:8256 3.7893 +p:16928 0.528098 +p:6272 3.77215 +p:33280 0.132721 +p:38 2.46768 +p:9344 3.99192 +p:33040 0.405902 +p:9280 6.6096 +p:16640 0.202073 +p:64514 0.120836 +p:64520 0.366766 +p:6208 0.960937 +p:64513 0.575299 +p:64516 0.550439 +p:282 1.04189 +p:41232 0.622683 +p:64522 0.223804 +p:64517 0.313699 +p:9346 3.37671 +p:6209 1.50368 +p:42114 2.19602 +p:9282 0.783547 +p:10306 3.63562 +p:36866 0.657509 +p:24577 0.775432 +p:90 1.01832 +p:38914 0.385398 +p:24584 0.596216 +p:32800 1.47701 +p:25601 1.26622 +p:36868 0.704389 +p:16400 0.524512 +p:136 0.209945 +p:68 0.271564 +p:2054 0.395619 +p:1033 5.09769 +p:8218 0.724582 +p:32808 0.432085 +p:4133 0.784178 +p:16404 0.542828 +p:4232 3.31744 +p:8730 0.797049 +p:10308 0.671453 +p:4389 0.338172 +p:5256 2.7944 +p:8544 6.16842 +p:148 0.569041 +p:385 0.983199 +p:18496 2.6796 +p:106 1.82018 +p:149 0.476108 +p:2064 4.12718 +p:42 0.386723 +p:64518 0.677864 +p:64536 1.75405 +p:21 0.445986 +p:5768 0.867127 +p:8321 2.69504 +p:10564 0.95149 +p:4162 0.564465 +p:9352 0.903665 +p:6212 0.605321 +p:4106 0.667516 +p:16424 0.645215 +p:50994 0.601637 +p:8197 0.67314 +p:32788 0.771964 +p:41344 8.43151 +p:10752 0.74002 +p:22018 0.619173 +p:22600 4.99113 +p:32936 0.69079 +p:5376 0.897602 +p:43265 0.61623 +p:42116 0.675105 +p:16468 0.722918 +p:10496 0.718829 +p:32810 0.450139 +p:43332 0.602817 +p:16405 0.520607 +p:49977 3.71054 +p:59312 0.976956 +p:22152 1.83797 +p:56176 5.44765 +p:65336 0.979884 +p:65332 0.964304 +p:60209 0.608339 +p:41093 0.618 +p:65024 0.522059 +p:55090 0.637889 +p:20554 0.650836 +p:65396 0.618766 +p:64768 0.60914 +p:18440 0.774886 +p:33796 0.768389 +p:5378 0.888098 +p:16552 0.81845 +p:10881 0.910215 +p:34900 0.747976 +p:5442 0.552489 +p:17576 0.821246 +p:41988 0.908376 +p:40962 0.796755 +p:22536 0.995442 +p:16912 76.4157 +p:20481 0.894307 +p:8450 3.09455 +p:4609 0.873393 +p:4454 0.523244 +p:8857 10.746 +p:39168 1.3972 +p:41092 0.965863 +p:38916 0.714063 +p:20552 0.982711 +p:9736 0.936563 +p:22852 0.605834 +p:6404 0.60745 +p:32801 0.890473 +p:10498 0.884492 +p:40968 0.530781 +p:24594 0.899102 +p:5633 0.990453 +p:36897 14.2797 +p:8832 0.980893 +p:5641 0.927912 +p:22564 0.93304 +p:10502 0.991986 +p:42008 0.991986 +p:22692 6.9106 +p:10630 0.827939 +p:5705 0.929599 +p:37442 0.87166 +p:4422 0.568885 +p:19008 7.09224 +p:38975 0.313059 +p:24993 0.936874 +p:25663 4.5202 +p:26687 0.315553 +p:37466 0.893444 +p:24997 17.7697 +p:8383 0.899508 +p:9791 0.946552 +p:37951 0.319963 +p:4223 0.53292 +p:6463 0.630911 +p:4420 0.630911 +p:640 3.12962 +p:43071 0.411813 +p:16677 2.85448 +p:21567 0.469617 +p:39237 0.511596 +p:26250 70.524 +p:20489 0.933058 +p:16421 0.940879 +p:1157 17.2939 +p:40966 0.952031 +p:32794 0.970246 +p:38246 0.822648 +p:10369 0.731039 +p:43398 0.557516 +p:5186 0.807079 +p:22089 0.643557 +p:22024 0.814637 +p:21536 0.885893 +p:34842 4.22126 +p:43268 0.794783 +p:43024 0.967255 +p:4416 0.942418 +p:17445 0.942418 +p:16410 0.86271 +p:582 2.66687 +p:10273 0.894252 +p:32805 0.838244 +p:5146 0.798278 +p:10789 0.863164 +p:40982 0.978078 +p:8709 0.833384 +p:8260 0.750762 +p:5402 0.986414 +p:4362 0.991435 +p:21538 0.901801 +p:34853 0.839938 +p:38170 3.45024 +p:8741 0.625927 +p:43025 0.988461 +p:320 0.930981 +p:17434 0.988461 +p:4378 0.686505 +p:41494 0.851606 +p:25626 6.51159 +p:43270 0.919266 +p:43033 5.04949 +p:40996 0.774437 +p:20777 0.983635 +p:6166 0.926909 +p:25108 5.29291 +p:22025 0.890381 +p:21542 0.943261 +p:20504 0.951849 +p:9385 0.990862 +p:6230 4.10695 +p:4694 2.52971 +p:4424 0.931826 +p:20905 0.931826 +p:41558 15.1608 +p:8838 0.987329 +p:4457 4.85007 +p:17578 0.652088 +p:22184 0.834352 +p:34901 0.678618 +p:43348 0.935578 +p:21001 0.965322 +p:37206 2.60836 +p:552 0.749462 +p:276 0.963427 +p:43137 0.833849 +p:52153 0.934277 +p:21570 0.932925 +p:51062 1.92065 +p:56112 0.683517 +p:21129 6.50378 +p:41224 0.926751 +p:21028 0.378137 +p:41240 2.02283 +p:33046 0.653205 +p:43350 0.278229 +p:16937 0.704046 +p:22185 0.394733 +p:59192 0.986058 +p:26266 0.373554 +p:56116 0.96539 +p:25104 33.6496 +p:41504 0.901374 +p:20752 0.957701 +p:1312 0.602477 +p:2068 0.81055 +p:2576 4.10798 +p:9256 0.689247 +p:43393 2.94424 +p:18516 0.766906 +p:6164 0.720195 +p:22082 0.846603 +p:33960 0.846603 +p:22144 0.624483 +p:10778 0.944349 +p:41002 0.644427 +p:34858 0.6924 +p:26648 6.72353 +p:43328 0.602763 +p:43169 0.930765 +p:5413 0.687511 +p:20501 0.714308 +p:17429 0.72468 +p:24640 5.90246 +p:2628 0.930765 +p:56118 0.930765 +p:22098 5.18298 +p:36992 0.614552 +p:34184 0.894046 +p:43425 0.991717 +p:19012 0.991717 +p:56182 6.87762 +p:32802 0.598792 +p:41632 0.968409 +p:35354 0.728728 +p:4116 0.679718 +p:16401 0.728451 +p:27204 0.68526 +p:20816 0.764267 +p:17701 0.764267 +p:38280 0.761301 +p:32928 0.73414 +p:16464 0.748014 +p:2080 0.633319 +p:10256 0.818862 +p:1040 0.738579 +p:37024 0.903222 +p:8710 0.95171 +p:24656 0.995523 +p:4489 7.24257 +p:26704 2.81834 +p:16402 0.929243 +p:22885 0.786064 +p:38048 0.83932 +p:40993 0.904514 +p:20498 0.942387 +p:644 0.933343 +p:330 0.831633 +p:22546 0.879462 +p:645 0.931628 +p:42017 6.86202 +p:33050 2.47031 +p:16933 0.930586 +p:26664 0.87334 +p:16529 0.768091 +p:2404 0.768091 +p:18720 0.917357 +p:37908 0.965494 +p:32866 4.02976 +p:34879 0.735244 +p:1688 0.985207 +p:34328 0.812751 +p:17471 0.84962 +p:18724 0.894578 +p:1698 0.919148 +p:35456 0.790246 +p:2385 0.992771 +p:17728 0.806792 +p:38036 2.95503 +p:6282 0.798629 +p:9285 0.89329 +p:17061 0.952345 +p:35162 1.70963 +p:657 0.97257 +p:5154 0.822881 +p:20490 0.703521 +p:10257 0.814446 +p:43546 0.925383 +p:32930 0.699127 +p:25090 0.777648 +p:2693 0.850486 +p:21590 0.647307 +p:8548 6.15078 +p:16465 0.774062 +p:32916 0.919456 +p:37121 0.821421 +p:1354 0.920944 +p:8580 0.841473 +p:6466 0.636332 +p:17599 0.900575 +p:22719 0.571066 +p:9889 0.540558 +p:35455 0.796995 +p:38181 5.73583 +p:42111 0.761873 +p:22602 0.88468 +p:6482 0.610621 +p:17855 0.839587 +p:42117 9.83937 +p:22868 0.807023 +p:24836 0.884064 +p:41348 0.820872 +p:21064 0.866936 +p:18852 0.928723 +p:2725 0.915924 +p:24978 3.82841 +p:34394 0.80806 +p:1370 11.3568 +p:37473 0.806568 +p:36095 0.814666 +p:25098 0.982461 +p:19711 0.906137 +p:32938 0.750256 +p:37125 0.896155 +p:27264 0.981778 +p:16469 0.877764 +p:38208 0.915173 +p:42053 0.886526 +p:22666 0.975647 +p:64656 6.21334 +p:65034 0.966713 +p:2346 0.920791 +p:36950 5.31015 +p:64773 0.899613 +p:65066 0.973525 +p:10596 5.60269 +p:64789 0.895408 +p:5386 0.906304 +p:4244 0.906304 +p:22698 0.898858 +p:8298 6.48496 +p:10757 0.992922 +p:42069 0.981795 +p:42657 0.626804 +p:17829 5.40128 +p:20818 0.900664 +p:22866 0.718685 +p:23210 0.98222 +p:42325 0.954121 +p:65251 0.985452 +p:64979 0.983373 +p:33808 0.90355 +p:34080 0.632425 +p:18464 0.989876 +p:16976 0.898869 +p:35094 0.918427 +p:9240 0.918427 +p:33186 0.918427 +p:19088 0.711876 p:17961 1 p:6180 1 p:16977 1 -- 2.11.4.GIT