definition
- sttfa:match__seqpattern/type_0.def
- sttfa:match__seqpattern/type_1.def
- sttfa:match__seqpattern/type_2.def
- sttfa:match__seqpattern/type_3.def
- sttfa:match__seqpattern/term_0.def
- sttfa:match__seqpattern/type_4.def
- sttfa:match__seqpattern/type_5.def
- sttfa:match__seqpattern/type_6.def
- sttfa:match__seqpattern/type_7.def
- sttfa:match__seqpattern/type_8.def
- sttfa:match__seqpattern/type_9.def
- sttfa:match__seqpattern/type_10.def
- sttfa:match__seqpattern/type_11.def
- sttfa:match__seqpattern/type_12.def
- sttfa:match__seqpattern/term_1.def
- sttfa:match__seqpattern/HOLLight_2E__MATCH.def
- sttfa:match__seqpattern/term_2.def
- sttfa:match__seqpattern/term_3.def
- sttfa:match__seqpattern/type_13.def
- sttfa:match__seqpattern/type_14.def
- sttfa:match__seqpattern/type_15.def
- sttfa:match__seqpattern/Data_2EBool_2Econd.def
- sttfa:match__seqpattern/term_4.def
- sttfa:match__seqpattern/type_16.def
- sttfa:match__seqpattern/Data_2EBool_2E_3F_21.def
- sttfa:match__seqpattern/term_5.def
- sttfa:match__seqpattern/term_6.def
- sttfa:match__seqpattern/term_7.def
- sttfa:match__seqpattern/term_8.def
- sttfa:match__seqpattern/term_9.def
- sttfa:match__seqpattern/term_10.def
- sttfa:match__seqpattern/type_17.def
- sttfa:match__seqpattern/term_11.def
- sttfa:match__seqpattern/term_12.def
- sttfa:match__seqpattern/term_13.def
- sttfa:match__seqpattern/term_14.def
- sttfa:match__seqpattern/term_15.def
- sttfa:match__seqpattern/term_16.def
- sttfa:match__seqpattern/term_17.def
- sttfa:match__seqpattern/term_18.def
- sttfa:match__seqpattern/term_19.def
- sttfa:match__seqpattern/term_20.def
- sttfa:match__seqpattern/term_21.def
- sttfa:match__seqpattern/type_18.def
- sttfa:match__seqpattern/type_19.def
- sttfa:match__seqpattern/type_20.def
- sttfa:match__seqpattern/type_21.def
- sttfa:match__seqpattern/term_22.def
- sttfa:match__seqpattern/type_22.def
- sttfa:match__seqpattern/type_23.def
- sttfa:match__seqpattern/type_24.def
- sttfa:match__seqpattern/term_23.def
- sttfa:match__seqpattern/type_25.def
- sttfa:match__seqpattern/term_24.def
- sttfa:match__seqpattern/term_25.def
- sttfa:match__seqpattern/term_26.def
- sttfa:match__seqpattern/term_27.def
- sttfa:match__seqpattern/term_28.def
- sttfa:match__seqpattern/term_29.def
- sttfa:match__seqpattern/type_26.def
- sttfa:match__seqpattern/term_30.def
- sttfa:match__seqpattern/term_31.def
- sttfa:match__seqpattern/term_32.def
- sttfa:match__seqpattern/term_33.def
- sttfa:match__seqpattern/term_34.def
- sttfa:match__seqpattern/term_35.def
- sttfa:match__seqpattern/term_36.def
- sttfa:match__seqpattern/term_37.def
- sttfa:match__seqpattern/term_38.def
- sttfa:match__seqpattern/term_39.def
- sttfa:match__seqpattern/type_27.def
- sttfa:match__seqpattern/type_28.def
- sttfa:match__seqpattern/type_29.def
- sttfa:match__seqpattern/type_30.def
- sttfa:match__seqpattern/type_31.def
- sttfa:match__seqpattern/type_32.def
- sttfa:match__seqpattern/type_33.def
- sttfa:match__seqpattern/type_34.def
- sttfa:match__seqpattern/term_40.def
- sttfa:match__seqpattern/HOLLight_2E__SEQPATTERN.def
- sttfa:match__seqpattern/term_41.def
- sttfa:match__seqpattern/term_42.def
- sttfa:match__seqpattern/type_35.def
- sttfa:match__seqpattern/type_36.def
- sttfa:match__seqpattern/type_37.def
- sttfa:match__seqpattern/term_43.def
- sttfa:match__seqpattern/type_38.def
- sttfa:match__seqpattern/term_44.def
- sttfa:match__seqpattern/term_45.def
- sttfa:match__seqpattern/term_46.def
- sttfa:match__seqpattern/term_47.def
- sttfa:match__seqpattern/term_48.def
- sttfa:match__seqpattern/term_49.def
- sttfa:match__seqpattern/term_50.def
- sttfa:match__seqpattern/term_51.def
- sttfa:match__seqpattern/term_52.def
- sttfa:match__seqpattern/term_53.def
- sttfa:match__seqpattern/term_54.def
- sttfa:match__seqpattern/term_55.def
- sttfa:match__seqpattern/term_56.def
- sttfa:match__seqpattern/term_57.def
- sttfa:match__seqpattern/term_58.def
- sttfa:match__seqpattern/term_59.def
- sttfa:match__seqpattern/term_60.def
- sttfa:match__seqpattern/type_39.def
- sttfa:match__seqpattern/type_40.def
- sttfa:match__seqpattern/type_41.def
- sttfa:match__seqpattern/term_61.def
- sttfa:match__seqpattern/type_42.def
- sttfa:match__seqpattern/type_43.def
- sttfa:match__seqpattern/type_44.def
- sttfa:match__seqpattern/term_62.def
- sttfa:match__seqpattern/term_63.def
- sttfa:match__seqpattern/term_64.def
- sttfa:match__seqpattern/term_65.def
- sttfa:match__seqpattern/term_66.def
- sttfa:match__seqpattern/term_67.def
- sttfa:match__seqpattern/term_68.def
- sttfa:match__seqpattern/term_69.def
- sttfa:match__seqpattern/term_70.def
- sttfa:match__seqpattern/term_71.def
- sttfa:match__seqpattern/term_72.def
- sttfa:match__seqpattern/term_73.def
- sttfa:match__seqpattern/term_74.def
- sttfa:match__seqpattern/term_75.def
- sttfa:match__seqpattern/term_76.def
- sttfa:match__seqpattern/term_77.def
- sttfa:match__seqpattern/type_45.def
- sttfa:match__seqpattern/type_46.def
- sttfa:match__seqpattern/term_78.def
- sttfa:match__seqpattern/term_79.def
- sttfa:match__seqpattern/term_80.def
- sttfa:match__seqpattern/term_81.def
- sttfa:match__seqpattern/term_82.def
- sttfa:match__seqpattern/term_83.def
- sttfa:match__seqpattern/term_84.def
- sttfa:match__seqpattern/term_85.def
- sttfa:match__seqpattern/term_86.def
- sttfa:match__seqpattern/term_87.def
- sttfa:match__seqpattern/type_47.def
- sttfa:match__seqpattern/term_88.def
- sttfa:match__seqpattern/term_89.def
- sttfa:match__seqpattern/term_90.def
- sttfa:match__seqpattern/term_91.def
- sttfa:match__seqpattern/term_92.def
- sttfa:match__seqpattern/term_93.def
- sttfa:match__seqpattern/term_94.def
- sttfa:match__seqpattern/term_95.def
- sttfa:match__seqpattern/term_96.def
- sttfa:match__seqpattern/term_97.def
- sttfa:match__seqpattern/term_98.def
- sttfa:match__seqpattern/term_99.def
- sttfa:match__seqpattern/term_100.def
- sttfa:match__seqpattern/term_101.def
- sttfa:match__seqpattern/term_102.def
- sttfa:match__seqpattern/term_103.def
- sttfa:match__seqpattern/term_104.def
- sttfa:match__seqpattern/term_105.def
- sttfa:match__seqpattern/type_48.def
- sttfa:match__seqpattern/type_49.def
- sttfa:match__seqpattern/term_106.def
- sttfa:match__seqpattern/term_107.def
- sttfa:match__seqpattern/term_108.def
- sttfa:match__seqpattern/term_109.def
- sttfa:match__seqpattern/term_110.def
- sttfa:match__seqpattern/term_111.def
- sttfa:match__seqpattern/term_112.def
- sttfa:match__seqpattern/term_113.def
- sttfa:match__seqpattern/term_114.def
- sttfa:match__seqpattern/term_115.def
- sttfa:match__seqpattern/term_116.def
- sttfa:match__seqpattern/term_117.def
- sttfa:match__seqpattern/term_118.def
- sttfa:match__seqpattern/term_119.def
- sttfa:match__seqpattern/term_120.def
- sttfa:match__seqpattern/type_50.def
- sttfa:match__seqpattern/term_121.def
- sttfa:match__seqpattern/term_122.def
- sttfa:match__seqpattern/term_123.def
- sttfa:match__seqpattern/term_124.def
- sttfa:match__seqpattern/term_125.def
- sttfa:match__seqpattern/term_126.def
- sttfa:match__seqpattern/term_127.def
- sttfa:match__seqpattern/term_128.def
- sttfa:match__seqpattern/term_129.def
- sttfa:match__seqpattern/term_130.def
- sttfa:match__seqpattern/term_131.def
- sttfa:match__seqpattern/term_132.def
- sttfa:match__seqpattern/term_133.def
- sttfa:match__seqpattern/term_134.def
- sttfa:match__seqpattern/term_135.def
- sttfa:match__seqpattern/term_136.def
- sttfa:match__seqpattern/term_137.def
- sttfa:match__seqpattern/term_138.def
- sttfa:match__seqpattern/term_139.def
- sttfa:match__seqpattern/term_140.def
- sttfa:match__seqpattern/term_141.def
- sttfa:match__seqpattern/term_142.def
- sttfa:match__seqpattern/term_143.def
- sttfa:match__seqpattern/term_144.def
- sttfa:match__seqpattern/term_145.def
- sttfa:match__seqpattern/term_146.def
- sttfa:match__seqpattern/term_147.def
- sttfa:match__seqpattern/term_148.def
- sttfa:match__seqpattern/term_149.def
- sttfa:match__seqpattern/term_150.def
- sttfa:match__seqpattern/term_151.def
- sttfa:match__seqpattern/term_152.def
- sttfa:match__seqpattern/term_153.def
- sttfa:match__seqpattern/term_154.def
- sttfa:match__seqpattern/term_155.def
- sttfa:match__seqpattern/term_156.def
- sttfa:match__seqpattern/term_157.def
- sttfa:match__seqpattern/term_158.def
- sttfa:match__seqpattern/term_159.def
- sttfa:match__seqpattern/term_160.def
- sttfa:match__seqpattern/term_161.def
- sttfa:match__seqpattern/term_162.def
- sttfa:match__seqpattern/type_51.def
- sttfa:match__seqpattern/type_52.def
- sttfa:match__seqpattern/type_53.def
- sttfa:match__seqpattern/term_163.def
- sttfa:match__seqpattern/term_164.def
- sttfa:match__seqpattern/term_165.def
- sttfa:match__seqpattern/term_166.def
- sttfa:match__seqpattern/term_167.def
- sttfa:match__seqpattern/term_168.def
- sttfa:match__seqpattern/type_54.def
- sttfa:match__seqpattern/term_169.def
- sttfa:match__seqpattern/term_170.def
- sttfa:match__seqpattern/term_171.def
- sttfa:match__seqpattern/term_172.def
- sttfa:match__seqpattern/term_173.def
- sttfa:match__seqpattern/term_174.def
- sttfa:match__seqpattern/type_55.def
- sttfa:match__seqpattern/type_56.def
- sttfa:match__seqpattern/term_175.def
- sttfa:match__seqpattern/type_57.def
- sttfa:match__seqpattern/term_176.def
- sttfa:match__seqpattern/term_177.def
- sttfa:match__seqpattern/term_178.def
- sttfa:match__seqpattern/term_179.def
- sttfa:match__seqpattern/term_180.def
- sttfa:match__seqpattern/term_181.def
- sttfa:match__seqpattern/term_182.def
- sttfa:match__seqpattern/term_183.def
- sttfa:match__seqpattern/term_184.def
- sttfa:match__seqpattern/term_185.def
- sttfa:match__seqpattern/term_186.def
- sttfa:match__seqpattern/term_187.def
- sttfa:match__seqpattern/term_188.def
- sttfa:match__seqpattern/term_189.def
- sttfa:match__seqpattern/term_190.def
- sttfa:match__seqpattern/term_191.def
- sttfa:match__seqpattern/term_192.def
- sttfa:match__seqpattern/term_193.def
- sttfa:match__seqpattern/term_194.def
- sttfa:match__seqpattern/term_195.def
- sttfa:match__seqpattern/term_196.def
- sttfa:match__seqpattern/term_197.def
- sttfa:match__seqpattern/term_198.def
- sttfa:match__seqpattern/term_199.def
- sttfa:match__seqpattern/term_200.def
- sttfa:match__seqpattern/term_201.def
- sttfa:match__seqpattern/term_202.def
- sttfa:match__seqpattern/term_203.def
- sttfa:match__seqpattern/term_204.def
- sttfa:match__seqpattern/term_205.def
- sttfa:match__seqpattern/term_206.def
- sttfa:match__seqpattern/term_207.def
- sttfa:match__seqpattern/term_208.def
- sttfa:match__seqpattern/term_209.def
- sttfa:match__seqpattern/term_210.def
- sttfa:match__seqpattern/term_211.def
- sttfa:match__seqpattern/term_212.def
- sttfa:match__seqpattern/term_213.def
- sttfa:match__seqpattern/term_214.def
- sttfa:match__seqpattern/term_215.def
- sttfa:match__seqpattern/term_216.def
- sttfa:match__seqpattern/term_217.def
- sttfa:match__seqpattern/term_218.def
- sttfa:match__seqpattern/term_219.def
- sttfa:match__seqpattern/term_220.def
- sttfa:match__seqpattern/term_221.def
- sttfa:match__seqpattern/term_222.def
- sttfa:match__seqpattern/term_223.def
- sttfa:match__seqpattern/term_224.def
- sttfa:match__seqpattern/term_225.def
- sttfa:match__seqpattern/term_226.def
- sttfa:match__seqpattern/term_227.def
- sttfa:match__seqpattern/term_228.def
- sttfa:match__seqpattern/term_229.def
- sttfa:match__seqpattern/term_230.def
- sttfa:match__seqpattern/term_231.def
- sttfa:match__seqpattern/term_232.def
- sttfa:match__seqpattern/term_233.def
- sttfa:match__seqpattern/term_234.def
- sttfa:match__seqpattern/term_235.def
- sttfa:match__seqpattern/term_236.def
- sttfa:match__seqpattern/term_237.def
- sttfa:match__seqpattern/term_238.def
- sttfa:match__seqpattern/term_239.def
- sttfa:match__seqpattern/term_240.def
- sttfa:match__seqpattern/term_241.def
- sttfa:match__seqpattern/term_242.def
- sttfa:match__seqpattern/term_243.def
- sttfa:match__seqpattern/term_244.def
- sttfa:match__seqpattern/term_245.def
- sttfa:match__seqpattern/term_246.def
- sttfa:match__seqpattern/term_247.def
- sttfa:match__seqpattern/term_248.def
- sttfa:match__seqpattern/term_249.def
- sttfa:match__seqpattern/term_250.def
- sttfa:match__seqpattern/term_251.def
- sttfa:match__seqpattern/term_252.def
- sttfa:match__seqpattern/term_253.def
- sttfa:match__seqpattern/type_58.def
- sttfa:match__seqpattern/type_59.def
- sttfa:match__seqpattern/type_60.def
- sttfa:match__seqpattern/term_254.def
- sttfa:match__seqpattern/term_255.def
- sttfa:match__seqpattern/term_256.def
- sttfa:match__seqpattern/term_257.def
- sttfa:match__seqpattern/term_258.def
- sttfa:match__seqpattern/term_259.def
- sttfa:match__seqpattern/term_260.def
- sttfa:match__seqpattern/term_261.def
- sttfa:match__seqpattern/term_262.def
- sttfa:match__seqpattern/term_263.def
- sttfa:match__seqpattern/term_264.def
- sttfa:match__seqpattern/term_265.def
- sttfa:match__seqpattern/term_266.def
- sttfa:match__seqpattern/term_267.def
- sttfa:match__seqpattern/term_268.def
- sttfa:match__seqpattern/term_269.def
- sttfa:match__seqpattern/term_270.def
- sttfa:match__seqpattern/term_271.def
- sttfa:match__seqpattern/term_272.def
- sttfa:match__seqpattern/term_273.def
- sttfa:match__seqpattern/term_274.def
- sttfa:match__seqpattern/term_275.def
- sttfa:match__seqpattern/term_276.def
- sttfa:match__seqpattern/term_277.def
- sttfa:match__seqpattern/term_278.def
- sttfa:match__seqpattern/term_279.def
- sttfa:match__seqpattern/term_280.def
- sttfa:match__seqpattern/term_281.def
- sttfa:match__seqpattern/term_282.def
- sttfa:match__seqpattern/term_283.def
- sttfa:match__seqpattern/term_284.def
- sttfa:match__seqpattern/term_285.def
- sttfa:match__seqpattern/term_286.def
- sttfa:match__seqpattern/term_287.def
- sttfa:match__seqpattern/term_288.def
- sttfa:match__seqpattern/term_289.def
- sttfa:match__seqpattern/term_290.def
- sttfa:match__seqpattern/term_291.def
- sttfa:match__seqpattern/term_292.def
- sttfa:match__seqpattern/term_293.def
- sttfa:match__seqpattern/term_294.def
- sttfa:match__seqpattern/term_295.def
- sttfa:match__seqpattern/term_296.def
- sttfa:match__seqpattern/term_297.def
- sttfa:match__seqpattern/term_298.def
- sttfa:match__seqpattern/term_299.def
- sttfa:match__seqpattern/term_300.def
- sttfa:match__seqpattern/term_301.def
- sttfa:match__seqpattern/term_302.def
- sttfa:match__seqpattern/term_303.def
- sttfa:match__seqpattern/term_304.def
- sttfa:match__seqpattern/term_305.def
- sttfa:match__seqpattern/term_306.def
- sttfa:match__seqpattern/term_307.def
- sttfa:match__seqpattern/term_308.def
- sttfa:match__seqpattern/term_309.def
- sttfa:match__seqpattern/term_310.def
- sttfa:match__seqpattern/term_311.def
- sttfa:match__seqpattern/term_312.def
- sttfa:match__seqpattern/term_313.def
- sttfa:match__seqpattern/term_314.def
- sttfa:match__seqpattern/term_315.def
- sttfa:match__seqpattern/term_316.def
- sttfa:match__seqpattern/term_317.def
- sttfa:match__seqpattern/term_318.def
- sttfa:match__seqpattern/term_319.def
- sttfa:match__seqpattern/term_320.def
- sttfa:match__seqpattern/term_321.def
- sttfa:match__seqpattern/term_322.def
- sttfa:match__seqpattern/term_323.def
- sttfa:match__seqpattern/term_324.def
- sttfa:match__seqpattern/term_325.def
- sttfa:match__seqpattern/term_326.def
- sttfa:match__seqpattern/term_327.def
- sttfa:match__seqpattern/term_328.def
- sttfa:match__seqpattern/term_329.def
- sttfa:match__seqpattern/term_330.def
- sttfa:match__seqpattern/term_331.def
- sttfa:match__seqpattern/term_332.def
- sttfa:match__seqpattern/term_333.def
- sttfa:match__seqpattern/term_334.def
- sttfa:match__seqpattern/term_335.def
- sttfa:match__seqpattern/term_336.def
- sttfa:match__seqpattern/term_337.def
- sttfa:match__seqpattern/term_338.def
- sttfa:match__seqpattern/term_339.def
- sttfa:match__seqpattern/term_340.def
- sttfa:match__seqpattern/term_341.def
- sttfa:match__seqpattern/term_342.def
- sttfa:match__seqpattern/term_343.def
- sttfa:match__seqpattern/term_344.def
- sttfa:match__seqpattern/term_345.def
- sttfa:match__seqpattern/term_346.def
- sttfa:match__seqpattern/term_347.def
- sttfa:match__seqpattern/term_348.def
- sttfa:match__seqpattern/term_349.def
- sttfa:match__seqpattern/term_350.def
- sttfa:match__seqpattern/term_351.def
- sttfa:match__seqpattern/term_352.def
- sttfa:match__seqpattern/term_353.def
- sttfa:match__seqpattern/term_354.def
- sttfa:match__seqpattern/term_355.def
- sttfa:match__seqpattern/term_356.def
- sttfa:match__seqpattern/term_357.def
- sttfa:match__seqpattern/term_358.def
- sttfa:match__seqpattern/term_359.def
- sttfa:match__seqpattern/term_360.def
- sttfa:match__seqpattern/term_361.def
- sttfa:match__seqpattern/term_362.def
- sttfa:match__seqpattern/term_363.def
- sttfa:match__seqpattern/term_364.def
- sttfa:match__seqpattern/term_365.def
- sttfa:match__seqpattern/term_366.def
- sttfa:match__seqpattern/term_367.def
- sttfa:match__seqpattern/term_368.def
- sttfa:match__seqpattern/term_369.def
- sttfa:match__seqpattern/term_370.def
- sttfa:match__seqpattern/term_371.def
- sttfa:match__seqpattern/term_372.def
- sttfa:match__seqpattern/term_373.def
- sttfa:match__seqpattern/term_374.def
- sttfa:match__seqpattern/term_375.def
- sttfa:match__seqpattern/term_376.def
- sttfa:match__seqpattern/term_377.def
- sttfa:match__seqpattern/term_378.def
- sttfa:match__seqpattern/term_379.def
- sttfa:match__seqpattern/term_380.def
- sttfa:match__seqpattern/term_381.def
- sttfa:match__seqpattern/term_382.def
- sttfa:match__seqpattern/term_383.def
- sttfa:match__seqpattern/term_384.def
- sttfa:match__seqpattern/term_385.def
- sttfa:match__seqpattern/term_386.def
- sttfa:match__seqpattern/term_387.def
- sttfa:match__seqpattern/term_388.def
- sttfa:match__seqpattern/term_389.def
- sttfa:match__seqpattern/term_390.def
- sttfa:match__seqpattern/term_391.def
- sttfa:match__seqpattern/term_392.def
- sttfa:match__seqpattern/term_393.def
- sttfa:match__seqpattern/term_394.def
- sttfa:match__seqpattern/term_395.def
- sttfa:match__seqpattern/term_396.def
- sttfa:match__seqpattern/term_397.def
- sttfa:match__seqpattern/term_398.def
- sttfa:match__seqpattern/term_399.def
- sttfa:match__seqpattern/term_400.def
- sttfa:match__seqpattern/term_401.def
- sttfa:match__seqpattern/term_402.def
- sttfa:match__seqpattern/term_403.def
- sttfa:match__seqpattern/term_404.def
- sttfa:match__seqpattern/term_405.def
- sttfa:match__seqpattern/term_406.def
- sttfa:match__seqpattern/term_407.def
- sttfa:match__seqpattern/term_408.def
- sttfa:match__seqpattern/term_409.def
- sttfa:match__seqpattern/term_410.def
- sttfa:match__seqpattern/term_411.def
- sttfa:match__seqpattern/term_412.def
- sttfa:match__seqpattern/term_413.def
- sttfa:match__seqpattern/term_414.def
- sttfa:match__seqpattern/term_415.def
- sttfa:match__seqpattern/term_416.def
- sttfa:match__seqpattern/term_417.def
- sttfa:match__seqpattern/term_418.def
- sttfa:match__seqpattern/term_419.def
- sttfa:match__seqpattern/term_420.def
- sttfa:match__seqpattern/term_421.def
- sttfa:match__seqpattern/term_422.def
- sttfa:match__seqpattern/term_423.def
- sttfa:match__seqpattern/term_424.def
- sttfa:match__seqpattern/term_425.def
- sttfa:match__seqpattern/term_426.def
- sttfa:match__seqpattern/term_427.def
- sttfa:match__seqpattern/term_428.def
- sttfa:match__seqpattern/term_429.def
- sttfa:match__seqpattern/term_430.def
- sttfa:match__seqpattern/term_431.def
- sttfa:match__seqpattern/term_432.def
- sttfa:match__seqpattern/type_61.def
- sttfa:match__seqpattern/type_62.def
- sttfa:match__seqpattern/type_63.def
- sttfa:match__seqpattern/term_433.def
- sttfa:match__seqpattern/term_434.def
- sttfa:match__seqpattern/term_435.def
- sttfa:match__seqpattern/term_436.def
- sttfa:match__seqpattern/term_437.def
- sttfa:match__seqpattern/term_438.def
- sttfa:match__seqpattern/term_439.def
- sttfa:match__seqpattern/term_440.def
- sttfa:match__seqpattern/term_441.def
- sttfa:match__seqpattern/term_442.def
- sttfa:match__seqpattern/term_443.def
- sttfa:match__seqpattern/term_444.def
- sttfa:match__seqpattern/term_445.def
- sttfa:match__seqpattern/term_446.def
- sttfa:match__seqpattern/term_447.def
- sttfa:match__seqpattern/term_448.def
- sttfa:match__seqpattern/term_449.def
- sttfa:match__seqpattern/term_450.def
- sttfa:match__seqpattern/term_451.def
- sttfa:match__seqpattern/term_452.def
- sttfa:match__seqpattern/term_453.def
- sttfa:match__seqpattern/term_454.def
- sttfa:match__seqpattern/term_455.def
- sttfa:match__seqpattern/term_456.def
- sttfa:match__seqpattern/term_457.def
- sttfa:match__seqpattern/term_458.def
- sttfa:match__seqpattern/term_459.def
- sttfa:match__seqpattern/term_460.def
- sttfa:match__seqpattern/term_461.def
- sttfa:match__seqpattern/term_462.def
- sttfa:match__seqpattern/term_463.def
- sttfa:match__seqpattern/term_464.def
- sttfa:match__seqpattern/term_465.def
- sttfa:match__seqpattern/term_466.def
- sttfa:match__seqpattern/term_467.def
- sttfa:match__seqpattern/term_468.def
- sttfa:match__seqpattern/term_469.def
- sttfa:match__seqpattern/term_470.def
- sttfa:match__seqpattern/term_471.def
- sttfa:match__seqpattern/term_472.def
- sttfa:match__seqpattern/term_473.def
- sttfa:match__seqpattern/term_474.def
- sttfa:match__seqpattern/term_475.def
- sttfa:match__seqpattern/term_476.def
- sttfa:match__seqpattern/term_477.def
- sttfa:match__seqpattern/term_478.def
- sttfa:match__seqpattern/term_479.def
- sttfa:match__seqpattern/term_480.def
- sttfa:match__seqpattern/term_481.def
- sttfa:match__seqpattern/term_482.def
- sttfa:match__seqpattern/term_483.def
- sttfa:match__seqpattern/term_484.def
- sttfa:match__seqpattern/term_485.def
- sttfa:match__seqpattern/term_486.def
- sttfa:match__seqpattern/term_487.def
- sttfa:match__seqpattern/term_488.def
- sttfa:match__seqpattern/term_489.def
- sttfa:match__seqpattern/term_490.def
- sttfa:match__seqpattern/term_491.def
- sttfa:match__seqpattern/term_492.def
- sttfa:match__seqpattern/term_493.def
- sttfa:match__seqpattern/term_494.def
- sttfa:match__seqpattern/term_495.def
- sttfa:match__seqpattern/term_496.def
- sttfa:match__seqpattern/term_497.def
- sttfa:match__seqpattern/term_498.def
- sttfa:match__seqpattern/term_499.def
- sttfa:match__seqpattern/term_500.def
- sttfa:match__seqpattern/term_501.def
- sttfa:match__seqpattern/term_502.def
- sttfa:match__seqpattern/term_503.def
- sttfa:match__seqpattern/term_504.def
- sttfa:match__seqpattern/term_505.def
- sttfa:match__seqpattern/term_506.def
- sttfa:match__seqpattern/term_507.def
- sttfa:match__seqpattern/term_508.def
- sttfa:match__seqpattern/term_509.def
- sttfa:match__seqpattern/term_510.def
- sttfa:match__seqpattern/term_511.def
- sttfa:match__seqpattern/term_512.def
- sttfa:match__seqpattern/term_513.def
- sttfa:match__seqpattern/term_514.def
- sttfa:match__seqpattern/term_515.def
- sttfa:match__seqpattern/term_516.def
- sttfa:match__seqpattern/term_517.def
- sttfa:match__seqpattern/term_518.def
- sttfa:match__seqpattern/term_519.def
- sttfa:match__seqpattern/term_520.def
- sttfa:match__seqpattern/term_521.def
- sttfa:match__seqpattern/term_522.def
- sttfa:match__seqpattern/term_523.def
- sttfa:match__seqpattern/term_524.def
- sttfa:match__seqpattern/term_525.def
- sttfa:match__seqpattern/term_526.def
- sttfa:match__seqpattern/term_527.def
- sttfa:match__seqpattern/term_528.def
- sttfa:match__seqpattern/term_529.def
- sttfa:match__seqpattern/term_530.def
- sttfa:match__seqpattern/term_531.def
- sttfa:match__seqpattern/term_532.def
- sttfa:match__seqpattern/term_533.def
- sttfa:match__seqpattern/term_534.def
- sttfa:match__seqpattern/term_535.def
- sttfa:match__seqpattern/term_536.def
- sttfa:match__seqpattern/term_537.def
- sttfa:match__seqpattern/term_538.def
- sttfa:match__seqpattern/term_539.def
- sttfa:match__seqpattern/term_540.def
- sttfa:match__seqpattern/term_541.def
- sttfa:match__seqpattern/term_542.def
- sttfa:match__seqpattern/term_543.def
- sttfa:match__seqpattern/term_544.def
- sttfa:match__seqpattern/term_545.def
- sttfa:match__seqpattern/term_546.def
- sttfa:match__seqpattern/term_547.def
- sttfa:match__seqpattern/term_548.def
- sttfa:match__seqpattern/term_549.def
- sttfa:match__seqpattern/term_550.def
- sttfa:match__seqpattern/term_551.def
- sttfa:match__seqpattern/term_552.def
- sttfa:match__seqpattern/term_553.def
- sttfa:match__seqpattern/term_554.def
- sttfa:match__seqpattern/term_555.def
- sttfa:match__seqpattern/term_556.def
- sttfa:match__seqpattern/term_557.def
- sttfa:match__seqpattern/term_558.def
- sttfa:match__seqpattern/term_559.def
- sttfa:match__seqpattern/term_560.def
- sttfa:match__seqpattern/term_561.def
- sttfa:match__seqpattern/term_562.def
- sttfa:match__seqpattern/term_563.def
- sttfa:match__seqpattern/term_564.def
- sttfa:match__seqpattern/term_565.def
- sttfa:match__seqpattern/term_566.def
- sttfa:match__seqpattern/term_567.def
- sttfa:match__seqpattern/term_568.def
- sttfa:match__seqpattern/term_569.def
- sttfa:match__seqpattern/term_570.def
- sttfa:match__seqpattern/term_571.def
- sttfa:match__seqpattern/term_572.def
- sttfa:match__seqpattern/term_573.def
- sttfa:match__seqpattern/term_574.def
- sttfa:match__seqpattern/term_575.def
- sttfa:match__seqpattern/term_576.def
- sttfa:match__seqpattern/term_577.def
- sttfa:match__seqpattern/term_578.def
- sttfa:match__seqpattern/term_579.def
- sttfa:match__seqpattern/term_580.def
- sttfa:match__seqpattern/term_581.def
- sttfa:match__seqpattern/term_582.def
- sttfa:match__seqpattern/term_583.def
- sttfa:match__seqpattern/term_584.def
- sttfa:match__seqpattern/term_585.def
- sttfa:match__seqpattern/term_586.def
- sttfa:match__seqpattern/term_587.def
- sttfa:match__seqpattern/term_588.def
- sttfa:match__seqpattern/term_589.def
- sttfa:match__seqpattern/term_590.def
- sttfa:match__seqpattern/term_591.def
- sttfa:match__seqpattern/term_592.def
- sttfa:match__seqpattern/term_593.def
- sttfa:match__seqpattern/term_594.def
- sttfa:match__seqpattern/term_595.def
- sttfa:match__seqpattern/term_596.def
- sttfa:match__seqpattern/term_597.def
- sttfa:match__seqpattern/term_598.def
- sttfa:match__seqpattern/term_599.def
- sttfa:match__seqpattern/term_600.def
- sttfa:match__seqpattern/term_601.def
- sttfa:match__seqpattern/term_602.def
- sttfa:match__seqpattern/term_603.def
- sttfa:match__seqpattern/term_604.def
- sttfa:match__seqpattern/term_605.def
- sttfa:match__seqpattern/term_606.def
- sttfa:match__seqpattern/term_607.def
- sttfa:match__seqpattern/term_608.def
- sttfa:match__seqpattern/term_609.def
- sttfa:match__seqpattern/term_610.def
- sttfa:match__seqpattern/term_611.def
- sttfa:match__seqpattern/term_612.def
- sttfa:match__seqpattern/term_613.def
- sttfa:match__seqpattern/term_614.def
- sttfa:match__seqpattern/term_615.def
- sttfa:match__seqpattern/term_616.def
- sttfa:match__seqpattern/term_617.def
- sttfa:match__seqpattern/term_618.def
- sttfa:match__seqpattern/term_619.def
- sttfa:match__seqpattern/term_620.def
- sttfa:match__seqpattern/term_621.def
- sttfa:match__seqpattern/term_622.def
- sttfa:match__seqpattern/term_623.def
- sttfa:match__seqpattern/term_624.def
- sttfa:match__seqpattern/term_625.def
- sttfa:match__seqpattern/term_626.def
- sttfa:match__seqpattern/term_627.def
- sttfa:match__seqpattern/term_628.def
- sttfa:match__seqpattern/term_629.def
- sttfa:match__seqpattern/term_630.def
- sttfa:match__seqpattern/term_631.def
- sttfa:match__seqpattern/term_632.def
- sttfa:match__seqpattern/term_633.def
- sttfa:match__seqpattern/term_634.def
- sttfa:match__seqpattern/term_635.def
- sttfa:match__seqpattern/term_636.def
- sttfa:match__seqpattern/type_64.def
- sttfa:match__seqpattern/type_65.def
- sttfa:match__seqpattern/type_66.def
- sttfa:match__seqpattern/type_67.def
- sttfa:match__seqpattern/term_637.def
- sttfa:match__seqpattern/term_638.def
- sttfa:match__seqpattern/term_639.def
- sttfa:match__seqpattern/term_640.def
- sttfa:match__seqpattern/term_641.def
- sttfa:match__seqpattern/term_642.def
- sttfa:match__seqpattern/type_68.def
- sttfa:match__seqpattern/term_643.def
- sttfa:match__seqpattern/term_644.def
- sttfa:match__seqpattern/term_645.def
- sttfa:match__seqpattern/term_646.def
- sttfa:match__seqpattern/term_647.def
- sttfa:match__seqpattern/term_648.def
- sttfa:match__seqpattern/term_649.def
- sttfa:match__seqpattern/term_650.def
- sttfa:match__seqpattern/term_651.def
- sttfa:match__seqpattern/term_652.def
- sttfa:match__seqpattern/term_653.def
- sttfa:match__seqpattern/term_654.def
- sttfa:match__seqpattern/term_655.def
- sttfa:match__seqpattern/term_656.def
- sttfa:match__seqpattern/term_657.def
- sttfa:match__seqpattern/term_658.def
- sttfa:match__seqpattern/term_659.def
- sttfa:match__seqpattern/term_660.def
- sttfa:match__seqpattern/term_661.def
- sttfa:match__seqpattern/term_662.def
- sttfa:match__seqpattern/term_663.def
- sttfa:match__seqpattern/term_664.def
- sttfa:match__seqpattern/term_665.def
- sttfa:match__seqpattern/term_666.def
- sttfa:match__seqpattern/term_667.def
- sttfa:match__seqpattern/type_69.def
- sttfa:match__seqpattern/type_70.def
- sttfa:match__seqpattern/term_668.def
- sttfa:match__seqpattern/term_669.def
- sttfa:match__seqpattern/term_670.def
- sttfa:match__seqpattern/term_671.def
- sttfa:match__seqpattern/term_672.def
- sttfa:match__seqpattern/term_673.def
- sttfa:match__seqpattern/term_674.def
- sttfa:match__seqpattern/term_675.def
- sttfa:match__seqpattern/term_676.def
- sttfa:match__seqpattern/term_677.def
- sttfa:match__seqpattern/term_678.def
- sttfa:match__seqpattern/term_679.def
- sttfa:match__seqpattern/term_680.def
- sttfa:match__seqpattern/term_681.def
- sttfa:match__seqpattern/term_682.def
- sttfa:match__seqpattern/term_683.def
- sttfa:match__seqpattern/term_684.def
- sttfa:match__seqpattern/term_685.def
- sttfa:match__seqpattern/term_686.def
- sttfa:match__seqpattern/term_687.def
- sttfa:match__seqpattern/type_71.def
- sttfa:match__seqpattern/type_72.def
- sttfa:match__seqpattern/term_688.def
- sttfa:match__seqpattern/term_689.def
- sttfa:match__seqpattern/term_690.def
- sttfa:match__seqpattern/term_691.def
- sttfa:match__seqpattern/term_692.def
- sttfa:match__seqpattern/term_693.def
- sttfa:match__seqpattern/term_694.def
- sttfa:match__seqpattern/term_695.def
- sttfa:match__seqpattern/term_696.def
- sttfa:match__seqpattern/term_697.def
- sttfa:match__seqpattern/term_698.def
- sttfa:match__seqpattern/term_699.def
- sttfa:match__seqpattern/term_700.def
- sttfa:match__seqpattern/term_701.def
- sttfa:match__seqpattern/term_702.def
- sttfa:match__seqpattern/term_703.def
- sttfa:match__seqpattern/term_704.def
- sttfa:match__seqpattern/term_705.def
- sttfa:match__seqpattern/term_706.def
- sttfa:match__seqpattern/term_707.def
- sttfa:match__seqpattern/term_708.def
- sttfa:match__seqpattern/term_709.def
- sttfa:match__seqpattern/term_710.def
- sttfa:match__seqpattern/term_711.def
- sttfa:match__seqpattern/term_712.def
- sttfa:match__seqpattern/term_713.def
- sttfa:match__seqpattern/term_714.def
- sttfa:match__seqpattern/term_715.def
- sttfa:match__seqpattern/term_716.def
- sttfa:match__seqpattern/term_717.def
- sttfa:match__seqpattern/term_718.def
- sttfa:match__seqpattern/term_719.def
- sttfa:match__seqpattern/term_720.def
- sttfa:match__seqpattern/term_721.def
- sttfa:match__seqpattern/term_722.def
- sttfa:match__seqpattern/term_723.def
- sttfa:match__seqpattern/term_724.def
- sttfa:match__seqpattern/term_725.def
- sttfa:match__seqpattern/term_726.def
- sttfa:match__seqpattern/term_727.def
- sttfa:match__seqpattern/term_728.def
- sttfa:match__seqpattern/term_729.def
- sttfa:match__seqpattern/term_730.def
- sttfa:match__seqpattern/term_731.def
- sttfa:match__seqpattern/term_732.def
- sttfa:match__seqpattern/term_733.def
- sttfa:match__seqpattern/term_734.def
- sttfa:match__seqpattern/term_735.def
- sttfa:match__seqpattern/term_736.def
- sttfa:match__seqpattern/term_737.def
- sttfa:match__seqpattern/term_738.def
- sttfa:match__seqpattern/term_739.def
- sttfa:match__seqpattern/term_740.def
- sttfa:match__seqpattern/term_741.def
- sttfa:match__seqpattern/term_742.def
- sttfa:match__seqpattern/term_743.def
- sttfa:match__seqpattern/term_744.def
- sttfa:match__seqpattern/term_745.def
- sttfa:match__seqpattern/term_746.def
- sttfa:match__seqpattern/term_747.def
- sttfa:match__seqpattern/term_748.def
- sttfa:match__seqpattern/term_749.def
- sttfa:match__seqpattern/term_750.def
- sttfa:match__seqpattern/term_751.def
- sttfa:match__seqpattern/term_752.def
- sttfa:match__seqpattern/term_753.def
- sttfa:match__seqpattern/term_754.def
- sttfa:match__seqpattern/term_755.def
- sttfa:match__seqpattern/term_756.def
- sttfa:match__seqpattern/term_757.def
- sttfa:match__seqpattern/term_758.def
- sttfa:match__seqpattern/term_759.def
- sttfa:match__seqpattern/term_760.def
- sttfa:match__seqpattern/term_761.def
- sttfa:match__seqpattern/term_762.def
- sttfa:match__seqpattern/term_763.def
- sttfa:match__seqpattern/term_764.def
- sttfa:match__seqpattern/term_765.def
- sttfa:match__seqpattern/term_766.def
- sttfa:match__seqpattern/term_767.def
- sttfa:match__seqpattern/term_768.def
- sttfa:match__seqpattern/term_769.def
- sttfa:match__seqpattern/term_770.def
- sttfa:match__seqpattern/term_771.def
- sttfa:match__seqpattern/term_772.def
- sttfa:match__seqpattern/term_773.def
- sttfa:match__seqpattern/term_774.def
- sttfa:match__seqpattern/term_775.def
- sttfa:match__seqpattern/term_776.def
- sttfa:match__seqpattern/term_777.def
- sttfa:match__seqpattern/term_778.def
- sttfa:match__seqpattern/term_779.def
- sttfa:match__seqpattern/term_780.def
- sttfa:match__seqpattern/term_781.def
- sttfa:match__seqpattern/term_782.def
- sttfa:match__seqpattern/term_783.def
- sttfa:match__seqpattern/term_784.def
- sttfa:match__seqpattern/term_785.def
- sttfa:match__seqpattern/term_786.def
- sttfa:match__seqpattern/term_787.def
- sttfa:match__seqpattern/term_788.def
- sttfa:match__seqpattern/term_789.def
- sttfa:match__seqpattern/term_790.def
- sttfa:match__seqpattern/term_791.def
- sttfa:match__seqpattern/term_792.def
- sttfa:match__seqpattern/term_793.def
- sttfa:match__seqpattern/term_794.def
- sttfa:match__seqpattern/term_795.def
- sttfa:match__seqpattern/term_796.def
- sttfa:match__seqpattern/term_797.def
- sttfa:match__seqpattern/term_798.def
- sttfa:match__seqpattern/term_799.def
- sttfa:match__seqpattern/term_800.def
- sttfa:match__seqpattern/term_801.def
- sttfa:match__seqpattern/term_802.def
- sttfa:match__seqpattern/term_803.def
- sttfa:match__seqpattern/term_804.def
- sttfa:match__seqpattern/term_805.def
- sttfa:match__seqpattern/term_806.def
- sttfa:match__seqpattern/term_807.def
- sttfa:match__seqpattern/term_808.def
- sttfa:match__seqpattern/term_809.def
- sttfa:match__seqpattern/term_810.def
- sttfa:match__seqpattern/term_811.def
- sttfa:match__seqpattern/term_812.def
- sttfa:match__seqpattern/term_813.def
- sttfa:match__seqpattern/term_814.def
- sttfa:match__seqpattern/term_815.def
- sttfa:match__seqpattern/term_816.def
- sttfa:match__seqpattern/term_817.def
- sttfa:match__seqpattern/term_818.def
- sttfa:match__seqpattern/term_819.def
- sttfa:match__seqpattern/term_820.def
- sttfa:match__seqpattern/term_821.def
- sttfa:match__seqpattern/term_822.def
- sttfa:match__seqpattern/term_823.def
- sttfa:match__seqpattern/term_824.def
- sttfa:match__seqpattern/term_825.def
- sttfa:match__seqpattern/term_826.def
- sttfa:match__seqpattern/term_827.def
- sttfa:match__seqpattern/term_828.def
- sttfa:match__seqpattern/term_829.def
- sttfa:match__seqpattern/term_830.def
- sttfa:match__seqpattern/term_831.def
- sttfa:match__seqpattern/term_832.def
- sttfa:match__seqpattern/term_833.def
- sttfa:match__seqpattern/term_834.def
- sttfa:match__seqpattern/term_835.def
- sttfa:match__seqpattern/term_836.def
- sttfa:match__seqpattern/term_837.def
- sttfa:match__seqpattern/term_838.def
- sttfa:match__seqpattern/term_839.def
- sttfa:match__seqpattern/term_840.def
- sttfa:match__seqpattern/term_841.def
- sttfa:match__seqpattern/term_842.def
- sttfa:match__seqpattern/term_843.def
- sttfa:match__seqpattern/term_844.def
- sttfa:match__seqpattern/term_845.def
- sttfa:match__seqpattern/term_846.def
- sttfa:match__seqpattern/term_847.def
- sttfa:match__seqpattern/term_848.def
- sttfa:match__seqpattern/term_849.def
- sttfa:match__seqpattern/term_850.def
- sttfa:match__seqpattern/term_851.def
- sttfa:match__seqpattern/term_852.def
- sttfa:match__seqpattern/term_853.def
- sttfa:match__seqpattern/term_854.def
- sttfa:match__seqpattern/term_855.def
- sttfa:match__seqpattern/term_856.def
- sttfa:match__seqpattern/term_857.def
- sttfa:match__seqpattern/term_858.def
- sttfa:match__seqpattern/term_859.def
- sttfa:match__seqpattern/term_860.def
- sttfa:match__seqpattern/term_861.def
- sttfa:match__seqpattern/term_862.def
- sttfa:match__seqpattern/term_863.def
- sttfa:match__seqpattern/term_864.def
- sttfa:match__seqpattern/term_865.def
- sttfa:match__seqpattern/term_866.def
- sttfa:match__seqpattern/term_867.def
- sttfa:match__seqpattern/term_868.def
- sttfa:match__seqpattern/term_869.def
- sttfa:match__seqpattern/term_870.def
- sttfa:match__seqpattern/term_871.def
- sttfa:match__seqpattern/term_872.def
- sttfa:match__seqpattern/term_873.def
- sttfa:match__seqpattern/term_874.def
- sttfa:match__seqpattern/term_875.def
- sttfa:match__seqpattern/term_876.def
- sttfa:match__seqpattern/term_877.def
- sttfa:match__seqpattern/term_878.def
- sttfa:match__seqpattern/term_879.def
- sttfa:match__seqpattern/term_880.def
- sttfa:match__seqpattern/term_881.def
- sttfa:match__seqpattern/term_882.def
- sttfa:match__seqpattern/term_883.def
- sttfa:match__seqpattern/term_884.def
- sttfa:match__seqpattern/term_885.def
- sttfa:match__seqpattern/term_886.def
- sttfa:match__seqpattern/term_887.def
- sttfa:match__seqpattern/term_888.def
- sttfa:match__seqpattern/term_889.def
- sttfa:match__seqpattern/term_890.def
- sttfa:match__seqpattern/term_891.def
- sttfa:match__seqpattern/term_892.def
- sttfa:match__seqpattern/term_893.def
- sttfa:match__seqpattern/term_894.def
- sttfa:match__seqpattern/term_895.def
- sttfa:match__seqpattern/term_896.def
- sttfa:match__seqpattern/term_897.def
- sttfa:match__seqpattern/term_898.def
- sttfa:match__seqpattern/term_899.def
- sttfa:match__seqpattern/term_900.def
- sttfa:match__seqpattern/term_901.def
- sttfa:match__seqpattern/term_902.def
- sttfa:match__seqpattern/term_903.def
- sttfa:match__seqpattern/term_904.def
- sttfa:match__seqpattern/term_905.def
- sttfa:match__seqpattern/term_906.def
- sttfa:match__seqpattern/term_907.def
- sttfa:match__seqpattern/term_908.def
- sttfa:match__seqpattern/term_909.def
- sttfa:match__seqpattern/term_910.def
- sttfa:match__seqpattern/term_911.def
- sttfa:match__seqpattern/term_912.def
- sttfa:match__seqpattern/term_913.def
- sttfa:match__seqpattern/term_914.def
- sttfa:match__seqpattern/term_915.def
- sttfa:match__seqpattern/term_916.def
- sttfa:match__seqpattern/term_917.def
- sttfa:match__seqpattern/term_918.def
- sttfa:match__seqpattern/term_919.def
- sttfa:match__seqpattern/term_920.def
- sttfa:match__seqpattern/term_921.def
- sttfa:match__seqpattern/term_922.def
- sttfa:match__seqpattern/term_923.def
- sttfa:match__seqpattern/term_924.def
- sttfa:match__seqpattern/term_925.def
- sttfa:match__seqpattern/term_926.def
- sttfa:match__seqpattern/term_927.def
- sttfa:match__seqpattern/term_928.def
- sttfa:match__seqpattern/term_929.def
- sttfa:match__seqpattern/term_930.def
- sttfa:match__seqpattern/term_931.def
- sttfa:match__seqpattern/term_932.def
- sttfa:match__seqpattern/term_933.def
- sttfa:match__seqpattern/term_934.def
- sttfa:match__seqpattern/term_935.def
- sttfa:match__seqpattern/term_936.def
- sttfa:match__seqpattern/term_937.def
- sttfa:match__seqpattern/term_938.def
- sttfa:match__seqpattern/term_939.def
- sttfa:match__seqpattern/term_940.def
- sttfa:match__seqpattern/term_941.def
- sttfa:match__seqpattern/term_942.def
- sttfa:match__seqpattern/term_943.def
- sttfa:match__seqpattern/term_944.def
- sttfa:match__seqpattern/term_945.def
- sttfa:match__seqpattern/term_946.def
- sttfa:match__seqpattern/term_947.def
- sttfa:match__seqpattern/term_948.def
- sttfa:match__seqpattern/term_949.def
- sttfa:match__seqpattern/term_950.def
- sttfa:match__seqpattern/term_951.def
- sttfa:match__seqpattern/term_952.def
- sttfa:match__seqpattern/term_953.def
- sttfa:match__seqpattern/term_954.def
- sttfa:match__seqpattern/term_955.def
- sttfa:match__seqpattern/term_956.def
- sttfa:match__seqpattern/term_957.def
- sttfa:match__seqpattern/term_958.def
- sttfa:match__seqpattern/term_959.def
- sttfa:match__seqpattern/term_960.def
- sttfa:match__seqpattern/term_961.def
- sttfa:match__seqpattern/term_962.def
- sttfa:match__seqpattern/term_963.def
- sttfa:match__seqpattern/term_964.def
- sttfa:match__seqpattern/term_965.def
- sttfa:match__seqpattern/term_966.def
- sttfa:match__seqpattern/term_967.def
- sttfa:match__seqpattern/type_73.def
- sttfa:match__seqpattern/Function_2Eid.def
- sttfa:match__seqpattern/term_968.def
- sttfa:match__seqpattern/term_969.def
- sttfa:match__seqpattern/term_970.def
- sttfa:match__seqpattern/term_971.def
- sttfa:match__seqpattern/term_972.def
- sttfa:match__seqpattern/term_973.def
- sttfa:match__seqpattern/term_974.def
- sttfa:match__seqpattern/term_975.def
- sttfa:match__seqpattern/term_976.def
- sttfa:match__seqpattern/term_977.def
- sttfa:match__seqpattern/term_978.def
- sttfa:match__seqpattern/term_979.def
- sttfa:match__seqpattern/term_980.def
- sttfa:match__seqpattern/term_981.def
- sttfa:match__seqpattern/term_982.def
- sttfa:match__seqpattern/term_983.def
- sttfa:match__seqpattern/term_984.def
- sttfa:match__seqpattern/term_985.def
- sttfa:match__seqpattern/term_986.def
- sttfa:match__seqpattern/term_987.def
- sttfa:match__seqpattern/term_988.def
- sttfa:match__seqpattern/term_989.def
- sttfa:match__seqpattern/term_990.def
- sttfa:match__seqpattern/term_991.def
- sttfa:match__seqpattern/term_992.def
- sttfa:match__seqpattern/term_993.def
- sttfa:match__seqpattern/term_994.def
- sttfa:match__seqpattern/term_995.def
- sttfa:match__seqpattern/term_996.def
- sttfa:match__seqpattern/term_997.def
- sttfa:match__seqpattern/term_998.def
- sttfa:match__seqpattern/term_999.def
- sttfa:match__seqpattern/term_1000.def
- sttfa:match__seqpattern/term_1001.def
- sttfa:match__seqpattern/term_1002.def
- sttfa:match__seqpattern/term_1003.def
- sttfa:match__seqpattern/term_1004.def
- sttfa:match__seqpattern/term_1005.def
- sttfa:match__seqpattern/term_1006.def
- sttfa:match__seqpattern/term_1007.def
- sttfa:match__seqpattern/term_1008.def
- sttfa:match__seqpattern/term_1009.def
- sttfa:match__seqpattern/term_1010.def
- sttfa:match__seqpattern/term_1011.def
- sttfa:match__seqpattern/term_1012.def
- sttfa:match__seqpattern/term_1013.def
- sttfa:match__seqpattern/term_1014.def
- sttfa:match__seqpattern/term_1015.def
- sttfa:match__seqpattern/term_1016.def
- sttfa:match__seqpattern/term_1017.def
- sttfa:match__seqpattern/term_1018.def
- sttfa:match__seqpattern/term_1019.def
- sttfa:match__seqpattern/term_1020.def
- sttfa:match__seqpattern/term_1021.def
- sttfa:match__seqpattern/term_1022.def
- sttfa:match__seqpattern/term_1023.def
- sttfa:match__seqpattern/term_1024.def
- sttfa:match__seqpattern/term_1025.def
- sttfa:match__seqpattern/term_1026.def
- sttfa:match__seqpattern/term_1027.def
- sttfa:match__seqpattern/term_1028.def
- sttfa:match__seqpattern/term_1029.def
- sttfa:match__seqpattern/term_1030.def
- sttfa:match__seqpattern/term_1031.def
- sttfa:match__seqpattern/term_1032.def
- sttfa:match__seqpattern/term_1033.def
- sttfa:match__seqpattern/term_1034.def
- sttfa:match__seqpattern/term_1035.def
- sttfa:match__seqpattern/term_1036.def
- sttfa:match__seqpattern/term_1037.def
- sttfa:match__seqpattern/term_1038.def
- sttfa:match__seqpattern/term_1039.def
- sttfa:match__seqpattern/term_1040.def
- sttfa:match__seqpattern/term_1041.def
- sttfa:match__seqpattern/term_1042.def
- sttfa:match__seqpattern/term_1043.def
- sttfa:match__seqpattern/term_1044.def
- sttfa:match__seqpattern/term_1045.def
- sttfa:match__seqpattern/term_1046.def
- sttfa:match__seqpattern/term_1047.def
- sttfa:match__seqpattern/term_1048.def
- sttfa:match__seqpattern/term_1049.def
- sttfa:match__seqpattern/term_1050.def
- sttfa:match__seqpattern/term_1051.def
- sttfa:match__seqpattern/type_74.def
- sttfa:match__seqpattern/term_1052.def
- sttfa:match__seqpattern/term_1053.def
- sttfa:match__seqpattern/term_1054.def
- sttfa:match__seqpattern/term_1055.def
- sttfa:match__seqpattern/term_1056.def
- sttfa:match__seqpattern/term_1057.def
- sttfa:match__seqpattern/term_1058.def
- sttfa:match__seqpattern/term_1059.def
- sttfa:match__seqpattern/term_1060.def
- sttfa:match__seqpattern/term_1061.def
- sttfa:match__seqpattern/term_1062.def
- sttfa:match__seqpattern/term_1063.def
- sttfa:match__seqpattern/term_1064.def
- sttfa:match__seqpattern/term_1065.def
- sttfa:match__seqpattern/term_1066.def
- sttfa:match__seqpattern/term_1067.def
- sttfa:match__seqpattern/type_75.def
- sttfa:match__seqpattern/term_1068.def
- sttfa:match__seqpattern/term_1069.def
- sttfa:match__seqpattern/type_76.def
- sttfa:match__seqpattern/term_1070.def
- sttfa:match__seqpattern/term_1071.def
- sttfa:match__seqpattern/term_1072.def
- sttfa:match__seqpattern/term_1073.def
- sttfa:match__seqpattern/term_1074.def
- sttfa:match__seqpattern/term_1075.def
- sttfa:match__seqpattern/term_1076.def
- sttfa:match__seqpattern/term_1077.def
- sttfa:match__seqpattern/term_1078.def
- sttfa:match__seqpattern/term_1079.def
theorem
- sttfa:match__seqpattern/thm_0.thm
- sttfa:match__seqpattern/thm_1.thm
- sttfa:match__seqpattern/thm_2.thm
- sttfa:match__seqpattern/_MATCH.thm
- sttfa:match__seqpattern/thm_4.thm
- sttfa:match__seqpattern/thm_5.thm
- sttfa:match__seqpattern/thm_6.thm
- sttfa:match__seqpattern/thm_7.thm
- sttfa:match__seqpattern/thm_8.thm
- sttfa:match__seqpattern/thm_9.thm
- sttfa:match__seqpattern/thm_10.thm
- sttfa:match__seqpattern/thm_11.thm
- sttfa:match__seqpattern/thm_12.thm
- sttfa:match__seqpattern/thm_13.thm
- sttfa:match__seqpattern/thm_14.thm
- sttfa:match__seqpattern/thm_15.thm
- sttfa:match__seqpattern/thm_16.thm
- sttfa:match__seqpattern/thm_17.thm
- sttfa:match__seqpattern/thm_18.thm
- sttfa:match__seqpattern/_SEQPATTERN.thm
- sttfa:match__seqpattern/thm_20.thm
- sttfa:match__seqpattern/thm_21.thm
- sttfa:match__seqpattern/thm_22.thm
- sttfa:match__seqpattern/thm_23.thm
- sttfa:match__seqpattern/thm_24.thm
- sttfa:match__seqpattern/thm_25.thm
- sttfa:match__seqpattern/thm_26.thm
- sttfa:match__seqpattern/thm_27.thm
- sttfa:match__seqpattern/thm_28.thm
- sttfa:match__seqpattern/thm_29.thm
- sttfa:match__seqpattern/thm_30.thm
- sttfa:match__seqpattern/thm_31.thm
- sttfa:match__seqpattern/thm_32.thm
- sttfa:match__seqpattern/thm_33.thm
- sttfa:match__seqpattern/thm_34.thm
- sttfa:match__seqpattern/thm_35.thm
- sttfa:match__seqpattern/thm_36.thm
- sttfa:match__seqpattern/thm_37.thm
- sttfa:match__seqpattern/thm_38.thm
- sttfa:match__seqpattern/thm_39.thm
- sttfa:match__seqpattern/thm_40.thm
- sttfa:match__seqpattern/thm_41.thm
- sttfa:match__seqpattern/thm_42.thm
- sttfa:match__seqpattern/thm_43.thm
- sttfa:match__seqpattern/thm_44.thm
- sttfa:match__seqpattern/thm_45.thm
- sttfa:match__seqpattern/thm_46.thm
- sttfa:match__seqpattern/thm_47.thm
- sttfa:match__seqpattern/thm_48.thm
- sttfa:match__seqpattern/thm_49.thm
- sttfa:match__seqpattern/thm_50.thm
- sttfa:match__seqpattern/thm_51.thm
- sttfa:match__seqpattern/thm_52.thm
- sttfa:match__seqpattern/thm_53.thm
- sttfa:match__seqpattern/thm_54.thm
- sttfa:match__seqpattern/thm_55.thm
- sttfa:match__seqpattern/thm_56.thm
- sttfa:match__seqpattern/thm_57.thm
- sttfa:match__seqpattern/thm_58.thm
- sttfa:match__seqpattern/thm_59.thm
- sttfa:match__seqpattern/thm_60.thm
- sttfa:match__seqpattern/thm_61.thm
- sttfa:match__seqpattern/thm_62.thm
- sttfa:match__seqpattern/thm_63.thm
- sttfa:match__seqpattern/thm_64.thm
- sttfa:match__seqpattern/thm_65.thm
- sttfa:match__seqpattern/thm_66.thm
- sttfa:match__seqpattern/thm_67.thm
- sttfa:match__seqpattern/thm_68.thm
- sttfa:match__seqpattern/thm_69.thm
- sttfa:match__seqpattern/thm_70.thm
- sttfa:match__seqpattern/thm_71.thm
- sttfa:match__seqpattern/thm_72.thm
- sttfa:match__seqpattern/thm_73.thm
- sttfa:match__seqpattern/thm_74.thm
- sttfa:match__seqpattern/thm_75.thm
- sttfa:match__seqpattern/thm_76.thm
- sttfa:match__seqpattern/thm_77.thm
- sttfa:match__seqpattern/thm_78.thm
- sttfa:match__seqpattern/thm_79.thm
- sttfa:match__seqpattern/thm_80.thm
- sttfa:match__seqpattern/thm_81.thm
- sttfa:match__seqpattern/thm_82.thm
- sttfa:match__seqpattern/thm_83.thm
- sttfa:match__seqpattern/thm_84.thm
- sttfa:match__seqpattern/thm_85.thm
- sttfa:match__seqpattern/thm_86.thm
- sttfa:match__seqpattern/thm_87.thm
- sttfa:match__seqpattern/thm_88.thm
- sttfa:match__seqpattern/IMP_CLAUSES.thm
- sttfa:match__seqpattern/thm_90.thm
- sttfa:match__seqpattern/thm_91.thm
- sttfa:match__seqpattern/thm_92.thm
- sttfa:match__seqpattern/thm_93.thm
- sttfa:match__seqpattern/thm_94.thm
- sttfa:match__seqpattern/thm_95.thm
- sttfa:match__seqpattern/thm_96.thm
- sttfa:match__seqpattern/thm_97.thm
- sttfa:match__seqpattern/thm_98.thm
- sttfa:match__seqpattern/thm_99.thm
- sttfa:match__seqpattern/thm_100.thm
- sttfa:match__seqpattern/NOT_CLAUSES.thm
- sttfa:match__seqpattern/thm_102.thm
- sttfa:match__seqpattern/thm_103.thm
- sttfa:match__seqpattern/thm_104.thm
- sttfa:match__seqpattern/thm_105.thm
- sttfa:match__seqpattern/thm_106.thm
- sttfa:match__seqpattern/thm_107.thm
- sttfa:match__seqpattern/thm_108.thm
- sttfa:match__seqpattern/REFL_CLAUSE.thm
- sttfa:match__seqpattern/thm_110.thm
- sttfa:match__seqpattern/thm_111.thm
- sttfa:match__seqpattern/thm_112.thm
- sttfa:match__seqpattern/thm_113.thm
- sttfa:match__seqpattern/thm_114.thm
- sttfa:match__seqpattern/thm_115.thm
- sttfa:match__seqpattern/TRUTH.thm
- sttfa:match__seqpattern/thm_117.thm
- sttfa:match__seqpattern/thm_118.thm
- sttfa:match__seqpattern/thm_119.thm
- sttfa:match__seqpattern/thm_120.thm
- sttfa:match__seqpattern/thm_121.thm
- sttfa:match__seqpattern/thm_122.thm
- sttfa:match__seqpattern/thm_123.thm
- sttfa:match__seqpattern/thm_124.thm
- sttfa:match__seqpattern/thm_125.thm
- sttfa:match__seqpattern/thm_126.thm
- sttfa:match__seqpattern/thm_127.thm
- sttfa:match__seqpattern/thm_128.thm
- sttfa:match__seqpattern/thm_129.thm
- sttfa:match__seqpattern/FORALL_SIMP.thm
- sttfa:match__seqpattern/thm_131.thm
- sttfa:match__seqpattern/thm_132.thm
- sttfa:match__seqpattern/thm_133.thm
- sttfa:match__seqpattern/thm_134.thm
- sttfa:match__seqpattern/thm_135.thm
- sttfa:match__seqpattern/thm_136.thm
- sttfa:match__seqpattern/thm_137.thm
- sttfa:match__seqpattern/thm_138.thm
- sttfa:match__seqpattern/thm_139.thm
- sttfa:match__seqpattern/thm_140.thm
- sttfa:match__seqpattern/thm_141.thm
- sttfa:match__seqpattern/thm_142.thm
- sttfa:match__seqpattern/thm_143.thm
- sttfa:match__seqpattern/thm_144.thm
- sttfa:match__seqpattern/thm_145.thm
- sttfa:match__seqpattern/thm_146.thm
- sttfa:match__seqpattern/thm_147.thm
- sttfa:match__seqpattern/thm_148.thm
- sttfa:match__seqpattern/thm_149.thm
- sttfa:match__seqpattern/thm_150.thm
- sttfa:match__seqpattern/thm_151.thm
- sttfa:match__seqpattern/thm_152.thm
- sttfa:match__seqpattern/thm_153.thm
- sttfa:match__seqpattern/thm_154.thm
- sttfa:match__seqpattern/thm_155.thm
- sttfa:match__seqpattern/thm_156.thm
- sttfa:match__seqpattern/thm_157.thm
- sttfa:match__seqpattern/thm_158.thm
- sttfa:match__seqpattern/thm_159.thm
- sttfa:match__seqpattern/thm_160.thm
- sttfa:match__seqpattern/thm_161.thm
- sttfa:match__seqpattern/thm_162.thm
- sttfa:match__seqpattern/thm_163.thm
- sttfa:match__seqpattern/thm_164.thm
- sttfa:match__seqpattern/thm_165.thm
- sttfa:match__seqpattern/thm_166.thm
- sttfa:match__seqpattern/thm_167.thm
- sttfa:match__seqpattern/thm_168.thm
- sttfa:match__seqpattern/thm_169.thm
- sttfa:match__seqpattern/thm_170.thm
- sttfa:match__seqpattern/thm_171.thm
- sttfa:match__seqpattern/thm_172.thm
- sttfa:match__seqpattern/thm_173.thm
- sttfa:match__seqpattern/thm_174.thm
- sttfa:match__seqpattern/thm_175.thm
- sttfa:match__seqpattern/thm_176.thm
- sttfa:match__seqpattern/thm_177.thm
- sttfa:match__seqpattern/thm_178.thm
- sttfa:match__seqpattern/thm_179.thm
- sttfa:match__seqpattern/thm_180.thm
- sttfa:match__seqpattern/thm_181.thm
- sttfa:match__seqpattern/thm_182.thm
- sttfa:match__seqpattern/thm_183.thm
- sttfa:match__seqpattern/thm_184.thm
- sttfa:match__seqpattern/thm_185.thm
- sttfa:match__seqpattern/thm_186.thm
- sttfa:match__seqpattern/thm_187.thm
- sttfa:match__seqpattern/thm_188.thm
- sttfa:match__seqpattern/thm_189.thm
- sttfa:match__seqpattern/thm_190.thm
- sttfa:match__seqpattern/thm_191.thm
- sttfa:match__seqpattern/thm_192.thm
- sttfa:match__seqpattern/thm_193.thm
- sttfa:match__seqpattern/thm_194.thm
- sttfa:match__seqpattern/thm_195.thm
- sttfa:match__seqpattern/thm_196.thm
- sttfa:match__seqpattern/thm_197.thm
- sttfa:match__seqpattern/thm_198.thm
- sttfa:match__seqpattern/thm_199.thm
- sttfa:match__seqpattern/thm_200.thm
- sttfa:match__seqpattern/NOT_CLAUSES_WEAK.thm
- sttfa:match__seqpattern/thm_202.thm
- sttfa:match__seqpattern/thm_203.thm
- sttfa:match__seqpattern/thm_204.thm
- sttfa:match__seqpattern/thm_205.thm
- sttfa:match__seqpattern/thm_206.thm
- sttfa:match__seqpattern/thm_207.thm
- sttfa:match__seqpattern/thm_208.thm
- sttfa:match__seqpattern/thm_209.thm
- sttfa:match__seqpattern/thm_210.thm
- sttfa:match__seqpattern/thm_211.thm
- sttfa:match__seqpattern/thm_212.thm
- sttfa:match__seqpattern/thm_213.thm
- sttfa:match__seqpattern/COND_CLAUSES.thm
- sttfa:match__seqpattern/thm_215.thm
- sttfa:match__seqpattern/thm_216.thm
- sttfa:match__seqpattern/thm_217.thm
- sttfa:match__seqpattern/thm_218.thm
- sttfa:match__seqpattern/thm_219.thm
- sttfa:match__seqpattern/thm_220.thm
- sttfa:match__seqpattern/thm_221.thm
- sttfa:match__seqpattern/thm_222.thm
- sttfa:match__seqpattern/thm_223.thm
- sttfa:match__seqpattern/thm_224.thm
- sttfa:match__seqpattern/thm_225.thm
- sttfa:match__seqpattern/thm_226.thm
- sttfa:match__seqpattern/thm_227.thm
- sttfa:match__seqpattern/thm_228.thm
- sttfa:match__seqpattern/thm_229.thm
- sttfa:match__seqpattern/thm_230.thm
- sttfa:match__seqpattern/thm_231.thm
- sttfa:match__seqpattern/thm_232.thm
- sttfa:match__seqpattern/thm_233.thm
- sttfa:match__seqpattern/thm_234.thm
- sttfa:match__seqpattern/thm_235.thm
- sttfa:match__seqpattern/thm_236.thm
- sttfa:match__seqpattern/OR_CLAUSES.thm
- sttfa:match__seqpattern/thm_238.thm
- sttfa:match__seqpattern/thm_239.thm
- sttfa:match__seqpattern/thm_240.thm
- sttfa:match__seqpattern/thm_241.thm
- sttfa:match__seqpattern/thm_242.thm
- sttfa:match__seqpattern/thm_243.thm
- sttfa:match__seqpattern/thm_244.thm
- sttfa:match__seqpattern/thm_245.thm
- sttfa:match__seqpattern/thm_246.thm
- sttfa:match__seqpattern/thm_247.thm
- sttfa:match__seqpattern/thm_248.thm
- sttfa:match__seqpattern/thm_249.thm
- sttfa:match__seqpattern/thm_250.thm
- sttfa:match__seqpattern/thm_251.thm
- sttfa:match__seqpattern/thm_252.thm
- sttfa:match__seqpattern/thm_253.thm
- sttfa:match__seqpattern/thm_254.thm
- sttfa:match__seqpattern/thm_255.thm
- sttfa:match__seqpattern/thm_256.thm
- sttfa:match__seqpattern/thm_257.thm
- sttfa:match__seqpattern/thm_258.thm
- sttfa:match__seqpattern/thm_259.thm
- sttfa:match__seqpattern/thm_260.thm
- sttfa:match__seqpattern/AND_CLAUSES.thm
- sttfa:match__seqpattern/thm_262.thm
- sttfa:match__seqpattern/thm_263.thm
- sttfa:match__seqpattern/thm_264.thm
- sttfa:match__seqpattern/thm_265.thm
- sttfa:match__seqpattern/thm_266.thm
- sttfa:match__seqpattern/thm_267.thm
- sttfa:match__seqpattern/thm_268.thm
- sttfa:match__seqpattern/thm_269.thm
- sttfa:match__seqpattern/thm_270.thm
- sttfa:match__seqpattern/thm_271.thm
- sttfa:match__seqpattern/thm_272.thm
- sttfa:match__seqpattern/thm_273.thm
- sttfa:match__seqpattern/thm_274.thm
- sttfa:match__seqpattern/thm_275.thm
- sttfa:match__seqpattern/thm_276.thm
- sttfa:match__seqpattern/thm_277.thm
- sttfa:match__seqpattern/thm_278.thm
- sttfa:match__seqpattern/thm_279.thm
- sttfa:match__seqpattern/thm_280.thm
- sttfa:match__seqpattern/thm_281.thm
- sttfa:match__seqpattern/thm_282.thm
- sttfa:match__seqpattern/thm_283.thm
- sttfa:match__seqpattern/thm_284.thm
- sttfa:match__seqpattern/thm_285.thm
- sttfa:match__seqpattern/thm_286.thm
- sttfa:match__seqpattern/thm_287.thm
- sttfa:match__seqpattern/thm_288.thm
- sttfa:match__seqpattern/thm_289.thm
- sttfa:match__seqpattern/thm_290.thm
- sttfa:match__seqpattern/thm_291.thm
- sttfa:match__seqpattern/thm_292.thm
- sttfa:match__seqpattern/thm_293.thm
- sttfa:match__seqpattern/thm_294.thm
- sttfa:match__seqpattern/thm_295.thm
- sttfa:match__seqpattern/thm_296.thm
- sttfa:match__seqpattern/thm_297.thm
- sttfa:match__seqpattern/thm_298.thm
- sttfa:match__seqpattern/thm_299.thm
- sttfa:match__seqpattern/thm_300.thm
- sttfa:match__seqpattern/thm_301.thm
- sttfa:match__seqpattern/thm_302.thm
- sttfa:match__seqpattern/thm_303.thm
- sttfa:match__seqpattern/thm_304.thm
- sttfa:match__seqpattern/thm_305.thm
- sttfa:match__seqpattern/thm_306.thm
- sttfa:match__seqpattern/thm_307.thm
- sttfa:match__seqpattern/thm_308.thm
- sttfa:match__seqpattern/thm_309.thm
- sttfa:match__seqpattern/thm_310.thm
- sttfa:match__seqpattern/thm_311.thm
- sttfa:match__seqpattern/thm_312.thm
- sttfa:match__seqpattern/thm_313.thm
- sttfa:match__seqpattern/thm_314.thm
- sttfa:match__seqpattern/thm_315.thm
- sttfa:match__seqpattern/thm_316.thm
- sttfa:match__seqpattern/thm_317.thm
- sttfa:match__seqpattern/thm_318.thm
- sttfa:match__seqpattern/thm_319.thm
- sttfa:match__seqpattern/thm_320.thm
- sttfa:match__seqpattern/thm_321.thm
- sttfa:match__seqpattern/thm_322.thm
- sttfa:match__seqpattern/thm_323.thm
- sttfa:match__seqpattern/thm_324.thm
- sttfa:match__seqpattern/thm_325.thm
- sttfa:match__seqpattern/thm_326.thm
- sttfa:match__seqpattern/BOOL_CASES_AX.thm
- sttfa:match__seqpattern/thm_328.thm
- sttfa:match__seqpattern/thm_329.thm
- sttfa:match__seqpattern/thm_330.thm
- sttfa:match__seqpattern/thm_331.thm
- sttfa:match__seqpattern/thm_332.thm
- sttfa:match__seqpattern/thm_333.thm
- sttfa:match__seqpattern/thm_334.thm
- sttfa:match__seqpattern/thm_335.thm
- sttfa:match__seqpattern/thm_336.thm
- sttfa:match__seqpattern/thm_337.thm
- sttfa:match__seqpattern/thm_338.thm
- sttfa:match__seqpattern/thm_339.thm
- sttfa:match__seqpattern/thm_340.thm
- sttfa:match__seqpattern/thm_341.thm
- sttfa:match__seqpattern/thm_342.thm
- sttfa:match__seqpattern/thm_343.thm
- sttfa:match__seqpattern/thm_344.thm
- sttfa:match__seqpattern/EQ_CLAUSES.thm
- sttfa:match__seqpattern/thm_346.thm
- sttfa:match__seqpattern/thm_347.thm
- sttfa:match__seqpattern/thm_348.thm
- sttfa:match__seqpattern/thm_349.thm
- sttfa:match__seqpattern/thm_350.thm
- sttfa:match__seqpattern/thm_351.thm
- sttfa:match__seqpattern/thm_352.thm
- sttfa:match__seqpattern/thm_353.thm
- sttfa:match__seqpattern/thm_354.thm
- sttfa:match__seqpattern/thm_355.thm
- sttfa:match__seqpattern/thm_356.thm
- sttfa:match__seqpattern/thm_357.thm
- sttfa:match__seqpattern/thm_358.thm
- sttfa:match__seqpattern/thm_359.thm
- sttfa:match__seqpattern/thm_360.thm
- sttfa:match__seqpattern/thm_361.thm
- sttfa:match__seqpattern/thm_362.thm
- sttfa:match__seqpattern/thm_363.thm
- sttfa:match__seqpattern/thm_364.thm
- sttfa:match__seqpattern/thm_365.thm
- sttfa:match__seqpattern/thm_366.thm
- sttfa:match__seqpattern/thm_367.thm
- sttfa:match__seqpattern/thm_368.thm
- sttfa:match__seqpattern/thm_369.thm
- sttfa:match__seqpattern/thm_370.thm
- sttfa:match__seqpattern/thm_371.thm
- sttfa:match__seqpattern/thm_372.thm
- sttfa:match__seqpattern/thm_373.thm
- sttfa:match__seqpattern/thm_374.thm
- sttfa:match__seqpattern/thm_375.thm
- sttfa:match__seqpattern/thm_376.thm
- sttfa:match__seqpattern/thm_377.thm
- sttfa:match__seqpattern/thm_378.thm
- sttfa:match__seqpattern/thm_379.thm
- sttfa:match__seqpattern/thm_380.thm
- sttfa:match__seqpattern/thm_381.thm
- sttfa:match__seqpattern/thm_382.thm
- sttfa:match__seqpattern/thm_383.thm
- sttfa:match__seqpattern/thm_384.thm
- sttfa:match__seqpattern/thm_385.thm
- sttfa:match__seqpattern/thm_386.thm
- sttfa:match__seqpattern/thm_387.thm
- sttfa:match__seqpattern/thm_388.thm
- sttfa:match__seqpattern/thm_389.thm
- sttfa:match__seqpattern/thm_390.thm
- sttfa:match__seqpattern/thm_391.thm
- sttfa:match__seqpattern/thm_392.thm
- sttfa:match__seqpattern/thm_393.thm
- sttfa:match__seqpattern/thm_394.thm
- sttfa:match__seqpattern/thm_395.thm
- sttfa:match__seqpattern/thm_396.thm
- sttfa:match__seqpattern/thm_397.thm
- sttfa:match__seqpattern/thm_398.thm
- sttfa:match__seqpattern/thm_399.thm
- sttfa:match__seqpattern/thm_400.thm
- sttfa:match__seqpattern/thm_401.thm
- sttfa:match__seqpattern/thm_402.thm
- sttfa:match__seqpattern/thm_403.thm
- sttfa:match__seqpattern/thm_404.thm
- sttfa:match__seqpattern/thm_405.thm
- sttfa:match__seqpattern/thm_406.thm
- sttfa:match__seqpattern/thm_407.thm
- sttfa:match__seqpattern/thm_408.thm
- sttfa:match__seqpattern/thm_409.thm
- sttfa:match__seqpattern/thm_410.thm
- sttfa:match__seqpattern/thm_411.thm
- sttfa:match__seqpattern/thm_412.thm
- sttfa:match__seqpattern/thm_413.thm
- sttfa:match__seqpattern/thm_414.thm
- sttfa:match__seqpattern/thm_415.thm
- sttfa:match__seqpattern/thm_416.thm
- sttfa:match__seqpattern/thm_417.thm
- sttfa:match__seqpattern/thm_418.thm
- sttfa:match__seqpattern/thm_419.thm
- sttfa:match__seqpattern/thm_420.thm
- sttfa:match__seqpattern/thm_421.thm
- sttfa:match__seqpattern/thm_422.thm
- sttfa:match__seqpattern/thm_423.thm
- sttfa:match__seqpattern/thm_424.thm
- sttfa:match__seqpattern/thm_425.thm
- sttfa:match__seqpattern/thm_426.thm
- sttfa:match__seqpattern/thm_427.thm
- sttfa:match__seqpattern/thm_428.thm
- sttfa:match__seqpattern/thm_429.thm
- sttfa:match__seqpattern/thm_430.thm
- sttfa:match__seqpattern/thm_431.thm
- sttfa:match__seqpattern/thm_432.thm
- sttfa:match__seqpattern/thm_433.thm
- sttfa:match__seqpattern/thm_434.thm
- sttfa:match__seqpattern/thm_435.thm
- sttfa:match__seqpattern/thm_436.thm
- sttfa:match__seqpattern/thm_437.thm
- sttfa:match__seqpattern/thm_438.thm
- sttfa:match__seqpattern/thm_439.thm
- sttfa:match__seqpattern/thm_440.thm
- sttfa:match__seqpattern/thm_441.thm
- sttfa:match__seqpattern/thm_442.thm
- sttfa:match__seqpattern/thm_443.thm
- sttfa:match__seqpattern/thm_444.thm
- sttfa:match__seqpattern/thm_445.thm
- sttfa:match__seqpattern/thm_446.thm
- sttfa:match__seqpattern/thm_447.thm
- sttfa:match__seqpattern/thm_448.thm
- sttfa:match__seqpattern/thm_449.thm
- sttfa:match__seqpattern/thm_450.thm
- sttfa:match__seqpattern/thm_451.thm
- sttfa:match__seqpattern/thm_452.thm
- sttfa:match__seqpattern/thm_453.thm
- sttfa:match__seqpattern/thm_454.thm
- sttfa:match__seqpattern/thm_455.thm
- sttfa:match__seqpattern/thm_456.thm
- sttfa:match__seqpattern/thm_457.thm
- sttfa:match__seqpattern/thm_458.thm
- sttfa:match__seqpattern/thm_459.thm
- sttfa:match__seqpattern/thm_460.thm
- sttfa:match__seqpattern/thm_461.thm
- sttfa:match__seqpattern/thm_462.thm
- sttfa:match__seqpattern/thm_463.thm
- sttfa:match__seqpattern/thm_464.thm
- sttfa:match__seqpattern/thm_465.thm
- sttfa:match__seqpattern/thm_466.thm
- sttfa:match__seqpattern/thm_467.thm
- sttfa:match__seqpattern/thm_468.thm
- sttfa:match__seqpattern/thm_469.thm
- sttfa:match__seqpattern/thm_470.thm
- sttfa:match__seqpattern/thm_471.thm
- sttfa:match__seqpattern/thm_472.thm
- sttfa:match__seqpattern/thm_473.thm
- sttfa:match__seqpattern/thm_474.thm
- sttfa:match__seqpattern/thm_475.thm
- sttfa:match__seqpattern/thm_476.thm
- sttfa:match__seqpattern/thm_477.thm
- sttfa:match__seqpattern/thm_478.thm
- sttfa:match__seqpattern/thm_479.thm
- sttfa:match__seqpattern/thm_480.thm
- sttfa:match__seqpattern/thm_481.thm
- sttfa:match__seqpattern/thm_482.thm
- sttfa:match__seqpattern/thm_483.thm
- sttfa:match__seqpattern/thm_484.thm
- sttfa:match__seqpattern/thm_485.thm
- sttfa:match__seqpattern/thm_486.thm
- sttfa:match__seqpattern/thm_487.thm
- sttfa:match__seqpattern/thm_488.thm
- sttfa:match__seqpattern/thm_489.thm
- sttfa:match__seqpattern/thm_490.thm
- sttfa:match__seqpattern/thm_491.thm
- sttfa:match__seqpattern/thm_492.thm
- sttfa:match__seqpattern/thm_493.thm
- sttfa:match__seqpattern/thm_494.thm
- sttfa:match__seqpattern/thm_495.thm
- sttfa:match__seqpattern/thm_496.thm
- sttfa:match__seqpattern/thm_497.thm
- sttfa:match__seqpattern/thm_498.thm
- sttfa:match__seqpattern/thm_499.thm
- sttfa:match__seqpattern/thm_500.thm
- sttfa:match__seqpattern/thm_501.thm
- sttfa:match__seqpattern/thm_502.thm
- sttfa:match__seqpattern/thm_503.thm
- sttfa:match__seqpattern/thm_504.thm
- sttfa:match__seqpattern/thm_505.thm
- sttfa:match__seqpattern/thm_506.thm
- sttfa:match__seqpattern/thm_507.thm
- sttfa:match__seqpattern/thm_508.thm
- sttfa:match__seqpattern/thm_509.thm
- sttfa:match__seqpattern/thm_510.thm
- sttfa:match__seqpattern/thm_511.thm
- sttfa:match__seqpattern/thm_512.thm
- sttfa:match__seqpattern/thm_513.thm
- sttfa:match__seqpattern/thm_514.thm
- sttfa:match__seqpattern/thm_515.thm
- sttfa:match__seqpattern/thm_516.thm
- sttfa:match__seqpattern/thm_517.thm
- sttfa:match__seqpattern/thm_518.thm
- sttfa:match__seqpattern/thm_519.thm
- sttfa:match__seqpattern/thm_520.thm
- sttfa:match__seqpattern/thm_521.thm
- sttfa:match__seqpattern/thm_522.thm
- sttfa:match__seqpattern/thm_523.thm
- sttfa:match__seqpattern/thm_524.thm
- sttfa:match__seqpattern/thm_525.thm
- sttfa:match__seqpattern/thm_526.thm
- sttfa:match__seqpattern/thm_527.thm
- sttfa:match__seqpattern/thm_528.thm
- sttfa:match__seqpattern/thm_529.thm
- sttfa:match__seqpattern/thm_530.thm
- sttfa:match__seqpattern/thm_531.thm
- sttfa:match__seqpattern/thm_532.thm
- sttfa:match__seqpattern/thm_533.thm
- sttfa:match__seqpattern/thm_534.thm
- sttfa:match__seqpattern/thm_535.thm
- sttfa:match__seqpattern/thm_536.thm
- sttfa:match__seqpattern/thm_537.thm
- sttfa:match__seqpattern/thm_538.thm
- sttfa:match__seqpattern/thm_539.thm
- sttfa:match__seqpattern/thm_540.thm
- sttfa:match__seqpattern/thm_541.thm
- sttfa:match__seqpattern/thm_542.thm
- sttfa:match__seqpattern/thm_543.thm
- sttfa:match__seqpattern/thm_544.thm
- sttfa:match__seqpattern/thm_545.thm
- sttfa:match__seqpattern/thm_546.thm
- sttfa:match__seqpattern/thm_547.thm
- sttfa:match__seqpattern/thm_548.thm
- sttfa:match__seqpattern/thm_549.thm
- sttfa:match__seqpattern/thm_550.thm
- sttfa:match__seqpattern/thm_551.thm
- sttfa:match__seqpattern/thm_552.thm
- sttfa:match__seqpattern/thm_553.thm
- sttfa:match__seqpattern/thm_554.thm
- sttfa:match__seqpattern/thm_555.thm
- sttfa:match__seqpattern/thm_556.thm
- sttfa:match__seqpattern/thm_557.thm
- sttfa:match__seqpattern/thm_558.thm
- sttfa:match__seqpattern/thm_559.thm
- sttfa:match__seqpattern/thm_560.thm
- sttfa:match__seqpattern/thm_561.thm
- sttfa:match__seqpattern/thm_562.thm
- sttfa:match__seqpattern/thm_563.thm
- sttfa:match__seqpattern/thm_564.thm
- sttfa:match__seqpattern/thm_565.thm
- sttfa:match__seqpattern/thm_566.thm
- sttfa:match__seqpattern/thm_567.thm
- sttfa:match__seqpattern/thm_568.thm
- sttfa:match__seqpattern/thm_569.thm
- sttfa:match__seqpattern/thm_570.thm
- sttfa:match__seqpattern/thm_571.thm
- sttfa:match__seqpattern/thm_572.thm
- sttfa:match__seqpattern/thm_573.thm
- sttfa:match__seqpattern/thm_574.thm
- sttfa:match__seqpattern/thm_575.thm
- sttfa:match__seqpattern/thm_576.thm
- sttfa:match__seqpattern/thm_577.thm
- sttfa:match__seqpattern/thm_578.thm
- sttfa:match__seqpattern/thm_579.thm
- sttfa:match__seqpattern/thm_580.thm
- sttfa:match__seqpattern/thm_581.thm
- sttfa:match__seqpattern/thm_582.thm
- sttfa:match__seqpattern/thm_583.thm
- sttfa:match__seqpattern/thm_584.thm
- sttfa:match__seqpattern/thm_585.thm
- sttfa:match__seqpattern/thm_586.thm
- sttfa:match__seqpattern/thm_587.thm
- sttfa:match__seqpattern/thm_588.thm
- sttfa:match__seqpattern/thm_589.thm
- sttfa:match__seqpattern/thm_590.thm
- sttfa:match__seqpattern/thm_591.thm
- sttfa:match__seqpattern/thm_592.thm
- sttfa:match__seqpattern/thm_593.thm
- sttfa:match__seqpattern/thm_594.thm
- sttfa:match__seqpattern/thm_595.thm
- sttfa:match__seqpattern/thm_596.thm
- sttfa:match__seqpattern/thm_597.thm
- sttfa:match__seqpattern/thm_598.thm
- sttfa:match__seqpattern/thm_599.thm
- sttfa:match__seqpattern/thm_600.thm
- sttfa:match__seqpattern/thm_601.thm
- sttfa:match__seqpattern/thm_602.thm
- sttfa:match__seqpattern/thm_603.thm
- sttfa:match__seqpattern/thm_604.thm
- sttfa:match__seqpattern/thm_605.thm
- sttfa:match__seqpattern/thm_606.thm
- sttfa:match__seqpattern/thm_607.thm
- sttfa:match__seqpattern/thm_608.thm
- sttfa:match__seqpattern/thm_609.thm
- sttfa:match__seqpattern/thm_610.thm
- sttfa:match__seqpattern/thm_611.thm
- sttfa:match__seqpattern/thm_612.thm
- sttfa:match__seqpattern/thm_613.thm
- sttfa:match__seqpattern/thm_614.thm
- sttfa:match__seqpattern/thm_615.thm
- sttfa:match__seqpattern/thm_616.thm
- sttfa:match__seqpattern/thm_617.thm
- sttfa:match__seqpattern/thm_618.thm
- sttfa:match__seqpattern/thm_619.thm
- sttfa:match__seqpattern/thm_620.thm
- sttfa:match__seqpattern/thm_621.thm
- sttfa:match__seqpattern/thm_622.thm
- sttfa:match__seqpattern/thm_623.thm
- sttfa:match__seqpattern/thm_624.thm
- sttfa:match__seqpattern/thm_625.thm
- sttfa:match__seqpattern/thm_626.thm
- sttfa:match__seqpattern/thm_627.thm
- sttfa:match__seqpattern/thm_628.thm
- sttfa:match__seqpattern/thm_629.thm
- sttfa:match__seqpattern/thm_630.thm
- sttfa:match__seqpattern/thm_631.thm
- sttfa:match__seqpattern/thm_632.thm
- sttfa:match__seqpattern/thm_633.thm
- sttfa:match__seqpattern/thm_634.thm
- sttfa:match__seqpattern/thm_635.thm
- sttfa:match__seqpattern/thm_636.thm
- sttfa:match__seqpattern/thm_637.thm
- sttfa:match__seqpattern/thm_638.thm
- sttfa:match__seqpattern/thm_639.thm
- sttfa:match__seqpattern/thm_640.thm
- sttfa:match__seqpattern/thm_641.thm
- sttfa:match__seqpattern/thm_642.thm
- sttfa:match__seqpattern/thm_643.thm
- sttfa:match__seqpattern/thm_644.thm
- sttfa:match__seqpattern/thm_645.thm
- sttfa:match__seqpattern/thm_646.thm
- sttfa:match__seqpattern/thm_647.thm
- sttfa:match__seqpattern/thm_648.thm
- sttfa:match__seqpattern/thm_649.thm
- sttfa:match__seqpattern/thm_650.thm
- sttfa:match__seqpattern/thm_651.thm
- sttfa:match__seqpattern/thm_652.thm
- sttfa:match__seqpattern/thm_653.thm
- sttfa:match__seqpattern/thm_654.thm
- sttfa:match__seqpattern/thm_655.thm
- sttfa:match__seqpattern/thm_656.thm
- sttfa:match__seqpattern/thm_657.thm
- sttfa:match__seqpattern/thm_658.thm
- sttfa:match__seqpattern/thm_659.thm
- sttfa:match__seqpattern/thm_660.thm
- sttfa:match__seqpattern/thm_661.thm
- sttfa:match__seqpattern/thm_662.thm
- sttfa:match__seqpattern/thm_663.thm
- sttfa:match__seqpattern/thm_664.thm
- sttfa:match__seqpattern/thm_665.thm
- sttfa:match__seqpattern/thm_666.thm
- sttfa:match__seqpattern/thm_667.thm
- sttfa:match__seqpattern/thm_668.thm
- sttfa:match__seqpattern/thm_669.thm
- sttfa:match__seqpattern/thm_670.thm
- sttfa:match__seqpattern/thm_671.thm
- sttfa:match__seqpattern/thm_672.thm
- sttfa:match__seqpattern/thm_673.thm
- sttfa:match__seqpattern/thm_674.thm
- sttfa:match__seqpattern/thm_675.thm
- sttfa:match__seqpattern/thm_676.thm
- sttfa:match__seqpattern/thm_677.thm
- sttfa:match__seqpattern/thm_678.thm
- sttfa:match__seqpattern/thm_679.thm
- sttfa:match__seqpattern/thm_680.thm
- sttfa:match__seqpattern/thm_681.thm
- sttfa:match__seqpattern/thm_682.thm
- sttfa:match__seqpattern/thm_683.thm
- sttfa:match__seqpattern/thm_684.thm
- sttfa:match__seqpattern/thm_685.thm
- sttfa:match__seqpattern/thm_686.thm
- sttfa:match__seqpattern/thm_687.thm
- sttfa:match__seqpattern/thm_688.thm
- sttfa:match__seqpattern/thm_689.thm
- sttfa:match__seqpattern/thm_690.thm
- sttfa:match__seqpattern/thm_691.thm
- sttfa:match__seqpattern/thm_692.thm
- sttfa:match__seqpattern/thm_693.thm
- sttfa:match__seqpattern/thm_694.thm
- sttfa:match__seqpattern/thm_695.thm
- sttfa:match__seqpattern/thm_696.thm
- sttfa:match__seqpattern/thm_697.thm
- sttfa:match__seqpattern/thm_698.thm
- sttfa:match__seqpattern/thm_699.thm
- sttfa:match__seqpattern/thm_700.thm
- sttfa:match__seqpattern/thm_701.thm
- sttfa:match__seqpattern/thm_702.thm
- sttfa:match__seqpattern/thm_703.thm
- sttfa:match__seqpattern/thm_704.thm
- sttfa:match__seqpattern/thm_705.thm
- sttfa:match__seqpattern/thm_706.thm
- sttfa:match__seqpattern/thm_707.thm
- sttfa:match__seqpattern/thm_708.thm
- sttfa:match__seqpattern/thm_709.thm
- sttfa:match__seqpattern/thm_710.thm
- sttfa:match__seqpattern/thm_711.thm
- sttfa:match__seqpattern/thm_712.thm
- sttfa:match__seqpattern/thm_713.thm
- sttfa:match__seqpattern/thm_714.thm
- sttfa:match__seqpattern/thm_715.thm
- sttfa:match__seqpattern/thm_716.thm
- sttfa:match__seqpattern/thm_717.thm
- sttfa:match__seqpattern/thm_718.thm
- sttfa:match__seqpattern/thm_719.thm
- sttfa:match__seqpattern/thm_720.thm
- sttfa:match__seqpattern/thm_721.thm
- sttfa:match__seqpattern/thm_722.thm
- sttfa:match__seqpattern/thm_723.thm
- sttfa:match__seqpattern/thm_724.thm
- sttfa:match__seqpattern/thm_725.thm
- sttfa:match__seqpattern/thm_726.thm
- sttfa:match__seqpattern/thm_727.thm
- sttfa:match__seqpattern/thm_728.thm
- sttfa:match__seqpattern/thm_729.thm
- sttfa:match__seqpattern/thm_730.thm
- sttfa:match__seqpattern/thm_731.thm
- sttfa:match__seqpattern/thm_732.thm
- sttfa:match__seqpattern/thm_733.thm
- sttfa:match__seqpattern/thm_734.thm
- sttfa:match__seqpattern/thm_735.thm
- sttfa:match__seqpattern/thm_736.thm
- sttfa:match__seqpattern/thm_737.thm
- sttfa:match__seqpattern/thm_738.thm
- sttfa:match__seqpattern/thm_739.thm
- sttfa:match__seqpattern/thm_740.thm
- sttfa:match__seqpattern/thm_741.thm
- sttfa:match__seqpattern/thm_742.thm
- sttfa:match__seqpattern/thm_743.thm
- sttfa:match__seqpattern/thm_744.thm
- sttfa:match__seqpattern/thm_745.thm
- sttfa:match__seqpattern/thm_746.thm
- sttfa:match__seqpattern/thm_747.thm
- sttfa:match__seqpattern/thm_748.thm
- sttfa:match__seqpattern/thm_749.thm
- sttfa:match__seqpattern/thm_750.thm
- sttfa:match__seqpattern/thm_751.thm
- sttfa:match__seqpattern/thm_752.thm
- sttfa:match__seqpattern/thm_753.thm
- sttfa:match__seqpattern/thm_754.thm
- sttfa:match__seqpattern/thm_755.thm
- sttfa:match__seqpattern/thm_756.thm
- sttfa:match__seqpattern/thm_757.thm
- sttfa:match__seqpattern/thm_758.thm
- sttfa:match__seqpattern/thm_759.thm
- sttfa:match__seqpattern/thm_760.thm
- sttfa:match__seqpattern/thm_761.thm
- sttfa:match__seqpattern/thm_762.thm
- sttfa:match__seqpattern/thm_763.thm
- sttfa:match__seqpattern/thm_764.thm
- sttfa:match__seqpattern/thm_765.thm
- sttfa:match__seqpattern/thm_766.thm
- sttfa:match__seqpattern/thm_767.thm
- sttfa:match__seqpattern/thm_768.thm
- sttfa:match__seqpattern/thm_769.thm
- sttfa:match__seqpattern/thm_770.thm
- sttfa:match__seqpattern/thm_771.thm
- sttfa:match__seqpattern/thm_772.thm
- sttfa:match__seqpattern/thm_773.thm
- sttfa:match__seqpattern/thm_774.thm
- sttfa:match__seqpattern/thm_775.thm
- sttfa:match__seqpattern/thm_776.thm
- sttfa:match__seqpattern/thm_777.thm
- sttfa:match__seqpattern/thm_778.thm
- sttfa:match__seqpattern/thm_779.thm
- sttfa:match__seqpattern/thm_780.thm
- sttfa:match__seqpattern/thm_781.thm
- sttfa:match__seqpattern/thm_782.thm
- sttfa:match__seqpattern/thm_783.thm
- sttfa:match__seqpattern/thm_784.thm
- sttfa:match__seqpattern/thm_785.thm
- sttfa:match__seqpattern/thm_786.thm
- sttfa:match__seqpattern/thm_787.thm
- sttfa:match__seqpattern/thm_788.thm
- sttfa:match__seqpattern/thm_789.thm
- sttfa:match__seqpattern/thm_790.thm
- sttfa:match__seqpattern/thm_791.thm
- sttfa:match__seqpattern/thm_792.thm
- sttfa:match__seqpattern/thm_793.thm
- sttfa:match__seqpattern/thm_794.thm
- sttfa:match__seqpattern/thm_795.thm
- sttfa:match__seqpattern/thm_796.thm
- sttfa:match__seqpattern/thm_797.thm
- sttfa:match__seqpattern/thm_798.thm
- sttfa:match__seqpattern/thm_799.thm
- sttfa:match__seqpattern/thm_800.thm
- sttfa:match__seqpattern/thm_801.thm
- sttfa:match__seqpattern/thm_802.thm
- sttfa:match__seqpattern/thm_803.thm
- sttfa:match__seqpattern/thm_804.thm
- sttfa:match__seqpattern/thm_805.thm
- sttfa:match__seqpattern/thm_806.thm
- sttfa:match__seqpattern/thm_807.thm
- sttfa:match__seqpattern/thm_808.thm
- sttfa:match__seqpattern/thm_809.thm
- sttfa:match__seqpattern/thm_810.thm
- sttfa:match__seqpattern/thm_811.thm
- sttfa:match__seqpattern/thm_812.thm
- sttfa:match__seqpattern/thm_813.thm
- sttfa:match__seqpattern/thm_814.thm
- sttfa:match__seqpattern/thm_815.thm
- sttfa:match__seqpattern/thm_816.thm
- sttfa:match__seqpattern/thm_817.thm
- sttfa:match__seqpattern/thm_818.thm
- sttfa:match__seqpattern/thm_819.thm
- sttfa:match__seqpattern/thm_820.thm
- sttfa:match__seqpattern/thm_821.thm
- sttfa:match__seqpattern/thm_822.thm
- sttfa:match__seqpattern/thm_823.thm
- sttfa:match__seqpattern/thm_824.thm
- sttfa:match__seqpattern/thm_825.thm
- sttfa:match__seqpattern/thm_826.thm
- sttfa:match__seqpattern/thm_827.thm
- sttfa:match__seqpattern/thm_828.thm
- sttfa:match__seqpattern/thm_829.thm
- sttfa:match__seqpattern/thm_830.thm
- sttfa:match__seqpattern/thm_831.thm
- sttfa:match__seqpattern/thm_832.thm
- sttfa:match__seqpattern/thm_833.thm
- sttfa:match__seqpattern/thm_834.thm
- sttfa:match__seqpattern/thm_835.thm
- sttfa:match__seqpattern/thm_836.thm
- sttfa:match__seqpattern/thm_837.thm
- sttfa:match__seqpattern/thm_838.thm
- sttfa:match__seqpattern/thm_839.thm
- sttfa:match__seqpattern/thm_840.thm
- sttfa:match__seqpattern/thm_841.thm
- sttfa:match__seqpattern/thm_842.thm
- sttfa:match__seqpattern/thm_843.thm
- sttfa:match__seqpattern/thm_844.thm
- sttfa:match__seqpattern/thm_845.thm
- sttfa:match__seqpattern/thm_846.thm
- sttfa:match__seqpattern/thm_847.thm
- sttfa:match__seqpattern/thm_848.thm
- sttfa:match__seqpattern/thm_849.thm
- sttfa:match__seqpattern/thm_850.thm
- sttfa:match__seqpattern/thm_851.thm
- sttfa:match__seqpattern/thm_852.thm
- sttfa:match__seqpattern/thm_853.thm
- sttfa:match__seqpattern/thm_854.thm
- sttfa:match__seqpattern/thm_855.thm
- sttfa:match__seqpattern/thm_856.thm
- sttfa:match__seqpattern/thm_857.thm
- sttfa:match__seqpattern/thm_858.thm
- sttfa:match__seqpattern/thm_859.thm
- sttfa:match__seqpattern/thm_860.thm
- sttfa:match__seqpattern/thm_861.thm
- sttfa:match__seqpattern/thm_862.thm
- sttfa:match__seqpattern/thm_863.thm
- sttfa:match__seqpattern/thm_864.thm
- sttfa:match__seqpattern/thm_865.thm
- sttfa:match__seqpattern/thm_866.thm
- sttfa:match__seqpattern/thm_867.thm
- sttfa:match__seqpattern/thm_868.thm
- sttfa:match__seqpattern/thm_869.thm
- sttfa:match__seqpattern/thm_870.thm
- sttfa:match__seqpattern/thm_871.thm
- sttfa:match__seqpattern/thm_872.thm
- sttfa:match__seqpattern/thm_873.thm
- sttfa:match__seqpattern/thm_874.thm
- sttfa:match__seqpattern/ETA_AX.thm
- sttfa:match__seqpattern/thm_876.thm
- sttfa:match__seqpattern/thm_877.thm
- sttfa:match__seqpattern/thm_878.thm
- sttfa:match__seqpattern/thm_879.thm
- sttfa:match__seqpattern/thm_880.thm
- sttfa:match__seqpattern/thm_881.thm
- sttfa:match__seqpattern/thm_882.thm
- sttfa:match__seqpattern/thm_883.thm
- sttfa:match__seqpattern/thm_884.thm
- sttfa:match__seqpattern/thm_885.thm
- sttfa:match__seqpattern/thm_886.thm
- sttfa:match__seqpattern/thm_887.thm
- sttfa:match__seqpattern/thm_888.thm
- sttfa:match__seqpattern/EXISTS_UNIQUE_DEF.thm
- sttfa:match__seqpattern/thm_890.thm
- sttfa:match__seqpattern/thm_891.thm
- sttfa:match__seqpattern/thm_892.thm
- sttfa:match__seqpattern/thm_893.thm
- sttfa:match__seqpattern/thm_894.thm
- sttfa:match__seqpattern/thm_895.thm
- sttfa:match__seqpattern/thm_896.thm
- sttfa:match__seqpattern/thm_897.thm
- sttfa:match__seqpattern/thm_898.thm
- sttfa:match__seqpattern/thm_899.thm
- sttfa:match__seqpattern/thm_900.thm
- sttfa:match__seqpattern/thm_901.thm
- sttfa:match__seqpattern/thm_902.thm
- sttfa:match__seqpattern/thm_903.thm
- sttfa:match__seqpattern/BETA_THM.thm
- sttfa:match__seqpattern/thm_905.thm
- sttfa:match__seqpattern/thm_906.thm
- sttfa:match__seqpattern/thm_907.thm
- sttfa:match__seqpattern/thm_908.thm
- sttfa:match__seqpattern/thm_909.thm
- sttfa:match__seqpattern/thm_910.thm
- sttfa:match__seqpattern/thm_911.thm
- sttfa:match__seqpattern/thm_912.thm
- sttfa:match__seqpattern/thm_913.thm
- sttfa:match__seqpattern/thm_914.thm
- sttfa:match__seqpattern/thm_915.thm
- sttfa:match__seqpattern/thm_916.thm
- sttfa:match__seqpattern/thm_917.thm
- sttfa:match__seqpattern/thm_918.thm
- sttfa:match__seqpattern/thm_919.thm
- sttfa:match__seqpattern/thm_920.thm
- sttfa:match__seqpattern/thm_921.thm
- sttfa:match__seqpattern/thm_922.thm
- sttfa:match__seqpattern/thm_923.thm
- sttfa:match__seqpattern/thm_924.thm
- sttfa:match__seqpattern/thm_925.thm
- sttfa:match__seqpattern/DE_MORGAN_THM.thm
- sttfa:match__seqpattern/thm_927.thm
- sttfa:match__seqpattern/thm_928.thm
- sttfa:match__seqpattern/thm_929.thm
- sttfa:match__seqpattern/thm_930.thm
- sttfa:match__seqpattern/thm_931.thm
- sttfa:match__seqpattern/thm_932.thm
- sttfa:match__seqpattern/thm_933.thm
- sttfa:match__seqpattern/NOT_EXISTS_THM.thm
- sttfa:match__seqpattern/thm_935.thm
- sttfa:match__seqpattern/thm_936.thm
- sttfa:match__seqpattern/thm_937.thm
- sttfa:match__seqpattern/thm_938.thm
- sttfa:match__seqpattern/thm_939.thm
- sttfa:match__seqpattern/thm_940.thm
- sttfa:match__seqpattern/thm_941.thm
- sttfa:match__seqpattern/thm_942.thm
- sttfa:match__seqpattern/thm_943.thm
- sttfa:match__seqpattern/thm_944.thm
- sttfa:match__seqpattern/thm_945.thm
- sttfa:match__seqpattern/thm_946.thm
- sttfa:match__seqpattern/thm_947.thm
- sttfa:match__seqpattern/thm_948.thm
- sttfa:match__seqpattern/thm_949.thm
- sttfa:match__seqpattern/thm_950.thm
- sttfa:match__seqpattern/NOT_FORALL_THM.thm
- sttfa:match__seqpattern/thm_952.thm
- sttfa:match__seqpattern/thm_953.thm
- sttfa:match__seqpattern/thm_954.thm
- sttfa:match__seqpattern/thm_955.thm
- sttfa:match__seqpattern/thm_956.thm
- sttfa:match__seqpattern/thm_957.thm
- sttfa:match__seqpattern/thm_958.thm
- sttfa:match__seqpattern/thm_959.thm
- sttfa:match__seqpattern/thm_960.thm
- sttfa:match__seqpattern/thm_961.thm
- sttfa:match__seqpattern/thm_962.thm
- sttfa:match__seqpattern/thm_963.thm
- sttfa:match__seqpattern/thm_964.thm
- sttfa:match__seqpattern/thm_965.thm
- sttfa:match__seqpattern/thm_966.thm
- sttfa:match__seqpattern/thm_967.thm
- sttfa:match__seqpattern/thm_968.thm
- sttfa:match__seqpattern/thm_969.thm
- sttfa:match__seqpattern/thm_970.thm
- sttfa:match__seqpattern/thm_971.thm
- sttfa:match__seqpattern/thm_972.thm
- sttfa:match__seqpattern/thm_973.thm
- sttfa:match__seqpattern/NOT_IMP.thm
- sttfa:match__seqpattern/thm_975.thm
- sttfa:match__seqpattern/thm_976.thm
- sttfa:match__seqpattern/thm_977.thm
- sttfa:match__seqpattern/thm_978.thm
- sttfa:match__seqpattern/thm_979.thm
- sttfa:match__seqpattern/thm_980.thm
- sttfa:match__seqpattern/thm_981.thm
- sttfa:match__seqpattern/thm_982.thm
- sttfa:match__seqpattern/thm_983.thm
- sttfa:match__seqpattern/thm_984.thm
- sttfa:match__seqpattern/thm_985.thm
- sttfa:match__seqpattern/thm_986.thm
- sttfa:match__seqpattern/thm_987.thm
- sttfa:match__seqpattern/thm_988.thm
- sttfa:match__seqpattern/thm_989.thm
- sttfa:match__seqpattern/thm_990.thm
- sttfa:match__seqpattern/thm_991.thm
- sttfa:match__seqpattern/thm_992.thm
- sttfa:match__seqpattern/EQ_SYM_EQ.thm
- sttfa:match__seqpattern/thm_994.thm
- sttfa:match__seqpattern/thm_995.thm
- sttfa:match__seqpattern/thm_996.thm
- sttfa:match__seqpattern/thm_997.thm
- sttfa:match__seqpattern/thm_998.thm
- sttfa:match__seqpattern/thm_999.thm
- sttfa:match__seqpattern/thm_1000.thm
- sttfa:match__seqpattern/thm_1001.thm
- sttfa:match__seqpattern/CONJ_ASSOC.thm
- sttfa:match__seqpattern/thm_1003.thm
- sttfa:match__seqpattern/thm_1004.thm
- sttfa:match__seqpattern/thm_1005.thm
- sttfa:match__seqpattern/thm_1006.thm
- sttfa:match__seqpattern/thm_1007.thm
- sttfa:match__seqpattern/thm_1008.thm
- sttfa:match__seqpattern/thm_1009.thm
- sttfa:match__seqpattern/thm_1010.thm
- sttfa:match__seqpattern/thm_1011.thm
- sttfa:match__seqpattern/thm_1012.thm
- sttfa:match__seqpattern/thm_1013.thm
- sttfa:match__seqpattern/thm_1014.thm
- sttfa:match__seqpattern/thm_1015.thm
- sttfa:match__seqpattern/thm_1016.thm
- sttfa:match__seqpattern/thm_1017.thm
- sttfa:match__seqpattern/thm_1018.thm
- sttfa:match__seqpattern/thm_1019.thm
- sttfa:match__seqpattern/thm_1020.thm
- sttfa:match__seqpattern/thm_1021.thm
- sttfa:match__seqpattern/thm_1022.thm
- sttfa:match__seqpattern/thm_1023.thm
- sttfa:match__seqpattern/thm_1024.thm
- sttfa:match__seqpattern/thm_1025.thm
- sttfa:match__seqpattern/thm_1026.thm
- sttfa:match__seqpattern/thm_1027.thm
- sttfa:match__seqpattern/thm_1028.thm
- sttfa:match__seqpattern/thm_1029.thm
- sttfa:match__seqpattern/thm_1030.thm
- sttfa:match__seqpattern/thm_1031.thm
- sttfa:match__seqpattern/thm_1032.thm
- sttfa:match__seqpattern/thm_1033.thm
- sttfa:match__seqpattern/thm_1034.thm
- sttfa:match__seqpattern/thm_1035.thm
- sttfa:match__seqpattern/thm_1036.thm
- sttfa:match__seqpattern/thm_1037.thm
- sttfa:match__seqpattern/thm_1038.thm
- sttfa:match__seqpattern/thm_1039.thm
- sttfa:match__seqpattern/thm_1040.thm
- sttfa:match__seqpattern/thm_1041.thm
- sttfa:match__seqpattern/thm_1042.thm
- sttfa:match__seqpattern/thm_1043.thm
- sttfa:match__seqpattern/thm_1044.thm
- sttfa:match__seqpattern/thm_1045.thm
- sttfa:match__seqpattern/thm_1046.thm
- sttfa:match__seqpattern/thm_1047.thm
- sttfa:match__seqpattern/thm_1048.thm
- sttfa:match__seqpattern/thm_1049.thm
- sttfa:match__seqpattern/thm_1050.thm
- sttfa:match__seqpattern/thm_1051.thm
- sttfa:match__seqpattern/thm_1052.thm
- sttfa:match__seqpattern/thm_1053.thm
- sttfa:match__seqpattern/thm_1054.thm
- sttfa:match__seqpattern/thm_1055.thm
- sttfa:match__seqpattern/thm_1056.thm
- sttfa:match__seqpattern/thm_1057.thm
- sttfa:match__seqpattern/thm_1058.thm
- sttfa:match__seqpattern/thm_1059.thm
- sttfa:match__seqpattern/thm_1060.thm
- sttfa:match__seqpattern/thm_1061.thm
- sttfa:match__seqpattern/thm_1062.thm
- sttfa:match__seqpattern/thm_1063.thm
- sttfa:match__seqpattern/thm_1064.thm
- sttfa:match__seqpattern/thm_1065.thm
- sttfa:match__seqpattern/thm_1066.thm
- sttfa:match__seqpattern/thm_1067.thm
- sttfa:match__seqpattern/thm_1068.thm
- sttfa:match__seqpattern/thm_1069.thm
- sttfa:match__seqpattern/thm_1070.thm
- sttfa:match__seqpattern/thm_1071.thm
- sttfa:match__seqpattern/thm_1072.thm
- sttfa:match__seqpattern/thm_1073.thm
- sttfa:match__seqpattern/thm_1074.thm
- sttfa:match__seqpattern/thm_1075.thm
- sttfa:match__seqpattern/thm_1076.thm
- sttfa:match__seqpattern/thm_1077.thm
- sttfa:match__seqpattern/thm_1078.thm
- sttfa:match__seqpattern/thm_1079.thm
- sttfa:match__seqpattern/thm_1080.thm
- sttfa:match__seqpattern/thm_1081.thm
- sttfa:match__seqpattern/thm_1082.thm
- sttfa:match__seqpattern/thm_1083.thm
- sttfa:match__seqpattern/thm_1084.thm
- sttfa:match__seqpattern/thm_1085.thm
- sttfa:match__seqpattern/thm_1086.thm
- sttfa:match__seqpattern/thm_1087.thm
- sttfa:match__seqpattern/thm_1088.thm
- sttfa:match__seqpattern/thm_1089.thm
- sttfa:match__seqpattern/thm_1090.thm
- sttfa:match__seqpattern/thm_1091.thm
- sttfa:match__seqpattern/thm_1092.thm
- sttfa:match__seqpattern/thm_1093.thm
- sttfa:match__seqpattern/thm_1094.thm
- sttfa:match__seqpattern/thm_1095.thm
- sttfa:match__seqpattern/thm_1096.thm
- sttfa:match__seqpattern/thm_1097.thm
- sttfa:match__seqpattern/thm_1098.thm
- sttfa:match__seqpattern/thm_1099.thm
- sttfa:match__seqpattern/thm_1100.thm
- sttfa:match__seqpattern/thm_1101.thm
- sttfa:match__seqpattern/thm_1102.thm
- sttfa:match__seqpattern/thm_1103.thm
- sttfa:match__seqpattern/thm_1104.thm
- sttfa:match__seqpattern/thm_1105.thm
- sttfa:match__seqpattern/thm_1106.thm
- sttfa:match__seqpattern/thm_1107.thm
- sttfa:match__seqpattern/thm_1108.thm
- sttfa:match__seqpattern/thm_1109.thm
- sttfa:match__seqpattern/thm_1110.thm
- sttfa:match__seqpattern/thm_1111.thm
- sttfa:match__seqpattern/thm_1112.thm
- sttfa:match__seqpattern/thm_1113.thm
- sttfa:match__seqpattern/thm_1114.thm
- sttfa:match__seqpattern/thm_1115.thm
- sttfa:match__seqpattern/thm_1116.thm
- sttfa:match__seqpattern/thm_1117.thm
- sttfa:match__seqpattern/thm_1118.thm
- sttfa:match__seqpattern/thm_1119.thm
- sttfa:match__seqpattern/thm_1120.thm
- sttfa:match__seqpattern/thm_1121.thm
- sttfa:match__seqpattern/thm_1122.thm
- sttfa:match__seqpattern/thm_1123.thm
- sttfa:match__seqpattern/thm_1124.thm
- sttfa:match__seqpattern/thm_1125.thm
- sttfa:match__seqpattern/thm_1126.thm
- sttfa:match__seqpattern/thm_1127.thm
- sttfa:match__seqpattern/thm_1128.thm
- sttfa:match__seqpattern/thm_1129.thm
- sttfa:match__seqpattern/thm_1130.thm
- sttfa:match__seqpattern/thm_1131.thm
- sttfa:match__seqpattern/thm_1132.thm
- sttfa:match__seqpattern/thm_1133.thm
- sttfa:match__seqpattern/thm_1134.thm
- sttfa:match__seqpattern/thm_1135.thm
- sttfa:match__seqpattern/thm_1136.thm
- sttfa:match__seqpattern/thm_1137.thm
- sttfa:match__seqpattern/thm_1138.thm
- sttfa:match__seqpattern/thm_1139.thm
- sttfa:match__seqpattern/thm_1140.thm
- sttfa:match__seqpattern/thm_1141.thm
- sttfa:match__seqpattern/thm_1142.thm
- sttfa:match__seqpattern/thm_1143.thm
- sttfa:match__seqpattern/thm_1144.thm
- sttfa:match__seqpattern/thm_1145.thm
- sttfa:match__seqpattern/thm_1146.thm
- sttfa:match__seqpattern/thm_1147.thm
- sttfa:match__seqpattern/thm_1148.thm
- sttfa:match__seqpattern/thm_1149.thm
- sttfa:match__seqpattern/thm_1150.thm
- sttfa:match__seqpattern/EXISTS_OR_THM.thm
- sttfa:match__seqpattern/thm_1152.thm
- sttfa:match__seqpattern/thm_1153.thm
- sttfa:match__seqpattern/thm_1154.thm
- sttfa:match__seqpattern/thm_1155.thm
- sttfa:match__seqpattern/thm_1156.thm
- sttfa:match__seqpattern/thm_1157.thm
- sttfa:match__seqpattern/thm_1158.thm
- sttfa:match__seqpattern/thm_1159.thm
- sttfa:match__seqpattern/thm_1160.thm
- sttfa:match__seqpattern/thm_1161.thm
- sttfa:match__seqpattern/thm_1162.thm
- sttfa:match__seqpattern/thm_1163.thm
- sttfa:match__seqpattern/thm_1164.thm
- sttfa:match__seqpattern/thm_1165.thm
- sttfa:match__seqpattern/thm_1166.thm
- sttfa:match__seqpattern/thm_1167.thm
- sttfa:match__seqpattern/thm_1168.thm
- sttfa:match__seqpattern/thm_1169.thm
- sttfa:match__seqpattern/thm_1170.thm
- sttfa:match__seqpattern/thm_1171.thm
- sttfa:match__seqpattern/thm_1172.thm
- sttfa:match__seqpattern/thm_1173.thm
- sttfa:match__seqpattern/thm_1174.thm
- sttfa:match__seqpattern/thm_1175.thm
- sttfa:match__seqpattern/thm_1176.thm
- sttfa:match__seqpattern/thm_1177.thm
- sttfa:match__seqpattern/thm_1178.thm
- sttfa:match__seqpattern/thm_1179.thm
- sttfa:match__seqpattern/thm_1180.thm
- sttfa:match__seqpattern/thm_1181.thm
- sttfa:match__seqpattern/thm_1182.thm
- sttfa:match__seqpattern/thm_1183.thm
- sttfa:match__seqpattern/thm_1184.thm
- sttfa:match__seqpattern/thm_1185.thm
- sttfa:match__seqpattern/thm_1186.thm
- sttfa:match__seqpattern/thm_1187.thm
- sttfa:match__seqpattern/thm_1188.thm
- sttfa:match__seqpattern/thm_1189.thm
- sttfa:match__seqpattern/thm_1190.thm
- sttfa:match__seqpattern/thm_1191.thm
- sttfa:match__seqpattern/RIGHT_AND_EXISTS_THM.thm
- sttfa:match__seqpattern/thm_1193.thm
- sttfa:match__seqpattern/thm_1194.thm
- sttfa:match__seqpattern/thm_1195.thm
- sttfa:match__seqpattern/thm_1196.thm
- sttfa:match__seqpattern/thm_1197.thm
- sttfa:match__seqpattern/thm_1198.thm
- sttfa:match__seqpattern/thm_1199.thm
- sttfa:match__seqpattern/thm_1200.thm
- sttfa:match__seqpattern/thm_1201.thm
- sttfa:match__seqpattern/thm_1202.thm
- sttfa:match__seqpattern/thm_1203.thm
- sttfa:match__seqpattern/thm_1204.thm
- sttfa:match__seqpattern/thm_1205.thm
- sttfa:match__seqpattern/thm_1206.thm
- sttfa:match__seqpattern/thm_1207.thm
- sttfa:match__seqpattern/thm_1208.thm
- sttfa:match__seqpattern/thm_1209.thm
- sttfa:match__seqpattern/thm_1210.thm
- sttfa:match__seqpattern/thm_1211.thm
- sttfa:match__seqpattern/thm_1212.thm
- sttfa:match__seqpattern/thm_1213.thm
- sttfa:match__seqpattern/thm_1214.thm
- sttfa:match__seqpattern/thm_1215.thm
- sttfa:match__seqpattern/thm_1216.thm
- sttfa:match__seqpattern/thm_1217.thm
- sttfa:match__seqpattern/thm_1218.thm
- sttfa:match__seqpattern/thm_1219.thm
- sttfa:match__seqpattern/thm_1220.thm
- sttfa:match__seqpattern/thm_1221.thm
- sttfa:match__seqpattern/thm_1222.thm
- sttfa:match__seqpattern/thm_1223.thm
- sttfa:match__seqpattern/thm_1224.thm
- sttfa:match__seqpattern/thm_1225.thm
- sttfa:match__seqpattern/thm_1226.thm
- sttfa:match__seqpattern/thm_1227.thm
- sttfa:match__seqpattern/thm_1228.thm
- sttfa:match__seqpattern/thm_1229.thm
- sttfa:match__seqpattern/thm_1230.thm
- sttfa:match__seqpattern/thm_1231.thm
- sttfa:match__seqpattern/thm_1232.thm
- sttfa:match__seqpattern/thm_1233.thm
- sttfa:match__seqpattern/thm_1234.thm
- sttfa:match__seqpattern/thm_1235.thm
- sttfa:match__seqpattern/thm_1236.thm
- sttfa:match__seqpattern/thm_1237.thm
- sttfa:match__seqpattern/thm_1238.thm
- sttfa:match__seqpattern/thm_1239.thm
- sttfa:match__seqpattern/thm_1240.thm
- sttfa:match__seqpattern/thm_1241.thm
- sttfa:match__seqpattern/thm_1242.thm
- sttfa:match__seqpattern/thm_1243.thm
- sttfa:match__seqpattern/thm_1244.thm
- sttfa:match__seqpattern/thm_1245.thm
- sttfa:match__seqpattern/thm_1246.thm
- sttfa:match__seqpattern/thm_1247.thm
- sttfa:match__seqpattern/thm_1248.thm
- sttfa:match__seqpattern/thm_1249.thm
- sttfa:match__seqpattern/thm_1250.thm
- sttfa:match__seqpattern/thm_1251.thm
- sttfa:match__seqpattern/thm_1252.thm
- sttfa:match__seqpattern/thm_1253.thm
- sttfa:match__seqpattern/thm_1254.thm
- sttfa:match__seqpattern/thm_1255.thm
- sttfa:match__seqpattern/thm_1256.thm
- sttfa:match__seqpattern/thm_1257.thm
- sttfa:match__seqpattern/OR_EXISTS_THM.thm
- sttfa:match__seqpattern/thm_1259.thm
- sttfa:match__seqpattern/thm_1260.thm
- sttfa:match__seqpattern/thm_1261.thm
- sttfa:match__seqpattern/thm_1262.thm
- sttfa:match__seqpattern/thm_1263.thm
- sttfa:match__seqpattern/thm_1264.thm
- sttfa:match__seqpattern/thm_1265.thm
- sttfa:match__seqpattern/thm_1266.thm
- sttfa:match__seqpattern/thm_1267.thm
- sttfa:match__seqpattern/thm_1268.thm
- sttfa:match__seqpattern/thm_1269.thm
- sttfa:match__seqpattern/thm_1270.thm
- sttfa:match__seqpattern/thm_1271.thm
- sttfa:match__seqpattern/thm_1272.thm
- sttfa:match__seqpattern/thm_1273.thm
- sttfa:match__seqpattern/thm_1274.thm
- sttfa:match__seqpattern/thm_1275.thm
- sttfa:match__seqpattern/thm_1276.thm
- sttfa:match__seqpattern/thm_1277.thm
- sttfa:match__seqpattern/thm_1278.thm
- sttfa:match__seqpattern/thm_1279.thm
- sttfa:match__seqpattern/thm_1280.thm
- sttfa:match__seqpattern/thm_1281.thm
- sttfa:match__seqpattern/thm_1282.thm
- sttfa:match__seqpattern/thm_1283.thm
- sttfa:match__seqpattern/thm_1284.thm
- sttfa:match__seqpattern/thm_1285.thm
- sttfa:match__seqpattern/thm_1286.thm
- sttfa:match__seqpattern/thm_1287.thm
- sttfa:match__seqpattern/thm_1288.thm
- sttfa:match__seqpattern/thm_1289.thm
- sttfa:match__seqpattern/thm_1290.thm
- sttfa:match__seqpattern/thm_1291.thm
- sttfa:match__seqpattern/thm_1292.thm
- sttfa:match__seqpattern/thm_1293.thm
- sttfa:match__seqpattern/thm_1294.thm
- sttfa:match__seqpattern/thm_1295.thm
- sttfa:match__seqpattern/thm_1296.thm
- sttfa:match__seqpattern/thm_1297.thm
- sttfa:match__seqpattern/thm_1298.thm
- sttfa:match__seqpattern/thm_1299.thm
- sttfa:match__seqpattern/thm_1300.thm
- sttfa:match__seqpattern/thm_1301.thm
- sttfa:match__seqpattern/thm_1302.thm
- sttfa:match__seqpattern/thm_1303.thm
- sttfa:match__seqpattern/thm_1304.thm
- sttfa:match__seqpattern/thm_1305.thm
- sttfa:match__seqpattern/thm_1306.thm
- sttfa:match__seqpattern/thm_1307.thm
- sttfa:match__seqpattern/thm_1308.thm
- sttfa:match__seqpattern/thm_1309.thm
- sttfa:match__seqpattern/thm_1310.thm
- sttfa:match__seqpattern/thm_1311.thm
- sttfa:match__seqpattern/thm_1312.thm
- sttfa:match__seqpattern/thm_1313.thm
- sttfa:match__seqpattern/thm_1314.thm
- sttfa:match__seqpattern/thm_1315.thm
- sttfa:match__seqpattern/thm_1316.thm
- sttfa:match__seqpattern/thm_1317.thm
- sttfa:match__seqpattern/thm_1318.thm
- sttfa:match__seqpattern/thm_1319.thm
- sttfa:match__seqpattern/thm_1320.thm
- sttfa:match__seqpattern/thm_1321.thm
- sttfa:match__seqpattern/thm_1322.thm
- sttfa:match__seqpattern/thm_1323.thm
- sttfa:match__seqpattern/thm_1324.thm
- sttfa:match__seqpattern/thm_1325.thm
- sttfa:match__seqpattern/thm_1326.thm
- sttfa:match__seqpattern/thm_1327.thm
- sttfa:match__seqpattern/thm_1328.thm
- sttfa:match__seqpattern/thm_1329.thm
- sttfa:match__seqpattern/thm_1330.thm
- sttfa:match__seqpattern/thm_1331.thm
- sttfa:match__seqpattern/thm_1332.thm
- sttfa:match__seqpattern/thm_1333.thm
- sttfa:match__seqpattern/thm_1334.thm
- sttfa:match__seqpattern/thm_1335.thm
- sttfa:match__seqpattern/thm_1336.thm
- sttfa:match__seqpattern/thm_1337.thm
- sttfa:match__seqpattern/thm_1338.thm
- sttfa:match__seqpattern/thm_1339.thm
- sttfa:match__seqpattern/thm_1340.thm
- sttfa:match__seqpattern/thm_1341.thm
- sttfa:match__seqpattern/thm_1342.thm
- sttfa:match__seqpattern/thm_1343.thm
- sttfa:match__seqpattern/thm_1344.thm
- sttfa:match__seqpattern/thm_1345.thm
- sttfa:match__seqpattern/thm_1346.thm
- sttfa:match__seqpattern/thm_1347.thm
- sttfa:match__seqpattern/thm_1348.thm
- sttfa:match__seqpattern/thm_1349.thm
- sttfa:match__seqpattern/thm_1350.thm
- sttfa:match__seqpattern/thm_1351.thm
- sttfa:match__seqpattern/thm_1352.thm
- sttfa:match__seqpattern/thm_1353.thm
- sttfa:match__seqpattern/thm_1354.thm
- sttfa:match__seqpattern/thm_1355.thm
- sttfa:match__seqpattern/thm_1356.thm
- sttfa:match__seqpattern/thm_1357.thm
- sttfa:match__seqpattern/thm_1358.thm
- sttfa:match__seqpattern/thm_1359.thm
- sttfa:match__seqpattern/thm_1360.thm
- sttfa:match__seqpattern/thm_1361.thm
- sttfa:match__seqpattern/thm_1362.thm
- sttfa:match__seqpattern/thm_1363.thm
- sttfa:match__seqpattern/thm_1364.thm
- sttfa:match__seqpattern/thm_1365.thm
- sttfa:match__seqpattern/thm_1366.thm
- sttfa:match__seqpattern/thm_1367.thm
- sttfa:match__seqpattern/thm_1368.thm
- sttfa:match__seqpattern/thm_1369.thm
- sttfa:match__seqpattern/thm_1370.thm
- sttfa:match__seqpattern/thm_1371.thm
- sttfa:match__seqpattern/thm_1372.thm
- sttfa:match__seqpattern/thm_1373.thm
- sttfa:match__seqpattern/thm_1374.thm
- sttfa:match__seqpattern/thm_1375.thm
- sttfa:match__seqpattern/thm_1376.thm
- sttfa:match__seqpattern/thm_1377.thm
- sttfa:match__seqpattern/thm_1378.thm
- sttfa:match__seqpattern/thm_1379.thm
- sttfa:match__seqpattern/thm_1380.thm
- sttfa:match__seqpattern/thm_1381.thm
- sttfa:match__seqpattern/thm_1382.thm
- sttfa:match__seqpattern/thm_1383.thm
- sttfa:match__seqpattern/thm_1384.thm
- sttfa:match__seqpattern/thm_1385.thm
- sttfa:match__seqpattern/thm_1386.thm
- sttfa:match__seqpattern/thm_1387.thm
- sttfa:match__seqpattern/thm_1388.thm
- sttfa:match__seqpattern/thm_1389.thm
- sttfa:match__seqpattern/thm_1390.thm
- sttfa:match__seqpattern/thm_1391.thm
- sttfa:match__seqpattern/thm_1392.thm
- sttfa:match__seqpattern/thm_1393.thm
- sttfa:match__seqpattern/thm_1394.thm
- sttfa:match__seqpattern/thm_1395.thm
- sttfa:match__seqpattern/thm_1396.thm
- sttfa:match__seqpattern/thm_1397.thm
- sttfa:match__seqpattern/thm_1398.thm
- sttfa:match__seqpattern/thm_1399.thm
- sttfa:match__seqpattern/thm_1400.thm
- sttfa:match__seqpattern/thm_1401.thm
- sttfa:match__seqpattern/thm_1402.thm
- sttfa:match__seqpattern/thm_1403.thm
- sttfa:match__seqpattern/thm_1404.thm
- sttfa:match__seqpattern/thm_1405.thm
- sttfa:match__seqpattern/thm_1406.thm
- sttfa:match__seqpattern/thm_1407.thm
- sttfa:match__seqpattern/thm_1408.thm
- sttfa:match__seqpattern/thm_1409.thm
- sttfa:match__seqpattern/thm_1410.thm
- sttfa:match__seqpattern/thm_1411.thm
- sttfa:match__seqpattern/thm_1412.thm
- sttfa:match__seqpattern/thm_1413.thm
- sttfa:match__seqpattern/thm_1414.thm
- sttfa:match__seqpattern/thm_1415.thm
- sttfa:match__seqpattern/thm_1416.thm
- sttfa:match__seqpattern/thm_1417.thm
- sttfa:match__seqpattern/thm_1418.thm
- sttfa:match__seqpattern/thm_1419.thm
- sttfa:match__seqpattern/thm_1420.thm
- sttfa:match__seqpattern/thm_1421.thm
- sttfa:match__seqpattern/thm_1422.thm
- sttfa:match__seqpattern/thm_1423.thm
- sttfa:match__seqpattern/thm_1424.thm
- sttfa:match__seqpattern/thm_1425.thm
- sttfa:match__seqpattern/thm_1426.thm
- sttfa:match__seqpattern/thm_1427.thm
- sttfa:match__seqpattern/thm_1428.thm
- sttfa:match__seqpattern/thm_1429.thm
- sttfa:match__seqpattern/thm_1430.thm
- sttfa:match__seqpattern/thm_1431.thm
- sttfa:match__seqpattern/thm_1432.thm
- sttfa:match__seqpattern/thm_1433.thm
- sttfa:match__seqpattern/thm_1434.thm
- sttfa:match__seqpattern/thm_1435.thm
- sttfa:match__seqpattern/thm_1436.thm
- sttfa:match__seqpattern/thm_1437.thm
- sttfa:match__seqpattern/thm_1438.thm
- sttfa:match__seqpattern/thm_1439.thm
- sttfa:match__seqpattern/thm_1440.thm
- sttfa:match__seqpattern/thm_1441.thm
- sttfa:match__seqpattern/thm_1442.thm
- sttfa:match__seqpattern/thm_1443.thm
- sttfa:match__seqpattern/thm_1444.thm
- sttfa:match__seqpattern/thm_1445.thm
- sttfa:match__seqpattern/thm_1446.thm
- sttfa:match__seqpattern/thm_1447.thm
- sttfa:match__seqpattern/thm_1448.thm
- sttfa:match__seqpattern/thm_1449.thm
- sttfa:match__seqpattern/thm_1450.thm
- sttfa:match__seqpattern/thm_1451.thm
- sttfa:match__seqpattern/thm_1452.thm
- sttfa:match__seqpattern/thm_1453.thm
- sttfa:match__seqpattern/thm_1454.thm
- sttfa:match__seqpattern/thm_1455.thm
- sttfa:match__seqpattern/thm_1456.thm
- sttfa:match__seqpattern/thm_1457.thm
- sttfa:match__seqpattern/thm_1458.thm
- sttfa:match__seqpattern/thm_1459.thm
- sttfa:match__seqpattern/thm_1460.thm
- sttfa:match__seqpattern/thm_1461.thm
- sttfa:match__seqpattern/thm_1462.thm
- sttfa:match__seqpattern/thm_1463.thm
- sttfa:match__seqpattern/thm_1464.thm
- sttfa:match__seqpattern/thm_1465.thm
- sttfa:match__seqpattern/thm_1466.thm
- sttfa:match__seqpattern/thm_1467.thm
- sttfa:match__seqpattern/thm_1468.thm
- sttfa:match__seqpattern/thm_1469.thm
- sttfa:match__seqpattern/thm_1470.thm
- sttfa:match__seqpattern/thm_1471.thm
- sttfa:match__seqpattern/thm_1472.thm
- sttfa:match__seqpattern/thm_1473.thm
- sttfa:match__seqpattern/thm_1474.thm
- sttfa:match__seqpattern/thm_1475.thm
- sttfa:match__seqpattern/thm_1476.thm
- sttfa:match__seqpattern/thm_1477.thm
- sttfa:match__seqpattern/thm_1478.thm
- sttfa:match__seqpattern/thm_1479.thm
- sttfa:match__seqpattern/thm_1480.thm
- sttfa:match__seqpattern/thm_1481.thm
- sttfa:match__seqpattern/thm_1482.thm
- sttfa:match__seqpattern/I_THM.thm
- sttfa:match__seqpattern/thm_1484.thm
- sttfa:match__seqpattern/thm_1485.thm
- sttfa:match__seqpattern/thm_1486.thm
- sttfa:match__seqpattern/thm_1487.thm
- sttfa:match__seqpattern/thm_1488.thm
- sttfa:match__seqpattern/thm_1489.thm
- sttfa:match__seqpattern/thm_1490.thm
- sttfa:match__seqpattern/thm_1491.thm
- sttfa:match__seqpattern/thm_1492.thm
- sttfa:match__seqpattern/thm_1493.thm
- sttfa:match__seqpattern/thm_1494.thm
- sttfa:match__seqpattern/thm_1495.thm
- sttfa:match__seqpattern/thm_1496.thm
- sttfa:match__seqpattern/thm_1497.thm
- sttfa:match__seqpattern/thm_1498.thm
- sttfa:match__seqpattern/thm_1499.thm
- sttfa:match__seqpattern/thm_1500.thm
- sttfa:match__seqpattern/thm_1501.thm
- sttfa:match__seqpattern/thm_1502.thm
- sttfa:match__seqpattern/thm_1503.thm
- sttfa:match__seqpattern/thm_1504.thm
- sttfa:match__seqpattern/thm_1505.thm
- sttfa:match__seqpattern/thm_1506.thm
- sttfa:match__seqpattern/thm_1507.thm
- sttfa:match__seqpattern/thm_1508.thm
- sttfa:match__seqpattern/thm_1509.thm
- sttfa:match__seqpattern/thm_1510.thm
- sttfa:match__seqpattern/thm_1511.thm
- sttfa:match__seqpattern/thm_1512.thm
- sttfa:match__seqpattern/thm_1513.thm
- sttfa:match__seqpattern/thm_1514.thm
- sttfa:match__seqpattern/thm_1515.thm
- sttfa:match__seqpattern/thm_1516.thm
- sttfa:match__seqpattern/thm_1517.thm
- sttfa:match__seqpattern/thm_1518.thm
- sttfa:match__seqpattern/thm_1519.thm
- sttfa:match__seqpattern/thm_1520.thm
- sttfa:match__seqpattern/thm_1521.thm
- sttfa:match__seqpattern/thm_1522.thm
- sttfa:match__seqpattern/thm_1523.thm
- sttfa:match__seqpattern/thm_1524.thm
- sttfa:match__seqpattern/thm_1525.thm
- sttfa:match__seqpattern/thm_1526.thm
- sttfa:match__seqpattern/thm_1527.thm
- sttfa:match__seqpattern/thm_1528.thm
- sttfa:match__seqpattern/thm_1529.thm
- sttfa:match__seqpattern/thm_1530.thm
- sttfa:match__seqpattern/thm_1531.thm
- sttfa:match__seqpattern/thm_1532.thm
- sttfa:match__seqpattern/thm_1533.thm
- sttfa:match__seqpattern/thm_1534.thm
- sttfa:match__seqpattern/thm_1535.thm
- sttfa:match__seqpattern/thm_1536.thm
- sttfa:match__seqpattern/thm_1537.thm
- sttfa:match__seqpattern/thm_1538.thm
- sttfa:match__seqpattern/thm_1539.thm
- sttfa:match__seqpattern/thm_1540.thm
- sttfa:match__seqpattern/thm_1541.thm
- sttfa:match__seqpattern/thm_1542.thm
- sttfa:match__seqpattern/thm_1543.thm
- sttfa:match__seqpattern/thm_1544.thm
- sttfa:match__seqpattern/thm_1545.thm
- sttfa:match__seqpattern/thm_1546.thm
- sttfa:match__seqpattern/thm_1547.thm
- sttfa:match__seqpattern/thm_1548.thm
- sttfa:match__seqpattern/thm_1549.thm
- sttfa:match__seqpattern/thm_1550.thm
- sttfa:match__seqpattern/thm_1551.thm
- sttfa:match__seqpattern/thm_1552.thm
- sttfa:match__seqpattern/thm_1553.thm
- sttfa:match__seqpattern/thm_1554.thm
- sttfa:match__seqpattern/thm_1555.thm
- sttfa:match__seqpattern/thm_1556.thm
- sttfa:match__seqpattern/thm_1557.thm
- sttfa:match__seqpattern/thm_1558.thm
- sttfa:match__seqpattern/thm_1559.thm
- sttfa:match__seqpattern/thm_1560.thm
- sttfa:match__seqpattern/thm_1561.thm
- sttfa:match__seqpattern/thm_1562.thm
- sttfa:match__seqpattern/thm_1563.thm
- sttfa:match__seqpattern/thm_1564.thm
- sttfa:match__seqpattern/thm_1565.thm
- sttfa:match__seqpattern/thm_1566.thm
- sttfa:match__seqpattern/thm_1567.thm
- sttfa:match__seqpattern/thm_1568.thm
- sttfa:match__seqpattern/thm_1569.thm
- sttfa:match__seqpattern/thm_1570.thm
- sttfa:match__seqpattern/thm_1571.thm
- sttfa:match__seqpattern/thm_1572.thm
- sttfa:match__seqpattern/thm_1573.thm
- sttfa:match__seqpattern/thm_1574.thm
- sttfa:match__seqpattern/thm_1575.thm
- sttfa:match__seqpattern/thm_1576.thm
- sttfa:match__seqpattern/thm_1577.thm
- sttfa:match__seqpattern/thm_1578.thm
- sttfa:match__seqpattern/thm_1579.thm
- sttfa:match__seqpattern/thm_1580.thm
- sttfa:match__seqpattern/thm_1581.thm
- sttfa:match__seqpattern/thm_1582.thm
- sttfa:match__seqpattern/thm_1583.thm
- sttfa:match__seqpattern/thm_1584.thm
- sttfa:match__seqpattern/thm_1585.thm
- sttfa:match__seqpattern/thm_1586.thm
- sttfa:match__seqpattern/thm_1587.thm
- sttfa:match__seqpattern/thm_1588.thm
- sttfa:match__seqpattern/thm_1589.thm
- sttfa:match__seqpattern/thm_1590.thm
- sttfa:match__seqpattern/thm_1591.thm
- sttfa:match__seqpattern/thm_1592.thm
- sttfa:match__seqpattern/thm_1593.thm
- sttfa:match__seqpattern/thm_1594.thm
- sttfa:match__seqpattern/thm_1595.thm
- sttfa:match__seqpattern/thm_1596.thm
- sttfa:match__seqpattern/thm_1597.thm
- sttfa:match__seqpattern/thm_1598.thm
- sttfa:match__seqpattern/thm_1599.thm
- sttfa:match__seqpattern/thm_1600.thm
- sttfa:match__seqpattern/thm_1601.thm
- sttfa:match__seqpattern/thm_1602.thm
- sttfa:match__seqpattern/thm_1603.thm
- sttfa:match__seqpattern/thm_1604.thm
- sttfa:match__seqpattern/thm_1605.thm
- sttfa:match__seqpattern/thm_1606.thm
- sttfa:match__seqpattern/thm_1607.thm
- sttfa:match__seqpattern/thm_1608.thm
- sttfa:match__seqpattern/thm_1609.thm
- sttfa:match__seqpattern/thm_1610.thm
- sttfa:match__seqpattern/thm_1611.thm
- sttfa:match__seqpattern/thm_1612.thm
- sttfa:match__seqpattern/thm_1613.thm
- sttfa:match__seqpattern/thm_1614.thm
- sttfa:match__seqpattern/thm_1615.thm
- sttfa:match__seqpattern/thm_1616.thm
- sttfa:match__seqpattern/thm_1617.thm
- sttfa:match__seqpattern/thm_1618.thm
- sttfa:match__seqpattern/thm_1619.thm
- sttfa:match__seqpattern/thm_1620.thm
- sttfa:match__seqpattern/thm_1621.thm
- sttfa:match__seqpattern/thm_1622.thm
- sttfa:match__seqpattern/thm_1623.thm
- sttfa:match__seqpattern/thm_1624.thm
- sttfa:match__seqpattern/thm_1625.thm
- sttfa:match__seqpattern/thm_1626.thm
- sttfa:match__seqpattern/thm_1627.thm
- sttfa:match__seqpattern/thm_1628.thm
- sttfa:match__seqpattern/thm_1629.thm
- sttfa:match__seqpattern/thm_1630.thm
- sttfa:match__seqpattern/thm_1631.thm
- sttfa:match__seqpattern/thm_1632.thm
- sttfa:match__seqpattern/thm_1633.thm
- sttfa:match__seqpattern/thm_1634.thm
- sttfa:match__seqpattern/thm_1635.thm
- sttfa:match__seqpattern/thm_1636.thm
- sttfa:match__seqpattern/thm_1637.thm
- sttfa:match__seqpattern/thm_1638.thm
- sttfa:match__seqpattern/thm_1639.thm
- sttfa:match__seqpattern/thm_1640.thm
- sttfa:match__seqpattern/thm_1641.thm
- sttfa:match__seqpattern/thm_1642.thm
- sttfa:match__seqpattern/thm_1643.thm
- sttfa:match__seqpattern/thm_1644.thm
- sttfa:match__seqpattern/thm_1645.thm
- sttfa:match__seqpattern/thm_1646.thm
- sttfa:match__seqpattern/thm_1647.thm
- sttfa:match__seqpattern/thm_1648.thm
- sttfa:match__seqpattern/thm_1649.thm
- sttfa:match__seqpattern/thm_1650.thm
- sttfa:match__seqpattern/thm_1651.thm
- sttfa:match__seqpattern/thm_1652.thm
- sttfa:match__seqpattern/thm_1653.thm
- sttfa:match__seqpattern/thm_1654.thm
- sttfa:match__seqpattern/thm_1655.thm
- sttfa:match__seqpattern/thm_1656.thm
- sttfa:match__seqpattern/thm_1657.thm
- sttfa:match__seqpattern/thm_1658.thm
- sttfa:match__seqpattern/thm_1659.thm
- sttfa:match__seqpattern/thm_1660.thm
- sttfa:match__seqpattern/thm_1661.thm
- sttfa:match__seqpattern/thm_1662.thm
- sttfa:match__seqpattern/thm_1663.thm
- sttfa:match__seqpattern/thm_1664.thm
- sttfa:match__seqpattern/thm_1665.thm
- sttfa:match__seqpattern/thm_1666.thm
- sttfa:match__seqpattern/thm_1667.thm
- sttfa:match__seqpattern/thm_1668.thm
- sttfa:match__seqpattern/thm_1669.thm
- sttfa:match__seqpattern/thm_1670.thm
- sttfa:match__seqpattern/thm_1671.thm
- sttfa:match__seqpattern/thm_1672.thm
- sttfa:match__seqpattern/thm_1673.thm
- sttfa:match__seqpattern/thm_1674.thm
- sttfa:match__seqpattern/thm_1675.thm
- sttfa:match__seqpattern/thm_1676.thm
- sttfa:match__seqpattern/thm_1677.thm
- sttfa:match__seqpattern/thm_1678.thm
- sttfa:match__seqpattern/thm_1679.thm
- sttfa:match__seqpattern/thm_1680.thm
- sttfa:match__seqpattern/thm_1681.thm
- sttfa:match__seqpattern/thm_1682.thm
- sttfa:match__seqpattern/thm_1683.thm
- sttfa:match__seqpattern/thm_1684.thm
- sttfa:match__seqpattern/thm_1685.thm
- sttfa:match__seqpattern/thm_1686.thm
- sttfa:match__seqpattern/thm_1687.thm
- sttfa:match__seqpattern/thm_1688.thm
- sttfa:match__seqpattern/thm_1689.thm
- sttfa:match__seqpattern/thm_1690.thm
- sttfa:match__seqpattern/thm_1691.thm
- sttfa:match__seqpattern/thm_1692.thm
- sttfa:match__seqpattern/thm_1693.thm
- sttfa:match__seqpattern/thm_1694.thm
- sttfa:match__seqpattern/thm_1695.thm
- sttfa:match__seqpattern/thm_1696.thm
- sttfa:match__seqpattern/thm_1697.thm
- sttfa:match__seqpattern/thm_1698.thm
- sttfa:match__seqpattern/thm_1699.thm
- sttfa:match__seqpattern/thm_1700.thm
- sttfa:match__seqpattern/SELECT_AX.thm
- sttfa:match__seqpattern/thm_1702.thm
- sttfa:match__seqpattern/thm_1703.thm
- sttfa:match__seqpattern/thm_1704.thm
- sttfa:match__seqpattern/thm_1705.thm
- sttfa:match__seqpattern/thm_1706.thm
- sttfa:match__seqpattern/thm_1707.thm
- sttfa:match__seqpattern/thm_1708.thm
- sttfa:match__seqpattern/thm_1709.thm
- sttfa:match__seqpattern/thm_1710.thm
- sttfa:match__seqpattern/thm_1711.thm
- sttfa:match__seqpattern/thm_1712.thm
- sttfa:match__seqpattern/thm_1713.thm
- sttfa:match__seqpattern/thm_1714.thm
- sttfa:match__seqpattern/thm_1715.thm
- sttfa:match__seqpattern/thm_1716.thm
- sttfa:match__seqpattern/thm_1717.thm
- sttfa:match__seqpattern/thm_1718.thm
- sttfa:match__seqpattern/thm_1719.thm
- sttfa:match__seqpattern/thm_1720.thm
- sttfa:match__seqpattern/thm_1721.thm
- sttfa:match__seqpattern/thm_1722.thm
- sttfa:match__seqpattern/thm_1723.thm
- sttfa:match__seqpattern/thm_1724.thm
- sttfa:match__seqpattern/thm_1725.thm
- sttfa:match__seqpattern/thm_1726.thm
- sttfa:match__seqpattern/thm_1727.thm
- sttfa:match__seqpattern/thm_1728.thm
- sttfa:match__seqpattern/thm_1729.thm
- sttfa:match__seqpattern/thm_1730.thm
- sttfa:match__seqpattern/thm_1731.thm
- sttfa:match__seqpattern/thm_1732.thm
- sttfa:match__seqpattern/thm_1733.thm
- sttfa:match__seqpattern/thm_1734.thm
- sttfa:match__seqpattern/thm_1735.thm
- sttfa:match__seqpattern/thm_1736.thm
- sttfa:match__seqpattern/thm_1737.thm
- sttfa:match__seqpattern/thm_1738.thm
- sttfa:match__seqpattern/thm_1739.thm
- sttfa:match__seqpattern/thm_1740.thm
- sttfa:match__seqpattern/thm_1741.thm
- sttfa:match__seqpattern/thm_1742.thm
- sttfa:match__seqpattern/thm_1743.thm
- sttfa:match__seqpattern/thm_1744.thm
- sttfa:match__seqpattern/thm_1745.thm
- sttfa:match__seqpattern/thm_1746.thm
- sttfa:match__seqpattern/thm_1747.thm
- sttfa:match__seqpattern/thm_1748.thm
- sttfa:match__seqpattern/thm_1749.thm
- sttfa:match__seqpattern/thm_1750.thm
- sttfa:match__seqpattern/thm_1751.thm
- sttfa:match__seqpattern/thm_1752.thm
- sttfa:match__seqpattern/thm_1753.thm
- sttfa:match__seqpattern/thm_1754.thm
- sttfa:match__seqpattern/thm_1755.thm
- sttfa:match__seqpattern/thm_1756.thm
- sttfa:match__seqpattern/thm_1757.thm
- sttfa:match__seqpattern/thm_1758.thm
- sttfa:match__seqpattern/thm_1759.thm
- sttfa:match__seqpattern/thm_1760.thm
- sttfa:match__seqpattern/thm_1761.thm
- sttfa:match__seqpattern/MATCH_SEQPATTERN.thm