• R/O
  • SSH
  • HTTPS

morilibprolog: Commit


Commit MetaInfo

Revision17 (tree)
Time2014-12-13 18:02:59
Authory-moriguchi

Log Message

fixed some bugs

Change Summary

Incremental Difference

--- trunk/prolog/src/net/morilib/predicate/parser/akiha/CLP.java (revision 16)
+++ trunk/prolog/src/net/morilib/predicate/parser/akiha/CLP.java (revision 17)
@@ -51,6 +51,8 @@
5151 import net.morilib.predicate.Term;
5252 import net.morilib.predicate.Variable;
5353 import net.morilib.predicate.operator.EqOp;
54+import net.morilib.predicate.operator.GtOp;
55+import net.morilib.predicate.operator.LtOp;
5456
5557
5658
@@ -341,16 +343,16 @@
341343
342344 int arglist_execaction(int $c) {
343345 switch(STATE) {
344- case 3:
346+ case 2:
345347 break;
346348 case 1:
347349 (__stv[__slen - 1][1]) = _;
348350 break;
349- case 2:
350- break;
351351 case 4:
352352 _ = addbuf(((Object)(__stv[__slen - 1][1])), _);
353353 break;
354+ case 3:
355+ break;
354356 case 0:
355357 break;
356358 }
@@ -458,18 +460,18 @@
458460
459461 int unary_execaction(int $c) {
460462 switch(STATE) {
463+ case 2:
464+ break;
461465 case 0:
462466 break;
463- case 4:
464- _ = unMinus(_);
465- break;
466467 case 3:
467468 break;
468- case 2:
469- break;
470469 case 1:
471470 (__stv[__slen - 1][1]) = _;
472471 break;
472+ case 4:
473+ _ = unMinus(_);
474+ break;
473475 }
474476 return 1;
475477 }
@@ -542,18 +544,18 @@
542544 return 1;
543545 }
544546 case 1:
545- if(($c >= '0' && $c <= '9')) {
547+ if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
548+ STATE = 1;
549+ return 1;
550+ } else if(($c >= '0' && $c <= '9')) {
546551 $buffer = new StringBuffer();$buffer.append((char)$c);
547552 STATE = 2;
548553 return 1;
554+ } else if(($c == '(')) {
555+ STATE = 3;
556+ return 1;
549557 } else if(($c == '$') || ($c >= 'A' && $c <= 'Z') || ($c == '_') || ($c >= 'a' && $c <= 'z') || ($c >= 162 && $c <= 165) || ($c == 170) || ($c == 181) || ($c == 186) || ($c >= 192 && $c <= 214) || ($c >= 216 && $c <= 246) || ($c >= 248 && $c <= 705) || ($c >= 710 && $c <= 721) || ($c >= 736 && $c <= 740) || ($c == 748) || ($c == 750) || ($c >= 880 && $c <= 884) || ($c >= 886 && $c <= 887) || ($c >= 890 && $c <= 893) || ($c == 902) || ($c >= 904 && $c <= 906) || ($c == 908) || ($c >= 910 && $c <= 929) || ($c >= 931 && $c <= 1013) || ($c >= 1015 && $c <= 1153) || ($c >= 1162 && $c <= 1319) || ($c >= 1329 && $c <= 1366) || ($c == 1369) || ($c >= 1377 && $c <= 1415) || ($c >= 1488 && $c <= 1514) || ($c >= 1520 && $c <= 1522) || ($c == 1547) || ($c >= 1568 && $c <= 1610) || ($c >= 1646 && $c <= 1647) || ($c >= 1649 && $c <= 1747) || ($c == 1749) || ($c >= 1765 && $c <= 1766) || ($c >= 1774 && $c <= 1775) || ($c >= 1786 && $c <= 1788) || ($c == 1791) || ($c == 1808) || ($c >= 1810 && $c <= 1839) || ($c >= 1869 && $c <= 1957) || ($c == 1969) || ($c >= 1994 && $c <= 2026) || ($c >= 2036 && $c <= 2037) || ($c == 2042) || ($c >= 2048 && $c <= 2069) || ($c == 2074) || ($c == 2084) || ($c == 2088) || ($c >= 2112 && $c <= 2136) || ($c >= 2308 && $c <= 2361) || ($c == 2365) || ($c == 2384) || ($c >= 2392 && $c <= 2401) || ($c >= 2417 && $c <= 2423) || ($c >= 2425 && $c <= 2431) || ($c >= 2437 && $c <= 2444) || ($c >= 2447 && $c <= 2448) || ($c >= 2451 && $c <= 2472) || ($c >= 2474 && $c <= 2480) || ($c == 2482) || ($c >= 2486 && $c <= 2489) || ($c == 2493) || ($c == 2510) || ($c >= 2524 && $c <= 2525) || ($c >= 2527 && $c <= 2529) || ($c >= 2544 && $c <= 2547) || ($c == 2555) || ($c >= 2565 && $c <= 2570) || ($c >= 2575 && $c <= 2576) || ($c >= 2579 && $c <= 2600) || ($c >= 2602 && $c <= 2608) || ($c >= 2610 && $c <= 2611) || ($c >= 2613 && $c <= 2614) || ($c >= 2616 && $c <= 2617) || ($c >= 2649 && $c <= 2652) || ($c == 2654) || ($c >= 2674 && $c <= 2676) || ($c >= 2693 && $c <= 2701) || ($c >= 2703 && $c <= 2705) || ($c >= 2707 && $c <= 2728) || ($c >= 2730 && $c <= 2736) || ($c >= 2738 && $c <= 2739) || ($c >= 2741 && $c <= 2745) || ($c == 2749) || ($c == 2768) || ($c >= 2784 && $c <= 2785) || ($c == 2801) || ($c >= 2821 && $c <= 2828) || ($c >= 2831 && $c <= 2832) || ($c >= 2835 && $c <= 2856) || ($c >= 2858 && $c <= 2864) || ($c >= 2866 && $c <= 2867) || ($c >= 2869 && $c <= 2873) || ($c == 2877) || ($c >= 2908 && $c <= 2909) || ($c >= 2911 && $c <= 2913) || ($c == 2929) || ($c == 2947) || ($c >= 2949 && $c <= 2954) || ($c >= 2958 && $c <= 2960) || ($c >= 2962 && $c <= 2965) || ($c >= 2969 && $c <= 2970) || ($c == 2972) || ($c >= 2974 && $c <= 2975) || ($c >= 2979 && $c <= 2980) || ($c >= 2984 && $c <= 2986) || ($c >= 2990 && $c <= 3001) || ($c == 3024) || ($c == 3065) || ($c >= 3077 && $c <= 3084) || ($c >= 3086 && $c <= 3088) || ($c >= 3090 && $c <= 3112) || ($c >= 3114 && $c <= 3123) || ($c >= 3125 && $c <= 3129) || ($c == 3133) || ($c >= 3160 && $c <= 3161) || ($c >= 3168 && $c <= 3169) || ($c >= 3205 && $c <= 3212) || ($c >= 3214 && $c <= 3216) || ($c >= 3218 && $c <= 3240) || ($c >= 3242 && $c <= 3251) || ($c >= 3253 && $c <= 3257) || ($c == 3261) || ($c == 3294) || ($c >= 3296 && $c <= 3297) || ($c >= 3313 && $c <= 3314) || ($c >= 3333 && $c <= 3340) || ($c >= 3342 && $c <= 3344) || ($c >= 3346 && $c <= 3386) || ($c == 3389) || ($c == 3406) || ($c >= 3424 && $c <= 3425) || ($c >= 3450 && $c <= 3455) || ($c >= 3461 && $c <= 3478) || ($c >= 3482 && $c <= 3505) || ($c >= 3507 && $c <= 3515) || ($c == 3517) || ($c >= 3520 && $c <= 3526) || ($c >= 3585 && $c <= 3632) || ($c >= 3634 && $c <= 3635) || ($c >= 3647 && $c <= 3654) || ($c >= 3713 && $c <= 3714) || ($c == 3716) || ($c >= 3719 && $c <= 3720) || ($c == 3722) || ($c == 3725) || ($c >= 3732 && $c <= 3735) || ($c >= 3737 && $c <= 3743) || ($c >= 3745 && $c <= 3747) || ($c == 3749) || ($c == 3751) || ($c >= 3754 && $c <= 3755) || ($c >= 3757 && $c <= 3760) || ($c >= 3762 && $c <= 3763) || ($c == 3773) || ($c >= 3776 && $c <= 3780) || ($c == 3782) || ($c >= 3804 && $c <= 3805) || ($c == 3840) || ($c >= 3904 && $c <= 3911) || ($c >= 3913 && $c <= 3948) || ($c >= 3976 && $c <= 3980) || ($c >= 4096 && $c <= 4138) || ($c == 4159) || ($c >= 4176 && $c <= 4181) || ($c >= 4186 && $c <= 4189) || ($c == 4193) || ($c >= 4197 && $c <= 4198) || ($c >= 4206 && $c <= 4208) || ($c >= 4213 && $c <= 4225) || ($c == 4238) || ($c >= 4256 && $c <= 4293) || ($c >= 4304 && $c <= 4346) || ($c == 4348) || ($c >= 4352 && $c <= 4680) || ($c >= 4682 && $c <= 4685) || ($c >= 4688 && $c <= 4694) || ($c == 4696) || ($c >= 4698 && $c <= 4701) || ($c >= 4704 && $c <= 4744) || ($c >= 4746 && $c <= 4749) || ($c >= 4752 && $c <= 4784) || ($c >= 4786 && $c <= 4789) || ($c >= 4792 && $c <= 4798) || ($c == 4800) || ($c >= 4802 && $c <= 4805) || ($c >= 4808 && $c <= 4822) || ($c >= 4824 && $c <= 4880) || ($c >= 4882 && $c <= 4885) || ($c >= 4888 && $c <= 4954) || ($c >= 4992 && $c <= 5007) || ($c >= 5024 && $c <= 5108) || ($c >= 5121 && $c <= 5740) || ($c >= 5743 && $c <= 5759) || ($c >= 5761 && $c <= 5786) || ($c >= 5792 && $c <= 5866) || ($c >= 5870 && $c <= 5872) || ($c >= 5888 && $c <= 5900) || ($c >= 5902 && $c <= 5905) || ($c >= 5920 && $c <= 5937) || ($c >= 5952 && $c <= 5969) || ($c >= 5984 && $c <= 5996) || ($c >= 5998 && $c <= 6000) || ($c >= 6016 && $c <= 6067) || ($c == 6103) || ($c >= 6107 && $c <= 6108) || ($c >= 6176 && $c <= 6263) || ($c >= 6272 && $c <= 6312) || ($c == 6314) || ($c >= 6320 && $c <= 6389) || ($c >= 6400 && $c <= 6428) || ($c >= 6480 && $c <= 6509) || ($c >= 6512 && $c <= 6516) || ($c >= 6528 && $c <= 6571) || ($c >= 6593 && $c <= 6599) || ($c >= 6656 && $c <= 6678) || ($c >= 6688 && $c <= 6740) || ($c == 6823) || ($c >= 6917 && $c <= 6963) || ($c >= 6981 && $c <= 6987) || ($c >= 7043 && $c <= 7072) || ($c >= 7086 && $c <= 7087) || ($c >= 7104 && $c <= 7141) || ($c >= 7168 && $c <= 7203) || ($c >= 7245 && $c <= 7247) || ($c >= 7258 && $c <= 7293) || ($c >= 7401 && $c <= 7404) || ($c >= 7406 && $c <= 7409) || ($c >= 7424 && $c <= 7615) || ($c >= 7680 && $c <= 7957) || ($c >= 7960 && $c <= 7965) || ($c >= 7968 && $c <= 8005) || ($c >= 8008 && $c <= 8013) || ($c >= 8016 && $c <= 8023) || ($c == 8025) || ($c == 8027) || ($c == 8029) || ($c >= 8031 && $c <= 8061) || ($c >= 8064 && $c <= 8116) || ($c >= 8118 && $c <= 8124) || ($c == 8126) || ($c >= 8130 && $c <= 8132) || ($c >= 8134 && $c <= 8140) || ($c >= 8144 && $c <= 8147) || ($c >= 8150 && $c <= 8155) || ($c >= 8160 && $c <= 8172) || ($c >= 8178 && $c <= 8180) || ($c >= 8182 && $c <= 8188) || ($c >= 8255 && $c <= 8256) || ($c == 8276) || ($c == 8305) || ($c == 8319) || ($c >= 8336 && $c <= 8348) || ($c >= 8352 && $c <= 8377) || ($c == 8450) || ($c == 8455) || ($c >= 8458 && $c <= 8467) || ($c == 8469) || ($c >= 8473 && $c <= 8477) || ($c == 8484) || ($c == 8486) || ($c == 8488) || ($c >= 8490 && $c <= 8493) || ($c >= 8495 && $c <= 8505) || ($c >= 8508 && $c <= 8511) || ($c >= 8517 && $c <= 8521) || ($c == 8526) || ($c >= 8544 && $c <= 8584) || ($c >= 11264 && $c <= 11310) || ($c >= 11312 && $c <= 11358) || ($c >= 11360 && $c <= 11492) || ($c >= 11499 && $c <= 11502) || ($c >= 11520 && $c <= 11557) || ($c >= 11568 && $c <= 11621) || ($c == 11631) || ($c >= 11648 && $c <= 11670) || ($c >= 11680 && $c <= 11686) || ($c >= 11688 && $c <= 11694) || ($c >= 11696 && $c <= 11702) || ($c >= 11704 && $c <= 11710) || ($c >= 11712 && $c <= 11718) || ($c >= 11720 && $c <= 11726) || ($c >= 11728 && $c <= 11734) || ($c >= 11736 && $c <= 11742) || ($c == 11823) || ($c >= 12293 && $c <= 12295) || ($c >= 12321 && $c <= 12329) || ($c >= 12337 && $c <= 12341) || ($c >= 12344 && $c <= 12348) || ($c >= 12353 && $c <= 12438) || ($c >= 12445 && $c <= 12447) || ($c >= 12449 && $c <= 12538) || ($c >= 12540 && $c <= 12543) || ($c >= 12549 && $c <= 12589) || ($c >= 12593 && $c <= 12686) || ($c >= 12704 && $c <= 12730) || ($c >= 12784 && $c <= 12799) || ($c >= 13312 && $c <= 19893) || ($c >= 19968 && $c <= 40907) || ($c >= 40960 && $c <= 42124) || ($c >= 42192 && $c <= 42237) || ($c >= 42240 && $c <= 42508) || ($c >= 42512 && $c <= 42527) || ($c >= 42538 && $c <= 42539) || ($c >= 42560 && $c <= 42606) || ($c >= 42623 && $c <= 42647) || ($c >= 42656 && $c <= 42735) || ($c >= 42775 && $c <= 42783) || ($c >= 42786 && $c <= 42888) || ($c >= 42891 && $c <= 42894) || ($c >= 42896 && $c <= 42897) || ($c >= 42912 && $c <= 42921) || ($c >= 43002 && $c <= 43009) || ($c >= 43011 && $c <= 43013) || ($c >= 43015 && $c <= 43018) || ($c >= 43020 && $c <= 43042) || ($c == 43064) || ($c >= 43072 && $c <= 43123) || ($c >= 43138 && $c <= 43187) || ($c >= 43250 && $c <= 43255) || ($c == 43259) || ($c >= 43274 && $c <= 43301) || ($c >= 43312 && $c <= 43334) || ($c >= 43360 && $c <= 43388) || ($c >= 43396 && $c <= 43442) || ($c == 43471) || ($c >= 43520 && $c <= 43560) || ($c >= 43584 && $c <= 43586) || ($c >= 43588 && $c <= 43595) || ($c >= 43616 && $c <= 43638) || ($c == 43642) || ($c >= 43648 && $c <= 43695) || ($c == 43697) || ($c >= 43701 && $c <= 43702) || ($c >= 43705 && $c <= 43709) || ($c == 43712) || ($c == 43714) || ($c >= 43739 && $c <= 43741) || ($c >= 43777 && $c <= 43782) || ($c >= 43785 && $c <= 43790) || ($c >= 43793 && $c <= 43798) || ($c >= 43808 && $c <= 43814) || ($c >= 43816 && $c <= 43822) || ($c >= 43968 && $c <= 44002) || ($c >= 44032 && $c <= 55203) || ($c >= 55216 && $c <= 55238) || ($c >= 55243 && $c <= 55291) || ($c >= 63744 && $c <= 64045) || ($c >= 64048 && $c <= 64109) || ($c >= 64112 && $c <= 64217) || ($c >= 64256 && $c <= 64262) || ($c >= 64275 && $c <= 64279) || ($c == 64285) || ($c >= 64287 && $c <= 64296) || ($c >= 64298 && $c <= 64310) || ($c >= 64312 && $c <= 64316) || ($c == 64318) || ($c >= 64320 && $c <= 64321) || ($c >= 64323 && $c <= 64324) || ($c >= 64326 && $c <= 64433) || ($c >= 64467 && $c <= 64829) || ($c >= 64848 && $c <= 64911) || ($c >= 64914 && $c <= 64967) || ($c >= 65008 && $c <= 65020) || ($c >= 65075 && $c <= 65076) || ($c >= 65101 && $c <= 65103) || ($c == 65129) || ($c >= 65136 && $c <= 65140) || ($c >= 65142 && $c <= 65276) || ($c == 65284) || ($c >= 65313 && $c <= 65338) || ($c == 65343) || ($c >= 65345 && $c <= 65370) || ($c >= 65382 && $c <= 65470) || ($c >= 65474 && $c <= 65479) || ($c >= 65482 && $c <= 65487) || ($c >= 65490 && $c <= 65495) || ($c >= 65498 && $c <= 65500) || ($c >= 65504 && $c <= 65505) || ($c >= 65509 && $c <= 65510)) {
550558 $buffer = new StringBuffer();$buffer.append((char)$c);
551- STATE = 3;
552- return 1;
553- } else if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
554- STATE = 1;
555- return 1;
556- } else if(($c == '(')) {
557559 STATE = 4;
558560 return 1;
559561 } else if(($c == '[')) {
@@ -612,34 +614,34 @@
612614 case 6:
613615 return 0;
614616 case 4:
615- if($c >= 0) {
616- __stkpush(14, ENGINE_term);
617- STATE = 0;
618- return NINA_ACCEPT;
619- }
620- return 0;
621- case 14:
622- if(($c == ')')) {
623- STATE = 15;
624- return 1;
625- }
626- return 0;
627- case 15:
628- return 0;
629- case 3:
630617 if(($c >= 0 && $c <= 8) || ($c >= 14 && $c <= 27) || ($c == '$') || ($c >= '0' && $c <= '9') || ($c >= 'A' && $c <= 'Z') || ($c == '_') || ($c >= 'a' && $c <= 'z') || ($c >= 127 && $c <= 159) || ($c >= 162 && $c <= 165) || ($c == 170) || ($c == 173) || ($c == 181) || ($c == 186) || ($c >= 192 && $c <= 214) || ($c >= 216 && $c <= 246) || ($c >= 248 && $c <= 705) || ($c >= 710 && $c <= 721) || ($c >= 736 && $c <= 740) || ($c == 748) || ($c == 750) || ($c >= 768 && $c <= 884) || ($c >= 886 && $c <= 887) || ($c >= 890 && $c <= 893) || ($c == 902) || ($c >= 904 && $c <= 906) || ($c == 908) || ($c >= 910 && $c <= 929) || ($c >= 931 && $c <= 1013) || ($c >= 1015 && $c <= 1153) || ($c >= 1155 && $c <= 1159) || ($c >= 1162 && $c <= 1319) || ($c >= 1329 && $c <= 1366) || ($c == 1369) || ($c >= 1377 && $c <= 1415) || ($c >= 1425 && $c <= 1469) || ($c == 1471) || ($c >= 1473 && $c <= 1474) || ($c >= 1476 && $c <= 1477) || ($c == 1479) || ($c >= 1488 && $c <= 1514) || ($c >= 1520 && $c <= 1522) || ($c >= 1536 && $c <= 1539) || ($c == 1547) || ($c >= 1552 && $c <= 1562) || ($c >= 1568 && $c <= 1641) || ($c >= 1646 && $c <= 1747) || ($c >= 1749 && $c <= 1757) || ($c >= 1759 && $c <= 1768) || ($c >= 1770 && $c <= 1788) || ($c == 1791) || ($c >= 1807 && $c <= 1866) || ($c >= 1869 && $c <= 1969) || ($c >= 1984 && $c <= 2037) || ($c == 2042) || ($c >= 2048 && $c <= 2093) || ($c >= 2112 && $c <= 2139) || ($c >= 2304 && $c <= 2403) || ($c >= 2406 && $c <= 2415) || ($c >= 2417 && $c <= 2423) || ($c >= 2425 && $c <= 2431) || ($c >= 2433 && $c <= 2435) || ($c >= 2437 && $c <= 2444) || ($c >= 2447 && $c <= 2448) || ($c >= 2451 && $c <= 2472) || ($c >= 2474 && $c <= 2480) || ($c == 2482) || ($c >= 2486 && $c <= 2489) || ($c >= 2492 && $c <= 2500) || ($c >= 2503 && $c <= 2504) || ($c >= 2507 && $c <= 2510) || ($c == 2519) || ($c >= 2524 && $c <= 2525) || ($c >= 2527 && $c <= 2531) || ($c >= 2534 && $c <= 2547) || ($c == 2555) || ($c >= 2561 && $c <= 2563) || ($c >= 2565 && $c <= 2570) || ($c >= 2575 && $c <= 2576) || ($c >= 2579 && $c <= 2600) || ($c >= 2602 && $c <= 2608) || ($c >= 2610 && $c <= 2611) || ($c >= 2613 && $c <= 2614) || ($c >= 2616 && $c <= 2617) || ($c == 2620) || ($c >= 2622 && $c <= 2626) || ($c >= 2631 && $c <= 2632) || ($c >= 2635 && $c <= 2637) || ($c == 2641) || ($c >= 2649 && $c <= 2652) || ($c == 2654) || ($c >= 2662 && $c <= 2677) || ($c >= 2689 && $c <= 2691) || ($c >= 2693 && $c <= 2701) || ($c >= 2703 && $c <= 2705) || ($c >= 2707 && $c <= 2728) || ($c >= 2730 && $c <= 2736) || ($c >= 2738 && $c <= 2739) || ($c >= 2741 && $c <= 2745) || ($c >= 2748 && $c <= 2757) || ($c >= 2759 && $c <= 2761) || ($c >= 2763 && $c <= 2765) || ($c == 2768) || ($c >= 2784 && $c <= 2787) || ($c >= 2790 && $c <= 2799) || ($c == 2801) || ($c >= 2817 && $c <= 2819) || ($c >= 2821 && $c <= 2828) || ($c >= 2831 && $c <= 2832) || ($c >= 2835 && $c <= 2856) || ($c >= 2858 && $c <= 2864) || ($c >= 2866 && $c <= 2867) || ($c >= 2869 && $c <= 2873) || ($c >= 2876 && $c <= 2884) || ($c >= 2887 && $c <= 2888) || ($c >= 2891 && $c <= 2893) || ($c >= 2902 && $c <= 2903) || ($c >= 2908 && $c <= 2909) || ($c >= 2911 && $c <= 2915) || ($c >= 2918 && $c <= 2927) || ($c == 2929) || ($c >= 2946 && $c <= 2947) || ($c >= 2949 && $c <= 2954) || ($c >= 2958 && $c <= 2960) || ($c >= 2962 && $c <= 2965) || ($c >= 2969 && $c <= 2970) || ($c == 2972) || ($c >= 2974 && $c <= 2975) || ($c >= 2979 && $c <= 2980) || ($c >= 2984 && $c <= 2986) || ($c >= 2990 && $c <= 3001) || ($c >= 3006 && $c <= 3010) || ($c >= 3014 && $c <= 3016) || ($c >= 3018 && $c <= 3021) || ($c == 3024) || ($c == 3031) || ($c >= 3046 && $c <= 3055) || ($c == 3065) || ($c >= 3073 && $c <= 3075) || ($c >= 3077 && $c <= 3084) || ($c >= 3086 && $c <= 3088) || ($c >= 3090 && $c <= 3112) || ($c >= 3114 && $c <= 3123) || ($c >= 3125 && $c <= 3129) || ($c >= 3133 && $c <= 3140) || ($c >= 3142 && $c <= 3144) || ($c >= 3146 && $c <= 3149) || ($c >= 3157 && $c <= 3158) || ($c >= 3160 && $c <= 3161) || ($c >= 3168 && $c <= 3171) || ($c >= 3174 && $c <= 3183) || ($c >= 3202 && $c <= 3203) || ($c >= 3205 && $c <= 3212) || ($c >= 3214 && $c <= 3216) || ($c >= 3218 && $c <= 3240) || ($c >= 3242 && $c <= 3251) || ($c >= 3253 && $c <= 3257) || ($c >= 3260 && $c <= 3268) || ($c >= 3270 && $c <= 3272) || ($c >= 3274 && $c <= 3277) || ($c >= 3285 && $c <= 3286) || ($c == 3294) || ($c >= 3296 && $c <= 3299) || ($c >= 3302 && $c <= 3311) || ($c >= 3313 && $c <= 3314) || ($c >= 3330 && $c <= 3331) || ($c >= 3333 && $c <= 3340) || ($c >= 3342 && $c <= 3344) || ($c >= 3346 && $c <= 3386) || ($c >= 3389 && $c <= 3396) || ($c >= 3398 && $c <= 3400) || ($c >= 3402 && $c <= 3406) || ($c == 3415) || ($c >= 3424 && $c <= 3427) || ($c >= 3430 && $c <= 3439) || ($c >= 3450 && $c <= 3455) || ($c >= 3458 && $c <= 3459) || ($c >= 3461 && $c <= 3478) || ($c >= 3482 && $c <= 3505) || ($c >= 3507 && $c <= 3515) || ($c == 3517) || ($c >= 3520 && $c <= 3526) || ($c == 3530) || ($c >= 3535 && $c <= 3540) || ($c == 3542) || ($c >= 3544 && $c <= 3551) || ($c >= 3570 && $c <= 3571) || ($c >= 3585 && $c <= 3642) || ($c >= 3647 && $c <= 3662) || ($c >= 3664 && $c <= 3673) || ($c >= 3713 && $c <= 3714) || ($c == 3716) || ($c >= 3719 && $c <= 3720) || ($c == 3722) || ($c == 3725) || ($c >= 3732 && $c <= 3735) || ($c >= 3737 && $c <= 3743) || ($c >= 3745 && $c <= 3747) || ($c == 3749) || ($c == 3751) || ($c >= 3754 && $c <= 3755) || ($c >= 3757 && $c <= 3769) || ($c >= 3771 && $c <= 3773) || ($c >= 3776 && $c <= 3780) || ($c == 3782) || ($c >= 3784 && $c <= 3789) || ($c >= 3792 && $c <= 3801) || ($c >= 3804 && $c <= 3805) || ($c == 3840) || ($c >= 3864 && $c <= 3865) || ($c >= 3872 && $c <= 3881) || ($c == 3893) || ($c == 3895) || ($c == 3897) || ($c >= 3902 && $c <= 3911) || ($c >= 3913 && $c <= 3948) || ($c >= 3953 && $c <= 3972) || ($c >= 3974 && $c <= 3991) || ($c >= 3993 && $c <= 4028) || ($c == 4038) || ($c >= 4096 && $c <= 4169) || ($c >= 4176 && $c <= 4253) || ($c >= 4256 && $c <= 4293) || ($c >= 4304 && $c <= 4346) || ($c == 4348) || ($c >= 4352 && $c <= 4680) || ($c >= 4682 && $c <= 4685) || ($c >= 4688 && $c <= 4694) || ($c == 4696) || ($c >= 4698 && $c <= 4701) || ($c >= 4704 && $c <= 4744) || ($c >= 4746 && $c <= 4749) || ($c >= 4752 && $c <= 4784) || ($c >= 4786 && $c <= 4789) || ($c >= 4792 && $c <= 4798) || ($c == 4800) || ($c >= 4802 && $c <= 4805) || ($c >= 4808 && $c <= 4822) || ($c >= 4824 && $c <= 4880) || ($c >= 4882 && $c <= 4885) || ($c >= 4888 && $c <= 4954) || ($c >= 4957 && $c <= 4959) || ($c >= 4992 && $c <= 5007) || ($c >= 5024 && $c <= 5108) || ($c >= 5121 && $c <= 5740) || ($c >= 5743 && $c <= 5759) || ($c >= 5761 && $c <= 5786) || ($c >= 5792 && $c <= 5866) || ($c >= 5870 && $c <= 5872) || ($c >= 5888 && $c <= 5900) || ($c >= 5902 && $c <= 5908) || ($c >= 5920 && $c <= 5940) || ($c >= 5952 && $c <= 5971) || ($c >= 5984 && $c <= 5996) || ($c >= 5998 && $c <= 6000) || ($c >= 6002 && $c <= 6003) || ($c >= 6016 && $c <= 6099) || ($c == 6103) || ($c >= 6107 && $c <= 6109) || ($c >= 6112 && $c <= 6121) || ($c >= 6155 && $c <= 6157) || ($c >= 6160 && $c <= 6169) || ($c >= 6176 && $c <= 6263) || ($c >= 6272 && $c <= 6314) || ($c >= 6320 && $c <= 6389) || ($c >= 6400 && $c <= 6428) || ($c >= 6432 && $c <= 6443) || ($c >= 6448 && $c <= 6459) || ($c >= 6470 && $c <= 6509) || ($c >= 6512 && $c <= 6516) || ($c >= 6528 && $c <= 6571) || ($c >= 6576 && $c <= 6601) || ($c >= 6608 && $c <= 6617) || ($c >= 6656 && $c <= 6683) || ($c >= 6688 && $c <= 6750) || ($c >= 6752 && $c <= 6780) || ($c >= 6783 && $c <= 6793) || ($c >= 6800 && $c <= 6809) || ($c == 6823) || ($c >= 6912 && $c <= 6987) || ($c >= 6992 && $c <= 7001) || ($c >= 7019 && $c <= 7027) || ($c >= 7040 && $c <= 7082) || ($c >= 7086 && $c <= 7097) || ($c >= 7104 && $c <= 7155) || ($c >= 7168 && $c <= 7223) || ($c >= 7232 && $c <= 7241) || ($c >= 7245 && $c <= 7293) || ($c >= 7376 && $c <= 7378) || ($c >= 7380 && $c <= 7410) || ($c >= 7424 && $c <= 7654) || ($c >= 7676 && $c <= 7957) || ($c >= 7960 && $c <= 7965) || ($c >= 7968 && $c <= 8005) || ($c >= 8008 && $c <= 8013) || ($c >= 8016 && $c <= 8023) || ($c == 8025) || ($c == 8027) || ($c == 8029) || ($c >= 8031 && $c <= 8061) || ($c >= 8064 && $c <= 8116) || ($c >= 8118 && $c <= 8124) || ($c == 8126) || ($c >= 8130 && $c <= 8132) || ($c >= 8134 && $c <= 8140) || ($c >= 8144 && $c <= 8147) || ($c >= 8150 && $c <= 8155) || ($c >= 8160 && $c <= 8172) || ($c >= 8178 && $c <= 8180) || ($c >= 8182 && $c <= 8188) || ($c >= 8203 && $c <= 8207) || ($c >= 8234 && $c <= 8238) || ($c >= 8255 && $c <= 8256) || ($c == 8276) || ($c >= 8288 && $c <= 8292) || ($c >= 8298 && $c <= 8303) || ($c == 8305) || ($c == 8319) || ($c >= 8336 && $c <= 8348) || ($c >= 8352 && $c <= 8377) || ($c >= 8400 && $c <= 8412) || ($c == 8417) || ($c >= 8421 && $c <= 8432) || ($c == 8450) || ($c == 8455) || ($c >= 8458 && $c <= 8467) || ($c == 8469) || ($c >= 8473 && $c <= 8477) || ($c == 8484) || ($c == 8486) || ($c == 8488) || ($c >= 8490 && $c <= 8493) || ($c >= 8495 && $c <= 8505) || ($c >= 8508 && $c <= 8511) || ($c >= 8517 && $c <= 8521) || ($c == 8526) || ($c >= 8544 && $c <= 8584) || ($c >= 11264 && $c <= 11310) || ($c >= 11312 && $c <= 11358) || ($c >= 11360 && $c <= 11492) || ($c >= 11499 && $c <= 11505) || ($c >= 11520 && $c <= 11557) || ($c >= 11568 && $c <= 11621) || ($c == 11631) || ($c >= 11647 && $c <= 11670) || ($c >= 11680 && $c <= 11686) || ($c >= 11688 && $c <= 11694) || ($c >= 11696 && $c <= 11702) || ($c >= 11704 && $c <= 11710) || ($c >= 11712 && $c <= 11718) || ($c >= 11720 && $c <= 11726) || ($c >= 11728 && $c <= 11734) || ($c >= 11736 && $c <= 11742) || ($c >= 11744 && $c <= 11775) || ($c == 11823) || ($c >= 12293 && $c <= 12295) || ($c >= 12321 && $c <= 12335) || ($c >= 12337 && $c <= 12341) || ($c >= 12344 && $c <= 12348) || ($c >= 12353 && $c <= 12438) || ($c >= 12441 && $c <= 12442) || ($c >= 12445 && $c <= 12447) || ($c >= 12449 && $c <= 12538) || ($c >= 12540 && $c <= 12543) || ($c >= 12549 && $c <= 12589) || ($c >= 12593 && $c <= 12686) || ($c >= 12704 && $c <= 12730) || ($c >= 12784 && $c <= 12799) || ($c >= 13312 && $c <= 19893) || ($c >= 19968 && $c <= 40907) || ($c >= 40960 && $c <= 42124) || ($c >= 42192 && $c <= 42237) || ($c >= 42240 && $c <= 42508) || ($c >= 42512 && $c <= 42539) || ($c >= 42560 && $c <= 42607) || ($c >= 42620 && $c <= 42621) || ($c >= 42623 && $c <= 42647) || ($c >= 42656 && $c <= 42737) || ($c >= 42775 && $c <= 42783) || ($c >= 42786 && $c <= 42888) || ($c >= 42891 && $c <= 42894) || ($c >= 42896 && $c <= 42897) || ($c >= 42912 && $c <= 42921) || ($c >= 43002 && $c <= 43047) || ($c == 43064) || ($c >= 43072 && $c <= 43123) || ($c >= 43136 && $c <= 43204) || ($c >= 43216 && $c <= 43225) || ($c >= 43232 && $c <= 43255) || ($c == 43259) || ($c >= 43264 && $c <= 43309) || ($c >= 43312 && $c <= 43347) || ($c >= 43360 && $c <= 43388) || ($c >= 43392 && $c <= 43456) || ($c >= 43471 && $c <= 43481) || ($c >= 43520 && $c <= 43574) || ($c >= 43584 && $c <= 43597) || ($c >= 43600 && $c <= 43609) || ($c >= 43616 && $c <= 43638) || ($c >= 43642 && $c <= 43643) || ($c >= 43648 && $c <= 43714) || ($c >= 43739 && $c <= 43741) || ($c >= 43777 && $c <= 43782) || ($c >= 43785 && $c <= 43790) || ($c >= 43793 && $c <= 43798) || ($c >= 43808 && $c <= 43814) || ($c >= 43816 && $c <= 43822) || ($c >= 43968 && $c <= 44010) || ($c >= 44012 && $c <= 44013) || ($c >= 44016 && $c <= 44025) || ($c >= 44032 && $c <= 55203) || ($c >= 55216 && $c <= 55238) || ($c >= 55243 && $c <= 55291) || ($c >= 63744 && $c <= 64045) || ($c >= 64048 && $c <= 64109) || ($c >= 64112 && $c <= 64217) || ($c >= 64256 && $c <= 64262) || ($c >= 64275 && $c <= 64279) || ($c >= 64285 && $c <= 64296) || ($c >= 64298 && $c <= 64310) || ($c >= 64312 && $c <= 64316) || ($c == 64318) || ($c >= 64320 && $c <= 64321) || ($c >= 64323 && $c <= 64324) || ($c >= 64326 && $c <= 64433) || ($c >= 64467 && $c <= 64829) || ($c >= 64848 && $c <= 64911) || ($c >= 64914 && $c <= 64967) || ($c >= 65008 && $c <= 65020) || ($c >= 65024 && $c <= 65039) || ($c >= 65056 && $c <= 65062) || ($c >= 65075 && $c <= 65076) || ($c >= 65101 && $c <= 65103) || ($c == 65129) || ($c >= 65136 && $c <= 65140) || ($c >= 65142 && $c <= 65276) || ($c == 65279) || ($c == 65284) || ($c >= 65296 && $c <= 65305) || ($c >= 65313 && $c <= 65338) || ($c == 65343) || ($c >= 65345 && $c <= 65370) || ($c >= 65382 && $c <= 65470) || ($c >= 65474 && $c <= 65479) || ($c >= 65482 && $c <= 65487) || ($c >= 65490 && $c <= 65495) || ($c >= 65498 && $c <= 65500) || ($c >= 65504 && $c <= 65505) || ($c >= 65509 && $c <= 65510) || ($c >= 65529 && $c <= 65531)) {
631618 $buffer.append((char)$c);
632- STATE = 3;
619+ STATE = 4;
633620 return 1;
634621 } else if($c < 0) {
635622
636- STATE = 16;
623+ STATE = 14;
637624 return 1;
638625 } else if($c >= 0) {
639626 UNGET($c);
627+ STATE = 14;
628+ return 1;
629+ }
630+ case 14:
631+ return 0;
632+ case 3:
633+ if($c >= 0) {
634+ __stkpush(15, ENGINE_term);
635+ STATE = 0;
636+ return NINA_ACCEPT;
637+ }
638+ return 0;
639+ case 15:
640+ if(($c == ')')) {
640641 STATE = 16;
641642 return 1;
642643 }
644+ return 0;
643645 case 16:
644646 return 0;
645647 case 2:
@@ -657,13 +659,13 @@
657659 return 1;
658660 }
659661 case 17:
660- if(($c == '.')) {
662+ if(($c == '/')) {
661663 STATE = 18;
662664 return 1;
663- } else if(($c == '/')) {
665+ } else if(($c == 'G') || ($c == 'M') || ($c == 'T') || ($c == 'k') || ($c >= 'm' && $c <= 'n') || ($c == 'p') || ($c == 'u') || ($c == 181)) {
664666 STATE = 19;
665667 return 1;
666- } else if(($c == 'G') || ($c == 'M') || ($c == 'T') || ($c == 'k') || ($c >= 'm' && $c <= 'n') || ($c == 'p') || ($c == 'u') || ($c == 181)) {
668+ } else if(($c == '.')) {
667669 STATE = 20;
668670 return 1;
669671 } else if($c < 0) {
@@ -677,8 +679,6 @@
677679 case 21:
678680 return 0;
679681 case 20:
680- return 0;
681- case 19:
682682 if(($c >= '0' && $c <= '9')) {
683683 $buffer = new StringBuffer();$buffer.append((char)$c);
684684 STATE = 22;
@@ -700,44 +700,46 @@
700700 return 1;
701701 }
702702 case 23:
703- return 0;
704- case 18:
705- if(($c >= '0' && $c <= '9')) {
706- $buffer = new StringBuffer();$buffer.append((char)$c);
703+ if(($c == 'G') || ($c == 'M') || ($c == 'T') || ($c == 'k') || ($c >= 'm' && $c <= 'n') || ($c == 'p') || ($c == 'u') || ($c == 181)) {
707704 STATE = 24;
708705 return 1;
709- }
710- return 0;
711- case 24:
712- if(($c >= '0' && $c <= '9')) {
713- $buffer.append((char)$c);
714- STATE = 24;
715- return 1;
716706 } else if($c < 0) {
717- UNGET($c);$bigint=new java.math.BigInteger($buffer.toString(), 10);
718707 STATE = 25;
719708 return 1;
720709 } else if($c >= 0) {
721- UNGET($c);$bigint=new java.math.BigInteger($buffer.toString(), 10);
710+ UNGET($c);
722711 STATE = 25;
723712 return 1;
724713 }
725714 case 25:
726- if(($c == 'G') || ($c == 'M') || ($c == 'T') || ($c == 'k') || ($c >= 'm' && $c <= 'n') || ($c == 'p') || ($c == 'u') || ($c == 181)) {
715+ return 0;
716+ case 24:
717+ return 0;
718+ case 19:
719+ return 0;
720+ case 18:
721+ if(($c >= '0' && $c <= '9')) {
722+ $buffer = new StringBuffer();$buffer.append((char)$c);
727723 STATE = 26;
728724 return 1;
725+ }
726+ return 0;
727+ case 26:
728+ if(($c >= '0' && $c <= '9')) {
729+ $buffer.append((char)$c);
730+ STATE = 26;
731+ return 1;
729732 } else if($c < 0) {
733+ UNGET($c);$bigint=new java.math.BigInteger($buffer.toString(), 10);
730734 STATE = 27;
731735 return 1;
732736 } else if($c >= 0) {
733- UNGET($c);
737+ UNGET($c);$bigint=new java.math.BigInteger($buffer.toString(), 10);
734738 STATE = 27;
735739 return 1;
736740 }
737741 case 27:
738742 return 0;
739- case 26:
740- return 0;
741743 }
742744 return 0;
743745 }
@@ -744,123 +746,123 @@
744746
745747 private boolean element_accepted() {
746748 return (STATE == 16 ||
749+ STATE == 19 ||
747750 STATE == 21 ||
748- STATE == 20 ||
749- STATE == 23 ||
750751 STATE == 6 ||
752+ STATE == 25 ||
753+ STATE == 24 ||
751754 STATE == 9 ||
752755 STATE == 27 ||
753- STATE == 26 ||
754756 STATE == 13 ||
755- STATE == 15);
757+ STATE == 14);
756758 }
757759
758760 int element_execaction(int $c) {
759761 switch(STATE) {
760- case 16:
761- // State10
762- _ = putvar($buffer.toString());
762+ case 2:
763763 break;
764- case 15:
765- // State12
766- // none
764+ case 26:
767765 break;
768- case 23:
769- // State41
770- _ = frac(nume, $bigint);
766+ case 4:
771767 break;
772- case 14:
768+ case 17:
769+ // State37
770+ nume = $bigint;
773771 break;
774- case 6:
775- // State59
776- _ = NilTerm.NIL;
772+ case 1:
773+ // State8
774+ // none
777775 break;
778- case 11:
776+ case 22:
779777 break;
780- case 12:
778+ case 0:
781779 break;
782- case 25:
780+ case 18:
781+ // State38
782+ // none
783+ break;
784+ case 23:
783785 // State46
784786 // none
785787 break;
788+ case 21:
789+ // State9
790+ _ = putval(nume, -1);
791+ break;
786792 case 10:
787793 // State58
788794 putlist0();
789795 break;
790- case 20:
791- // State45
792- _ = putval(nume, $c);
796+ case 13:
797+ // State57
798+ putlist2(); terml = ((List<Term>)(__stv[__slen - 1][5]));
793799 break;
794- case 19:
795- // State38
796- // none
800+ case 12:
797801 break;
798- case 8:
802+ case 25:
803+ // State40
804+ _ = decim(nume, $bigint, -1);
799805 break;
800- case 22:
806+ case 14:
807+ // State10
808+ _ = putvar($buffer.toString());
801809 break;
802- case 4:
803- break;
804810 case 27:
805- // State40
806- _ = decim(nume, $bigint, -1);
811+ // State41
812+ _ = frac(nume, $bigint);
807813 break;
808- case 3:
814+ case 5:
815+ // terml0
816+ (__stv[__slen - 1][5]) = terml;
809817 break;
810818 case 7:
811819 break;
812- case 1:
813- // State8
820+ case 19:
821+ // State45
822+ _ = putval(nume, $c);
823+ break;
824+ case 3:
825+ break;
826+ case 6:
827+ // State59
828+ _ = NilTerm.NIL;
829+ break;
830+ case 15:
831+ break;
832+ case 20:
833+ // State39
814834 // none
815835 break;
836+ case 16:
837+ // State12
838+ // none
839+ break;
840+ case 11:
841+ break;
816842 case 9:
817843 // State53
818844 putlist(); terml = ((List<Term>)(__stv[__slen - 1][5]));
819845 break;
820- case 18:
821- // State39
822- // none
823- break;
824- case 0:
825- break;
826846 case 24:
827- break;
828- case 26:
829847 // State47
830848 _ = decim(nume, $bigint, $c);
831849 break;
832- case 13:
833- // State57
834- putlist2(); terml = ((List<Term>)(__stv[__slen - 1][5]));
850+ case 8:
835851 break;
836- case 2:
837- break;
838- case 17:
839- // State37
840- nume = $bigint;
841- break;
842- case 21:
843- // State9
844- _ = putval(nume, -1);
845- break;
846- case 5:
847- // terml0
848- (__stv[__slen - 1][5]) = terml;
849- break;
850852 }
851853 return 1;
852854 }
853855
854856 boolean element_isend() {
855- return (STATE == 17 ||
856- STATE == 0 ||
857+ return (STATE == 0 ||
858+ STATE == 17 ||
857859 STATE == 2 ||
858- STATE == 3 ||
860+ STATE == 4 ||
859861 STATE == 5 ||
862+ STATE == 23 ||
860863 STATE == 22 ||
861- STATE == 25 ||
862- STATE == 24 ||
863- STATE == 10);
864+ STATE == 10 ||
865+ STATE == 26);
864866 }
865867
866868 private final Engine ENGINE_element = new Engine() {
@@ -899,15 +901,15 @@
899901
900902 boolean isDead() {
901903 return (STATE == 16 ||
904+ STATE == 19 ||
902905 STATE == 21 ||
903- STATE == 20 ||
904- STATE == 23 ||
905906 STATE == 6 ||
907+ STATE == 25 ||
908+ STATE == 24 ||
906909 STATE == 9 ||
907910 STATE == 27 ||
908- STATE == 26 ||
909911 STATE == 13 ||
910- STATE == 15);
912+ STATE == 14);
911913 }
912914
913915 boolean isEmptyTransition() {
@@ -970,10 +972,10 @@
970972 case 4:
971973 bTerm(((Object)(__stv[__slen - 1][1])), _);
972974 break;
975+ case 0:
976+ break;
973977 case 2:
974978 break;
975- case 0:
976- break;
977979 case 3:
978980 break;
979981 case 1:
@@ -1050,17 +1052,17 @@
10501052 }
10511053 return 0;
10521054 case 1:
1053- if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
1054- STATE = 1;
1055- return 1;
1056- } else if(($c == '-')) {
1055+ if(($c == '+')) {
10571056 LOOKAHEAD_COMMIT();
10581057 STATE = 2;
10591058 return 1;
1060- } else if(($c == '+')) {
1059+ } else if(($c == '-')) {
10611060 LOOKAHEAD_COMMIT();
10621061 STATE = 3;
10631062 return 1;
1063+ } else if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
1064+ STATE = 1;
1065+ return 1;
10641066 }
10651067 return 0;
10661068 case 3:
@@ -1103,25 +1105,25 @@
11031105
11041106 int term_execaction(int $c) {
11051107 switch(STATE) {
1106- case 6:
1108+ case 2:
11071109 break;
1108- case 3:
1109- break;
11101110 case 4:
11111111 break;
1112- case 5:
1112+ case 1:
1113+ (__stv[__slen - 1][1]) = _;
1114+ break;
1115+ case 7:
11131116 _ = bPlus(((Object)(__stv[__slen - 1][1])), _);
11141117 break;
1115- case 2:
1118+ case 3:
11161119 break;
1117- case 7:
1120+ case 6:
1121+ break;
1122+ case 5:
11181123 _ = bMinus(((Object)(__stv[__slen - 1][1])), _);
11191124 break;
11201125 case 0:
11211126 break;
1122- case 1:
1123- (__stv[__slen - 1][1]) = _;
1124- break;
11251127 }
11261128 return 1;
11271129 }
@@ -1231,14 +1233,14 @@
12311233
12321234 int id0_execaction(int $c) {
12331235 switch(STATE) {
1236+ case 1:
1237+ // State20
1238+ // none
1239+ break;
12341240 case 2:
12351241 break;
12361242 case 0:
12371243 break;
1238- case 1:
1239- // State20
1240- // none
1241- break;
12421244 case 3:
12431245 // State19
12441246 _ = $buffer.toString();
@@ -1315,12 +1317,12 @@
13151317 return 1;
13161318 }
13171319 case 1:
1318- if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
1320+ if(($c == '^')) {
1321+ STATE = 2;
1322+ return 1;
1323+ } else if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
13191324 STATE = 1;
13201325 return 1;
1321- } else if(($c == '^')) {
1322- STATE = 2;
1323- return 1;
13241326 } else if($c < 0) {
13251327 STATE = 3;
13261328 return 1;
@@ -1337,76 +1339,112 @@
13371339 }
13381340 return 0;
13391341 case 4:
1340- if(($c == '=')) {
1342+ if(($c == '<')) {
13411343 STATE = 5;
13421344 return 1;
1345+ } else if(($c == '=')) {
1346+ STATE = 6;
1347+ return 1;
1348+ } else if(($c == '>')) {
1349+ STATE = 7;
1350+ return 1;
13431351 }
13441352 return 0;
1345- case 5:
1353+ case 7:
1354+ STATE = 8;
1355+ return 1;
1356+ case 8:
1357+ if($c >= 0) {
1358+ __stkpush(9, ENGINE_term);
1359+ STATE = 0;
1360+ return NINA_ACCEPT;
1361+ }
1362+ return 0;
1363+ case 9:
1364+ STATE = 10;
1365+ return 1;
1366+ case 10:
1367+ return 0;
1368+ case 6:
13461369 if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
1347- STATE = 5;
1370+ STATE = 6;
13481371 return 1;
13491372 } else if($c < 0) {
1350- STATE = 6;
1373+ STATE = 11;
13511374 return 1;
13521375 } else if($c >= 0) {
13531376 UNGET($c);
1354- STATE = 6;
1377+ STATE = 11;
13551378 return 1;
13561379 }
1357- case 6:
1380+ case 11:
13581381 if($c >= 0) {
1359- __stkpush(7, ENGINE_term);
1382+ __stkpush(12, ENGINE_term);
13601383 STATE = 0;
13611384 return NINA_ACCEPT;
13621385 }
13631386 return 0;
1364- case 7:
1365- STATE = 8;
1387+ case 12:
1388+ STATE = 13;
13661389 return 1;
1367- case 8:
1390+ case 13:
13681391 return 0;
1392+ case 5:
1393+ STATE = 14;
1394+ return 1;
1395+ case 14:
1396+ if($c >= 0) {
1397+ __stkpush(15, ENGINE_term);
1398+ STATE = 0;
1399+ return NINA_ACCEPT;
1400+ }
1401+ return 0;
1402+ case 15:
1403+ STATE = 16;
1404+ return 1;
1405+ case 16:
1406+ return 0;
13691407 case 2:
13701408 if(($c == '$') || ($c >= 'A' && $c <= 'Z') || ($c == '_') || ($c >= 'a' && $c <= 'z') || ($c >= 162 && $c <= 165) || ($c == 170) || ($c == 181) || ($c == 186) || ($c >= 192 && $c <= 214) || ($c >= 216 && $c <= 246) || ($c >= 248 && $c <= 705) || ($c >= 710 && $c <= 721) || ($c >= 736 && $c <= 740) || ($c == 748) || ($c == 750) || ($c >= 880 && $c <= 884) || ($c >= 886 && $c <= 887) || ($c >= 890 && $c <= 893) || ($c == 902) || ($c >= 904 && $c <= 906) || ($c == 908) || ($c >= 910 && $c <= 929) || ($c >= 931 && $c <= 1013) || ($c >= 1015 && $c <= 1153) || ($c >= 1162 && $c <= 1319) || ($c >= 1329 && $c <= 1366) || ($c == 1369) || ($c >= 1377 && $c <= 1415) || ($c >= 1488 && $c <= 1514) || ($c >= 1520 && $c <= 1522) || ($c == 1547) || ($c >= 1568 && $c <= 1610) || ($c >= 1646 && $c <= 1647) || ($c >= 1649 && $c <= 1747) || ($c == 1749) || ($c >= 1765 && $c <= 1766) || ($c >= 1774 && $c <= 1775) || ($c >= 1786 && $c <= 1788) || ($c == 1791) || ($c == 1808) || ($c >= 1810 && $c <= 1839) || ($c >= 1869 && $c <= 1957) || ($c == 1969) || ($c >= 1994 && $c <= 2026) || ($c >= 2036 && $c <= 2037) || ($c == 2042) || ($c >= 2048 && $c <= 2069) || ($c == 2074) || ($c == 2084) || ($c == 2088) || ($c >= 2112 && $c <= 2136) || ($c >= 2308 && $c <= 2361) || ($c == 2365) || ($c == 2384) || ($c >= 2392 && $c <= 2401) || ($c >= 2417 && $c <= 2423) || ($c >= 2425 && $c <= 2431) || ($c >= 2437 && $c <= 2444) || ($c >= 2447 && $c <= 2448) || ($c >= 2451 && $c <= 2472) || ($c >= 2474 && $c <= 2480) || ($c == 2482) || ($c >= 2486 && $c <= 2489) || ($c == 2493) || ($c == 2510) || ($c >= 2524 && $c <= 2525) || ($c >= 2527 && $c <= 2529) || ($c >= 2544 && $c <= 2547) || ($c == 2555) || ($c >= 2565 && $c <= 2570) || ($c >= 2575 && $c <= 2576) || ($c >= 2579 && $c <= 2600) || ($c >= 2602 && $c <= 2608) || ($c >= 2610 && $c <= 2611) || ($c >= 2613 && $c <= 2614) || ($c >= 2616 && $c <= 2617) || ($c >= 2649 && $c <= 2652) || ($c == 2654) || ($c >= 2674 && $c <= 2676) || ($c >= 2693 && $c <= 2701) || ($c >= 2703 && $c <= 2705) || ($c >= 2707 && $c <= 2728) || ($c >= 2730 && $c <= 2736) || ($c >= 2738 && $c <= 2739) || ($c >= 2741 && $c <= 2745) || ($c == 2749) || ($c == 2768) || ($c >= 2784 && $c <= 2785) || ($c == 2801) || ($c >= 2821 && $c <= 2828) || ($c >= 2831 && $c <= 2832) || ($c >= 2835 && $c <= 2856) || ($c >= 2858 && $c <= 2864) || ($c >= 2866 && $c <= 2867) || ($c >= 2869 && $c <= 2873) || ($c == 2877) || ($c >= 2908 && $c <= 2909) || ($c >= 2911 && $c <= 2913) || ($c == 2929) || ($c == 2947) || ($c >= 2949 && $c <= 2954) || ($c >= 2958 && $c <= 2960) || ($c >= 2962 && $c <= 2965) || ($c >= 2969 && $c <= 2970) || ($c == 2972) || ($c >= 2974 && $c <= 2975) || ($c >= 2979 && $c <= 2980) || ($c >= 2984 && $c <= 2986) || ($c >= 2990 && $c <= 3001) || ($c == 3024) || ($c == 3065) || ($c >= 3077 && $c <= 3084) || ($c >= 3086 && $c <= 3088) || ($c >= 3090 && $c <= 3112) || ($c >= 3114 && $c <= 3123) || ($c >= 3125 && $c <= 3129) || ($c == 3133) || ($c >= 3160 && $c <= 3161) || ($c >= 3168 && $c <= 3169) || ($c >= 3205 && $c <= 3212) || ($c >= 3214 && $c <= 3216) || ($c >= 3218 && $c <= 3240) || ($c >= 3242 && $c <= 3251) || ($c >= 3253 && $c <= 3257) || ($c == 3261) || ($c == 3294) || ($c >= 3296 && $c <= 3297) || ($c >= 3313 && $c <= 3314) || ($c >= 3333 && $c <= 3340) || ($c >= 3342 && $c <= 3344) || ($c >= 3346 && $c <= 3386) || ($c == 3389) || ($c == 3406) || ($c >= 3424 && $c <= 3425) || ($c >= 3450 && $c <= 3455) || ($c >= 3461 && $c <= 3478) || ($c >= 3482 && $c <= 3505) || ($c >= 3507 && $c <= 3515) || ($c == 3517) || ($c >= 3520 && $c <= 3526) || ($c >= 3585 && $c <= 3632) || ($c >= 3634 && $c <= 3635) || ($c >= 3647 && $c <= 3654) || ($c >= 3713 && $c <= 3714) || ($c == 3716) || ($c >= 3719 && $c <= 3720) || ($c == 3722) || ($c == 3725) || ($c >= 3732 && $c <= 3735) || ($c >= 3737 && $c <= 3743) || ($c >= 3745 && $c <= 3747) || ($c == 3749) || ($c == 3751) || ($c >= 3754 && $c <= 3755) || ($c >= 3757 && $c <= 3760) || ($c >= 3762 && $c <= 3763) || ($c == 3773) || ($c >= 3776 && $c <= 3780) || ($c == 3782) || ($c >= 3804 && $c <= 3805) || ($c == 3840) || ($c >= 3904 && $c <= 3911) || ($c >= 3913 && $c <= 3948) || ($c >= 3976 && $c <= 3980) || ($c >= 4096 && $c <= 4138) || ($c == 4159) || ($c >= 4176 && $c <= 4181) || ($c >= 4186 && $c <= 4189) || ($c == 4193) || ($c >= 4197 && $c <= 4198) || ($c >= 4206 && $c <= 4208) || ($c >= 4213 && $c <= 4225) || ($c == 4238) || ($c >= 4256 && $c <= 4293) || ($c >= 4304 && $c <= 4346) || ($c == 4348) || ($c >= 4352 && $c <= 4680) || ($c >= 4682 && $c <= 4685) || ($c >= 4688 && $c <= 4694) || ($c == 4696) || ($c >= 4698 && $c <= 4701) || ($c >= 4704 && $c <= 4744) || ($c >= 4746 && $c <= 4749) || ($c >= 4752 && $c <= 4784) || ($c >= 4786 && $c <= 4789) || ($c >= 4792 && $c <= 4798) || ($c == 4800) || ($c >= 4802 && $c <= 4805) || ($c >= 4808 && $c <= 4822) || ($c >= 4824 && $c <= 4880) || ($c >= 4882 && $c <= 4885) || ($c >= 4888 && $c <= 4954) || ($c >= 4992 && $c <= 5007) || ($c >= 5024 && $c <= 5108) || ($c >= 5121 && $c <= 5740) || ($c >= 5743 && $c <= 5759) || ($c >= 5761 && $c <= 5786) || ($c >= 5792 && $c <= 5866) || ($c >= 5870 && $c <= 5872) || ($c >= 5888 && $c <= 5900) || ($c >= 5902 && $c <= 5905) || ($c >= 5920 && $c <= 5937) || ($c >= 5952 && $c <= 5969) || ($c >= 5984 && $c <= 5996) || ($c >= 5998 && $c <= 6000) || ($c >= 6016 && $c <= 6067) || ($c == 6103) || ($c >= 6107 && $c <= 6108) || ($c >= 6176 && $c <= 6263) || ($c >= 6272 && $c <= 6312) || ($c == 6314) || ($c >= 6320 && $c <= 6389) || ($c >= 6400 && $c <= 6428) || ($c >= 6480 && $c <= 6509) || ($c >= 6512 && $c <= 6516) || ($c >= 6528 && $c <= 6571) || ($c >= 6593 && $c <= 6599) || ($c >= 6656 && $c <= 6678) || ($c >= 6688 && $c <= 6740) || ($c == 6823) || ($c >= 6917 && $c <= 6963) || ($c >= 6981 && $c <= 6987) || ($c >= 7043 && $c <= 7072) || ($c >= 7086 && $c <= 7087) || ($c >= 7104 && $c <= 7141) || ($c >= 7168 && $c <= 7203) || ($c >= 7245 && $c <= 7247) || ($c >= 7258 && $c <= 7293) || ($c >= 7401 && $c <= 7404) || ($c >= 7406 && $c <= 7409) || ($c >= 7424 && $c <= 7615) || ($c >= 7680 && $c <= 7957) || ($c >= 7960 && $c <= 7965) || ($c >= 7968 && $c <= 8005) || ($c >= 8008 && $c <= 8013) || ($c >= 8016 && $c <= 8023) || ($c == 8025) || ($c == 8027) || ($c == 8029) || ($c >= 8031 && $c <= 8061) || ($c >= 8064 && $c <= 8116) || ($c >= 8118 && $c <= 8124) || ($c == 8126) || ($c >= 8130 && $c <= 8132) || ($c >= 8134 && $c <= 8140) || ($c >= 8144 && $c <= 8147) || ($c >= 8150 && $c <= 8155) || ($c >= 8160 && $c <= 8172) || ($c >= 8178 && $c <= 8180) || ($c >= 8182 && $c <= 8188) || ($c >= 8255 && $c <= 8256) || ($c == 8276) || ($c == 8305) || ($c == 8319) || ($c >= 8336 && $c <= 8348) || ($c >= 8352 && $c <= 8377) || ($c == 8450) || ($c == 8455) || ($c >= 8458 && $c <= 8467) || ($c == 8469) || ($c >= 8473 && $c <= 8477) || ($c == 8484) || ($c == 8486) || ($c == 8488) || ($c >= 8490 && $c <= 8493) || ($c >= 8495 && $c <= 8505) || ($c >= 8508 && $c <= 8511) || ($c >= 8517 && $c <= 8521) || ($c == 8526) || ($c >= 8544 && $c <= 8584) || ($c >= 11264 && $c <= 11310) || ($c >= 11312 && $c <= 11358) || ($c >= 11360 && $c <= 11492) || ($c >= 11499 && $c <= 11502) || ($c >= 11520 && $c <= 11557) || ($c >= 11568 && $c <= 11621) || ($c == 11631) || ($c >= 11648 && $c <= 11670) || ($c >= 11680 && $c <= 11686) || ($c >= 11688 && $c <= 11694) || ($c >= 11696 && $c <= 11702) || ($c >= 11704 && $c <= 11710) || ($c >= 11712 && $c <= 11718) || ($c >= 11720 && $c <= 11726) || ($c >= 11728 && $c <= 11734) || ($c >= 11736 && $c <= 11742) || ($c == 11823) || ($c >= 12293 && $c <= 12295) || ($c >= 12321 && $c <= 12329) || ($c >= 12337 && $c <= 12341) || ($c >= 12344 && $c <= 12348) || ($c >= 12353 && $c <= 12438) || ($c >= 12445 && $c <= 12447) || ($c >= 12449 && $c <= 12538) || ($c >= 12540 && $c <= 12543) || ($c >= 12549 && $c <= 12589) || ($c >= 12593 && $c <= 12686) || ($c >= 12704 && $c <= 12730) || ($c >= 12784 && $c <= 12799) || ($c >= 13312 && $c <= 19893) || ($c >= 19968 && $c <= 40907) || ($c >= 40960 && $c <= 42124) || ($c >= 42192 && $c <= 42237) || ($c >= 42240 && $c <= 42508) || ($c >= 42512 && $c <= 42527) || ($c >= 42538 && $c <= 42539) || ($c >= 42560 && $c <= 42606) || ($c >= 42623 && $c <= 42647) || ($c >= 42656 && $c <= 42735) || ($c >= 42775 && $c <= 42783) || ($c >= 42786 && $c <= 42888) || ($c >= 42891 && $c <= 42894) || ($c >= 42896 && $c <= 42897) || ($c >= 42912 && $c <= 42921) || ($c >= 43002 && $c <= 43009) || ($c >= 43011 && $c <= 43013) || ($c >= 43015 && $c <= 43018) || ($c >= 43020 && $c <= 43042) || ($c == 43064) || ($c >= 43072 && $c <= 43123) || ($c >= 43138 && $c <= 43187) || ($c >= 43250 && $c <= 43255) || ($c == 43259) || ($c >= 43274 && $c <= 43301) || ($c >= 43312 && $c <= 43334) || ($c >= 43360 && $c <= 43388) || ($c >= 43396 && $c <= 43442) || ($c == 43471) || ($c >= 43520 && $c <= 43560) || ($c >= 43584 && $c <= 43586) || ($c >= 43588 && $c <= 43595) || ($c >= 43616 && $c <= 43638) || ($c == 43642) || ($c >= 43648 && $c <= 43695) || ($c == 43697) || ($c >= 43701 && $c <= 43702) || ($c >= 43705 && $c <= 43709) || ($c == 43712) || ($c == 43714) || ($c >= 43739 && $c <= 43741) || ($c >= 43777 && $c <= 43782) || ($c >= 43785 && $c <= 43790) || ($c >= 43793 && $c <= 43798) || ($c >= 43808 && $c <= 43814) || ($c >= 43816 && $c <= 43822) || ($c >= 43968 && $c <= 44002) || ($c >= 44032 && $c <= 55203) || ($c >= 55216 && $c <= 55238) || ($c >= 55243 && $c <= 55291) || ($c >= 63744 && $c <= 64045) || ($c >= 64048 && $c <= 64109) || ($c >= 64112 && $c <= 64217) || ($c >= 64256 && $c <= 64262) || ($c >= 64275 && $c <= 64279) || ($c == 64285) || ($c >= 64287 && $c <= 64296) || ($c >= 64298 && $c <= 64310) || ($c >= 64312 && $c <= 64316) || ($c == 64318) || ($c >= 64320 && $c <= 64321) || ($c >= 64323 && $c <= 64324) || ($c >= 64326 && $c <= 64433) || ($c >= 64467 && $c <= 64829) || ($c >= 64848 && $c <= 64911) || ($c >= 64914 && $c <= 64967) || ($c >= 65008 && $c <= 65020) || ($c >= 65075 && $c <= 65076) || ($c >= 65101 && $c <= 65103) || ($c == 65129) || ($c >= 65136 && $c <= 65140) || ($c >= 65142 && $c <= 65276) || ($c == 65284) || ($c >= 65313 && $c <= 65338) || ($c == 65343) || ($c >= 65345 && $c <= 65370) || ($c >= 65382 && $c <= 65470) || ($c >= 65474 && $c <= 65479) || ($c >= 65482 && $c <= 65487) || ($c >= 65490 && $c <= 65495) || ($c >= 65498 && $c <= 65500) || ($c >= 65504 && $c <= 65505) || ($c >= 65509 && $c <= 65510)) {
13711409 $buffer = new StringBuffer();$buffer.append((char)$c);
1372- STATE = 9;
1410+ STATE = 17;
13731411 return 1;
13741412 }
13751413 return 0;
1376- case 9:
1414+ case 17:
13771415 if(($c >= 0 && $c <= 8) || ($c >= 14 && $c <= 27) || ($c == '$') || ($c >= '0' && $c <= '9') || ($c >= 'A' && $c <= 'Z') || ($c == '_') || ($c >= 'a' && $c <= 'z') || ($c >= 127 && $c <= 159) || ($c >= 162 && $c <= 165) || ($c == 170) || ($c == 173) || ($c == 181) || ($c == 186) || ($c >= 192 && $c <= 214) || ($c >= 216 && $c <= 246) || ($c >= 248 && $c <= 705) || ($c >= 710 && $c <= 721) || ($c >= 736 && $c <= 740) || ($c == 748) || ($c == 750) || ($c >= 768 && $c <= 884) || ($c >= 886 && $c <= 887) || ($c >= 890 && $c <= 893) || ($c == 902) || ($c >= 904 && $c <= 906) || ($c == 908) || ($c >= 910 && $c <= 929) || ($c >= 931 && $c <= 1013) || ($c >= 1015 && $c <= 1153) || ($c >= 1155 && $c <= 1159) || ($c >= 1162 && $c <= 1319) || ($c >= 1329 && $c <= 1366) || ($c == 1369) || ($c >= 1377 && $c <= 1415) || ($c >= 1425 && $c <= 1469) || ($c == 1471) || ($c >= 1473 && $c <= 1474) || ($c >= 1476 && $c <= 1477) || ($c == 1479) || ($c >= 1488 && $c <= 1514) || ($c >= 1520 && $c <= 1522) || ($c >= 1536 && $c <= 1539) || ($c == 1547) || ($c >= 1552 && $c <= 1562) || ($c >= 1568 && $c <= 1641) || ($c >= 1646 && $c <= 1747) || ($c >= 1749 && $c <= 1757) || ($c >= 1759 && $c <= 1768) || ($c >= 1770 && $c <= 1788) || ($c == 1791) || ($c >= 1807 && $c <= 1866) || ($c >= 1869 && $c <= 1969) || ($c >= 1984 && $c <= 2037) || ($c == 2042) || ($c >= 2048 && $c <= 2093) || ($c >= 2112 && $c <= 2139) || ($c >= 2304 && $c <= 2403) || ($c >= 2406 && $c <= 2415) || ($c >= 2417 && $c <= 2423) || ($c >= 2425 && $c <= 2431) || ($c >= 2433 && $c <= 2435) || ($c >= 2437 && $c <= 2444) || ($c >= 2447 && $c <= 2448) || ($c >= 2451 && $c <= 2472) || ($c >= 2474 && $c <= 2480) || ($c == 2482) || ($c >= 2486 && $c <= 2489) || ($c >= 2492 && $c <= 2500) || ($c >= 2503 && $c <= 2504) || ($c >= 2507 && $c <= 2510) || ($c == 2519) || ($c >= 2524 && $c <= 2525) || ($c >= 2527 && $c <= 2531) || ($c >= 2534 && $c <= 2547) || ($c == 2555) || ($c >= 2561 && $c <= 2563) || ($c >= 2565 && $c <= 2570) || ($c >= 2575 && $c <= 2576) || ($c >= 2579 && $c <= 2600) || ($c >= 2602 && $c <= 2608) || ($c >= 2610 && $c <= 2611) || ($c >= 2613 && $c <= 2614) || ($c >= 2616 && $c <= 2617) || ($c == 2620) || ($c >= 2622 && $c <= 2626) || ($c >= 2631 && $c <= 2632) || ($c >= 2635 && $c <= 2637) || ($c == 2641) || ($c >= 2649 && $c <= 2652) || ($c == 2654) || ($c >= 2662 && $c <= 2677) || ($c >= 2689 && $c <= 2691) || ($c >= 2693 && $c <= 2701) || ($c >= 2703 && $c <= 2705) || ($c >= 2707 && $c <= 2728) || ($c >= 2730 && $c <= 2736) || ($c >= 2738 && $c <= 2739) || ($c >= 2741 && $c <= 2745) || ($c >= 2748 && $c <= 2757) || ($c >= 2759 && $c <= 2761) || ($c >= 2763 && $c <= 2765) || ($c == 2768) || ($c >= 2784 && $c <= 2787) || ($c >= 2790 && $c <= 2799) || ($c == 2801) || ($c >= 2817 && $c <= 2819) || ($c >= 2821 && $c <= 2828) || ($c >= 2831 && $c <= 2832) || ($c >= 2835 && $c <= 2856) || ($c >= 2858 && $c <= 2864) || ($c >= 2866 && $c <= 2867) || ($c >= 2869 && $c <= 2873) || ($c >= 2876 && $c <= 2884) || ($c >= 2887 && $c <= 2888) || ($c >= 2891 && $c <= 2893) || ($c >= 2902 && $c <= 2903) || ($c >= 2908 && $c <= 2909) || ($c >= 2911 && $c <= 2915) || ($c >= 2918 && $c <= 2927) || ($c == 2929) || ($c >= 2946 && $c <= 2947) || ($c >= 2949 && $c <= 2954) || ($c >= 2958 && $c <= 2960) || ($c >= 2962 && $c <= 2965) || ($c >= 2969 && $c <= 2970) || ($c == 2972) || ($c >= 2974 && $c <= 2975) || ($c >= 2979 && $c <= 2980) || ($c >= 2984 && $c <= 2986) || ($c >= 2990 && $c <= 3001) || ($c >= 3006 && $c <= 3010) || ($c >= 3014 && $c <= 3016) || ($c >= 3018 && $c <= 3021) || ($c == 3024) || ($c == 3031) || ($c >= 3046 && $c <= 3055) || ($c == 3065) || ($c >= 3073 && $c <= 3075) || ($c >= 3077 && $c <= 3084) || ($c >= 3086 && $c <= 3088) || ($c >= 3090 && $c <= 3112) || ($c >= 3114 && $c <= 3123) || ($c >= 3125 && $c <= 3129) || ($c >= 3133 && $c <= 3140) || ($c >= 3142 && $c <= 3144) || ($c >= 3146 && $c <= 3149) || ($c >= 3157 && $c <= 3158) || ($c >= 3160 && $c <= 3161) || ($c >= 3168 && $c <= 3171) || ($c >= 3174 && $c <= 3183) || ($c >= 3202 && $c <= 3203) || ($c >= 3205 && $c <= 3212) || ($c >= 3214 && $c <= 3216) || ($c >= 3218 && $c <= 3240) || ($c >= 3242 && $c <= 3251) || ($c >= 3253 && $c <= 3257) || ($c >= 3260 && $c <= 3268) || ($c >= 3270 && $c <= 3272) || ($c >= 3274 && $c <= 3277) || ($c >= 3285 && $c <= 3286) || ($c == 3294) || ($c >= 3296 && $c <= 3299) || ($c >= 3302 && $c <= 3311) || ($c >= 3313 && $c <= 3314) || ($c >= 3330 && $c <= 3331) || ($c >= 3333 && $c <= 3340) || ($c >= 3342 && $c <= 3344) || ($c >= 3346 && $c <= 3386) || ($c >= 3389 && $c <= 3396) || ($c >= 3398 && $c <= 3400) || ($c >= 3402 && $c <= 3406) || ($c == 3415) || ($c >= 3424 && $c <= 3427) || ($c >= 3430 && $c <= 3439) || ($c >= 3450 && $c <= 3455) || ($c >= 3458 && $c <= 3459) || ($c >= 3461 && $c <= 3478) || ($c >= 3482 && $c <= 3505) || ($c >= 3507 && $c <= 3515) || ($c == 3517) || ($c >= 3520 && $c <= 3526) || ($c == 3530) || ($c >= 3535 && $c <= 3540) || ($c == 3542) || ($c >= 3544 && $c <= 3551) || ($c >= 3570 && $c <= 3571) || ($c >= 3585 && $c <= 3642) || ($c >= 3647 && $c <= 3662) || ($c >= 3664 && $c <= 3673) || ($c >= 3713 && $c <= 3714) || ($c == 3716) || ($c >= 3719 && $c <= 3720) || ($c == 3722) || ($c == 3725) || ($c >= 3732 && $c <= 3735) || ($c >= 3737 && $c <= 3743) || ($c >= 3745 && $c <= 3747) || ($c == 3749) || ($c == 3751) || ($c >= 3754 && $c <= 3755) || ($c >= 3757 && $c <= 3769) || ($c >= 3771 && $c <= 3773) || ($c >= 3776 && $c <= 3780) || ($c == 3782) || ($c >= 3784 && $c <= 3789) || ($c >= 3792 && $c <= 3801) || ($c >= 3804 && $c <= 3805) || ($c == 3840) || ($c >= 3864 && $c <= 3865) || ($c >= 3872 && $c <= 3881) || ($c == 3893) || ($c == 3895) || ($c == 3897) || ($c >= 3902 && $c <= 3911) || ($c >= 3913 && $c <= 3948) || ($c >= 3953 && $c <= 3972) || ($c >= 3974 && $c <= 3991) || ($c >= 3993 && $c <= 4028) || ($c == 4038) || ($c >= 4096 && $c <= 4169) || ($c >= 4176 && $c <= 4253) || ($c >= 4256 && $c <= 4293) || ($c >= 4304 && $c <= 4346) || ($c == 4348) || ($c >= 4352 && $c <= 4680) || ($c >= 4682 && $c <= 4685) || ($c >= 4688 && $c <= 4694) || ($c == 4696) || ($c >= 4698 && $c <= 4701) || ($c >= 4704 && $c <= 4744) || ($c >= 4746 && $c <= 4749) || ($c >= 4752 && $c <= 4784) || ($c >= 4786 && $c <= 4789) || ($c >= 4792 && $c <= 4798) || ($c == 4800) || ($c >= 4802 && $c <= 4805) || ($c >= 4808 && $c <= 4822) || ($c >= 4824 && $c <= 4880) || ($c >= 4882 && $c <= 4885) || ($c >= 4888 && $c <= 4954) || ($c >= 4957 && $c <= 4959) || ($c >= 4992 && $c <= 5007) || ($c >= 5024 && $c <= 5108) || ($c >= 5121 && $c <= 5740) || ($c >= 5743 && $c <= 5759) || ($c >= 5761 && $c <= 5786) || ($c >= 5792 && $c <= 5866) || ($c >= 5870 && $c <= 5872) || ($c >= 5888 && $c <= 5900) || ($c >= 5902 && $c <= 5908) || ($c >= 5920 && $c <= 5940) || ($c >= 5952 && $c <= 5971) || ($c >= 5984 && $c <= 5996) || ($c >= 5998 && $c <= 6000) || ($c >= 6002 && $c <= 6003) || ($c >= 6016 && $c <= 6099) || ($c == 6103) || ($c >= 6107 && $c <= 6109) || ($c >= 6112 && $c <= 6121) || ($c >= 6155 && $c <= 6157) || ($c >= 6160 && $c <= 6169) || ($c >= 6176 && $c <= 6263) || ($c >= 6272 && $c <= 6314) || ($c >= 6320 && $c <= 6389) || ($c >= 6400 && $c <= 6428) || ($c >= 6432 && $c <= 6443) || ($c >= 6448 && $c <= 6459) || ($c >= 6470 && $c <= 6509) || ($c >= 6512 && $c <= 6516) || ($c >= 6528 && $c <= 6571) || ($c >= 6576 && $c <= 6601) || ($c >= 6608 && $c <= 6617) || ($c >= 6656 && $c <= 6683) || ($c >= 6688 && $c <= 6750) || ($c >= 6752 && $c <= 6780) || ($c >= 6783 && $c <= 6793) || ($c >= 6800 && $c <= 6809) || ($c == 6823) || ($c >= 6912 && $c <= 6987) || ($c >= 6992 && $c <= 7001) || ($c >= 7019 && $c <= 7027) || ($c >= 7040 && $c <= 7082) || ($c >= 7086 && $c <= 7097) || ($c >= 7104 && $c <= 7155) || ($c >= 7168 && $c <= 7223) || ($c >= 7232 && $c <= 7241) || ($c >= 7245 && $c <= 7293) || ($c >= 7376 && $c <= 7378) || ($c >= 7380 && $c <= 7410) || ($c >= 7424 && $c <= 7654) || ($c >= 7676 && $c <= 7957) || ($c >= 7960 && $c <= 7965) || ($c >= 7968 && $c <= 8005) || ($c >= 8008 && $c <= 8013) || ($c >= 8016 && $c <= 8023) || ($c == 8025) || ($c == 8027) || ($c == 8029) || ($c >= 8031 && $c <= 8061) || ($c >= 8064 && $c <= 8116) || ($c >= 8118 && $c <= 8124) || ($c == 8126) || ($c >= 8130 && $c <= 8132) || ($c >= 8134 && $c <= 8140) || ($c >= 8144 && $c <= 8147) || ($c >= 8150 && $c <= 8155) || ($c >= 8160 && $c <= 8172) || ($c >= 8178 && $c <= 8180) || ($c >= 8182 && $c <= 8188) || ($c >= 8203 && $c <= 8207) || ($c >= 8234 && $c <= 8238) || ($c >= 8255 && $c <= 8256) || ($c == 8276) || ($c >= 8288 && $c <= 8292) || ($c >= 8298 && $c <= 8303) || ($c == 8305) || ($c == 8319) || ($c >= 8336 && $c <= 8348) || ($c >= 8352 && $c <= 8377) || ($c >= 8400 && $c <= 8412) || ($c == 8417) || ($c >= 8421 && $c <= 8432) || ($c == 8450) || ($c == 8455) || ($c >= 8458 && $c <= 8467) || ($c == 8469) || ($c >= 8473 && $c <= 8477) || ($c == 8484) || ($c == 8486) || ($c == 8488) || ($c >= 8490 && $c <= 8493) || ($c >= 8495 && $c <= 8505) || ($c >= 8508 && $c <= 8511) || ($c >= 8517 && $c <= 8521) || ($c == 8526) || ($c >= 8544 && $c <= 8584) || ($c >= 11264 && $c <= 11310) || ($c >= 11312 && $c <= 11358) || ($c >= 11360 && $c <= 11492) || ($c >= 11499 && $c <= 11505) || ($c >= 11520 && $c <= 11557) || ($c >= 11568 && $c <= 11621) || ($c == 11631) || ($c >= 11647 && $c <= 11670) || ($c >= 11680 && $c <= 11686) || ($c >= 11688 && $c <= 11694) || ($c >= 11696 && $c <= 11702) || ($c >= 11704 && $c <= 11710) || ($c >= 11712 && $c <= 11718) || ($c >= 11720 && $c <= 11726) || ($c >= 11728 && $c <= 11734) || ($c >= 11736 && $c <= 11742) || ($c >= 11744 && $c <= 11775) || ($c == 11823) || ($c >= 12293 && $c <= 12295) || ($c >= 12321 && $c <= 12335) || ($c >= 12337 && $c <= 12341) || ($c >= 12344 && $c <= 12348) || ($c >= 12353 && $c <= 12438) || ($c >= 12441 && $c <= 12442) || ($c >= 12445 && $c <= 12447) || ($c >= 12449 && $c <= 12538) || ($c >= 12540 && $c <= 12543) || ($c >= 12549 && $c <= 12589) || ($c >= 12593 && $c <= 12686) || ($c >= 12704 && $c <= 12730) || ($c >= 12784 && $c <= 12799) || ($c >= 13312 && $c <= 19893) || ($c >= 19968 && $c <= 40907) || ($c >= 40960 && $c <= 42124) || ($c >= 42192 && $c <= 42237) || ($c >= 42240 && $c <= 42508) || ($c >= 42512 && $c <= 42539) || ($c >= 42560 && $c <= 42607) || ($c >= 42620 && $c <= 42621) || ($c >= 42623 && $c <= 42647) || ($c >= 42656 && $c <= 42737) || ($c >= 42775 && $c <= 42783) || ($c >= 42786 && $c <= 42888) || ($c >= 42891 && $c <= 42894) || ($c >= 42896 && $c <= 42897) || ($c >= 42912 && $c <= 42921) || ($c >= 43002 && $c <= 43047) || ($c == 43064) || ($c >= 43072 && $c <= 43123) || ($c >= 43136 && $c <= 43204) || ($c >= 43216 && $c <= 43225) || ($c >= 43232 && $c <= 43255) || ($c == 43259) || ($c >= 43264 && $c <= 43309) || ($c >= 43312 && $c <= 43347) || ($c >= 43360 && $c <= 43388) || ($c >= 43392 && $c <= 43456) || ($c >= 43471 && $c <= 43481) || ($c >= 43520 && $c <= 43574) || ($c >= 43584 && $c <= 43597) || ($c >= 43600 && $c <= 43609) || ($c >= 43616 && $c <= 43638) || ($c >= 43642 && $c <= 43643) || ($c >= 43648 && $c <= 43714) || ($c >= 43739 && $c <= 43741) || ($c >= 43777 && $c <= 43782) || ($c >= 43785 && $c <= 43790) || ($c >= 43793 && $c <= 43798) || ($c >= 43808 && $c <= 43814) || ($c >= 43816 && $c <= 43822) || ($c >= 43968 && $c <= 44010) || ($c >= 44012 && $c <= 44013) || ($c >= 44016 && $c <= 44025) || ($c >= 44032 && $c <= 55203) || ($c >= 55216 && $c <= 55238) || ($c >= 55243 && $c <= 55291) || ($c >= 63744 && $c <= 64045) || ($c >= 64048 && $c <= 64109) || ($c >= 64112 && $c <= 64217) || ($c >= 64256 && $c <= 64262) || ($c >= 64275 && $c <= 64279) || ($c >= 64285 && $c <= 64296) || ($c >= 64298 && $c <= 64310) || ($c >= 64312 && $c <= 64316) || ($c == 64318) || ($c >= 64320 && $c <= 64321) || ($c >= 64323 && $c <= 64324) || ($c >= 64326 && $c <= 64433) || ($c >= 64467 && $c <= 64829) || ($c >= 64848 && $c <= 64911) || ($c >= 64914 && $c <= 64967) || ($c >= 65008 && $c <= 65020) || ($c >= 65024 && $c <= 65039) || ($c >= 65056 && $c <= 65062) || ($c >= 65075 && $c <= 65076) || ($c >= 65101 && $c <= 65103) || ($c == 65129) || ($c >= 65136 && $c <= 65140) || ($c >= 65142 && $c <= 65276) || ($c == 65279) || ($c == 65284) || ($c >= 65296 && $c <= 65305) || ($c >= 65313 && $c <= 65338) || ($c == 65343) || ($c >= 65345 && $c <= 65370) || ($c >= 65382 && $c <= 65470) || ($c >= 65474 && $c <= 65479) || ($c >= 65482 && $c <= 65487) || ($c >= 65490 && $c <= 65495) || ($c >= 65498 && $c <= 65500) || ($c >= 65504 && $c <= 65505) || ($c >= 65509 && $c <= 65510) || ($c >= 65529 && $c <= 65531)) {
13781416 $buffer.append((char)$c);
1379- STATE = 9;
1417+ STATE = 17;
13801418 return 1;
13811419 } else if($c < 0) {
13821420
1383- STATE = 10;
1421+ STATE = 18;
13841422 return 1;
13851423 } else if($c >= 0) {
13861424 UNGET($c);
1387- STATE = 10;
1425+ STATE = 18;
13881426 return 1;
13891427 }
1390- case 10:
1428+ case 18:
13911429 if(($c == '(')) {
1392- STATE = 11;
1430+ STATE = 19;
13931431 return 1;
13941432 }
13951433 return 0;
1396- case 11:
1434+ case 19:
13971435 if($c >= 0) {
1398- __stkpush(12, ENGINE_termlist);
1436+ __stkpush(20, ENGINE_termlist);
13991437 STATE = 0;
14001438 return NINA_ACCEPT;
14011439 }
14021440 return 0;
1403- case 12:
1441+ case 20:
14041442 if(($c == ')')) {
1405- STATE = 13;
1443+ STATE = 21;
14061444 return 1;
14071445 }
14081446 return 0;
1409- case 13:
1447+ case 21:
14101448 return 0;
14111449 }
14121450 return 0;
@@ -1413,52 +1451,78 @@
14131451 }
14141452
14151453 private boolean expr_accepted() {
1416- return (STATE == 8 ||
1454+ return (STATE == 16 ||
1455+ STATE == 21 ||
1456+ STATE == 10 ||
14171457 STATE == 13);
14181458 }
14191459
14201460 int expr_execaction(int $c) {
14211461 switch(STATE) {
1422- case 1:
1423- // State48
1424- // none
1462+ case 10:
1463+ // State66
1464+ _ = bGt();
14251465 break;
1466+ case 19:
1467+ break;
1468+ case 5:
1469+ // State60
1470+ lv = _;
1471+ break;
1472+ case 13:
1473+ // State7
1474+ _ = bEqual();
1475+ break;
1476+ case 16:
1477+ // State65
1478+ _ = bLt();
1479+ break;
1480+ case 6:
1481+ // State5
1482+ lv = _;
1483+ break;
14261484 case 12:
14271485 break;
1428- case 7:
1486+ case 15:
14291487 break;
1430- case 0:
1488+ case 17:
14311489 break;
1490+ case 4:
1491+ break;
14321492 case 11:
14331493 break;
1434- case 3:
1494+ case 9:
14351495 break;
1436- case 8:
1437- // State7
1438- _ = bEqual();
1496+ case 18:
1497+ // name1
1498+ (__stv[__slen - 1][18]) = $buffer.toString(); initap();
14391499 break;
1500+ case 0:
1501+ break;
14401502 case 2:
14411503 // terml1
14421504 (__stv[__slen - 1][2]) = terml;
14431505 break;
1444- case 13:
1445- // State25
1446- applyrule(((String)(__stv[__slen - 1][10]))); terml = ((List<Term>)(__stv[__slen - 1][2]));
1506+ case 20:
14471507 break;
1448- case 6:
1508+ case 8:
14491509 break;
1450- case 10:
1451- // name1
1452- (__stv[__slen - 1][10]) = $buffer.toString(); initap();
1510+ case 1:
1511+ // State48
1512+ // none
14531513 break;
1454- case 5:
1455- // State5
1456- lv = _;
1514+ case 3:
14571515 break;
1458- case 9:
1516+ case 14:
14591517 break;
1460- case 4:
1518+ case 21:
1519+ // State25
1520+ applyrule(((String)(__stv[__slen - 1][18]))); terml = ((List<Term>)(__stv[__slen - 1][2]));
14611521 break;
1522+ case 7:
1523+ // State61
1524+ lv = _;
1525+ break;
14621526 }
14631527 return 1;
14641528 }
@@ -1465,10 +1529,14 @@
14651529
14661530 boolean expr_isend() {
14671531 return (STATE == 0 ||
1532+ STATE == 17 ||
14681533 STATE == 1 ||
14691534 STATE == 5 ||
1535+ STATE == 6 ||
14701536 STATE == 7 ||
1471- STATE == 9);
1537+ STATE == 9 ||
1538+ STATE == 12 ||
1539+ STATE == 15);
14721540 }
14731541
14741542 private final Engine ENGINE_expr = new Engine() {
@@ -1498,7 +1566,7 @@
14981566 }
14991567
15001568 int stateSize() {
1501- return 14;
1569+ return 22;
15021570 }
15031571
15041572 int finallyState() {
@@ -1506,12 +1574,18 @@
15061574 }
15071575
15081576 boolean isDead() {
1509- return (STATE == 8 ||
1577+ return (STATE == 16 ||
1578+ STATE == 21 ||
1579+ STATE == 10 ||
15101580 STATE == 13);
15111581 }
15121582
15131583 boolean isEmptyTransition() {
1514- return (STATE == 7);
1584+ return (STATE == 5 ||
1585+ STATE == 7 ||
1586+ STATE == 9 ||
1587+ STATE == 12 ||
1588+ STATE == 15);
15151589 }
15161590
15171591 public String toString() {
@@ -1567,18 +1641,18 @@
15671641
15681642 int factor_execaction(int $c) {
15691643 switch(STATE) {
1570- case 1:
1571- (__stv[__slen - 1][1]) = _;
1572- break;
15731644 case 2:
15741645 break;
1575- case 0:
1576- break;
15771646 case 3:
15781647 break;
15791648 case 4:
15801649 _ = bAsterisk(((Object)(__stv[__slen - 1][1])), _);
15811650 break;
1651+ case 0:
1652+ break;
1653+ case 1:
1654+ (__stv[__slen - 1][1]) = _;
1655+ break;
15821656 }
15831657 return 1;
15841658 }
@@ -1650,13 +1724,13 @@
16501724 }
16511725 return 0;
16521726 case 1:
1653- if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
1654- STATE = 1;
1655- return 1;
1656- } else if(($c == ',')) {
1727+ if(($c == ',')) {
16571728 LOOKAHEAD_COMMIT();
16581729 STATE = 2;
16591730 return 1;
1731+ } else if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
1732+ STATE = 1;
1733+ return 1;
16601734 }
16611735 return 0;
16621736 case 2:
@@ -1684,18 +1758,18 @@
16841758
16851759 int exprlist_execaction(int $c) {
16861760 switch(STATE) {
1687- case 3:
1688- break;
1689- case 4:
1690- bList(((Object)(__stv[__slen - 1][1])), _);
1691- break;
16921761 case 1:
16931762 (__stv[__slen - 1][1]) = _;
16941763 break;
16951764 case 2:
16961765 break;
1766+ case 3:
1767+ break;
16971768 case 0:
16981769 break;
1770+ case 4:
1771+ bList(((Object)(__stv[__slen - 1][1])), _);
1772+ break;
16991773 }
17001774 return 1;
17011775 }
@@ -1769,11 +1843,11 @@
17691843 return 1;
17701844 }
17711845 case 1:
1772- if((__l__ && $c == 'r')) {
1846+ if((__l__ && $c == 's')) {
17731847 LOOKAHEAD($c);
17741848 STATE = 2;
17751849 return 1;
1776- } else if((__l__ && $c == 's')) {
1850+ } else if((__l__ && $c == 'r')) {
17771851 LOOKAHEAD($c);
17781852 STATE = 3;
17791853 return 1;
@@ -1835,7 +1909,7 @@
18351909 STATE = 1;
18361910 return 1;
18371911 case 3:
1838- if((__l__ && $c == 'o')) {
1912+ if((__l__ && $c == 'u')) {
18391913 LOOKAHEAD($c);
18401914 STATE = 11;
18411915 return 1;
@@ -1849,7 +1923,7 @@
18491923 }
18501924 return 0;
18511925 case 12:
1852- if((__l__ && $c == 'v')) {
1926+ if((__l__ && $c == 'e')) {
18531927 LOOKAHEAD($c);
18541928 STATE = 13;
18551929 return 1;
@@ -1856,167 +1930,167 @@
18561930 }
18571931 return 0;
18581932 case 13:
1859- if((__l__ && $c == 'e')) {
1860- LOOKAHEAD($c);
1933+ if(($c >= 0 && $c <= '@') || ($c >= '[' && $c <= '`') || ($c >= '{' && $c <= 169) || ($c >= 171 && $c <= 180) || ($c >= 182 && $c <= 185) || ($c >= 187 && $c <= 191) || ($c == 215) || ($c == 247) || ($c >= 706 && $c <= 709) || ($c >= 722 && $c <= 735) || ($c >= 741 && $c <= 747) || ($c == 749) || ($c >= 751 && $c <= 879) || ($c == 885) || ($c >= 888 && $c <= 889) || ($c >= 894 && $c <= 901) || ($c == 903) || ($c == 907) || ($c == 909) || ($c == 930) || ($c == 1014) || ($c >= 1154 && $c <= 1161) || ($c >= 1320 && $c <= 1328) || ($c >= 1367 && $c <= 1368) || ($c >= 1370 && $c <= 1376) || ($c >= 1416 && $c <= 1487) || ($c >= 1515 && $c <= 1519) || ($c >= 1523 && $c <= 1567) || ($c >= 1611 && $c <= 1645) || ($c == 1648) || ($c == 1748) || ($c >= 1750 && $c <= 1764) || ($c >= 1767 && $c <= 1773) || ($c >= 1776 && $c <= 1785) || ($c >= 1789 && $c <= 1790) || ($c >= 1792 && $c <= 1807) || ($c == 1809) || ($c >= 1840 && $c <= 1868) || ($c >= 1958 && $c <= 1968) || ($c >= 1970 && $c <= 1993) || ($c >= 2027 && $c <= 2035) || ($c >= 2038 && $c <= 2041) || ($c >= 2043 && $c <= 2047) || ($c >= 2070 && $c <= 2073) || ($c >= 2075 && $c <= 2083) || ($c >= 2085 && $c <= 2087) || ($c >= 2089 && $c <= 2111) || ($c >= 2137 && $c <= 2307) || ($c >= 2362 && $c <= 2364) || ($c >= 2366 && $c <= 2383) || ($c >= 2385 && $c <= 2391) || ($c >= 2402 && $c <= 2416) || ($c == 2424) || ($c >= 2432 && $c <= 2436) || ($c >= 2445 && $c <= 2446) || ($c >= 2449 && $c <= 2450) || ($c == 2473) || ($c == 2481) || ($c >= 2483 && $c <= 2485) || ($c >= 2490 && $c <= 2492) || ($c >= 2494 && $c <= 2509) || ($c >= 2511 && $c <= 2523) || ($c == 2526) || ($c >= 2530 && $c <= 2543) || ($c >= 2546 && $c <= 2564) || ($c >= 2571 && $c <= 2574) || ($c >= 2577 && $c <= 2578) || ($c == 2601) || ($c == 2609) || ($c == 2612) || ($c == 2615) || ($c >= 2618 && $c <= 2648) || ($c == 2653) || ($c >= 2655 && $c <= 2673) || ($c >= 2677 && $c <= 2692) || ($c == 2702) || ($c == 2706) || ($c == 2729) || ($c == 2737) || ($c == 2740) || ($c >= 2746 && $c <= 2748) || ($c >= 2750 && $c <= 2767) || ($c >= 2769 && $c <= 2783) || ($c >= 2786 && $c <= 2820) || ($c >= 2829 && $c <= 2830) || ($c >= 2833 && $c <= 2834) || ($c == 2857) || ($c == 2865) || ($c == 2868) || ($c >= 2874 && $c <= 2876) || ($c >= 2878 && $c <= 2907) || ($c == 2910) || ($c >= 2914 && $c <= 2928) || ($c >= 2930 && $c <= 2946) || ($c == 2948) || ($c >= 2955 && $c <= 2957) || ($c == 2961) || ($c >= 2966 && $c <= 2968) || ($c == 2971) || ($c == 2973) || ($c >= 2976 && $c <= 2978) || ($c >= 2981 && $c <= 2983) || ($c >= 2987 && $c <= 2989) || ($c >= 3002 && $c <= 3023) || ($c >= 3025 && $c <= 3076) || ($c == 3085) || ($c == 3089) || ($c == 3113) || ($c == 3124) || ($c >= 3130 && $c <= 3132) || ($c >= 3134 && $c <= 3159) || ($c >= 3162 && $c <= 3167) || ($c >= 3170 && $c <= 3204) || ($c == 3213) || ($c == 3217) || ($c == 3241) || ($c == 3252) || ($c >= 3258 && $c <= 3260) || ($c >= 3262 && $c <= 3293) || ($c == 3295) || ($c >= 3298 && $c <= 3312) || ($c >= 3315 && $c <= 3332) || ($c == 3341) || ($c == 3345) || ($c >= 3387 && $c <= 3388) || ($c >= 3390 && $c <= 3405) || ($c >= 3407 && $c <= 3423) || ($c >= 3426 && $c <= 3449) || ($c >= 3456 && $c <= 3460) || ($c >= 3479 && $c <= 3481) || ($c == 3506) || ($c == 3516) || ($c >= 3518 && $c <= 3519) || ($c >= 3527 && $c <= 3584) || ($c == 3633) || ($c >= 3636 && $c <= 3647) || ($c >= 3655 && $c <= 3712) || ($c == 3715) || ($c >= 3717 && $c <= 3718) || ($c == 3721) || ($c >= 3723 && $c <= 3724) || ($c >= 3726 && $c <= 3731) || ($c == 3736) || ($c == 3744) || ($c == 3748) || ($c == 3750) || ($c >= 3752 && $c <= 3753) || ($c == 3756) || ($c == 3761) || ($c >= 3764 && $c <= 3772) || ($c >= 3774 && $c <= 3775) || ($c == 3781) || ($c >= 3783 && $c <= 3803) || ($c >= 3806 && $c <= 3839) || ($c >= 3841 && $c <= 3903) || ($c == 3912) || ($c >= 3949 && $c <= 3975) || ($c >= 3981 && $c <= 4095) || ($c >= 4139 && $c <= 4158) || ($c >= 4160 && $c <= 4175) || ($c >= 4182 && $c <= 4185) || ($c >= 4190 && $c <= 4192) || ($c >= 4194 && $c <= 4196) || ($c >= 4199 && $c <= 4205) || ($c >= 4209 && $c <= 4212) || ($c >= 4226 && $c <= 4237) || ($c >= 4239 && $c <= 4255) || ($c >= 4294 && $c <= 4303) || ($c == 4347) || ($c >= 4349 && $c <= 4351) || ($c == 4681) || ($c >= 4686 && $c <= 4687) || ($c == 4695) || ($c == 4697) || ($c >= 4702 && $c <= 4703) || ($c == 4745) || ($c >= 4750 && $c <= 4751) || ($c == 4785) || ($c >= 4790 && $c <= 4791) || ($c == 4799) || ($c == 4801) || ($c >= 4806 && $c <= 4807) || ($c == 4823) || ($c == 4881) || ($c >= 4886 && $c <= 4887) || ($c >= 4955 && $c <= 4991) || ($c >= 5008 && $c <= 5023) || ($c >= 5109 && $c <= 5120) || ($c >= 5741 && $c <= 5742) || ($c == 5760) || ($c >= 5787 && $c <= 5791) || ($c >= 5867 && $c <= 5887) || ($c == 5901) || ($c >= 5906 && $c <= 5919) || ($c >= 5938 && $c <= 5951) || ($c >= 5970 && $c <= 5983) || ($c == 5997) || ($c >= 6001 && $c <= 6015) || ($c >= 6068 && $c <= 6102) || ($c >= 6104 && $c <= 6107) || ($c >= 6109 && $c <= 6175) || ($c >= 6264 && $c <= 6271) || ($c == 6313) || ($c >= 6315 && $c <= 6319) || ($c >= 6390 && $c <= 6399) || ($c >= 6429 && $c <= 6479) || ($c >= 6510 && $c <= 6511) || ($c >= 6517 && $c <= 6527) || ($c >= 6572 && $c <= 6592) || ($c >= 6600 && $c <= 6655) || ($c >= 6679 && $c <= 6687) || ($c >= 6741 && $c <= 6822) || ($c >= 6824 && $c <= 6916) || ($c >= 6964 && $c <= 6980) || ($c >= 6988 && $c <= 7042) || ($c >= 7073 && $c <= 7085) || ($c >= 7088 && $c <= 7103) || ($c >= 7142 && $c <= 7167) || ($c >= 7204 && $c <= 7244) || ($c >= 7248 && $c <= 7257) || ($c >= 7294 && $c <= 7400) || ($c == 7405) || ($c >= 7410 && $c <= 7423) || ($c >= 7616 && $c <= 7679) || ($c >= 7958 && $c <= 7959) || ($c >= 7966 && $c <= 7967) || ($c >= 8006 && $c <= 8007) || ($c >= 8014 && $c <= 8015) || ($c == 8024) || ($c == 8026) || ($c == 8028) || ($c == 8030) || ($c >= 8062 && $c <= 8063) || ($c == 8117) || ($c == 8125) || ($c >= 8127 && $c <= 8129) || ($c == 8133) || ($c >= 8141 && $c <= 8143) || ($c >= 8148 && $c <= 8149) || ($c >= 8156 && $c <= 8159) || ($c >= 8173 && $c <= 8177) || ($c == 8181) || ($c >= 8189 && $c <= 8304) || ($c >= 8306 && $c <= 8318) || ($c >= 8320 && $c <= 8335) || ($c >= 8349 && $c <= 8449) || ($c >= 8451 && $c <= 8454) || ($c >= 8456 && $c <= 8457) || ($c == 8468) || ($c >= 8470 && $c <= 8472) || ($c >= 8478 && $c <= 8483) || ($c == 8485) || ($c == 8487) || ($c == 8489) || ($c == 8494) || ($c >= 8506 && $c <= 8507) || ($c >= 8512 && $c <= 8516) || ($c >= 8522 && $c <= 8525) || ($c >= 8527 && $c <= 8578) || ($c >= 8581 && $c <= 11263) || ($c == 11311) || ($c == 11359) || ($c >= 11493 && $c <= 11498) || ($c >= 11503 && $c <= 11519) || ($c >= 11558 && $c <= 11567) || ($c >= 11622 && $c <= 11630) || ($c >= 11632 && $c <= 11647) || ($c >= 11671 && $c <= 11679) || ($c == 11687) || ($c == 11695) || ($c == 11703) || ($c == 11711) || ($c == 11719) || ($c == 11727) || ($c == 11735) || ($c >= 11743 && $c <= 11822) || ($c >= 11824 && $c <= 12292) || ($c >= 12295 && $c <= 12336) || ($c >= 12342 && $c <= 12346) || ($c >= 12349 && $c <= 12352) || ($c >= 12439 && $c <= 12444) || ($c == 12448) || ($c == 12539) || ($c >= 12544 && $c <= 12548) || ($c >= 12590 && $c <= 12592) || ($c >= 12687 && $c <= 12703) || ($c >= 12731 && $c <= 12783) || ($c >= 12800 && $c <= 13311) || ($c >= 19894 && $c <= 19967) || ($c >= 40908 && $c <= 40959) || ($c >= 42125 && $c <= 42191) || ($c >= 42238 && $c <= 42239) || ($c >= 42509 && $c <= 42511) || ($c >= 42528 && $c <= 42537) || ($c >= 42540 && $c <= 42559) || ($c >= 42607 && $c <= 42622) || ($c >= 42648 && $c <= 42655) || ($c >= 42726 && $c <= 42774) || ($c >= 42784 && $c <= 42785) || ($c >= 42889 && $c <= 42890) || ($c == 42895) || ($c >= 42898 && $c <= 42911) || ($c >= 42922 && $c <= 43001) || ($c == 43010) || ($c == 43014) || ($c == 43019) || ($c >= 43043 && $c <= 43071) || ($c >= 43124 && $c <= 43137) || ($c >= 43188 && $c <= 43249) || ($c >= 43256 && $c <= 43258) || ($c >= 43260 && $c <= 43273) || ($c >= 43302 && $c <= 43311) || ($c >= 43335 && $c <= 43359) || ($c >= 43389 && $c <= 43395) || ($c >= 43443 && $c <= 43470) || ($c >= 43472 && $c <= 43519) || ($c >= 43561 && $c <= 43583) || ($c == 43587) || ($c >= 43596 && $c <= 43615) || ($c >= 43639 && $c <= 43641) || ($c >= 43643 && $c <= 43647) || ($c == 43696) || ($c >= 43698 && $c <= 43700) || ($c >= 43703 && $c <= 43704) || ($c >= 43710 && $c <= 43711) || ($c == 43713) || ($c >= 43715 && $c <= 43738) || ($c >= 43742 && $c <= 43776) || ($c >= 43783 && $c <= 43784) || ($c >= 43791 && $c <= 43792) || ($c >= 43799 && $c <= 43807) || ($c == 43815) || ($c >= 43823 && $c <= 43967) || ($c >= 44003 && $c <= 44031) || ($c >= 55204 && $c <= 55215) || ($c >= 55239 && $c <= 55242) || ($c >= 55292 && $c <= 63743) || ($c >= 64046 && $c <= 64047) || ($c >= 64110 && $c <= 64111) || ($c >= 64218 && $c <= 64255) || ($c >= 64263 && $c <= 64274) || ($c >= 64280 && $c <= 64284) || ($c == 64286) || ($c == 64297) || ($c == 64311) || ($c == 64317) || ($c == 64319) || ($c == 64322) || ($c == 64325) || ($c >= 64434 && $c <= 64466) || ($c >= 64830 && $c <= 64847) || ($c >= 64912 && $c <= 64913) || ($c >= 64968 && $c <= 65007) || ($c >= 65020 && $c <= 65135) || ($c == 65141) || ($c >= 65277 && $c <= 65312) || ($c >= 65339 && $c <= 65344) || ($c >= 65371 && $c <= 65381) || ($c >= 65471 && $c <= 65473) || ($c >= 65480 && $c <= 65481) || ($c >= 65488 && $c <= 65489) || ($c >= 65496 && $c <= 65497) || ($c >= 65501 && $c <= 2147483647)) {
1934+ LOOKAHEAD_COMMIT();UNGET($c);
18611935 STATE = 14;
18621936 return 1;
18631937 }
18641938 return 0;
18651939 case 14:
1866- if(($c >= 0 && $c <= '@') || ($c >= '[' && $c <= '`') || ($c >= '{' && $c <= 169) || ($c >= 171 && $c <= 180) || ($c >= 182 && $c <= 185) || ($c >= 187 && $c <= 191) || ($c == 215) || ($c == 247) || ($c >= 706 && $c <= 709) || ($c >= 722 && $c <= 735) || ($c >= 741 && $c <= 747) || ($c == 749) || ($c >= 751 && $c <= 879) || ($c == 885) || ($c >= 888 && $c <= 889) || ($c >= 894 && $c <= 901) || ($c == 903) || ($c == 907) || ($c == 909) || ($c == 930) || ($c == 1014) || ($c >= 1154 && $c <= 1161) || ($c >= 1320 && $c <= 1328) || ($c >= 1367 && $c <= 1368) || ($c >= 1370 && $c <= 1376) || ($c >= 1416 && $c <= 1487) || ($c >= 1515 && $c <= 1519) || ($c >= 1523 && $c <= 1567) || ($c >= 1611 && $c <= 1645) || ($c == 1648) || ($c == 1748) || ($c >= 1750 && $c <= 1764) || ($c >= 1767 && $c <= 1773) || ($c >= 1776 && $c <= 1785) || ($c >= 1789 && $c <= 1790) || ($c >= 1792 && $c <= 1807) || ($c == 1809) || ($c >= 1840 && $c <= 1868) || ($c >= 1958 && $c <= 1968) || ($c >= 1970 && $c <= 1993) || ($c >= 2027 && $c <= 2035) || ($c >= 2038 && $c <= 2041) || ($c >= 2043 && $c <= 2047) || ($c >= 2070 && $c <= 2073) || ($c >= 2075 && $c <= 2083) || ($c >= 2085 && $c <= 2087) || ($c >= 2089 && $c <= 2111) || ($c >= 2137 && $c <= 2307) || ($c >= 2362 && $c <= 2364) || ($c >= 2366 && $c <= 2383) || ($c >= 2385 && $c <= 2391) || ($c >= 2402 && $c <= 2416) || ($c == 2424) || ($c >= 2432 && $c <= 2436) || ($c >= 2445 && $c <= 2446) || ($c >= 2449 && $c <= 2450) || ($c == 2473) || ($c == 2481) || ($c >= 2483 && $c <= 2485) || ($c >= 2490 && $c <= 2492) || ($c >= 2494 && $c <= 2509) || ($c >= 2511 && $c <= 2523) || ($c == 2526) || ($c >= 2530 && $c <= 2543) || ($c >= 2546 && $c <= 2564) || ($c >= 2571 && $c <= 2574) || ($c >= 2577 && $c <= 2578) || ($c == 2601) || ($c == 2609) || ($c == 2612) || ($c == 2615) || ($c >= 2618 && $c <= 2648) || ($c == 2653) || ($c >= 2655 && $c <= 2673) || ($c >= 2677 && $c <= 2692) || ($c == 2702) || ($c == 2706) || ($c == 2729) || ($c == 2737) || ($c == 2740) || ($c >= 2746 && $c <= 2748) || ($c >= 2750 && $c <= 2767) || ($c >= 2769 && $c <= 2783) || ($c >= 2786 && $c <= 2820) || ($c >= 2829 && $c <= 2830) || ($c >= 2833 && $c <= 2834) || ($c == 2857) || ($c == 2865) || ($c == 2868) || ($c >= 2874 && $c <= 2876) || ($c >= 2878 && $c <= 2907) || ($c == 2910) || ($c >= 2914 && $c <= 2928) || ($c >= 2930 && $c <= 2946) || ($c == 2948) || ($c >= 2955 && $c <= 2957) || ($c == 2961) || ($c >= 2966 && $c <= 2968) || ($c == 2971) || ($c == 2973) || ($c >= 2976 && $c <= 2978) || ($c >= 2981 && $c <= 2983) || ($c >= 2987 && $c <= 2989) || ($c >= 3002 && $c <= 3023) || ($c >= 3025 && $c <= 3076) || ($c == 3085) || ($c == 3089) || ($c == 3113) || ($c == 3124) || ($c >= 3130 && $c <= 3132) || ($c >= 3134 && $c <= 3159) || ($c >= 3162 && $c <= 3167) || ($c >= 3170 && $c <= 3204) || ($c == 3213) || ($c == 3217) || ($c == 3241) || ($c == 3252) || ($c >= 3258 && $c <= 3260) || ($c >= 3262 && $c <= 3293) || ($c == 3295) || ($c >= 3298 && $c <= 3312) || ($c >= 3315 && $c <= 3332) || ($c == 3341) || ($c == 3345) || ($c >= 3387 && $c <= 3388) || ($c >= 3390 && $c <= 3405) || ($c >= 3407 && $c <= 3423) || ($c >= 3426 && $c <= 3449) || ($c >= 3456 && $c <= 3460) || ($c >= 3479 && $c <= 3481) || ($c == 3506) || ($c == 3516) || ($c >= 3518 && $c <= 3519) || ($c >= 3527 && $c <= 3584) || ($c == 3633) || ($c >= 3636 && $c <= 3647) || ($c >= 3655 && $c <= 3712) || ($c == 3715) || ($c >= 3717 && $c <= 3718) || ($c == 3721) || ($c >= 3723 && $c <= 3724) || ($c >= 3726 && $c <= 3731) || ($c == 3736) || ($c == 3744) || ($c == 3748) || ($c == 3750) || ($c >= 3752 && $c <= 3753) || ($c == 3756) || ($c == 3761) || ($c >= 3764 && $c <= 3772) || ($c >= 3774 && $c <= 3775) || ($c == 3781) || ($c >= 3783 && $c <= 3803) || ($c >= 3806 && $c <= 3839) || ($c >= 3841 && $c <= 3903) || ($c == 3912) || ($c >= 3949 && $c <= 3975) || ($c >= 3981 && $c <= 4095) || ($c >= 4139 && $c <= 4158) || ($c >= 4160 && $c <= 4175) || ($c >= 4182 && $c <= 4185) || ($c >= 4190 && $c <= 4192) || ($c >= 4194 && $c <= 4196) || ($c >= 4199 && $c <= 4205) || ($c >= 4209 && $c <= 4212) || ($c >= 4226 && $c <= 4237) || ($c >= 4239 && $c <= 4255) || ($c >= 4294 && $c <= 4303) || ($c == 4347) || ($c >= 4349 && $c <= 4351) || ($c == 4681) || ($c >= 4686 && $c <= 4687) || ($c == 4695) || ($c == 4697) || ($c >= 4702 && $c <= 4703) || ($c == 4745) || ($c >= 4750 && $c <= 4751) || ($c == 4785) || ($c >= 4790 && $c <= 4791) || ($c == 4799) || ($c == 4801) || ($c >= 4806 && $c <= 4807) || ($c == 4823) || ($c == 4881) || ($c >= 4886 && $c <= 4887) || ($c >= 4955 && $c <= 4991) || ($c >= 5008 && $c <= 5023) || ($c >= 5109 && $c <= 5120) || ($c >= 5741 && $c <= 5742) || ($c == 5760) || ($c >= 5787 && $c <= 5791) || ($c >= 5867 && $c <= 5887) || ($c == 5901) || ($c >= 5906 && $c <= 5919) || ($c >= 5938 && $c <= 5951) || ($c >= 5970 && $c <= 5983) || ($c == 5997) || ($c >= 6001 && $c <= 6015) || ($c >= 6068 && $c <= 6102) || ($c >= 6104 && $c <= 6107) || ($c >= 6109 && $c <= 6175) || ($c >= 6264 && $c <= 6271) || ($c == 6313) || ($c >= 6315 && $c <= 6319) || ($c >= 6390 && $c <= 6399) || ($c >= 6429 && $c <= 6479) || ($c >= 6510 && $c <= 6511) || ($c >= 6517 && $c <= 6527) || ($c >= 6572 && $c <= 6592) || ($c >= 6600 && $c <= 6655) || ($c >= 6679 && $c <= 6687) || ($c >= 6741 && $c <= 6822) || ($c >= 6824 && $c <= 6916) || ($c >= 6964 && $c <= 6980) || ($c >= 6988 && $c <= 7042) || ($c >= 7073 && $c <= 7085) || ($c >= 7088 && $c <= 7103) || ($c >= 7142 && $c <= 7167) || ($c >= 7204 && $c <= 7244) || ($c >= 7248 && $c <= 7257) || ($c >= 7294 && $c <= 7400) || ($c == 7405) || ($c >= 7410 && $c <= 7423) || ($c >= 7616 && $c <= 7679) || ($c >= 7958 && $c <= 7959) || ($c >= 7966 && $c <= 7967) || ($c >= 8006 && $c <= 8007) || ($c >= 8014 && $c <= 8015) || ($c == 8024) || ($c == 8026) || ($c == 8028) || ($c == 8030) || ($c >= 8062 && $c <= 8063) || ($c == 8117) || ($c == 8125) || ($c >= 8127 && $c <= 8129) || ($c == 8133) || ($c >= 8141 && $c <= 8143) || ($c >= 8148 && $c <= 8149) || ($c >= 8156 && $c <= 8159) || ($c >= 8173 && $c <= 8177) || ($c == 8181) || ($c >= 8189 && $c <= 8304) || ($c >= 8306 && $c <= 8318) || ($c >= 8320 && $c <= 8335) || ($c >= 8349 && $c <= 8449) || ($c >= 8451 && $c <= 8454) || ($c >= 8456 && $c <= 8457) || ($c == 8468) || ($c >= 8470 && $c <= 8472) || ($c >= 8478 && $c <= 8483) || ($c == 8485) || ($c == 8487) || ($c == 8489) || ($c == 8494) || ($c >= 8506 && $c <= 8507) || ($c >= 8512 && $c <= 8516) || ($c >= 8522 && $c <= 8525) || ($c >= 8527 && $c <= 8578) || ($c >= 8581 && $c <= 11263) || ($c == 11311) || ($c == 11359) || ($c >= 11493 && $c <= 11498) || ($c >= 11503 && $c <= 11519) || ($c >= 11558 && $c <= 11567) || ($c >= 11622 && $c <= 11630) || ($c >= 11632 && $c <= 11647) || ($c >= 11671 && $c <= 11679) || ($c == 11687) || ($c == 11695) || ($c == 11703) || ($c == 11711) || ($c == 11719) || ($c == 11727) || ($c == 11735) || ($c >= 11743 && $c <= 11822) || ($c >= 11824 && $c <= 12292) || ($c >= 12295 && $c <= 12336) || ($c >= 12342 && $c <= 12346) || ($c >= 12349 && $c <= 12352) || ($c >= 12439 && $c <= 12444) || ($c == 12448) || ($c == 12539) || ($c >= 12544 && $c <= 12548) || ($c >= 12590 && $c <= 12592) || ($c >= 12687 && $c <= 12703) || ($c >= 12731 && $c <= 12783) || ($c >= 12800 && $c <= 13311) || ($c >= 19894 && $c <= 19967) || ($c >= 40908 && $c <= 40959) || ($c >= 42125 && $c <= 42191) || ($c >= 42238 && $c <= 42239) || ($c >= 42509 && $c <= 42511) || ($c >= 42528 && $c <= 42537) || ($c >= 42540 && $c <= 42559) || ($c >= 42607 && $c <= 42622) || ($c >= 42648 && $c <= 42655) || ($c >= 42726 && $c <= 42774) || ($c >= 42784 && $c <= 42785) || ($c >= 42889 && $c <= 42890) || ($c == 42895) || ($c >= 42898 && $c <= 42911) || ($c >= 42922 && $c <= 43001) || ($c == 43010) || ($c == 43014) || ($c == 43019) || ($c >= 43043 && $c <= 43071) || ($c >= 43124 && $c <= 43137) || ($c >= 43188 && $c <= 43249) || ($c >= 43256 && $c <= 43258) || ($c >= 43260 && $c <= 43273) || ($c >= 43302 && $c <= 43311) || ($c >= 43335 && $c <= 43359) || ($c >= 43389 && $c <= 43395) || ($c >= 43443 && $c <= 43470) || ($c >= 43472 && $c <= 43519) || ($c >= 43561 && $c <= 43583) || ($c == 43587) || ($c >= 43596 && $c <= 43615) || ($c >= 43639 && $c <= 43641) || ($c >= 43643 && $c <= 43647) || ($c == 43696) || ($c >= 43698 && $c <= 43700) || ($c >= 43703 && $c <= 43704) || ($c >= 43710 && $c <= 43711) || ($c == 43713) || ($c >= 43715 && $c <= 43738) || ($c >= 43742 && $c <= 43776) || ($c >= 43783 && $c <= 43784) || ($c >= 43791 && $c <= 43792) || ($c >= 43799 && $c <= 43807) || ($c == 43815) || ($c >= 43823 && $c <= 43967) || ($c >= 44003 && $c <= 44031) || ($c >= 55204 && $c <= 55215) || ($c >= 55239 && $c <= 55242) || ($c >= 55292 && $c <= 63743) || ($c >= 64046 && $c <= 64047) || ($c >= 64110 && $c <= 64111) || ($c >= 64218 && $c <= 64255) || ($c >= 64263 && $c <= 64274) || ($c >= 64280 && $c <= 64284) || ($c == 64286) || ($c == 64297) || ($c == 64311) || ($c == 64317) || ($c == 64319) || ($c == 64322) || ($c == 64325) || ($c >= 64434 && $c <= 64466) || ($c >= 64830 && $c <= 64847) || ($c >= 64912 && $c <= 64913) || ($c >= 64968 && $c <= 65007) || ($c >= 65020 && $c <= 65135) || ($c == 65141) || ($c >= 65277 && $c <= 65312) || ($c >= 65339 && $c <= 65344) || ($c >= 65371 && $c <= 65381) || ($c >= 65471 && $c <= 65473) || ($c >= 65480 && $c <= 65481) || ($c >= 65488 && $c <= 65489) || ($c >= 65496 && $c <= 65497) || ($c >= 65501 && $c <= 2147483647)) {
1867- LOOKAHEAD_COMMIT();UNGET($c);
1940+ if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
1941+ STATE = 14;
1942+ return 1;
1943+ } else if(($c == '$') || ($c >= 'A' && $c <= 'Z') || ($c == '_') || ($c >= 'a' && $c <= 'z') || ($c >= 162 && $c <= 165) || ($c == 170) || ($c == 181) || ($c == 186) || ($c >= 192 && $c <= 214) || ($c >= 216 && $c <= 246) || ($c >= 248 && $c <= 705) || ($c >= 710 && $c <= 721) || ($c >= 736 && $c <= 740) || ($c == 748) || ($c == 750) || ($c >= 880 && $c <= 884) || ($c >= 886 && $c <= 887) || ($c >= 890 && $c <= 893) || ($c == 902) || ($c >= 904 && $c <= 906) || ($c == 908) || ($c >= 910 && $c <= 929) || ($c >= 931 && $c <= 1013) || ($c >= 1015 && $c <= 1153) || ($c >= 1162 && $c <= 1319) || ($c >= 1329 && $c <= 1366) || ($c == 1369) || ($c >= 1377 && $c <= 1415) || ($c >= 1488 && $c <= 1514) || ($c >= 1520 && $c <= 1522) || ($c == 1547) || ($c >= 1568 && $c <= 1610) || ($c >= 1646 && $c <= 1647) || ($c >= 1649 && $c <= 1747) || ($c == 1749) || ($c >= 1765 && $c <= 1766) || ($c >= 1774 && $c <= 1775) || ($c >= 1786 && $c <= 1788) || ($c == 1791) || ($c == 1808) || ($c >= 1810 && $c <= 1839) || ($c >= 1869 && $c <= 1957) || ($c == 1969) || ($c >= 1994 && $c <= 2026) || ($c >= 2036 && $c <= 2037) || ($c == 2042) || ($c >= 2048 && $c <= 2069) || ($c == 2074) || ($c == 2084) || ($c == 2088) || ($c >= 2112 && $c <= 2136) || ($c >= 2308 && $c <= 2361) || ($c == 2365) || ($c == 2384) || ($c >= 2392 && $c <= 2401) || ($c >= 2417 && $c <= 2423) || ($c >= 2425 && $c <= 2431) || ($c >= 2437 && $c <= 2444) || ($c >= 2447 && $c <= 2448) || ($c >= 2451 && $c <= 2472) || ($c >= 2474 && $c <= 2480) || ($c == 2482) || ($c >= 2486 && $c <= 2489) || ($c == 2493) || ($c == 2510) || ($c >= 2524 && $c <= 2525) || ($c >= 2527 && $c <= 2529) || ($c >= 2544 && $c <= 2547) || ($c == 2555) || ($c >= 2565 && $c <= 2570) || ($c >= 2575 && $c <= 2576) || ($c >= 2579 && $c <= 2600) || ($c >= 2602 && $c <= 2608) || ($c >= 2610 && $c <= 2611) || ($c >= 2613 && $c <= 2614) || ($c >= 2616 && $c <= 2617) || ($c >= 2649 && $c <= 2652) || ($c == 2654) || ($c >= 2674 && $c <= 2676) || ($c >= 2693 && $c <= 2701) || ($c >= 2703 && $c <= 2705) || ($c >= 2707 && $c <= 2728) || ($c >= 2730 && $c <= 2736) || ($c >= 2738 && $c <= 2739) || ($c >= 2741 && $c <= 2745) || ($c == 2749) || ($c == 2768) || ($c >= 2784 && $c <= 2785) || ($c == 2801) || ($c >= 2821 && $c <= 2828) || ($c >= 2831 && $c <= 2832) || ($c >= 2835 && $c <= 2856) || ($c >= 2858 && $c <= 2864) || ($c >= 2866 && $c <= 2867) || ($c >= 2869 && $c <= 2873) || ($c == 2877) || ($c >= 2908 && $c <= 2909) || ($c >= 2911 && $c <= 2913) || ($c == 2929) || ($c == 2947) || ($c >= 2949 && $c <= 2954) || ($c >= 2958 && $c <= 2960) || ($c >= 2962 && $c <= 2965) || ($c >= 2969 && $c <= 2970) || ($c == 2972) || ($c >= 2974 && $c <= 2975) || ($c >= 2979 && $c <= 2980) || ($c >= 2984 && $c <= 2986) || ($c >= 2990 && $c <= 3001) || ($c == 3024) || ($c == 3065) || ($c >= 3077 && $c <= 3084) || ($c >= 3086 && $c <= 3088) || ($c >= 3090 && $c <= 3112) || ($c >= 3114 && $c <= 3123) || ($c >= 3125 && $c <= 3129) || ($c == 3133) || ($c >= 3160 && $c <= 3161) || ($c >= 3168 && $c <= 3169) || ($c >= 3205 && $c <= 3212) || ($c >= 3214 && $c <= 3216) || ($c >= 3218 && $c <= 3240) || ($c >= 3242 && $c <= 3251) || ($c >= 3253 && $c <= 3257) || ($c == 3261) || ($c == 3294) || ($c >= 3296 && $c <= 3297) || ($c >= 3313 && $c <= 3314) || ($c >= 3333 && $c <= 3340) || ($c >= 3342 && $c <= 3344) || ($c >= 3346 && $c <= 3386) || ($c == 3389) || ($c == 3406) || ($c >= 3424 && $c <= 3425) || ($c >= 3450 && $c <= 3455) || ($c >= 3461 && $c <= 3478) || ($c >= 3482 && $c <= 3505) || ($c >= 3507 && $c <= 3515) || ($c == 3517) || ($c >= 3520 && $c <= 3526) || ($c >= 3585 && $c <= 3632) || ($c >= 3634 && $c <= 3635) || ($c >= 3647 && $c <= 3654) || ($c >= 3713 && $c <= 3714) || ($c == 3716) || ($c >= 3719 && $c <= 3720) || ($c == 3722) || ($c == 3725) || ($c >= 3732 && $c <= 3735) || ($c >= 3737 && $c <= 3743) || ($c >= 3745 && $c <= 3747) || ($c == 3749) || ($c == 3751) || ($c >= 3754 && $c <= 3755) || ($c >= 3757 && $c <= 3760) || ($c >= 3762 && $c <= 3763) || ($c == 3773) || ($c >= 3776 && $c <= 3780) || ($c == 3782) || ($c >= 3804 && $c <= 3805) || ($c == 3840) || ($c >= 3904 && $c <= 3911) || ($c >= 3913 && $c <= 3948) || ($c >= 3976 && $c <= 3980) || ($c >= 4096 && $c <= 4138) || ($c == 4159) || ($c >= 4176 && $c <= 4181) || ($c >= 4186 && $c <= 4189) || ($c == 4193) || ($c >= 4197 && $c <= 4198) || ($c >= 4206 && $c <= 4208) || ($c >= 4213 && $c <= 4225) || ($c == 4238) || ($c >= 4256 && $c <= 4293) || ($c >= 4304 && $c <= 4346) || ($c == 4348) || ($c >= 4352 && $c <= 4680) || ($c >= 4682 && $c <= 4685) || ($c >= 4688 && $c <= 4694) || ($c == 4696) || ($c >= 4698 && $c <= 4701) || ($c >= 4704 && $c <= 4744) || ($c >= 4746 && $c <= 4749) || ($c >= 4752 && $c <= 4784) || ($c >= 4786 && $c <= 4789) || ($c >= 4792 && $c <= 4798) || ($c == 4800) || ($c >= 4802 && $c <= 4805) || ($c >= 4808 && $c <= 4822) || ($c >= 4824 && $c <= 4880) || ($c >= 4882 && $c <= 4885) || ($c >= 4888 && $c <= 4954) || ($c >= 4992 && $c <= 5007) || ($c >= 5024 && $c <= 5108) || ($c >= 5121 && $c <= 5740) || ($c >= 5743 && $c <= 5759) || ($c >= 5761 && $c <= 5786) || ($c >= 5792 && $c <= 5866) || ($c >= 5870 && $c <= 5872) || ($c >= 5888 && $c <= 5900) || ($c >= 5902 && $c <= 5905) || ($c >= 5920 && $c <= 5937) || ($c >= 5952 && $c <= 5969) || ($c >= 5984 && $c <= 5996) || ($c >= 5998 && $c <= 6000) || ($c >= 6016 && $c <= 6067) || ($c == 6103) || ($c >= 6107 && $c <= 6108) || ($c >= 6176 && $c <= 6263) || ($c >= 6272 && $c <= 6312) || ($c == 6314) || ($c >= 6320 && $c <= 6389) || ($c >= 6400 && $c <= 6428) || ($c >= 6480 && $c <= 6509) || ($c >= 6512 && $c <= 6516) || ($c >= 6528 && $c <= 6571) || ($c >= 6593 && $c <= 6599) || ($c >= 6656 && $c <= 6678) || ($c >= 6688 && $c <= 6740) || ($c == 6823) || ($c >= 6917 && $c <= 6963) || ($c >= 6981 && $c <= 6987) || ($c >= 7043 && $c <= 7072) || ($c >= 7086 && $c <= 7087) || ($c >= 7104 && $c <= 7141) || ($c >= 7168 && $c <= 7203) || ($c >= 7245 && $c <= 7247) || ($c >= 7258 && $c <= 7293) || ($c >= 7401 && $c <= 7404) || ($c >= 7406 && $c <= 7409) || ($c >= 7424 && $c <= 7615) || ($c >= 7680 && $c <= 7957) || ($c >= 7960 && $c <= 7965) || ($c >= 7968 && $c <= 8005) || ($c >= 8008 && $c <= 8013) || ($c >= 8016 && $c <= 8023) || ($c == 8025) || ($c == 8027) || ($c == 8029) || ($c >= 8031 && $c <= 8061) || ($c >= 8064 && $c <= 8116) || ($c >= 8118 && $c <= 8124) || ($c == 8126) || ($c >= 8130 && $c <= 8132) || ($c >= 8134 && $c <= 8140) || ($c >= 8144 && $c <= 8147) || ($c >= 8150 && $c <= 8155) || ($c >= 8160 && $c <= 8172) || ($c >= 8178 && $c <= 8180) || ($c >= 8182 && $c <= 8188) || ($c >= 8255 && $c <= 8256) || ($c == 8276) || ($c == 8305) || ($c == 8319) || ($c >= 8336 && $c <= 8348) || ($c >= 8352 && $c <= 8377) || ($c == 8450) || ($c == 8455) || ($c >= 8458 && $c <= 8467) || ($c == 8469) || ($c >= 8473 && $c <= 8477) || ($c == 8484) || ($c == 8486) || ($c == 8488) || ($c >= 8490 && $c <= 8493) || ($c >= 8495 && $c <= 8505) || ($c >= 8508 && $c <= 8511) || ($c >= 8517 && $c <= 8521) || ($c == 8526) || ($c >= 8544 && $c <= 8584) || ($c >= 11264 && $c <= 11310) || ($c >= 11312 && $c <= 11358) || ($c >= 11360 && $c <= 11492) || ($c >= 11499 && $c <= 11502) || ($c >= 11520 && $c <= 11557) || ($c >= 11568 && $c <= 11621) || ($c == 11631) || ($c >= 11648 && $c <= 11670) || ($c >= 11680 && $c <= 11686) || ($c >= 11688 && $c <= 11694) || ($c >= 11696 && $c <= 11702) || ($c >= 11704 && $c <= 11710) || ($c >= 11712 && $c <= 11718) || ($c >= 11720 && $c <= 11726) || ($c >= 11728 && $c <= 11734) || ($c >= 11736 && $c <= 11742) || ($c == 11823) || ($c >= 12293 && $c <= 12295) || ($c >= 12321 && $c <= 12329) || ($c >= 12337 && $c <= 12341) || ($c >= 12344 && $c <= 12348) || ($c >= 12353 && $c <= 12438) || ($c >= 12445 && $c <= 12447) || ($c >= 12449 && $c <= 12538) || ($c >= 12540 && $c <= 12543) || ($c >= 12549 && $c <= 12589) || ($c >= 12593 && $c <= 12686) || ($c >= 12704 && $c <= 12730) || ($c >= 12784 && $c <= 12799) || ($c >= 13312 && $c <= 19893) || ($c >= 19968 && $c <= 40907) || ($c >= 40960 && $c <= 42124) || ($c >= 42192 && $c <= 42237) || ($c >= 42240 && $c <= 42508) || ($c >= 42512 && $c <= 42527) || ($c >= 42538 && $c <= 42539) || ($c >= 42560 && $c <= 42606) || ($c >= 42623 && $c <= 42647) || ($c >= 42656 && $c <= 42735) || ($c >= 42775 && $c <= 42783) || ($c >= 42786 && $c <= 42888) || ($c >= 42891 && $c <= 42894) || ($c >= 42896 && $c <= 42897) || ($c >= 42912 && $c <= 42921) || ($c >= 43002 && $c <= 43009) || ($c >= 43011 && $c <= 43013) || ($c >= 43015 && $c <= 43018) || ($c >= 43020 && $c <= 43042) || ($c == 43064) || ($c >= 43072 && $c <= 43123) || ($c >= 43138 && $c <= 43187) || ($c >= 43250 && $c <= 43255) || ($c == 43259) || ($c >= 43274 && $c <= 43301) || ($c >= 43312 && $c <= 43334) || ($c >= 43360 && $c <= 43388) || ($c >= 43396 && $c <= 43442) || ($c == 43471) || ($c >= 43520 && $c <= 43560) || ($c >= 43584 && $c <= 43586) || ($c >= 43588 && $c <= 43595) || ($c >= 43616 && $c <= 43638) || ($c == 43642) || ($c >= 43648 && $c <= 43695) || ($c == 43697) || ($c >= 43701 && $c <= 43702) || ($c >= 43705 && $c <= 43709) || ($c == 43712) || ($c == 43714) || ($c >= 43739 && $c <= 43741) || ($c >= 43777 && $c <= 43782) || ($c >= 43785 && $c <= 43790) || ($c >= 43793 && $c <= 43798) || ($c >= 43808 && $c <= 43814) || ($c >= 43816 && $c <= 43822) || ($c >= 43968 && $c <= 44002) || ($c >= 44032 && $c <= 55203) || ($c >= 55216 && $c <= 55238) || ($c >= 55243 && $c <= 55291) || ($c >= 63744 && $c <= 64045) || ($c >= 64048 && $c <= 64109) || ($c >= 64112 && $c <= 64217) || ($c >= 64256 && $c <= 64262) || ($c >= 64275 && $c <= 64279) || ($c == 64285) || ($c >= 64287 && $c <= 64296) || ($c >= 64298 && $c <= 64310) || ($c >= 64312 && $c <= 64316) || ($c == 64318) || ($c >= 64320 && $c <= 64321) || ($c >= 64323 && $c <= 64324) || ($c >= 64326 && $c <= 64433) || ($c >= 64467 && $c <= 64829) || ($c >= 64848 && $c <= 64911) || ($c >= 64914 && $c <= 64967) || ($c >= 65008 && $c <= 65020) || ($c >= 65075 && $c <= 65076) || ($c >= 65101 && $c <= 65103) || ($c == 65129) || ($c >= 65136 && $c <= 65140) || ($c >= 65142 && $c <= 65276) || ($c == 65284) || ($c >= 65313 && $c <= 65338) || ($c == 65343) || ($c >= 65345 && $c <= 65370) || ($c >= 65382 && $c <= 65470) || ($c >= 65474 && $c <= 65479) || ($c >= 65482 && $c <= 65487) || ($c >= 65490 && $c <= 65495) || ($c >= 65498 && $c <= 65500) || ($c >= 65504 && $c <= 65505) || ($c >= 65509 && $c <= 65510)) {
1944+ $buffer = new StringBuffer();$buffer.append((char)$c);
18681945 STATE = 15;
18691946 return 1;
18701947 }
18711948 return 0;
18721949 case 15:
1873- if(($c == ';')) {
1874- STATE = 16;
1875- return 1;
1876- } else if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
1950+ if(($c >= 0 && $c <= 8) || ($c >= 14 && $c <= 27) || ($c == '$') || ($c >= '0' && $c <= '9') || ($c >= 'A' && $c <= 'Z') || ($c == '_') || ($c >= 'a' && $c <= 'z') || ($c >= 127 && $c <= 159) || ($c >= 162 && $c <= 165) || ($c == 170) || ($c == 173) || ($c == 181) || ($c == 186) || ($c >= 192 && $c <= 214) || ($c >= 216 && $c <= 246) || ($c >= 248 && $c <= 705) || ($c >= 710 && $c <= 721) || ($c >= 736 && $c <= 740) || ($c == 748) || ($c == 750) || ($c >= 768 && $c <= 884) || ($c >= 886 && $c <= 887) || ($c >= 890 && $c <= 893) || ($c == 902) || ($c >= 904 && $c <= 906) || ($c == 908) || ($c >= 910 && $c <= 929) || ($c >= 931 && $c <= 1013) || ($c >= 1015 && $c <= 1153) || ($c >= 1155 && $c <= 1159) || ($c >= 1162 && $c <= 1319) || ($c >= 1329 && $c <= 1366) || ($c == 1369) || ($c >= 1377 && $c <= 1415) || ($c >= 1425 && $c <= 1469) || ($c == 1471) || ($c >= 1473 && $c <= 1474) || ($c >= 1476 && $c <= 1477) || ($c == 1479) || ($c >= 1488 && $c <= 1514) || ($c >= 1520 && $c <= 1522) || ($c >= 1536 && $c <= 1539) || ($c == 1547) || ($c >= 1552 && $c <= 1562) || ($c >= 1568 && $c <= 1641) || ($c >= 1646 && $c <= 1747) || ($c >= 1749 && $c <= 1757) || ($c >= 1759 && $c <= 1768) || ($c >= 1770 && $c <= 1788) || ($c == 1791) || ($c >= 1807 && $c <= 1866) || ($c >= 1869 && $c <= 1969) || ($c >= 1984 && $c <= 2037) || ($c == 2042) || ($c >= 2048 && $c <= 2093) || ($c >= 2112 && $c <= 2139) || ($c >= 2304 && $c <= 2403) || ($c >= 2406 && $c <= 2415) || ($c >= 2417 && $c <= 2423) || ($c >= 2425 && $c <= 2431) || ($c >= 2433 && $c <= 2435) || ($c >= 2437 && $c <= 2444) || ($c >= 2447 && $c <= 2448) || ($c >= 2451 && $c <= 2472) || ($c >= 2474 && $c <= 2480) || ($c == 2482) || ($c >= 2486 && $c <= 2489) || ($c >= 2492 && $c <= 2500) || ($c >= 2503 && $c <= 2504) || ($c >= 2507 && $c <= 2510) || ($c == 2519) || ($c >= 2524 && $c <= 2525) || ($c >= 2527 && $c <= 2531) || ($c >= 2534 && $c <= 2547) || ($c == 2555) || ($c >= 2561 && $c <= 2563) || ($c >= 2565 && $c <= 2570) || ($c >= 2575 && $c <= 2576) || ($c >= 2579 && $c <= 2600) || ($c >= 2602 && $c <= 2608) || ($c >= 2610 && $c <= 2611) || ($c >= 2613 && $c <= 2614) || ($c >= 2616 && $c <= 2617) || ($c == 2620) || ($c >= 2622 && $c <= 2626) || ($c >= 2631 && $c <= 2632) || ($c >= 2635 && $c <= 2637) || ($c == 2641) || ($c >= 2649 && $c <= 2652) || ($c == 2654) || ($c >= 2662 && $c <= 2677) || ($c >= 2689 && $c <= 2691) || ($c >= 2693 && $c <= 2701) || ($c >= 2703 && $c <= 2705) || ($c >= 2707 && $c <= 2728) || ($c >= 2730 && $c <= 2736) || ($c >= 2738 && $c <= 2739) || ($c >= 2741 && $c <= 2745) || ($c >= 2748 && $c <= 2757) || ($c >= 2759 && $c <= 2761) || ($c >= 2763 && $c <= 2765) || ($c == 2768) || ($c >= 2784 && $c <= 2787) || ($c >= 2790 && $c <= 2799) || ($c == 2801) || ($c >= 2817 && $c <= 2819) || ($c >= 2821 && $c <= 2828) || ($c >= 2831 && $c <= 2832) || ($c >= 2835 && $c <= 2856) || ($c >= 2858 && $c <= 2864) || ($c >= 2866 && $c <= 2867) || ($c >= 2869 && $c <= 2873) || ($c >= 2876 && $c <= 2884) || ($c >= 2887 && $c <= 2888) || ($c >= 2891 && $c <= 2893) || ($c >= 2902 && $c <= 2903) || ($c >= 2908 && $c <= 2909) || ($c >= 2911 && $c <= 2915) || ($c >= 2918 && $c <= 2927) || ($c == 2929) || ($c >= 2946 && $c <= 2947) || ($c >= 2949 && $c <= 2954) || ($c >= 2958 && $c <= 2960) || ($c >= 2962 && $c <= 2965) || ($c >= 2969 && $c <= 2970) || ($c == 2972) || ($c >= 2974 && $c <= 2975) || ($c >= 2979 && $c <= 2980) || ($c >= 2984 && $c <= 2986) || ($c >= 2990 && $c <= 3001) || ($c >= 3006 && $c <= 3010) || ($c >= 3014 && $c <= 3016) || ($c >= 3018 && $c <= 3021) || ($c == 3024) || ($c == 3031) || ($c >= 3046 && $c <= 3055) || ($c == 3065) || ($c >= 3073 && $c <= 3075) || ($c >= 3077 && $c <= 3084) || ($c >= 3086 && $c <= 3088) || ($c >= 3090 && $c <= 3112) || ($c >= 3114 && $c <= 3123) || ($c >= 3125 && $c <= 3129) || ($c >= 3133 && $c <= 3140) || ($c >= 3142 && $c <= 3144) || ($c >= 3146 && $c <= 3149) || ($c >= 3157 && $c <= 3158) || ($c >= 3160 && $c <= 3161) || ($c >= 3168 && $c <= 3171) || ($c >= 3174 && $c <= 3183) || ($c >= 3202 && $c <= 3203) || ($c >= 3205 && $c <= 3212) || ($c >= 3214 && $c <= 3216) || ($c >= 3218 && $c <= 3240) || ($c >= 3242 && $c <= 3251) || ($c >= 3253 && $c <= 3257) || ($c >= 3260 && $c <= 3268) || ($c >= 3270 && $c <= 3272) || ($c >= 3274 && $c <= 3277) || ($c >= 3285 && $c <= 3286) || ($c == 3294) || ($c >= 3296 && $c <= 3299) || ($c >= 3302 && $c <= 3311) || ($c >= 3313 && $c <= 3314) || ($c >= 3330 && $c <= 3331) || ($c >= 3333 && $c <= 3340) || ($c >= 3342 && $c <= 3344) || ($c >= 3346 && $c <= 3386) || ($c >= 3389 && $c <= 3396) || ($c >= 3398 && $c <= 3400) || ($c >= 3402 && $c <= 3406) || ($c == 3415) || ($c >= 3424 && $c <= 3427) || ($c >= 3430 && $c <= 3439) || ($c >= 3450 && $c <= 3455) || ($c >= 3458 && $c <= 3459) || ($c >= 3461 && $c <= 3478) || ($c >= 3482 && $c <= 3505) || ($c >= 3507 && $c <= 3515) || ($c == 3517) || ($c >= 3520 && $c <= 3526) || ($c == 3530) || ($c >= 3535 && $c <= 3540) || ($c == 3542) || ($c >= 3544 && $c <= 3551) || ($c >= 3570 && $c <= 3571) || ($c >= 3585 && $c <= 3642) || ($c >= 3647 && $c <= 3662) || ($c >= 3664 && $c <= 3673) || ($c >= 3713 && $c <= 3714) || ($c == 3716) || ($c >= 3719 && $c <= 3720) || ($c == 3722) || ($c == 3725) || ($c >= 3732 && $c <= 3735) || ($c >= 3737 && $c <= 3743) || ($c >= 3745 && $c <= 3747) || ($c == 3749) || ($c == 3751) || ($c >= 3754 && $c <= 3755) || ($c >= 3757 && $c <= 3769) || ($c >= 3771 && $c <= 3773) || ($c >= 3776 && $c <= 3780) || ($c == 3782) || ($c >= 3784 && $c <= 3789) || ($c >= 3792 && $c <= 3801) || ($c >= 3804 && $c <= 3805) || ($c == 3840) || ($c >= 3864 && $c <= 3865) || ($c >= 3872 && $c <= 3881) || ($c == 3893) || ($c == 3895) || ($c == 3897) || ($c >= 3902 && $c <= 3911) || ($c >= 3913 && $c <= 3948) || ($c >= 3953 && $c <= 3972) || ($c >= 3974 && $c <= 3991) || ($c >= 3993 && $c <= 4028) || ($c == 4038) || ($c >= 4096 && $c <= 4169) || ($c >= 4176 && $c <= 4253) || ($c >= 4256 && $c <= 4293) || ($c >= 4304 && $c <= 4346) || ($c == 4348) || ($c >= 4352 && $c <= 4680) || ($c >= 4682 && $c <= 4685) || ($c >= 4688 && $c <= 4694) || ($c == 4696) || ($c >= 4698 && $c <= 4701) || ($c >= 4704 && $c <= 4744) || ($c >= 4746 && $c <= 4749) || ($c >= 4752 && $c <= 4784) || ($c >= 4786 && $c <= 4789) || ($c >= 4792 && $c <= 4798) || ($c == 4800) || ($c >= 4802 && $c <= 4805) || ($c >= 4808 && $c <= 4822) || ($c >= 4824 && $c <= 4880) || ($c >= 4882 && $c <= 4885) || ($c >= 4888 && $c <= 4954) || ($c >= 4957 && $c <= 4959) || ($c >= 4992 && $c <= 5007) || ($c >= 5024 && $c <= 5108) || ($c >= 5121 && $c <= 5740) || ($c >= 5743 && $c <= 5759) || ($c >= 5761 && $c <= 5786) || ($c >= 5792 && $c <= 5866) || ($c >= 5870 && $c <= 5872) || ($c >= 5888 && $c <= 5900) || ($c >= 5902 && $c <= 5908) || ($c >= 5920 && $c <= 5940) || ($c >= 5952 && $c <= 5971) || ($c >= 5984 && $c <= 5996) || ($c >= 5998 && $c <= 6000) || ($c >= 6002 && $c <= 6003) || ($c >= 6016 && $c <= 6099) || ($c == 6103) || ($c >= 6107 && $c <= 6109) || ($c >= 6112 && $c <= 6121) || ($c >= 6155 && $c <= 6157) || ($c >= 6160 && $c <= 6169) || ($c >= 6176 && $c <= 6263) || ($c >= 6272 && $c <= 6314) || ($c >= 6320 && $c <= 6389) || ($c >= 6400 && $c <= 6428) || ($c >= 6432 && $c <= 6443) || ($c >= 6448 && $c <= 6459) || ($c >= 6470 && $c <= 6509) || ($c >= 6512 && $c <= 6516) || ($c >= 6528 && $c <= 6571) || ($c >= 6576 && $c <= 6601) || ($c >= 6608 && $c <= 6617) || ($c >= 6656 && $c <= 6683) || ($c >= 6688 && $c <= 6750) || ($c >= 6752 && $c <= 6780) || ($c >= 6783 && $c <= 6793) || ($c >= 6800 && $c <= 6809) || ($c == 6823) || ($c >= 6912 && $c <= 6987) || ($c >= 6992 && $c <= 7001) || ($c >= 7019 && $c <= 7027) || ($c >= 7040 && $c <= 7082) || ($c >= 7086 && $c <= 7097) || ($c >= 7104 && $c <= 7155) || ($c >= 7168 && $c <= 7223) || ($c >= 7232 && $c <= 7241) || ($c >= 7245 && $c <= 7293) || ($c >= 7376 && $c <= 7378) || ($c >= 7380 && $c <= 7410) || ($c >= 7424 && $c <= 7654) || ($c >= 7676 && $c <= 7957) || ($c >= 7960 && $c <= 7965) || ($c >= 7968 && $c <= 8005) || ($c >= 8008 && $c <= 8013) || ($c >= 8016 && $c <= 8023) || ($c == 8025) || ($c == 8027) || ($c == 8029) || ($c >= 8031 && $c <= 8061) || ($c >= 8064 && $c <= 8116) || ($c >= 8118 && $c <= 8124) || ($c == 8126) || ($c >= 8130 && $c <= 8132) || ($c >= 8134 && $c <= 8140) || ($c >= 8144 && $c <= 8147) || ($c >= 8150 && $c <= 8155) || ($c >= 8160 && $c <= 8172) || ($c >= 8178 && $c <= 8180) || ($c >= 8182 && $c <= 8188) || ($c >= 8203 && $c <= 8207) || ($c >= 8234 && $c <= 8238) || ($c >= 8255 && $c <= 8256) || ($c == 8276) || ($c >= 8288 && $c <= 8292) || ($c >= 8298 && $c <= 8303) || ($c == 8305) || ($c == 8319) || ($c >= 8336 && $c <= 8348) || ($c >= 8352 && $c <= 8377) || ($c >= 8400 && $c <= 8412) || ($c == 8417) || ($c >= 8421 && $c <= 8432) || ($c == 8450) || ($c == 8455) || ($c >= 8458 && $c <= 8467) || ($c == 8469) || ($c >= 8473 && $c <= 8477) || ($c == 8484) || ($c == 8486) || ($c == 8488) || ($c >= 8490 && $c <= 8493) || ($c >= 8495 && $c <= 8505) || ($c >= 8508 && $c <= 8511) || ($c >= 8517 && $c <= 8521) || ($c == 8526) || ($c >= 8544 && $c <= 8584) || ($c >= 11264 && $c <= 11310) || ($c >= 11312 && $c <= 11358) || ($c >= 11360 && $c <= 11492) || ($c >= 11499 && $c <= 11505) || ($c >= 11520 && $c <= 11557) || ($c >= 11568 && $c <= 11621) || ($c == 11631) || ($c >= 11647 && $c <= 11670) || ($c >= 11680 && $c <= 11686) || ($c >= 11688 && $c <= 11694) || ($c >= 11696 && $c <= 11702) || ($c >= 11704 && $c <= 11710) || ($c >= 11712 && $c <= 11718) || ($c >= 11720 && $c <= 11726) || ($c >= 11728 && $c <= 11734) || ($c >= 11736 && $c <= 11742) || ($c >= 11744 && $c <= 11775) || ($c == 11823) || ($c >= 12293 && $c <= 12295) || ($c >= 12321 && $c <= 12335) || ($c >= 12337 && $c <= 12341) || ($c >= 12344 && $c <= 12348) || ($c >= 12353 && $c <= 12438) || ($c >= 12441 && $c <= 12442) || ($c >= 12445 && $c <= 12447) || ($c >= 12449 && $c <= 12538) || ($c >= 12540 && $c <= 12543) || ($c >= 12549 && $c <= 12589) || ($c >= 12593 && $c <= 12686) || ($c >= 12704 && $c <= 12730) || ($c >= 12784 && $c <= 12799) || ($c >= 13312 && $c <= 19893) || ($c >= 19968 && $c <= 40907) || ($c >= 40960 && $c <= 42124) || ($c >= 42192 && $c <= 42237) || ($c >= 42240 && $c <= 42508) || ($c >= 42512 && $c <= 42539) || ($c >= 42560 && $c <= 42607) || ($c >= 42620 && $c <= 42621) || ($c >= 42623 && $c <= 42647) || ($c >= 42656 && $c <= 42737) || ($c >= 42775 && $c <= 42783) || ($c >= 42786 && $c <= 42888) || ($c >= 42891 && $c <= 42894) || ($c >= 42896 && $c <= 42897) || ($c >= 42912 && $c <= 42921) || ($c >= 43002 && $c <= 43047) || ($c == 43064) || ($c >= 43072 && $c <= 43123) || ($c >= 43136 && $c <= 43204) || ($c >= 43216 && $c <= 43225) || ($c >= 43232 && $c <= 43255) || ($c == 43259) || ($c >= 43264 && $c <= 43309) || ($c >= 43312 && $c <= 43347) || ($c >= 43360 && $c <= 43388) || ($c >= 43392 && $c <= 43456) || ($c >= 43471 && $c <= 43481) || ($c >= 43520 && $c <= 43574) || ($c >= 43584 && $c <= 43597) || ($c >= 43600 && $c <= 43609) || ($c >= 43616 && $c <= 43638) || ($c >= 43642 && $c <= 43643) || ($c >= 43648 && $c <= 43714) || ($c >= 43739 && $c <= 43741) || ($c >= 43777 && $c <= 43782) || ($c >= 43785 && $c <= 43790) || ($c >= 43793 && $c <= 43798) || ($c >= 43808 && $c <= 43814) || ($c >= 43816 && $c <= 43822) || ($c >= 43968 && $c <= 44010) || ($c >= 44012 && $c <= 44013) || ($c >= 44016 && $c <= 44025) || ($c >= 44032 && $c <= 55203) || ($c >= 55216 && $c <= 55238) || ($c >= 55243 && $c <= 55291) || ($c >= 63744 && $c <= 64045) || ($c >= 64048 && $c <= 64109) || ($c >= 64112 && $c <= 64217) || ($c >= 64256 && $c <= 64262) || ($c >= 64275 && $c <= 64279) || ($c >= 64285 && $c <= 64296) || ($c >= 64298 && $c <= 64310) || ($c >= 64312 && $c <= 64316) || ($c == 64318) || ($c >= 64320 && $c <= 64321) || ($c >= 64323 && $c <= 64324) || ($c >= 64326 && $c <= 64433) || ($c >= 64467 && $c <= 64829) || ($c >= 64848 && $c <= 64911) || ($c >= 64914 && $c <= 64967) || ($c >= 65008 && $c <= 65020) || ($c >= 65024 && $c <= 65039) || ($c >= 65056 && $c <= 65062) || ($c >= 65075 && $c <= 65076) || ($c >= 65101 && $c <= 65103) || ($c == 65129) || ($c >= 65136 && $c <= 65140) || ($c >= 65142 && $c <= 65276) || ($c == 65279) || ($c == 65284) || ($c >= 65296 && $c <= 65305) || ($c >= 65313 && $c <= 65338) || ($c == 65343) || ($c >= 65345 && $c <= 65370) || ($c >= 65382 && $c <= 65470) || ($c >= 65474 && $c <= 65479) || ($c >= 65482 && $c <= 65487) || ($c >= 65490 && $c <= 65495) || ($c >= 65498 && $c <= 65500) || ($c >= 65504 && $c <= 65505) || ($c >= 65509 && $c <= 65510) || ($c >= 65529 && $c <= 65531)) {
1951+ $buffer.append((char)$c);
18771952 STATE = 15;
18781953 return 1;
18791954 } else if($c < 0) {
1880- STATE = 17;
1955+
1956+ STATE = 16;
18811957 return 1;
18821958 } else if($c >= 0) {
18831959 UNGET($c);
1960+ STATE = 16;
1961+ return 1;
1962+ }
1963+ case 16:
1964+ if(($c == '(')) {
18841965 STATE = 17;
18851966 return 1;
1886- }
1887- case 17:
1888- if($c >= 0) {
1889- __stkpush(18, ENGINE_arglist);
1890- STATE = 0;
1891- return NINA_ACCEPT;
1892- }
1893- return 0;
1894- case 18:
1895- if(($c == ';')) {
1967+ } else if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
18961968 STATE = 16;
18971969 return 1;
18981970 }
18991971 return 0;
1900- case 16:
1901- STATE = 1;
1972+ case 17:
1973+ if(($c == ')')) {
1974+ STATE = 18;
19021975 return 1;
1903- case 2:
1904- if((__l__ && $c == 'u')) {
1905- LOOKAHEAD($c);
1976+ } else if($c < 0) {
19061977 STATE = 19;
19071978 return 1;
1979+ } else if($c >= 0) {
1980+ UNGET($c);
1981+ STATE = 19;
1982+ return 1;
19081983 }
1909- return 0;
19101984 case 19:
1911- if((__l__ && $c == 'l')) {
1912- LOOKAHEAD($c);
1913- STATE = 20;
1914- return 1;
1985+ if($c >= 0) {
1986+ __stkpush(20, ENGINE_termlist);
1987+ STATE = 0;
1988+ return NINA_ACCEPT;
19151989 }
19161990 return 0;
19171991 case 20:
1918- if((__l__ && $c == 'e')) {
1919- LOOKAHEAD($c);
1920- STATE = 21;
1992+ if(($c == ')')) {
1993+ STATE = 18;
19211994 return 1;
19221995 }
19231996 return 0;
1924- case 21:
1925- if(($c >= 0 && $c <= '@') || ($c >= '[' && $c <= '`') || ($c >= '{' && $c <= 169) || ($c >= 171 && $c <= 180) || ($c >= 182 && $c <= 185) || ($c >= 187 && $c <= 191) || ($c == 215) || ($c == 247) || ($c >= 706 && $c <= 709) || ($c >= 722 && $c <= 735) || ($c >= 741 && $c <= 747) || ($c == 749) || ($c >= 751 && $c <= 879) || ($c == 885) || ($c >= 888 && $c <= 889) || ($c >= 894 && $c <= 901) || ($c == 903) || ($c == 907) || ($c == 909) || ($c == 930) || ($c == 1014) || ($c >= 1154 && $c <= 1161) || ($c >= 1320 && $c <= 1328) || ($c >= 1367 && $c <= 1368) || ($c >= 1370 && $c <= 1376) || ($c >= 1416 && $c <= 1487) || ($c >= 1515 && $c <= 1519) || ($c >= 1523 && $c <= 1567) || ($c >= 1611 && $c <= 1645) || ($c == 1648) || ($c == 1748) || ($c >= 1750 && $c <= 1764) || ($c >= 1767 && $c <= 1773) || ($c >= 1776 && $c <= 1785) || ($c >= 1789 && $c <= 1790) || ($c >= 1792 && $c <= 1807) || ($c == 1809) || ($c >= 1840 && $c <= 1868) || ($c >= 1958 && $c <= 1968) || ($c >= 1970 && $c <= 1993) || ($c >= 2027 && $c <= 2035) || ($c >= 2038 && $c <= 2041) || ($c >= 2043 && $c <= 2047) || ($c >= 2070 && $c <= 2073) || ($c >= 2075 && $c <= 2083) || ($c >= 2085 && $c <= 2087) || ($c >= 2089 && $c <= 2111) || ($c >= 2137 && $c <= 2307) || ($c >= 2362 && $c <= 2364) || ($c >= 2366 && $c <= 2383) || ($c >= 2385 && $c <= 2391) || ($c >= 2402 && $c <= 2416) || ($c == 2424) || ($c >= 2432 && $c <= 2436) || ($c >= 2445 && $c <= 2446) || ($c >= 2449 && $c <= 2450) || ($c == 2473) || ($c == 2481) || ($c >= 2483 && $c <= 2485) || ($c >= 2490 && $c <= 2492) || ($c >= 2494 && $c <= 2509) || ($c >= 2511 && $c <= 2523) || ($c == 2526) || ($c >= 2530 && $c <= 2543) || ($c >= 2546 && $c <= 2564) || ($c >= 2571 && $c <= 2574) || ($c >= 2577 && $c <= 2578) || ($c == 2601) || ($c == 2609) || ($c == 2612) || ($c == 2615) || ($c >= 2618 && $c <= 2648) || ($c == 2653) || ($c >= 2655 && $c <= 2673) || ($c >= 2677 && $c <= 2692) || ($c == 2702) || ($c == 2706) || ($c == 2729) || ($c == 2737) || ($c == 2740) || ($c >= 2746 && $c <= 2748) || ($c >= 2750 && $c <= 2767) || ($c >= 2769 && $c <= 2783) || ($c >= 2786 && $c <= 2820) || ($c >= 2829 && $c <= 2830) || ($c >= 2833 && $c <= 2834) || ($c == 2857) || ($c == 2865) || ($c == 2868) || ($c >= 2874 && $c <= 2876) || ($c >= 2878 && $c <= 2907) || ($c == 2910) || ($c >= 2914 && $c <= 2928) || ($c >= 2930 && $c <= 2946) || ($c == 2948) || ($c >= 2955 && $c <= 2957) || ($c == 2961) || ($c >= 2966 && $c <= 2968) || ($c == 2971) || ($c == 2973) || ($c >= 2976 && $c <= 2978) || ($c >= 2981 && $c <= 2983) || ($c >= 2987 && $c <= 2989) || ($c >= 3002 && $c <= 3023) || ($c >= 3025 && $c <= 3076) || ($c == 3085) || ($c == 3089) || ($c == 3113) || ($c == 3124) || ($c >= 3130 && $c <= 3132) || ($c >= 3134 && $c <= 3159) || ($c >= 3162 && $c <= 3167) || ($c >= 3170 && $c <= 3204) || ($c == 3213) || ($c == 3217) || ($c == 3241) || ($c == 3252) || ($c >= 3258 && $c <= 3260) || ($c >= 3262 && $c <= 3293) || ($c == 3295) || ($c >= 3298 && $c <= 3312) || ($c >= 3315 && $c <= 3332) || ($c == 3341) || ($c == 3345) || ($c >= 3387 && $c <= 3388) || ($c >= 3390 && $c <= 3405) || ($c >= 3407 && $c <= 3423) || ($c >= 3426 && $c <= 3449) || ($c >= 3456 && $c <= 3460) || ($c >= 3479 && $c <= 3481) || ($c == 3506) || ($c == 3516) || ($c >= 3518 && $c <= 3519) || ($c >= 3527 && $c <= 3584) || ($c == 3633) || ($c >= 3636 && $c <= 3647) || ($c >= 3655 && $c <= 3712) || ($c == 3715) || ($c >= 3717 && $c <= 3718) || ($c == 3721) || ($c >= 3723 && $c <= 3724) || ($c >= 3726 && $c <= 3731) || ($c == 3736) || ($c == 3744) || ($c == 3748) || ($c == 3750) || ($c >= 3752 && $c <= 3753) || ($c == 3756) || ($c == 3761) || ($c >= 3764 && $c <= 3772) || ($c >= 3774 && $c <= 3775) || ($c == 3781) || ($c >= 3783 && $c <= 3803) || ($c >= 3806 && $c <= 3839) || ($c >= 3841 && $c <= 3903) || ($c == 3912) || ($c >= 3949 && $c <= 3975) || ($c >= 3981 && $c <= 4095) || ($c >= 4139 && $c <= 4158) || ($c >= 4160 && $c <= 4175) || ($c >= 4182 && $c <= 4185) || ($c >= 4190 && $c <= 4192) || ($c >= 4194 && $c <= 4196) || ($c >= 4199 && $c <= 4205) || ($c >= 4209 && $c <= 4212) || ($c >= 4226 && $c <= 4237) || ($c >= 4239 && $c <= 4255) || ($c >= 4294 && $c <= 4303) || ($c == 4347) || ($c >= 4349 && $c <= 4351) || ($c == 4681) || ($c >= 4686 && $c <= 4687) || ($c == 4695) || ($c == 4697) || ($c >= 4702 && $c <= 4703) || ($c == 4745) || ($c >= 4750 && $c <= 4751) || ($c == 4785) || ($c >= 4790 && $c <= 4791) || ($c == 4799) || ($c == 4801) || ($c >= 4806 && $c <= 4807) || ($c == 4823) || ($c == 4881) || ($c >= 4886 && $c <= 4887) || ($c >= 4955 && $c <= 4991) || ($c >= 5008 && $c <= 5023) || ($c >= 5109 && $c <= 5120) || ($c >= 5741 && $c <= 5742) || ($c == 5760) || ($c >= 5787 && $c <= 5791) || ($c >= 5867 && $c <= 5887) || ($c == 5901) || ($c >= 5906 && $c <= 5919) || ($c >= 5938 && $c <= 5951) || ($c >= 5970 && $c <= 5983) || ($c == 5997) || ($c >= 6001 && $c <= 6015) || ($c >= 6068 && $c <= 6102) || ($c >= 6104 && $c <= 6107) || ($c >= 6109 && $c <= 6175) || ($c >= 6264 && $c <= 6271) || ($c == 6313) || ($c >= 6315 && $c <= 6319) || ($c >= 6390 && $c <= 6399) || ($c >= 6429 && $c <= 6479) || ($c >= 6510 && $c <= 6511) || ($c >= 6517 && $c <= 6527) || ($c >= 6572 && $c <= 6592) || ($c >= 6600 && $c <= 6655) || ($c >= 6679 && $c <= 6687) || ($c >= 6741 && $c <= 6822) || ($c >= 6824 && $c <= 6916) || ($c >= 6964 && $c <= 6980) || ($c >= 6988 && $c <= 7042) || ($c >= 7073 && $c <= 7085) || ($c >= 7088 && $c <= 7103) || ($c >= 7142 && $c <= 7167) || ($c >= 7204 && $c <= 7244) || ($c >= 7248 && $c <= 7257) || ($c >= 7294 && $c <= 7400) || ($c == 7405) || ($c >= 7410 && $c <= 7423) || ($c >= 7616 && $c <= 7679) || ($c >= 7958 && $c <= 7959) || ($c >= 7966 && $c <= 7967) || ($c >= 8006 && $c <= 8007) || ($c >= 8014 && $c <= 8015) || ($c == 8024) || ($c == 8026) || ($c == 8028) || ($c == 8030) || ($c >= 8062 && $c <= 8063) || ($c == 8117) || ($c == 8125) || ($c >= 8127 && $c <= 8129) || ($c == 8133) || ($c >= 8141 && $c <= 8143) || ($c >= 8148 && $c <= 8149) || ($c >= 8156 && $c <= 8159) || ($c >= 8173 && $c <= 8177) || ($c == 8181) || ($c >= 8189 && $c <= 8304) || ($c >= 8306 && $c <= 8318) || ($c >= 8320 && $c <= 8335) || ($c >= 8349 && $c <= 8449) || ($c >= 8451 && $c <= 8454) || ($c >= 8456 && $c <= 8457) || ($c == 8468) || ($c >= 8470 && $c <= 8472) || ($c >= 8478 && $c <= 8483) || ($c == 8485) || ($c == 8487) || ($c == 8489) || ($c == 8494) || ($c >= 8506 && $c <= 8507) || ($c >= 8512 && $c <= 8516) || ($c >= 8522 && $c <= 8525) || ($c >= 8527 && $c <= 8578) || ($c >= 8581 && $c <= 11263) || ($c == 11311) || ($c == 11359) || ($c >= 11493 && $c <= 11498) || ($c >= 11503 && $c <= 11519) || ($c >= 11558 && $c <= 11567) || ($c >= 11622 && $c <= 11630) || ($c >= 11632 && $c <= 11647) || ($c >= 11671 && $c <= 11679) || ($c == 11687) || ($c == 11695) || ($c == 11703) || ($c == 11711) || ($c == 11719) || ($c == 11727) || ($c == 11735) || ($c >= 11743 && $c <= 11822) || ($c >= 11824 && $c <= 12292) || ($c >= 12295 && $c <= 12336) || ($c >= 12342 && $c <= 12346) || ($c >= 12349 && $c <= 12352) || ($c >= 12439 && $c <= 12444) || ($c == 12448) || ($c == 12539) || ($c >= 12544 && $c <= 12548) || ($c >= 12590 && $c <= 12592) || ($c >= 12687 && $c <= 12703) || ($c >= 12731 && $c <= 12783) || ($c >= 12800 && $c <= 13311) || ($c >= 19894 && $c <= 19967) || ($c >= 40908 && $c <= 40959) || ($c >= 42125 && $c <= 42191) || ($c >= 42238 && $c <= 42239) || ($c >= 42509 && $c <= 42511) || ($c >= 42528 && $c <= 42537) || ($c >= 42540 && $c <= 42559) || ($c >= 42607 && $c <= 42622) || ($c >= 42648 && $c <= 42655) || ($c >= 42726 && $c <= 42774) || ($c >= 42784 && $c <= 42785) || ($c >= 42889 && $c <= 42890) || ($c == 42895) || ($c >= 42898 && $c <= 42911) || ($c >= 42922 && $c <= 43001) || ($c == 43010) || ($c == 43014) || ($c == 43019) || ($c >= 43043 && $c <= 43071) || ($c >= 43124 && $c <= 43137) || ($c >= 43188 && $c <= 43249) || ($c >= 43256 && $c <= 43258) || ($c >= 43260 && $c <= 43273) || ($c >= 43302 && $c <= 43311) || ($c >= 43335 && $c <= 43359) || ($c >= 43389 && $c <= 43395) || ($c >= 43443 && $c <= 43470) || ($c >= 43472 && $c <= 43519) || ($c >= 43561 && $c <= 43583) || ($c == 43587) || ($c >= 43596 && $c <= 43615) || ($c >= 43639 && $c <= 43641) || ($c >= 43643 && $c <= 43647) || ($c == 43696) || ($c >= 43698 && $c <= 43700) || ($c >= 43703 && $c <= 43704) || ($c >= 43710 && $c <= 43711) || ($c == 43713) || ($c >= 43715 && $c <= 43738) || ($c >= 43742 && $c <= 43776) || ($c >= 43783 && $c <= 43784) || ($c >= 43791 && $c <= 43792) || ($c >= 43799 && $c <= 43807) || ($c == 43815) || ($c >= 43823 && $c <= 43967) || ($c >= 44003 && $c <= 44031) || ($c >= 55204 && $c <= 55215) || ($c >= 55239 && $c <= 55242) || ($c >= 55292 && $c <= 63743) || ($c >= 64046 && $c <= 64047) || ($c >= 64110 && $c <= 64111) || ($c >= 64218 && $c <= 64255) || ($c >= 64263 && $c <= 64274) || ($c >= 64280 && $c <= 64284) || ($c == 64286) || ($c == 64297) || ($c == 64311) || ($c == 64317) || ($c == 64319) || ($c == 64322) || ($c == 64325) || ($c >= 64434 && $c <= 64466) || ($c >= 64830 && $c <= 64847) || ($c >= 64912 && $c <= 64913) || ($c >= 64968 && $c <= 65007) || ($c >= 65020 && $c <= 65135) || ($c == 65141) || ($c >= 65277 && $c <= 65312) || ($c >= 65339 && $c <= 65344) || ($c >= 65371 && $c <= 65381) || ($c >= 65471 && $c <= 65473) || ($c >= 65480 && $c <= 65481) || ($c >= 65488 && $c <= 65489) || ($c >= 65496 && $c <= 65497) || ($c >= 65501 && $c <= 2147483647)) {
1926- LOOKAHEAD_COMMIT();UNGET($c);
1997+ case 18:
1998+ if(($c == ';')) {
1999+ STATE = 21;
2000+ return 1;
2001+ } else if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
2002+ STATE = 18;
2003+ return 1;
2004+ } else if(($c == ':')) {
19272005 STATE = 22;
19282006 return 1;
19292007 }
19302008 return 0;
19312009 case 22:
1932- if(($c == '$') || ($c >= 'A' && $c <= 'Z') || ($c == '_') || ($c >= 'a' && $c <= 'z') || ($c >= 162 && $c <= 165) || ($c == 170) || ($c == 181) || ($c == 186) || ($c >= 192 && $c <= 214) || ($c >= 216 && $c <= 246) || ($c >= 248 && $c <= 705) || ($c >= 710 && $c <= 721) || ($c >= 736 && $c <= 740) || ($c == 748) || ($c == 750) || ($c >= 880 && $c <= 884) || ($c >= 886 && $c <= 887) || ($c >= 890 && $c <= 893) || ($c == 902) || ($c >= 904 && $c <= 906) || ($c == 908) || ($c >= 910 && $c <= 929) || ($c >= 931 && $c <= 1013) || ($c >= 1015 && $c <= 1153) || ($c >= 1162 && $c <= 1319) || ($c >= 1329 && $c <= 1366) || ($c == 1369) || ($c >= 1377 && $c <= 1415) || ($c >= 1488 && $c <= 1514) || ($c >= 1520 && $c <= 1522) || ($c == 1547) || ($c >= 1568 && $c <= 1610) || ($c >= 1646 && $c <= 1647) || ($c >= 1649 && $c <= 1747) || ($c == 1749) || ($c >= 1765 && $c <= 1766) || ($c >= 1774 && $c <= 1775) || ($c >= 1786 && $c <= 1788) || ($c == 1791) || ($c == 1808) || ($c >= 1810 && $c <= 1839) || ($c >= 1869 && $c <= 1957) || ($c == 1969) || ($c >= 1994 && $c <= 2026) || ($c >= 2036 && $c <= 2037) || ($c == 2042) || ($c >= 2048 && $c <= 2069) || ($c == 2074) || ($c == 2084) || ($c == 2088) || ($c >= 2112 && $c <= 2136) || ($c >= 2308 && $c <= 2361) || ($c == 2365) || ($c == 2384) || ($c >= 2392 && $c <= 2401) || ($c >= 2417 && $c <= 2423) || ($c >= 2425 && $c <= 2431) || ($c >= 2437 && $c <= 2444) || ($c >= 2447 && $c <= 2448) || ($c >= 2451 && $c <= 2472) || ($c >= 2474 && $c <= 2480) || ($c == 2482) || ($c >= 2486 && $c <= 2489) || ($c == 2493) || ($c == 2510) || ($c >= 2524 && $c <= 2525) || ($c >= 2527 && $c <= 2529) || ($c >= 2544 && $c <= 2547) || ($c == 2555) || ($c >= 2565 && $c <= 2570) || ($c >= 2575 && $c <= 2576) || ($c >= 2579 && $c <= 2600) || ($c >= 2602 && $c <= 2608) || ($c >= 2610 && $c <= 2611) || ($c >= 2613 && $c <= 2614) || ($c >= 2616 && $c <= 2617) || ($c >= 2649 && $c <= 2652) || ($c == 2654) || ($c >= 2674 && $c <= 2676) || ($c >= 2693 && $c <= 2701) || ($c >= 2703 && $c <= 2705) || ($c >= 2707 && $c <= 2728) || ($c >= 2730 && $c <= 2736) || ($c >= 2738 && $c <= 2739) || ($c >= 2741 && $c <= 2745) || ($c == 2749) || ($c == 2768) || ($c >= 2784 && $c <= 2785) || ($c == 2801) || ($c >= 2821 && $c <= 2828) || ($c >= 2831 && $c <= 2832) || ($c >= 2835 && $c <= 2856) || ($c >= 2858 && $c <= 2864) || ($c >= 2866 && $c <= 2867) || ($c >= 2869 && $c <= 2873) || ($c == 2877) || ($c >= 2908 && $c <= 2909) || ($c >= 2911 && $c <= 2913) || ($c == 2929) || ($c == 2947) || ($c >= 2949 && $c <= 2954) || ($c >= 2958 && $c <= 2960) || ($c >= 2962 && $c <= 2965) || ($c >= 2969 && $c <= 2970) || ($c == 2972) || ($c >= 2974 && $c <= 2975) || ($c >= 2979 && $c <= 2980) || ($c >= 2984 && $c <= 2986) || ($c >= 2990 && $c <= 3001) || ($c == 3024) || ($c == 3065) || ($c >= 3077 && $c <= 3084) || ($c >= 3086 && $c <= 3088) || ($c >= 3090 && $c <= 3112) || ($c >= 3114 && $c <= 3123) || ($c >= 3125 && $c <= 3129) || ($c == 3133) || ($c >= 3160 && $c <= 3161) || ($c >= 3168 && $c <= 3169) || ($c >= 3205 && $c <= 3212) || ($c >= 3214 && $c <= 3216) || ($c >= 3218 && $c <= 3240) || ($c >= 3242 && $c <= 3251) || ($c >= 3253 && $c <= 3257) || ($c == 3261) || ($c == 3294) || ($c >= 3296 && $c <= 3297) || ($c >= 3313 && $c <= 3314) || ($c >= 3333 && $c <= 3340) || ($c >= 3342 && $c <= 3344) || ($c >= 3346 && $c <= 3386) || ($c == 3389) || ($c == 3406) || ($c >= 3424 && $c <= 3425) || ($c >= 3450 && $c <= 3455) || ($c >= 3461 && $c <= 3478) || ($c >= 3482 && $c <= 3505) || ($c >= 3507 && $c <= 3515) || ($c == 3517) || ($c >= 3520 && $c <= 3526) || ($c >= 3585 && $c <= 3632) || ($c >= 3634 && $c <= 3635) || ($c >= 3647 && $c <= 3654) || ($c >= 3713 && $c <= 3714) || ($c == 3716) || ($c >= 3719 && $c <= 3720) || ($c == 3722) || ($c == 3725) || ($c >= 3732 && $c <= 3735) || ($c >= 3737 && $c <= 3743) || ($c >= 3745 && $c <= 3747) || ($c == 3749) || ($c == 3751) || ($c >= 3754 && $c <= 3755) || ($c >= 3757 && $c <= 3760) || ($c >= 3762 && $c <= 3763) || ($c == 3773) || ($c >= 3776 && $c <= 3780) || ($c == 3782) || ($c >= 3804 && $c <= 3805) || ($c == 3840) || ($c >= 3904 && $c <= 3911) || ($c >= 3913 && $c <= 3948) || ($c >= 3976 && $c <= 3980) || ($c >= 4096 && $c <= 4138) || ($c == 4159) || ($c >= 4176 && $c <= 4181) || ($c >= 4186 && $c <= 4189) || ($c == 4193) || ($c >= 4197 && $c <= 4198) || ($c >= 4206 && $c <= 4208) || ($c >= 4213 && $c <= 4225) || ($c == 4238) || ($c >= 4256 && $c <= 4293) || ($c >= 4304 && $c <= 4346) || ($c == 4348) || ($c >= 4352 && $c <= 4680) || ($c >= 4682 && $c <= 4685) || ($c >= 4688 && $c <= 4694) || ($c == 4696) || ($c >= 4698 && $c <= 4701) || ($c >= 4704 && $c <= 4744) || ($c >= 4746 && $c <= 4749) || ($c >= 4752 && $c <= 4784) || ($c >= 4786 && $c <= 4789) || ($c >= 4792 && $c <= 4798) || ($c == 4800) || ($c >= 4802 && $c <= 4805) || ($c >= 4808 && $c <= 4822) || ($c >= 4824 && $c <= 4880) || ($c >= 4882 && $c <= 4885) || ($c >= 4888 && $c <= 4954) || ($c >= 4992 && $c <= 5007) || ($c >= 5024 && $c <= 5108) || ($c >= 5121 && $c <= 5740) || ($c >= 5743 && $c <= 5759) || ($c >= 5761 && $c <= 5786) || ($c >= 5792 && $c <= 5866) || ($c >= 5870 && $c <= 5872) || ($c >= 5888 && $c <= 5900) || ($c >= 5902 && $c <= 5905) || ($c >= 5920 && $c <= 5937) || ($c >= 5952 && $c <= 5969) || ($c >= 5984 && $c <= 5996) || ($c >= 5998 && $c <= 6000) || ($c >= 6016 && $c <= 6067) || ($c == 6103) || ($c >= 6107 && $c <= 6108) || ($c >= 6176 && $c <= 6263) || ($c >= 6272 && $c <= 6312) || ($c == 6314) || ($c >= 6320 && $c <= 6389) || ($c >= 6400 && $c <= 6428) || ($c >= 6480 && $c <= 6509) || ($c >= 6512 && $c <= 6516) || ($c >= 6528 && $c <= 6571) || ($c >= 6593 && $c <= 6599) || ($c >= 6656 && $c <= 6678) || ($c >= 6688 && $c <= 6740) || ($c == 6823) || ($c >= 6917 && $c <= 6963) || ($c >= 6981 && $c <= 6987) || ($c >= 7043 && $c <= 7072) || ($c >= 7086 && $c <= 7087) || ($c >= 7104 && $c <= 7141) || ($c >= 7168 && $c <= 7203) || ($c >= 7245 && $c <= 7247) || ($c >= 7258 && $c <= 7293) || ($c >= 7401 && $c <= 7404) || ($c >= 7406 && $c <= 7409) || ($c >= 7424 && $c <= 7615) || ($c >= 7680 && $c <= 7957) || ($c >= 7960 && $c <= 7965) || ($c >= 7968 && $c <= 8005) || ($c >= 8008 && $c <= 8013) || ($c >= 8016 && $c <= 8023) || ($c == 8025) || ($c == 8027) || ($c == 8029) || ($c >= 8031 && $c <= 8061) || ($c >= 8064 && $c <= 8116) || ($c >= 8118 && $c <= 8124) || ($c == 8126) || ($c >= 8130 && $c <= 8132) || ($c >= 8134 && $c <= 8140) || ($c >= 8144 && $c <= 8147) || ($c >= 8150 && $c <= 8155) || ($c >= 8160 && $c <= 8172) || ($c >= 8178 && $c <= 8180) || ($c >= 8182 && $c <= 8188) || ($c >= 8255 && $c <= 8256) || ($c == 8276) || ($c == 8305) || ($c == 8319) || ($c >= 8336 && $c <= 8348) || ($c >= 8352 && $c <= 8377) || ($c == 8450) || ($c == 8455) || ($c >= 8458 && $c <= 8467) || ($c == 8469) || ($c >= 8473 && $c <= 8477) || ($c == 8484) || ($c == 8486) || ($c == 8488) || ($c >= 8490 && $c <= 8493) || ($c >= 8495 && $c <= 8505) || ($c >= 8508 && $c <= 8511) || ($c >= 8517 && $c <= 8521) || ($c == 8526) || ($c >= 8544 && $c <= 8584) || ($c >= 11264 && $c <= 11310) || ($c >= 11312 && $c <= 11358) || ($c >= 11360 && $c <= 11492) || ($c >= 11499 && $c <= 11502) || ($c >= 11520 && $c <= 11557) || ($c >= 11568 && $c <= 11621) || ($c == 11631) || ($c >= 11648 && $c <= 11670) || ($c >= 11680 && $c <= 11686) || ($c >= 11688 && $c <= 11694) || ($c >= 11696 && $c <= 11702) || ($c >= 11704 && $c <= 11710) || ($c >= 11712 && $c <= 11718) || ($c >= 11720 && $c <= 11726) || ($c >= 11728 && $c <= 11734) || ($c >= 11736 && $c <= 11742) || ($c == 11823) || ($c >= 12293 && $c <= 12295) || ($c >= 12321 && $c <= 12329) || ($c >= 12337 && $c <= 12341) || ($c >= 12344 && $c <= 12348) || ($c >= 12353 && $c <= 12438) || ($c >= 12445 && $c <= 12447) || ($c >= 12449 && $c <= 12538) || ($c >= 12540 && $c <= 12543) || ($c >= 12549 && $c <= 12589) || ($c >= 12593 && $c <= 12686) || ($c >= 12704 && $c <= 12730) || ($c >= 12784 && $c <= 12799) || ($c >= 13312 && $c <= 19893) || ($c >= 19968 && $c <= 40907) || ($c >= 40960 && $c <= 42124) || ($c >= 42192 && $c <= 42237) || ($c >= 42240 && $c <= 42508) || ($c >= 42512 && $c <= 42527) || ($c >= 42538 && $c <= 42539) || ($c >= 42560 && $c <= 42606) || ($c >= 42623 && $c <= 42647) || ($c >= 42656 && $c <= 42735) || ($c >= 42775 && $c <= 42783) || ($c >= 42786 && $c <= 42888) || ($c >= 42891 && $c <= 42894) || ($c >= 42896 && $c <= 42897) || ($c >= 42912 && $c <= 42921) || ($c >= 43002 && $c <= 43009) || ($c >= 43011 && $c <= 43013) || ($c >= 43015 && $c <= 43018) || ($c >= 43020 && $c <= 43042) || ($c == 43064) || ($c >= 43072 && $c <= 43123) || ($c >= 43138 && $c <= 43187) || ($c >= 43250 && $c <= 43255) || ($c == 43259) || ($c >= 43274 && $c <= 43301) || ($c >= 43312 && $c <= 43334) || ($c >= 43360 && $c <= 43388) || ($c >= 43396 && $c <= 43442) || ($c == 43471) || ($c >= 43520 && $c <= 43560) || ($c >= 43584 && $c <= 43586) || ($c >= 43588 && $c <= 43595) || ($c >= 43616 && $c <= 43638) || ($c == 43642) || ($c >= 43648 && $c <= 43695) || ($c == 43697) || ($c >= 43701 && $c <= 43702) || ($c >= 43705 && $c <= 43709) || ($c == 43712) || ($c == 43714) || ($c >= 43739 && $c <= 43741) || ($c >= 43777 && $c <= 43782) || ($c >= 43785 && $c <= 43790) || ($c >= 43793 && $c <= 43798) || ($c >= 43808 && $c <= 43814) || ($c >= 43816 && $c <= 43822) || ($c >= 43968 && $c <= 44002) || ($c >= 44032 && $c <= 55203) || ($c >= 55216 && $c <= 55238) || ($c >= 55243 && $c <= 55291) || ($c >= 63744 && $c <= 64045) || ($c >= 64048 && $c <= 64109) || ($c >= 64112 && $c <= 64217) || ($c >= 64256 && $c <= 64262) || ($c >= 64275 && $c <= 64279) || ($c == 64285) || ($c >= 64287 && $c <= 64296) || ($c >= 64298 && $c <= 64310) || ($c >= 64312 && $c <= 64316) || ($c == 64318) || ($c >= 64320 && $c <= 64321) || ($c >= 64323 && $c <= 64324) || ($c >= 64326 && $c <= 64433) || ($c >= 64467 && $c <= 64829) || ($c >= 64848 && $c <= 64911) || ($c >= 64914 && $c <= 64967) || ($c >= 65008 && $c <= 65020) || ($c >= 65075 && $c <= 65076) || ($c >= 65101 && $c <= 65103) || ($c == 65129) || ($c >= 65136 && $c <= 65140) || ($c >= 65142 && $c <= 65276) || ($c == 65284) || ($c >= 65313 && $c <= 65338) || ($c == 65343) || ($c >= 65345 && $c <= 65370) || ($c >= 65382 && $c <= 65470) || ($c >= 65474 && $c <= 65479) || ($c >= 65482 && $c <= 65487) || ($c >= 65490 && $c <= 65495) || ($c >= 65498 && $c <= 65500) || ($c >= 65504 && $c <= 65505) || ($c >= 65509 && $c <= 65510)) {
1933- $buffer = new StringBuffer();$buffer.append((char)$c);
1934- STATE = 23;
1935- return 1;
1936- } else if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
1937- STATE = 22;
1938- return 1;
2010+ if($c >= 0) {
2011+ __stkpush(23, ENGINE_exprlist);
2012+ STATE = 0;
2013+ return NINA_ACCEPT;
19392014 }
19402015 return 0;
19412016 case 23:
1942- if(($c >= 0 && $c <= 8) || ($c >= 14 && $c <= 27) || ($c == '$') || ($c >= '0' && $c <= '9') || ($c >= 'A' && $c <= 'Z') || ($c == '_') || ($c >= 'a' && $c <= 'z') || ($c >= 127 && $c <= 159) || ($c >= 162 && $c <= 165) || ($c == 170) || ($c == 173) || ($c == 181) || ($c == 186) || ($c >= 192 && $c <= 214) || ($c >= 216 && $c <= 246) || ($c >= 248 && $c <= 705) || ($c >= 710 && $c <= 721) || ($c >= 736 && $c <= 740) || ($c == 748) || ($c == 750) || ($c >= 768 && $c <= 884) || ($c >= 886 && $c <= 887) || ($c >= 890 && $c <= 893) || ($c == 902) || ($c >= 904 && $c <= 906) || ($c == 908) || ($c >= 910 && $c <= 929) || ($c >= 931 && $c <= 1013) || ($c >= 1015 && $c <= 1153) || ($c >= 1155 && $c <= 1159) || ($c >= 1162 && $c <= 1319) || ($c >= 1329 && $c <= 1366) || ($c == 1369) || ($c >= 1377 && $c <= 1415) || ($c >= 1425 && $c <= 1469) || ($c == 1471) || ($c >= 1473 && $c <= 1474) || ($c >= 1476 && $c <= 1477) || ($c == 1479) || ($c >= 1488 && $c <= 1514) || ($c >= 1520 && $c <= 1522) || ($c >= 1536 && $c <= 1539) || ($c == 1547) || ($c >= 1552 && $c <= 1562) || ($c >= 1568 && $c <= 1641) || ($c >= 1646 && $c <= 1747) || ($c >= 1749 && $c <= 1757) || ($c >= 1759 && $c <= 1768) || ($c >= 1770 && $c <= 1788) || ($c == 1791) || ($c >= 1807 && $c <= 1866) || ($c >= 1869 && $c <= 1969) || ($c >= 1984 && $c <= 2037) || ($c == 2042) || ($c >= 2048 && $c <= 2093) || ($c >= 2112 && $c <= 2139) || ($c >= 2304 && $c <= 2403) || ($c >= 2406 && $c <= 2415) || ($c >= 2417 && $c <= 2423) || ($c >= 2425 && $c <= 2431) || ($c >= 2433 && $c <= 2435) || ($c >= 2437 && $c <= 2444) || ($c >= 2447 && $c <= 2448) || ($c >= 2451 && $c <= 2472) || ($c >= 2474 && $c <= 2480) || ($c == 2482) || ($c >= 2486 && $c <= 2489) || ($c >= 2492 && $c <= 2500) || ($c >= 2503 && $c <= 2504) || ($c >= 2507 && $c <= 2510) || ($c == 2519) || ($c >= 2524 && $c <= 2525) || ($c >= 2527 && $c <= 2531) || ($c >= 2534 && $c <= 2547) || ($c == 2555) || ($c >= 2561 && $c <= 2563) || ($c >= 2565 && $c <= 2570) || ($c >= 2575 && $c <= 2576) || ($c >= 2579 && $c <= 2600) || ($c >= 2602 && $c <= 2608) || ($c >= 2610 && $c <= 2611) || ($c >= 2613 && $c <= 2614) || ($c >= 2616 && $c <= 2617) || ($c == 2620) || ($c >= 2622 && $c <= 2626) || ($c >= 2631 && $c <= 2632) || ($c >= 2635 && $c <= 2637) || ($c == 2641) || ($c >= 2649 && $c <= 2652) || ($c == 2654) || ($c >= 2662 && $c <= 2677) || ($c >= 2689 && $c <= 2691) || ($c >= 2693 && $c <= 2701) || ($c >= 2703 && $c <= 2705) || ($c >= 2707 && $c <= 2728) || ($c >= 2730 && $c <= 2736) || ($c >= 2738 && $c <= 2739) || ($c >= 2741 && $c <= 2745) || ($c >= 2748 && $c <= 2757) || ($c >= 2759 && $c <= 2761) || ($c >= 2763 && $c <= 2765) || ($c == 2768) || ($c >= 2784 && $c <= 2787) || ($c >= 2790 && $c <= 2799) || ($c == 2801) || ($c >= 2817 && $c <= 2819) || ($c >= 2821 && $c <= 2828) || ($c >= 2831 && $c <= 2832) || ($c >= 2835 && $c <= 2856) || ($c >= 2858 && $c <= 2864) || ($c >= 2866 && $c <= 2867) || ($c >= 2869 && $c <= 2873) || ($c >= 2876 && $c <= 2884) || ($c >= 2887 && $c <= 2888) || ($c >= 2891 && $c <= 2893) || ($c >= 2902 && $c <= 2903) || ($c >= 2908 && $c <= 2909) || ($c >= 2911 && $c <= 2915) || ($c >= 2918 && $c <= 2927) || ($c == 2929) || ($c >= 2946 && $c <= 2947) || ($c >= 2949 && $c <= 2954) || ($c >= 2958 && $c <= 2960) || ($c >= 2962 && $c <= 2965) || ($c >= 2969 && $c <= 2970) || ($c == 2972) || ($c >= 2974 && $c <= 2975) || ($c >= 2979 && $c <= 2980) || ($c >= 2984 && $c <= 2986) || ($c >= 2990 && $c <= 3001) || ($c >= 3006 && $c <= 3010) || ($c >= 3014 && $c <= 3016) || ($c >= 3018 && $c <= 3021) || ($c == 3024) || ($c == 3031) || ($c >= 3046 && $c <= 3055) || ($c == 3065) || ($c >= 3073 && $c <= 3075) || ($c >= 3077 && $c <= 3084) || ($c >= 3086 && $c <= 3088) || ($c >= 3090 && $c <= 3112) || ($c >= 3114 && $c <= 3123) || ($c >= 3125 && $c <= 3129) || ($c >= 3133 && $c <= 3140) || ($c >= 3142 && $c <= 3144) || ($c >= 3146 && $c <= 3149) || ($c >= 3157 && $c <= 3158) || ($c >= 3160 && $c <= 3161) || ($c >= 3168 && $c <= 3171) || ($c >= 3174 && $c <= 3183) || ($c >= 3202 && $c <= 3203) || ($c >= 3205 && $c <= 3212) || ($c >= 3214 && $c <= 3216) || ($c >= 3218 && $c <= 3240) || ($c >= 3242 && $c <= 3251) || ($c >= 3253 && $c <= 3257) || ($c >= 3260 && $c <= 3268) || ($c >= 3270 && $c <= 3272) || ($c >= 3274 && $c <= 3277) || ($c >= 3285 && $c <= 3286) || ($c == 3294) || ($c >= 3296 && $c <= 3299) || ($c >= 3302 && $c <= 3311) || ($c >= 3313 && $c <= 3314) || ($c >= 3330 && $c <= 3331) || ($c >= 3333 && $c <= 3340) || ($c >= 3342 && $c <= 3344) || ($c >= 3346 && $c <= 3386) || ($c >= 3389 && $c <= 3396) || ($c >= 3398 && $c <= 3400) || ($c >= 3402 && $c <= 3406) || ($c == 3415) || ($c >= 3424 && $c <= 3427) || ($c >= 3430 && $c <= 3439) || ($c >= 3450 && $c <= 3455) || ($c >= 3458 && $c <= 3459) || ($c >= 3461 && $c <= 3478) || ($c >= 3482 && $c <= 3505) || ($c >= 3507 && $c <= 3515) || ($c == 3517) || ($c >= 3520 && $c <= 3526) || ($c == 3530) || ($c >= 3535 && $c <= 3540) || ($c == 3542) || ($c >= 3544 && $c <= 3551) || ($c >= 3570 && $c <= 3571) || ($c >= 3585 && $c <= 3642) || ($c >= 3647 && $c <= 3662) || ($c >= 3664 && $c <= 3673) || ($c >= 3713 && $c <= 3714) || ($c == 3716) || ($c >= 3719 && $c <= 3720) || ($c == 3722) || ($c == 3725) || ($c >= 3732 && $c <= 3735) || ($c >= 3737 && $c <= 3743) || ($c >= 3745 && $c <= 3747) || ($c == 3749) || ($c == 3751) || ($c >= 3754 && $c <= 3755) || ($c >= 3757 && $c <= 3769) || ($c >= 3771 && $c <= 3773) || ($c >= 3776 && $c <= 3780) || ($c == 3782) || ($c >= 3784 && $c <= 3789) || ($c >= 3792 && $c <= 3801) || ($c >= 3804 && $c <= 3805) || ($c == 3840) || ($c >= 3864 && $c <= 3865) || ($c >= 3872 && $c <= 3881) || ($c == 3893) || ($c == 3895) || ($c == 3897) || ($c >= 3902 && $c <= 3911) || ($c >= 3913 && $c <= 3948) || ($c >= 3953 && $c <= 3972) || ($c >= 3974 && $c <= 3991) || ($c >= 3993 && $c <= 4028) || ($c == 4038) || ($c >= 4096 && $c <= 4169) || ($c >= 4176 && $c <= 4253) || ($c >= 4256 && $c <= 4293) || ($c >= 4304 && $c <= 4346) || ($c == 4348) || ($c >= 4352 && $c <= 4680) || ($c >= 4682 && $c <= 4685) || ($c >= 4688 && $c <= 4694) || ($c == 4696) || ($c >= 4698 && $c <= 4701) || ($c >= 4704 && $c <= 4744) || ($c >= 4746 && $c <= 4749) || ($c >= 4752 && $c <= 4784) || ($c >= 4786 && $c <= 4789) || ($c >= 4792 && $c <= 4798) || ($c == 4800) || ($c >= 4802 && $c <= 4805) || ($c >= 4808 && $c <= 4822) || ($c >= 4824 && $c <= 4880) || ($c >= 4882 && $c <= 4885) || ($c >= 4888 && $c <= 4954) || ($c >= 4957 && $c <= 4959) || ($c >= 4992 && $c <= 5007) || ($c >= 5024 && $c <= 5108) || ($c >= 5121 && $c <= 5740) || ($c >= 5743 && $c <= 5759) || ($c >= 5761 && $c <= 5786) || ($c >= 5792 && $c <= 5866) || ($c >= 5870 && $c <= 5872) || ($c >= 5888 && $c <= 5900) || ($c >= 5902 && $c <= 5908) || ($c >= 5920 && $c <= 5940) || ($c >= 5952 && $c <= 5971) || ($c >= 5984 && $c <= 5996) || ($c >= 5998 && $c <= 6000) || ($c >= 6002 && $c <= 6003) || ($c >= 6016 && $c <= 6099) || ($c == 6103) || ($c >= 6107 && $c <= 6109) || ($c >= 6112 && $c <= 6121) || ($c >= 6155 && $c <= 6157) || ($c >= 6160 && $c <= 6169) || ($c >= 6176 && $c <= 6263) || ($c >= 6272 && $c <= 6314) || ($c >= 6320 && $c <= 6389) || ($c >= 6400 && $c <= 6428) || ($c >= 6432 && $c <= 6443) || ($c >= 6448 && $c <= 6459) || ($c >= 6470 && $c <= 6509) || ($c >= 6512 && $c <= 6516) || ($c >= 6528 && $c <= 6571) || ($c >= 6576 && $c <= 6601) || ($c >= 6608 && $c <= 6617) || ($c >= 6656 && $c <= 6683) || ($c >= 6688 && $c <= 6750) || ($c >= 6752 && $c <= 6780) || ($c >= 6783 && $c <= 6793) || ($c >= 6800 && $c <= 6809) || ($c == 6823) || ($c >= 6912 && $c <= 6987) || ($c >= 6992 && $c <= 7001) || ($c >= 7019 && $c <= 7027) || ($c >= 7040 && $c <= 7082) || ($c >= 7086 && $c <= 7097) || ($c >= 7104 && $c <= 7155) || ($c >= 7168 && $c <= 7223) || ($c >= 7232 && $c <= 7241) || ($c >= 7245 && $c <= 7293) || ($c >= 7376 && $c <= 7378) || ($c >= 7380 && $c <= 7410) || ($c >= 7424 && $c <= 7654) || ($c >= 7676 && $c <= 7957) || ($c >= 7960 && $c <= 7965) || ($c >= 7968 && $c <= 8005) || ($c >= 8008 && $c <= 8013) || ($c >= 8016 && $c <= 8023) || ($c == 8025) || ($c == 8027) || ($c == 8029) || ($c >= 8031 && $c <= 8061) || ($c >= 8064 && $c <= 8116) || ($c >= 8118 && $c <= 8124) || ($c == 8126) || ($c >= 8130 && $c <= 8132) || ($c >= 8134 && $c <= 8140) || ($c >= 8144 && $c <= 8147) || ($c >= 8150 && $c <= 8155) || ($c >= 8160 && $c <= 8172) || ($c >= 8178 && $c <= 8180) || ($c >= 8182 && $c <= 8188) || ($c >= 8203 && $c <= 8207) || ($c >= 8234 && $c <= 8238) || ($c >= 8255 && $c <= 8256) || ($c == 8276) || ($c >= 8288 && $c <= 8292) || ($c >= 8298 && $c <= 8303) || ($c == 8305) || ($c == 8319) || ($c >= 8336 && $c <= 8348) || ($c >= 8352 && $c <= 8377) || ($c >= 8400 && $c <= 8412) || ($c == 8417) || ($c >= 8421 && $c <= 8432) || ($c == 8450) || ($c == 8455) || ($c >= 8458 && $c <= 8467) || ($c == 8469) || ($c >= 8473 && $c <= 8477) || ($c == 8484) || ($c == 8486) || ($c == 8488) || ($c >= 8490 && $c <= 8493) || ($c >= 8495 && $c <= 8505) || ($c >= 8508 && $c <= 8511) || ($c >= 8517 && $c <= 8521) || ($c == 8526) || ($c >= 8544 && $c <= 8584) || ($c >= 11264 && $c <= 11310) || ($c >= 11312 && $c <= 11358) || ($c >= 11360 && $c <= 11492) || ($c >= 11499 && $c <= 11505) || ($c >= 11520 && $c <= 11557) || ($c >= 11568 && $c <= 11621) || ($c == 11631) || ($c >= 11647 && $c <= 11670) || ($c >= 11680 && $c <= 11686) || ($c >= 11688 && $c <= 11694) || ($c >= 11696 && $c <= 11702) || ($c >= 11704 && $c <= 11710) || ($c >= 11712 && $c <= 11718) || ($c >= 11720 && $c <= 11726) || ($c >= 11728 && $c <= 11734) || ($c >= 11736 && $c <= 11742) || ($c >= 11744 && $c <= 11775) || ($c == 11823) || ($c >= 12293 && $c <= 12295) || ($c >= 12321 && $c <= 12335) || ($c >= 12337 && $c <= 12341) || ($c >= 12344 && $c <= 12348) || ($c >= 12353 && $c <= 12438) || ($c >= 12441 && $c <= 12442) || ($c >= 12445 && $c <= 12447) || ($c >= 12449 && $c <= 12538) || ($c >= 12540 && $c <= 12543) || ($c >= 12549 && $c <= 12589) || ($c >= 12593 && $c <= 12686) || ($c >= 12704 && $c <= 12730) || ($c >= 12784 && $c <= 12799) || ($c >= 13312 && $c <= 19893) || ($c >= 19968 && $c <= 40907) || ($c >= 40960 && $c <= 42124) || ($c >= 42192 && $c <= 42237) || ($c >= 42240 && $c <= 42508) || ($c >= 42512 && $c <= 42539) || ($c >= 42560 && $c <= 42607) || ($c >= 42620 && $c <= 42621) || ($c >= 42623 && $c <= 42647) || ($c >= 42656 && $c <= 42737) || ($c >= 42775 && $c <= 42783) || ($c >= 42786 && $c <= 42888) || ($c >= 42891 && $c <= 42894) || ($c >= 42896 && $c <= 42897) || ($c >= 42912 && $c <= 42921) || ($c >= 43002 && $c <= 43047) || ($c == 43064) || ($c >= 43072 && $c <= 43123) || ($c >= 43136 && $c <= 43204) || ($c >= 43216 && $c <= 43225) || ($c >= 43232 && $c <= 43255) || ($c == 43259) || ($c >= 43264 && $c <= 43309) || ($c >= 43312 && $c <= 43347) || ($c >= 43360 && $c <= 43388) || ($c >= 43392 && $c <= 43456) || ($c >= 43471 && $c <= 43481) || ($c >= 43520 && $c <= 43574) || ($c >= 43584 && $c <= 43597) || ($c >= 43600 && $c <= 43609) || ($c >= 43616 && $c <= 43638) || ($c >= 43642 && $c <= 43643) || ($c >= 43648 && $c <= 43714) || ($c >= 43739 && $c <= 43741) || ($c >= 43777 && $c <= 43782) || ($c >= 43785 && $c <= 43790) || ($c >= 43793 && $c <= 43798) || ($c >= 43808 && $c <= 43814) || ($c >= 43816 && $c <= 43822) || ($c >= 43968 && $c <= 44010) || ($c >= 44012 && $c <= 44013) || ($c >= 44016 && $c <= 44025) || ($c >= 44032 && $c <= 55203) || ($c >= 55216 && $c <= 55238) || ($c >= 55243 && $c <= 55291) || ($c >= 63744 && $c <= 64045) || ($c >= 64048 && $c <= 64109) || ($c >= 64112 && $c <= 64217) || ($c >= 64256 && $c <= 64262) || ($c >= 64275 && $c <= 64279) || ($c >= 64285 && $c <= 64296) || ($c >= 64298 && $c <= 64310) || ($c >= 64312 && $c <= 64316) || ($c == 64318) || ($c >= 64320 && $c <= 64321) || ($c >= 64323 && $c <= 64324) || ($c >= 64326 && $c <= 64433) || ($c >= 64467 && $c <= 64829) || ($c >= 64848 && $c <= 64911) || ($c >= 64914 && $c <= 64967) || ($c >= 65008 && $c <= 65020) || ($c >= 65024 && $c <= 65039) || ($c >= 65056 && $c <= 65062) || ($c >= 65075 && $c <= 65076) || ($c >= 65101 && $c <= 65103) || ($c == 65129) || ($c >= 65136 && $c <= 65140) || ($c >= 65142 && $c <= 65276) || ($c == 65279) || ($c == 65284) || ($c >= 65296 && $c <= 65305) || ($c >= 65313 && $c <= 65338) || ($c == 65343) || ($c >= 65345 && $c <= 65370) || ($c >= 65382 && $c <= 65470) || ($c >= 65474 && $c <= 65479) || ($c >= 65482 && $c <= 65487) || ($c >= 65490 && $c <= 65495) || ($c >= 65498 && $c <= 65500) || ($c >= 65504 && $c <= 65505) || ($c >= 65509 && $c <= 65510) || ($c >= 65529 && $c <= 65531)) {
1943- $buffer.append((char)$c);
1944- STATE = 23;
1945- return 1;
1946- } else if($c < 0) {
1947-
2017+ if(($c == ';')) {
19482018 STATE = 24;
19492019 return 1;
1950- } else if($c >= 0) {
1951- UNGET($c);
1952- STATE = 24;
1953- return 1;
19542020 }
2021+ return 0;
19552022 case 24:
1956- if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
1957- STATE = 24;
2023+ STATE = 1;
19582024 return 1;
1959- } else if(($c == '(')) {
2025+ case 21:
2026+ STATE = 1;
2027+ return 1;
2028+ case 2:
2029+ if((__l__ && $c == 'o')) {
2030+ LOOKAHEAD($c);
19602031 STATE = 25;
19612032 return 1;
19622033 }
19632034 return 0;
19642035 case 25:
1965- if(($c == ')')) {
2036+ if((__l__ && $c == 'l')) {
2037+ LOOKAHEAD($c);
19662038 STATE = 26;
19672039 return 1;
1968- } else if($c < 0) {
2040+ }
2041+ return 0;
2042+ case 26:
2043+ if((__l__ && $c == 'v')) {
2044+ LOOKAHEAD($c);
19692045 STATE = 27;
19702046 return 1;
1971- } else if($c >= 0) {
1972- UNGET($c);
1973- STATE = 27;
1974- return 1;
19752047 }
2048+ return 0;
19762049 case 27:
1977- if($c >= 0) {
1978- __stkpush(28, ENGINE_termlist);
1979- STATE = 0;
1980- return NINA_ACCEPT;
2050+ if((__l__ && $c == 'e')) {
2051+ LOOKAHEAD($c);
2052+ STATE = 28;
2053+ return 1;
19812054 }
19822055 return 0;
19832056 case 28:
1984- if(($c == ')')) {
1985- STATE = 26;
2057+ if(($c >= 0 && $c <= '@') || ($c >= '[' && $c <= '`') || ($c >= '{' && $c <= 169) || ($c >= 171 && $c <= 180) || ($c >= 182 && $c <= 185) || ($c >= 187 && $c <= 191) || ($c == 215) || ($c == 247) || ($c >= 706 && $c <= 709) || ($c >= 722 && $c <= 735) || ($c >= 741 && $c <= 747) || ($c == 749) || ($c >= 751 && $c <= 879) || ($c == 885) || ($c >= 888 && $c <= 889) || ($c >= 894 && $c <= 901) || ($c == 903) || ($c == 907) || ($c == 909) || ($c == 930) || ($c == 1014) || ($c >= 1154 && $c <= 1161) || ($c >= 1320 && $c <= 1328) || ($c >= 1367 && $c <= 1368) || ($c >= 1370 && $c <= 1376) || ($c >= 1416 && $c <= 1487) || ($c >= 1515 && $c <= 1519) || ($c >= 1523 && $c <= 1567) || ($c >= 1611 && $c <= 1645) || ($c == 1648) || ($c == 1748) || ($c >= 1750 && $c <= 1764) || ($c >= 1767 && $c <= 1773) || ($c >= 1776 && $c <= 1785) || ($c >= 1789 && $c <= 1790) || ($c >= 1792 && $c <= 1807) || ($c == 1809) || ($c >= 1840 && $c <= 1868) || ($c >= 1958 && $c <= 1968) || ($c >= 1970 && $c <= 1993) || ($c >= 2027 && $c <= 2035) || ($c >= 2038 && $c <= 2041) || ($c >= 2043 && $c <= 2047) || ($c >= 2070 && $c <= 2073) || ($c >= 2075 && $c <= 2083) || ($c >= 2085 && $c <= 2087) || ($c >= 2089 && $c <= 2111) || ($c >= 2137 && $c <= 2307) || ($c >= 2362 && $c <= 2364) || ($c >= 2366 && $c <= 2383) || ($c >= 2385 && $c <= 2391) || ($c >= 2402 && $c <= 2416) || ($c == 2424) || ($c >= 2432 && $c <= 2436) || ($c >= 2445 && $c <= 2446) || ($c >= 2449 && $c <= 2450) || ($c == 2473) || ($c == 2481) || ($c >= 2483 && $c <= 2485) || ($c >= 2490 && $c <= 2492) || ($c >= 2494 && $c <= 2509) || ($c >= 2511 && $c <= 2523) || ($c == 2526) || ($c >= 2530 && $c <= 2543) || ($c >= 2546 && $c <= 2564) || ($c >= 2571 && $c <= 2574) || ($c >= 2577 && $c <= 2578) || ($c == 2601) || ($c == 2609) || ($c == 2612) || ($c == 2615) || ($c >= 2618 && $c <= 2648) || ($c == 2653) || ($c >= 2655 && $c <= 2673) || ($c >= 2677 && $c <= 2692) || ($c == 2702) || ($c == 2706) || ($c == 2729) || ($c == 2737) || ($c == 2740) || ($c >= 2746 && $c <= 2748) || ($c >= 2750 && $c <= 2767) || ($c >= 2769 && $c <= 2783) || ($c >= 2786 && $c <= 2820) || ($c >= 2829 && $c <= 2830) || ($c >= 2833 && $c <= 2834) || ($c == 2857) || ($c == 2865) || ($c == 2868) || ($c >= 2874 && $c <= 2876) || ($c >= 2878 && $c <= 2907) || ($c == 2910) || ($c >= 2914 && $c <= 2928) || ($c >= 2930 && $c <= 2946) || ($c == 2948) || ($c >= 2955 && $c <= 2957) || ($c == 2961) || ($c >= 2966 && $c <= 2968) || ($c == 2971) || ($c == 2973) || ($c >= 2976 && $c <= 2978) || ($c >= 2981 && $c <= 2983) || ($c >= 2987 && $c <= 2989) || ($c >= 3002 && $c <= 3023) || ($c >= 3025 && $c <= 3076) || ($c == 3085) || ($c == 3089) || ($c == 3113) || ($c == 3124) || ($c >= 3130 && $c <= 3132) || ($c >= 3134 && $c <= 3159) || ($c >= 3162 && $c <= 3167) || ($c >= 3170 && $c <= 3204) || ($c == 3213) || ($c == 3217) || ($c == 3241) || ($c == 3252) || ($c >= 3258 && $c <= 3260) || ($c >= 3262 && $c <= 3293) || ($c == 3295) || ($c >= 3298 && $c <= 3312) || ($c >= 3315 && $c <= 3332) || ($c == 3341) || ($c == 3345) || ($c >= 3387 && $c <= 3388) || ($c >= 3390 && $c <= 3405) || ($c >= 3407 && $c <= 3423) || ($c >= 3426 && $c <= 3449) || ($c >= 3456 && $c <= 3460) || ($c >= 3479 && $c <= 3481) || ($c == 3506) || ($c == 3516) || ($c >= 3518 && $c <= 3519) || ($c >= 3527 && $c <= 3584) || ($c == 3633) || ($c >= 3636 && $c <= 3647) || ($c >= 3655 && $c <= 3712) || ($c == 3715) || ($c >= 3717 && $c <= 3718) || ($c == 3721) || ($c >= 3723 && $c <= 3724) || ($c >= 3726 && $c <= 3731) || ($c == 3736) || ($c == 3744) || ($c == 3748) || ($c == 3750) || ($c >= 3752 && $c <= 3753) || ($c == 3756) || ($c == 3761) || ($c >= 3764 && $c <= 3772) || ($c >= 3774 && $c <= 3775) || ($c == 3781) || ($c >= 3783 && $c <= 3803) || ($c >= 3806 && $c <= 3839) || ($c >= 3841 && $c <= 3903) || ($c == 3912) || ($c >= 3949 && $c <= 3975) || ($c >= 3981 && $c <= 4095) || ($c >= 4139 && $c <= 4158) || ($c >= 4160 && $c <= 4175) || ($c >= 4182 && $c <= 4185) || ($c >= 4190 && $c <= 4192) || ($c >= 4194 && $c <= 4196) || ($c >= 4199 && $c <= 4205) || ($c >= 4209 && $c <= 4212) || ($c >= 4226 && $c <= 4237) || ($c >= 4239 && $c <= 4255) || ($c >= 4294 && $c <= 4303) || ($c == 4347) || ($c >= 4349 && $c <= 4351) || ($c == 4681) || ($c >= 4686 && $c <= 4687) || ($c == 4695) || ($c == 4697) || ($c >= 4702 && $c <= 4703) || ($c == 4745) || ($c >= 4750 && $c <= 4751) || ($c == 4785) || ($c >= 4790 && $c <= 4791) || ($c == 4799) || ($c == 4801) || ($c >= 4806 && $c <= 4807) || ($c == 4823) || ($c == 4881) || ($c >= 4886 && $c <= 4887) || ($c >= 4955 && $c <= 4991) || ($c >= 5008 && $c <= 5023) || ($c >= 5109 && $c <= 5120) || ($c >= 5741 && $c <= 5742) || ($c == 5760) || ($c >= 5787 && $c <= 5791) || ($c >= 5867 && $c <= 5887) || ($c == 5901) || ($c >= 5906 && $c <= 5919) || ($c >= 5938 && $c <= 5951) || ($c >= 5970 && $c <= 5983) || ($c == 5997) || ($c >= 6001 && $c <= 6015) || ($c >= 6068 && $c <= 6102) || ($c >= 6104 && $c <= 6107) || ($c >= 6109 && $c <= 6175) || ($c >= 6264 && $c <= 6271) || ($c == 6313) || ($c >= 6315 && $c <= 6319) || ($c >= 6390 && $c <= 6399) || ($c >= 6429 && $c <= 6479) || ($c >= 6510 && $c <= 6511) || ($c >= 6517 && $c <= 6527) || ($c >= 6572 && $c <= 6592) || ($c >= 6600 && $c <= 6655) || ($c >= 6679 && $c <= 6687) || ($c >= 6741 && $c <= 6822) || ($c >= 6824 && $c <= 6916) || ($c >= 6964 && $c <= 6980) || ($c >= 6988 && $c <= 7042) || ($c >= 7073 && $c <= 7085) || ($c >= 7088 && $c <= 7103) || ($c >= 7142 && $c <= 7167) || ($c >= 7204 && $c <= 7244) || ($c >= 7248 && $c <= 7257) || ($c >= 7294 && $c <= 7400) || ($c == 7405) || ($c >= 7410 && $c <= 7423) || ($c >= 7616 && $c <= 7679) || ($c >= 7958 && $c <= 7959) || ($c >= 7966 && $c <= 7967) || ($c >= 8006 && $c <= 8007) || ($c >= 8014 && $c <= 8015) || ($c == 8024) || ($c == 8026) || ($c == 8028) || ($c == 8030) || ($c >= 8062 && $c <= 8063) || ($c == 8117) || ($c == 8125) || ($c >= 8127 && $c <= 8129) || ($c == 8133) || ($c >= 8141 && $c <= 8143) || ($c >= 8148 && $c <= 8149) || ($c >= 8156 && $c <= 8159) || ($c >= 8173 && $c <= 8177) || ($c == 8181) || ($c >= 8189 && $c <= 8304) || ($c >= 8306 && $c <= 8318) || ($c >= 8320 && $c <= 8335) || ($c >= 8349 && $c <= 8449) || ($c >= 8451 && $c <= 8454) || ($c >= 8456 && $c <= 8457) || ($c == 8468) || ($c >= 8470 && $c <= 8472) || ($c >= 8478 && $c <= 8483) || ($c == 8485) || ($c == 8487) || ($c == 8489) || ($c == 8494) || ($c >= 8506 && $c <= 8507) || ($c >= 8512 && $c <= 8516) || ($c >= 8522 && $c <= 8525) || ($c >= 8527 && $c <= 8578) || ($c >= 8581 && $c <= 11263) || ($c == 11311) || ($c == 11359) || ($c >= 11493 && $c <= 11498) || ($c >= 11503 && $c <= 11519) || ($c >= 11558 && $c <= 11567) || ($c >= 11622 && $c <= 11630) || ($c >= 11632 && $c <= 11647) || ($c >= 11671 && $c <= 11679) || ($c == 11687) || ($c == 11695) || ($c == 11703) || ($c == 11711) || ($c == 11719) || ($c == 11727) || ($c == 11735) || ($c >= 11743 && $c <= 11822) || ($c >= 11824 && $c <= 12292) || ($c >= 12295 && $c <= 12336) || ($c >= 12342 && $c <= 12346) || ($c >= 12349 && $c <= 12352) || ($c >= 12439 && $c <= 12444) || ($c == 12448) || ($c == 12539) || ($c >= 12544 && $c <= 12548) || ($c >= 12590 && $c <= 12592) || ($c >= 12687 && $c <= 12703) || ($c >= 12731 && $c <= 12783) || ($c >= 12800 && $c <= 13311) || ($c >= 19894 && $c <= 19967) || ($c >= 40908 && $c <= 40959) || ($c >= 42125 && $c <= 42191) || ($c >= 42238 && $c <= 42239) || ($c >= 42509 && $c <= 42511) || ($c >= 42528 && $c <= 42537) || ($c >= 42540 && $c <= 42559) || ($c >= 42607 && $c <= 42622) || ($c >= 42648 && $c <= 42655) || ($c >= 42726 && $c <= 42774) || ($c >= 42784 && $c <= 42785) || ($c >= 42889 && $c <= 42890) || ($c == 42895) || ($c >= 42898 && $c <= 42911) || ($c >= 42922 && $c <= 43001) || ($c == 43010) || ($c == 43014) || ($c == 43019) || ($c >= 43043 && $c <= 43071) || ($c >= 43124 && $c <= 43137) || ($c >= 43188 && $c <= 43249) || ($c >= 43256 && $c <= 43258) || ($c >= 43260 && $c <= 43273) || ($c >= 43302 && $c <= 43311) || ($c >= 43335 && $c <= 43359) || ($c >= 43389 && $c <= 43395) || ($c >= 43443 && $c <= 43470) || ($c >= 43472 && $c <= 43519) || ($c >= 43561 && $c <= 43583) || ($c == 43587) || ($c >= 43596 && $c <= 43615) || ($c >= 43639 && $c <= 43641) || ($c >= 43643 && $c <= 43647) || ($c == 43696) || ($c >= 43698 && $c <= 43700) || ($c >= 43703 && $c <= 43704) || ($c >= 43710 && $c <= 43711) || ($c == 43713) || ($c >= 43715 && $c <= 43738) || ($c >= 43742 && $c <= 43776) || ($c >= 43783 && $c <= 43784) || ($c >= 43791 && $c <= 43792) || ($c >= 43799 && $c <= 43807) || ($c == 43815) || ($c >= 43823 && $c <= 43967) || ($c >= 44003 && $c <= 44031) || ($c >= 55204 && $c <= 55215) || ($c >= 55239 && $c <= 55242) || ($c >= 55292 && $c <= 63743) || ($c >= 64046 && $c <= 64047) || ($c >= 64110 && $c <= 64111) || ($c >= 64218 && $c <= 64255) || ($c >= 64263 && $c <= 64274) || ($c >= 64280 && $c <= 64284) || ($c == 64286) || ($c == 64297) || ($c == 64311) || ($c == 64317) || ($c == 64319) || ($c == 64322) || ($c == 64325) || ($c >= 64434 && $c <= 64466) || ($c >= 64830 && $c <= 64847) || ($c >= 64912 && $c <= 64913) || ($c >= 64968 && $c <= 65007) || ($c >= 65020 && $c <= 65135) || ($c == 65141) || ($c >= 65277 && $c <= 65312) || ($c >= 65339 && $c <= 65344) || ($c >= 65371 && $c <= 65381) || ($c >= 65471 && $c <= 65473) || ($c >= 65480 && $c <= 65481) || ($c >= 65488 && $c <= 65489) || ($c >= 65496 && $c <= 65497) || ($c >= 65501 && $c <= 2147483647)) {
2058+ LOOKAHEAD_COMMIT();UNGET($c);
2059+ STATE = 29;
19862060 return 1;
19872061 }
19882062 return 0;
1989- case 26:
1990- if(($c == ';')) {
2063+ case 29:
2064+ if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
19912065 STATE = 29;
19922066 return 1;
1993- } else if(($c >= 9 && $c <= '\n') || ($c == ' ')) {
1994- STATE = 26;
1995- return 1;
1996- } else if(($c == ':')) {
2067+ } else if(($c == ';')) {
19972068 STATE = 30;
19982069 return 1;
2070+ } else if($c < 0) {
2071+ STATE = 31;
2072+ return 1;
2073+ } else if($c >= 0) {
2074+ UNGET($c);
2075+ STATE = 31;
2076+ return 1;
19992077 }
2000- return 0;
2001- case 30:
2078+ case 31:
20022079 if($c >= 0) {
2003- __stkpush(31, ENGINE_exprlist);
2080+ __stkpush(32, ENGINE_arglist);
20042081 STATE = 0;
20052082 return NINA_ACCEPT;
20062083 }
20072084 return 0;
2008- case 31:
2085+ case 32:
20092086 if(($c == ';')) {
2010- STATE = 32;
2087+ STATE = 30;
20112088 return 1;
20122089 }
20132090 return 0;
2014- case 32:
2091+ case 30:
20152092 STATE = 1;
20162093 return 1;
2017- case 29:
2018- STATE = 1;
2019- return 1;
20202094 case 33:
20212095 STATE = 34;
20222096 return 1;
@@ -2039,119 +2113,119 @@
20392113 private boolean CLP_accepted() {
20402114 return (STATE == 0 ||
20412115 STATE == 35 ||
2042- STATE == 16 ||
20432116 STATE == 1 ||
2044- STATE == 32 ||
2117+ STATE == 21 ||
20452118 STATE == 5 ||
2119+ STATE == 24 ||
20462120 STATE == 10 ||
2047- STATE == 29);
2121+ STATE == 30);
20482122 }
20492123
20502124 int CLP_execaction(int $c) {
20512125 switch(STATE) {
2052- case 12:
2126+ case 34:
2127+ // State35
2128+ puterror();
20532129 break;
2054- case 21:
2130+ case 15:
20552131 break;
2056- case 33:
2132+ case 4:
2133+ // State42
2134+ ab = new StringBuilder();
20572135 break;
2058- case 0:
2136+ case 19:
20592137 break;
2138+ case 22:
2139+ break;
2140+ case 23:
2141+ break;
2142+ case 31:
2143+ break;
20602144 case 7:
20612145 break;
2062- case 14:
2063- break;
20642146 case 5:
20652147 // State36
20662148 putp = true;
20672149 break;
2068- case 9:
2069- // State43
2070- ab.append((char)$c);
2150+ case 21:
2151+ // State49
2152+ putemptyrule();
20712153 break;
2072- case 17:
2154+ case 13:
20732155 break;
2074- case 20:
2075- break;
20762156 case 24:
2077- // State14
2078- initnm();
2079- break;
2080- case 13:
2081- break;
2082- case 32:
20832157 // State16
20842158 putrule();
20852159 break;
2086- case 31:
2160+ case 18:
2161+ // State18
2162+ putarg();
20872163 break;
2088- case 6:
2164+ case 12:
20892165 break;
2090- case 16:
2091- // State30
2092- putresult();
2093- break;
2094- case 22:
2095- // State13
2166+ case 35:
2167+ // State34
20962168 // none
20972169 break;
2170+ case 28:
2171+ break;
2172+ case 9:
2173+ // State43
2174+ ab.append((char)$c);
2175+ break;
2176+ case 3:
2177+ break;
20982178 case 11:
20992179 break;
2100- case 28:
2180+ case 30:
2181+ // State30
2182+ putresult();
21012183 break;
2102- case 35:
2103- // State34
2104- // none
2184+ case 20:
21052185 break;
2106- case 29:
2107- // State49
2108- putemptyrule();
2109- break;
21102186 case 10:
21112187 // State44
21122188 execat();
21132189 break;
2114- case 1:
2115- // State1
2116- prompt();
2190+ case 16:
2191+ // State14
2192+ initnm();
21172193 break;
2118- case 4:
2119- // State42
2120- ab = new StringBuilder();
2194+ case 17:
2195+ // State50
2196+ _ = null;
21212197 break;
2122- case 27:
2198+ case 8:
2199+ // State26
2200+ putconstraint();
21232201 break;
2124- case 34:
2125- // State35
2126- puterror();
2202+ case 0:
21272203 break;
2128- case 19:
2204+ case 25:
21292205 break;
2130- case 18:
2206+ case 33:
21312207 break;
2132- case 3:
2208+ case 1:
2209+ // State1
2210+ prompt();
21332211 break;
2134- case 8:
2135- // State26
2136- putconstraint();
2212+ case 14:
2213+ // State13
2214+ // none
21372215 break;
2138- case 15:
2139- // State2
2140- _ = "";
2216+ case 6:
21412217 break;
2142- case 30:
2218+ case 27:
21432219 break;
2144- case 25:
2145- // State50
2146- _ = null;
2220+ case 26:
21472221 break;
2148- case 23:
2222+ case 32:
21492223 break;
21502224 case 2:
21512225 break;
2152- case 26:
2153- // State18
2154- putarg();
2226+ case 29:
2227+ // State2
2228+ _ = "";
21552229 break;
21562230 }
21572231 return 1;
@@ -2158,18 +2232,18 @@
21582232 }
21592233
21602234 boolean CLP_isend() {
2161- return (STATE == 34 ||
2162- STATE == 0 ||
2235+ return (STATE == 0 ||
2236+ STATE == 17 ||
2237+ STATE == 34 ||
21632238 STATE == 1 ||
2164- STATE == 16 ||
2165- STATE == 32 ||
21662239 STATE == 33 ||
2240+ STATE == 21 ||
21672241 STATE == 4 ||
2168- STATE == 23 ||
21692242 STATE == 7 ||
2170- STATE == 25 ||
2243+ STATE == 24 ||
21712244 STATE == 10 ||
21722245 STATE == 29 ||
2246+ STATE == 30 ||
21732247 STATE == 15);
21742248 }
21752249
@@ -2213,13 +2287,13 @@
22132287
22142288 boolean isEmptyTransition() {
22152289 return (STATE == 34 ||
2216- STATE == 16 ||
2217- STATE == 32 ||
22182290 STATE == 33 ||
2291+ STATE == 21 ||
22192292 STATE == 4 ||
22202293 STATE == 7 ||
2294+ STATE == 24 ||
22212295 STATE == 10 ||
2222- STATE == 29);
2296+ STATE == 30);
22232297 }
22242298
22252299 public String toString() {
@@ -2627,7 +2701,7 @@
26272701 Rational r;
26282702
26292703 v = new BigDecimal(n.toString() + "." + d.toString());
2630- r = Rational.valueOf(v.divide(getUnit(c)));
2704+ r = Rational.valueOf(v.multiply(getUnit(c)));
26312705 return new Polynomial<Variable, Rational>(r);
26322706 }
26332707
@@ -2741,7 +2815,9 @@
27412815 }
27422816
27432817 void put(String v, Term t) {
2744- if(outputf.equals("engineer")) {
2818+ if(v.startsWith("_")) {
2819+ // do nothing
2820+ } else if(outputf.equals("engineer")) {
27452821 puteng(v, t);
27462822 } else if(outputf.equals("float")) {
27472823 putfloat(v, t);
@@ -2811,6 +2887,18 @@
28112887 EqOp.OP);
28122888 }
28132889
2890+ private Object bLt() {
2891+ return new ConstraintTerm(
2892+ (Polynomial<Variable, Rational>)bMinus(lv, _),
2893+ LtOp.OP);
2894+ }
2895+
2896+ private Object bGt() {
2897+ return new ConstraintTerm(
2898+ (Polynomial<Variable, Rational>)bMinus(lv, _),
2899+ GtOp.OP);
2900+ }
2901+
28142902 private Variable putvar0(String s) {
28152903 Variable v;
28162904
@@ -2839,7 +2927,7 @@
28392927 private Object putval(BigInteger b, int c) {
28402928 BigDecimal d;
28412929
2842- d = new BigDecimal(b).divide(getUnit(c));
2930+ d = new BigDecimal(b).multiply(getUnit(c));
28432931 return new Polynomial<Variable, Rational>(Rational.valueOf(d));
28442932 }
28452933
Show on old repository browser