scan.c

SRI international 发布的OAA框架软件

  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st180[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st181[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st182[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 188, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st183[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 189, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st184[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 190, 
  226, 226, 191, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st185[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st186[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 192, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st187[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 193, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st188[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 194, 
  195, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st189[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 196, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st190[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  197, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st191[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 198, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st192[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 199, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st193[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 200, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st194[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  201, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st195[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 202, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st196[32] = {
  226, 226, 226, 226, 226, 226, 226, 203, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st197[32] = {
  226, 226, 226, 226, 226, 226, 226, 204, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st198[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 205, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st199[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st200[32] = {
  226, 226, 226, 226, 226, 226, 226, 206, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 207, 185, 226, 226, 185, 
  185, 226
};

static DfaState st201[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 208, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st202[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 209, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st203[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 210, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st204[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 211, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st205[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st206[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 212, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st207[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 213, 226, 226, 185, 
  185, 226
};

static DfaState st208[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 214, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st209[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st210[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 215, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st211[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st212[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 216, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st213[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 217, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st214[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st215[32] = {
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226, 226, 226, 226, 226, 226, 226, 226, 226, 
  226, 226
};

static DfaState st216[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 218, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st217[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 219, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st218[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 220, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st219[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 221, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st220[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 222, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st221[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 223, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st222[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 224, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st223[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 225, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st224[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};

static DfaState st225[32] = {
  226, 226, 226, 226, 226, 226, 226, 185, 185, 185, 
  185, 185, 185, 185, 185, 185, 226, 226, 226, 185, 
  185, 185, 185, 185, 185, 185, 185, 226, 226, 185, 
  185, 226
};


DfaState *dfa[226] = {
	st0,
	st1,
	st2,
	st3,
	st4,
	st5,
	st6,
	st7,
	st8,
	st9,
	st10,
	st11,
	st12,
	st13,
	st14,
	st15,
	st16,
	st17,
	st18,
	st19,
	st20,
	st21,
	st22,
	st23,
	st24,
	st25,
	st26,
	st27,
	st28,
	st29,
	st30,
	st31,
	st32,
	st33,
	st34,
	st35,
	st36,
	st37,
	st38,
	st39,
	st40,
	st41,
	st42,
	st43,
	st44,
	st45,
	st46,
	st47,
	st48,
	st49,
	st50,
	st51,
	st52,
	st53,
	st54,
	st55,
	st56,
	st57,
	st58,
	st59,
	st60,
	st61,
	st62,
	st63,
	st64,
	st65,
	st66,
	st67,
	st68,
	st69,
	st70,
	st71,
	st72,
	st73,
	st74,
	st75,
	st76,
	st77,
	st78,
	st79,
	st80,
	st81,
	st82,
	st83,
	st84,
	st85,
	st86,
	st87,
	st88,
	st89,
	st90,
	st91,
	st92,
	st93,
	st94,
	st95,
	st96,
	st97,
	st98,
	st99,
	st100,
	st101,
	st102,
	st103,
	st104,
	st105,
	st106,
	st107,
	st108,
	st109,
	st110,
	st111,
	st112,
	st113,
	st114,
	st115,
	st116,
	st117,
	st118,
	st119,
	st120,
	st121,
	st122,
	st123,
	st124,
	st125,
	st126,
	st127,
	st128,
	st129,
	st130,
	st131,
	st132,
	st133,
	st134,
	st135,
	st136,
	st137,
	st138,
	st139,
	st140,
	st141,
	st142,
	st143,
	st144,
	st145,
	st146,
	st147,
	st148,
	st149,
	st150,
	st151,
	st152,
	st153,
	st154,
	st155,
	st156,
	st157,
	st158,
	st159,
	st160,
	st161,
	st162,
	st163,
	st164,
	st165,
	st166,
	st167,
	st168,
	st169,
	st170,
	st171,
	st172,
	st173,
	st174,
	st175,
	st176,
	st177,
	st178,
	st179,
	st180,
	st181,
	st182,
	st183,
	st184,
	st185,
	st186,
	st187,
	st188,
	st189,
	st190,
	st191,
	st192,
	st193,
	st194,
	st195,
	st196,
	st197,
	st198,
	st199,
	st200,
	st201,
	st202,
	st203,
	st204,
	st205,
	st206,
	st207,
	st208,
	st209,
	st210,
	st211,
	st212,
	st213,
	st214,
	st215,
	st216,
	st217,
	st218,
	st219,
	st220,
	st221,
	st222,
	st223,
	st224,
	st225
};


DfaState accepts[227] = {
  0, 1, 2, 3, 3, 4, 23, 6, 0, 16, 
  24, 32, 30, 13, 14, 15, 17, 18, 27, 20, 
  30, 22, 25, 26, 28, 31, 3, 5, 9, 7, 
  8, 10, 32, 32, 32, 19, 30, 29, 30, 31, 
  32, 32, 30, 32, 32, 30, 32, 32, 21, 32, 
  32, 11, 32, 12, 0, 33, 34, 35, 35, 0, 
  37, 35, 36, 0, 38, 39, 40, 40, 0, 42, 
  40, 41, 0, 43, 44, 45, 45, 0, 47, 45, 
  46, 0, 48, 50, 52, 51, 51, 49, 51, 0, 
  53, 54, 54, 55, 54, 0, 56, 57, 57, 58, 
  57, 0, 59, 61, 63, 62, 62, 60, 62, 0, 
  64, 0, 65, 0, 66, 70, 68, 69, 69, 76, 
  94, 95, 78, 79, 77, 0, 83, 84, 87, 95, 
  92, 67, 69, 71, 74, 75, 93, 82, 80, 86, 
  85, 81, 90, 88, 89, 91, 71, 72, 73, 0, 
  96, 98, 100, 99, 99, 97, 99, 0, 101, 102, 
  102, 103, 102, 0, 104, 105, 106, 106, 0, 0, 
  123, 123, 115, 116, 117, 123, 120, 121, 122, 106, 
  107, 108, 0, 0, 0, 123, 123, 123, 0, 0, 
  0, 0, 123, 123, 0, 0, 0, 0, 0, 114, 
  123, 0, 0, 0, 0, 111, 123, 123, 0, 110, 
  0, 113, 123, 123, 109, 112, 123, 123, 123, 123, 
  123, 123, 123, 123, 118, 119, 0
};

void (*actions[124])() = {
	zzerraction,
	act1,
	act2,
	act3,
	act4,
	act5,
	act6,
	act7