EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltsta_alg02/s20274.dev (10,663 bytes)
     94000 	 -1 	 0 	 1
    111500 	 -1 	 0 	 0
    134000 	 -2 	 -113 	 1
    140000 	 -2 	 -139 	 0
    162500 	 -3 	 0 	 1
    163500 	 -3 	 0 	 0
    385500 	 -1 	 0 	 1
    386500 	 -1 	 0 	 0
    433000 	 -2 	 -65 	 0
    443000 	 -3 	 0 	 0
    451000 	 -1 	 0 	 0
    467000 	 -2 	 -76 	 0
    483500 	 -3 	 0 	 0
    495000 	 -1 	 0 	 0
    512000 	 -2 	 -220 	 1
    525500 	 -2 	 -162 	 0
    576500 	 -3 	 0 	 0
    576500 	 -3 	 0 	 1
   1047500 	 -1 	 0 	 1
   1077000 	 -2 	 -99 	 1
   1092000 	 -3 	 0 	 1
   1118500 	 -1 	 0 	 1
   1144500 	 -1 	 0 	 0
   1167500 	 -2 	 0 	 1
   1168500 	 -2 	 0 	 0
   1183500 	 -3 	 0 	 0
   1186500 	 -3 	 0 	 1
   1303500 	 -1 	 0 	 1
   1336000 	 -2 	 -103 	 1
   1343500 	 -3 	 0 	 1
   1503500 	 -1 	 0 	 1
   1505000 	 -1 	 0 	 0
   1535500 	 -2 	 -110 	 0
   1537000 	 -2 	 -140 	 1
   1549000 	 -3 	 0 	 0
   1553500 	 -3 	 0 	 1
   2606000 	 -1 	 0 	 1
   2615000 	 -1 	 0 	 0
   2646500 	 -2 	 0 	 1
   2647500 	 -2 	 0 	 0
   2668000 	 -3 	 0 	 1
   2668500 	 -3 	 0 	 0
   2805500 	 -1 	 0 	 1
   2819000 	 -2 	 -76 	 1
   2826500 	 -3 	 0 	 1
   3008000 	 -1 	 0 	 1
   3032000 	 -2 	 -97 	 1
   3068000 	 -3 	 0 	 1
   3197000 	 -1 	 0 	 1
   3205500 	 -1 	 0 	 0
   3217000 	 -2 	 -81 	 0
   3221500 	 -2 	 -75 	 1
   3238000 	 -3 	 0 	 0
   3241500 	 -3 	 0 	 1
   3717000 	 -1 	 0 	 1
   3744500 	 -1 	 0 	 0
   3756000 	 -2 	 -111 	 0
   3760000 	 -2 	 -275 	 1
   3773000 	 -3 	 0 	 0
   3807000 	 -3 	 0 	 1
   4156000 	 -1 	 0 	 1
   4171000 	 -2 	 -74 	 1
   4182500 	 -3 	 0 	 1
   4232000 	 -1 	 0 	 1
   4237000 	 -2 	 -88 	 1
   4245500 	 -3 	 0 	 1
   4255500 	 -1 	 0 	 1
   4293000 	 -1 	 0 	 0
   4307500 	 -2 	 -136 	 0
   4307500 	 -2 	 -217 	 1
   4339000 	 -3 	 0 	 0
   4362500 	 -3 	 0 	 1
   4699500 	 -1 	 0 	 1
   4721000 	 -1 	 0 	 0
   4752000 	 -2 	 -141 	 0
   4752000 	 -2 	 -200 	 1
   4762500 	 -3 	 0 	 0
   4768000 	 -3 	 0 	 1
   5095000 	 -1 	 0 	 1
   5098500 	 -2 	 -59 	 1
   5121500 	 -3 	 0 	 1
   5129000 	 -1 	 0 	 1
   5154500 	 -2 	 -83 	 1
   5158500 	 -3 	 0 	 1
   5168000 	 -1 	 0 	 1
   5172000 	 -2 	 -116 	 1
   5242500 	 -3 	 0 	 1
   5271500 	 -1 	 0 	 1
   5287000 	 -2 	 -130 	 1
   5296000 	 -3 	 0 	 1
   5329000 	 -1 	 0 	 1
   5353000 	 -2 	 -133 	 1
   5361000 	 -3 	 0 	 1
   5500500 	 -1 	 0 	 0
   5507000 	 -1 	 0 	 1
   5522000 	 -2 	 -102 	 0
   5526500 	 -3 	 0 	 0
   5535000 	 -1 	 0 	 0
   5571500 	 -2 	 -184 	 0
   5571500 	 -2 	 -285 	 1
   5685500 	 -3 	 0 	 0
   5713000 	 -3 	 0 	 1
   5809000 	 -1 	 0 	 1
   5810500 	 -1 	 0 	 0
   5927000 	 -2 	 -149 	 0
   5927000 	 -2 	 -301 	 1
   6062500 	 -3 	 0 	 0
   6136500 	 -3 	 0 	 1
   6183500 	 -1 	 0 	 1
   6250500 	 -1 	 0 	 0
   6270500 	 -2 	 -329 	 1
   6272500 	 -2 	 -143 	 0
   6445500 	 -3 	 0 	 0
   6471000 	 -3 	 0 	 1
   6515500 	 -1 	 0 	 1
   6523500 	 -2 	 -46 	 1
   6527000 	 -3 	 0 	 1
   6536000 	 -1 	 0 	 1
   6543500 	 -2 	 -42 	 1
   6548000 	 -3 	 0 	 1
   6585500 	 -1 	 0 	 1
   6589500 	 -2 	 -93 	 1
   6600500 	 -3 	 0 	 1
   6645000 	 -1 	 0 	 1
   6657000 	 -2 	 -72 	 1
   6669000 	 -3 	 0 	 1
   6684000 	 -1 	 0 	 1
   6698000 	 -1 	 0 	 0
   6738500 	 -2 	 -142 	 0
   6821000 	 -3 	 0 	 0
   6855500 	 -1 	 0 	 0
   6878500 	 -2 	 -280 	 1
   6879500 	 -2 	 -161 	 0
   6947000 	 -3 	 0 	 0
   6977000 	 -3 	 0 	 1
   7061000 	 -1 	 0 	 1
   7098000 	 -1 	 0 	 0
   7138000 	 -2 	 -155 	 0
   7145500 	 -2 	 -255 	 1
   7245000 	 -3 	 0 	 0
   7266500 	 -3 	 0 	 1
   7409000 	 -1 	 0 	 0
   7411500 	 -1 	 0 	 1
   7469000 	 -2 	 -286 	 1
   7469500 	 -2 	 -187 	 0
   7524500 	 -3 	 0 	 0
   7540000 	 -3 	 0 	 1
   7809000 	 -1 	 0 	 1
   7820000 	 -1 	 0 	 0
   7824500 	 -2 	 -122 	 0
   7829000 	 -3 	 0 	 0
   7838000 	 -1 	 0 	 0
   7863000 	 -2 	 -210 	 0
   7867000 	 -2 	 -289 	 1
   7961500 	 -3 	 0 	 0
   7976500 	 -3 	 0 	 1
   8009500 	 -1 	 0 	 1
   8016000 	 -2 	 -121 	 1
   8023000 	 -3 	 0 	 1
   8106000 	 -1 	 0 	 1
   8188000 	 -1 	 0 	 0
   8226500 	 -2 	 -231 	 1
   8235000 	 -2 	 -196 	 0
   8257000 	 -3 	 0 	 1
   8258500 	 -3 	 0 	 0
   8683500 	 -1 	 0 	 1
   8705000 	 -1 	 0 	 0
   8738000 	 -2 	 -140 	 0
   8739000 	 -2 	 -217 	 1
   8825000 	 -3 	 0 	 0
   8948500 	 -3 	 0 	 1
   9241000 	 -1 	 0 	 1
   9250500 	 -1 	 0 	 0
   9273500 	 -2 	 -267 	 1
   9275500 	 -2 	 -133 	 0
   9307000 	 -3 	 0 	 0
   9313000 	 -3 	 0 	 1
   9767000 	 -1 	 0 	 1
   9773000 	 -1 	 0 	 0
   9783000 	 -2 	 99 	 0
   9789000 	 -3 	 0 	 0
   9809000 	 -1 	 0 	 0
   9839500 	 -2 	 -109 	 0
   9839500 	 -2 	 -205 	 1
   9904000 	 -3 	 0 	 1
   9918500 	 -3 	 0 	 0
  10081500 	 -1 	 0 	 1
  10097500 	 -2 	 177 	 1
  10106500 	 -3 	 0 	 1
  10140000 	 -1 	 0 	 1
  10191500 	 -1 	 0 	 0
  10202000 	 -2 	 -294 	 1
  10209000 	 -2 	 -151 	 0
  10235500 	 -3 	 0 	 0
  10261500 	 -3 	 0 	 1
  10282500 	 -1 	 0 	 1
  10298000 	 -2 	 58 	 1
  10301000 	 -3 	 0 	 1
  10666000 	 -1 	 0 	 0
  10690500 	 -2 	 127 	 0
  10701500 	 -3 	 0 	 0
  10704000 	 -1 	 0 	 1
  10709000 	 -1 	 0 	 0
  10711000 	 -2 	 -231 	 1
  10716000 	 -2 	 -133 	 0
  10748000 	 -3 	 0 	 0
  10789500 	 -3 	 0 	 1
  11011000 	 -1 	 0 	 1
  11013500 	 -2 	 112 	 1
  11058000 	 -3 	 0 	 1
  11494500 	 -1 	 0 	 1
  11521500 	 -1 	 0 	 0
  11541000 	 -2 	 -198 	 1
  11544000 	 -2 	 -132 	 0
  11567500 	 -3 	 0 	 0
  11580500 	 -3 	 0 	 1
  11951500 	 -1 	 0 	 1
  11964000 	 -1 	 0 	 0
  11974500 	 -2 	 -182 	 1
  11983000 	 -2 	 -107 	 0
  11997500 	 -3 	 0 	 1
  12002000 	 -3 	 0 	 0
  12071500 	 -1 	 0 	 1
  12072000 	 -1 	 0 	 0
  12101500 	 -2 	 -99 	 0
  12106500 	 -2 	 -163 	 1
  12116500 	 -3 	 0 	 0
  12119000 	 -3 	 0 	 1
  12419000 	 -1 	 0 	 1
  12430500 	 -1 	 0 	 0
  12456500 	 -2 	 -110 	 0
  12456500 	 -2 	 -186 	 1
  12475500 	 -3 	 0 	 0
  12479500 	 -3 	 0 	 1
  13255000 	 -1 	 0 	 1
  13282000 	 -1 	 0 	 0
  13295000 	 -2 	 -211 	 1
  13297000 	 -2 	 -102 	 0
  13312000 	 -3 	 0 	 0
  13319500 	 -3 	 0 	 1
  13883500 	 -1 	 0 	 1
  13902500 	 -1 	 0 	 0
  13907500 	 -2 	 55 	 0
  13907500 	 -2 	 66 	 1
  13915500 	 -3 	 0 	 0
  13920000 	 -3 	 0 	 1
  13932000 	 -1 	 0 	 1
  13947000 	 -2 	 -123 	 1
  13952000 	 -3 	 0 	 1
  13961000 	 -1 	 0 	 1
  13985500 	 -1 	 0 	 0
  14006500 	 -2 	 -323 	 1
  14024500 	 -2 	 -174 	 0
  14040500 	 -3 	 0 	 1
  14060000 	 -3 	 0 	 0
  14063000 	 -1 	 0 	 1
  14066000 	 -2 	 -178 	 1
  14108500 	 -3 	 0 	 1
  14261500 	 -1 	 0 	 1
  14286500 	 -2 	 -142 	 1
  14304500 	 -3 	 0 	 1
  14571500 	 -1 	 0 	 1
  14604000 	 -1 	 0 	 0
  14618000 	 -2 	 -255 	 1
  14628500 	 -2 	 -111 	 0
  14647000 	 -3 	 0 	 0
  14654500 	 -3 	 0 	 1
  15424500 	 -1 	 0 	 1
  15454500 	 -1 	 0 	 0
  15456000 	 -2 	 -121 	 1
  15493000 	 -2 	 -105 	 0
  15529000 	 -3 	 0 	 1
  15540500 	 -1 	 0 	 1
  15545000 	 -2 	 -133 	 1
  15553000 	 -3 	 0 	 0
  15559000 	 -3 	 0 	 1
  15631000 	 -1 	 0 	 1
  15636000 	 -2 	 -109 	 1
  15660000 	 -3 	 0 	 1
  15676000 	 -1 	 0 	 1
  15692000 	 -2 	 -151 	 1
  15700000 	 -3 	 0 	 1
  15793000 	 -1 	 0 	 1
  15818000 	 -1 	 0 	 0
  15847000 	 -2 	 -145 	 0
  15854500 	 -2 	 -250 	 1
  15875000 	 -3 	 0 	 0
  15877000 	 -3 	 0 	 1
  15906500 	 -1 	 0 	 1
  15909500 	 -2 	 -46 	 1
  15919500 	 -3 	 0 	 1
  16251000 	 -1 	 0 	 1
  16280000 	 -1 	 0 	 0
  16295500 	 -2 	 -158 	 1
  16306500 	 -2 	 -129 	 0
  16322500 	 -3 	 0 	 0
  16329500 	 -3 	 0 	 1
  16365500 	 -1 	 0 	 1
  16371500 	 -2 	 -78 	 1
  16377500 	 -3 	 0 	 1
  16452500 	 -1 	 0 	 1
  16467500 	 -2 	 -98 	 1
  16475500 	 -3 	 0 	 1
  16490000 	 -1 	 0 	 1
  16516000 	 -2 	 -81 	 1
  16530000 	 -3 	 0 	 1
  16554500 	 -1 	 0 	 1
  16575000 	 -2 	 -119 	 1
  16608000 	 -3 	 0 	 1
  16727000 	 -1 	 0 	 1
  16732000 	 -2 	 -90 	 1
  16779000 	 -3 	 0 	 1
  16804500 	 -1 	 0 	 1
  16839000 	 -1 	 0 	 0
  16853500 	 -2 	 118 	 0
  16857500 	 -3 	 0 	 0
  16877500 	 -1 	 0 	 0
  16904000 	 -2 	 -165 	 0
  16904000 	 -2 	 -237 	 1
  17004000 	 -3 	 0 	 0
  17031500 	 -3 	 0 	 1
  17180500 	 -1 	 0 	 1
  17205000 	 -2 	 -60 	 1
  17209500 	 -3 	 0 	 1
  17229500 	 -1 	 0 	 1
  17271000 	 -1 	 0 	 0
  17278500 	 -2 	 194 	 0
  17295500 	 -3 	 0 	 0
  17309000 	 -1 	 0 	 0
  17370500 	 -2 	 -275 	 1
  17451500 	 -2 	 -135 	 0
  17492000 	 -3 	 0 	 0
  17558000 	 -3 	 0 	 1
  17604500 	 -1 	 0 	 1
  17645000 	 -1 	 0 	 0
  17666500 	 -2 	 -156 	 0
  17667000 	 -2 	 -266 	 1
  17777500 	 -3 	 0 	 0
  17797500 	 -3 	 0 	 1
  17886000 	 -1 	 0 	 1
  17995500 	 -1 	 0 	 0
  18000000 	 -2 	 -161 	 1
  18010500 	 -2 	 -79 	 0
  18016000 	 -3 	 0 	 0
  18020000 	 -3 	 0 	 1
  18037000 	 -1 	 0 	 1
  18045500 	 -1 	 0 	 0
  18058000 	 -2 	 -31 	 0
  18058000 	 -2 	 -94 	 1
  18118000 	 -3 	 0 	 0
  18119000 	 -3 	 0 	 1
  18159000 	 -1 	 0 	 1
  18164500 	 -2 	 -61 	 1
  18177500 	 -3 	 0 	 1
  18211000 	 -1 	 0 	 1
  18211500 	 -1 	 0 	 0
  18237500 	 -2 	 -89 	 0
  18256000 	 -2 	 -139 	 1
  18279500 	 -3 	 0 	 0
  18289500 	 -3 	 0 	 1
  18297500 	 -1 	 0 	 1
  18306500 	 -2 	 -113 	 1
  18323000 	 -3 	 0 	 1
  18335000 	 -1 	 0 	 1
  18426000 	 -1 	 0 	 0
  18441000 	 -2 	 -138 	 1
  18459000 	 -2 	 -69 	 0
  18485000 	 -3 	 0 	 0
  18486000 	 -3 	 0 	 1
  18499500 	 -1 	 0 	 1
  18542500 	 -2 	 -36 	 1
  18595500 	 -3 	 0 	 1
  18616000 	 -1 	 0 	 1
  18616500 	 -1 	 0 	 0
  18648500 	 -2 	 -150 	 0
  18648500 	 -2 	 -171 	 1
  18750000 	 -3 	 0 	 0
  18751000 	 -3 	 0 	 1
  18791500 	 -1 	 0 	 1
  18795000 	 -2 	 -68 	 1
  18835000 	 -3 	 0 	 1
  18846000 	 -1 	 0 	 1
  18861000 	 -2 	 -90 	 1
  18920500 	 -3 	 0 	 1
  18945500 	 -1 	 0 	 1
  18954500 	 -2 	 -82 	 1
  18975000 	 -3 	 0 	 1
  18987000 	 -1 	 0 	 1
  18989000 	 -1 	 0 	 0
  19022000 	 -2 	 -210 	 1
  19024500 	 -2 	 -132 	 0
  19060000 	 -3 	 0 	 1
  19060500 	 -3 	 0 	 0
  19071500 	 -1 	 0 	 1
  19110500 	 -2 	 -168 	 1
  19152500 	 -3 	 0 	 1
  19397500 	 -1 	 0 	 1
  19403000 	 -2 	 -53 	 1
  19415000 	 -3 	 0 	 1
  19467000 	 -1 	 0 	 1
  19473500 	 -2 	 -58 	 1
  19477500 	 -3 	 0 	 1
  19489000 	 -1 	 0 	 1
  19521500 	 -1 	 0 	 0
  19554000 	 -2 	 -109 	 1
  19556000 	 -2 	 -74 	 0
  19590500 	 -3 	 0 	 0
  19611000 	 -3 	 0 	 1
  19697000 	 -1 	 0 	 1
  19707500 	 -2 	 -115 	 1
  19712000 	 -3 	 0 	 1
  19721500 	 -1 	 0 	 1
  19724000 	 -1 	 0 	 0
  19739000 	 -2 	 -105 	 0
  19739000 	 -2 	 -120 	 1
  19781500 	 -3 	 0 	 0
  19827000 	 -3 	 0 	 1
  20179500 	 -1 	 0 	 1
  20181500 	 -1 	 0 	 0
  20205000 	 -2 	 -137 	 0
  20205000 	 -2 	 -204 	 1
  20250500 	 -3 	 0 	 0
  20422000 	 -3 	 0 	 1
  20528500 	 -1 	 0 	 1
  20537500 	 -1 	 0 	 0
  20554500 	 -2 	 -64 	 0
  20558000 	 -2 	 -39 	 1
  20567500 	 -3 	 0 	 0
  20569500 	 -3 	 0 	 1