User:Antigng-bot/DateValidation-Minimized

维基百科,自由的百科全书
int date_regex(const unsigned int *source)
{
	int state=0;
	unsigned int ch=0;
	int count=0;
	ch=source[count];
	while(ch)
	{
		switch(state)
		{
		case 0:
			switch(ch)
			{
			case 48:
				state=1;
				break;
			case 49:
				state=15;
				break;
			case 50:
				state=15;
				break;
			case 51:
				state=15;
				break;
			case 52:
				state=15;
				break;
			case 53:
				state=15;
				break;
			case 54:
				state=15;
				break;
			case 55:
				state=15;
				break;
			case 56:
				state=15;
				break;
			case 57:
				state=15;
				break;
			case 65:
				state=16;
				break;
			case 66:
				state=16;
				break;
			case 67:
				state=16;
				break;
			case 68:
				state=16;
				break;
			case 69:
				state=16;
				break;
			case 70:
				state=16;
				break;
			case 71:
				state=16;
				break;
			case 72:
				state=16;
				break;
			case 73:
				state=16;
				break;
			case 74:
				state=16;
				break;
			case 75:
				state=16;
				break;
			case 76:
				state=16;
				break;
			case 77:
				state=16;
				break;
			case 78:
				state=16;
				break;
			case 79:
				state=16;
				break;
			case 80:
				state=16;
				break;
			case 81:
				state=16;
				break;
			case 82:
				state=16;
				break;
			case 83:
				state=16;
				break;
			case 84:
				state=16;
				break;
			case 85:
				state=16;
				break;
			case 86:
				state=16;
				break;
			case 87:
				state=16;
				break;
			case 88:
				state=16;
				break;
			case 89:
				state=16;
				break;
			case 90:
				state=16;
				break;
			case 97:
				state=16;
				break;
			case 98:
				state=16;
				break;
			case 99:
				state=16;
				break;
			case 100:
				state=16;
				break;
			case 101:
				state=16;
				break;
			case 102:
				state=16;
				break;
			case 103:
				state=16;
				break;
			case 104:
				state=16;
				break;
			case 105:
				state=16;
				break;
			case 106:
				state=16;
				break;
			case 107:
				state=16;
				break;
			case 108:
				state=16;
				break;
			case 109:
				state=16;
				break;
			case 110:
				state=16;
				break;
			case 111:
				state=16;
				break;
			case 112:
				state=16;
				break;
			case 113:
				state=16;
				break;
			case 114:
				state=16;
				break;
			case 115:
				state=16;
				break;
			case 116:
				state=16;
				break;
			case 117:
				state=16;
				break;
			case 118:
				state=16;
				break;
			case 119:
				state=16;
				break;
			case 120:
				state=16;
				break;
			case 121:
				state=16;
				break;
			case 122:
				state=16;
				break;
			default:
				return 0;
			}
			break;
		case 1:
			switch(ch)
			{
			case 48:
				state=2;
				break;
			case 49:
				state=2;
				break;
			case 50:
				state=2;
				break;
			case 51:
				state=2;
				break;
			case 52:
				state=2;
				break;
			case 53:
				state=2;
				break;
			case 54:
				state=2;
				break;
			case 55:
				state=2;
				break;
			case 56:
				state=2;
				break;
			case 57:
				state=2;
				break;
			default:
				return 0;
			}
			break;
		case 2:
			switch(ch)
			{
			case 48:
				state=6;
				break;
			case 49:
				state=6;
				break;
			case 50:
				state=6;
				break;
			case 51:
				state=6;
				break;
			case 52:
				state=6;
				break;
			case 53:
				state=6;
				break;
			case 54:
				state=6;
				break;
			case 55:
				state=6;
				break;
			case 56:
				state=6;
				break;
			case 57:
				state=6;
				break;
			default:
				return 0;
			}
			break;
		case 3:
			switch(ch)
			{
			case 48:
				state=7;
				break;
			case 49:
				state=7;
				break;
			case 50:
				state=7;
				break;
			case 51:
				state=7;
				break;
			case 52:
				state=7;
				break;
			case 53:
				state=7;
				break;
			case 54:
				state=7;
				break;
			case 55:
				state=7;
				break;
			case 56:
				state=7;
				break;
			case 57:
				state=7;
				break;
			default:
				return 0;
			}
			break;
		case 4:
			switch(ch)
			{
			case 48:
				state=10;
				break;
			case 49:
				state=10;
				break;
			case 50:
				state=10;
				break;
			case 51:
				state=10;
				break;
			case 52:
				state=10;
				break;
			case 53:
				state=10;
				break;
			case 54:
				state=10;
				break;
			case 55:
				state=10;
				break;
			case 56:
				state=10;
				break;
			case 57:
				state=10;
				break;
			default:
				return 0;
			}
			break;
		case 5:
			switch(ch)
			{
			case 48:
				state=11;
				break;
			case 49:
				state=11;
				break;
			case 50:
				state=11;
				break;
			case 51:
				state=11;
				break;
			case 52:
				state=11;
				break;
			case 53:
				state=11;
				break;
			case 54:
				state=11;
				break;
			case 55:
				state=11;
				break;
			case 56:
				state=11;
				break;
			case 57:
				state=11;
				break;
			default:
				return 0;
			}
			break;
		case 6:
			switch(ch)
			{
			case 48:
				state=33;
				break;
			case 49:
				state=33;
				break;
			case 50:
				state=33;
				break;
			case 51:
				state=33;
				break;
			case 52:
				state=33;
				break;
			case 53:
				state=33;
				break;
			case 54:
				state=33;
				break;
			case 55:
				state=33;
				break;
			case 56:
				state=33;
				break;
			case 57:
				state=33;
				break;
			default:
				return 0;
			}
			break;
		case 7:
			switch(ch)
			{
			case 48:
				state=45;
				break;
			case 49:
				state=45;
				break;
			case 50:
				state=45;
				break;
			case 51:
				state=45;
				break;
			case 52:
				state=45;
				break;
			case 53:
				state=45;
				break;
			case 54:
				state=45;
				break;
			case 55:
				state=45;
				break;
			case 56:
				state=45;
				break;
			case 57:
				state=45;
				break;
			default:
				return 0;
			}
			break;
		case 8:
			switch(ch)
			{
			case 48:
				state=50;
				break;
			case 49:
				state=50;
				break;
			case 50:
				state=50;
				break;
			case 51:
				state=50;
				break;
			case 52:
				state=50;
				break;
			case 53:
				state=50;
				break;
			case 54:
				state=50;
				break;
			case 55:
				state=50;
				break;
			case 56:
				state=50;
				break;
			case 57:
				state=50;
				break;
			default:
				return 0;
			}
			break;
		case 9:
			switch(ch)
			{
			case 48:
				state=53;
				break;
			case 49:
				state=53;
				break;
			case 50:
				state=53;
				break;
			case 51:
				state=53;
				break;
			case 52:
				state=53;
				break;
			case 53:
				state=53;
				break;
			case 54:
				state=53;
				break;
			case 55:
				state=53;
				break;
			case 56:
				state=53;
				break;
			case 57:
				state=53;
				break;
			default:
				return 0;
			}
			break;
		case 10:
			switch(ch)
			{
			case 48:
				state=55;
				break;
			case 49:
				state=55;
				break;
			case 50:
				state=55;
				break;
			case 51:
				state=55;
				break;
			case 52:
				state=55;
				break;
			case 53:
				state=55;
				break;
			case 54:
				state=55;
				break;
			case 55:
				state=55;
				break;
			case 56:
				state=55;
				break;
			case 57:
				state=55;
				break;
			default:
				return 0;
			}
			break;
		case 11:
			switch(ch)
			{
			case 48:
				state=59;
				break;
			case 49:
				state=59;
				break;
			case 50:
				state=59;
				break;
			case 51:
				state=59;
				break;
			case 52:
				state=59;
				break;
			case 53:
				state=59;
				break;
			case 54:
				state=59;
				break;
			case 55:
				state=59;
				break;
			case 56:
				state=59;
				break;
			case 57:
				state=59;
				break;
			default:
				return 0;
			}
			break;
		case 12:
			switch(ch)
			{
			case 48:
				state=62;
				break;
			case 49:
				state=62;
				break;
			case 50:
				state=62;
				break;
			case 51:
				state=62;
				break;
			case 52:
				state=62;
				break;
			case 53:
				state=62;
				break;
			case 54:
				state=62;
				break;
			case 55:
				state=62;
				break;
			case 56:
				state=62;
				break;
			case 57:
				state=62;
				break;
			default:
				return 0;
			}
			break;
		case 13:
			switch(ch)
			{
			case 48:
				state=45;
				break;
			case 49:
				state=51;
				break;
			case 50:
				state=51;
				break;
			case 51:
				state=51;
				break;
			case 52:
				state=51;
				break;
			case 53:
				state=51;
				break;
			case 54:
				state=51;
				break;
			case 55:
				state=51;
				break;
			case 56:
				state=51;
				break;
			case 57:
				state=51;
				break;
			default:
				return 0;
			}
			break;
		case 14:
			switch(ch)
			{
			case 48:
				state=45;
				break;
			case 49:
				state=61;
				break;
			case 50:
				state=61;
				break;
			case 51:
				state=61;
				break;
			case 52:
				state=61;
				break;
			case 53:
				state=61;
				break;
			case 54:
				state=61;
				break;
			case 55:
				state=61;
				break;
			case 56:
				state=61;
				break;
			case 57:
				state=61;
				break;
			default:
				return 0;
			}
			break;
		case 15:
			switch(ch)
			{
			case 32:
				state=17;
				break;
			case 48:
				state=23;
				break;
			case 49:
				state=23;
				break;
			case 50:
				state=23;
				break;
			case 51:
				state=23;
				break;
			case 52:
				state=23;
				break;
			case 53:
				state=23;
				break;
			case 54:
				state=23;
				break;
			case 55:
				state=23;
				break;
			case 56:
				state=23;
				break;
			case 57:
				state=23;
				break;
			case 8211:
				state=24;
				break;
			default:
				return 0;
			}
			break;
		case 16:
			switch(ch)
			{
			case 32:
				state=26;
				break;
			case 65:
				break;
			case 66:
				break;
			case 67:
				break;
			case 68:
				break;
			case 69:
				break;
			case 70:
				break;
			case 71:
				break;
			case 72:
				break;
			case 73:
				break;
			case 74:
				break;
			case 75:
				break;
			case 76:
				break;
			case 77:
				break;
			case 78:
				break;
			case 79:
				break;
			case 80:
				break;
			case 81:
				break;
			case 82:
				break;
			case 83:
				break;
			case 84:
				break;
			case 85:
				break;
			case 86:
				break;
			case 87:
				break;
			case 88:
				break;
			case 89:
				break;
			case 90:
				break;
			case 97:
				break;
			case 98:
				break;
			case 99:
				break;
			case 100:
				break;
			case 101:
				break;
			case 102:
				break;
			case 103:
				break;
			case 104:
				break;
			case 105:
				break;
			case 106:
				break;
			case 107:
				break;
			case 108:
				break;
			case 109:
				break;
			case 110:
				break;
			case 111:
				break;
			case 112:
				break;
			case 113:
				break;
			case 114:
				break;
			case 115:
				break;
			case 116:
				break;
			case 117:
				break;
			case 118:
				break;
			case 119:
				break;
			case 120:
				break;
			case 121:
				break;
			case 122:
				break;
			case 8211:
				state=27;
				break;
			default:
				return 0;
			}
			break;
		case 17:
			switch(ch)
			{
			case 32:
				break;
			case 65:
				state=19;
				break;
			case 66:
				state=19;
				break;
			case 67:
				state=19;
				break;
			case 68:
				state=19;
				break;
			case 69:
				state=19;
				break;
			case 70:
				state=19;
				break;
			case 71:
				state=19;
				break;
			case 72:
				state=19;
				break;
			case 73:
				state=19;
				break;
			case 74:
				state=19;
				break;
			case 75:
				state=19;
				break;
			case 76:
				state=19;
				break;
			case 77:
				state=19;
				break;
			case 78:
				state=19;
				break;
			case 79:
				state=19;
				break;
			case 80:
				state=19;
				break;
			case 81:
				state=19;
				break;
			case 82:
				state=19;
				break;
			case 83:
				state=19;
				break;
			case 84:
				state=19;
				break;
			case 85:
				state=19;
				break;
			case 86:
				state=19;
				break;
			case 87:
				state=19;
				break;
			case 88:
				state=19;
				break;
			case 89:
				state=19;
				break;
			case 90:
				state=19;
				break;
			case 97:
				state=19;
				break;
			case 98:
				state=19;
				break;
			case 99:
				state=19;
				break;
			case 100:
				state=19;
				break;
			case 101:
				state=19;
				break;
			case 102:
				state=19;
				break;
			case 103:
				state=19;
				break;
			case 104:
				state=19;
				break;
			case 105:
				state=19;
				break;
			case 106:
				state=19;
				break;
			case 107:
				state=19;
				break;
			case 108:
				state=19;
				break;
			case 109:
				state=19;
				break;
			case 110:
				state=19;
				break;
			case 111:
				state=19;
				break;
			case 112:
				state=19;
				break;
			case 113:
				state=19;
				break;
			case 114:
				state=19;
				break;
			case 115:
				state=19;
				break;
			case 116:
				state=19;
				break;
			case 117:
				state=19;
				break;
			case 118:
				state=19;
				break;
			case 119:
				state=19;
				break;
			case 120:
				state=19;
				break;
			case 121:
				state=19;
				break;
			case 122:
				state=19;
				break;
			default:
				return 0;
			}
			break;
		case 18:
			switch(ch)
			{
			case 32:
				break;
			case 65:
				state=20;
				break;
			case 66:
				state=20;
				break;
			case 67:
				state=20;
				break;
			case 68:
				state=20;
				break;
			case 69:
				state=20;
				break;
			case 70:
				state=20;
				break;
			case 71:
				state=20;
				break;
			case 72:
				state=20;
				break;
			case 73:
				state=20;
				break;
			case 74:
				state=20;
				break;
			case 75:
				state=20;
				break;
			case 76:
				state=20;
				break;
			case 77:
				state=20;
				break;
			case 78:
				state=20;
				break;
			case 79:
				state=20;
				break;
			case 80:
				state=20;
				break;
			case 81:
				state=20;
				break;
			case 82:
				state=20;
				break;
			case 83:
				state=20;
				break;
			case 84:
				state=20;
				break;
			case 85:
				state=20;
				break;
			case 86:
				state=20;
				break;
			case 87:
				state=20;
				break;
			case 88:
				state=20;
				break;
			case 89:
				state=20;
				break;
			case 90:
				state=20;
				break;
			case 97:
				state=20;
				break;
			case 98:
				state=20;
				break;
			case 99:
				state=20;
				break;
			case 100:
				state=20;
				break;
			case 101:
				state=20;
				break;
			case 102:
				state=20;
				break;
			case 103:
				state=20;
				break;
			case 104:
				state=20;
				break;
			case 105:
				state=20;
				break;
			case 106:
				state=20;
				break;
			case 107:
				state=20;
				break;
			case 108:
				state=20;
				break;
			case 109:
				state=20;
				break;
			case 110:
				state=20;
				break;
			case 111:
				state=20;
				break;
			case 112:
				state=20;
				break;
			case 113:
				state=20;
				break;
			case 114:
				state=20;
				break;
			case 115:
				state=20;
				break;
			case 116:
				state=20;
				break;
			case 117:
				state=20;
				break;
			case 118:
				state=20;
				break;
			case 119:
				state=20;
				break;
			case 120:
				state=20;
				break;
			case 121:
				state=20;
				break;
			case 122:
				state=20;
				break;
			default:
				return 0;
			}
			break;
		case 19:
			switch(ch)
			{
			case 32:
				state=34;
				break;
			case 65:
				break;
			case 66:
				break;
			case 67:
				break;
			case 68:
				break;
			case 69:
				break;
			case 70:
				break;
			case 71:
				break;
			case 72:
				break;
			case 73:
				break;
			case 74:
				break;
			case 75:
				break;
			case 76:
				break;
			case 77:
				break;
			case 78:
				break;
			case 79:
				break;
			case 80:
				break;
			case 81:
				break;
			case 82:
				break;
			case 83:
				break;
			case 84:
				break;
			case 85:
				break;
			case 86:
				break;
			case 87:
				break;
			case 88:
				break;
			case 89:
				break;
			case 90:
				break;
			case 97:
				break;
			case 98:
				break;
			case 99:
				break;
			case 100:
				break;
			case 101:
				break;
			case 102:
				break;
			case 103:
				break;
			case 104:
				break;
			case 105:
				break;
			case 106:
				break;
			case 107:
				break;
			case 108:
				break;
			case 109:
				break;
			case 110:
				break;
			case 111:
				break;
			case 112:
				break;
			case 113:
				break;
			case 114:
				break;
			case 115:
				break;
			case 116:
				break;
			case 117:
				break;
			case 118:
				break;
			case 119:
				break;
			case 120:
				break;
			case 121:
				break;
			case 122:
				break;
			default:
				return 0;
			}
			break;
		case 20:
			switch(ch)
			{
			case 32:
				state=36;
				break;
			case 65:
				break;
			case 66:
				break;
			case 67:
				break;
			case 68:
				break;
			case 69:
				break;
			case 70:
				break;
			case 71:
				break;
			case 72:
				break;
			case 73:
				break;
			case 74:
				break;
			case 75:
				break;
			case 76:
				break;
			case 77:
				break;
			case 78:
				break;
			case 79:
				break;
			case 80:
				break;
			case 81:
				break;
			case 82:
				break;
			case 83:
				break;
			case 84:
				break;
			case 85:
				break;
			case 86:
				break;
			case 87:
				break;
			case 88:
				break;
			case 89:
				break;
			case 90:
				break;
			case 97:
				break;
			case 98:
				break;
			case 99:
				break;
			case 100:
				break;
			case 101:
				break;
			case 102:
				break;
			case 103:
				break;
			case 104:
				break;
			case 105:
				break;
			case 106:
				break;
			case 107:
				break;
			case 108:
				break;
			case 109:
				break;
			case 110:
				break;
			case 111:
				break;
			case 112:
				break;
			case 113:
				break;
			case 114:
				break;
			case 115:
				break;
			case 116:
				break;
			case 117:
				break;
			case 118:
				break;
			case 119:
				break;
			case 120:
				break;
			case 121:
				break;
			case 122:
				break;
			default:
				return 0;
			}
			break;
		case 21:
			switch(ch)
			{
			case 32:
				state=58;
				break;
			case 65:
				break;
			case 66:
				break;
			case 67:
				break;
			case 68:
				break;
			case 69:
				break;
			case 70:
				break;
			case 71:
				break;
			case 72:
				break;
			case 73:
				break;
			case 74:
				break;
			case 75:
				break;
			case 76:
				break;
			case 77:
				break;
			case 78:
				break;
			case 79:
				break;
			case 80:
				break;
			case 81:
				break;
			case 82:
				break;
			case 83:
				break;
			case 84:
				break;
			case 85:
				break;
			case 86:
				break;
			case 87:
				break;
			case 88:
				break;
			case 89:
				break;
			case 90:
				break;
			case 97:
				break;
			case 98:
				break;
			case 99:
				break;
			case 100:
				break;
			case 101:
				break;
			case 102:
				break;
			case 103:
				break;
			case 104:
				break;
			case 105:
				break;
			case 106:
				break;
			case 107:
				break;
			case 108:
				break;
			case 109:
				break;
			case 110:
				break;
			case 111:
				break;
			case 112:
				break;
			case 113:
				break;
			case 114:
				break;
			case 115:
				break;
			case 116:
				break;
			case 117:
				break;
			case 118:
				break;
			case 119:
				break;
			case 120:
				break;
			case 121:
				break;
			case 122:
				break;
			default:
				return 0;
			}
			break;
		case 22:
			switch(ch)
			{
			case 32:
				state=69;
				break;
			case 65:
				break;
			case 66:
				break;
			case 67:
				break;
			case 68:
				break;
			case 69:
				break;
			case 70:
				break;
			case 71:
				break;
			case 72:
				break;
			case 73:
				break;
			case 74:
				break;
			case 75:
				break;
			case 76:
				break;
			case 77:
				break;
			case 78:
				break;
			case 79:
				break;
			case 80:
				break;
			case 81:
				break;
			case 82:
				break;
			case 83:
				break;
			case 84:
				break;
			case 85:
				break;
			case 86:
				break;
			case 87:
				break;
			case 88:
				break;
			case 89:
				break;
			case 90:
				break;
			case 97:
				break;
			case 98:
				break;
			case 99:
				break;
			case 100:
				break;
			case 101:
				break;
			case 102:
				break;
			case 103:
				break;
			case 104:
				break;
			case 105:
				break;
			case 106:
				break;
			case 107:
				break;
			case 108:
				break;
			case 109:
				break;
			case 110:
				break;
			case 111:
				break;
			case 112:
				break;
			case 113:
				break;
			case 114:
				break;
			case 115:
				break;
			case 116:
				break;
			case 117:
				break;
			case 118:
				break;
			case 119:
				break;
			case 120:
				break;
			case 121:
				break;
			case 122:
				break;
			default:
				return 0;
			}
			break;
		case 23:
			switch(ch)
			{
			case 32:
				state=17;
				break;
			case 48:
				state=70;
				break;
			case 49:
				state=70;
				break;
			case 50:
				state=70;
				break;
			case 51:
				state=70;
				break;
			case 52:
				state=70;
				break;
			case 53:
				state=70;
				break;
			case 54:
				state=70;
				break;
			case 55:
				state=70;
				break;
			case 56:
				state=70;
				break;
			case 57:
				state=70;
				break;
			case 8211:
				state=24;
				break;
			default:
				return 0;
			}
			break;
		case 24:
			switch(ch)
			{
			case 49:
				state=30;
				break;
			case 50:
				state=30;
				break;
			case 51:
				state=30;
				break;
			case 52:
				state=30;
				break;
			case 53:
				state=30;
				break;
			case 54:
				state=30;
				break;
			case 55:
				state=30;
				break;
			case 56:
				state=30;
				break;
			case 57:
				state=30;
				break;
			default:
				return 0;
			}
			break;
		case 25:
			switch(ch)
			{
			case 49:
				state=49;
				break;
			case 50:
				state=49;
				break;
			case 51:
				state=49;
				break;
			case 52:
				state=49;
				break;
			case 53:
				state=49;
				break;
			case 54:
				state=49;
				break;
			case 55:
				state=49;
				break;
			case 56:
				state=49;
				break;
			case 57:
				state=49;
				break;
			default:
				return 0;
			}
			break;
		case 26:
			switch(ch)
			{
			case 32:
				break;
			case 48:
				state=3;
				break;
			case 49:
				state=31;
				break;
			case 50:
				state=31;
				break;
			case 51:
				state=31;
				break;
			case 52:
				state=31;
				break;
			case 53:
				state=31;
				break;
			case 54:
				state=31;
				break;
			case 55:
				state=31;
				break;
			case 56:
				state=31;
				break;
			case 57:
				state=31;
				break;
			default:
				return 0;
			}
			break;
		case 27:
			switch(ch)
			{
			case 65:
				state=20;
				break;
			case 66:
				state=20;
				break;
			case 67:
				state=20;
				break;
			case 68:
				state=20;
				break;
			case 69:
				state=20;
				break;
			case 70:
				state=20;
				break;
			case 71:
				state=20;
				break;
			case 72:
				state=20;
				break;
			case 73:
				state=20;
				break;
			case 74:
				state=20;
				break;
			case 75:
				state=20;
				break;
			case 76:
				state=20;
				break;
			case 77:
				state=20;
				break;
			case 78:
				state=20;
				break;
			case 79:
				state=20;
				break;
			case 80:
				state=20;
				break;
			case 81:
				state=20;
				break;
			case 82:
				state=20;
				break;
			case 83:
				state=20;
				break;
			case 84:
				state=20;
				break;
			case 85:
				state=20;
				break;
			case 86:
				state=20;
				break;
			case 87:
				state=20;
				break;
			case 88:
				state=20;
				break;
			case 89:
				state=20;
				break;
			case 90:
				state=20;
				break;
			case 97:
				state=20;
				break;
			case 98:
				state=20;
				break;
			case 99:
				state=20;
				break;
			case 100:
				state=20;
				break;
			case 101:
				state=20;
				break;
			case 102:
				state=20;
				break;
			case 103:
				state=20;
				break;
			case 104:
				state=20;
				break;
			case 105:
				state=20;
				break;
			case 106:
				state=20;
				break;
			case 107:
				state=20;
				break;
			case 108:
				state=20;
				break;
			case 109:
				state=20;
				break;
			case 110:
				state=20;
				break;
			case 111:
				state=20;
				break;
			case 112:
				state=20;
				break;
			case 113:
				state=20;
				break;
			case 114:
				state=20;
				break;
			case 115:
				state=20;
				break;
			case 116:
				state=20;
				break;
			case 117:
				state=20;
				break;
			case 118:
				state=20;
				break;
			case 119:
				state=20;
				break;
			case 120:
				state=20;
				break;
			case 121:
				state=20;
				break;
			case 122:
				state=20;
				break;
			default:
				return 0;
			}
			break;
		case 28:
			switch(ch)
			{
			case 65:
				state=21;
				break;
			case 66:
				state=21;
				break;
			case 67:
				state=21;
				break;
			case 68:
				state=21;
				break;
			case 69:
				state=21;
				break;
			case 70:
				state=21;
				break;
			case 71:
				state=21;
				break;
			case 72:
				state=21;
				break;
			case 73:
				state=21;
				break;
			case 74:
				state=21;
				break;
			case 75:
				state=21;
				break;
			case 76:
				state=21;
				break;
			case 77:
				state=21;
				break;
			case 78:
				state=21;
				break;
			case 79:
				state=21;
				break;
			case 80:
				state=21;
				break;
			case 81:
				state=21;
				break;
			case 82:
				state=21;
				break;
			case 83:
				state=21;
				break;
			case 84:
				state=21;
				break;
			case 85:
				state=21;
				break;
			case 86:
				state=21;
				break;
			case 87:
				state=21;
				break;
			case 88:
				state=21;
				break;
			case 89:
				state=21;
				break;
			case 90:
				state=21;
				break;
			case 97:
				state=21;
				break;
			case 98:
				state=21;
				break;
			case 99:
				state=21;
				break;
			case 100:
				state=21;
				break;
			case 101:
				state=21;
				break;
			case 102:
				state=21;
				break;
			case 103:
				state=21;
				break;
			case 104:
				state=21;
				break;
			case 105:
				state=21;
				break;
			case 106:
				state=21;
				break;
			case 107:
				state=21;
				break;
			case 108:
				state=21;
				break;
			case 109:
				state=21;
				break;
			case 110:
				state=21;
				break;
			case 111:
				state=21;
				break;
			case 112:
				state=21;
				break;
			case 113:
				state=21;
				break;
			case 114:
				state=21;
				break;
			case 115:
				state=21;
				break;
			case 116:
				state=21;
				break;
			case 117:
				state=21;
				break;
			case 118:
				state=21;
				break;
			case 119:
				state=21;
				break;
			case 120:
				state=21;
				break;
			case 121:
				state=21;
				break;
			case 122:
				state=21;
				break;
			default:
				return 0;
			}
			break;
		case 29:
			switch(ch)
			{
			case 65:
				state=22;
				break;
			case 66:
				state=22;
				break;
			case 67:
				state=22;
				break;
			case 68:
				state=22;
				break;
			case 69:
				state=22;
				break;
			case 70:
				state=22;
				break;
			case 71:
				state=22;
				break;
			case 72:
				state=22;
				break;
			case 73:
				state=22;
				break;
			case 74:
				state=22;
				break;
			case 75:
				state=22;
				break;
			case 76:
				state=22;
				break;
			case 77:
				state=22;
				break;
			case 78:
				state=22;
				break;
			case 79:
				state=22;
				break;
			case 80:
				state=22;
				break;
			case 81:
				state=22;
				break;
			case 82:
				state=22;
				break;
			case 83:
				state=22;
				break;
			case 84:
				state=22;
				break;
			case 85:
				state=22;
				break;
			case 86:
				state=22;
				break;
			case 87:
				state=22;
				break;
			case 88:
				state=22;
				break;
			case 89:
				state=22;
				break;
			case 90:
				state=22;
				break;
			case 97:
				state=22;
				break;
			case 98:
				state=22;
				break;
			case 99:
				state=22;
				break;
			case 100:
				state=22;
				break;
			case 101:
				state=22;
				break;
			case 102:
				state=22;
				break;
			case 103:
				state=22;
				break;
			case 104:
				state=22;
				break;
			case 105:
				state=22;
				break;
			case 106:
				state=22;
				break;
			case 107:
				state=22;
				break;
			case 108:
				state=22;
				break;
			case 109:
				state=22;
				break;
			case 110:
				state=22;
				break;
			case 111:
				state=22;
				break;
			case 112:
				state=22;
				break;
			case 113:
				state=22;
				break;
			case 114:
				state=22;
				break;
			case 115:
				state=22;
				break;
			case 116:
				state=22;
				break;
			case 117:
				state=22;
				break;
			case 118:
				state=22;
				break;
			case 119:
				state=22;
				break;
			case 120:
				state=22;
				break;
			case 121:
				state=22;
				break;
			case 122:
				state=22;
				break;
			default:
				return 0;
			}
			break;
		case 30:
			switch(ch)
			{
			case 32:
				state=18;
				break;
			case 48:
				state=38;
				break;
			case 49:
				state=38;
				break;
			case 50:
				state=38;
				break;
			case 51:
				state=38;
				break;
			case 52:
				state=38;
				break;
			case 53:
				state=38;
				break;
			case 54:
				state=38;
				break;
			case 55:
				state=38;
				break;
			case 56:
				state=38;
				break;
			case 57:
				state=38;
				break;
			default:
				return 0;
			}
			break;
		case 31:
			switch(ch)
			{
			case 32:
				state=39;
				break;
			case 44:
				state=43;
				break;
			case 48:
				state=32;
				break;
			case 49:
				state=32;
				break;
			case 50:
				state=32;
				break;
			case 51:
				state=32;
				break;
			case 52:
				state=32;
				break;
			case 53:
				state=32;
				break;
			case 54:
				state=32;
				break;
			case 55:
				state=32;
				break;
			case 56:
				state=32;
				break;
			case 57:
				state=32;
				break;
			case 8211:
				state=25;
				break;
			default:
				return 0;
			}
			break;
		case 32:
			switch(ch)
			{
			case 32:
				state=39;
				break;
			case 44:
				state=43;
				break;
			case 48:
				state=48;
				break;
			case 49:
				state=48;
				break;
			case 50:
				state=48;
				break;
			case 51:
				state=48;
				break;
			case 52:
				state=48;
				break;
			case 53:
				state=48;
				break;
			case 54:
				state=48;
				break;
			case 55:
				state=48;
				break;
			case 56:
				state=48;
				break;
			case 57:
				state=48;
				break;
			case 8211:
				state=25;
				break;
			default:
				return 0;
			}
			break;
		case 33:
			switch(ch)
			{
			case 45:
				state=8;
				break;
			default:
				return 0;
			}
			break;
		case 34:
			switch(ch)
			{
			case 32:
				break;
			case 49:
				state=4;
				break;
			case 50:
				state=4;
				break;
			case 51:
				state=4;
				break;
			case 52:
				state=4;
				break;
			case 53:
				state=4;
				break;
			case 54:
				state=4;
				break;
			case 55:
				state=4;
				break;
			case 56:
				state=4;
				break;
			case 57:
				state=4;
				break;
			default:
				return 0;
			}
			break;
		case 35:
			switch(ch)
			{
			case 32:
				break;
			case 49:
				state=5;
				break;
			case 50:
				state=5;
				break;
			case 51:
				state=5;
				break;
			case 52:
				state=5;
				break;
			case 53:
				state=5;
				break;
			case 54:
				state=5;
				break;
			case 55:
				state=5;
				break;
			case 56:
				state=5;
				break;
			case 57:
				state=5;
				break;
			default:
				return 0;
			}
			break;
		case 36:
			switch(ch)
			{
			case 32:
				break;
			case 49:
				state=3;
				break;
			case 50:
				state=3;
				break;
			case 51:
				state=3;
				break;
			case 52:
				state=3;
				break;
			case 53:
				state=3;
				break;
			case 54:
				state=3;
				break;
			case 55:
				state=3;
				break;
			case 56:
				state=3;
				break;
			case 57:
				state=3;
				break;
			default:
				return 0;
			}
			break;
		case 37:
			switch(ch)
			{
			case 49:
				state=9;
				break;
			case 50:
				state=9;
				break;
			case 51:
				state=9;
				break;
			case 52:
				state=9;
				break;
			case 53:
				state=9;
				break;
			case 54:
				state=9;
				break;
			case 55:
				state=9;
				break;
			case 56:
				state=9;
				break;
			case 57:
				state=9;
				break;
			default:
				return 0;
			}
			break;
		case 38:
			switch(ch)
			{
			case 32:
				state=18;
				break;
			default:
				return 0;
			}
			break;
		case 39:
			switch(ch)
			{
			case 8211:
				state=46;
				break;
			default:
				return 0;
			}
			break;
		case 40:
			switch(ch)
			{
			case 8211:
				state=47;
				break;
			default:
				return 0;
			}
			break;
		case 41:
			switch(ch)
			{
			case 8211:
				state=60;
				break;
			default:
				return 0;
			}
			break;
		case 42:
			switch(ch)
			{
			case 8211:
				state=65;
				break;
			default:
				return 0;
			}
			break;
		case 43:
			switch(ch)
			{
			case 32:
				state=35;
				break;
			default:
				return 0;
			}
			break;
		case 44:
			switch(ch)
			{
			case 32:
				state=36;
				break;
			default:
				return 0;
			}
			break;
		case 45:
			switch(ch)
			{
			case 48:
				state=75;
				break;
			case 49:
				state=75;
				break;
			case 50:
				state=75;
				break;
			case 51:
				state=75;
				break;
			case 52:
				state=75;
				break;
			case 53:
				state=75;
				break;
			case 54:
				state=75;
				break;
			case 55:
				state=75;
				break;
			case 56:
				state=75;
				break;
			case 57:
				state=75;
				break;
			default:
				return 0;
			}
			break;
		case 46:
			switch(ch)
			{
			case 32:
				state=28;
				break;
			default:
				return 0;
			}
			break;
		case 47:
			switch(ch)
			{
			case 32:
				state=29;
				break;
			default:
				return 0;
			}
			break;
		case 48:
			switch(ch)
			{
			case 48:
				state=76;
				break;
			case 49:
				state=76;
				break;
			case 50:
				state=76;
				break;
			case 51:
				state=76;
				break;
			case 52:
				state=76;
				break;
			case 53:
				state=76;
				break;
			case 54:
				state=76;
				break;
			case 55:
				state=76;
				break;
			case 56:
				state=76;
				break;
			case 57:
				state=76;
				break;
			default:
				return 0;
			}
			break;
		case 49:
			switch(ch)
			{
			case 44:
				state=44;
				break;
			case 48:
				state=54;
				break;
			case 49:
				state=54;
				break;
			case 50:
				state=54;
				break;
			case 51:
				state=54;
				break;
			case 52:
				state=54;
				break;
			case 53:
				state=54;
				break;
			case 54:
				state=54;
				break;
			case 55:
				state=54;
				break;
			case 56:
				state=54;
				break;
			case 57:
				state=54;
				break;
			default:
				return 0;
			}
			break;
		case 50:
			switch(ch)
			{
			case 48:
				state=77;
				break;
			case 49:
				state=77;
				break;
			case 50:
				state=77;
				break;
			case 51:
				state=77;
				break;
			case 52:
				state=77;
				break;
			case 53:
				state=77;
				break;
			case 54:
				state=77;
				break;
			case 55:
				state=77;
				break;
			case 56:
				state=77;
				break;
			case 57:
				state=77;
				break;
			default:
				return 0;
			}
			break;
		case 51:
			switch(ch)
			{
			case 48:
				state=78;
				break;
			case 49:
				state=78;
				break;
			case 50:
				state=78;
				break;
			case 51:
				state=78;
				break;
			case 52:
				state=78;
				break;
			case 53:
				state=78;
				break;
			case 54:
				state=78;
				break;
			case 55:
				state=78;
				break;
			case 56:
				state=78;
				break;
			case 57:
				state=78;
				break;
			default:
				return 0;
			}
			break;
		case 52:
			switch(ch)
			{
			case 48:
				state=56;
				break;
			case 49:
				state=56;
				break;
			case 50:
				state=56;
				break;
			case 51:
				state=56;
				break;
			case 52:
				state=56;
				break;
			case 53:
				state=56;
				break;
			case 54:
				state=56;
				break;
			case 55:
				state=56;
				break;
			case 56:
				state=56;
				break;
			case 57:
				state=56;
				break;
			case 26376:
				state=74;
				break;
			default:
				return 0;
			}
			break;
		case 53:
			switch(ch)
			{
			case 48:
				state=79;
				break;
			case 49:
				state=79;
				break;
			case 50:
				state=79;
				break;
			case 51:
				state=79;
				break;
			case 52:
				state=79;
				break;
			case 53:
				state=79;
				break;
			case 54:
				state=79;
				break;
			case 55:
				state=79;
				break;
			case 56:
				state=79;
				break;
			case 57:
				state=79;
				break;
			default:
				return 0;
			}
			break;
		case 54:
			switch(ch)
			{
			case 44:
				state=44;
				break;
			default:
				return 0;
			}
			break;
		case 55:
			switch(ch)
			{
			case 48:
				state=80;
				break;
			case 49:
				state=80;
				break;
			case 50:
				state=80;
				break;
			case 51:
				state=80;
				break;
			case 52:
				state=80;
				break;
			case 53:
				state=80;
				break;
			case 54:
				state=80;
				break;
			case 55:
				state=80;
				break;
			case 56:
				state=80;
				break;
			case 57:
				state=80;
				break;
			default:
				return 0;
			}
			break;
		case 56:
			switch(ch)
			{
			case 26376:
				state=74;
				break;
			default:
				return 0;
			}
			break;
		case 57:
			switch(ch)
			{
			case 48:
				state=63;
				break;
			case 49:
				state=63;
				break;
			case 50:
				state=63;
				break;
			case 51:
				state=63;
				break;
			case 52:
				state=63;
				break;
			case 53:
				state=63;
				break;
			case 54:
				state=63;
				break;
			case 55:
				state=63;
				break;
			case 56:
				state=63;
				break;
			case 57:
				state=63;
				break;
			case 26085:
				state=72;
				break;
			default:
				return 0;
			}
			break;
		case 58:
			switch(ch)
			{
			case 32:
				break;
			case 49:
				state=64;
				break;
			case 50:
				state=64;
				break;
			case 51:
				state=64;
				break;
			case 52:
				state=64;
				break;
			case 53:
				state=64;
				break;
			case 54:
				state=64;
				break;
			case 55:
				state=64;
				break;
			case 56:
				state=64;
				break;
			case 57:
				state=64;
				break;
			default:
				return 0;
			}
			break;
		case 59:
			switch(ch)
			{
			case 48:
				state=81;
				break;
			case 49:
				state=81;
				break;
			case 50:
				state=81;
				break;
			case 51:
				state=81;
				break;
			case 52:
				state=81;
				break;
			case 53:
				state=81;
				break;
			case 54:
				state=81;
				break;
			case 55:
				state=81;
				break;
			case 56:
				state=81;
				break;
			case 57:
				state=81;
				break;
			default:
				return 0;
			}
			break;
		case 60:
			switch(ch)
			{
			case 32:
				state=27;
				break;
			default:
				return 0;
			}
			break;
		case 61:
			switch(ch)
			{
			case 48:
				state=82;
				break;
			case 49:
				state=82;
				break;
			case 50:
				state=82;
				break;
			case 51:
				state=82;
				break;
			case 52:
				state=82;
				break;
			case 53:
				state=82;
				break;
			case 54:
				state=82;
				break;
			case 55:
				state=82;
				break;
			case 56:
				state=82;
				break;
			case 57:
				state=82;
				break;
			default:
				return 0;
			}
			break;
		case 62:
			switch(ch)
			{
			case 48:
				state=72;
				break;
			case 49:
				state=72;
				break;
			case 50:
				state=72;
				break;
			case 51:
				state=72;
				break;
			case 52:
				state=72;
				break;
			case 53:
				state=72;
				break;
			case 54:
				state=72;
				break;
			case 55:
				state=72;
				break;
			case 56:
				state=72;
				break;
			case 57:
				state=72;
				break;
			default:
				return 0;
			}
			break;
		case 63:
			switch(ch)
			{
			case 26085:
				state=72;
				break;
			default:
				return 0;
			}
			break;
		case 64:
			switch(ch)
			{
			case 44:
				state=66;
				break;
			case 48:
				state=67;
				break;
			case 49:
				state=67;
				break;
			case 50:
				state=67;
				break;
			case 51:
				state=67;
				break;
			case 52:
				state=67;
				break;
			case 53:
				state=67;
				break;
			case 54:
				state=67;
				break;
			case 55:
				state=67;
				break;
			case 56:
				state=67;
				break;
			case 57:
				state=67;
				break;
			default:
				return 0;
			}
			break;
		case 65:
			switch(ch)
			{
			case 32:
				state=24;
				break;
			default:
				return 0;
			}
			break;
		case 66:
			switch(ch)
			{
			case 32:
				state=68;
				break;
			default:
				return 0;
			}
			break;
		case 67:
			switch(ch)
			{
			case 44:
				state=66;
				break;
			default:
				return 0;
			}
			break;
		case 68:
			switch(ch)
			{
			case 32:
				break;
			case 49:
				state=9;
				break;
			case 50:
				state=9;
				break;
			case 51:
				state=9;
				break;
			case 52:
				state=9;
				break;
			case 53:
				state=9;
				break;
			case 54:
				state=9;
				break;
			case 55:
				state=9;
				break;
			case 56:
				state=9;
				break;
			case 57:
				state=9;
				break;
			default:
				return 0;
			}
			break;
		case 69:
			switch(ch)
			{
			case 32:
				break;
			case 49:
				state=49;
				break;
			case 50:
				state=49;
				break;
			case 51:
				state=49;
				break;
			case 52:
				state=49;
				break;
			case 53:
				state=49;
				break;
			case 54:
				state=49;
				break;
			case 55:
				state=49;
				break;
			case 56:
				state=49;
				break;
			case 57:
				state=49;
				break;
			default:
				return 0;
			}
			break;
		case 70:
			switch(ch)
			{
			case 48:
				state=71;
				break;
			case 49:
				state=71;
				break;
			case 50:
				state=71;
				break;
			case 51:
				state=71;
				break;
			case 52:
				state=71;
				break;
			case 53:
				state=71;
				break;
			case 54:
				state=71;
				break;
			case 55:
				state=71;
				break;
			case 56:
				state=71;
				break;
			case 57:
				state=71;
				break;
			case 65:
				state=72;
				break;
			case 66:
				state=72;
				break;
			case 67:
				state=72;
				break;
			case 68:
				state=72;
				break;
			case 69:
				state=72;
				break;
			case 70:
				state=72;
				break;
			case 71:
				state=72;
				break;
			case 72:
				state=72;
				break;
			case 73:
				state=72;
				break;
			case 74:
				state=72;
				break;
			case 75:
				state=72;
				break;
			case 76:
				state=72;
				break;
			case 77:
				state=72;
				break;
			case 78:
				state=72;
				break;
			case 79:
				state=72;
				break;
			case 80:
				state=72;
				break;
			case 81:
				state=72;
				break;
			case 82:
				state=72;
				break;
			case 83:
				state=72;
				break;
			case 84:
				state=72;
				break;
			case 85:
				state=72;
				break;
			case 86:
				state=72;
				break;
			case 87:
				state=72;
				break;
			case 88:
				state=72;
				break;
			case 89:
				state=72;
				break;
			case 90:
				state=72;
				break;
			case 97:
				state=72;
				break;
			case 98:
				state=72;
				break;
			case 99:
				state=72;
				break;
			case 100:
				state=72;
				break;
			case 101:
				state=72;
				break;
			case 102:
				state=72;
				break;
			case 103:
				state=72;
				break;
			case 104:
				state=72;
				break;
			case 105:
				state=72;
				break;
			case 106:
				state=72;
				break;
			case 107:
				state=72;
				break;
			case 108:
				state=72;
				break;
			case 109:
				state=72;
				break;
			case 110:
				state=72;
				break;
			case 111:
				state=72;
				break;
			case 112:
				state=72;
				break;
			case 113:
				state=72;
				break;
			case 114:
				state=72;
				break;
			case 115:
				state=72;
				break;
			case 116:
				state=72;
				break;
			case 117:
				state=72;
				break;
			case 118:
				state=72;
				break;
			case 119:
				state=72;
				break;
			case 120:
				state=72;
				break;
			case 121:
				state=72;
				break;
			case 122:
				state=72;
				break;
			case 8211:
				state=37;
				break;
			case 24180:
				state=72;
				break;
			default:
				return 0;
			}
			break;
		case 71:
			switch(ch)
			{
			case 45:
				state=8;
				break;
			case 65:
				state=72;
				break;
			case 66:
				state=72;
				break;
			case 67:
				state=72;
				break;
			case 68:
				state=72;
				break;
			case 69:
				state=72;
				break;
			case 70:
				state=72;
				break;
			case 71:
				state=72;
				break;
			case 72:
				state=72;
				break;
			case 73:
				state=72;
				break;
			case 74:
				state=72;
				break;
			case 75:
				state=72;
				break;
			case 76:
				state=72;
				break;
			case 77:
				state=72;
				break;
			case 78:
				state=72;
				break;
			case 79:
				state=72;
				break;
			case 80:
				state=72;
				break;
			case 81:
				state=72;
				break;
			case 82:
				state=72;
				break;
			case 83:
				state=72;
				break;
			case 84:
				state=72;
				break;
			case 85:
				state=72;
				break;
			case 86:
				state=72;
				break;
			case 87:
				state=72;
				break;
			case 88:
				state=72;
				break;
			case 89:
				state=72;
				break;
			case 90:
				state=72;
				break;
			case 97:
				state=72;
				break;
			case 98:
				state=72;
				break;
			case 99:
				state=72;
				break;
			case 100:
				state=72;
				break;
			case 101:
				state=72;
				break;
			case 102:
				state=72;
				break;
			case 103:
				state=72;
				break;
			case 104:
				state=72;
				break;
			case 105:
				state=72;
				break;
			case 106:
				state=72;
				break;
			case 107:
				state=72;
				break;
			case 108:
				state=72;
				break;
			case 109:
				state=72;
				break;
			case 110:
				state=72;
				break;
			case 111:
				state=72;
				break;
			case 112:
				state=72;
				break;
			case 113:
				state=72;
				break;
			case 114:
				state=72;
				break;
			case 115:
				state=72;
				break;
			case 116:
				state=72;
				break;
			case 117:
				state=72;
				break;
			case 118:
				state=72;
				break;
			case 119:
				state=72;
				break;
			case 120:
				state=72;
				break;
			case 121:
				state=72;
				break;
			case 122:
				state=72;
				break;
			case 8211:
				state=13;
				break;
			case 24180:
				state=73;
				break;
			default:
				return 0;
			}
			break;
		case 72:
			switch(ch)
			{
			default:
				return 0;
			}
			break;
		case 73:
			switch(ch)
			{
			case 49:
				state=52;
				break;
			case 50:
				state=52;
				break;
			case 51:
				state=52;
				break;
			case 52:
				state=52;
				break;
			case 53:
				state=52;
				break;
			case 54:
				state=52;
				break;
			case 55:
				state=52;
				break;
			case 56:
				state=52;
				break;
			case 57:
				state=52;
				break;
			default:
				return 0;
			}
			break;
		case 74:
			switch(ch)
			{
			case 49:
				state=57;
				break;
			case 50:
				state=57;
				break;
			case 51:
				state=57;
				break;
			case 52:
				state=57;
				break;
			case 53:
				state=57;
				break;
			case 54:
				state=57;
				break;
			case 55:
				state=57;
				break;
			case 56:
				state=57;
				break;
			case 57:
				state=57;
				break;
			default:
				return 0;
			}
			break;
		case 75:
			switch(ch)
			{
			case 65:
				state=72;
				break;
			case 66:
				state=72;
				break;
			case 67:
				state=72;
				break;
			case 68:
				state=72;
				break;
			case 69:
				state=72;
				break;
			case 70:
				state=72;
				break;
			case 71:
				state=72;
				break;
			case 72:
				state=72;
				break;
			case 73:
				state=72;
				break;
			case 74:
				state=72;
				break;
			case 75:
				state=72;
				break;
			case 76:
				state=72;
				break;
			case 77:
				state=72;
				break;
			case 78:
				state=72;
				break;
			case 79:
				state=72;
				break;
			case 80:
				state=72;
				break;
			case 81:
				state=72;
				break;
			case 82:
				state=72;
				break;
			case 83:
				state=72;
				break;
			case 84:
				state=72;
				break;
			case 85:
				state=72;
				break;
			case 86:
				state=72;
				break;
			case 87:
				state=72;
				break;
			case 88:
				state=72;
				break;
			case 89:
				state=72;
				break;
			case 90:
				state=72;
				break;
			case 97:
				state=72;
				break;
			case 98:
				state=72;
				break;
			case 99:
				state=72;
				break;
			case 100:
				state=72;
				break;
			case 101:
				state=72;
				break;
			case 102:
				state=72;
				break;
			case 103:
				state=72;
				break;
			case 104:
				state=72;
				break;
			case 105:
				state=72;
				break;
			case 106:
				state=72;
				break;
			case 107:
				state=72;
				break;
			case 108:
				state=72;
				break;
			case 109:
				state=72;
				break;
			case 110:
				state=72;
				break;
			case 111:
				state=72;
				break;
			case 112:
				state=72;
				break;
			case 113:
				state=72;
				break;
			case 114:
				state=72;
				break;
			case 115:
				state=72;
				break;
			case 116:
				state=72;
				break;
			case 117:
				state=72;
				break;
			case 118:
				state=72;
				break;
			case 119:
				state=72;
				break;
			case 120:
				state=72;
				break;
			case 121:
				state=72;
				break;
			case 122:
				state=72;
				break;
			default:
				return 0;
			}
			break;
		case 76:
			switch(ch)
			{
			case 32:
				state=41;
				break;
			case 65:
				state=72;
				break;
			case 66:
				state=72;
				break;
			case 67:
				state=72;
				break;
			case 68:
				state=72;
				break;
			case 69:
				state=72;
				break;
			case 70:
				state=72;
				break;
			case 71:
				state=72;
				break;
			case 72:
				state=72;
				break;
			case 73:
				state=72;
				break;
			case 74:
				state=72;
				break;
			case 75:
				state=72;
				break;
			case 76:
				state=72;
				break;
			case 77:
				state=72;
				break;
			case 78:
				state=72;
				break;
			case 79:
				state=72;
				break;
			case 80:
				state=72;
				break;
			case 81:
				state=72;
				break;
			case 82:
				state=72;
				break;
			case 83:
				state=72;
				break;
			case 84:
				state=72;
				break;
			case 85:
				state=72;
				break;
			case 86:
				state=72;
				break;
			case 87:
				state=72;
				break;
			case 88:
				state=72;
				break;
			case 89:
				state=72;
				break;
			case 90:
				state=72;
				break;
			case 97:
				state=72;
				break;
			case 98:
				state=72;
				break;
			case 99:
				state=72;
				break;
			case 100:
				state=72;
				break;
			case 101:
				state=72;
				break;
			case 102:
				state=72;
				break;
			case 103:
				state=72;
				break;
			case 104:
				state=72;
				break;
			case 105:
				state=72;
				break;
			case 106:
				state=72;
				break;
			case 107:
				state=72;
				break;
			case 108:
				state=72;
				break;
			case 109:
				state=72;
				break;
			case 110:
				state=72;
				break;
			case 111:
				state=72;
				break;
			case 112:
				state=72;
				break;
			case 113:
				state=72;
				break;
			case 114:
				state=72;
				break;
			case 115:
				state=72;
				break;
			case 116:
				state=72;
				break;
			case 117:
				state=72;
				break;
			case 118:
				state=72;
				break;
			case 119:
				state=72;
				break;
			case 120:
				state=72;
				break;
			case 121:
				state=72;
				break;
			case 122:
				state=72;
				break;
			case 8211:
				state=14;
				break;
			default:
				return 0;
			}
			break;
		case 77:
			switch(ch)
			{
			case 45:
				state=12;
				break;
			default:
				return 0;
			}
			break;
		case 78:
			switch(ch)
			{
			case 48:
				state=79;
				break;
			case 49:
				state=79;
				break;
			case 50:
				state=79;
				break;
			case 51:
				state=79;
				break;
			case 52:
				state=79;
				break;
			case 53:
				state=79;
				break;
			case 54:
				state=79;
				break;
			case 55:
				state=79;
				break;
			case 56:
				state=79;
				break;
			case 57:
				state=79;
				break;
			case 65:
				state=72;
				break;
			case 66:
				state=72;
				break;
			case 67:
				state=72;
				break;
			case 68:
				state=72;
				break;
			case 69:
				state=72;
				break;
			case 70:
				state=72;
				break;
			case 71:
				state=72;
				break;
			case 72:
				state=72;
				break;
			case 73:
				state=72;
				break;
			case 74:
				state=72;
				break;
			case 75:
				state=72;
				break;
			case 76:
				state=72;
				break;
			case 77:
				state=72;
				break;
			case 78:
				state=72;
				break;
			case 79:
				state=72;
				break;
			case 80:
				state=72;
				break;
			case 81:
				state=72;
				break;
			case 82:
				state=72;
				break;
			case 83:
				state=72;
				break;
			case 84:
				state=72;
				break;
			case 85:
				state=72;
				break;
			case 86:
				state=72;
				break;
			case 87:
				state=72;
				break;
			case 88:
				state=72;
				break;
			case 89:
				state=72;
				break;
			case 90:
				state=72;
				break;
			case 97:
				state=72;
				break;
			case 98:
				state=72;
				break;
			case 99:
				state=72;
				break;
			case 100:
				state=72;
				break;
			case 101:
				state=72;
				break;
			case 102:
				state=72;
				break;
			case 103:
				state=72;
				break;
			case 104:
				state=72;
				break;
			case 105:
				state=72;
				break;
			case 106:
				state=72;
				break;
			case 107:
				state=72;
				break;
			case 108:
				state=72;
				break;
			case 109:
				state=72;
				break;
			case 110:
				state=72;
				break;
			case 111:
				state=72;
				break;
			case 112:
				state=72;
				break;
			case 113:
				state=72;
				break;
			case 114:
				state=72;
				break;
			case 115:
				state=72;
				break;
			case 116:
				state=72;
				break;
			case 117:
				state=72;
				break;
			case 118:
				state=72;
				break;
			case 119:
				state=72;
				break;
			case 120:
				state=72;
				break;
			case 121:
				state=72;
				break;
			case 122:
				state=72;
				break;
			default:
				return 0;
			}
			break;
		case 79:
			switch(ch)
			{
			case 48:
				state=75;
				break;
			case 49:
				state=75;
				break;
			case 50:
				state=75;
				break;
			case 51:
				state=75;
				break;
			case 52:
				state=75;
				break;
			case 53:
				state=75;
				break;
			case 54:
				state=75;
				break;
			case 55:
				state=75;
				break;
			case 56:
				state=75;
				break;
			case 57:
				state=75;
				break;
			case 65:
				state=72;
				break;
			case 66:
				state=72;
				break;
			case 67:
				state=72;
				break;
			case 68:
				state=72;
				break;
			case 69:
				state=72;
				break;
			case 70:
				state=72;
				break;
			case 71:
				state=72;
				break;
			case 72:
				state=72;
				break;
			case 73:
				state=72;
				break;
			case 74:
				state=72;
				break;
			case 75:
				state=72;
				break;
			case 76:
				state=72;
				break;
			case 77:
				state=72;
				break;
			case 78:
				state=72;
				break;
			case 79:
				state=72;
				break;
			case 80:
				state=72;
				break;
			case 81:
				state=72;
				break;
			case 82:
				state=72;
				break;
			case 83:
				state=72;
				break;
			case 84:
				state=72;
				break;
			case 85:
				state=72;
				break;
			case 86:
				state=72;
				break;
			case 87:
				state=72;
				break;
			case 88:
				state=72;
				break;
			case 89:
				state=72;
				break;
			case 90:
				state=72;
				break;
			case 97:
				state=72;
				break;
			case 98:
				state=72;
				break;
			case 99:
				state=72;
				break;
			case 100:
				state=72;
				break;
			case 101:
				state=72;
				break;
			case 102:
				state=72;
				break;
			case 103:
				state=72;
				break;
			case 104:
				state=72;
				break;
			case 105:
				state=72;
				break;
			case 106:
				state=72;
				break;
			case 107:
				state=72;
				break;
			case 108:
				state=72;
				break;
			case 109:
				state=72;
				break;
			case 110:
				state=72;
				break;
			case 111:
				state=72;
				break;
			case 112:
				state=72;
				break;
			case 113:
				state=72;
				break;
			case 114:
				state=72;
				break;
			case 115:
				state=72;
				break;
			case 116:
				state=72;
				break;
			case 117:
				state=72;
				break;
			case 118:
				state=72;
				break;
			case 119:
				state=72;
				break;
			case 120:
				state=72;
				break;
			case 121:
				state=72;
				break;
			case 122:
				state=72;
				break;
			default:
				return 0;
			}
			break;
		case 80:
			switch(ch)
			{
			case 32:
				state=42;
				break;
			case 65:
				state=72;
				break;
			case 66:
				state=72;
				break;
			case 67:
				state=72;
				break;
			case 68:
				state=72;
				break;
			case 69:
				state=72;
				break;
			case 70:
				state=72;
				break;
			case 71:
				state=72;
				break;
			case 72:
				state=72;
				break;
			case 73:
				state=72;
				break;
			case 74:
				state=72;
				break;
			case 75:
				state=72;
				break;
			case 76:
				state=72;
				break;
			case 77:
				state=72;
				break;
			case 78:
				state=72;
				break;
			case 79:
				state=72;
				break;
			case 80:
				state=72;
				break;
			case 81:
				state=72;
				break;
			case 82:
				state=72;
				break;
			case 83:
				state=72;
				break;
			case 84:
				state=72;
				break;
			case 85:
				state=72;
				break;
			case 86:
				state=72;
				break;
			case 87:
				state=72;
				break;
			case 88:
				state=72;
				break;
			case 89:
				state=72;
				break;
			case 90:
				state=72;
				break;
			case 97:
				state=72;
				break;
			case 98:
				state=72;
				break;
			case 99:
				state=72;
				break;
			case 100:
				state=72;
				break;
			case 101:
				state=72;
				break;
			case 102:
				state=72;
				break;
			case 103:
				state=72;
				break;
			case 104:
				state=72;
				break;
			case 105:
				state=72;
				break;
			case 106:
				state=72;
				break;
			case 107:
				state=72;
				break;
			case 108:
				state=72;
				break;
			case 109:
				state=72;
				break;
			case 110:
				state=72;
				break;
			case 111:
				state=72;
				break;
			case 112:
				state=72;
				break;
			case 113:
				state=72;
				break;
			case 114:
				state=72;
				break;
			case 115:
				state=72;
				break;
			case 116:
				state=72;
				break;
			case 117:
				state=72;
				break;
			case 118:
				state=72;
				break;
			case 119:
				state=72;
				break;
			case 120:
				state=72;
				break;
			case 121:
				state=72;
				break;
			case 122:
				state=72;
				break;
			default:
				return 0;
			}
			break;
		case 81:
			switch(ch)
			{
			case 32:
				state=40;
				break;
			case 65:
				state=72;
				break;
			case 66:
				state=72;
				break;
			case 67:
				state=72;
				break;
			case 68:
				state=72;
				break;
			case 69:
				state=72;
				break;
			case 70:
				state=72;
				break;
			case 71:
				state=72;
				break;
			case 72:
				state=72;
				break;
			case 73:
				state=72;
				break;
			case 74:
				state=72;
				break;
			case 75:
				state=72;
				break;
			case 76:
				state=72;
				break;
			case 77:
				state=72;
				break;
			case 78:
				state=72;
				break;
			case 79:
				state=72;
				break;
			case 80:
				state=72;
				break;
			case 81:
				state=72;
				break;
			case 82:
				state=72;
				break;
			case 83:
				state=72;
				break;
			case 84:
				state=72;
				break;
			case 85:
				state=72;
				break;
			case 86:
				state=72;
				break;
			case 87:
				state=72;
				break;
			case 88:
				state=72;
				break;
			case 89:
				state=72;
				break;
			case 90:
				state=72;
				break;
			case 97:
				state=72;
				break;
			case 98:
				state=72;
				break;
			case 99:
				state=72;
				break;
			case 100:
				state=72;
				break;
			case 101:
				state=72;
				break;
			case 102:
				state=72;
				break;
			case 103:
				state=72;
				break;
			case 104:
				state=72;
				break;
			case 105:
				state=72;
				break;
			case 106:
				state=72;
				break;
			case 107:
				state=72;
				break;
			case 108:
				state=72;
				break;
			case 109:
				state=72;
				break;
			case 110:
				state=72;
				break;
			case 111:
				state=72;
				break;
			case 112:
				state=72;
				break;
			case 113:
				state=72;
				break;
			case 114:
				state=72;
				break;
			case 115:
				state=72;
				break;
			case 116:
				state=72;
				break;
			case 117:
				state=72;
				break;
			case 118:
				state=72;
				break;
			case 119:
				state=72;
				break;
			case 120:
				state=72;
				break;
			case 121:
				state=72;
				break;
			case 122:
				state=72;
				break;
			default:
				return 0;
			}
			break;
		case 82:
			switch(ch)
			{
			case 48:
				state=45;
				break;
			case 49:
				state=45;
				break;
			case 50:
				state=45;
				break;
			case 51:
				state=45;
				break;
			case 52:
				state=45;
				break;
			case 53:
				state=45;
				break;
			case 54:
				state=45;
				break;
			case 55:
				state=45;
				break;
			case 56:
				state=45;
				break;
			case 57:
				state=45;
				break;
			case 65:
				state=72;
				break;
			case 66:
				state=72;
				break;
			case 67:
				state=72;
				break;
			case 68:
				state=72;
				break;
			case 69:
				state=72;
				break;
			case 70:
				state=72;
				break;
			case 71:
				state=72;
				break;
			case 72:
				state=72;
				break;
			case 73:
				state=72;
				break;
			case 74:
				state=72;
				break;
			case 75:
				state=72;
				break;
			case 76:
				state=72;
				break;
			case 77:
				state=72;
				break;
			case 78:
				state=72;
				break;
			case 79:
				state=72;
				break;
			case 80:
				state=72;
				break;
			case 81:
				state=72;
				break;
			case 82:
				state=72;
				break;
			case 83:
				state=72;
				break;
			case 84:
				state=72;
				break;
			case 85:
				state=72;
				break;
			case 86:
				state=72;
				break;
			case 87:
				state=72;
				break;
			case 88:
				state=72;
				break;
			case 89:
				state=72;
				break;
			case 90:
				state=72;
				break;
			case 97:
				state=72;
				break;
			case 98:
				state=72;
				break;
			case 99:
				state=72;
				break;
			case 100:
				state=72;
				break;
			case 101:
				state=72;
				break;
			case 102:
				state=72;
				break;
			case 103:
				state=72;
				break;
			case 104:
				state=72;
				break;
			case 105:
				state=72;
				break;
			case 106:
				state=72;
				break;
			case 107:
				state=72;
				break;
			case 108:
				state=72;
				break;
			case 109:
				state=72;
				break;
			case 110:
				state=72;
				break;
			case 111:
				state=72;
				break;
			case 112:
				state=72;
				break;
			case 113:
				state=72;
				break;
			case 114:
				state=72;
				break;
			case 115:
				state=72;
				break;
			case 116:
				state=72;
				break;
			case 117:
				state=72;
				break;
			case 118:
				state=72;
				break;
			case 119:
				state=72;
				break;
			case 120:
				state=72;
				break;
			case 121:
				state=72;
				break;
			case 122:
				state=72;
				break;
			default:
				return 0;
			}
			break;
		}
		count++;
		ch=source[count];
	}
	switch(state)
	{
	case 70:
		return 1;
		break;
	case 71:
		return 1;
		break;
	case 72:
		return 1;
		break;
	case 73:
		return 1;
		break;
	case 74:
		return 1;
		break;
	case 75:
		return 1;
		break;
	case 76:
		return 1;
		break;
	case 77:
		return 1;
		break;
	case 78:
		return 1;
		break;
	case 79:
		return 1;
		break;
	case 80:
		return 1;
		break;
	case 81:
		return 1;
		break;
	case 82:
		return 1;
		break;
	}
	return 0;
}