*****************************************************************************
                       Semantic Analysis of SPARK Text
                             Examiner GPL Edition

*****************************************************************************



SPARK Simplifier GPL 2012
Copyright (C) 2012 Altran Praxis Limited, Bath, U.K.

procedure zone_file_io.processzoneFile




For path(s) from start to run-time check associated with statement of line 85:

procedure_processzonefile_1.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 89:

procedure_processzonefile_2.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 91:

procedure_processzonefile_3.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 92:

procedure_processzonefile_4.
*** true .          /* all conclusions proved */


For path(s) from start to assertion of line 96:

procedure_processzonefile_5.
*** true .          /* all conclusions proved */


procedure_processzonefile_6.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to assertion of line 96:

procedure_processzonefile_7.
*** true .          /* all conclusions proved */


procedure_processzonefile_8.
*** true .          /* all conclusions proved */


procedure_processzonefile_9.
*** true .          /* all conclusions proved */


procedure_processzonefile_10.
*** true .          /* all conclusions proved */


procedure_processzonefile_11.
*** true .          /* all conclusions proved */


procedure_processzonefile_12.
*** true .          /* all conclusions proved */


procedure_processzonefile_13.
*** true .          /* all conclusions proved */


procedure_processzonefile_14.
*** true .          /* all conclusions proved */


procedure_processzonefile_15.
*** true .          /* all conclusions proved */


procedure_processzonefile_16.
*** true .          /* all conclusions proved */


procedure_processzonefile_17.
*** true .          /* all conclusions proved */


procedure_processzonefile_18.
*** true .          /* all conclusions proved */


procedure_processzonefile_19.
*** true .          /* all conclusions proved */


procedure_processzonefile_20.
*** true .          /* all conclusions proved */


procedure_processzonefile_21.
*** true .          /* all conclusions proved */


procedure_processzonefile_22.
*** true .          /* all conclusions proved */


procedure_processzonefile_23.
*** true .          /* all conclusions proved */


procedure_processzonefile_24.
*** true .          /* all conclusions proved */


procedure_processzonefile_25.
*** true .          /* all conclusions proved */


procedure_processzonefile_26.
*** true .          /* all conclusions proved */


procedure_processzonefile_27.
*** true .          /* all conclusions proved */


procedure_processzonefile_28.
*** true .          /* all conclusions proved */


procedure_processzonefile_29.
*** true .          /* all conclusions proved */


procedure_processzonefile_30.
*** true .          /* all conclusions proved */


procedure_processzonefile_31.
*** true .          /* all conclusions proved */


procedure_processzonefile_32.
*** true .          /* all conclusions proved */


procedure_processzonefile_33.
*** true .          /* all conclusions proved */


procedure_processzonefile_34.
*** true .          /* all conclusions proved */


procedure_processzonefile_35.
*** true .          /* all conclusions proved */


procedure_processzonefile_36.
*** true .          /* all conclusions proved */


procedure_processzonefile_37.
*** true .          /* all conclusions proved */


procedure_processzonefile_38.
*** true .          /* all conclusions proved */


procedure_processzonefile_39.
*** true .          /* all conclusions proved */


procedure_processzonefile_40.
*** true .          /* all conclusions proved */


procedure_processzonefile_41.
*** true .          /* all conclusions proved */


procedure_processzonefile_42.
*** true .          /* all conclusions proved */


procedure_processzonefile_43.
*** true .          /* all conclusions proved */


procedure_processzonefile_44.
*** true .          /* all conclusions proved */


procedure_processzonefile_45.
*** true .          /* all conclusions proved */


procedure_processzonefile_46.
*** true .          /* all conclusions proved */


procedure_processzonefile_47.
*** true .          /* all conclusions proved */


procedure_processzonefile_48.
*** true .          /* all conclusions proved */


procedure_processzonefile_49.
*** true .          /* all conclusions proved */


procedure_processzonefile_50.
*** true .          /* all conclusions proved */


procedure_processzonefile_51.
*** true .          /* all conclusions proved */


procedure_processzonefile_52.
*** true .          /* all conclusions proved */


procedure_processzonefile_53.
*** true .          /* all conclusions proved */


procedure_processzonefile_54.
*** true .          /* all conclusions proved */


procedure_processzonefile_55.
*** true .          /* all conclusions proved */


procedure_processzonefile_56.
*** true .          /* all conclusions proved */


procedure_processzonefile_57.
*** true .          /* all conclusions proved */


procedure_processzonefile_58.
*** true .          /* all conclusions proved */


procedure_processzonefile_59.
*** true .          /* all conclusions proved */


procedure_processzonefile_60.
*** true .          /* all conclusions proved */


procedure_processzonefile_61.
*** true .          /* all conclusions proved */


procedure_processzonefile_62.
*** true .          /* all conclusions proved */


procedure_processzonefile_63.
*** true .          /* all conclusions proved */


procedure_processzonefile_64.
*** true .          /* all conclusions proved */


procedure_processzonefile_65.
*** true .          /* all conclusions proved */


procedure_processzonefile_66.
*** true .          /* all conclusions proved */


procedure_processzonefile_67.
*** true .          /* all conclusions proved */


procedure_processzonefile_68.
*** true .          /* all conclusions proved */


procedure_processzonefile_69.
*** true .          /* all conclusions proved */


procedure_processzonefile_70.
*** true .          /* all conclusions proved */


procedure_processzonefile_71.
*** true .          /* all conclusions proved */


procedure_processzonefile_72.
*** true .          /* all conclusions proved */


procedure_processzonefile_73.
*** true .          /* all conclusions proved */


procedure_processzonefile_74.
*** true .          /* all conclusions proved */


procedure_processzonefile_75.
*** true .          /* all conclusions proved */


procedure_processzonefile_76.
*** true .          /* all conclusions proved */


procedure_processzonefile_77.
*** true .          /* all conclusions proved */


procedure_processzonefile_78.
*** true .          /* all conclusions proved */


procedure_processzonefile_79.
*** true .          /* all conclusions proved */


procedure_processzonefile_80.
*** true .          /* all conclusions proved */


procedure_processzonefile_81.
*** true .          /* all conclusions proved */


procedure_processzonefile_82.
*** true .          /* all conclusions proved */


procedure_processzonefile_83.
*** true .          /* all conclusions proved */


procedure_processzonefile_84.
*** true .          /* all conclusions proved */


procedure_processzonefile_85.
*** true .          /* all conclusions proved */


procedure_processzonefile_86.
*** true .          /* all conclusions proved */


procedure_processzonefile_87.
*** true .          /* all conclusions proved */


procedure_processzonefile_88.
*** true .          /* all conclusions proved */


procedure_processzonefile_89.
*** true .          /* all conclusions proved */


procedure_processzonefile_90.
*** true .          /* all conclusions proved */


procedure_processzonefile_91.
*** true .          /* all conclusions proved */


procedure_processzonefile_92.
*** true .          /* all conclusions proved */


procedure_processzonefile_93.
*** true .          /* all conclusions proved */


procedure_processzonefile_94.
*** true .          /* all conclusions proved */


procedure_processzonefile_95.
*** true .          /* all conclusions proved */


procedure_processzonefile_96.
*** true .          /* all conclusions proved */


procedure_processzonefile_97.
*** true .          /* all conclusions proved */


procedure_processzonefile_98.
*** true .          /* all conclusions proved */


procedure_processzonefile_99.
*** true .          /* all conclusions proved */


procedure_processzonefile_100.
*** true .          /* all conclusions proved */


procedure_processzonefile_101.
*** true .          /* all conclusions proved */


procedure_processzonefile_102.
*** true .          /* all conclusions proved */


procedure_processzonefile_103.
*** true .          /* all conclusions proved */


procedure_processzonefile_104.
*** true .          /* all conclusions proved */


procedure_processzonefile_105.
*** true .          /* all conclusions proved */


procedure_processzonefile_106.
*** true .          /* all conclusions proved */


procedure_processzonefile_107.
*** true .          /* all conclusions proved */


procedure_processzonefile_108.
*** true .          /* all conclusions proved */


procedure_processzonefile_109.
*** true .          /* all conclusions proved */


procedure_processzonefile_110.
*** true .          /* all conclusions proved */


procedure_processzonefile_111.
*** true .          /* all conclusions proved */


procedure_processzonefile_112.
*** true .          /* all conclusions proved */


procedure_processzonefile_113.
*** true .          /* all conclusions proved */


procedure_processzonefile_114.
*** true .          /* all conclusions proved */


procedure_processzonefile_115.
*** true .          /* all conclusions proved */


procedure_processzonefile_116.
*** true .          /* all conclusions proved */


procedure_processzonefile_117.
*** true .          /* all conclusions proved */


procedure_processzonefile_118.
*** true .          /* all conclusions proved */


procedure_processzonefile_119.
*** true .          /* all conclusions proved */


procedure_processzonefile_120.
*** true .          /* all conclusions proved */


procedure_processzonefile_121.
*** true .          /* all conclusions proved */


procedure_processzonefile_122.
*** true .          /* all conclusions proved */


procedure_processzonefile_123.
*** true .          /* all conclusions proved */


procedure_processzonefile_124.
*** true .          /* all conclusions proved */


procedure_processzonefile_125.
*** true .          /* all conclusions proved */


procedure_processzonefile_126.
*** true .          /* all conclusions proved */


procedure_processzonefile_127.
*** true .          /* all conclusions proved */


procedure_processzonefile_128.
*** true .          /* all conclusions proved */


procedure_processzonefile_129.
*** true .          /* all conclusions proved */


procedure_processzonefile_130.
*** true .          /* all conclusions proved */


procedure_processzonefile_131.
*** true .          /* all conclusions proved */


procedure_processzonefile_132.
*** true .          /* all conclusions proved */


procedure_processzonefile_133.
*** true .          /* all conclusions proved */


procedure_processzonefile_134.
*** true .          /* all conclusions proved */


procedure_processzonefile_135.
*** true .          /* all conclusions proved */


procedure_processzonefile_136.
*** true .          /* all conclusions proved */


procedure_processzonefile_137.
*** true .          /* all conclusions proved */


procedure_processzonefile_138.
*** true .          /* all conclusions proved */


procedure_processzonefile_139.
*** true .          /* all conclusions proved */


procedure_processzonefile_140.
*** true .          /* all conclusions proved */


procedure_processzonefile_141.
*** true .          /* all conclusions proved */


procedure_processzonefile_142.
*** true .          /* all conclusions proved */


procedure_processzonefile_143.
*** true .          /* all conclusions proved */


procedure_processzonefile_144.
*** true .          /* all conclusions proved */


procedure_processzonefile_145.
*** true .          /* all conclusions proved */


procedure_processzonefile_146.
*** true .          /* all conclusions proved */


procedure_processzonefile_147.
*** true .          /* all conclusions proved */


procedure_processzonefile_148.
*** true .          /* all conclusions proved */


procedure_processzonefile_149.
*** true .          /* all conclusions proved */


procedure_processzonefile_150.
*** true .          /* all conclusions proved */


procedure_processzonefile_151.
*** true .          /* all conclusions proved */


procedure_processzonefile_152.
*** true .          /* all conclusions proved */


procedure_processzonefile_153.
*** true .          /* all conclusions proved */


procedure_processzonefile_154.
*** true .          /* all conclusions proved */


procedure_processzonefile_155.
*** true .          /* all conclusions proved */


procedure_processzonefile_156.
*** true .          /* all conclusions proved */


procedure_processzonefile_157.
*** true .          /* all conclusions proved */


procedure_processzonefile_158.
*** true .          /* all conclusions proved */


procedure_processzonefile_159.
*** true .          /* all conclusions proved */


procedure_processzonefile_160.
*** true .          /* all conclusions proved */


procedure_processzonefile_161.
*** true .          /* all conclusions proved */


procedure_processzonefile_162.
*** true .          /* all conclusions proved */


procedure_processzonefile_163.
*** true .          /* all conclusions proved */


procedure_processzonefile_164.
*** true .          /* all conclusions proved */


procedure_processzonefile_165.
*** true .          /* all conclusions proved */


procedure_processzonefile_166.
*** true .          /* all conclusions proved */


procedure_processzonefile_167.
*** true .          /* all conclusions proved */


procedure_processzonefile_168.
*** true .          /* all conclusions proved */


procedure_processzonefile_169.
*** true .          /* all conclusions proved */


procedure_processzonefile_170.
*** true .          /* all conclusions proved */


procedure_processzonefile_171.
*** true .          /* all conclusions proved */


procedure_processzonefile_172.
*** true .          /* all conclusions proved */


procedure_processzonefile_173.
*** true .          /* all conclusions proved */


procedure_processzonefile_174.
*** true .          /* all conclusions proved */


procedure_processzonefile_175.
*** true .          /* all conclusions proved */


procedure_processzonefile_176.
*** true .          /* all conclusions proved */


procedure_processzonefile_177.
*** true .          /* all conclusions proved */


procedure_processzonefile_178.
*** true .          /* all conclusions proved */


procedure_processzonefile_179.
*** true .          /* all conclusions proved */


procedure_processzonefile_180.
*** true .          /* all conclusions proved */


procedure_processzonefile_181.
*** true .          /* all conclusions proved */


procedure_processzonefile_182.
*** true .          /* all conclusions proved */


procedure_processzonefile_183.
*** true .          /* all conclusions proved */


procedure_processzonefile_184.
*** true .          /* all conclusions proved */


procedure_processzonefile_185.
*** true .          /* all conclusions proved */


procedure_processzonefile_186.
*** true .          /* all conclusions proved */


procedure_processzonefile_187.
*** true .          /* all conclusions proved */


procedure_processzonefile_188.
*** true .          /* all conclusions proved */


procedure_processzonefile_189.
*** true .          /* all conclusions proved */


procedure_processzonefile_190.
*** true .          /* all conclusions proved */


procedure_processzonefile_191.
*** true .          /* all conclusions proved */


procedure_processzonefile_192.
*** true .          /* all conclusions proved */


procedure_processzonefile_193.
*** true .          /* all conclusions proved */


procedure_processzonefile_194.
*** true .          /* all conclusions proved */


procedure_processzonefile_195.
*** true .          /* all conclusions proved */


procedure_processzonefile_196.
*** true .          /* all conclusions proved */


procedure_processzonefile_197.
*** true .          /* all conclusions proved */


procedure_processzonefile_198.
*** true .          /* all conclusions proved */


procedure_processzonefile_199.
*** true .          /* all conclusions proved */


procedure_processzonefile_200.
*** true .          /* all conclusions proved */


procedure_processzonefile_201.
*** true .          /* all conclusions proved */


procedure_processzonefile_202.
*** true .          /* all conclusions proved */


procedure_processzonefile_203.
*** true .          /* all conclusions proved */


procedure_processzonefile_204.
*** true .          /* all conclusions proved */


procedure_processzonefile_205.
*** true .          /* all conclusions proved */


procedure_processzonefile_206.
*** true .          /* all conclusions proved */


procedure_processzonefile_207.
*** true .          /* all conclusions proved */


procedure_processzonefile_208.
*** true .          /* all conclusions proved */


procedure_processzonefile_209.
*** true .          /* all conclusions proved */


procedure_processzonefile_210.
*** true .          /* all conclusions proved */


procedure_processzonefile_211.
*** true .          /* all conclusions proved */


procedure_processzonefile_212.
*** true .          /* all conclusions proved */


procedure_processzonefile_213.
*** true .          /* all conclusions proved */


procedure_processzonefile_214.
*** true .          /* all conclusions proved */


procedure_processzonefile_215.
*** true .          /* all conclusions proved */


procedure_processzonefile_216.
*** true .          /* all conclusions proved */


procedure_processzonefile_217.
*** true .          /* all conclusions proved */


procedure_processzonefile_218.
*** true .          /* all conclusions proved */


procedure_processzonefile_219.
*** true .          /* all conclusions proved */


procedure_processzonefile_220.
*** true .          /* all conclusions proved */


procedure_processzonefile_221.
*** true .          /* all conclusions proved */


procedure_processzonefile_222.
*** true .          /* all conclusions proved */


procedure_processzonefile_223.
*** true .          /* all conclusions proved */


procedure_processzonefile_224.
*** true .          /* all conclusions proved */


procedure_processzonefile_225.
*** true .          /* all conclusions proved */


procedure_processzonefile_226.
*** true .          /* all conclusions proved */


procedure_processzonefile_227.
*** true .          /* all conclusions proved */


procedure_processzonefile_228.
*** true .          /* all conclusions proved */


procedure_processzonefile_229.
*** true .          /* all conclusions proved */


procedure_processzonefile_230.
*** true .          /* all conclusions proved */


procedure_processzonefile_231.
*** true .          /* all conclusions proved */


procedure_processzonefile_232.
*** true .          /* all conclusions proved */


procedure_processzonefile_233.
*** true .          /* all conclusions proved */


procedure_processzonefile_234.
*** true .          /* all conclusions proved */


procedure_processzonefile_235.
*** true .          /* all conclusions proved */


procedure_processzonefile_236.
*** true .          /* all conclusions proved */


procedure_processzonefile_237.
*** true .          /* all conclusions proved */


procedure_processzonefile_238.
*** true .          /* all conclusions proved */


procedure_processzonefile_239.
*** true .          /* all conclusions proved */


procedure_processzonefile_240.
*** true .          /* all conclusions proved */


procedure_processzonefile_241.
*** true .          /* all conclusions proved */


procedure_processzonefile_242.
*** true .          /* all conclusions proved */


procedure_processzonefile_243.
*** true .          /* all conclusions proved */


procedure_processzonefile_244.
*** true .          /* all conclusions proved */


procedure_processzonefile_245.
*** true .          /* all conclusions proved */


procedure_processzonefile_246.
*** true .          /* all conclusions proved */


procedure_processzonefile_247.
*** true .          /* all conclusions proved */


procedure_processzonefile_248.
*** true .          /* all conclusions proved */


procedure_processzonefile_249.
*** true .          /* all conclusions proved */


procedure_processzonefile_250.
*** true .          /* all conclusions proved */


procedure_processzonefile_251.
*** true .          /* all conclusions proved */


procedure_processzonefile_252.
*** true .          /* all conclusions proved */


procedure_processzonefile_253.
*** true .          /* all conclusions proved */


procedure_processzonefile_254.
*** true .          /* all conclusions proved */


procedure_processzonefile_255.
*** true .          /* all conclusions proved */


procedure_processzonefile_256.
*** true .          /* all conclusions proved */


procedure_processzonefile_257.
*** true .          /* all conclusions proved */


procedure_processzonefile_258.
*** true .          /* all conclusions proved */


procedure_processzonefile_259.
*** true .          /* all conclusions proved */


procedure_processzonefile_260.
*** true .          /* all conclusions proved */


procedure_processzonefile_261.
*** true .          /* all conclusions proved */


procedure_processzonefile_262.
*** true .          /* all conclusions proved */


procedure_processzonefile_263.
*** true .          /* all conclusions proved */


procedure_processzonefile_264.
*** true .          /* all conclusions proved */


procedure_processzonefile_265.
*** true .          /* all conclusions proved */


procedure_processzonefile_266.
*** true .          /* all conclusions proved */


procedure_processzonefile_267.
*** true .          /* all conclusions proved */


procedure_processzonefile_268.
*** true .          /* all conclusions proved */


procedure_processzonefile_269.
*** true .          /* all conclusions proved */


procedure_processzonefile_270.
*** true .          /* all conclusions proved */


procedure_processzonefile_271.
*** true .          /* all conclusions proved */


procedure_processzonefile_272.
*** true .          /* all conclusions proved */


procedure_processzonefile_273.
*** true .          /* all conclusions proved */


procedure_processzonefile_274.
*** true .          /* all conclusions proved */


procedure_processzonefile_275.
*** true .          /* all conclusions proved */


procedure_processzonefile_276.
*** true .          /* all conclusions proved */


procedure_processzonefile_277.
*** true .          /* all conclusions proved */


procedure_processzonefile_278.
*** true .          /* all conclusions proved */


procedure_processzonefile_279.
*** true .          /* all conclusions proved */


procedure_processzonefile_280.
*** true .          /* all conclusions proved */


procedure_processzonefile_281.
*** true .          /* all conclusions proved */


procedure_processzonefile_282.
*** true .          /* all conclusions proved */


procedure_processzonefile_283.
*** true .          /* all conclusions proved */


procedure_processzonefile_284.
*** true .          /* all conclusions proved */


procedure_processzonefile_285.
*** true .          /* all conclusions proved */


procedure_processzonefile_286.
*** true .          /* all conclusions proved */


procedure_processzonefile_287.
*** true .          /* all conclusions proved */


procedure_processzonefile_288.
*** true .          /* all conclusions proved */


procedure_processzonefile_289.
*** true .          /* all conclusions proved */


procedure_processzonefile_290.
*** true .          /* all conclusions proved */


procedure_processzonefile_291.
*** true .          /* all conclusions proved */


procedure_processzonefile_292.
*** true .          /* all conclusions proved */


procedure_processzonefile_293.
*** true .          /* all conclusions proved */


procedure_processzonefile_294.
*** true .          /* all conclusions proved */


procedure_processzonefile_295.
*** true .          /* all conclusions proved */


procedure_processzonefile_296.
*** true .          /* all conclusions proved */


procedure_processzonefile_297.
*** true .          /* all conclusions proved */


procedure_processzonefile_298.
*** true .          /* all conclusions proved */


procedure_processzonefile_299.
*** true .          /* all conclusions proved */


procedure_processzonefile_300.
*** true .          /* all conclusions proved */


procedure_processzonefile_301.
*** true .          /* all conclusions proved */


procedure_processzonefile_302.
*** true .          /* all conclusions proved */


procedure_processzonefile_303.
*** true .          /* all conclusions proved */


procedure_processzonefile_304.
*** true .          /* all conclusions proved */


procedure_processzonefile_305.
*** true .          /* all conclusions proved */


procedure_processzonefile_306.
*** true .          /* all conclusions proved */


procedure_processzonefile_307.
*** true .          /* all conclusions proved */


procedure_processzonefile_308.
*** true .          /* all conclusions proved */


procedure_processzonefile_309.
*** true .          /* all conclusions proved */


procedure_processzonefile_310.
*** true .          /* all conclusions proved */


procedure_processzonefile_311.
*** true .          /* all conclusions proved */


procedure_processzonefile_312.
*** true .          /* all conclusions proved */


procedure_processzonefile_313.
*** true .          /* all conclusions proved */


procedure_processzonefile_314.
*** true .          /* all conclusions proved */


procedure_processzonefile_315.
*** true .          /* all conclusions proved */


procedure_processzonefile_316.
*** true .          /* all conclusions proved */


procedure_processzonefile_317.
*** true .          /* all conclusions proved */


procedure_processzonefile_318.
*** true .          /* all conclusions proved */


procedure_processzonefile_319.
*** true .          /* all conclusions proved */


procedure_processzonefile_320.
*** true .          /* all conclusions proved */


procedure_processzonefile_321.
*** true .          /* all conclusions proved */


procedure_processzonefile_322.
*** true .          /* all conclusions proved */


procedure_processzonefile_323.
*** true .          /* all conclusions proved */


procedure_processzonefile_324.
*** true .          /* all conclusions proved */


procedure_processzonefile_325.
*** true .          /* all conclusions proved */


procedure_processzonefile_326.
*** true .          /* all conclusions proved */


procedure_processzonefile_327.
*** true .          /* all conclusions proved */


procedure_processzonefile_328.
*** true .          /* all conclusions proved */


procedure_processzonefile_329.
*** true .          /* all conclusions proved */


procedure_processzonefile_330.
*** true .          /* all conclusions proved */


procedure_processzonefile_331.
*** true .          /* all conclusions proved */


procedure_processzonefile_332.
*** true .          /* all conclusions proved */


procedure_processzonefile_333.
*** true .          /* all conclusions proved */


procedure_processzonefile_334.
*** true .          /* all conclusions proved */


procedure_processzonefile_335.
*** true .          /* all conclusions proved */


procedure_processzonefile_336.
*** true .          /* all conclusions proved */


procedure_processzonefile_337.
*** true .          /* all conclusions proved */


procedure_processzonefile_338.
*** true .          /* all conclusions proved */


procedure_processzonefile_339.
*** true .          /* all conclusions proved */


procedure_processzonefile_340.
*** true .          /* all conclusions proved */


procedure_processzonefile_341.
*** true .          /* all conclusions proved */


procedure_processzonefile_342.
*** true .          /* all conclusions proved */


procedure_processzonefile_343.
*** true .          /* all conclusions proved */


procedure_processzonefile_344.
*** true .          /* all conclusions proved */


procedure_processzonefile_345.
*** true .          /* all conclusions proved */


procedure_processzonefile_346.
*** true .          /* all conclusions proved */


procedure_processzonefile_347.
*** true .          /* all conclusions proved */


procedure_processzonefile_348.
*** true .          /* all conclusions proved */


procedure_processzonefile_349.
*** true .          /* all conclusions proved */


procedure_processzonefile_350.
*** true .          /* all conclusions proved */


procedure_processzonefile_351.
*** true .          /* all conclusions proved */


procedure_processzonefile_352.
*** true .          /* all conclusions proved */


procedure_processzonefile_353.
*** true .          /* all conclusions proved */


procedure_processzonefile_354.
*** true .          /* all conclusions proved */


procedure_processzonefile_355.
*** true .          /* all conclusions proved */


procedure_processzonefile_356.
*** true .          /* all conclusions proved */


procedure_processzonefile_357.
*** true .          /* all conclusions proved */


procedure_processzonefile_358.
*** true .          /* all conclusions proved */


procedure_processzonefile_359.
*** true .          /* all conclusions proved */


procedure_processzonefile_360.
*** true .          /* all conclusions proved */


procedure_processzonefile_361.
*** true .          /* all conclusions proved */


procedure_processzonefile_362.
*** true .          /* all conclusions proved */


procedure_processzonefile_363.
*** true .          /* all conclusions proved */


procedure_processzonefile_364.
*** true .          /* all conclusions proved */


procedure_processzonefile_365.
*** true .          /* all conclusions proved */


procedure_processzonefile_366.
*** true .          /* all conclusions proved */


procedure_processzonefile_367.
*** true .          /* all conclusions proved */


procedure_processzonefile_368.
*** true .          /* all conclusions proved */


procedure_processzonefile_369.
*** true .          /* all conclusions proved */


procedure_processzonefile_370.
*** true .          /* all conclusions proved */


procedure_processzonefile_371.
*** true .          /* all conclusions proved */


procedure_processzonefile_372.
*** true .          /* all conclusions proved */


procedure_processzonefile_373.
*** true .          /* all conclusions proved */


procedure_processzonefile_374.
*** true .          /* all conclusions proved */


procedure_processzonefile_375.
*** true .          /* all conclusions proved */


procedure_processzonefile_376.
*** true .          /* all conclusions proved */


procedure_processzonefile_377.
*** true .          /* all conclusions proved */


procedure_processzonefile_378.
*** true .          /* all conclusions proved */


procedure_processzonefile_379.
*** true .          /* all conclusions proved */


procedure_processzonefile_380.
*** true .          /* all conclusions proved */


procedure_processzonefile_381.
*** true .          /* all conclusions proved */


procedure_processzonefile_382.
*** true .          /* all conclusions proved */


procedure_processzonefile_383.
*** true .          /* all conclusions proved */


procedure_processzonefile_384.
*** true .          /* all conclusions proved */


procedure_processzonefile_385.
*** true .          /* all conclusions proved */


procedure_processzonefile_386.
*** true .          /* all conclusions proved */


procedure_processzonefile_387.
*** true .          /* all conclusions proved */


procedure_processzonefile_388.
*** true .          /* all conclusions proved */


procedure_processzonefile_389.
*** true .          /* all conclusions proved */


procedure_processzonefile_390.
*** true .          /* all conclusions proved */


procedure_processzonefile_391.
*** true .          /* all conclusions proved */


procedure_processzonefile_392.
*** true .          /* all conclusions proved */


procedure_processzonefile_393.
*** true .          /* all conclusions proved */


procedure_processzonefile_394.
*** true .          /* all conclusions proved */


procedure_processzonefile_395.
*** true .          /* all conclusions proved */


procedure_processzonefile_396.
*** true .          /* all conclusions proved */


procedure_processzonefile_397.
*** true .          /* all conclusions proved */


procedure_processzonefile_398.
*** true .          /* all conclusions proved */


procedure_processzonefile_399.
*** true .          /* all conclusions proved */


procedure_processzonefile_400.
*** true .          /* all conclusions proved */


procedure_processzonefile_401.
*** true .          /* all conclusions proved */


procedure_processzonefile_402.
*** true .          /* all conclusions proved */


procedure_processzonefile_403.
*** true .          /* all conclusions proved */


procedure_processzonefile_404.
*** true .          /* all conclusions proved */


procedure_processzonefile_405.
*** true .          /* all conclusions proved */


procedure_processzonefile_406.
*** true .          /* all conclusions proved */


procedure_processzonefile_407.
*** true .          /* all conclusions proved */


procedure_processzonefile_408.
*** true .          /* all conclusions proved */


procedure_processzonefile_409.
*** true .          /* all conclusions proved */


procedure_processzonefile_410.
*** true .          /* all conclusions proved */


procedure_processzonefile_411.
*** true .          /* all conclusions proved */


procedure_processzonefile_412.
*** true .          /* all conclusions proved */


procedure_processzonefile_413.
*** true .          /* all conclusions proved */


procedure_processzonefile_414.
*** true .          /* all conclusions proved */


procedure_processzonefile_415.
*** true .          /* all conclusions proved */


procedure_processzonefile_416.
*** true .          /* all conclusions proved */


procedure_processzonefile_417.
*** true .          /* all conclusions proved */


procedure_processzonefile_418.
*** true .          /* all conclusions proved */


procedure_processzonefile_419.
*** true .          /* all conclusions proved */


procedure_processzonefile_420.
*** true .          /* all conclusions proved */


procedure_processzonefile_421.
*** true .          /* all conclusions proved */


procedure_processzonefile_422.
*** true .          /* all conclusions proved */


procedure_processzonefile_423.
*** true .          /* all conclusions proved */


procedure_processzonefile_424.
*** true .          /* all conclusions proved */


procedure_processzonefile_425.
*** true .          /* all conclusions proved */


procedure_processzonefile_426.
*** true .          /* all conclusions proved */


procedure_processzonefile_427.
*** true .          /* all conclusions proved */


procedure_processzonefile_428.
*** true .          /* all conclusions proved */


procedure_processzonefile_429.
*** true .          /* all conclusions proved */


procedure_processzonefile_430.
*** true .          /* all conclusions proved */


procedure_processzonefile_431.
*** true .          /* all conclusions proved */


procedure_processzonefile_432.
*** true .          /* all conclusions proved */


procedure_processzonefile_433.
*** true .          /* all conclusions proved */


procedure_processzonefile_434.
*** true .          /* all conclusions proved */


procedure_processzonefile_435.
*** true .          /* all conclusions proved */


procedure_processzonefile_436.
*** true .          /* all conclusions proved */


procedure_processzonefile_437.
*** true .          /* all conclusions proved */


procedure_processzonefile_438.
*** true .          /* all conclusions proved */


procedure_processzonefile_439.
*** true .          /* all conclusions proved */


procedure_processzonefile_440.
*** true .          /* all conclusions proved */


procedure_processzonefile_441.
*** true .          /* all conclusions proved */


procedure_processzonefile_442.
*** true .          /* all conclusions proved */


procedure_processzonefile_443.
*** true .          /* all conclusions proved */


procedure_processzonefile_444.
*** true .          /* all conclusions proved */


procedure_processzonefile_445.
*** true .          /* all conclusions proved */


procedure_processzonefile_446.
*** true .          /* all conclusions proved */


procedure_processzonefile_447.
*** true .          /* all conclusions proved */


procedure_processzonefile_448.
*** true .          /* all conclusions proved */


procedure_processzonefile_449.
*** true .          /* all conclusions proved */


procedure_processzonefile_450.
*** true .          /* all conclusions proved */


procedure_processzonefile_451.
*** true .          /* all conclusions proved */


procedure_processzonefile_452.
*** true .          /* all conclusions proved */


procedure_processzonefile_453.
*** true .          /* all conclusions proved */


procedure_processzonefile_454.
*** true .          /* all conclusions proved */


procedure_processzonefile_455.
*** true .          /* all conclusions proved */


procedure_processzonefile_456.
*** true .          /* all conclusions proved */


procedure_processzonefile_457.
*** true .          /* all conclusions proved */


procedure_processzonefile_458.
*** true .          /* all conclusions proved */


procedure_processzonefile_459.
*** true .          /* all conclusions proved */


procedure_processzonefile_460.
*** true .          /* all conclusions proved */


procedure_processzonefile_461.
*** true .          /* all conclusions proved */


procedure_processzonefile_462.
*** true .          /* all conclusions proved */


procedure_processzonefile_463.
*** true .          /* all conclusions proved */


procedure_processzonefile_464.
*** true .          /* all conclusions proved */


procedure_processzonefile_465.
*** true .          /* all conclusions proved */


procedure_processzonefile_466.
*** true .          /* all conclusions proved */


procedure_processzonefile_467.
*** true .          /* all conclusions proved */


procedure_processzonefile_468.
*** true .          /* all conclusions proved */


procedure_processzonefile_469.
*** true .          /* all conclusions proved */


procedure_processzonefile_470.
*** true .          /* all conclusions proved */


procedure_processzonefile_471.
*** true .          /* all conclusions proved */


procedure_processzonefile_472.
*** true .          /* all conclusions proved */


procedure_processzonefile_473.
*** true .          /* all conclusions proved */


procedure_processzonefile_474.
*** true .          /* all conclusions proved */


procedure_processzonefile_475.
*** true .          /* all conclusions proved */


procedure_processzonefile_476.
*** true .          /* all conclusions proved */


procedure_processzonefile_477.
*** true .          /* all conclusions proved */


procedure_processzonefile_478.
*** true .          /* all conclusions proved */


procedure_processzonefile_479.
*** true .          /* all conclusions proved */


procedure_processzonefile_480.
*** true .          /* all conclusions proved */


procedure_processzonefile_481.
*** true .          /* all conclusions proved */


procedure_processzonefile_482.
*** true .          /* all conclusions proved */


procedure_processzonefile_483.
*** true .          /* all conclusions proved */


procedure_processzonefile_484.
*** true .          /* all conclusions proved */


procedure_processzonefile_485.
*** true .          /* all conclusions proved */


procedure_processzonefile_486.
*** true .          /* all conclusions proved */


procedure_processzonefile_487.
*** true .          /* all conclusions proved */


procedure_processzonefile_488.
*** true .          /* all conclusions proved */


procedure_processzonefile_489.
*** true .          /* all conclusions proved */


procedure_processzonefile_490.
*** true .          /* all conclusions proved */


procedure_processzonefile_491.
*** true .          /* all conclusions proved */


procedure_processzonefile_492.
*** true .          /* all conclusions proved */


procedure_processzonefile_493.
*** true .          /* all conclusions proved */


procedure_processzonefile_494.
*** true .          /* all conclusions proved */


procedure_processzonefile_495.
*** true .          /* all conclusions proved */


procedure_processzonefile_496.
*** true .          /* all conclusions proved */


procedure_processzonefile_497.
*** true .          /* all conclusions proved */


procedure_processzonefile_498.
*** true .          /* all conclusions proved */


procedure_processzonefile_499.
*** true .          /* all conclusions proved */


procedure_processzonefile_500.
*** true .          /* all conclusions proved */


procedure_processzonefile_501.
*** true .          /* all conclusions proved */


procedure_processzonefile_502.
*** true .          /* all conclusions proved */


procedure_processzonefile_503.
*** true .          /* all conclusions proved */


procedure_processzonefile_504.
*** true .          /* all conclusions proved */


procedure_processzonefile_505.
*** true .          /* all conclusions proved */


procedure_processzonefile_506.
*** true .          /* all conclusions proved */


procedure_processzonefile_507.
*** true .          /* all conclusions proved */


procedure_processzonefile_508.
*** true .          /* all conclusions proved */


procedure_processzonefile_509.
*** true .          /* all conclusions proved */


procedure_processzonefile_510.
*** true .          /* all conclusions proved */


procedure_processzonefile_511.
*** true .          /* all conclusions proved */


procedure_processzonefile_512.
*** true .          /* all conclusions proved */


procedure_processzonefile_513.
*** true .          /* all conclusions proved */


procedure_processzonefile_514.
*** true .          /* all conclusions proved */


procedure_processzonefile_515.
*** true .          /* all conclusions proved */


procedure_processzonefile_516.
*** true .          /* all conclusions proved */


procedure_processzonefile_517.
*** true .          /* all conclusions proved */


procedure_processzonefile_518.
*** true .          /* all conclusions proved */


procedure_processzonefile_519.
*** true .          /* all conclusions proved */


procedure_processzonefile_520.
*** true .          /* all conclusions proved */


procedure_processzonefile_521.
*** true .          /* all conclusions proved */


procedure_processzonefile_522.
*** true .          /* all conclusions proved */


procedure_processzonefile_523.
*** true .          /* all conclusions proved */


procedure_processzonefile_524.
*** true .          /* all conclusions proved */


procedure_processzonefile_525.
*** true .          /* all conclusions proved */


procedure_processzonefile_526.
*** true .          /* all conclusions proved */


procedure_processzonefile_527.
*** true .          /* all conclusions proved */


procedure_processzonefile_528.
*** true .          /* all conclusions proved */


procedure_processzonefile_529.
*** true .          /* all conclusions proved */


procedure_processzonefile_530.
*** true .          /* all conclusions proved */


procedure_processzonefile_531.
*** true .          /* all conclusions proved */


procedure_processzonefile_532.
*** true .          /* all conclusions proved */


procedure_processzonefile_533.
*** true .          /* all conclusions proved */


procedure_processzonefile_534.
*** true .          /* all conclusions proved */


procedure_processzonefile_535.
*** true .          /* all conclusions proved */


procedure_processzonefile_536.
*** true .          /* all conclusions proved */


procedure_processzonefile_537.
*** true .          /* all conclusions proved */


procedure_processzonefile_538.
*** true .          /* all conclusions proved */


procedure_processzonefile_539.
*** true .          /* all conclusions proved */


procedure_processzonefile_540.
*** true .          /* all conclusions proved */


procedure_processzonefile_541.
*** true .          /* all conclusions proved */


procedure_processzonefile_542.
*** true .          /* all conclusions proved */


procedure_processzonefile_543.
*** true .          /* all conclusions proved */


procedure_processzonefile_544.
*** true .          /* all conclusions proved */


procedure_processzonefile_545.
*** true .          /* all conclusions proved */


procedure_processzonefile_546.
*** true .          /* all conclusions proved */


procedure_processzonefile_547.
*** true .          /* all conclusions proved */


procedure_processzonefile_548.
*** true .          /* all conclusions proved */


procedure_processzonefile_549.
*** true .          /* all conclusions proved */


procedure_processzonefile_550.
*** true .          /* all conclusions proved */


procedure_processzonefile_551.
*** true .          /* all conclusions proved */


procedure_processzonefile_552.
*** true .          /* all conclusions proved */


procedure_processzonefile_553.
*** true .          /* all conclusions proved */


procedure_processzonefile_554.
*** true .          /* all conclusions proved */


procedure_processzonefile_555.
*** true .          /* all conclusions proved */


procedure_processzonefile_556.
*** true .          /* all conclusions proved */


procedure_processzonefile_557.
*** true .          /* all conclusions proved */


procedure_processzonefile_558.
*** true .          /* all conclusions proved */


procedure_processzonefile_559.
*** true .          /* all conclusions proved */


procedure_processzonefile_560.
*** true .          /* all conclusions proved */


procedure_processzonefile_561.
*** true .          /* all conclusions proved */


procedure_processzonefile_562.
*** true .          /* all conclusions proved */


procedure_processzonefile_563.
*** true .          /* all conclusions proved */


procedure_processzonefile_564.
*** true .          /* all conclusions proved */


procedure_processzonefile_565.
*** true .          /* all conclusions proved */


procedure_processzonefile_566.
*** true .          /* all conclusions proved */


procedure_processzonefile_567.
*** true .          /* all conclusions proved */


procedure_processzonefile_568.
*** true .          /* all conclusions proved */


procedure_processzonefile_569.
*** true .          /* all conclusions proved */


procedure_processzonefile_570.
*** true .          /* all conclusions proved */


procedure_processzonefile_571.
*** true .          /* all conclusions proved */


procedure_processzonefile_572.
*** true .          /* all conclusions proved */


procedure_processzonefile_573.
*** true .          /* all conclusions proved */


procedure_processzonefile_574.
*** true .          /* all conclusions proved */


procedure_processzonefile_575.
*** true .          /* all conclusions proved */


procedure_processzonefile_576.
*** true .          /* all conclusions proved */


procedure_processzonefile_577.
*** true .          /* all conclusions proved */


procedure_processzonefile_578.
*** true .          /* all conclusions proved */


procedure_processzonefile_579.
*** true .          /* all conclusions proved */


procedure_processzonefile_580.
*** true .          /* all conclusions proved */


procedure_processzonefile_581.
*** true .          /* all conclusions proved */


procedure_processzonefile_582.
*** true .          /* all conclusions proved */


procedure_processzonefile_583.
*** true .          /* all conclusions proved */


procedure_processzonefile_584.
*** true .          /* all conclusions proved */


procedure_processzonefile_585.
*** true .          /* all conclusions proved */


procedure_processzonefile_586.
*** true .          /* all conclusions proved */


procedure_processzonefile_587.
*** true .          /* all conclusions proved */


procedure_processzonefile_588.
*** true .          /* all conclusions proved */


procedure_processzonefile_589.
*** true .          /* all conclusions proved */


procedure_processzonefile_590.
*** true .          /* all conclusions proved */


procedure_processzonefile_591.
*** true .          /* all conclusions proved */


procedure_processzonefile_592.
*** true .          /* all conclusions proved */


procedure_processzonefile_593.
*** true .          /* all conclusions proved */


procedure_processzonefile_594.
*** true .          /* all conclusions proved */


procedure_processzonefile_595.
*** true .          /* all conclusions proved */


procedure_processzonefile_596.
*** true .          /* all conclusions proved */


procedure_processzonefile_597.
*** true .          /* all conclusions proved */


procedure_processzonefile_598.
*** true .          /* all conclusions proved */


procedure_processzonefile_599.
*** true .          /* all conclusions proved */


procedure_processzonefile_600.
*** true .          /* all conclusions proved */


procedure_processzonefile_601.
*** true .          /* all conclusions proved */


procedure_processzonefile_602.
*** true .          /* all conclusions proved */


procedure_processzonefile_603.
*** true .          /* all conclusions proved */


procedure_processzonefile_604.
*** true .          /* all conclusions proved */


procedure_processzonefile_605.
*** true .          /* all conclusions proved */


procedure_processzonefile_606.
*** true .          /* all conclusions proved */


procedure_processzonefile_607.
*** true .          /* all conclusions proved */


procedure_processzonefile_608.
*** true .          /* all conclusions proved */


procedure_processzonefile_609.
*** true .          /* all conclusions proved */


procedure_processzonefile_610.
*** true .          /* all conclusions proved */


procedure_processzonefile_611.
*** true .          /* all conclusions proved */


procedure_processzonefile_612.
*** true .          /* all conclusions proved */


procedure_processzonefile_613.
*** true .          /* all conclusions proved */


procedure_processzonefile_614.
*** true .          /* all conclusions proved */


procedure_processzonefile_615.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 270 to assertion of line 96:

procedure_processzonefile_616.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 100:

procedure_processzonefile_617.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 103:

procedure_processzonefile_618.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 103:

procedure_processzonefile_619.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 114:

procedure_processzonefile_620.
*** true .          /* all conclusions proved */


procedure_processzonefile_621.
*** true .          /* all conclusions proved */


procedure_processzonefile_622.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 114:

procedure_processzonefile_623.
*** true .          /* all conclusions proved */


procedure_processzonefile_624.
*** true .          /* all conclusions proved */


procedure_processzonefile_625.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 118:

procedure_processzonefile_626.
*** true .          /* all conclusions proved */


procedure_processzonefile_627.
*** true .          /* all conclusions proved */


procedure_processzonefile_628.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 119:

procedure_processzonefile_629.
*** true .          /* all conclusions proved */


procedure_processzonefile_630.
*** true .          /* all conclusions proved */


procedure_processzonefile_631.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 119:

procedure_processzonefile_632.
*** true .          /* all conclusions proved */


procedure_processzonefile_633.
*** true .          /* all conclusions proved */


procedure_processzonefile_634.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 123:

procedure_processzonefile_635.
*** true .          /* all conclusions proved */


procedure_processzonefile_636.
*** true .          /* all conclusions proved */


procedure_processzonefile_637.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 126:

procedure_processzonefile_638.
*** true .          /* all conclusions proved */


procedure_processzonefile_639.
*** true .          /* all conclusions proved */


procedure_processzonefile_640.
*** true .          /* all conclusions proved */


procedure_processzonefile_641.
*** true .          /* all conclusions proved */


procedure_processzonefile_642.
*** true .          /* all conclusions proved */


procedure_processzonefile_643.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to precondition check associated with 
          statement of line 135:

procedure_processzonefile_644.
*** true .          /* all conclusions proved */


procedure_processzonefile_645.
*** true .          /* all conclusions proved */


procedure_processzonefile_646.
*** true .          /* all conclusions proved */


procedure_processzonefile_647.
*** true .          /* all conclusions proved */


procedure_processzonefile_648.
*** true .          /* all conclusions proved */


procedure_processzonefile_649.
*** true .          /* all conclusions proved */


procedure_processzonefile_650.
*** true .          /* all conclusions proved */


procedure_processzonefile_651.
*** true .          /* all conclusions proved */


procedure_processzonefile_652.
*** true .          /* all conclusions proved */


procedure_processzonefile_653.
*** true .          /* all conclusions proved */


procedure_processzonefile_654.
*** true .          /* all conclusions proved */


procedure_processzonefile_655.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 135:

procedure_processzonefile_656.
*** true .          /* all conclusions proved */


procedure_processzonefile_657.
*** true .          /* all conclusions proved */


procedure_processzonefile_658.
*** true .          /* all conclusions proved */


procedure_processzonefile_659.
*** true .          /* all conclusions proved */


procedure_processzonefile_660.
*** true .          /* all conclusions proved */


procedure_processzonefile_661.
*** true .          /* all conclusions proved */


procedure_processzonefile_662.
*** true .          /* all conclusions proved */


procedure_processzonefile_663.
*** true .          /* all conclusions proved */


procedure_processzonefile_664.
*** true .          /* all conclusions proved */


procedure_processzonefile_665.
*** true .          /* all conclusions proved */


procedure_processzonefile_666.
*** true .          /* all conclusions proved */


procedure_processzonefile_667.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 148:

procedure_processzonefile_668.
*** true .          /* all conclusions proved */


procedure_processzonefile_669.
*** true .          /* all conclusions proved */


procedure_processzonefile_670.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 151:

procedure_processzonefile_671.
*** true .          /* all conclusions proved */


procedure_processzonefile_672.
*** true .          /* all conclusions proved */


procedure_processzonefile_673.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 151:

procedure_processzonefile_674.
*** true .          /* all conclusions proved */


procedure_processzonefile_675.
*** true .          /* all conclusions proved */


procedure_processzonefile_676.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 153:

procedure_processzonefile_677.
*** true .          /* all conclusions proved */


procedure_processzonefile_678.
*** true .          /* all conclusions proved */


procedure_processzonefile_679.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 153:

procedure_processzonefile_680.
*** true .          /* all conclusions proved */


procedure_processzonefile_681.
*** true .          /* all conclusions proved */


procedure_processzonefile_682.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 155:

procedure_processzonefile_683.
*** true .          /* all conclusions proved */


procedure_processzonefile_684.
*** true .          /* all conclusions proved */


procedure_processzonefile_685.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 155:

procedure_processzonefile_686.
*** true .          /* all conclusions proved */


procedure_processzonefile_687.
*** true .          /* all conclusions proved */


procedure_processzonefile_688.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 157:

procedure_processzonefile_689.
*** true .          /* all conclusions proved */


procedure_processzonefile_690.
*** true .          /* all conclusions proved */


procedure_processzonefile_691.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 157:

procedure_processzonefile_692.
*** true .          /* all conclusions proved */


procedure_processzonefile_693.
*** true .          /* all conclusions proved */


procedure_processzonefile_694.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 159:

procedure_processzonefile_695.
*** true .          /* all conclusions proved */


procedure_processzonefile_696.
*** true .          /* all conclusions proved */


procedure_processzonefile_697.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 159:

procedure_processzonefile_698.
*** true .          /* all conclusions proved */


procedure_processzonefile_699.
*** true .          /* all conclusions proved */


procedure_processzonefile_700.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 161:

procedure_processzonefile_701.
*** true .          /* all conclusions proved */


procedure_processzonefile_702.
*** true .          /* all conclusions proved */


procedure_processzonefile_703.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to precondition check associated with 
          statement of line 162:

procedure_processzonefile_704.
*** true .          /* all conclusions proved */


procedure_processzonefile_705.
*** true .          /* all conclusions proved */


procedure_processzonefile_706.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 162:

procedure_processzonefile_707.
*** true .          /* all conclusions proved */


procedure_processzonefile_708.
*** true .          /* all conclusions proved */


procedure_processzonefile_709.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 165:

procedure_processzonefile_710.
*** true .          /* all conclusions proved */


procedure_processzonefile_711.
*** true .          /* all conclusions proved */


procedure_processzonefile_712.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to precondition check associated with 
          statement of line 167:

procedure_processzonefile_713.
*** true .          /* all conclusions proved */


procedure_processzonefile_714.
*** true .          /* all conclusions proved */


procedure_processzonefile_715.
*** true .          /* all conclusions proved */


procedure_processzonefile_716.
*** true .          /* all conclusions proved */


procedure_processzonefile_717.
*** true .          /* all conclusions proved */


procedure_processzonefile_718.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 167:

procedure_processzonefile_719.
*** true .          /* all conclusions proved */


procedure_processzonefile_720.
*** true .          /* all conclusions proved */


procedure_processzonefile_721.
*** true .          /* all conclusions proved */


procedure_processzonefile_722.
*** true .          /* all conclusions proved */


procedure_processzonefile_723.
*** true .          /* all conclusions proved */


procedure_processzonefile_724.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 171:

procedure_processzonefile_725.
*** true .          /* all conclusions proved */


procedure_processzonefile_726.
*** true .          /* all conclusions proved */


procedure_processzonefile_727.
*** true .          /* all conclusions proved */


procedure_processzonefile_728.
*** true .          /* all conclusions proved */


procedure_processzonefile_729.
*** true .          /* all conclusions proved */


procedure_processzonefile_730.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 171:

procedure_processzonefile_731.
*** true .          /* all conclusions proved */


procedure_processzonefile_732.
*** true .          /* all conclusions proved */


procedure_processzonefile_733.
*** true .          /* all conclusions proved */


procedure_processzonefile_734.
*** true .          /* all conclusions proved */


procedure_processzonefile_735.
*** true .          /* all conclusions proved */


procedure_processzonefile_736.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 185:

procedure_processzonefile_737.
*** true .          /* all conclusions proved */


procedure_processzonefile_738.
*** true .          /* all conclusions proved */


procedure_processzonefile_739.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 185:

procedure_processzonefile_740.
*** true .          /* all conclusions proved */


procedure_processzonefile_741.
*** true .          /* all conclusions proved */


procedure_processzonefile_742.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 201:

procedure_processzonefile_743.
*** true .          /* all conclusions proved */


procedure_processzonefile_744.
*** true .          /* all conclusions proved */


procedure_processzonefile_745.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 203:

procedure_processzonefile_746.
*** true .          /* all conclusions proved */


procedure_processzonefile_747.
*** true .          /* all conclusions proved */


procedure_processzonefile_748.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to precondition check associated with 
          statement of line 204:

procedure_processzonefile_749.
*** true .          /* all conclusions proved */


procedure_processzonefile_750.
*** true .          /* all conclusions proved */


procedure_processzonefile_751.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 204:

procedure_processzonefile_752.
*** true .          /* all conclusions proved */


procedure_processzonefile_753.
*** true .          /* all conclusions proved */


procedure_processzonefile_754.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 209:

procedure_processzonefile_755.
*** true .          /* all conclusions proved */


procedure_processzonefile_756.
*** true .          /* all conclusions proved */


procedure_processzonefile_757.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 210:

procedure_processzonefile_758.
*** true .          /* all conclusions proved */


procedure_processzonefile_759.
*** true .          /* all conclusions proved */


procedure_processzonefile_760.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 216:

procedure_processzonefile_761.
*** true .          /* all conclusions proved */


procedure_processzonefile_762.
*** true .          /* all conclusions proved */


procedure_processzonefile_763.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 225:

procedure_processzonefile_764.
*** true .          /* all conclusions proved */


procedure_processzonefile_765.
*** true .          /* all conclusions proved */


procedure_processzonefile_766.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 228:

procedure_processzonefile_767.
*** true .          /* all conclusions proved */


procedure_processzonefile_768.
*** true .          /* all conclusions proved */


procedure_processzonefile_769.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 231:

procedure_processzonefile_770.
*** true .          /* all conclusions proved */


procedure_processzonefile_771.
*** true .          /* all conclusions proved */


procedure_processzonefile_772.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 236:

procedure_processzonefile_773.
*** true .          /* all conclusions proved */


procedure_processzonefile_774.
*** true .          /* all conclusions proved */


procedure_processzonefile_775.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 237:

procedure_processzonefile_776.
*** true .          /* all conclusions proved */


procedure_processzonefile_777.
*** true .          /* all conclusions proved */


procedure_processzonefile_778.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 255:

procedure_processzonefile_779.
*** true .          /* all conclusions proved */


procedure_processzonefile_780.
*** true .          /* all conclusions proved */


procedure_processzonefile_781.
*** true .          /* all conclusions proved */


procedure_processzonefile_782.
*** true .          /* all conclusions proved */


procedure_processzonefile_783.
*** true .          /* all conclusions proved */


procedure_processzonefile_784.
*** true .          /* all conclusions proved */


procedure_processzonefile_785.
*** true .          /* all conclusions proved */


procedure_processzonefile_786.
*** true .          /* all conclusions proved */


procedure_processzonefile_787.
*** true .          /* all conclusions proved */


procedure_processzonefile_788.
*** true .          /* all conclusions proved */


procedure_processzonefile_789.
*** true .          /* all conclusions proved */


procedure_processzonefile_790.
*** true .          /* all conclusions proved */


procedure_processzonefile_791.
*** true .          /* all conclusions proved */


procedure_processzonefile_792.
*** true .          /* all conclusions proved */


procedure_processzonefile_793.
*** true .          /* all conclusions proved */


procedure_processzonefile_794.
*** true .          /* all conclusions proved */


procedure_processzonefile_795.
*** true .          /* all conclusions proved */


procedure_processzonefile_796.
*** true .          /* all conclusions proved */


procedure_processzonefile_797.
*** true .          /* all conclusions proved */


procedure_processzonefile_798.
*** true .          /* all conclusions proved */


procedure_processzonefile_799.
*** true .          /* all conclusions proved */


procedure_processzonefile_800.
*** true .          /* all conclusions proved */


procedure_processzonefile_801.
*** true .          /* all conclusions proved */


procedure_processzonefile_802.
*** true .          /* all conclusions proved */


procedure_processzonefile_803.
*** true .          /* all conclusions proved */


procedure_processzonefile_804.
*** true .          /* all conclusions proved */


procedure_processzonefile_805.
*** true .          /* all conclusions proved */


procedure_processzonefile_806.
*** true .          /* all conclusions proved */


procedure_processzonefile_807.
*** true .          /* all conclusions proved */


procedure_processzonefile_808.
*** true .          /* all conclusions proved */


procedure_processzonefile_809.
*** true .          /* all conclusions proved */


procedure_processzonefile_810.
*** true .          /* all conclusions proved */


procedure_processzonefile_811.
*** true .          /* all conclusions proved */


procedure_processzonefile_812.
*** true .          /* all conclusions proved */


procedure_processzonefile_813.
*** true .          /* all conclusions proved */


procedure_processzonefile_814.
*** true .          /* all conclusions proved */


procedure_processzonefile_815.
*** true .          /* all conclusions proved */


procedure_processzonefile_816.
*** true .          /* all conclusions proved */


procedure_processzonefile_817.
*** true .          /* all conclusions proved */


procedure_processzonefile_818.
*** true .          /* all conclusions proved */


procedure_processzonefile_819.
*** true .          /* all conclusions proved */


procedure_processzonefile_820.
*** true .          /* all conclusions proved */


procedure_processzonefile_821.
*** true .          /* all conclusions proved */


procedure_processzonefile_822.
*** true .          /* all conclusions proved */


procedure_processzonefile_823.
*** true .          /* all conclusions proved */


procedure_processzonefile_824.
*** true .          /* all conclusions proved */


procedure_processzonefile_825.
*** true .          /* all conclusions proved */


procedure_processzonefile_826.
*** true .          /* all conclusions proved */


procedure_processzonefile_827.
*** true .          /* all conclusions proved */


procedure_processzonefile_828.
*** true .          /* all conclusions proved */


procedure_processzonefile_829.
*** true .          /* all conclusions proved */


procedure_processzonefile_830.
*** true .          /* all conclusions proved */


procedure_processzonefile_831.
*** true .          /* all conclusions proved */


procedure_processzonefile_832.
*** true .          /* all conclusions proved */


procedure_processzonefile_833.
*** true .          /* all conclusions proved */


procedure_processzonefile_834.
*** true .          /* all conclusions proved */


procedure_processzonefile_835.
*** true .          /* all conclusions proved */


procedure_processzonefile_836.
*** true .          /* all conclusions proved */


procedure_processzonefile_837.
*** true .          /* all conclusions proved */


procedure_processzonefile_838.
*** true .          /* all conclusions proved */


procedure_processzonefile_839.
*** true .          /* all conclusions proved */


procedure_processzonefile_840.
*** true .          /* all conclusions proved */


procedure_processzonefile_841.
*** true .          /* all conclusions proved */


procedure_processzonefile_842.
*** true .          /* all conclusions proved */


procedure_processzonefile_843.
*** true .          /* all conclusions proved */


procedure_processzonefile_844.
*** true .          /* all conclusions proved */


procedure_processzonefile_845.
*** true .          /* all conclusions proved */


procedure_processzonefile_846.
*** true .          /* all conclusions proved */


procedure_processzonefile_847.
*** true .          /* all conclusions proved */


procedure_processzonefile_848.
*** true .          /* all conclusions proved */


procedure_processzonefile_849.
*** true .          /* all conclusions proved */


procedure_processzonefile_850.
*** true .          /* all conclusions proved */


procedure_processzonefile_851.
*** true .          /* all conclusions proved */


procedure_processzonefile_852.
*** true .          /* all conclusions proved */


procedure_processzonefile_853.
*** true .          /* all conclusions proved */


procedure_processzonefile_854.
*** true .          /* all conclusions proved */


procedure_processzonefile_855.
*** true .          /* all conclusions proved */


procedure_processzonefile_856.
*** true .          /* all conclusions proved */


procedure_processzonefile_857.
*** true .          /* all conclusions proved */


procedure_processzonefile_858.
*** true .          /* all conclusions proved */


procedure_processzonefile_859.
*** true .          /* all conclusions proved */


procedure_processzonefile_860.
*** true .          /* all conclusions proved */


procedure_processzonefile_861.
*** true .          /* all conclusions proved */


procedure_processzonefile_862.
*** true .          /* all conclusions proved */


procedure_processzonefile_863.
*** true .          /* all conclusions proved */


procedure_processzonefile_864.
*** true .          /* all conclusions proved */


procedure_processzonefile_865.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 257:

procedure_processzonefile_866.
*** true .          /* all conclusions proved */


procedure_processzonefile_867.
*** true .          /* all conclusions proved */


procedure_processzonefile_868.
*** true .          /* all conclusions proved */


procedure_processzonefile_869.
*** true .          /* all conclusions proved */


procedure_processzonefile_870.
*** true .          /* all conclusions proved */


procedure_processzonefile_871.
*** true .          /* all conclusions proved */


procedure_processzonefile_872.
*** true .          /* all conclusions proved */


procedure_processzonefile_873.
*** true .          /* all conclusions proved */


procedure_processzonefile_874.
*** true .          /* all conclusions proved */


procedure_processzonefile_875.
*** true .          /* all conclusions proved */


procedure_processzonefile_876.
*** true .          /* all conclusions proved */


procedure_processzonefile_877.
*** true .          /* all conclusions proved */


procedure_processzonefile_878.
*** true .          /* all conclusions proved */


procedure_processzonefile_879.
*** true .          /* all conclusions proved */


procedure_processzonefile_880.
*** true .          /* all conclusions proved */


procedure_processzonefile_881.
*** true .          /* all conclusions proved */


procedure_processzonefile_882.
*** true .          /* all conclusions proved */


procedure_processzonefile_883.
*** true .          /* all conclusions proved */


procedure_processzonefile_884.
*** true .          /* all conclusions proved */


procedure_processzonefile_885.
*** true .          /* all conclusions proved */


procedure_processzonefile_886.
*** true .          /* all conclusions proved */


procedure_processzonefile_887.
*** true .          /* all conclusions proved */


procedure_processzonefile_888.
*** true .          /* all conclusions proved */


procedure_processzonefile_889.
*** true .          /* all conclusions proved */


procedure_processzonefile_890.
*** true .          /* all conclusions proved */


procedure_processzonefile_891.
*** true .          /* all conclusions proved */


procedure_processzonefile_892.
*** true .          /* all conclusions proved */


procedure_processzonefile_893.
*** true .          /* all conclusions proved */


procedure_processzonefile_894.
*** true .          /* all conclusions proved */


procedure_processzonefile_895.
*** true .          /* all conclusions proved */


procedure_processzonefile_896.
*** true .          /* all conclusions proved */


procedure_processzonefile_897.
*** true .          /* all conclusions proved */


procedure_processzonefile_898.
*** true .          /* all conclusions proved */


procedure_processzonefile_899.
*** true .          /* all conclusions proved */


procedure_processzonefile_900.
*** true .          /* all conclusions proved */


procedure_processzonefile_901.
*** true .          /* all conclusions proved */


procedure_processzonefile_902.
*** true .          /* all conclusions proved */


procedure_processzonefile_903.
*** true .          /* all conclusions proved */


procedure_processzonefile_904.
*** true .          /* all conclusions proved */


procedure_processzonefile_905.
*** true .          /* all conclusions proved */


procedure_processzonefile_906.
*** true .          /* all conclusions proved */


procedure_processzonefile_907.
*** true .          /* all conclusions proved */


procedure_processzonefile_908.
*** true .          /* all conclusions proved */


procedure_processzonefile_909.
*** true .          /* all conclusions proved */


procedure_processzonefile_910.
*** true .          /* all conclusions proved */


procedure_processzonefile_911.
*** true .          /* all conclusions proved */


procedure_processzonefile_912.
*** true .          /* all conclusions proved */


procedure_processzonefile_913.
*** true .          /* all conclusions proved */


procedure_processzonefile_914.
*** true .          /* all conclusions proved */


procedure_processzonefile_915.
*** true .          /* all conclusions proved */


procedure_processzonefile_916.
*** true .          /* all conclusions proved */


procedure_processzonefile_917.
*** true .          /* all conclusions proved */


procedure_processzonefile_918.
*** true .          /* all conclusions proved */


procedure_processzonefile_919.
*** true .          /* all conclusions proved */


procedure_processzonefile_920.
*** true .          /* all conclusions proved */


procedure_processzonefile_921.
*** true .          /* all conclusions proved */


procedure_processzonefile_922.
*** true .          /* all conclusions proved */


procedure_processzonefile_923.
*** true .          /* all conclusions proved */


procedure_processzonefile_924.
*** true .          /* all conclusions proved */


procedure_processzonefile_925.
*** true .          /* all conclusions proved */


procedure_processzonefile_926.
*** true .          /* all conclusions proved */


procedure_processzonefile_927.
*** true .          /* all conclusions proved */


procedure_processzonefile_928.
*** true .          /* all conclusions proved */


procedure_processzonefile_929.
*** true .          /* all conclusions proved */


procedure_processzonefile_930.
*** true .          /* all conclusions proved */


procedure_processzonefile_931.
*** true .          /* all conclusions proved */


procedure_processzonefile_932.
*** true .          /* all conclusions proved */


procedure_processzonefile_933.
*** true .          /* all conclusions proved */


procedure_processzonefile_934.
*** true .          /* all conclusions proved */


procedure_processzonefile_935.
*** true .          /* all conclusions proved */


procedure_processzonefile_936.
*** true .          /* all conclusions proved */


procedure_processzonefile_937.
*** true .          /* all conclusions proved */


procedure_processzonefile_938.
*** true .          /* all conclusions proved */


procedure_processzonefile_939.
*** true .          /* all conclusions proved */


procedure_processzonefile_940.
*** true .          /* all conclusions proved */


procedure_processzonefile_941.
*** true .          /* all conclusions proved */


procedure_processzonefile_942.
*** true .          /* all conclusions proved */


procedure_processzonefile_943.
*** true .          /* all conclusions proved */


procedure_processzonefile_944.
*** true .          /* all conclusions proved */


procedure_processzonefile_945.
*** true .          /* all conclusions proved */


procedure_processzonefile_946.
*** true .          /* all conclusions proved */


procedure_processzonefile_947.
*** true .          /* all conclusions proved */


procedure_processzonefile_948.
*** true .          /* all conclusions proved */


procedure_processzonefile_949.
*** true .          /* all conclusions proved */


procedure_processzonefile_950.
*** true .          /* all conclusions proved */


procedure_processzonefile_951.
*** true .          /* all conclusions proved */


procedure_processzonefile_952.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 259:

procedure_processzonefile_953.
*** true .          /* all conclusions proved */


procedure_processzonefile_954.
*** true .          /* all conclusions proved */


procedure_processzonefile_955.
*** true .          /* all conclusions proved */


procedure_processzonefile_956.
*** true .          /* all conclusions proved */


procedure_processzonefile_957.
*** true .          /* all conclusions proved */


procedure_processzonefile_958.
*** true .          /* all conclusions proved */


procedure_processzonefile_959.
*** true .          /* all conclusions proved */


procedure_processzonefile_960.
*** true .          /* all conclusions proved */


procedure_processzonefile_961.
*** true .          /* all conclusions proved */


procedure_processzonefile_962.
*** true .          /* all conclusions proved */


procedure_processzonefile_963.
*** true .          /* all conclusions proved */


procedure_processzonefile_964.
*** true .          /* all conclusions proved */


procedure_processzonefile_965.
*** true .          /* all conclusions proved */


procedure_processzonefile_966.
*** true .          /* all conclusions proved */


procedure_processzonefile_967.
*** true .          /* all conclusions proved */


procedure_processzonefile_968.
*** true .          /* all conclusions proved */


procedure_processzonefile_969.
*** true .          /* all conclusions proved */


procedure_processzonefile_970.
*** true .          /* all conclusions proved */


procedure_processzonefile_971.
*** true .          /* all conclusions proved */


procedure_processzonefile_972.
*** true .          /* all conclusions proved */


procedure_processzonefile_973.
*** true .          /* all conclusions proved */


procedure_processzonefile_974.
*** true .          /* all conclusions proved */


procedure_processzonefile_975.
*** true .          /* all conclusions proved */


procedure_processzonefile_976.
*** true .          /* all conclusions proved */


procedure_processzonefile_977.
*** true .          /* all conclusions proved */


procedure_processzonefile_978.
*** true .          /* all conclusions proved */


procedure_processzonefile_979.
*** true .          /* all conclusions proved */


procedure_processzonefile_980.
*** true .          /* all conclusions proved */


procedure_processzonefile_981.
*** true .          /* all conclusions proved */


procedure_processzonefile_982.
*** true .          /* all conclusions proved */


procedure_processzonefile_983.
*** true .          /* all conclusions proved */


procedure_processzonefile_984.
*** true .          /* all conclusions proved */


procedure_processzonefile_985.
*** true .          /* all conclusions proved */


procedure_processzonefile_986.
*** true .          /* all conclusions proved */


procedure_processzonefile_987.
*** true .          /* all conclusions proved */


procedure_processzonefile_988.
*** true .          /* all conclusions proved */


procedure_processzonefile_989.
*** true .          /* all conclusions proved */


procedure_processzonefile_990.
*** true .          /* all conclusions proved */


procedure_processzonefile_991.
*** true .          /* all conclusions proved */


procedure_processzonefile_992.
*** true .          /* all conclusions proved */


procedure_processzonefile_993.
*** true .          /* all conclusions proved */


procedure_processzonefile_994.
*** true .          /* all conclusions proved */


procedure_processzonefile_995.
*** true .          /* all conclusions proved */


procedure_processzonefile_996.
*** true .          /* all conclusions proved */


procedure_processzonefile_997.
*** true .          /* all conclusions proved */


procedure_processzonefile_998.
*** true .          /* all conclusions proved */


procedure_processzonefile_999.
*** true .          /* all conclusions proved */


procedure_processzonefile_1000.
*** true .          /* all conclusions proved */


procedure_processzonefile_1001.
*** true .          /* all conclusions proved */


procedure_processzonefile_1002.
*** true .          /* all conclusions proved */


procedure_processzonefile_1003.
*** true .          /* all conclusions proved */


procedure_processzonefile_1004.
*** true .          /* all conclusions proved */


procedure_processzonefile_1005.
*** true .          /* all conclusions proved */


procedure_processzonefile_1006.
*** true .          /* all conclusions proved */


procedure_processzonefile_1007.
*** true .          /* all conclusions proved */


procedure_processzonefile_1008.
*** true .          /* all conclusions proved */


procedure_processzonefile_1009.
*** true .          /* all conclusions proved */


procedure_processzonefile_1010.
*** true .          /* all conclusions proved */


procedure_processzonefile_1011.
*** true .          /* all conclusions proved */


procedure_processzonefile_1012.
*** true .          /* all conclusions proved */


procedure_processzonefile_1013.
*** true .          /* all conclusions proved */


procedure_processzonefile_1014.
*** true .          /* all conclusions proved */


procedure_processzonefile_1015.
*** true .          /* all conclusions proved */


procedure_processzonefile_1016.
*** true .          /* all conclusions proved */


procedure_processzonefile_1017.
*** true .          /* all conclusions proved */


procedure_processzonefile_1018.
*** true .          /* all conclusions proved */


procedure_processzonefile_1019.
*** true .          /* all conclusions proved */


procedure_processzonefile_1020.
*** true .          /* all conclusions proved */


procedure_processzonefile_1021.
*** true .          /* all conclusions proved */


procedure_processzonefile_1022.
*** true .          /* all conclusions proved */


procedure_processzonefile_1023.
*** true .          /* all conclusions proved */


procedure_processzonefile_1024.
*** true .          /* all conclusions proved */


procedure_processzonefile_1025.
*** true .          /* all conclusions proved */


procedure_processzonefile_1026.
*** true .          /* all conclusions proved */


procedure_processzonefile_1027.
*** true .          /* all conclusions proved */


procedure_processzonefile_1028.
*** true .          /* all conclusions proved */


procedure_processzonefile_1029.
*** true .          /* all conclusions proved */


procedure_processzonefile_1030.
*** true .          /* all conclusions proved */


procedure_processzonefile_1031.
*** true .          /* all conclusions proved */


procedure_processzonefile_1032.
*** true .          /* all conclusions proved */


procedure_processzonefile_1033.
*** true .          /* all conclusions proved */


procedure_processzonefile_1034.
*** true .          /* all conclusions proved */


procedure_processzonefile_1035.
*** true .          /* all conclusions proved */


procedure_processzonefile_1036.
*** true .          /* all conclusions proved */


procedure_processzonefile_1037.
*** true .          /* all conclusions proved */


procedure_processzonefile_1038.
*** true .          /* all conclusions proved */


procedure_processzonefile_1039.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 265:

procedure_processzonefile_1040.
*** true .          /* all conclusions proved */


procedure_processzonefile_1041.
*** true .          /* all conclusions proved */


procedure_processzonefile_1042.
*** true .          /* all conclusions proved */


procedure_processzonefile_1043.
*** true .          /* all conclusions proved */


procedure_processzonefile_1044.
*** true .          /* all conclusions proved */


procedure_processzonefile_1045.
*** true .          /* all conclusions proved */


procedure_processzonefile_1046.
*** true .          /* all conclusions proved */


procedure_processzonefile_1047.
*** true .          /* all conclusions proved */


procedure_processzonefile_1048.
*** true .          /* all conclusions proved */


procedure_processzonefile_1049.
*** true .          /* all conclusions proved */


procedure_processzonefile_1050.
*** true .          /* all conclusions proved */


procedure_processzonefile_1051.
*** true .          /* all conclusions proved */


procedure_processzonefile_1052.
*** true .          /* all conclusions proved */


procedure_processzonefile_1053.
*** true .          /* all conclusions proved */


procedure_processzonefile_1054.
*** true .          /* all conclusions proved */


procedure_processzonefile_1055.
*** true .          /* all conclusions proved */


procedure_processzonefile_1056.
*** true .          /* all conclusions proved */


procedure_processzonefile_1057.
*** true .          /* all conclusions proved */


procedure_processzonefile_1058.
*** true .          /* all conclusions proved */


procedure_processzonefile_1059.
*** true .          /* all conclusions proved */


procedure_processzonefile_1060.
*** true .          /* all conclusions proved */


procedure_processzonefile_1061.
*** true .          /* all conclusions proved */


procedure_processzonefile_1062.
*** true .          /* all conclusions proved */


procedure_processzonefile_1063.
*** true .          /* all conclusions proved */


procedure_processzonefile_1064.
*** true .          /* all conclusions proved */


procedure_processzonefile_1065.
*** true .          /* all conclusions proved */


procedure_processzonefile_1066.
*** true .          /* all conclusions proved */


procedure_processzonefile_1067.
*** true .          /* all conclusions proved */


procedure_processzonefile_1068.
*** true .          /* all conclusions proved */


procedure_processzonefile_1069.
*** true .          /* all conclusions proved */


procedure_processzonefile_1070.
*** true .          /* all conclusions proved */


procedure_processzonefile_1071.
*** true .          /* all conclusions proved */


procedure_processzonefile_1072.
*** true .          /* all conclusions proved */


procedure_processzonefile_1073.
*** true .          /* all conclusions proved */


procedure_processzonefile_1074.
*** true .          /* all conclusions proved */


procedure_processzonefile_1075.
*** true .          /* all conclusions proved */


procedure_processzonefile_1076.
*** true .          /* all conclusions proved */


procedure_processzonefile_1077.
*** true .          /* all conclusions proved */


procedure_processzonefile_1078.
*** true .          /* all conclusions proved */


procedure_processzonefile_1079.
*** true .          /* all conclusions proved */


procedure_processzonefile_1080.
*** true .          /* all conclusions proved */


procedure_processzonefile_1081.
*** true .          /* all conclusions proved */


procedure_processzonefile_1082.
*** true .          /* all conclusions proved */


procedure_processzonefile_1083.
*** true .          /* all conclusions proved */


procedure_processzonefile_1084.
*** true .          /* all conclusions proved */


procedure_processzonefile_1085.
*** true .          /* all conclusions proved */


procedure_processzonefile_1086.
*** true .          /* all conclusions proved */


procedure_processzonefile_1087.
*** true .          /* all conclusions proved */


procedure_processzonefile_1088.
*** true .          /* all conclusions proved */


procedure_processzonefile_1089.
*** true .          /* all conclusions proved */


procedure_processzonefile_1090.
*** true .          /* all conclusions proved */


procedure_processzonefile_1091.
*** true .          /* all conclusions proved */


procedure_processzonefile_1092.
*** true .          /* all conclusions proved */


procedure_processzonefile_1093.
*** true .          /* all conclusions proved */


procedure_processzonefile_1094.
*** true .          /* all conclusions proved */


procedure_processzonefile_1095.
*** true .          /* all conclusions proved */


procedure_processzonefile_1096.
*** true .          /* all conclusions proved */


procedure_processzonefile_1097.
*** true .          /* all conclusions proved */


procedure_processzonefile_1098.
*** true .          /* all conclusions proved */


procedure_processzonefile_1099.
*** true .          /* all conclusions proved */


procedure_processzonefile_1100.
*** true .          /* all conclusions proved */


procedure_processzonefile_1101.
*** true .          /* all conclusions proved */


procedure_processzonefile_1102.
*** true .          /* all conclusions proved */


procedure_processzonefile_1103.
*** true .          /* all conclusions proved */


procedure_processzonefile_1104.
*** true .          /* all conclusions proved */


procedure_processzonefile_1105.
*** true .          /* all conclusions proved */


procedure_processzonefile_1106.
*** true .          /* all conclusions proved */


procedure_processzonefile_1107.
*** true .          /* all conclusions proved */


procedure_processzonefile_1108.
*** true .          /* all conclusions proved */


procedure_processzonefile_1109.
*** true .          /* all conclusions proved */


procedure_processzonefile_1110.
*** true .          /* all conclusions proved */


procedure_processzonefile_1111.
*** true .          /* all conclusions proved */


procedure_processzonefile_1112.
*** true .          /* all conclusions proved */


procedure_processzonefile_1113.
*** true .          /* all conclusions proved */


procedure_processzonefile_1114.
*** true .          /* all conclusions proved */


procedure_processzonefile_1115.
*** true .          /* all conclusions proved */


procedure_processzonefile_1116.
*** true .          /* all conclusions proved */


procedure_processzonefile_1117.
*** true .          /* all conclusions proved */


procedure_processzonefile_1118.
*** true .          /* all conclusions proved */


procedure_processzonefile_1119.
*** true .          /* all conclusions proved */


procedure_processzonefile_1120.
*** true .          /* all conclusions proved */


procedure_processzonefile_1121.
*** true .          /* all conclusions proved */


procedure_processzonefile_1122.
*** true .          /* all conclusions proved */


procedure_processzonefile_1123.
*** true .          /* all conclusions proved */


procedure_processzonefile_1124.
*** true .          /* all conclusions proved */


procedure_processzonefile_1125.
*** true .          /* all conclusions proved */


procedure_processzonefile_1126.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 269:

procedure_processzonefile_1127.
*** true .          /* all conclusions proved */


procedure_processzonefile_1128.
*** true .          /* all conclusions proved */


procedure_processzonefile_1129.
*** true .          /* all conclusions proved */


procedure_processzonefile_1130.
*** true .          /* all conclusions proved */


procedure_processzonefile_1131.
*** true .          /* all conclusions proved */


procedure_processzonefile_1132.
*** true .          /* all conclusions proved */


procedure_processzonefile_1133.
*** true .          /* all conclusions proved */


procedure_processzonefile_1134.
*** true .          /* all conclusions proved */


procedure_processzonefile_1135.
*** true .          /* all conclusions proved */


procedure_processzonefile_1136.
*** true .          /* all conclusions proved */


procedure_processzonefile_1137.
*** true .          /* all conclusions proved */


procedure_processzonefile_1138.
*** true .          /* all conclusions proved */


procedure_processzonefile_1139.
*** true .          /* all conclusions proved */


procedure_processzonefile_1140.
*** true .          /* all conclusions proved */


procedure_processzonefile_1141.
*** true .          /* all conclusions proved */


procedure_processzonefile_1142.
*** true .          /* all conclusions proved */


procedure_processzonefile_1143.
*** true .          /* all conclusions proved */


procedure_processzonefile_1144.
*** true .          /* all conclusions proved */


procedure_processzonefile_1145.
*** true .          /* all conclusions proved */


procedure_processzonefile_1146.
*** true .          /* all conclusions proved */


procedure_processzonefile_1147.
*** true .          /* all conclusions proved */


procedure_processzonefile_1148.
*** true .          /* all conclusions proved */


procedure_processzonefile_1149.
*** true .          /* all conclusions proved */


procedure_processzonefile_1150.
*** true .          /* all conclusions proved */


procedure_processzonefile_1151.
*** true .          /* all conclusions proved */


procedure_processzonefile_1152.
*** true .          /* all conclusions proved */


procedure_processzonefile_1153.
*** true .          /* all conclusions proved */


procedure_processzonefile_1154.
*** true .          /* all conclusions proved */


procedure_processzonefile_1155.
*** true .          /* all conclusions proved */


procedure_processzonefile_1156.
*** true .          /* all conclusions proved */


procedure_processzonefile_1157.
*** true .          /* all conclusions proved */


procedure_processzonefile_1158.
*** true .          /* all conclusions proved */


procedure_processzonefile_1159.
*** true .          /* all conclusions proved */


procedure_processzonefile_1160.
*** true .          /* all conclusions proved */


procedure_processzonefile_1161.
*** true .          /* all conclusions proved */


procedure_processzonefile_1162.
*** true .          /* all conclusions proved */


procedure_processzonefile_1163.
*** true .          /* all conclusions proved */


procedure_processzonefile_1164.
*** true .          /* all conclusions proved */


procedure_processzonefile_1165.
*** true .          /* all conclusions proved */


procedure_processzonefile_1166.
*** true .          /* all conclusions proved */


procedure_processzonefile_1167.
*** true .          /* all conclusions proved */


procedure_processzonefile_1168.
*** true .          /* all conclusions proved */


procedure_processzonefile_1169.
*** true .          /* all conclusions proved */


procedure_processzonefile_1170.
*** true .          /* all conclusions proved */


procedure_processzonefile_1171.
*** true .          /* all conclusions proved */


procedure_processzonefile_1172.
*** true .          /* all conclusions proved */


procedure_processzonefile_1173.
*** true .          /* all conclusions proved */


procedure_processzonefile_1174.
*** true .          /* all conclusions proved */


procedure_processzonefile_1175.
*** true .          /* all conclusions proved */


procedure_processzonefile_1176.
*** true .          /* all conclusions proved */


procedure_processzonefile_1177.
*** true .          /* all conclusions proved */


procedure_processzonefile_1178.
*** true .          /* all conclusions proved */


procedure_processzonefile_1179.
*** true .          /* all conclusions proved */


procedure_processzonefile_1180.
*** true .          /* all conclusions proved */


procedure_processzonefile_1181.
*** true .          /* all conclusions proved */


procedure_processzonefile_1182.
*** true .          /* all conclusions proved */


procedure_processzonefile_1183.
*** true .          /* all conclusions proved */


procedure_processzonefile_1184.
*** true .          /* all conclusions proved */


procedure_processzonefile_1185.
*** true .          /* all conclusions proved */


procedure_processzonefile_1186.
*** true .          /* all conclusions proved */


procedure_processzonefile_1187.
*** true .          /* all conclusions proved */


procedure_processzonefile_1188.
*** true .          /* all conclusions proved */


procedure_processzonefile_1189.
*** true .          /* all conclusions proved */


procedure_processzonefile_1190.
*** true .          /* all conclusions proved */


procedure_processzonefile_1191.
*** true .          /* all conclusions proved */


procedure_processzonefile_1192.
*** true .          /* all conclusions proved */


procedure_processzonefile_1193.
*** true .          /* all conclusions proved */


procedure_processzonefile_1194.
*** true .          /* all conclusions proved */


procedure_processzonefile_1195.
*** true .          /* all conclusions proved */


procedure_processzonefile_1196.
*** true .          /* all conclusions proved */


procedure_processzonefile_1197.
*** true .          /* all conclusions proved */


procedure_processzonefile_1198.
*** true .          /* all conclusions proved */


procedure_processzonefile_1199.
*** true .          /* all conclusions proved */


procedure_processzonefile_1200.
*** true .          /* all conclusions proved */


procedure_processzonefile_1201.
*** true .          /* all conclusions proved */


procedure_processzonefile_1202.
*** true .          /* all conclusions proved */


procedure_processzonefile_1203.
*** true .          /* all conclusions proved */


procedure_processzonefile_1204.
*** true .          /* all conclusions proved */


procedure_processzonefile_1205.
*** true .          /* all conclusions proved */


procedure_processzonefile_1206.
*** true .          /* all conclusions proved */


procedure_processzonefile_1207.
*** true .          /* all conclusions proved */


procedure_processzonefile_1208.
*** true .          /* all conclusions proved */


procedure_processzonefile_1209.
*** true .          /* all conclusions proved */


procedure_processzonefile_1210.
*** true .          /* all conclusions proved */


procedure_processzonefile_1211.
*** true .          /* all conclusions proved */


procedure_processzonefile_1212.
*** true .          /* all conclusions proved */


procedure_processzonefile_1213.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 269:

procedure_processzonefile_1214.
*** true .          /* all conclusions proved */


procedure_processzonefile_1215.
*** true .          /* all conclusions proved */


procedure_processzonefile_1216.
*** true .          /* all conclusions proved */


procedure_processzonefile_1217.
*** true .          /* all conclusions proved */


procedure_processzonefile_1218.
*** true .          /* all conclusions proved */


procedure_processzonefile_1219.
*** true .          /* all conclusions proved */


procedure_processzonefile_1220.
*** true .          /* all conclusions proved */


procedure_processzonefile_1221.
*** true .          /* all conclusions proved */


procedure_processzonefile_1222.
*** true .          /* all conclusions proved */


procedure_processzonefile_1223.
*** true .          /* all conclusions proved */


procedure_processzonefile_1224.
*** true .          /* all conclusions proved */


procedure_processzonefile_1225.
*** true .          /* all conclusions proved */


procedure_processzonefile_1226.
*** true .          /* all conclusions proved */


procedure_processzonefile_1227.
*** true .          /* all conclusions proved */


procedure_processzonefile_1228.
*** true .          /* all conclusions proved */


procedure_processzonefile_1229.
*** true .          /* all conclusions proved */


procedure_processzonefile_1230.
*** true .          /* all conclusions proved */


procedure_processzonefile_1231.
*** true .          /* all conclusions proved */


procedure_processzonefile_1232.
*** true .          /* all conclusions proved */


procedure_processzonefile_1233.
*** true .          /* all conclusions proved */


procedure_processzonefile_1234.
*** true .          /* all conclusions proved */


procedure_processzonefile_1235.
*** true .          /* all conclusions proved */


procedure_processzonefile_1236.
*** true .          /* all conclusions proved */


procedure_processzonefile_1237.
*** true .          /* all conclusions proved */


procedure_processzonefile_1238.
*** true .          /* all conclusions proved */


procedure_processzonefile_1239.
*** true .          /* all conclusions proved */


procedure_processzonefile_1240.
*** true .          /* all conclusions proved */


procedure_processzonefile_1241.
*** true .          /* all conclusions proved */


procedure_processzonefile_1242.
*** true .          /* all conclusions proved */


procedure_processzonefile_1243.
*** true .          /* all conclusions proved */


procedure_processzonefile_1244.
*** true .          /* all conclusions proved */


procedure_processzonefile_1245.
*** true .          /* all conclusions proved */


procedure_processzonefile_1246.
*** true .          /* all conclusions proved */


procedure_processzonefile_1247.
*** true .          /* all conclusions proved */


procedure_processzonefile_1248.
*** true .          /* all conclusions proved */


procedure_processzonefile_1249.
*** true .          /* all conclusions proved */


procedure_processzonefile_1250.
*** true .          /* all conclusions proved */


procedure_processzonefile_1251.
*** true .          /* all conclusions proved */


procedure_processzonefile_1252.
*** true .          /* all conclusions proved */


procedure_processzonefile_1253.
*** true .          /* all conclusions proved */


procedure_processzonefile_1254.
*** true .          /* all conclusions proved */


procedure_processzonefile_1255.
*** true .          /* all conclusions proved */


procedure_processzonefile_1256.
*** true .          /* all conclusions proved */


procedure_processzonefile_1257.
*** true .          /* all conclusions proved */


procedure_processzonefile_1258.
*** true .          /* all conclusions proved */


procedure_processzonefile_1259.
*** true .          /* all conclusions proved */


procedure_processzonefile_1260.
*** true .          /* all conclusions proved */


procedure_processzonefile_1261.
*** true .          /* all conclusions proved */


procedure_processzonefile_1262.
*** true .          /* all conclusions proved */


procedure_processzonefile_1263.
*** true .          /* all conclusions proved */


procedure_processzonefile_1264.
*** true .          /* all conclusions proved */


procedure_processzonefile_1265.
*** true .          /* all conclusions proved */


procedure_processzonefile_1266.
*** true .          /* all conclusions proved */


procedure_processzonefile_1267.
*** true .          /* all conclusions proved */


procedure_processzonefile_1268.
*** true .          /* all conclusions proved */


procedure_processzonefile_1269.
*** true .          /* all conclusions proved */


procedure_processzonefile_1270.
*** true .          /* all conclusions proved */


procedure_processzonefile_1271.
*** true .          /* all conclusions proved */


procedure_processzonefile_1272.
*** true .          /* all conclusions proved */


procedure_processzonefile_1273.
*** true .          /* all conclusions proved */


procedure_processzonefile_1274.
*** true .          /* all conclusions proved */


procedure_processzonefile_1275.
*** true .          /* all conclusions proved */


procedure_processzonefile_1276.
*** true .          /* all conclusions proved */


procedure_processzonefile_1277.
*** true .          /* all conclusions proved */


procedure_processzonefile_1278.
*** true .          /* all conclusions proved */


procedure_processzonefile_1279.
*** true .          /* all conclusions proved */


procedure_processzonefile_1280.
*** true .          /* all conclusions proved */


procedure_processzonefile_1281.
*** true .          /* all conclusions proved */


procedure_processzonefile_1282.
*** true .          /* all conclusions proved */


procedure_processzonefile_1283.
*** true .          /* all conclusions proved */


procedure_processzonefile_1284.
*** true .          /* all conclusions proved */


procedure_processzonefile_1285.
*** true .          /* all conclusions proved */


procedure_processzonefile_1286.
*** true .          /* all conclusions proved */


procedure_processzonefile_1287.
*** true .          /* all conclusions proved */


procedure_processzonefile_1288.
*** true .          /* all conclusions proved */


procedure_processzonefile_1289.
*** true .          /* all conclusions proved */


procedure_processzonefile_1290.
*** true .          /* all conclusions proved */


procedure_processzonefile_1291.
*** true .          /* all conclusions proved */


procedure_processzonefile_1292.
*** true .          /* all conclusions proved */


procedure_processzonefile_1293.
*** true .          /* all conclusions proved */


procedure_processzonefile_1294.
*** true .          /* all conclusions proved */


procedure_processzonefile_1295.
*** true .          /* all conclusions proved */


procedure_processzonefile_1296.
*** true .          /* all conclusions proved */


procedure_processzonefile_1297.
*** true .          /* all conclusions proved */


procedure_processzonefile_1298.
*** true .          /* all conclusions proved */


procedure_processzonefile_1299.
*** true .          /* all conclusions proved */


procedure_processzonefile_1300.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to assertion of line 270:

procedure_processzonefile_1301.
*** true .          /* all conclusions proved */


procedure_processzonefile_1302.
*** true .          /* all conclusions proved */


procedure_processzonefile_1303.
*** true .          /* all conclusions proved */


procedure_processzonefile_1304.
*** true .          /* all conclusions proved */


procedure_processzonefile_1305.
*** true .          /* all conclusions proved */


procedure_processzonefile_1306.
*** true .          /* all conclusions proved */


procedure_processzonefile_1307.
*** true .          /* all conclusions proved */


procedure_processzonefile_1308.
*** true .          /* all conclusions proved */


procedure_processzonefile_1309.
*** true .          /* all conclusions proved */


procedure_processzonefile_1310.
*** true .          /* all conclusions proved */


procedure_processzonefile_1311.
*** true .          /* all conclusions proved */


procedure_processzonefile_1312.
*** true .          /* all conclusions proved */


procedure_processzonefile_1313.
*** true .          /* all conclusions proved */


procedure_processzonefile_1314.
*** true .          /* all conclusions proved */


procedure_processzonefile_1315.
*** true .          /* all conclusions proved */


procedure_processzonefile_1316.
*** true .          /* all conclusions proved */


procedure_processzonefile_1317.
*** true .          /* all conclusions proved */


procedure_processzonefile_1318.
*** true .          /* all conclusions proved */


procedure_processzonefile_1319.
*** true .          /* all conclusions proved */


procedure_processzonefile_1320.
*** true .          /* all conclusions proved */


procedure_processzonefile_1321.
*** true .          /* all conclusions proved */


procedure_processzonefile_1322.
*** true .          /* all conclusions proved */


procedure_processzonefile_1323.
*** true .          /* all conclusions proved */


procedure_processzonefile_1324.
*** true .          /* all conclusions proved */


procedure_processzonefile_1325.
*** true .          /* all conclusions proved */


procedure_processzonefile_1326.
*** true .          /* all conclusions proved */


procedure_processzonefile_1327.
*** true .          /* all conclusions proved */


procedure_processzonefile_1328.
*** true .          /* all conclusions proved */


procedure_processzonefile_1329.
*** true .          /* all conclusions proved */


procedure_processzonefile_1330.
*** true .          /* all conclusions proved */


procedure_processzonefile_1331.
*** true .          /* all conclusions proved */


procedure_processzonefile_1332.
*** true .          /* all conclusions proved */


procedure_processzonefile_1333.
*** true .          /* all conclusions proved */


procedure_processzonefile_1334.
*** true .          /* all conclusions proved */


procedure_processzonefile_1335.
*** true .          /* all conclusions proved */


procedure_processzonefile_1336.
*** true .          /* all conclusions proved */


procedure_processzonefile_1337.
*** true .          /* all conclusions proved */


procedure_processzonefile_1338.
*** true .          /* all conclusions proved */


procedure_processzonefile_1339.
*** true .          /* all conclusions proved */


procedure_processzonefile_1340.
*** true .          /* all conclusions proved */


procedure_processzonefile_1341.
*** true .          /* all conclusions proved */


procedure_processzonefile_1342.
*** true .          /* all conclusions proved */


procedure_processzonefile_1343.
*** true .          /* all conclusions proved */


procedure_processzonefile_1344.
*** true .          /* all conclusions proved */


procedure_processzonefile_1345.
*** true .          /* all conclusions proved */


procedure_processzonefile_1346.
*** true .          /* all conclusions proved */


procedure_processzonefile_1347.
*** true .          /* all conclusions proved */


procedure_processzonefile_1348.
*** true .          /* all conclusions proved */


procedure_processzonefile_1349.
*** true .          /* all conclusions proved */


procedure_processzonefile_1350.
*** true .          /* all conclusions proved */


procedure_processzonefile_1351.
*** true .          /* all conclusions proved */


procedure_processzonefile_1352.
*** true .          /* all conclusions proved */


procedure_processzonefile_1353.
*** true .          /* all conclusions proved */


procedure_processzonefile_1354.
*** true .          /* all conclusions proved */


procedure_processzonefile_1355.
*** true .          /* all conclusions proved */


procedure_processzonefile_1356.
*** true .          /* all conclusions proved */


procedure_processzonefile_1357.
*** true .          /* all conclusions proved */


procedure_processzonefile_1358.
*** true .          /* all conclusions proved */


procedure_processzonefile_1359.
*** true .          /* all conclusions proved */


procedure_processzonefile_1360.
*** true .          /* all conclusions proved */


procedure_processzonefile_1361.
*** true .          /* all conclusions proved */


procedure_processzonefile_1362.
*** true .          /* all conclusions proved */


procedure_processzonefile_1363.
*** true .          /* all conclusions proved */


procedure_processzonefile_1364.
*** true .          /* all conclusions proved */


procedure_processzonefile_1365.
*** true .          /* all conclusions proved */


procedure_processzonefile_1366.
*** true .          /* all conclusions proved */


procedure_processzonefile_1367.
*** true .          /* all conclusions proved */


procedure_processzonefile_1368.
*** true .          /* all conclusions proved */


procedure_processzonefile_1369.
*** true .          /* all conclusions proved */


procedure_processzonefile_1370.
*** true .          /* all conclusions proved */


procedure_processzonefile_1371.
*** true .          /* all conclusions proved */


procedure_processzonefile_1372.
*** true .          /* all conclusions proved */


procedure_processzonefile_1373.
*** true .          /* all conclusions proved */


procedure_processzonefile_1374.
*** true .          /* all conclusions proved */


procedure_processzonefile_1375.
*** true .          /* all conclusions proved */


procedure_processzonefile_1376.
*** true .          /* all conclusions proved */


procedure_processzonefile_1377.
*** true .          /* all conclusions proved */


procedure_processzonefile_1378.
*** true .          /* all conclusions proved */


procedure_processzonefile_1379.
*** true .          /* all conclusions proved */


procedure_processzonefile_1380.
*** true .          /* all conclusions proved */


procedure_processzonefile_1381.
*** true .          /* all conclusions proved */


procedure_processzonefile_1382.
*** true .          /* all conclusions proved */


procedure_processzonefile_1383.
*** true .          /* all conclusions proved */


procedure_processzonefile_1384.
*** true .          /* all conclusions proved */


procedure_processzonefile_1385.
*** true .          /* all conclusions proved */


procedure_processzonefile_1386.
*** true .          /* all conclusions proved */


procedure_processzonefile_1387.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 270 to assertion of line 270:

procedure_processzonefile_1388.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 270 to run-time check associated with 
          statement of line 271:

procedure_processzonefile_1389.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 274:

procedure_processzonefile_1390.
*** true .          /* all conclusions proved */


procedure_processzonefile_1391.
*** true .          /* all conclusions proved */


procedure_processzonefile_1392.
*** true .          /* all conclusions proved */


procedure_processzonefile_1393.
*** true .          /* all conclusions proved */


procedure_processzonefile_1394.
*** true .          /* all conclusions proved */


procedure_processzonefile_1395.
*** true .          /* all conclusions proved */


procedure_processzonefile_1396.
*** true .          /* all conclusions proved */


procedure_processzonefile_1397.
*** true .          /* all conclusions proved */


procedure_processzonefile_1398.
*** true .          /* all conclusions proved */


procedure_processzonefile_1399.
*** true .          /* all conclusions proved */


procedure_processzonefile_1400.
*** true .          /* all conclusions proved */


procedure_processzonefile_1401.
*** true .          /* all conclusions proved */


procedure_processzonefile_1402.
*** true .          /* all conclusions proved */


procedure_processzonefile_1403.
*** true .          /* all conclusions proved */


procedure_processzonefile_1404.
*** true .          /* all conclusions proved */


procedure_processzonefile_1405.
*** true .          /* all conclusions proved */


procedure_processzonefile_1406.
*** true .          /* all conclusions proved */


procedure_processzonefile_1407.
*** true .          /* all conclusions proved */


procedure_processzonefile_1408.
*** true .          /* all conclusions proved */


procedure_processzonefile_1409.
*** true .          /* all conclusions proved */


procedure_processzonefile_1410.
*** true .          /* all conclusions proved */


procedure_processzonefile_1411.
*** true .          /* all conclusions proved */


procedure_processzonefile_1412.
*** true .          /* all conclusions proved */


procedure_processzonefile_1413.
*** true .          /* all conclusions proved */


procedure_processzonefile_1414.
*** true .          /* all conclusions proved */


procedure_processzonefile_1415.
*** true .          /* all conclusions proved */


procedure_processzonefile_1416.
*** true .          /* all conclusions proved */


procedure_processzonefile_1417.
*** true .          /* all conclusions proved */


procedure_processzonefile_1418.
*** true .          /* all conclusions proved */


procedure_processzonefile_1419.
*** true .          /* all conclusions proved */


procedure_processzonefile_1420.
*** true .          /* all conclusions proved */


procedure_processzonefile_1421.
*** true .          /* all conclusions proved */


procedure_processzonefile_1422.
*** true .          /* all conclusions proved */


procedure_processzonefile_1423.
*** true .          /* all conclusions proved */


procedure_processzonefile_1424.
*** true .          /* all conclusions proved */


procedure_processzonefile_1425.
*** true .          /* all conclusions proved */


procedure_processzonefile_1426.
*** true .          /* all conclusions proved */


procedure_processzonefile_1427.
*** true .          /* all conclusions proved */


procedure_processzonefile_1428.
*** true .          /* all conclusions proved */


procedure_processzonefile_1429.
*** true .          /* all conclusions proved */


procedure_processzonefile_1430.
*** true .          /* all conclusions proved */


procedure_processzonefile_1431.
*** true .          /* all conclusions proved */


procedure_processzonefile_1432.
*** true .          /* all conclusions proved */


procedure_processzonefile_1433.
*** true .          /* all conclusions proved */


procedure_processzonefile_1434.
*** true .          /* all conclusions proved */


procedure_processzonefile_1435.
*** true .          /* all conclusions proved */


procedure_processzonefile_1436.
*** true .          /* all conclusions proved */


procedure_processzonefile_1437.
*** true .          /* all conclusions proved */


procedure_processzonefile_1438.
*** true .          /* all conclusions proved */


procedure_processzonefile_1439.
*** true .          /* all conclusions proved */


procedure_processzonefile_1440.
*** true .          /* all conclusions proved */


procedure_processzonefile_1441.
*** true .          /* all conclusions proved */


procedure_processzonefile_1442.
*** true .          /* all conclusions proved */


procedure_processzonefile_1443.
*** true .          /* all conclusions proved */


procedure_processzonefile_1444.
*** true .          /* all conclusions proved */


procedure_processzonefile_1445.
*** true .          /* all conclusions proved */


procedure_processzonefile_1446.
*** true .          /* all conclusions proved */


procedure_processzonefile_1447.
*** true .          /* all conclusions proved */


procedure_processzonefile_1448.
*** true .          /* all conclusions proved */


procedure_processzonefile_1449.
*** true .          /* all conclusions proved */


procedure_processzonefile_1450.
*** true .          /* all conclusions proved */


procedure_processzonefile_1451.
*** true .          /* all conclusions proved */


procedure_processzonefile_1452.
*** true .          /* all conclusions proved */


procedure_processzonefile_1453.
*** true .          /* all conclusions proved */


procedure_processzonefile_1454.
*** true .          /* all conclusions proved */


procedure_processzonefile_1455.
*** true .          /* all conclusions proved */


procedure_processzonefile_1456.
*** true .          /* all conclusions proved */


procedure_processzonefile_1457.
*** true .          /* all conclusions proved */


procedure_processzonefile_1458.
*** true .          /* all conclusions proved */


procedure_processzonefile_1459.
*** true .          /* all conclusions proved */


procedure_processzonefile_1460.
*** true .          /* all conclusions proved */


procedure_processzonefile_1461.
*** true .          /* all conclusions proved */


procedure_processzonefile_1462.
*** true .          /* all conclusions proved */


procedure_processzonefile_1463.
*** true .          /* all conclusions proved */


procedure_processzonefile_1464.
*** true .          /* all conclusions proved */


procedure_processzonefile_1465.
*** true .          /* all conclusions proved */


procedure_processzonefile_1466.
*** true .          /* all conclusions proved */


procedure_processzonefile_1467.
*** true .          /* all conclusions proved */


procedure_processzonefile_1468.
*** true .          /* all conclusions proved */


procedure_processzonefile_1469.
*** true .          /* all conclusions proved */


procedure_processzonefile_1470.
*** true .          /* all conclusions proved */


procedure_processzonefile_1471.
*** true .          /* all conclusions proved */


procedure_processzonefile_1472.
*** true .          /* all conclusions proved */


procedure_processzonefile_1473.
*** true .          /* all conclusions proved */


procedure_processzonefile_1474.
*** true .          /* all conclusions proved */


procedure_processzonefile_1475.
*** true .          /* all conclusions proved */


procedure_processzonefile_1476.
*** true .          /* all conclusions proved */


procedure_processzonefile_1477.
*** true .          /* all conclusions proved */


procedure_processzonefile_1478.
*** true .          /* all conclusions proved */


procedure_processzonefile_1479.
*** true .          /* all conclusions proved */


procedure_processzonefile_1480.
*** true .          /* all conclusions proved */


procedure_processzonefile_1481.
*** true .          /* all conclusions proved */


procedure_processzonefile_1482.
*** true .          /* all conclusions proved */


procedure_processzonefile_1483.
*** true .          /* all conclusions proved */


procedure_processzonefile_1484.
*** true .          /* all conclusions proved */


procedure_processzonefile_1485.
*** true .          /* all conclusions proved */


procedure_processzonefile_1486.
*** true .          /* all conclusions proved */


procedure_processzonefile_1487.
*** true .          /* all conclusions proved */


procedure_processzonefile_1488.
*** true .          /* all conclusions proved */


procedure_processzonefile_1489.
*** true .          /* all conclusions proved */


procedure_processzonefile_1490.
*** true .          /* all conclusions proved */


procedure_processzonefile_1491.
*** true .          /* all conclusions proved */


procedure_processzonefile_1492.
*** true .          /* all conclusions proved */


procedure_processzonefile_1493.
*** true .          /* all conclusions proved */


procedure_processzonefile_1494.
*** true .          /* all conclusions proved */


procedure_processzonefile_1495.
*** true .          /* all conclusions proved */


procedure_processzonefile_1496.
*** true .          /* all conclusions proved */


procedure_processzonefile_1497.
*** true .          /* all conclusions proved */


procedure_processzonefile_1498.
*** true .          /* all conclusions proved */


procedure_processzonefile_1499.
*** true .          /* all conclusions proved */


procedure_processzonefile_1500.
*** true .          /* all conclusions proved */


procedure_processzonefile_1501.
*** true .          /* all conclusions proved */


procedure_processzonefile_1502.
*** true .          /* all conclusions proved */


procedure_processzonefile_1503.
*** true .          /* all conclusions proved */


procedure_processzonefile_1504.
*** true .          /* all conclusions proved */


procedure_processzonefile_1505.
*** true .          /* all conclusions proved */


procedure_processzonefile_1506.
*** true .          /* all conclusions proved */


procedure_processzonefile_1507.
*** true .          /* all conclusions proved */


procedure_processzonefile_1508.
*** true .          /* all conclusions proved */


procedure_processzonefile_1509.
*** true .          /* all conclusions proved */


procedure_processzonefile_1510.
*** true .          /* all conclusions proved */


procedure_processzonefile_1511.
*** true .          /* all conclusions proved */


procedure_processzonefile_1512.
*** true .          /* all conclusions proved */


procedure_processzonefile_1513.
*** true .          /* all conclusions proved */


procedure_processzonefile_1514.
*** true .          /* all conclusions proved */


procedure_processzonefile_1515.
*** true .          /* all conclusions proved */


procedure_processzonefile_1516.
*** true .          /* all conclusions proved */


procedure_processzonefile_1517.
*** true .          /* all conclusions proved */


procedure_processzonefile_1518.
*** true .          /* all conclusions proved */


procedure_processzonefile_1519.
*** true .          /* all conclusions proved */


procedure_processzonefile_1520.
*** true .          /* all conclusions proved */


procedure_processzonefile_1521.
*** true .          /* all conclusions proved */


procedure_processzonefile_1522.
*** true .          /* all conclusions proved */


procedure_processzonefile_1523.
*** true .          /* all conclusions proved */


procedure_processzonefile_1524.
*** true .          /* all conclusions proved */


procedure_processzonefile_1525.
*** true .          /* all conclusions proved */


procedure_processzonefile_1526.
*** true .          /* all conclusions proved */


procedure_processzonefile_1527.
*** true .          /* all conclusions proved */


procedure_processzonefile_1528.
*** true .          /* all conclusions proved */


procedure_processzonefile_1529.
*** true .          /* all conclusions proved */


procedure_processzonefile_1530.
*** true .          /* all conclusions proved */


procedure_processzonefile_1531.
*** true .          /* all conclusions proved */


procedure_processzonefile_1532.
*** true .          /* all conclusions proved */


procedure_processzonefile_1533.
*** true .          /* all conclusions proved */


procedure_processzonefile_1534.
*** true .          /* all conclusions proved */


procedure_processzonefile_1535.
*** true .          /* all conclusions proved */


procedure_processzonefile_1536.
*** true .          /* all conclusions proved */


procedure_processzonefile_1537.
*** true .          /* all conclusions proved */


procedure_processzonefile_1538.
*** true .          /* all conclusions proved */


procedure_processzonefile_1539.
*** true .          /* all conclusions proved */


procedure_processzonefile_1540.
*** true .          /* all conclusions proved */


procedure_processzonefile_1541.
*** true .          /* all conclusions proved */


procedure_processzonefile_1542.
*** true .          /* all conclusions proved */


procedure_processzonefile_1543.
*** true .          /* all conclusions proved */


procedure_processzonefile_1544.
*** true .          /* all conclusions proved */


procedure_processzonefile_1545.
*** true .          /* all conclusions proved */


procedure_processzonefile_1546.
*** true .          /* all conclusions proved */


procedure_processzonefile_1547.
*** true .          /* all conclusions proved */


procedure_processzonefile_1548.
*** true .          /* all conclusions proved */


procedure_processzonefile_1549.
*** true .          /* all conclusions proved */


procedure_processzonefile_1550.
*** true .          /* all conclusions proved */


procedure_processzonefile_1551.
*** true .          /* all conclusions proved */


procedure_processzonefile_1552.
*** true .          /* all conclusions proved */


procedure_processzonefile_1553.
*** true .          /* all conclusions proved */


procedure_processzonefile_1554.
*** true .          /* all conclusions proved */


procedure_processzonefile_1555.
*** true .          /* all conclusions proved */


procedure_processzonefile_1556.
*** true .          /* all conclusions proved */


procedure_processzonefile_1557.
*** true .          /* all conclusions proved */


procedure_processzonefile_1558.
*** true .          /* all conclusions proved */


procedure_processzonefile_1559.
*** true .          /* all conclusions proved */


procedure_processzonefile_1560.
*** true .          /* all conclusions proved */


procedure_processzonefile_1561.
*** true .          /* all conclusions proved */


procedure_processzonefile_1562.
*** true .          /* all conclusions proved */


procedure_processzonefile_1563.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 270 to run-time check associated with 
          statement of line 274:

procedure_processzonefile_1564.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to run-time check associated with 
          statement of line 275:

procedure_processzonefile_1565.
*** true .          /* all conclusions proved */


procedure_processzonefile_1566.
*** true .          /* all conclusions proved */


procedure_processzonefile_1567.
*** true .          /* all conclusions proved */


procedure_processzonefile_1568.
*** true .          /* all conclusions proved */


procedure_processzonefile_1569.
*** true .          /* all conclusions proved */


procedure_processzonefile_1570.
*** true .          /* all conclusions proved */


procedure_processzonefile_1571.
*** true .          /* all conclusions proved */


procedure_processzonefile_1572.
*** true .          /* all conclusions proved */


procedure_processzonefile_1573.
*** true .          /* all conclusions proved */


procedure_processzonefile_1574.
*** true .          /* all conclusions proved */


procedure_processzonefile_1575.
*** true .          /* all conclusions proved */


procedure_processzonefile_1576.
*** true .          /* all conclusions proved */


procedure_processzonefile_1577.
*** true .          /* all conclusions proved */


procedure_processzonefile_1578.
*** true .          /* all conclusions proved */


procedure_processzonefile_1579.
*** true .          /* all conclusions proved */


procedure_processzonefile_1580.
*** true .          /* all conclusions proved */


procedure_processzonefile_1581.
*** true .          /* all conclusions proved */


procedure_processzonefile_1582.
*** true .          /* all conclusions proved */


procedure_processzonefile_1583.
*** true .          /* all conclusions proved */


procedure_processzonefile_1584.
*** true .          /* all conclusions proved */


procedure_processzonefile_1585.
*** true .          /* all conclusions proved */


procedure_processzonefile_1586.
*** true .          /* all conclusions proved */


procedure_processzonefile_1587.
*** true .          /* all conclusions proved */


procedure_processzonefile_1588.
*** true .          /* all conclusions proved */


procedure_processzonefile_1589.
*** true .          /* all conclusions proved */


procedure_processzonefile_1590.
*** true .          /* all conclusions proved */


procedure_processzonefile_1591.
*** true .          /* all conclusions proved */


procedure_processzonefile_1592.
*** true .          /* all conclusions proved */


procedure_processzonefile_1593.
*** true .          /* all conclusions proved */


procedure_processzonefile_1594.
*** true .          /* all conclusions proved */


procedure_processzonefile_1595.
*** true .          /* all conclusions proved */


procedure_processzonefile_1596.
*** true .          /* all conclusions proved */


procedure_processzonefile_1597.
*** true .          /* all conclusions proved */


procedure_processzonefile_1598.
*** true .          /* all conclusions proved */


procedure_processzonefile_1599.
*** true .          /* all conclusions proved */


procedure_processzonefile_1600.
*** true .          /* all conclusions proved */


procedure_processzonefile_1601.
*** true .          /* all conclusions proved */


procedure_processzonefile_1602.
*** true .          /* all conclusions proved */


procedure_processzonefile_1603.
*** true .          /* all conclusions proved */


procedure_processzonefile_1604.
*** true .          /* all conclusions proved */


procedure_processzonefile_1605.
*** true .          /* all conclusions proved */


procedure_processzonefile_1606.
*** true .          /* all conclusions proved */


procedure_processzonefile_1607.
*** true .          /* all conclusions proved */


procedure_processzonefile_1608.
*** true .          /* all conclusions proved */


procedure_processzonefile_1609.
*** true .          /* all conclusions proved */


procedure_processzonefile_1610.
*** true .          /* all conclusions proved */


procedure_processzonefile_1611.
*** true .          /* all conclusions proved */


procedure_processzonefile_1612.
*** true .          /* all conclusions proved */


procedure_processzonefile_1613.
*** true .          /* all conclusions proved */


procedure_processzonefile_1614.
*** true .          /* all conclusions proved */


procedure_processzonefile_1615.
*** true .          /* all conclusions proved */


procedure_processzonefile_1616.
*** true .          /* all conclusions proved */


procedure_processzonefile_1617.
*** true .          /* all conclusions proved */


procedure_processzonefile_1618.
*** true .          /* all conclusions proved */


procedure_processzonefile_1619.
*** true .          /* all conclusions proved */


procedure_processzonefile_1620.
*** true .          /* all conclusions proved */


procedure_processzonefile_1621.
*** true .          /* all conclusions proved */


procedure_processzonefile_1622.
*** true .          /* all conclusions proved */


procedure_processzonefile_1623.
*** true .          /* all conclusions proved */


procedure_processzonefile_1624.
*** true .          /* all conclusions proved */


procedure_processzonefile_1625.
*** true .          /* all conclusions proved */


procedure_processzonefile_1626.
*** true .          /* all conclusions proved */


procedure_processzonefile_1627.
*** true .          /* all conclusions proved */


procedure_processzonefile_1628.
*** true .          /* all conclusions proved */


procedure_processzonefile_1629.
*** true .          /* all conclusions proved */


procedure_processzonefile_1630.
*** true .          /* all conclusions proved */


procedure_processzonefile_1631.
*** true .          /* all conclusions proved */


procedure_processzonefile_1632.
*** true .          /* all conclusions proved */


procedure_processzonefile_1633.
*** true .          /* all conclusions proved */


procedure_processzonefile_1634.
*** true .          /* all conclusions proved */


procedure_processzonefile_1635.
*** true .          /* all conclusions proved */


procedure_processzonefile_1636.
*** true .          /* all conclusions proved */


procedure_processzonefile_1637.
*** true .          /* all conclusions proved */


procedure_processzonefile_1638.
*** true .          /* all conclusions proved */


procedure_processzonefile_1639.
*** true .          /* all conclusions proved */


procedure_processzonefile_1640.
*** true .          /* all conclusions proved */


procedure_processzonefile_1641.
*** true .          /* all conclusions proved */


procedure_processzonefile_1642.
*** true .          /* all conclusions proved */


procedure_processzonefile_1643.
*** true .          /* all conclusions proved */


procedure_processzonefile_1644.
*** true .          /* all conclusions proved */


procedure_processzonefile_1645.
*** true .          /* all conclusions proved */


procedure_processzonefile_1646.
*** true .          /* all conclusions proved */


procedure_processzonefile_1647.
*** true .          /* all conclusions proved */


procedure_processzonefile_1648.
*** true .          /* all conclusions proved */


procedure_processzonefile_1649.
*** true .          /* all conclusions proved */


procedure_processzonefile_1650.
*** true .          /* all conclusions proved */


procedure_processzonefile_1651.
*** true .          /* all conclusions proved */


procedure_processzonefile_1652.
*** true .          /* all conclusions proved */


procedure_processzonefile_1653.
*** true .          /* all conclusions proved */


procedure_processzonefile_1654.
*** true .          /* all conclusions proved */


procedure_processzonefile_1655.
*** true .          /* all conclusions proved */


procedure_processzonefile_1656.
*** true .          /* all conclusions proved */


procedure_processzonefile_1657.
*** true .          /* all conclusions proved */


procedure_processzonefile_1658.
*** true .          /* all conclusions proved */


procedure_processzonefile_1659.
*** true .          /* all conclusions proved */


procedure_processzonefile_1660.
*** true .          /* all conclusions proved */


procedure_processzonefile_1661.
*** true .          /* all conclusions proved */


procedure_processzonefile_1662.
*** true .          /* all conclusions proved */


procedure_processzonefile_1663.
*** true .          /* all conclusions proved */


procedure_processzonefile_1664.
*** true .          /* all conclusions proved */


procedure_processzonefile_1665.
*** true .          /* all conclusions proved */


procedure_processzonefile_1666.
*** true .          /* all conclusions proved */


procedure_processzonefile_1667.
*** true .          /* all conclusions proved */


procedure_processzonefile_1668.
*** true .          /* all conclusions proved */


procedure_processzonefile_1669.
*** true .          /* all conclusions proved */


procedure_processzonefile_1670.
*** true .          /* all conclusions proved */


procedure_processzonefile_1671.
*** true .          /* all conclusions proved */


procedure_processzonefile_1672.
*** true .          /* all conclusions proved */


procedure_processzonefile_1673.
*** true .          /* all conclusions proved */


procedure_processzonefile_1674.
*** true .          /* all conclusions proved */


procedure_processzonefile_1675.
*** true .          /* all conclusions proved */


procedure_processzonefile_1676.
*** true .          /* all conclusions proved */


procedure_processzonefile_1677.
*** true .          /* all conclusions proved */


procedure_processzonefile_1678.
*** true .          /* all conclusions proved */


procedure_processzonefile_1679.
*** true .          /* all conclusions proved */


procedure_processzonefile_1680.
*** true .          /* all conclusions proved */


procedure_processzonefile_1681.
*** true .          /* all conclusions proved */


procedure_processzonefile_1682.
*** true .          /* all conclusions proved */


procedure_processzonefile_1683.
*** true .          /* all conclusions proved */


procedure_processzonefile_1684.
*** true .          /* all conclusions proved */


procedure_processzonefile_1685.
*** true .          /* all conclusions proved */


procedure_processzonefile_1686.
*** true .          /* all conclusions proved */


procedure_processzonefile_1687.
*** true .          /* all conclusions proved */


procedure_processzonefile_1688.
*** true .          /* all conclusions proved */


procedure_processzonefile_1689.
*** true .          /* all conclusions proved */


procedure_processzonefile_1690.
*** true .          /* all conclusions proved */


procedure_processzonefile_1691.
*** true .          /* all conclusions proved */


procedure_processzonefile_1692.
*** true .          /* all conclusions proved */


procedure_processzonefile_1693.
*** true .          /* all conclusions proved */


procedure_processzonefile_1694.
*** true .          /* all conclusions proved */


procedure_processzonefile_1695.
*** true .          /* all conclusions proved */


procedure_processzonefile_1696.
*** true .          /* all conclusions proved */


procedure_processzonefile_1697.
*** true .          /* all conclusions proved */


procedure_processzonefile_1698.
*** true .          /* all conclusions proved */


procedure_processzonefile_1699.
*** true .          /* all conclusions proved */


procedure_processzonefile_1700.
*** true .          /* all conclusions proved */


procedure_processzonefile_1701.
*** true .          /* all conclusions proved */


procedure_processzonefile_1702.
*** true .          /* all conclusions proved */


procedure_processzonefile_1703.
*** true .          /* all conclusions proved */


procedure_processzonefile_1704.
*** true .          /* all conclusions proved */


procedure_processzonefile_1705.
*** true .          /* all conclusions proved */


procedure_processzonefile_1706.
*** true .          /* all conclusions proved */


procedure_processzonefile_1707.
*** true .          /* all conclusions proved */


procedure_processzonefile_1708.
*** true .          /* all conclusions proved */


procedure_processzonefile_1709.
*** true .          /* all conclusions proved */


procedure_processzonefile_1710.
*** true .          /* all conclusions proved */


procedure_processzonefile_1711.
*** true .          /* all conclusions proved */


procedure_processzonefile_1712.
*** true .          /* all conclusions proved */


procedure_processzonefile_1713.
*** true .          /* all conclusions proved */


procedure_processzonefile_1714.
*** true .          /* all conclusions proved */


procedure_processzonefile_1715.
*** true .          /* all conclusions proved */


procedure_processzonefile_1716.
*** true .          /* all conclusions proved */


procedure_processzonefile_1717.
*** true .          /* all conclusions proved */


procedure_processzonefile_1718.
*** true .          /* all conclusions proved */


procedure_processzonefile_1719.
*** true .          /* all conclusions proved */


procedure_processzonefile_1720.
*** true .          /* all conclusions proved */


procedure_processzonefile_1721.
*** true .          /* all conclusions proved */


procedure_processzonefile_1722.
*** true .          /* all conclusions proved */


procedure_processzonefile_1723.
*** true .          /* all conclusions proved */


procedure_processzonefile_1724.
*** true .          /* all conclusions proved */


procedure_processzonefile_1725.
*** true .          /* all conclusions proved */


procedure_processzonefile_1726.
*** true .          /* all conclusions proved */


procedure_processzonefile_1727.
*** true .          /* all conclusions proved */


procedure_processzonefile_1728.
*** true .          /* all conclusions proved */


procedure_processzonefile_1729.
*** true .          /* all conclusions proved */


procedure_processzonefile_1730.
*** true .          /* all conclusions proved */


procedure_processzonefile_1731.
*** true .          /* all conclusions proved */


procedure_processzonefile_1732.
*** true .          /* all conclusions proved */


procedure_processzonefile_1733.
*** true .          /* all conclusions proved */


procedure_processzonefile_1734.
*** true .          /* all conclusions proved */


procedure_processzonefile_1735.
*** true .          /* all conclusions proved */


procedure_processzonefile_1736.
*** true .          /* all conclusions proved */


procedure_processzonefile_1737.
*** true .          /* all conclusions proved */


procedure_processzonefile_1738.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 270 to run-time check associated with 
          statement of line 275:

procedure_processzonefile_1739.
*** true .          /* all conclusions proved */


For path(s) from start to finish:

procedure_processzonefile_1740.
*** true .          /* all conclusions proved */


procedure_processzonefile_1741.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 96 to finish:

procedure_processzonefile_1742.
*** true .          /* all conclusions proved */


procedure_processzonefile_1743.
*** true .          /* all conclusions proved */


procedure_processzonefile_1744.
*** true .          /* all conclusions proved */


procedure_processzonefile_1745.
*** true .          /* all conclusions proved */


procedure_processzonefile_1746.
*** true .          /* all conclusions proved */


procedure_processzonefile_1747.
*** true .          /* all conclusions proved */


procedure_processzonefile_1748.
*** true .          /* all conclusions proved */


procedure_processzonefile_1749.
*** true .          /* all conclusions proved */


procedure_processzonefile_1750.
*** true .          /* all conclusions proved */


procedure_processzonefile_1751.
*** true .          /* all conclusions proved */


procedure_processzonefile_1752.
*** true .          /* all conclusions proved */


procedure_processzonefile_1753.
*** true .          /* all conclusions proved */


procedure_processzonefile_1754.
*** true .          /* all conclusions proved */


procedure_processzonefile_1755.
*** true .          /* all conclusions proved */


procedure_processzonefile_1756.
*** true .          /* all conclusions proved */


procedure_processzonefile_1757.
*** true .          /* all conclusions proved */


procedure_processzonefile_1758.
*** true .          /* all conclusions proved */


procedure_processzonefile_1759.
*** true .          /* all conclusions proved */


procedure_processzonefile_1760.
*** true .          /* all conclusions proved */


procedure_processzonefile_1761.
*** true .          /* all conclusions proved */


procedure_processzonefile_1762.
*** true .          /* all conclusions proved */


procedure_processzonefile_1763.
*** true .          /* all conclusions proved */


procedure_processzonefile_1764.
*** true .          /* all conclusions proved */


procedure_processzonefile_1765.
*** true .          /* all conclusions proved */


procedure_processzonefile_1766.
*** true .          /* all conclusions proved */


procedure_processzonefile_1767.
*** true .          /* all conclusions proved */


procedure_processzonefile_1768.
*** true .          /* all conclusions proved */


procedure_processzonefile_1769.
*** true .          /* all conclusions proved */


procedure_processzonefile_1770.
*** true .          /* all conclusions proved */


procedure_processzonefile_1771.
*** true .          /* all conclusions proved */


procedure_processzonefile_1772.
*** true .          /* all conclusions proved */


procedure_processzonefile_1773.
*** true .          /* all conclusions proved */


procedure_processzonefile_1774.
*** true .          /* all conclusions proved */


procedure_processzonefile_1775.
*** true .          /* all conclusions proved */


procedure_processzonefile_1776.
*** true .          /* all conclusions proved */


procedure_processzonefile_1777.
*** true .          /* all conclusions proved */


procedure_processzonefile_1778.
*** true .          /* all conclusions proved */


procedure_processzonefile_1779.
*** true .          /* all conclusions proved */


procedure_processzonefile_1780.
*** true .          /* all conclusions proved */


procedure_processzonefile_1781.
*** true .          /* all conclusions proved */


procedure_processzonefile_1782.
*** true .          /* all conclusions proved */


procedure_processzonefile_1783.
*** true .          /* all conclusions proved */


procedure_processzonefile_1784.
*** true .          /* all conclusions proved */


procedure_processzonefile_1785.
*** true .          /* all conclusions proved */


procedure_processzonefile_1786.
*** true .          /* all conclusions proved */


procedure_processzonefile_1787.
*** true .          /* all conclusions proved */


procedure_processzonefile_1788.
*** true .          /* all conclusions proved */


procedure_processzonefile_1789.
*** true .          /* all conclusions proved */


procedure_processzonefile_1790.
*** true .          /* all conclusions proved */


procedure_processzonefile_1791.
*** true .          /* all conclusions proved */


procedure_processzonefile_1792.
*** true .          /* all conclusions proved */


procedure_processzonefile_1793.
*** true .          /* all conclusions proved */


procedure_processzonefile_1794.
*** true .          /* all conclusions proved */


procedure_processzonefile_1795.
*** true .          /* all conclusions proved */


procedure_processzonefile_1796.
*** true .          /* all conclusions proved */


procedure_processzonefile_1797.
*** true .          /* all conclusions proved */


procedure_processzonefile_1798.
*** true .          /* all conclusions proved */


procedure_processzonefile_1799.
*** true .          /* all conclusions proved */


procedure_processzonefile_1800.
*** true .          /* all conclusions proved */


procedure_processzonefile_1801.
*** true .          /* all conclusions proved */


procedure_processzonefile_1802.
*** true .          /* all conclusions proved */


procedure_processzonefile_1803.
*** true .          /* all conclusions proved */


procedure_processzonefile_1804.
*** true .          /* all conclusions proved */


procedure_processzonefile_1805.
*** true .          /* all conclusions proved */


procedure_processzonefile_1806.
*** true .          /* all conclusions proved */


procedure_processzonefile_1807.
*** true .          /* all conclusions proved */


procedure_processzonefile_1808.
*** true .          /* all conclusions proved */


procedure_processzonefile_1809.
*** true .          /* all conclusions proved */


procedure_processzonefile_1810.
*** true .          /* all conclusions proved */


procedure_processzonefile_1811.
*** true .          /* all conclusions proved */


procedure_processzonefile_1812.
*** true .          /* all conclusions proved */


procedure_processzonefile_1813.
*** true .          /* all conclusions proved */


procedure_processzonefile_1814.
*** true .          /* all conclusions proved */


procedure_processzonefile_1815.
*** true .          /* all conclusions proved */


procedure_processzonefile_1816.
*** true .          /* all conclusions proved */


procedure_processzonefile_1817.
*** true .          /* all conclusions proved */


procedure_processzonefile_1818.
*** true .          /* all conclusions proved */


procedure_processzonefile_1819.
*** true .          /* all conclusions proved */


procedure_processzonefile_1820.
*** true .          /* all conclusions proved */


procedure_processzonefile_1821.
*** true .          /* all conclusions proved */


procedure_processzonefile_1822.
*** true .          /* all conclusions proved */


procedure_processzonefile_1823.
*** true .          /* all conclusions proved */


procedure_processzonefile_1824.
*** true .          /* all conclusions proved */


procedure_processzonefile_1825.
*** true .          /* all conclusions proved */


procedure_processzonefile_1826.
*** true .          /* all conclusions proved */


procedure_processzonefile_1827.
*** true .          /* all conclusions proved */


procedure_processzonefile_1828.
*** true .          /* all conclusions proved */


procedure_processzonefile_1829.
*** true .          /* all conclusions proved */


procedure_processzonefile_1830.
*** true .          /* all conclusions proved */


procedure_processzonefile_1831.
*** true .          /* all conclusions proved */


procedure_processzonefile_1832.
*** true .          /* all conclusions proved */


procedure_processzonefile_1833.
*** true .          /* all conclusions proved */


procedure_processzonefile_1834.
*** true .          /* all conclusions proved */


procedure_processzonefile_1835.
*** true .          /* all conclusions proved */


procedure_processzonefile_1836.
*** true .          /* all conclusions proved */


procedure_processzonefile_1837.
*** true .          /* all conclusions proved */


procedure_processzonefile_1838.
*** true .          /* all conclusions proved */


procedure_processzonefile_1839.
*** true .          /* all conclusions proved */


procedure_processzonefile_1840.
*** true .          /* all conclusions proved */


procedure_processzonefile_1841.
*** true .          /* all conclusions proved */


procedure_processzonefile_1842.
*** true .          /* all conclusions proved */


procedure_processzonefile_1843.
*** true .          /* all conclusions proved */


procedure_processzonefile_1844.
*** true .          /* all conclusions proved */


procedure_processzonefile_1845.
*** true .          /* all conclusions proved */


procedure_processzonefile_1846.
*** true .          /* all conclusions proved */


procedure_processzonefile_1847.
*** true .          /* all conclusions proved */


procedure_processzonefile_1848.
*** true .          /* all conclusions proved */


procedure_processzonefile_1849.
*** true .          /* all conclusions proved */


procedure_processzonefile_1850.
*** true .          /* all conclusions proved */


procedure_processzonefile_1851.
*** true .          /* all conclusions proved */


procedure_processzonefile_1852.
*** true .          /* all conclusions proved */


procedure_processzonefile_1853.
*** true .          /* all conclusions proved */


procedure_processzonefile_1854.
*** true .          /* all conclusions proved */


procedure_processzonefile_1855.
*** true .          /* all conclusions proved */


procedure_processzonefile_1856.
*** true .          /* all conclusions proved */


procedure_processzonefile_1857.
*** true .          /* all conclusions proved */


procedure_processzonefile_1858.
*** true .          /* all conclusions proved */


procedure_processzonefile_1859.
*** true .          /* all conclusions proved */


procedure_processzonefile_1860.
*** true .          /* all conclusions proved */


procedure_processzonefile_1861.
*** true .          /* all conclusions proved */


procedure_processzonefile_1862.
*** true .          /* all conclusions proved */


procedure_processzonefile_1863.
*** true .          /* all conclusions proved */


procedure_processzonefile_1864.
*** true .          /* all conclusions proved */


procedure_processzonefile_1865.
*** true .          /* all conclusions proved */


procedure_processzonefile_1866.
*** true .          /* all conclusions proved */


procedure_processzonefile_1867.
*** true .          /* all conclusions proved */


procedure_processzonefile_1868.
*** true .          /* all conclusions proved */


procedure_processzonefile_1869.
*** true .          /* all conclusions proved */


procedure_processzonefile_1870.
*** true .          /* all conclusions proved */


procedure_processzonefile_1871.
*** true .          /* all conclusions proved */


procedure_processzonefile_1872.
*** true .          /* all conclusions proved */


procedure_processzonefile_1873.
*** true .          /* all conclusions proved */


procedure_processzonefile_1874.
*** true .          /* all conclusions proved */


procedure_processzonefile_1875.
*** true .          /* all conclusions proved */


procedure_processzonefile_1876.
*** true .          /* all conclusions proved */


procedure_processzonefile_1877.
*** true .          /* all conclusions proved */


procedure_processzonefile_1878.
*** true .          /* all conclusions proved */


procedure_processzonefile_1879.
*** true .          /* all conclusions proved */


procedure_processzonefile_1880.
*** true .          /* all conclusions proved */


procedure_processzonefile_1881.
*** true .          /* all conclusions proved */


procedure_processzonefile_1882.
*** true .          /* all conclusions proved */


procedure_processzonefile_1883.
*** true .          /* all conclusions proved */


procedure_processzonefile_1884.
*** true .          /* all conclusions proved */


procedure_processzonefile_1885.
*** true .          /* all conclusions proved */


procedure_processzonefile_1886.
*** true .          /* all conclusions proved */


procedure_processzonefile_1887.
*** true .          /* all conclusions proved */


procedure_processzonefile_1888.
*** true .          /* all conclusions proved */


procedure_processzonefile_1889.
*** true .          /* all conclusions proved */


procedure_processzonefile_1890.
*** true .          /* all conclusions proved */


procedure_processzonefile_1891.
*** true .          /* all conclusions proved */


procedure_processzonefile_1892.
*** true .          /* all conclusions proved */


procedure_processzonefile_1893.
*** true .          /* all conclusions proved */


procedure_processzonefile_1894.
*** true .          /* all conclusions proved */


procedure_processzonefile_1895.
*** true .          /* all conclusions proved */


procedure_processzonefile_1896.
*** true .          /* all conclusions proved */


procedure_processzonefile_1897.
*** true .          /* all conclusions proved */


procedure_processzonefile_1898.
*** true .          /* all conclusions proved */


procedure_processzonefile_1899.
*** true .          /* all conclusions proved */


procedure_processzonefile_1900.
*** true .          /* all conclusions proved */


procedure_processzonefile_1901.
*** true .          /* all conclusions proved */


procedure_processzonefile_1902.
*** true .          /* all conclusions proved */


procedure_processzonefile_1903.
*** true .          /* all conclusions proved */


procedure_processzonefile_1904.
*** true .          /* all conclusions proved */


procedure_processzonefile_1905.
*** true .          /* all conclusions proved */


procedure_processzonefile_1906.
*** true .          /* all conclusions proved */


procedure_processzonefile_1907.
*** true .          /* all conclusions proved */


procedure_processzonefile_1908.
*** true .          /* all conclusions proved */


procedure_processzonefile_1909.
*** true .          /* all conclusions proved */


procedure_processzonefile_1910.
*** true .          /* all conclusions proved */


procedure_processzonefile_1911.
*** true .          /* all conclusions proved */


procedure_processzonefile_1912.
*** true .          /* all conclusions proved */


procedure_processzonefile_1913.
*** true .          /* all conclusions proved */


procedure_processzonefile_1914.
*** true .          /* all conclusions proved */


procedure_processzonefile_1915.
*** true .          /* all conclusions proved */


procedure_processzonefile_1916.
*** true .          /* all conclusions proved */


procedure_processzonefile_1917.
*** true .          /* all conclusions proved */


procedure_processzonefile_1918.
*** true .          /* all conclusions proved */


procedure_processzonefile_1919.
*** true .          /* all conclusions proved */


procedure_processzonefile_1920.
*** true .          /* all conclusions proved */


procedure_processzonefile_1921.
*** true .          /* all conclusions proved */


procedure_processzonefile_1922.
*** true .          /* all conclusions proved */


procedure_processzonefile_1923.
*** true .          /* all conclusions proved */


procedure_processzonefile_1924.
*** true .          /* all conclusions proved */


procedure_processzonefile_1925.
*** true .          /* all conclusions proved */


procedure_processzonefile_1926.
*** true .          /* all conclusions proved */


procedure_processzonefile_1927.
*** true .          /* all conclusions proved */


procedure_processzonefile_1928.
*** true .          /* all conclusions proved */


procedure_processzonefile_1929.
*** true .          /* all conclusions proved */


procedure_processzonefile_1930.
*** true .          /* all conclusions proved */


procedure_processzonefile_1931.
*** true .          /* all conclusions proved */


procedure_processzonefile_1932.
*** true .          /* all conclusions proved */


procedure_processzonefile_1933.
*** true .          /* all conclusions proved */


procedure_processzonefile_1934.
*** true .          /* all conclusions proved */


procedure_processzonefile_1935.
*** true .          /* all conclusions proved */


procedure_processzonefile_1936.
*** true .          /* all conclusions proved */


procedure_processzonefile_1937.
*** true .          /* all conclusions proved */


procedure_processzonefile_1938.
*** true .          /* all conclusions proved */


procedure_processzonefile_1939.
*** true .          /* all conclusions proved */


procedure_processzonefile_1940.
*** true .          /* all conclusions proved */


procedure_processzonefile_1941.
*** true .          /* all conclusions proved */


procedure_processzonefile_1942.
*** true .          /* all conclusions proved */


procedure_processzonefile_1943.
*** true .          /* all conclusions proved */


procedure_processzonefile_1944.
*** true .          /* all conclusions proved */


procedure_processzonefile_1945.
*** true .          /* all conclusions proved */


procedure_processzonefile_1946.
*** true .          /* all conclusions proved */


procedure_processzonefile_1947.
*** true .          /* all conclusions proved */


procedure_processzonefile_1948.
*** true .          /* all conclusions proved */


procedure_processzonefile_1949.
*** true .          /* all conclusions proved */


procedure_processzonefile_1950.
*** true .          /* all conclusions proved */


procedure_processzonefile_1951.
*** true .          /* all conclusions proved */


procedure_processzonefile_1952.
*** true .          /* all conclusions proved */


procedure_processzonefile_1953.
*** true .          /* all conclusions proved */


procedure_processzonefile_1954.
*** true .          /* all conclusions proved */


procedure_processzonefile_1955.
*** true .          /* all conclusions proved */


procedure_processzonefile_1956.
*** true .          /* all conclusions proved */


procedure_processzonefile_1957.
*** true .          /* all conclusions proved */


procedure_processzonefile_1958.
*** true .          /* all conclusions proved */


procedure_processzonefile_1959.
*** true .          /* all conclusions proved */


procedure_processzonefile_1960.
*** true .          /* all conclusions proved */


procedure_processzonefile_1961.
*** true .          /* all conclusions proved */


procedure_processzonefile_1962.
*** true .          /* all conclusions proved */


procedure_processzonefile_1963.
*** true .          /* all conclusions proved */


procedure_processzonefile_1964.
*** true .          /* all conclusions proved */


procedure_processzonefile_1965.
*** true .          /* all conclusions proved */


procedure_processzonefile_1966.
*** true .          /* all conclusions proved */


procedure_processzonefile_1967.
*** true .          /* all conclusions proved */


procedure_processzonefile_1968.
*** true .          /* all conclusions proved */


procedure_processzonefile_1969.
*** true .          /* all conclusions proved */


procedure_processzonefile_1970.
*** true .          /* all conclusions proved */


procedure_processzonefile_1971.
*** true .          /* all conclusions proved */


procedure_processzonefile_1972.
*** true .          /* all conclusions proved */


procedure_processzonefile_1973.
*** true .          /* all conclusions proved */


procedure_processzonefile_1974.
*** true .          /* all conclusions proved */


procedure_processzonefile_1975.
*** true .          /* all conclusions proved */


procedure_processzonefile_1976.
*** true .          /* all conclusions proved */


procedure_processzonefile_1977.
*** true .          /* all conclusions proved */


procedure_processzonefile_1978.
*** true .          /* all conclusions proved */


procedure_processzonefile_1979.
*** true .          /* all conclusions proved */


procedure_processzonefile_1980.
*** true .          /* all conclusions proved */


procedure_processzonefile_1981.
*** true .          /* all conclusions proved */


procedure_processzonefile_1982.
*** true .          /* all conclusions proved */


procedure_processzonefile_1983.
*** true .          /* all conclusions proved */


procedure_processzonefile_1984.
*** true .          /* all conclusions proved */


procedure_processzonefile_1985.
*** true .          /* all conclusions proved */


procedure_processzonefile_1986.
*** true .          /* all conclusions proved */


procedure_processzonefile_1987.
*** true .          /* all conclusions proved */


procedure_processzonefile_1988.
*** true .          /* all conclusions proved */


procedure_processzonefile_1989.
*** true .          /* all conclusions proved */


procedure_processzonefile_1990.
*** true .          /* all conclusions proved */


procedure_processzonefile_1991.
*** true .          /* all conclusions proved */


procedure_processzonefile_1992.
*** true .          /* all conclusions proved */


procedure_processzonefile_1993.
*** true .          /* all conclusions proved */


procedure_processzonefile_1994.
*** true .          /* all conclusions proved */


procedure_processzonefile_1995.
*** true .          /* all conclusions proved */


procedure_processzonefile_1996.
*** true .          /* all conclusions proved */


procedure_processzonefile_1997.
*** true .          /* all conclusions proved */


procedure_processzonefile_1998.
*** true .          /* all conclusions proved */


procedure_processzonefile_1999.
*** true .          /* all conclusions proved */


procedure_processzonefile_2000.
*** true .          /* all conclusions proved */


procedure_processzonefile_2001.
*** true .          /* all conclusions proved */


procedure_processzonefile_2002.
*** true .          /* all conclusions proved */


procedure_processzonefile_2003.
*** true .          /* all conclusions proved */


procedure_processzonefile_2004.
*** true .          /* all conclusions proved */


procedure_processzonefile_2005.
*** true .          /* all conclusions proved */


procedure_processzonefile_2006.
*** true .          /* all conclusions proved */


procedure_processzonefile_2007.
*** true .          /* all conclusions proved */


procedure_processzonefile_2008.
*** true .          /* all conclusions proved */


procedure_processzonefile_2009.
*** true .          /* all conclusions proved */


procedure_processzonefile_2010.
*** true .          /* all conclusions proved */


procedure_processzonefile_2011.
*** true .          /* all conclusions proved */


procedure_processzonefile_2012.
*** true .          /* all conclusions proved */


procedure_processzonefile_2013.
*** true .          /* all conclusions proved */


procedure_processzonefile_2014.
*** true .          /* all conclusions proved */


procedure_processzonefile_2015.
*** true .          /* all conclusions proved */


procedure_processzonefile_2016.
*** true .          /* all conclusions proved */


procedure_processzonefile_2017.
*** true .          /* all conclusions proved */


procedure_processzonefile_2018.
*** true .          /* all conclusions proved */


procedure_processzonefile_2019.
*** true .          /* all conclusions proved */


procedure_processzonefile_2020.
*** true .          /* all conclusions proved */


procedure_processzonefile_2021.
*** true .          /* all conclusions proved */


procedure_processzonefile_2022.
*** true .          /* all conclusions proved */


procedure_processzonefile_2023.
*** true .          /* all conclusions proved */


procedure_processzonefile_2024.
*** true .          /* all conclusions proved */


procedure_processzonefile_2025.
*** true .          /* all conclusions proved */


procedure_processzonefile_2026.
*** true .          /* all conclusions proved */


procedure_processzonefile_2027.
*** true .          /* all conclusions proved */


procedure_processzonefile_2028.
*** true .          /* all conclusions proved */


procedure_processzonefile_2029.
*** true .          /* all conclusions proved */


procedure_processzonefile_2030.
*** true .          /* all conclusions proved */


procedure_processzonefile_2031.
*** true .          /* all conclusions proved */


procedure_processzonefile_2032.
*** true .          /* all conclusions proved */


procedure_processzonefile_2033.
*** true .          /* all conclusions proved */


procedure_processzonefile_2034.
*** true .          /* all conclusions proved */


procedure_processzonefile_2035.
*** true .          /* all conclusions proved */


procedure_processzonefile_2036.
*** true .          /* all conclusions proved */


procedure_processzonefile_2037.
*** true .          /* all conclusions proved */


procedure_processzonefile_2038.
*** true .          /* all conclusions proved */


procedure_processzonefile_2039.
*** true .          /* all conclusions proved */


procedure_processzonefile_2040.
*** true .          /* all conclusions proved */


procedure_processzonefile_2041.
*** true .          /* all conclusions proved */


procedure_processzonefile_2042.
*** true .          /* all conclusions proved */


procedure_processzonefile_2043.
*** true .          /* all conclusions proved */


procedure_processzonefile_2044.
*** true .          /* all conclusions proved */


procedure_processzonefile_2045.
*** true .          /* all conclusions proved */


procedure_processzonefile_2046.
*** true .          /* all conclusions proved */


procedure_processzonefile_2047.
*** true .          /* all conclusions proved */


procedure_processzonefile_2048.
*** true .          /* all conclusions proved */


procedure_processzonefile_2049.
*** true .          /* all conclusions proved */


procedure_processzonefile_2050.
*** true .          /* all conclusions proved */


procedure_processzonefile_2051.
*** true .          /* all conclusions proved */


procedure_processzonefile_2052.
*** true .          /* all conclusions proved */


procedure_processzonefile_2053.
*** true .          /* all conclusions proved */


procedure_processzonefile_2054.
*** true .          /* all conclusions proved */


procedure_processzonefile_2055.
*** true .          /* all conclusions proved */


procedure_processzonefile_2056.
*** true .          /* all conclusions proved */


procedure_processzonefile_2057.
*** true .          /* all conclusions proved */


procedure_processzonefile_2058.
*** true .          /* all conclusions proved */


procedure_processzonefile_2059.
*** true .          /* all conclusions proved */


procedure_processzonefile_2060.
*** true .          /* all conclusions proved */


procedure_processzonefile_2061.
*** true .          /* all conclusions proved */


procedure_processzonefile_2062.
*** true .          /* all conclusions proved */


procedure_processzonefile_2063.
*** true .          /* all conclusions proved */


procedure_processzonefile_2064.
*** true .          /* all conclusions proved */


procedure_processzonefile_2065.
*** true .          /* all conclusions proved */


procedure_processzonefile_2066.
*** true .          /* all conclusions proved */


procedure_processzonefile_2067.
*** true .          /* all conclusions proved */


procedure_processzonefile_2068.
*** true .          /* all conclusions proved */


procedure_processzonefile_2069.
*** true .          /* all conclusions proved */


procedure_processzonefile_2070.
*** true .          /* all conclusions proved */


procedure_processzonefile_2071.
*** true .          /* all conclusions proved */


procedure_processzonefile_2072.
*** true .          /* all conclusions proved */


procedure_processzonefile_2073.
*** true .          /* all conclusions proved */


procedure_processzonefile_2074.
*** true .          /* all conclusions proved */


procedure_processzonefile_2075.
*** true .          /* all conclusions proved */


procedure_processzonefile_2076.
*** true .          /* all conclusions proved */


procedure_processzonefile_2077.
*** true .          /* all conclusions proved */


procedure_processzonefile_2078.
*** true .          /* all conclusions proved */


procedure_processzonefile_2079.
*** true .          /* all conclusions proved */


procedure_processzonefile_2080.
*** true .          /* all conclusions proved */


procedure_processzonefile_2081.
*** true .          /* all conclusions proved */


procedure_processzonefile_2082.
*** true .          /* all conclusions proved */


procedure_processzonefile_2083.
*** true .          /* all conclusions proved */


procedure_processzonefile_2084.
*** true .          /* all conclusions proved */


procedure_processzonefile_2085.
*** true .          /* all conclusions proved */


procedure_processzonefile_2086.
*** true .          /* all conclusions proved */


procedure_processzonefile_2087.
*** true .          /* all conclusions proved */


procedure_processzonefile_2088.
*** true .          /* all conclusions proved */


procedure_processzonefile_2089.
*** true .          /* all conclusions proved */


procedure_processzonefile_2090.
*** true .          /* all conclusions proved */


procedure_processzonefile_2091.
*** true .          /* all conclusions proved */


procedure_processzonefile_2092.
*** true .          /* all conclusions proved */


procedure_processzonefile_2093.
*** true .          /* all conclusions proved */


procedure_processzonefile_2094.
*** true .          /* all conclusions proved */


procedure_processzonefile_2095.
*** true .          /* all conclusions proved */


procedure_processzonefile_2096.
*** true .          /* all conclusions proved */


procedure_processzonefile_2097.
*** true .          /* all conclusions proved */


procedure_processzonefile_2098.
*** true .          /* all conclusions proved */


procedure_processzonefile_2099.
*** true .          /* all conclusions proved */


procedure_processzonefile_2100.
*** true .          /* all conclusions proved */


procedure_processzonefile_2101.
*** true .          /* all conclusions proved */


procedure_processzonefile_2102.
*** true .          /* all conclusions proved */


procedure_processzonefile_2103.
*** true .          /* all conclusions proved */


procedure_processzonefile_2104.
*** true .          /* all conclusions proved */


procedure_processzonefile_2105.
*** true .          /* all conclusions proved */


procedure_processzonefile_2106.
*** true .          /* all conclusions proved */


procedure_processzonefile_2107.
*** true .          /* all conclusions proved */


procedure_processzonefile_2108.
*** true .          /* all conclusions proved */


procedure_processzonefile_2109.
*** true .          /* all conclusions proved */


procedure_processzonefile_2110.
*** true .          /* all conclusions proved */


procedure_processzonefile_2111.
*** true .          /* all conclusions proved */


procedure_processzonefile_2112.
*** true .          /* all conclusions proved */


procedure_processzonefile_2113.
*** true .          /* all conclusions proved */


procedure_processzonefile_2114.
*** true .          /* all conclusions proved */


procedure_processzonefile_2115.
*** true .          /* all conclusions proved */


procedure_processzonefile_2116.
*** true .          /* all conclusions proved */


procedure_processzonefile_2117.
*** true .          /* all conclusions proved */


procedure_processzonefile_2118.
*** true .          /* all conclusions proved */


procedure_processzonefile_2119.
*** true .          /* all conclusions proved */


procedure_processzonefile_2120.
*** true .          /* all conclusions proved */


procedure_processzonefile_2121.
*** true .          /* all conclusions proved */


procedure_processzonefile_2122.
*** true .          /* all conclusions proved */


procedure_processzonefile_2123.
*** true .          /* all conclusions proved */


procedure_processzonefile_2124.
*** true .          /* all conclusions proved */


procedure_processzonefile_2125.
*** true .          /* all conclusions proved */


procedure_processzonefile_2126.
*** true .          /* all conclusions proved */


procedure_processzonefile_2127.
*** true .          /* all conclusions proved */


procedure_processzonefile_2128.
*** true .          /* all conclusions proved */


procedure_processzonefile_2129.
*** true .          /* all conclusions proved */


procedure_processzonefile_2130.
*** true .          /* all conclusions proved */


procedure_processzonefile_2131.
*** true .          /* all conclusions proved */


procedure_processzonefile_2132.
*** true .          /* all conclusions proved */


procedure_processzonefile_2133.
*** true .          /* all conclusions proved */


procedure_processzonefile_2134.
*** true .          /* all conclusions proved */


procedure_processzonefile_2135.
*** true .          /* all conclusions proved */


procedure_processzonefile_2136.
*** true .          /* all conclusions proved */


procedure_processzonefile_2137.
*** true .          /* all conclusions proved */


procedure_processzonefile_2138.
*** true .          /* all conclusions proved */


procedure_processzonefile_2139.
*** true .          /* all conclusions proved */


procedure_processzonefile_2140.
*** true .          /* all conclusions proved */


procedure_processzonefile_2141.
*** true .          /* all conclusions proved */


procedure_processzonefile_2142.
*** true .          /* all conclusions proved */


procedure_processzonefile_2143.
*** true .          /* all conclusions proved */


procedure_processzonefile_2144.
*** true .          /* all conclusions proved */


procedure_processzonefile_2145.
*** true .          /* all conclusions proved */


procedure_processzonefile_2146.
*** true .          /* all conclusions proved */


procedure_processzonefile_2147.
*** true .          /* all conclusions proved */


procedure_processzonefile_2148.
*** true .          /* all conclusions proved */


procedure_processzonefile_2149.
*** true .          /* all conclusions proved */


procedure_processzonefile_2150.
*** true .          /* all conclusions proved */


procedure_processzonefile_2151.
*** true .          /* all conclusions proved */


procedure_processzonefile_2152.
*** true .          /* all conclusions proved */


procedure_processzonefile_2153.
*** true .          /* all conclusions proved */


procedure_processzonefile_2154.
*** true .          /* all conclusions proved */


procedure_processzonefile_2155.
*** true .          /* all conclusions proved */


procedure_processzonefile_2156.
*** true .          /* all conclusions proved */


procedure_processzonefile_2157.
*** true .          /* all conclusions proved */


procedure_processzonefile_2158.
*** true .          /* all conclusions proved */


procedure_processzonefile_2159.
*** true .          /* all conclusions proved */


procedure_processzonefile_2160.
*** true .          /* all conclusions proved */


procedure_processzonefile_2161.
*** true .          /* all conclusions proved */


procedure_processzonefile_2162.
*** true .          /* all conclusions proved */


procedure_processzonefile_2163.
*** true .          /* all conclusions proved */


procedure_processzonefile_2164.
*** true .          /* all conclusions proved */


procedure_processzonefile_2165.
*** true .          /* all conclusions proved */


procedure_processzonefile_2166.
*** true .          /* all conclusions proved */


procedure_processzonefile_2167.
*** true .          /* all conclusions proved */


procedure_processzonefile_2168.
*** true .          /* all conclusions proved */


procedure_processzonefile_2169.
*** true .          /* all conclusions proved */


procedure_processzonefile_2170.
*** true .          /* all conclusions proved */


procedure_processzonefile_2171.
*** true .          /* all conclusions proved */


procedure_processzonefile_2172.
*** true .          /* all conclusions proved */


procedure_processzonefile_2173.
*** true .          /* all conclusions proved */


procedure_processzonefile_2174.
*** true .          /* all conclusions proved */


procedure_processzonefile_2175.
*** true .          /* all conclusions proved */


procedure_processzonefile_2176.
*** true .          /* all conclusions proved */


procedure_processzonefile_2177.
*** true .          /* all conclusions proved */


procedure_processzonefile_2178.
*** true .          /* all conclusions proved */


procedure_processzonefile_2179.
*** true .          /* all conclusions proved */


procedure_processzonefile_2180.
*** true .          /* all conclusions proved */


procedure_processzonefile_2181.
*** true .          /* all conclusions proved */


procedure_processzonefile_2182.
*** true .          /* all conclusions proved */


procedure_processzonefile_2183.
*** true .          /* all conclusions proved */


procedure_processzonefile_2184.
*** true .          /* all conclusions proved */


procedure_processzonefile_2185.
*** true .          /* all conclusions proved */


procedure_processzonefile_2186.
*** true .          /* all conclusions proved */


procedure_processzonefile_2187.
*** true .          /* all conclusions proved */


procedure_processzonefile_2188.
*** true .          /* all conclusions proved */


procedure_processzonefile_2189.
*** true .          /* all conclusions proved */


procedure_processzonefile_2190.
*** true .          /* all conclusions proved */


procedure_processzonefile_2191.
*** true .          /* all conclusions proved */


procedure_processzonefile_2192.
*** true .          /* all conclusions proved */


procedure_processzonefile_2193.
*** true .          /* all conclusions proved */


procedure_processzonefile_2194.
*** true .          /* all conclusions proved */


procedure_processzonefile_2195.
*** true .          /* all conclusions proved */


procedure_processzonefile_2196.
*** true .          /* all conclusions proved */


procedure_processzonefile_2197.
*** true .          /* all conclusions proved */


procedure_processzonefile_2198.
*** true .          /* all conclusions proved */


procedure_processzonefile_2199.
*** true .          /* all conclusions proved */


procedure_processzonefile_2200.
*** true .          /* all conclusions proved */


procedure_processzonefile_2201.
*** true .          /* all conclusions proved */


procedure_processzonefile_2202.
*** true .          /* all conclusions proved */


procedure_processzonefile_2203.
*** true .          /* all conclusions proved */


procedure_processzonefile_2204.
*** true .          /* all conclusions proved */


procedure_processzonefile_2205.
*** true .          /* all conclusions proved */


procedure_processzonefile_2206.
*** true .          /* all conclusions proved */


procedure_processzonefile_2207.
*** true .          /* all conclusions proved */


procedure_processzonefile_2208.
*** true .          /* all conclusions proved */


procedure_processzonefile_2209.
*** true .          /* all conclusions proved */


procedure_processzonefile_2210.
*** true .          /* all conclusions proved */


procedure_processzonefile_2211.
*** true .          /* all conclusions proved */


procedure_processzonefile_2212.
*** true .          /* all conclusions proved */


procedure_processzonefile_2213.
*** true .          /* all conclusions proved */


procedure_processzonefile_2214.
*** true .          /* all conclusions proved */


procedure_processzonefile_2215.
*** true .          /* all conclusions proved */


procedure_processzonefile_2216.
*** true .          /* all conclusions proved */


procedure_processzonefile_2217.
*** true .          /* all conclusions proved */


procedure_processzonefile_2218.
*** true .          /* all conclusions proved */


procedure_processzonefile_2219.
*** true .          /* all conclusions proved */


procedure_processzonefile_2220.
*** true .          /* all conclusions proved */


procedure_processzonefile_2221.
*** true .          /* all conclusions proved */


procedure_processzonefile_2222.
*** true .          /* all conclusions proved */


procedure_processzonefile_2223.
*** true .          /* all conclusions proved */


procedure_processzonefile_2224.
*** true .          /* all conclusions proved */


procedure_processzonefile_2225.
*** true .          /* all conclusions proved */


procedure_processzonefile_2226.
*** true .          /* all conclusions proved */


procedure_processzonefile_2227.
*** true .          /* all conclusions proved */


procedure_processzonefile_2228.
*** true .          /* all conclusions proved */


procedure_processzonefile_2229.
*** true .          /* all conclusions proved */


procedure_processzonefile_2230.
*** true .          /* all conclusions proved */


procedure_processzonefile_2231.
*** true .          /* all conclusions proved */


procedure_processzonefile_2232.
*** true .          /* all conclusions proved */


procedure_processzonefile_2233.
*** true .          /* all conclusions proved */


procedure_processzonefile_2234.
*** true .          /* all conclusions proved */


procedure_processzonefile_2235.
*** true .          /* all conclusions proved */


procedure_processzonefile_2236.
*** true .          /* all conclusions proved */


procedure_processzonefile_2237.
*** true .          /* all conclusions proved */


procedure_processzonefile_2238.
*** true .          /* all conclusions proved */


procedure_processzonefile_2239.
*** true .          /* all conclusions proved */


procedure_processzonefile_2240.
*** true .          /* all conclusions proved */


procedure_processzonefile_2241.
*** true .          /* all conclusions proved */


procedure_processzonefile_2242.
*** true .          /* all conclusions proved */


procedure_processzonefile_2243.
*** true .          /* all conclusions proved */


procedure_processzonefile_2244.
*** true .          /* all conclusions proved */


procedure_processzonefile_2245.
*** true .          /* all conclusions proved */


procedure_processzonefile_2246.
*** true .          /* all conclusions proved */


procedure_processzonefile_2247.
*** true .          /* all conclusions proved */


procedure_processzonefile_2248.
*** true .          /* all conclusions proved */


procedure_processzonefile_2249.
*** true .          /* all conclusions proved */


procedure_processzonefile_2250.
*** true .          /* all conclusions proved */


procedure_processzonefile_2251.
*** true .          /* all conclusions proved */


procedure_processzonefile_2252.
*** true .          /* all conclusions proved */


procedure_processzonefile_2253.
*** true .          /* all conclusions proved */


procedure_processzonefile_2254.
*** true .          /* all conclusions proved */


procedure_processzonefile_2255.
*** true .          /* all conclusions proved */


procedure_processzonefile_2256.
*** true .          /* all conclusions proved */


procedure_processzonefile_2257.
*** true .          /* all conclusions proved */


procedure_processzonefile_2258.
*** true .          /* all conclusions proved */


procedure_processzonefile_2259.
*** true .          /* all conclusions proved */


procedure_processzonefile_2260.
*** true .          /* all conclusions proved */


procedure_processzonefile_2261.
*** true .          /* all conclusions proved */


procedure_processzonefile_2262.
*** true .          /* all conclusions proved */


procedure_processzonefile_2263.
*** true .          /* all conclusions proved */


procedure_processzonefile_2264.
*** true .          /* all conclusions proved */


procedure_processzonefile_2265.
*** true .          /* all conclusions proved */


procedure_processzonefile_2266.
*** true .          /* all conclusions proved */


procedure_processzonefile_2267.
*** true .          /* all conclusions proved */


procedure_processzonefile_2268.
*** true .          /* all conclusions proved */


procedure_processzonefile_2269.
*** true .          /* all conclusions proved */


procedure_processzonefile_2270.
*** true .          /* all conclusions proved */


procedure_processzonefile_2271.
*** true .          /* all conclusions proved */


procedure_processzonefile_2272.
*** true .          /* all conclusions proved */


procedure_processzonefile_2273.
*** true .          /* all conclusions proved */


procedure_processzonefile_2274.
*** true .          /* all conclusions proved */


procedure_processzonefile_2275.
*** true .          /* all conclusions proved */


procedure_processzonefile_2276.
*** true .          /* all conclusions proved */


procedure_processzonefile_2277.
*** true .          /* all conclusions proved */


procedure_processzonefile_2278.
*** true .          /* all conclusions proved */


procedure_processzonefile_2279.
*** true .          /* all conclusions proved */


procedure_processzonefile_2280.
*** true .          /* all conclusions proved */


procedure_processzonefile_2281.
*** true .          /* all conclusions proved */


procedure_processzonefile_2282.
*** true .          /* all conclusions proved */


procedure_processzonefile_2283.
*** true .          /* all conclusions proved */


procedure_processzonefile_2284.
*** true .          /* all conclusions proved */


procedure_processzonefile_2285.
*** true .          /* all conclusions proved */


procedure_processzonefile_2286.
*** true .          /* all conclusions proved */


procedure_processzonefile_2287.
*** true .          /* all conclusions proved */


procedure_processzonefile_2288.
*** true .          /* all conclusions proved */


procedure_processzonefile_2289.
*** true .          /* all conclusions proved */


procedure_processzonefile_2290.
*** true .          /* all conclusions proved */


procedure_processzonefile_2291.
*** true .          /* all conclusions proved */


procedure_processzonefile_2292.
*** true .          /* all conclusions proved */


procedure_processzonefile_2293.
*** true .          /* all conclusions proved */


procedure_processzonefile_2294.
*** true .          /* all conclusions proved */


procedure_processzonefile_2295.
*** true .          /* all conclusions proved */


procedure_processzonefile_2296.
*** true .          /* all conclusions proved */


procedure_processzonefile_2297.
*** true .          /* all conclusions proved */


procedure_processzonefile_2298.
*** true .          /* all conclusions proved */


procedure_processzonefile_2299.
*** true .          /* all conclusions proved */


procedure_processzonefile_2300.
*** true .          /* all conclusions proved */


procedure_processzonefile_2301.
*** true .          /* all conclusions proved */


procedure_processzonefile_2302.
*** true .          /* all conclusions proved */


procedure_processzonefile_2303.
*** true .          /* all conclusions proved */


procedure_processzonefile_2304.
*** true .          /* all conclusions proved */


procedure_processzonefile_2305.
*** true .          /* all conclusions proved */


procedure_processzonefile_2306.
*** true .          /* all conclusions proved */


procedure_processzonefile_2307.
*** true .          /* all conclusions proved */


procedure_processzonefile_2308.
*** true .          /* all conclusions proved */


procedure_processzonefile_2309.
*** true .          /* all conclusions proved */


procedure_processzonefile_2310.
*** true .          /* all conclusions proved */


procedure_processzonefile_2311.
*** true .          /* all conclusions proved */


procedure_processzonefile_2312.
*** true .          /* all conclusions proved */


procedure_processzonefile_2313.
*** true .          /* all conclusions proved */


procedure_processzonefile_2314.
*** true .          /* all conclusions proved */


procedure_processzonefile_2315.
*** true .          /* all conclusions proved */


procedure_processzonefile_2316.
*** true .          /* all conclusions proved */


procedure_processzonefile_2317.
*** true .          /* all conclusions proved */


procedure_processzonefile_2318.
*** true .          /* all conclusions proved */


procedure_processzonefile_2319.
*** true .          /* all conclusions proved */


procedure_processzonefile_2320.
*** true .          /* all conclusions proved */


procedure_processzonefile_2321.
*** true .          /* all conclusions proved */


procedure_processzonefile_2322.
*** true .          /* all conclusions proved */


procedure_processzonefile_2323.
*** true .          /* all conclusions proved */


procedure_processzonefile_2324.
*** true .          /* all conclusions proved */


procedure_processzonefile_2325.
*** true .          /* all conclusions proved */


procedure_processzonefile_2326.
*** true .          /* all conclusions proved */


procedure_processzonefile_2327.
*** true .          /* all conclusions proved */


procedure_processzonefile_2328.
*** true .          /* all conclusions proved */


procedure_processzonefile_2329.
*** true .          /* all conclusions proved */


procedure_processzonefile_2330.
*** true .          /* all conclusions proved */


procedure_processzonefile_2331.
*** true .          /* all conclusions proved */


procedure_processzonefile_2332.
*** true .          /* all conclusions proved */


procedure_processzonefile_2333.
*** true .          /* all conclusions proved */


procedure_processzonefile_2334.
*** true .          /* all conclusions proved */


procedure_processzonefile_2335.
*** true .          /* all conclusions proved */


procedure_processzonefile_2336.
*** true .          /* all conclusions proved */


procedure_processzonefile_2337.
*** true .          /* all conclusions proved */


procedure_processzonefile_2338.
*** true .          /* all conclusions proved */


procedure_processzonefile_2339.
*** true .          /* all conclusions proved */


procedure_processzonefile_2340.
*** true .          /* all conclusions proved */


procedure_processzonefile_2341.
*** true .          /* all conclusions proved */


procedure_processzonefile_2342.
*** true .          /* all conclusions proved */


procedure_processzonefile_2343.
*** true .          /* all conclusions proved */


procedure_processzonefile_2344.
*** true .          /* all conclusions proved */


procedure_processzonefile_2345.
*** true .          /* all conclusions proved */


procedure_processzonefile_2346.
*** true .          /* all conclusions proved */


procedure_processzonefile_2347.
*** true .          /* all conclusions proved */


procedure_processzonefile_2348.
*** true .          /* all conclusions proved */


procedure_processzonefile_2349.
*** true .          /* all conclusions proved */


procedure_processzonefile_2350.
*** true .          /* all conclusions proved */


For path(s) from assertion of line 270 to finish:

procedure_processzonefile_2351.
*** true .          /* all conclusions proved */


