--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  958 1 1 2597  574 4253 0  399  400 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  627 0 0  621  216  382 1  400  641 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  549 1 1 4398  133 1445 1  641  639 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  576 0 1 3469  183  381 2  641  501 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  992 1 0 3342   23 4657 1  640  741 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  548 0 1   34  542 3514 2  499  401 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  710 0 0  127  403 4616 3  500  400 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  638 0 1  698  499 2465 3  500  501 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  893 1 0  205  283 5056 3  400  641 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  976 1 1 5378  390 1000 2  641  741 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  763 0 0  136  576 2305 0  401  741 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  570 0 1 1945  376 2064 0  739  740 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  967 1 0  659  204 3825 3  500  399 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  892 0 1 2009   40 1011 1  641  740 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  911 1 1 4194  242 4667 1  401  399 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  929 0 1 1072  134 1036 1  741  639 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  588 1 0 4341  336 2774 2  740  400 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  963 0 0 5985  377  994 3  400  499 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  699 1 1  619  432  912 2  740  639 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  818 0 1 1876  318  793 1  499  501 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  926 1 0 1694  263  651 2  501  499 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  579 0 1  882  101 5381 0  639  499 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  878 0 0 1063   86 4714 1  499  400 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  822 0 1 1469  234 4419 1  399  399 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  653 1 0  432   67  203 0  401  401 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  601 1 1  777  424  309 1  641  401 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  764 0 1 2969  491 2466 0  639  501 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  594 1 1 2484  121 1193 2  500  740 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  992 1 0 1793  517  254 0  739  500 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  832 1 1 4454  148 4683 3  501  640 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  882 0 1  674  444  191 3  741  740 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  753 1 0 3203  448 1667 0  501  641 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  953 1 1  682   24 2477 2  739  399 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  588 1 0 3362   93 1315 3  741  639 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  965 0 0 2078   76  303 1  401  640 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  612 0 0 5073  510 1151 1  501  500 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  783 1 0 4006  586 1219 0  501  740 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  903 0 1 4075  608 5049 1  399  741 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  888 0 0 2521  241  647 1  741  639 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  971 0 1  183  524  747 2  400  401 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  668 0 0 4507  418 4267 2  740  640 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  731 0 0 2686  128  674 2  499  740 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  935 0 0  121  179 2414 0  501  639 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  952 1 1  802   26 3803 1  400  740 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  673 1 0 2913   18 2294 3  400  641 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  832 0 1  934    9 1145 2  399  401 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  547 1 1 1723  236 2963 0  739  501 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  799 0 1 5588  485  211 0  399  499 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  711 0 0  201  181 2943 1  739  741 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  987 0 0  813  318  888 3  641  400 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  821 0 1  138   79  356 2  399  640 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  528 1 0 5170   22  500 1  740  639 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  896 1 1 5784  557  585 2  739  641 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  546 0 1 1900  507 4846 1  501  641 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  822 0 0  447  353 1740 2  399  639 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  796 0 1  108   59  134 3  640  740 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  775 1 1 2961  373 5279 3  640  499 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  763 1 1 2635  387 4709 3  641  741 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  568 1 1 3423   52 3011 3  499  640 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  972 0 1 4644  495 4090 1  640  500 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  562 0 0 1642   19  895 2  400  739 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  804 0 1 3945   71  376 2  501  739 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  610 0 1  282  158   14 3  500  499 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  743 1 0  773  436  860 2  501  740 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  947 1 0 1660  606 2279 3  739  500 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  919 0 1  904  185 2680 0  641  401 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  529 0 1 2376  616 4702 3  501  739 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  632 0 1 1479  544 2213 1  499  641 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  871 0 1 4564  133  362 1  499  400 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  562 1 1 2836  195 5909 2  499  741 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  610 0 1  135  539 5537 1  739  639 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  867 1 1 1874  201 4704 0  499  499 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  845 1 0  647  226 4212 2  501  499 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  822 1 0 5034  541 2582 2  740  740 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  769 0 1  903   91  233 3  399  740 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  667 0 0 4200  562  645 3  640  739 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  597 0 0 5459  555 2985 3  741  401 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  959 1 1 1600  566 3684 1  641  740 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  557 0 1 1365  369  241 0  500  401 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  877 0 1 3749  566 3439 1  641  739 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  637 1 1  486  588 3732 2  399  641 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  950 1 1 1309    2 5510 3  740  639 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  925 0 1  508  500 1124 3  740  740 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  691 0 0 1625  534 5258 0  400  639 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  833 1 1  927  145 2642 2  641  501 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  804 0 1 1933  194 1176 0  640  639 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  937 0 1 2358  298  524 1  740  741 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  542 0 0   96  231 2100 2  400  741 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  975 0 0 1371  238 1272 1  400  640 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  690 0 0  173  231  681 1  499  741 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  866 1 1 5987   18 2595 1  639  639 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  915 0 0 1855   99 3443 2  401  740 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  630 1 0 3335  578 2359 3  401  740 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  843 1 1 1806  481 1209 3  640  500 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  564 1 0  389  179  377 3  741  501 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  685 1 1 4828  116  410 2  501  500 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  716 0 0 1318   76   54 2  400  640 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  624 1 0 3575  185 2668 2  501  639 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  922 0 0 5533  587 5628 1  640  499 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  651 1 0  270  517 5308 0  739  740 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  931 0 0  472  619  702 3  639  740 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  827 0 1 1691  437  776 1  641  399 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  636 0 0 4210  340 4046 0  741  401 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  838 1 0 5179  451 3128 2  399  740 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  807 1 1 3747  344 2226 1  641  401 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  953 1 1 5194  356 2325 3  501  401 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  779 1 1 5328  619 4294 0  501  399 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  932 0 1 2219  415  189 0  641  500 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  969 1 0  691  510  603 1  740  399 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  530 0 0  515   36  368 2  740  400 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  940 1 1  203  198  885 0  499  500 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  877 0 0  996  157 2459 1  501  740 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  779 1 0 4175   94 5280 1  739  499 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  753 1 0 5017   27 1162 3  740  640 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  890 0 1 4178  598 5835 2  741  401 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  969 1 1  375  228  986 0  499  499 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  705 0 0 3770  607  499 1  401  399 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  886 1 1 1380  305 2806 0  641  739 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  833 0 0  981  545  739 0  499  399 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  656 0 0  892  409 4552 1  399  639 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  913 0 0   58   84 1982 1  739  500 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  675 1 0  300  395 2397 2  501  639 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  625 1 1 3344  560 3343 1  501  499 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  750 0 0 5769   41  906 1  401  741 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  817 1 0  973  245 3280 3  740  640 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  651 0 1  982  211  394 3  500  741 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  646 0 1 1598  269 5991 0  400  739 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  670 1 1 1329  428 5569 1  399  740 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  622 1 0 4421  180 1996 2  639  640 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  548 1 1 4416  322 1952 0  739  500 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  654 1 1 2133  113  442 3  641  741 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  543 0 1 2857  188 2979 3  401  741 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  845 1 0 2624  419 4353 1  400  641 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  837 1 1 3649   52 3911 3  640  499 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  812 1 0 2155  530 1846 2  640  739 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  554 1 0 4534    6 1975 3  399  499 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  888 1 0 3648  302  215 1  501  399 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  702 1 1 3653  250  423 1  401  501 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  774 1 1  551  433 2572 1  740  639 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  594 1 1 5449  318 4116 1  400  501 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  961 0 1  902  126 3531 1  740  500 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  934 1 1 2743  366 5463 2  739  399 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  533 0 0 5750  407 4328 2  641  400 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  712 1 1 2545  341 4146 0  641  740 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  780 0 0  702   12 4837 3  740  739 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  861 1 1 2982  567 3850 3  400  401 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  829 1 0 4012  389  818 1  401  400 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  660 0 1 3874   28  726 1  400  401 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  716 1 1 2749  240  993 3  401  739 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  739 1 1  609   48 1187 1  741  639 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  592 1 0 1045  226 4721 2  640  401 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  833 0 0  678  405  963 2  400  739 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  940 0 0  651  469 3461 2  639  400 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  690 0 0  404  384  908 0  500  740 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  757 1 1 3234  187 2853 3  401  500 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  879 0 1  553  347 2553 1  639  400 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  719 1 1 5010  438 4880 0  741  640 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  690 1 1  380  577  239 0  641  640 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  793 0 1  176   89 4431 0  740  399 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  771 0 0 1054  289  282 3  400  641 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  979 0 1  931  141   79 1  639  399 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  858 0 1 3222  405  349 1  740  500 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  918 1 0  818  542 1868 2  639  639 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  741 1 1  966  413 2508 3  741  641 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  990 1 1 3490  323  281 2  640  741 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  536 0 1  927  423 2757 3  399  501 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  927 1 0 4902  351 2093 0  739  740 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  749 0 1 1037  384  703 3  400  740 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  946 1 0 2345  180  170 2  399  400 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  631 1 0 1569  330 1984 0  740  500 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  550 1 1  489  113 1317 1  640  399 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  641 0 1   41  422 4244 3  740  401 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  700 0 1 1300  580 3798 2  639  741 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  666 1 0  201  119 3080 2  399  640 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  661 0 1 3235  287 2268 1  640  399 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  826 0 0 3619  369 2109 1  741  639 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  874 0 1  771    9 4043 1  500  639 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  911 1 1 3373  346 1773 2  400  501 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  749 0 1 2307  230 1594 1  741  740 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  567 1 0 5621  399 3514 1  500  400 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  635 1 0 5854  219  617 3  399  401 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  897 1 1 1701  109 3438 1  641  401 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  598 0 1 2589  130  629 3  399  500 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  893 0 1 5001  301  711 2  400  739 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  530 0 0 1564  583 4042 1  400  500 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  854 0 0 5295  258  895 3  639  500 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  550 1 0  968   10 5679 0  500  740 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  828 1 0 4580  568 2638 0  740  639 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  944 1 1 4283  251 3431 2  639  641 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  768 0 0  889  193 4424 3  740  740 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  857 0 1  574  409 3712 2  501  501 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  659 1 0  781   18  271 3  399  499 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  827 1 1 1935  339  968 0  399  740 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  768 1 1 2197  496 5257 1  639  399 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  684 1 1 5744  499  870 3  741  739 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  722 1 0  201  343  665 1  639  499 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  571 1 0  397  173 2247 2  641  499 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  956 0 1 3698   70  717 3  399  499 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  850 1 1 4146  473  899 1  740  500 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  642 1 1 3494  125 2158 0  500  400 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  628 1 0 2784    4 3034 3  399  399 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  838 0 0 5849  266 1016 2  401  500 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  824 1 1 1917   99  850 3  739  739 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  686 0 0 1705  525 5369 1  641  401 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  934 0 1  372  159 1322 1  401  639 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  999 0 0 3577   27 4795 0  641  500 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  738 0 1  573  548  268 3  499  741 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  988 1 0 5692  580 4270 0  639  639 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  762 0 0 1874  205 4933 3  399  641 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  540 1 1  122  460 5776 2  640  740 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  745 1 1 5728  191 2829 1  401  640 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas 1000 1 0  177  288 5884 3  401  640 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  638 1 0 2578  156 3757 0  500  399 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  919 0 1  131  300 3506 0  641  501 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  874 0 0 5644  103 4207 3  399  740 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  848 1 1 2141  138 2142 1  500  399 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  910 1 0  427  162 2489 2  740  741 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  838 1 0 2922  557  983 1  740  640 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  913 0 1  452  437  263 1  741  741 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  776 0 1  798  308 3693 0  400  741 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  556 0 0 5915  151  482 2  400  739 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  974 0 1  420  156 5924 0  741  400 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  781 1 0  930  207 4163 1  639  399 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  916 0 1 1828   43 3898 3  499  640 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  813 0 0 1259   55  662 1  399  501 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  822 0 0 1474   38 1377 3  641  640 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  538 0 0  186  548 2387 0  739  639 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  983 1 1 4732   69 1731 2  640  739 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  685 1 0  117   74 5136 0  640  639 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  660 1 1 4014  407  561 3  501  400 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  535 0 0 1871   69 5220 2  500  641 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  651 0 1  703  399   62 3  741  641 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  868 0 0 2014  577 1420 1  740  401 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  760 0 0  104  113 1610 3  741  401 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  856 0 1 4927  182 3316 0  741  740 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  874 0 0 3373  525 1643 2  399  641 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  844 1 1 3839   76 2610 1  740  640 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  782 1 1  263  499 1160 0  641  740 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  679 0 0  279  453  454 1  641  499 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  898 1 0 2193   11 2865 2  741  641 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  878 1 0 2425  103  556 1  740  739 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  743 1 0 1305  269  942 1  740  501 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  953 0 1 2935  224 2070 3  499  641 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  897 1 1 2226  306 3860 3  740  641 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  733 0 1  367   18 1266 1  499  399 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  643 1 1 5514  362 2288 1  400  741 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  541 0 1 5231  502 1059 1  399  639 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  598 0 0 3491  413 5933 3  741  401 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  750 1 1  682  313 4253 2  499  740 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  563 1 1 4688  587  773 3  640  639 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  544 0 0 4467  603 5942 1  501  640 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  661 1 1 1802  117 1355 3  400  499 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  880 0 1  412  407  936 1  401  739 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  832 0 0  375  147 2068 0  739  741 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  751 1 1 1924  408 2617 0  639  640 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  698 0 0  990  464 5856 3  640  501 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  858 0 1 1894  242  772 3  400  639 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  798 0 1 5229  263 1740 0  740  401 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  710 1 1 5993  315  239 1  641  401 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  743 1 1 3478  260 1672 1  400  499 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  745 0 0 2069  495 3141 3  501  501 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  865 0 1  796  147  444 0  499  400 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  554 1 1 2815  476 1600 3  641  401 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  536 0 0 3139  164 5669 1  399  501 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  849 0 1 4435  344  969 3  399  401 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  715 1 1 1085  409 1577 3  640  740 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  726 1 0 1021  340 5644 2  641  399 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  974 0 0 1091  325   69 3  501  741 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  584 1 0  679   53  117 1  739  401 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  998 1 0 2921  563  904 1  499  641 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  786 1 0  383  548 5870 0  639  399 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  809 0 0  108  413  343 3  401  399 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  873 1 0 2763    4  208 3  741  401 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  523 1 0 5002  473  909 3  499  501 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  982 1 1  927  524 5556 2  500  501 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  921 1 0 2049  162 1259 3  401  641 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  679 1 1 3180  297 5750 3  739  400 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  755 0 0 2949  565 2031 0  399  741 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  643 0 1 1976  129  124 1  499  641 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  815 0 0  836  295 1267 3  739  499 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  677 1 0 4864  257 5470 1  501  399 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  986 1 1 1534  145 2736 3  641  401 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  841 1 1  670  226 4140 1  640  740 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  960 0 1 5487  575 2958 0  400  500 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  945 1 1 1426  406  555 2  401  739 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  587 0 0 3575    5  815 0  639  739 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  816 1 1 5118  231 4376 1  500  499 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  772 1 1 2007  377  416 1  401  639 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  802 0 1 3169  150 4244 2  739  400 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  745 1 0   85  144 5206 3  401  499 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  944 0 0 2065  348  818 2  640  739 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  937 1 1 5273  326  878 1  640  641 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  594 0 1  574  103  969 2  499  399 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  725 1 1 2766  354 4811 3  641  501 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  523 1 1  877  601 5608 1  639  400 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  931 1 0 5113   72 3242 3  400  639 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  716 1 0 5046  323 3839 1  639  500 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  893 1 0 5078  256 3944 1  500  641 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  819 0 0 3878  331 5704 3  740  499 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  611 0 0 1509   98  667 3  739  399 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  574 0 1 2060  111 2572 3  500  641 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  989 1 0 1208   55 4201 2  499  400 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  895 1 1  985  483 3388 2  501  400 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  724 0 1 1495  597 5243 0  640  500 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  932 1 1 3456  557  571 2  640  400 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  521 1 0 1907  348 2633 0  499  501 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  608 1 1  674  216  442 0  741  400 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  589 0 1 3817  593  223 3  400  641 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  841 0 1 3618  311 1559 1  400  739 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  746 1 0  121  246  362 1  401  640 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  628 1 0 5645  573 1477 2  501  399 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  845 1 0  805  521  374 3  499  740 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  690 0 1 4135  106 3520 1  499  639 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  548 1 1 2625  249 1679 0  641  501 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  763 0 0  907  444 1881 0  741  399 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  750 1 1 1730  298   60 0  640  500 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  653 1 0 1707  280 3904 3  501  740 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  697 0 0  539  241 2597 3  640  741 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  556 1 1  351    9  281 3  741  639 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  789 0 0 3283  354 1116 2  640  400 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  717 0 0 3436  374 1439 2  640  740 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  596 0 0 5238  574  857 3  739  501 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  767 0 1 2316  399 3575 0  499  501 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  806 1 0 2197  495 5711 0  401  739 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  593 0 1  765  481 3711 0  500  641 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  955 0 1 1836  542 3698 3  500  401 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  622 1 1 3661   13  223 1  499  739 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  719 0 0 5273  196 3585 1  740  740 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  772 0 1 3773   87 4375 1  639  400 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  612 1 0 4829    4  200 1  399  500 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  694 1 1 3238   81 1642 1  500  739 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  564 0 0  417  556 3138 0  741  639 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  994 0 0 3682  579   39 0  400  740 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  689 1 0 5258  331 1464 2  640  501 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  971 1 0  383  189 4986 3  739  501 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  775 0 1  865  102 2303 3  401  401 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  612 0 1 3691  242  485 1  401  500 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  980 1 1  904  214 2419 1  400  641 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  785 1 0 2740  421  162 3  741  741 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  546 0 0 2569  544 2947 0  399  640 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  886 0 0 2059  459  274 1  401  641 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  889 0 0 3799  100 4302 1  499  640 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  698 1 1 4165  477 5526 2  641  500 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  644 0 1 2518  298  896 2  401  500 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  843 0 1 1935    2 4489 0  499  401 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  577 1 1 2046  389  495 0  740  501 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  856 1 1 2716  320 1742 2  641  401 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  900 1 0 3346  507  663 2  640  639 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  995 0 1 3499   70 1262 1  640  399 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  656 0 1 4956  595 2307 2  501  741 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  878 0 1 4939  250 1842 2  640  400 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  591 1 1 1124  287 2790 2  640  501 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  785 0 1 2802  447 2187 1  400  740 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  904 1 1 2361  527  419 2  401  400 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  619 1 0  197  287 4568 2  500  499 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  928 1 1  380  232 5117 1  740  499 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  860 1 1  602  331 5657 3  639  740 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  661 0 0  767   26 5316 3  640  399 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  534 1 0 5360  149 1528 3  740  499 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  774 1 1 1231  234   61 2  400  500 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  804 0 1 3514  152 1152 1  740  501 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  887 0 0 1725  477 2346 2  741  739 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  808 1 1  946  546  661 1  400  640 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  800 1 0 2067  586  284 3  740  499 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  811 0 0 2117  222 3074 3  501  399 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  661 0 0  963  177 5207 3  499  400 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  995 0 0 2133  218  905 1  501  501 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  788 0 0  113  177 2105 2  501  741 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  906 0 0 4284  439  111 2  740  740 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  537 0 1 1397  427 1241 1  739  740 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  876 1 1  508  401  271 0  401  400 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  548 1 0 2001  399  523 0  741  739 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  801 0 1 5536  450  504 2  741  740 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  921 0 1 2166  315 3826 0  739  500 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  958 0 0 1971  138 4932 2  400  640 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  661 1 1   23  469 2852 1  400  500 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  878 0 1 5906  588 3803 2  499  399 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  664 1 0 3757   24 2579 1  499  739 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  564 1 0  463  166  199 2  500  640 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  787 0 1 3296  306  326 3  741  639 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  843 0 1  154  327 2365 0  640  499 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  669 1 0  287  436 2803 3  740  400 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  734 0 0 2049  280 5472 0  399  499 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  578 1 0 1170  526 4785 1  399  741 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  541 1 0 3553  365  687 0  400  741 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  530 0 1  129  519 1555 1  501  640 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  847 0 1 2379  193 4481 0  641  741 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  867 1 1 1211  581  153 2  640  641 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  607 1 1 4250   14 4883 2  399  641 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  558 0 1   84  275 4457 1  501  401 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  526 0 1  751  595 2071 3  400  641 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  745 0 1  730  516  245 1  641  399 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  812 1 0 4165   80  690 0  741  401 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  785 0 1 4931  240  554 2  499  400 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  540 1 0  672  233    7 0  641  399 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  756 0 1  562  415 3339 2  640  640 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  695 0 1   55  100 2038 1  499  401 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  559 1 1 1883  613 4507 2  640  500 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  676 1 0  566  287 5295 2  399  500 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  571 0 0 3403  576  850 1  741  500 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  831 0 1  468  108 3882 1  500  399 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  794 1 1  562  577 2901 2  499  401 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  680 0 0  505   44  186 1  739  741 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  924 0 0 1568   86  533 0  739  499 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  833 1 0 4117  424 2255 1  501  401 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  759 0 0 1552  265 4793 0  641  640 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  973 0 0 1209  444 4409 2  399  641 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  739 1 1 5287  252  632 1  740  639 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  912 0 0 2658  192 3449 3  399  401 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  750 0 0 5376  523 2611 2  500  639 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  953 0 1 1508  132  672 3  499  499 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  782 1 1  513  224 5295 0  641  639 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  722 1 1 1415  245  316 0  401  739 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  836 1 0 4086  407  308 2  499  400 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  994 0 1 3194  242  687 1  501  741 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  644 1 1 1986  596 2448 0  741  400 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  935 1 1  792  272 3451 3  401  740 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  690 1 1 4560  148   43 2  741  500 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  596 1 0 4634  393  376 1  640  501 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  538 0 1  404  384 4237 2  640  499 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  799 0 1  386  380  351 1  639  639 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  640 0 1 2175  485 1271 3  639  499 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  884 0 1  754  323 2052 3  399  640 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  635 1 0 1142  511 4704 1  740  500 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  781 1 0 1855  408 3758 3  741  741 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  757 1 1  319   51  300 1  401  741 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  526 1 1 5505  562 2174 2  639  399 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  867 0 0 4266  161 5389 1  640  741 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  693 1 1 4557  254  482 3  740  739 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  671 0 1 5327  132  902 2  400  500 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  818 0 1  100  562 4914 0  739  401 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  780 1 0 5331   10 1209 3  399  640 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  706 1 0 4170  207  133 3  499  400 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  714 1 1 1027  537  387 3  739  400 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  946 0 0  693  550 4173 2  399  400 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  630 1 0 2188  209 2525 0  639  739 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  914 1 1 4924  384 5869 3  740  741 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  721 1 0 4129  379 2370 3  500  741 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  831 1 0 4955    8 4715 0  500  399 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  905 1 0 1171  158  385 0  739  499 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  899 0 1 4998    2 4230 0  500  501 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  924 0 1 1780  437  998 2  501  639 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  574 1 0  317  311 2079 1  400  400 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  623 0 1 4856  546  420 3  500  501 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  699 0 0 4483  280  358 1  499  639 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  942 1 1 2938  179  534 0  740  641 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  571 0 1  379  114 2328 2  400  401 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  965 0 0 5560  431 1871 0  741  399 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  974 0 1 1279  110 1990 3  400  501 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  559 1 1 2851  413 4323 2  501  740 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  655 1 1 4095  265 3490 2  739  499 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  860 1 1 2944  139 5412 0  399  641 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  924 1 0 1981  336 3860 2  500  501 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  848 1 0 2408  180  525 0  740  401 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  921 0 1 1788  125  516 3  399  739 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  852 1 1 1399  347 1245 1  400  641 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  897 0 0 2622  326 3725 2  401  400 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  933 0 1  567  407 1839 0  641  640 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  776 1 0  954   72 2987 3  399  741 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  748 1 0  508   81 1372 0  740  739 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  624 0 1 3277  264 5028 3  640  400 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  570 1 1 5125   85 4371 0  400  499 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  546 0 1 4364   90 4988 3  739  640 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  732 0 0 2558  599 3531 0  399  739 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  795 0 0 3378   59  440 0  399  740 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  574 0 0  321  131 1814 0  639  641 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  997 1 0 4466  100 4610 1  639  400 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  740 1 1  972  312 3512 3  501  740 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  869 0 0 5624   18  702 2  500  641 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  955 0 1 1567  366  363 0  401  639 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  735 1 0 2792  119  224 3  739  739 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  912 1 0 4251  133  545 1  739  399 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  607 1 0 5014  531  310 1  739  501 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  733 1 0 1785  585  343 3  741  499 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  811 1 1 4100  193 5500 3  641  500 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  715 0 0 1768  391 1782 2  740  399 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  797 0 0 4454  508  288 2  741  401 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  578 0 0 4590  303  220 0  499  501 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  621 0 1  675  520 3199 3  641  400 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  841 0 1  427    9 4967 2  740  501 1 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  524 0 0 2495  396  506 3  740  640 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  848 0 0 2494  271 2583 1  501  641 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  966 0 0 5272  252  451 3  499  740 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  820 0 0 1557  524 1163 0  499  499 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  679 1 1  541  338 5123 0  641  641 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  565 0 0 4233   97 5531 1  739  641 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  793 0 0 5989  606 3063 3  500  641 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  609 0 0  259    8 3583 0  641  741 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  962 0 0 3810  528 1326 2  641  400 0 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  587 1 0 4426  303 1022 0  499  741 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  607 0 0 3707  320 5543 0  639  639 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  584 1 1 1289  401 4395 1  501  639 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  564 1 1 4996  391 1494 3  640  500 0 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  952 0 1 2813  121 3907 0  501  401 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  817 0 1 4129   65 3077 0  739  401 1 0 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  726 0 0 3176  519 2689 1  400  641 1 1 1
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  895 0 1 5104  338  372 3  500  639 0 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  928 1 1 3716  536 1907 2  501  639 1 0 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  608 1 1 3093  528 5892 1  400  400 0 1 0
--decls-file=daikon-output/tcas.decls --no-dyncomp ./tcas  627 1 0  151  446 1983 3  401  500 0 1 1
--decls-only --dyncomp --decls-file=daikon-output/tcas.dyncomp.decls ./tcas 958 1 1 2597  574 4253 0  399  400 0 0 1 
