diff options
-rw-r--r-- | Makefile | 3 | ||||
-rw-r--r-- | frontend/parser.mly | 11 | ||||
-rw-r--r-- | interpret/interpret.ml | 38 | ||||
-rw-r--r-- | tests/Makefile | 1 | ||||
-rw-r--r-- | tests/result/abro.out | 129 | ||||
-rw-r--r-- | tests/result/cosinus.out | 7000 | ||||
-rw-r--r-- | tests/source/abro.scade | 31 | ||||
-rw-r--r-- | tests/source/cosinus.scade | 2 |
8 files changed, 205 insertions, 7010 deletions
@@ -32,7 +32,8 @@ all: $(BIN) $(BIN): $(SRC) ocamlbuild -Is $(SRCDIRS) -cflags '-I +zarith -I +apron -I +gmp -I +str' \ -lflags '-I +zarith -I +apron -I +gmp -I +str str.cmxa zarith.cmxa bigarray.cmxa gmp.cmxa apron.cmxa polkaMPQ.cmxa unix.cmxa' \ - main.native + main.native \ + -classic-display mv main.native $(BIN) clean: diff --git a/frontend/parser.mly b/frontend/parser.mly index 4e010ec..84dcd15 100644 --- a/frontend/parser.mly +++ b/frontend/parser.mly @@ -127,6 +127,17 @@ state: body = b; until = until; } } +| i=boption(INITIAL) STATE n=IDENT + unless=trans(UNLESS) + b=ext(eqn) SEMICOLON + until=trans(UNTIL) +{ if unless <> [] then failwith "UNLESS transitions not supported."; + { initial = i; + st_name = n; + st_locals = []; + body = [b]; + until = until; +} } trans(TT): | TT t=nonempty_list(terminated(transition, SEMICOLON)) { t } diff --git a/interpret/interpret.ml b/interpret/interpret.ml index dd0ffb0..8bdf650 100644 --- a/interpret/interpret.ml +++ b/interpret/interpret.ml @@ -243,7 +243,9 @@ end = struct let do_eq (e, _) = match e with | AST_assign(_, e) | AST_assume(_, e) | AST_guarantee(_, e) -> do_exp e | AST_automaton (aid, states, _) -> - let (init_state, _) = List.find (fun (st, _) -> st.initial) states in + let (init_state, _) = + try List.find (fun (st, _) -> st.initial) states + with Not_found -> error "No initial state for automaton!" in Hashtbl.replace env.vars (node^"/"^aid^".state") (VState init_state.st_name); List.iter (fun (st, _) -> reset_scope env (node, aid^"."^st.st_name^".", st.body)) @@ -317,7 +319,10 @@ end = struct Hashtbl.replace env.vars (node^"/"^id) (VCalc (needed t))) vars | AST_automaton(aid, states, vars) -> - let asn = match VarMap.find (node^"/"^aid^".state") env.st.save with + let asn = + match try VarMap.find (node^"/"^aid^".state") env.st.save + with Not_found -> assert false + with | VState s -> s | _ -> assert false in @@ -354,22 +359,35 @@ end = struct do_expr c; do_tree a; do_tree b in do_tree t | AST_automaton(aid, states, vars) -> + let do_st (st, _) = + do_weak_transitions env (node, aid^"."^st.st_name^".", st.body); + List.iter (fun (c, _, _) -> do_expr c) st.until + in + List.iter do_st states; + let svn = node^"/"^aid^".state" in - let stv = VarMap.find svn env.st.save in + let stv = + try VarMap.find svn env.st.save + with Not_found -> assert false + in let new_st = if is_scope_active env (node, prefix, eqs) then begin let asn = match stv with | VState s -> s | _ -> assert false in - let (st, _) = List.find (fun (st, _) -> st.st_name = asn) states in + let (st, _) = + try List.find (fun (st, _) -> st.st_name = asn) states + with Not_found -> assert false in try let (_, (next_st,_), rst) = List.find (fun (c, _, _) -> eval_expr env (node, aid^"."^st.st_name^".") c = [VBool true]) st.until in if rst then begin - let (st, _) = List.find (fun (st, _) -> st.st_name = next_st) states in + let (st, _) = + try List.find (fun (st, _) -> st.st_name = next_st) states + with Not_found -> error "Invalid transition?" in reset_scope env (node, aid^"."^next_st^".", st.body) end; VState(next_st) @@ -378,7 +396,7 @@ end = struct end else stv in - Hashtbl.replace env.vars svn new_st + Hashtbl.replace env.vars svn new_st; in List.iter do_eq eqs @@ -392,7 +410,9 @@ end = struct try as_bool (Hashtbl.find env.vars (node^"/"^prefix^"init")) with | Not_found -> - let pre_init = as_bool (VarMap.find (node^"/"^prefix^"init") env.st.save) + let pre_init = + try as_bool (VarMap.find (node^"/"^prefix^"init") env.st.save) + with Not_found -> assert false in pre_init && (not (is_scope_active env (node, prefix, eqs))) | Bad_datatype -> Format.eprintf "%s@." @@ -430,7 +450,9 @@ end = struct save_expr save e | AST_automaton(aid, states, _) -> let svn = node^"/"^aid^".state" in - let st = Hashtbl.find env.vars svn in + let st = + try Hashtbl.find env.vars svn + with Not_found -> assert false in let save = VarMap.add (node^"/"^aid^".state") st save in List.fold_left (fun save (st, _) -> let save = diff --git a/tests/Makefile b/tests/Makefile index 494449c..24df589 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -4,6 +4,7 @@ ALL_OUT=result/limiter.out result/limitera.out result/locals.out \ result/test0.out result/test1.out result/test2.out result/test3.out \ result/test6.out result/testc.out \ result/gilbreath.out result/half.out result/updown2.out \ + result/abro.out \ result/rfollow.out result/cosinus.out bin/%.test: source/%.scade test.c diff --git a/tests/result/abro.out b/tests/result/abro.out new file mode 100644 index 0000000..c11ed51 --- /dev/null +++ b/tests/result/abro.out @@ -0,0 +1,129 @@ +0. 0 0 0 +1. 0 0 0 +2. 1 0 0 +3. 0 1 0 +4. 0 0 3 +5. 1 0 0 +6. 0 0 0 +7. 0 0 0 +8. 1 1 0 +9. 0 0 1 +10. 0 0 0 +11. 1 0 0 +12. 0 0 0 +13. 0 1 2 +14. 1 0 0 +15. 0 0 0 +16. 0 0 0 +17. 1 0 0 +18. 0 1 0 +19. 0 0 1 +20. 1 0 0 +21. 0 0 0 +22. 0 0 2 +23. 1 1 0 +24. 0 0 1 +25. 0 0 0 +26. 1 0 0 +27. 0 0 0 +28. 0 1 0 +29. 1 0 0 +30. 0 0 0 +31. 0 0 2 +32. 1 0 0 +33. 0 1 0 +34. 0 0 1 +35. 1 0 0 +36. 0 0 0 +37. 0 0 0 +38. 1 1 0 +39. 0 0 0 +40. 0 0 2 +41. 1 0 0 +42. 0 0 0 +43. 0 1 0 +44. 1 0 1 +45. 0 0 0 +46. 0 0 0 +47. 1 0 0 +48. 0 1 0 +49. 0 0 2 +50. 1 0 0 +51. 0 0 0 +52. 0 0 0 +53. 1 1 0 +54. 0 0 1 +55. 0 0 0 +56. 1 0 0 +57. 0 0 0 +58. 0 1 2 +59. 1 0 0 +60. 0 0 0 +61. 0 0 0 +62. 1 0 0 +63. 0 1 0 +64. 0 0 1 +65. 1 0 0 +66. 0 0 0 +67. 0 0 2 +68. 1 1 0 +69. 0 0 1 +70. 0 0 0 +71. 1 0 0 +72. 0 0 0 +73. 0 1 0 +74. 1 0 0 +75. 0 0 0 +76. 0 0 2 +77. 1 0 0 +78. 0 1 0 +79. 0 0 1 +80. 1 0 0 +81. 0 0 0 +82. 0 0 0 +83. 1 1 0 +84. 0 0 0 +85. 0 0 2 +86. 1 0 0 +87. 0 0 0 +88. 0 1 0 +89. 1 0 1 +90. 0 0 0 +91. 0 0 0 +92. 1 0 0 +93. 0 1 0 +94. 0 0 2 +95. 1 0 0 +96. 0 0 0 +97. 0 0 0 +98. 1 1 0 +99. 0 0 1 +100. 0 0 0 +101. 1 0 0 +102. 0 0 0 +103. 0 1 2 +104. 1 0 0 +105. 0 0 0 +106. 0 0 0 +107. 1 0 0 +108. 0 1 0 +109. 0 0 1 +110. 1 0 0 +111. 0 0 0 +112. 0 0 2 +113. 1 1 0 +114. 0 0 1 +115. 0 0 0 +116. 1 0 0 +117. 0 0 0 +118. 0 1 0 +119. 1 0 0 +120. 0 0 0 +121. 0 0 2 +122. 1 0 0 +123. 0 1 0 +124. 0 0 1 +125. 1 0 0 +126. 0 0 0 +127. 0 0 0 +128. 1 1 0 diff --git a/tests/result/cosinus.out b/tests/result/cosinus.out index c6d715b..b560b5b 100644 --- a/tests/result/cosinus.out +++ b/tests/result/cosinus.out @@ -1000,7003 +1000,3 @@ 999. -470 859 470 1000. -379 906 379 1001. -285 944 285 -1002. -188 972 188 -1003. -89 991 89 -1004. 10 1000 -10 -1005. 110 999 -110 -1006. 209 988 -209 -1007. 306 967 -306 -1008. 400 936 -400 -1009. 489 896 -489 -1010. 574 847 -574 -1011. 653 790 -653 -1012. 726 724 -726 -1013. 791 652 -791 -1014. 848 573 -848 -1015. 897 488 -897 -1016. 937 398 -937 -1017. 967 304 -967 -1018. 988 208 -988 -1019. 999 109 -999 -1020. 1000 9 -1000 -1021. 991 -90 -991 -1022. 972 -189 -972 -1023. 943 -287 -943 -1024. 905 -381 -905 -1025. 858 -472 -858 -1026. 802 -557 -802 -1027. 738 -638 -738 -1028. 667 -712 -667 -1029. 589 -778 -589 -1030. 505 -837 -505 -1031. 416 -888 -416 -1032. 323 -930 -323 -1033. 227 -962 -227 -1034. 129 -985 -129 -1035. 29 -998 -29 -1036. -70 -1001 70 -1037. -170 -993 170 -1038. -267 -976 267 -1039. -362 -950 362 -1040. -454 -913 454 -1041. -541 -868 541 -1042. -622 -814 622 -1043. -697 -752 697 -1044. -765 -682 765 -1045. -826 -605 826 -1046. -878 -523 878 -1047. -922 -435 922 -1048. -956 -342 956 -1049. -981 -247 981 -1050. -996 -149 996 -1051. -1001 -49 1001 -1052. -996 50 996 -1053. -981 150 981 -1054. -956 248 956 -1055. -921 343 921 -1056. -878 436 878 -1057. -825 523 825 -1058. -765 606 765 -1059. -696 683 696 -1060. -621 752 621 -1061. -540 814 540 -1062. -453 868 453 -1063. -361 914 361 -1064. -266 950 266 -1065. -169 977 169 -1066. -69 994 69 -1067. 30 1001 -30 -1068. 130 998 -130 -1069. 228 984 -228 -1070. 324 962 -324 -1071. 417 929 -417 -1072. 506 887 -506 -1073. 590 837 -590 -1074. 668 778 -668 -1075. 739 711 -739 -1076. 803 637 -803 -1077. 858 557 -858 -1078. 905 471 -905 -1079. 943 380 -943 -1080. 972 286 -972 -1081. 991 188 -991 -1082. 1000 89 -1000 -1083. 999 -10 -999 -1084. 988 -110 -988 -1085. 967 -209 -967 -1086. 936 -305 -936 -1087. 896 -399 -896 -1088. 848 -489 -848 -1089. 790 -573 -790 -1090. 725 -653 -725 -1091. 652 -725 -652 -1092. 573 -790 -573 -1093. 488 -848 -488 -1094. 399 -897 -399 -1095. 305 -937 -305 -1096. 208 -967 -208 -1097. 109 -988 -109 -1098. 9 -999 -9 -1099. -90 -1000 90 -1100. -189 -991 189 -1101. -286 -972 286 -1102. -380 -943 380 -1103. -471 -905 471 -1104. -557 -858 557 -1105. -637 -802 637 -1106. -711 -739 711 -1107. -778 -667 778 -1108. -837 -590 837 -1109. -887 -506 887 -1110. -929 -417 929 -1111. -962 -324 962 -1112. -985 -228 985 -1113. -998 -129 998 -1114. -1001 -30 1001 -1115. -994 70 994 -1116. -977 169 977 -1117. -950 267 950 -1118. -914 362 914 -1119. -868 453 868 -1120. -814 540 814 -1121. -752 621 752 -1122. -682 697 682 -1123. -606 765 606 -1124. -523 826 523 -1125. -435 878 435 -1126. -343 922 343 -1127. -247 956 247 -1128. -149 981 149 -1129. -50 996 50 -1130. 49 1001 -49 -1131. 149 996 -149 -1132. 247 981 -247 -1133. 343 956 -343 -1134. 435 922 -435 -1135. 523 878 -523 -1136. 606 826 -606 -1137. 682 765 -682 -1138. 752 697 -752 -1139. 814 622 -814 -1140. 868 540 -868 -1141. 914 453 -914 -1142. 950 362 -950 -1143. 977 267 -977 -1144. 994 169 -994 -1145. 1001 70 -1001 -1146. 998 -29 -998 -1147. 985 -129 -985 -1148. 962 -228 -962 -1149. 929 -324 -929 -1150. 888 -417 -888 -1151. 837 -506 -837 -1152. 778 -589 -778 -1153. 711 -667 -711 -1154. 637 -738 -637 -1155. 557 -802 -557 -1156. 471 -858 -471 -1157. 381 -905 -381 -1158. 286 -943 -286 -1159. 189 -972 -189 -1160. 90 -991 -90 -1161. -9 -1000 9 -1162. -109 -999 109 -1163. -208 -988 208 -1164. -305 -967 305 -1165. -398 -937 398 -1166. -488 -897 488 -1167. -573 -848 573 -1168. -652 -791 652 -1169. -725 -725 725 -1170. -790 -653 790 -1171. -847 -574 847 -1172. -896 -489 896 -1173. -936 -399 936 -1174. -967 -306 967 -1175. -988 -209 988 -1176. -999 -110 999 -1177. -1000 -10 1000 -1178. -991 89 991 -1179. -972 188 972 -1180. -944 285 944 -1181. -906 380 906 -1182. -858 470 858 -1183. -803 556 803 -1184. -739 637 739 -1185. -668 711 668 -1186. -590 777 590 -1187. -506 836 506 -1188. -418 887 418 -1189. -325 929 325 -1190. -229 962 229 -1191. -130 984 130 -1192. -30 997 30 -1193. 69 1001 -69 -1194. 168 994 -168 -1195. 266 977 -266 -1196. 361 950 -361 -1197. 452 914 -452 -1198. 539 869 -539 -1199. 621 815 -621 -1200. 696 753 -696 -1201. 765 683 -765 -1202. 825 606 -825 -1203. 878 524 -878 -1204. 921 436 -921 -1205. 956 344 -956 -1206. 981 248 -981 -1207. 996 150 -996 -1208. 1001 50 -1001 -1209. 996 -49 -996 -1210. 981 -148 -981 -1211. 956 -246 -956 -1212. 922 -342 -922 -1213. 879 -434 -879 -1214. 826 -522 -826 -1215. 766 -605 -766 -1216. 697 -682 -697 -1217. 622 -751 -622 -1218. 541 -814 -541 -1219. 454 -868 -454 -1220. 363 -913 -363 -1221. 268 -950 -268 -1222. 170 -976 -170 -1223. 71 -993 -71 -1224. -29 -1001 29 -1225. -128 -998 128 -1226. -227 -985 227 -1227. -323 -962 323 -1228. -416 -930 416 -1229. -505 -888 505 -1230. -589 -837 589 -1231. -667 -779 667 -1232. -738 -712 738 -1233. -802 -638 802 -1234. -858 -558 858 -1235. -905 -472 905 -1236. -943 -381 943 -1237. -972 -287 972 -1238. -991 -190 991 -1239. -1000 -91 1000 -1240. -999 8 999 -1241. -988 108 988 -1242. -967 207 967 -1243. -937 304 937 -1244. -897 398 897 -1245. -848 487 848 -1246. -791 572 791 -1247. -726 651 726 -1248. -653 724 653 -1249. -574 790 574 -1250. -490 847 490 -1251. -400 896 400 -1252. -306 936 306 -1253. -210 967 210 -1254. -111 988 111 -1255. -11 999 11 -1256. 88 1000 -88 -1257. 187 991 -187 -1258. 285 972 -285 -1259. 379 944 -379 -1260. 470 906 -470 -1261. 556 859 -556 -1262. 636 803 -636 -1263. 710 740 -710 -1264. 777 669 -777 -1265. 836 591 -836 -1266. 887 507 -887 -1267. 929 418 -929 -1268. 961 325 -961 -1269. 984 229 -984 -1270. 997 131 -997 -1271. 1001 31 -1001 -1272. 994 -68 -994 -1273. 977 -168 -977 -1274. 950 -265 -950 -1275. 914 -360 -914 -1276. 869 -452 -869 -1277. 815 -539 -815 -1278. 753 -620 -753 -1279. 683 -696 -683 -1280. 607 -764 -607 -1281. 524 -825 -524 -1282. 437 -877 -437 -1283. 344 -921 -344 -1284. 249 -956 -249 -1285. 151 -980 -151 -1286. 51 -996 -51 -1287. -48 -1001 48 -1288. -148 -996 148 -1289. -246 -981 246 -1290. -341 -956 341 -1291. -434 -922 434 -1292. -522 -879 522 -1293. -604 -827 604 -1294. -681 -766 681 -1295. -751 -698 751 -1296. -813 -623 813 -1297. -867 -541 867 -1298. -913 -455 913 -1299. -949 -363 949 -1300. -976 -268 976 -1301. -993 -171 993 -1302. -1001 -71 1001 -1303. -998 28 998 -1304. -985 128 985 -1305. -962 226 962 -1306. -930 322 930 -1307. -888 415 888 -1308. -838 504 838 -1309. -779 588 779 -1310. -712 666 712 -1311. -639 737 639 -1312. -558 801 558 -1313. -473 857 473 -1314. -382 905 382 -1315. -288 943 288 -1316. -191 972 191 -1317. -91 991 91 -1318. 8 1000 -8 -1319. 108 999 -108 -1320. 206 988 -206 -1321. 303 968 -303 -1322. 397 937 -397 -1323. 487 897 -487 -1324. 572 849 -572 -1325. 651 791 -651 -1326. 724 726 -724 -1327. 789 654 -789 -1328. 847 575 -847 -1329. 896 490 -896 -1330. 936 401 -936 -1331. 967 307 -967 -1332. 988 210 -988 -1333. 999 111 -999 -1334. 1000 12 -1000 -1335. 991 -88 -991 -1336. 973 -187 -973 -1337. 944 -284 -944 -1338. 906 -378 -906 -1339. 859 -469 -859 -1340. 804 -555 -804 -1341. 740 -635 -740 -1342. 669 -710 -669 -1343. 591 -777 -591 -1344. 508 -836 -508 -1345. 419 -887 -419 -1346. 326 -928 -326 -1347. 230 -961 -230 -1348. 131 -984 -131 -1349. 32 -997 -32 -1350. -67 -1001 67 -1351. -167 -994 167 -1352. -265 -977 265 -1353. -360 -951 360 -1354. -451 -915 451 -1355. -538 -869 538 -1356. -620 -816 620 -1357. -695 -753 695 -1358. -764 -684 764 -1359. -824 -607 824 -1360. -877 -525 877 -1361. -921 -437 921 -1362. -955 -345 955 -1363. -980 -250 980 -1364. -996 -151 996 -1365. -1001 -52 1001 -1366. -996 47 996 -1367. -981 147 981 -1368. -957 245 957 -1369. -923 341 923 -1370. -879 433 879 -1371. -827 521 827 -1372. -767 604 767 -1373. -698 681 698 -1374. -623 750 623 -1375. -542 813 542 -1376. -455 867 455 -1377. -364 913 364 -1378. -269 949 269 -1379. -171 976 171 -1380. -72 993 72 -1381. 27 1001 -27 -1382. 127 998 -127 -1383. 225 985 -225 -1384. 322 962 -322 -1385. 415 930 -415 -1386. 504 889 -504 -1387. 588 838 -588 -1388. 666 779 -666 -1389. 737 713 -737 -1390. 801 639 -801 -1391. 857 559 -857 -1392. 904 473 -904 -1393. 943 383 -943 -1394. 971 288 -971 -1395. 991 191 -991 -1396. 1000 92 -1000 -1397. 999 -7 -999 -1398. 988 -107 -988 -1399. 968 -206 -968 -1400. 937 -303 -937 -1401. 898 -396 -898 -1402. 849 -486 -849 -1403. 792 -571 -792 -1404. 727 -650 -727 -1405. 654 -723 -654 -1406. 576 -789 -576 -1407. 491 -846 -491 -1408. 401 -895 -401 -1409. 308 -936 -308 -1410. 211 -966 -211 -1411. 112 -988 -112 -1412. 12 -999 -12 -1413. -87 -1000 87 -1414. -186 -991 186 -1415. -283 -973 283 -1416. -378 -944 378 -1417. -468 -906 468 -1418. -554 -860 554 -1419. -635 -804 635 -1420. -709 -741 709 -1421. -776 -670 776 -1422. -835 -592 835 -1423. -886 -508 886 -1424. -928 -420 928 -1425. -961 -327 961 -1426. -984 -231 984 -1427. -997 -132 997 -1428. -1001 -32 1001 -1429. -994 67 994 -1430. -977 166 977 -1431. -951 264 951 -1432. -915 359 915 -1433. -870 451 870 -1434. -816 538 816 -1435. -754 619 754 -1436. -684 695 684 -1437. -608 763 608 -1438. -526 824 526 -1439. -438 877 438 -1440. -346 920 346 -1441. -250 955 250 -1442. -152 980 152 -1443. -53 995 53 -1444. 47 1001 -47 -1445. 146 996 -146 -1446. 244 981 -244 -1447. 340 957 -340 -1448. 432 923 -432 -1449. 520 880 -520 -1450. 603 827 -603 -1451. 680 767 -680 -1452. 750 699 -750 -1453. 812 624 -812 -1454. 867 543 -867 -1455. 912 456 -912 -1456. 949 365 -949 -1457. 976 270 -976 -1458. 993 172 -993 -1459. 1000 73 -1000 -1460. 998 -26 -998 -1461. 985 -126 -985 -1462. 963 -225 -963 -1463. 930 -321 -930 -1464. 889 -414 -889 -1465. 839 -503 -839 -1466. 780 -587 -780 -1467. 713 -665 -713 -1468. 640 -736 -640 -1469. 559 -800 -559 -1470. 474 -856 -474 -1471. 383 -904 -383 -1472. 289 -942 -289 -1473. 192 -971 -192 -1474. 93 -990 -93 -1475. -6 -1000 6 -1476. -106 -999 106 -1477. -205 -988 205 -1478. -302 -968 302 -1479. -396 -938 396 -1480. -486 -898 486 -1481. -571 -849 571 -1482. -650 -792 650 -1483. -723 -727 723 -1484. -788 -655 788 -1485. -846 -576 846 -1486. -895 -491 895 -1487. -935 -402 935 -1488. -966 -308 966 -1489. -987 -212 987 -1490. -999 -113 999 -1491. -1000 -13 1000 -1492. -991 86 991 -1493. -973 185 973 -1494. -945 283 945 -1495. -907 377 907 -1496. -860 468 860 -1497. -804 554 804 -1498. -741 634 741 -1499. -670 709 670 -1500. -592 776 592 -1501. -509 835 509 -1502. -420 886 420 -1503. -327 928 327 -1504. -231 961 231 -1505. -133 984 133 -1506. -33 997 33 -1507. 66 1001 -66 -1508. 165 994 -165 -1509. 263 977 -263 -1510. 358 951 -358 -1511. 450 915 -450 -1512. 537 870 -537 -1513. 619 816 -619 -1514. 694 754 -694 -1515. 763 685 -763 -1516. 824 609 -824 -1517. 876 526 -876 -1518. 920 439 -920 -1519. 955 346 -955 -1520. 980 251 -980 -1521. 995 153 -995 -1522. 1001 53 -1001 -1523. 996 -46 -996 -1524. 982 -146 -982 -1525. 957 -244 -957 -1526. 923 -339 -923 -1527. 880 -432 -880 -1528. 828 -520 -828 -1529. 768 -603 -768 -1530. 700 -679 -700 -1531. 625 -749 -625 -1532. 543 -812 -543 -1533. 457 -866 -457 -1534. 365 -912 -365 -1535. 270 -949 -270 -1536. 173 -976 -173 -1537. 73 -993 -73 -1538. -26 -1000 26 -1539. -126 -998 126 -1540. -224 -985 224 -1541. -320 -963 320 -1542. -414 -931 414 -1543. -503 -889 503 -1544. -586 -839 586 -1545. -665 -780 665 -1546. -736 -714 736 -1547. -800 -640 800 -1548. -856 -560 856 -1549. -904 -474 904 -1550. -942 -384 942 -1551. -971 -290 971 -1552. -990 -193 990 -1553. -1000 -94 1000 -1554. -999 6 999 -1555. -989 105 989 -1556. -968 204 968 -1557. -938 301 938 -1558. -898 395 898 -1559. -850 485 850 -1560. -793 570 793 -1561. -728 649 728 -1562. -656 722 656 -1563. -577 788 577 -1564. -492 845 492 -1565. -403 895 403 -1566. -309 935 309 -1567. -212 966 212 -1568. -114 987 114 -1569. -14 999 14 -1570. 85 1000 -85 -1571. 185 992 -185 -1572. 282 973 -282 -1573. 376 945 -376 -1574. 467 907 -467 -1575. 553 860 -553 -1576. 634 805 -634 -1577. 708 741 -708 -1578. 775 671 -775 -1579. 835 593 -835 -1580. 886 510 -886 -1581. 928 421 -928 -1582. 961 328 -961 -1583. 984 232 -984 -1584. 997 134 -997 -1585. 1001 34 -1001 -1586. 994 -65 -994 -1587. 978 -165 -978 -1588. 951 -263 -951 -1589. 915 -358 -915 -1590. 870 -449 -870 -1591. 817 -536 -817 -1592. 755 -618 -755 -1593. 685 -694 -685 -1594. 609 -762 -609 -1595. 527 -823 -527 -1596. 439 -876 -439 -1597. 347 -920 -347 -1598. 252 -955 -252 -1599. 154 -980 -154 -1600. 54 -995 -54 -1601. -45 -1001 45 -1602. -145 -996 145 -1603. -243 -982 243 -1604. -339 -957 339 -1605. -431 -923 431 -1606. -519 -880 519 -1607. -602 -828 602 -1608. -679 -768 679 -1609. -749 -700 749 -1610. -812 -625 812 -1611. -866 -544 866 -1612. -912 -457 912 -1613. -948 -366 948 -1614. -976 -271 976 -1615. -993 -173 993 -1616. -1000 -74 1000 -1617. -998 25 998 -1618. -985 125 985 -1619. -963 223 963 -1620. -931 320 931 -1621. -890 413 890 -1622. -839 502 839 -1623. -781 586 781 -1624. -714 664 714 -1625. -641 735 641 -1626. -561 800 561 -1627. -475 856 475 -1628. -385 903 385 -1629. -290 942 290 -1630. -193 971 193 -1631. -94 990 94 -1632. 5 1000 -5 -1633. 105 999 -105 -1634. 204 989 -204 -1635. 301 968 -301 -1636. 394 938 -394 -1637. 484 899 -484 -1638. 569 850 -569 -1639. 649 793 -649 -1640. 722 728 -722 -1641. 787 656 -787 -1642. 845 577 -845 -1643. 894 493 -894 -1644. 935 403 -935 -1645. 966 310 -966 -1646. 987 213 -987 -1647. 999 114 -999 -1648. 1000 14 -1000 -1649. 992 -85 -992 -1650. 973 -184 -973 -1651. 945 -281 -945 -1652. 907 -376 -907 -1653. 861 -467 -861 -1654. 805 -553 -805 -1655. 742 -633 -742 -1656. 671 -708 -671 -1657. 594 -775 -594 -1658. 510 -834 -510 -1659. 422 -885 -422 -1660. 329 -927 -329 -1661. 233 -960 -233 -1662. 134 -984 -134 -1663. 35 -997 -35 -1664. -65 -1001 65 -1665. -164 -994 164 -1666. -262 -978 262 -1667. -357 -951 357 -1668. -449 -916 449 -1669. -536 -871 536 -1670. -618 -817 618 -1671. -693 -755 693 -1672. -762 -686 762 -1673. -823 -610 823 -1674. -876 -527 876 -1675. -920 -440 920 -1676. -954 -348 954 -1677. -980 -252 980 -1678. -995 -154 995 -1679. -1001 -55 1001 -1680. -996 44 996 -1681. -982 144 982 -1682. -958 242 958 -1683. -924 338 924 -1684. -881 431 881 -1685. -829 519 829 -1686. -768 602 768 -1687. -701 678 701 -1688. -626 749 626 -1689. -544 811 544 -1690. -458 866 458 -1691. -367 911 367 -1692. -272 948 272 -1693. -174 975 174 -1694. -75 993 75 -1695. 24 1000 -24 -1696. 124 998 -124 -1697. 223 985 -223 -1698. 319 963 -319 -1699. 412 931 -412 -1700. 501 890 -501 -1701. 585 840 -585 -1702. 663 781 -663 -1703. 735 715 -735 -1704. 799 641 -799 -1705. 855 561 -855 -1706. 903 476 -903 -1707. 942 385 -942 -1708. 971 291 -971 -1709. 990 194 -990 -1710. 1000 95 -1000 -1711. 999 -4 -999 -1712. 989 -104 -989 -1713. 968 -203 -968 -1714. 938 -300 -938 -1715. 899 -394 -899 -1716. 851 -484 -851 -1717. 794 -569 -794 -1718. 729 -648 -729 -1719. 657 -721 -657 -1720. 578 -787 -578 -1721. 493 -845 -493 -1722. 404 -894 -404 -1723. 310 -935 -310 -1724. 214 -966 -214 -1725. 115 -987 -115 -1726. 15 -999 -15 -1727. -84 -1000 84 -1728. -183 -992 183 -1729. -281 -973 281 -1730. -375 -945 375 -1731. -466 -908 466 -1732. -552 -861 552 -1733. -633 -806 633 -1734. -707 -742 707 -1735. -774 -672 774 -1736. -834 -594 834 -1737. -885 -511 885 -1738. -927 -422 927 -1739. -960 -329 960 -1740. -984 -233 984 -1741. -997 -135 997 -1742. -1001 -35 1001 -1743. -994 64 994 -1744. -978 163 978 -1745. -952 261 952 -1746. -916 356 916 -1747. -871 448 871 -1748. -818 535 818 -1749. -756 617 756 -1750. -686 693 686 -1751. -610 761 610 -1752. -528 822 528 -1753. -440 875 440 -1754. -348 919 348 -1755. -253 954 253 -1756. -155 980 155 -1757. -55 995 55 -1758. 44 1001 -44 -1759. 143 996 -143 -1760. 242 982 -242 -1761. 337 958 -337 -1762. 430 924 -430 -1763. 518 881 -518 -1764. 601 829 -601 -1765. 678 769 -678 -1766. 748 701 -748 -1767. 811 626 -811 -1768. 865 545 -865 -1769. 911 458 -911 -1770. 948 367 -948 -1771. 975 272 -975 -1772. 993 175 -993 -1773. 1000 76 -1000 -1774. 998 -24 -998 -1775. 986 -123 -986 -1776. 963 -222 -963 -1777. 931 -318 -931 -1778. 890 -412 -890 -1779. 840 -501 -840 -1780. 782 -585 -782 -1781. 715 -663 -715 -1782. 642 -735 -642 -1783. 562 -799 -562 -1784. 476 -855 -476 -1785. 386 -903 -386 -1786. 292 -941 -292 -1787. 195 -971 -195 -1788. 96 -990 -96 -1789. -3 -1000 3 -1790. -103 -999 103 -1791. -202 -989 202 -1792. -299 -969 299 -1793. -393 -939 393 -1794. -483 -899 483 -1795. -568 -851 568 -1796. -648 -794 648 -1797. -721 -729 721 -1798. -786 -657 786 -1799. -844 -578 844 -1800. -894 -494 894 -1801. -934 -405 934 -1802. -965 -311 965 -1803. -987 -214 987 -1804. -999 -116 999 -1805. -1000 -16 1000 -1806. -992 83 992 -1807. -974 183 974 -1808. -945 280 945 -1809. -908 375 908 -1810. -861 465 861 -1811. -806 552 806 -1812. -743 632 743 -1813. -672 707 672 -1814. -595 774 595 -1815. -511 833 511 -1816. -423 885 423 -1817. -330 927 330 -1818. -234 960 234 -1819. -136 983 136 -1820. -36 997 36 -1821. 63 1001 -63 -1822. 163 994 -163 -1823. 260 978 -260 -1824. 356 952 -356 -1825. 447 916 -447 -1826. 535 871 -535 -1827. 616 818 -616 -1828. 692 756 -692 -1829. 761 687 -761 -1830. 822 611 -822 -1831. 875 529 -875 -1832. 919 441 -919 -1833. 954 349 -954 -1834. 979 254 -979 -1835. 995 156 -995 -1836. 1001 56 -1001 -1837. 996 -43 -996 -1838. 982 -143 -982 -1839. 958 -241 -958 -1840. 924 -337 -924 -1841. 881 -429 -881 -1842. 829 -517 -829 -1843. 769 -600 -769 -1844. 702 -677 -702 -1845. 627 -748 -627 -1846. 546 -810 -546 -1847. 459 -865 -459 -1848. 368 -911 -368 -1849. 273 -948 -273 -1850. 176 -975 -176 -1851. 76 -993 -76 -1852. -23 -1000 23 -1853. -123 -998 123 -1854. -221 -986 221 -1855. -318 -964 318 -1856. -411 -932 411 -1857. -500 -891 500 -1858. -584 -841 584 -1859. -662 -782 662 -1860. -734 -716 734 -1861. -798 -642 798 -1862. -855 -562 855 -1863. -902 -477 902 -1864. -941 -387 941 -1865. -970 -292 970 -1866. -990 -195 990 -1867. -1000 -96 1000 -1868. -999 3 999 -1869. -989 103 989 -1870. -969 202 969 -1871. -939 299 939 -1872. -900 392 900 -1873. -851 482 851 -1874. -794 568 794 -1875. -730 647 730 -1876. -658 720 658 -1877. -579 786 579 -1878. -495 844 495 -1879. -405 893 405 -1880. -312 934 312 -1881. -215 965 215 -1882. -116 987 116 -1883. -16 999 16 -1884. 83 1000 -83 -1885. 182 992 -182 -1886. 279 974 -279 -1887. 374 946 -374 -1888. 465 908 -465 -1889. 551 862 -551 -1890. 632 807 -632 -1891. 706 743 -706 -1892. 773 673 -773 -1893. 833 595 -833 -1894. 884 512 -884 -1895. 927 424 -927 -1896. 960 331 -960 -1897. 983 235 -983 -1898. 997 136 -997 -1899. 1001 37 -1001 -1900. 994 -62 -994 -1901. 978 -162 -978 -1902. 952 -260 -952 -1903. 917 -355 -917 -1904. 872 -447 -872 -1905. 818 -534 -818 -1906. 757 -616 -757 -1907. 688 -692 -688 -1908. 611 -760 -611 -1909. 529 -822 -529 -1910. 442 -875 -442 -1911. 350 -919 -350 -1912. 254 -954 -254 -1913. 156 -979 -156 -1914. 57 -995 -57 -1915. -42 -1001 42 -1916. -142 -996 142 -1917. -240 -982 240 -1918. -336 -958 336 -1919. -429 -924 429 -1920. -517 -882 517 -1921. -600 -830 600 -1922. -677 -770 677 -1923. -747 -702 747 -1924. -810 -627 810 -1925. -865 -546 865 -1926. -911 -460 911 -1927. -948 -369 948 -1928. -975 -274 975 -1929. -993 -176 993 -1930. -1000 -77 1000 -1931. -998 22 998 -1932. -986 122 986 -1933. -964 221 964 -1934. -932 317 932 -1935. -891 410 891 -1936. -841 499 841 -1937. -783 584 783 -1938. -716 662 716 -1939. -643 734 643 -1940. -563 798 563 -1941. -478 854 478 -1942. -387 902 387 -1943. -293 941 293 -1944. -196 970 196 -1945. -97 990 97 -1946. 2 1000 -2 -1947. 102 999 -102 -1948. 201 989 -201 -1949. 298 969 -298 -1950. 392 939 -392 -1951. 482 900 -482 -1952. 567 852 -567 -1953. 647 795 -647 -1954. 720 730 -720 -1955. 786 658 -786 -1956. 844 580 -844 -1957. 893 495 -893 -1958. 934 406 -934 -1959. 965 312 -965 -1960. 987 216 -987 -1961. 998 117 -998 -1962. 1000 17 -1000 -1963. 992 -82 -992 -1964. 974 -181 -974 -1965. 946 -279 -946 -1966. 909 -373 -909 -1967. 862 -464 -862 -1968. 807 -550 -807 -1969. 744 -631 -744 -1970. 673 -706 -673 -1971. 596 -773 -596 -1972. 513 -833 -513 -1973. 424 -884 -424 -1974. 331 -926 -331 -1975. 235 -960 -235 -1976. 137 -983 -137 -1977. 37 -997 -37 -1978. -62 -1001 62 -1979. -161 -994 161 -1980. -259 -978 259 -1981. -354 -952 354 -1982. -446 -917 446 -1983. -533 -872 533 -1984. -615 -819 615 -1985. -691 -757 691 -1986. -760 -688 760 -1987. -821 -612 821 -1988. -874 -530 874 -1989. -919 -442 919 -1990. -954 -350 954 -1991. -979 -255 979 -1992. -995 -157 995 -1993. -1001 -58 1001 -1994. -997 42 997 -1995. -982 141 982 -1996. -958 240 958 -1997. -925 335 925 -1998. -882 428 882 -1999. -830 516 830 -2000. -770 599 770 -2001. -703 676 703 -2002. -628 747 628 -2003. -547 810 547 -2004. -460 864 460 -2005. -369 910 369 -2006. -274 947 274 -2007. -177 975 177 -2008. -78 993 78 -2009. 21 1000 -21 -2010. 121 998 -121 -2011. 220 986 -220 -2012. 316 964 -316 -2013. 410 932 -410 -2014. 499 891 -499 -2015. 583 841 -583 -2016. 661 783 -661 -2017. 733 717 -733 -2018. 797 643 -797 -2019. 854 564 -854 -2020. 902 478 -902 -2021. 941 388 -941 -2022. 970 294 -970 -2023. 990 197 -990 -2024. 1000 98 -1000 -2025. 999 -1 -999 -2026. 989 -101 -989 -2027. 969 -200 -969 -2028. 939 -297 -939 -2029. 900 -391 -900 -2030. 852 -481 -852 -2031. 795 -567 -795 -2032. 731 -646 -731 -2033. 659 -719 -659 -2034. 580 -785 -580 -2035. 496 -843 -496 -2036. 406 -893 -406 -2037. 313 -934 -313 -2038. 217 -965 -217 -2039. 118 -987 -118 -2040. 18 -998 -18 -2041. -81 -1000 81 -2042. -180 -992 180 -2043. -278 -974 278 -2044. -373 -946 373 -2045. -463 -909 463 -2046. -550 -862 550 -2047. -631 -807 631 -2048. -705 -744 705 -2049. -772 -674 772 -2050. -832 -596 832 -2051. -884 -513 884 -2052. -926 -425 926 -2053. -959 -332 959 -2054. -983 -236 983 -2055. -997 -138 997 -2056. -1001 -38 1001 -2057. -995 61 995 -2058. -978 161 978 -2059. -953 258 953 -2060. -917 354 917 -2061. -873 446 873 -2062. -819 533 819 -2063. -758 615 758 -2064. -689 691 689 -2065. -613 759 613 -2066. -530 821 530 -2067. -443 874 443 -2068. -351 918 351 -2069. -256 953 256 -2070. -158 979 158 -2071. -58 995 58 -2072. 41 1001 -41 -2073. 141 997 -141 -2074. 239 982 -239 -2075. 335 959 -335 -2076. 427 925 -427 -2077. 516 882 -516 -2078. 599 831 -599 -2079. 676 771 -676 -2080. 746 703 -746 -2081. 809 628 -809 -2082. 864 547 -864 -2083. 910 461 -910 -2084. 947 370 -947 -2085. 975 275 -975 -2086. 992 178 -992 -2087. 1000 78 -1000 -2088. 998 -21 -998 -2089. 986 -121 -986 -2090. 964 -219 -964 -2091. 933 -316 -933 -2092. 892 -409 -892 -2093. 842 -498 -842 -2094. 783 -582 -783 -2095. 717 -661 -717 -2096. 644 -733 -644 -2097. 564 -797 -564 -2098. 479 -854 -479 -2099. 389 -901 -389 -2100. 294 -940 -294 -2101. 197 -970 -197 -2102. 98 -990 -98 -2103. -1 -1000 1 -2104. -101 -999 101 -2105. -200 -989 200 -2106. -297 -969 297 -2107. -391 -940 391 -2108. -481 -901 481 -2109. -566 -852 566 -2110. -646 -796 646 -2111. -719 -731 719 -2112. -785 -659 785 -2113. -843 -581 843 -2114. -893 -496 893 -2115. -933 -407 933 -2116. -965 -314 965 -2117. -986 -217 986 -2118. -998 -119 998 -2119. -1000 -19 1000 -2120. -992 80 992 -2121. -974 180 974 -2122. -946 277 946 -2123. -909 372 909 -2124. -863 463 863 -2125. -808 549 808 -2126. -745 630 745 -2127. -674 705 674 -2128. -597 772 597 -2129. -514 832 514 -2130. -425 883 425 -2131. -333 926 333 -2132. -237 959 237 -2133. -139 983 139 -2134. -39 997 39 -2135. 60 1001 -60 -2136. 160 995 -160 -2137. 258 979 -258 -2138. 353 953 -353 -2139. 445 917 -445 -2140. 532 873 -532 -2141. 614 820 -614 -2142. 690 758 -690 -2143. 759 689 -759 -2144. 820 613 -820 -2145. 874 531 -874 -2146. 918 444 -918 -2147. 953 352 -953 -2148. 979 256 -979 -2149. 995 158 -995 -2150. 1001 59 -1001 -2151. 997 -40 -997 -2152. 983 -140 -983 -2153. 959 -238 -959 -2154. 925 -334 -925 -2155. 883 -427 -883 -2156. 831 -515 -831 -2157. 771 -598 -771 -2158. 704 -675 -704 -2159. 629 -746 -629 -2160. 548 -809 -548 -2161. 462 -864 -462 -2162. 371 -910 -371 -2163. 276 -947 -276 -2164. 178 -974 -178 -2165. 79 -992 -79 -2166. -20 -1000 20 -2167. -120 -998 120 -2168. -219 -986 219 -2169. -315 -964 315 -2170. -408 -933 408 -2171. -498 -892 498 -2172. -582 -842 582 -2173. -660 -784 660 -2174. -732 -718 732 -2175. -797 -644 797 -2176. -853 -565 853 -2177. -901 -479 901 -2178. -940 -389 940 -2179. -970 -295 970 -2180. -990 -198 990 -2181. -1000 -99 1000 -2182. -999 0 999 -2183. -989 100 989 -2184. -970 199 970 -2185. -940 296 940 -2186. -901 390 901 -2187. -853 480 853 -2188. -796 565 796 -2189. -732 645 732 -2190. -660 718 660 -2191. -581 784 581 -2192. -497 842 497 -2193. -408 892 408 -2194. -314 933 314 -2195. -218 965 218 -2196. -119 986 119 -2197. -19 998 19 -2198. 80 1000 -80 -2199. 179 992 -179 -2200. 277 974 -277 -2201. 371 947 -371 -2202. 462 909 -462 -2203. 549 863 -549 -2204. 629 808 -629 -2205. 704 745 -704 -2206. 772 675 -772 -2207. 831 598 -831 -2208. 883 514 -883 -2209. 926 426 -926 -2210. 959 333 -959 -2211. 983 238 -983 -2212. 997 139 -997 -2213. 1001 39 -1001 -2214. 995 -60 -995 -2215. 979 -159 -979 -2216. 953 -257 -953 -2217. 918 -352 -918 -2218. 873 -444 -873 -2219. 820 -532 -820 -2220. 759 -614 -759 -2221. 690 -690 -690 -2222. 614 -759 -614 -2223. 532 -820 -532 -2224. 444 -873 -444 -2225. 352 -918 -352 -2226. 257 -953 -257 -2227. 159 -979 -159 -2228. 60 -995 -60 -2229. -39 -1001 39 -2230. -139 -997 139 -2231. -238 -983 238 -2232. -333 -959 333 -2233. -426 -926 426 -2234. -514 -883 514 -2235. -598 -831 598 -2236. -675 -772 675 -2237. -745 -704 745 -2238. -808 -629 808 -2239. -863 -549 863 -2240. -909 -462 909 -2241. -947 -371 947 -2242. -974 -277 974 -2243. -992 -179 992 -2244. -1000 -80 1000 -2245. -998 19 998 -2246. -986 119 986 -2247. -965 218 965 -2248. -933 314 933 -2249. -892 408 892 -2250. -842 497 842 -2251. -784 581 784 -2252. -718 660 718 -2253. -645 732 645 -2254. -565 796 565 -2255. -480 853 480 -2256. -390 901 390 -2257. -296 940 296 -2258. -199 970 199 -2259. -100 989 100 -2260. 0 999 0 -2261. 99 1000 -99 -2262. 198 990 -198 -2263. 295 970 -295 -2264. 389 940 -389 -2265. 479 901 -479 -2266. 565 853 -565 -2267. 644 797 -644 -2268. 718 732 -718 -2269. 784 660 -784 -2270. 842 582 -842 -2271. 892 498 -892 -2272. 933 408 -933 -2273. 964 315 -964 -2274. 986 219 -986 -2275. 998 120 -998 -2276. 1000 20 -1000 -2277. 992 -79 -992 -2278. 974 -178 -974 -2279. 947 -276 -947 -2280. 910 -371 -910 -2281. 864 -462 -864 -2282. 809 -548 -809 -2283. 746 -629 -746 -2284. 675 -704 -675 -2285. 598 -771 -598 -2286. 515 -831 -515 -2287. 427 -883 -427 -2288. 334 -925 -334 -2289. 238 -959 -238 -2290. 140 -983 -140 -2291. 40 -997 -40 -2292. -59 -1001 59 -2293. -158 -995 158 -2294. -256 -979 256 -2295. -352 -953 352 -2296. -444 -918 444 -2297. -531 -874 531 -2298. -613 -820 613 -2299. -689 -759 689 -2300. -758 -690 758 -2301. -820 -614 820 -2302. -873 -532 873 -2303. -917 -445 917 -2304. -953 -353 953 -2305. -979 -258 979 -2306. -995 -160 995 -2307. -1001 -60 1001 -2308. -997 39 997 -2309. -983 139 983 -2310. -959 237 959 -2311. -926 333 926 -2312. -883 425 883 -2313. -832 514 832 -2314. -772 597 772 -2315. -705 674 705 -2316. -630 745 630 -2317. -549 808 549 -2318. -463 863 463 -2319. -372 909 372 -2320. -277 946 277 -2321. -180 974 180 -2322. -80 992 80 -2323. 19 1000 -19 -2324. 118 998 -118 -2325. 217 986 -217 -2326. 314 965 -314 -2327. 407 933 -407 -2328. 496 893 -496 -2329. 581 843 -581 -2330. 659 785 -659 -2331. 731 719 -731 -2332. 796 646 -796 -2333. 852 566 -852 -2334. 901 481 -901 -2335. 940 391 -940 -2336. 969 297 -969 -2337. 989 200 -989 -2338. 999 101 -999 -2339. 1000 1 -1000 -2340. 990 -98 -990 -2341. 970 -197 -970 -2342. 940 -294 -940 -2343. 901 -389 -901 -2344. 854 -479 -854 -2345. 797 -564 -797 -2346. 733 -644 -733 -2347. 661 -717 -661 -2348. 582 -783 -582 -2349. 498 -842 -498 -2350. 409 -892 -409 -2351. 316 -933 -316 -2352. 219 -964 -219 -2353. 121 -986 -121 -2354. 21 -998 -21 -2355. -78 -1000 78 -2356. -178 -992 178 -2357. -275 -975 275 -2358. -370 -947 370 -2359. -461 -910 461 -2360. -547 -864 547 -2361. -628 -809 628 -2362. -703 -746 703 -2363. -771 -676 771 -2364. -831 -599 831 -2365. -882 -516 882 -2366. -925 -427 925 -2367. -959 -335 959 -2368. -982 -239 982 -2369. -997 -141 997 -2370. -1001 -41 1001 -2371. -995 58 995 -2372. -979 158 979 -2373. -953 256 953 -2374. -918 351 918 -2375. -874 443 874 -2376. -821 530 821 -2377. -759 613 759 -2378. -691 689 691 -2379. -615 758 615 -2380. -533 819 533 -2381. -446 873 446 -2382. -354 917 354 -2383. -258 953 258 -2384. -161 978 161 -2385. -61 995 61 -2386. 38 1001 -38 -2387. 138 997 -138 -2388. 236 983 -236 -2389. 332 959 -332 -2390. 425 926 -425 -2391. 513 884 -513 -2392. 596 832 -596 -2393. 674 772 -674 -2394. 744 705 -744 -2395. 807 631 -807 -2396. 862 550 -862 -2397. 909 463 -909 -2398. 946 373 -946 -2399. 974 278 -974 -2400. 992 180 -992 -2401. 1000 81 -1000 -2402. 998 -18 -998 -2403. 987 -118 -987 -2404. 965 -217 -965 -2405. 934 -313 -934 -2406. 893 -406 -893 -2407. 843 -496 -843 -2408. 785 -580 -785 -2409. 719 -659 -719 -2410. 646 -731 -646 -2411. 567 -795 -567 -2412. 481 -852 -481 -2413. 391 -900 -391 -2414. 297 -939 -297 -2415. 200 -969 -200 -2416. 101 -989 -101 -2417. 1 -999 -1 -2418. -98 -1000 98 -2419. -197 -990 197 -2420. -294 -970 294 -2421. -388 -941 388 -2422. -478 -902 478 -2423. -564 -854 564 -2424. -643 -797 643 -2425. -717 -733 717 -2426. -783 -661 783 -2427. -841 -583 841 -2428. -891 -499 891 -2429. -932 -410 932 -2430. -964 -316 964 -2431. -986 -220 986 -2432. -998 -121 998 -2433. -1000 -21 1000 -2434. -993 78 993 -2435. -975 177 975 -2436. -947 274 947 -2437. -910 369 910 -2438. -864 460 864 -2439. -810 547 810 -2440. -747 628 747 -2441. -676 703 676 -2442. -599 770 599 -2443. -516 830 516 -2444. -428 882 428 -2445. -335 925 335 -2446. -240 958 240 -2447. -141 982 141 -2448. -42 997 42 -2449. 58 1001 -58 -2450. 157 995 -157 -2451. 255 979 -255 -2452. 350 954 -350 -2453. 442 919 -442 -2454. 530 874 -530 -2455. 612 821 -612 -2456. 688 760 -688 -2457. 757 691 -757 -2458. 819 615 -819 -2459. 872 533 -872 -2460. 917 446 -917 -2461. 952 354 -952 -2462. 978 259 -978 -2463. 994 161 -994 -2464. 1001 62 -1001 -2465. 997 -37 -997 -2466. 983 -137 -983 -2467. 960 -235 -960 -2468. 926 -331 -926 -2469. 884 -424 -884 -2470. 833 -513 -833 -2471. 773 -596 -773 -2472. 706 -673 -706 -2473. 631 -744 -631 -2474. 550 -807 -550 -2475. 464 -862 -464 -2476. 373 -909 -373 -2477. 279 -946 -279 -2478. 181 -974 -181 -2479. 82 -992 -82 -2480. -17 -1000 17 -2481. -117 -998 117 -2482. -216 -987 216 -2483. -312 -965 312 -2484. -406 -934 406 -2485. -495 -893 495 -2486. -580 -844 580 -2487. -658 -786 658 -2488. -730 -720 730 -2489. -795 -647 795 -2490. -852 -567 852 -2491. -900 -482 900 -2492. -939 -392 939 -2493. -969 -298 969 -2494. -989 -201 989 -2495. -999 -102 999 -2496. -1000 -2 1000 -2497. -990 97 990 -2498. -970 196 970 -2499. -941 293 941 -2500. -902 387 902 -2501. -854 478 854 -2502. -798 563 798 -2503. -734 643 734 -2504. -662 716 662 -2505. -584 782 584 -2506. -499 841 499 -2507. -410 891 410 -2508. -317 932 317 -2509. -221 964 221 -2510. -122 986 122 -2511. -22 998 22 -2512. 77 1000 -77 -2513. 176 993 -176 -2514. 274 975 -274 -2515. 369 948 -369 -2516. 460 911 -460 -2517. 546 865 -546 -2518. 627 810 -627 -2519. 702 747 -702 -2520. 770 677 -770 -2521. 830 600 -830 -2522. 882 517 -882 -2523. 924 429 -924 -2524. 958 336 -958 -2525. 982 240 -982 -2526. 996 142 -996 -2527. 1001 42 -1001 -2528. 995 -57 -995 -2529. 979 -156 -979 -2530. 954 -254 -954 -2531. 919 -350 -919 -2532. 875 -442 -875 -2533. 822 -529 -822 -2534. 760 -611 -760 -2535. 692 -688 -692 -2536. 616 -757 -616 -2537. 534 -818 -534 -2538. 447 -872 -447 -2539. 355 -917 -355 -2540. 260 -952 -260 -2541. 162 -978 -162 -2542. 62 -994 -62 -2543. -37 -1001 37 -2544. -136 -997 136 -2545. -235 -983 235 -2546. -331 -960 331 -2547. -424 -927 424 -2548. -512 -884 512 -2549. -595 -833 595 -2550. -673 -773 673 -2551. -743 -706 743 -2552. -807 -632 807 -2553. -862 -551 862 -2554. -908 -465 908 -2555. -946 -374 946 -2556. -974 -279 974 -2557. -992 -182 992 -2558. -1000 -83 1000 -2559. -999 16 999 -2560. -987 116 987 -2561. -965 215 965 -2562. -934 312 934 -2563. -893 405 893 -2564. -844 495 844 -2565. -786 579 786 -2566. -720 658 720 -2567. -647 730 647 -2568. -568 794 568 -2569. -483 851 483 -2570. -392 900 392 -2571. -299 939 299 -2572. -202 969 202 -2573. -103 989 103 -2574. -3 999 3 -2575. 96 1000 -96 -2576. 195 990 -195 -2577. 292 970 -292 -2578. 387 941 -387 -2579. 477 902 -477 -2580. 562 855 -562 -2581. 642 798 -642 -2582. 716 734 -716 -2583. 782 662 -782 -2584. 841 584 -841 -2585. 891 500 -891 -2586. 932 411 -932 -2587. 964 318 -964 -2588. 986 221 -986 -2589. 998 123 -998 -2590. 1000 23 -1000 -2591. 993 -76 -993 -2592. 975 -176 -975 -2593. 948 -273 -948 -2594. 911 -368 -911 -2595. 865 -459 -865 -2596. 810 -546 -810 -2597. 748 -627 -748 -2598. 677 -702 -677 -2599. 600 -769 -600 -2600. 517 -829 -517 -2601. 429 -881 -429 -2602. 337 -924 -337 -2603. 241 -958 -241 -2604. 143 -982 -143 -2605. 43 -996 -43 -2606. -56 -1001 56 -2607. -156 -995 156 -2608. -254 -979 254 -2609. -349 -954 349 -2610. -441 -919 441 -2611. -529 -875 529 -2612. -611 -822 611 -2613. -687 -761 687 -2614. -756 -692 756 -2615. -818 -616 818 -2616. -871 -535 871 -2617. -916 -447 916 -2618. -952 -356 952 -2619. -978 -260 978 -2620. -994 -163 994 -2621. -1001 -63 1001 -2622. -997 36 997 -2623. -983 136 983 -2624. -960 234 960 -2625. -927 330 927 -2626. -885 423 885 -2627. -833 511 833 -2628. -774 595 774 -2629. -707 672 707 -2630. -632 743 632 -2631. -552 806 552 -2632. -465 861 465 -2633. -375 908 375 -2634. -280 945 280 -2635. -183 974 183 -2636. -83 992 83 -2637. 16 1000 -16 -2638. 116 999 -116 -2639. 214 987 -214 -2640. 311 965 -311 -2641. 404 934 -404 -2642. 494 894 -494 -2643. 578 844 -578 -2644. 657 786 -657 -2645. 729 721 -729 -2646. 794 648 -794 -2647. 851 568 -851 -2648. 899 483 -899 -2649. 939 393 -939 -2650. 969 299 -969 -2651. 989 202 -989 -2652. 999 103 -999 -2653. 1000 3 -1000 -2654. 990 -96 -990 -2655. 971 -195 -971 -2656. 941 -292 -941 -2657. 903 -386 -903 -2658. 855 -476 -855 -2659. 799 -562 -799 -2660. 735 -642 -735 -2661. 663 -715 -663 -2662. 585 -782 -585 -2663. 501 -840 -501 -2664. 412 -890 -412 -2665. 318 -931 -318 -2666. 222 -963 -222 -2667. 123 -986 -123 -2668. 24 -998 -24 -2669. -76 -1000 76 -2670. -175 -993 175 -2671. -272 -975 272 -2672. -367 -948 367 -2673. -458 -911 458 -2674. -545 -865 545 -2675. -626 -811 626 -2676. -701 -748 701 -2677. -769 -678 769 -2678. -829 -601 829 -2679. -881 -518 881 -2680. -924 -430 924 -2681. -958 -337 958 -2682. -982 -242 982 -2683. -996 -143 996 -2684. -1001 -44 1001 -2685. -995 55 995 -2686. -980 155 980 -2687. -954 253 954 -2688. -919 348 919 -2689. -875 440 875 -2690. -822 528 822 -2691. -761 610 761 -2692. -693 686 693 -2693. -617 756 617 -2694. -535 818 535 -2695. -448 871 448 -2696. -356 916 356 -2697. -261 952 261 -2698. -163 978 163 -2699. -64 994 64 -2700. 35 1001 -35 -2701. 135 997 -135 -2702. 233 984 -233 -2703. 329 960 -329 -2704. 422 927 -422 -2705. 511 885 -511 -2706. 594 834 -594 -2707. 672 774 -672 -2708. 742 707 -742 -2709. 806 633 -806 -2710. 861 552 -861 -2711. 908 466 -908 -2712. 945 375 -945 -2713. 973 281 -973 -2714. 992 183 -992 -2715. 1000 84 -1000 -2716. 999 -15 -999 -2717. 987 -115 -987 -2718. 966 -214 -966 -2719. 935 -310 -935 -2720. 894 -404 -894 -2721. 845 -493 -845 -2722. 787 -578 -787 -2723. 721 -657 -721 -2724. 648 -729 -648 -2725. 569 -794 -569 -2726. 484 -851 -484 -2727. 394 -899 -394 -2728. 300 -938 -300 -2729. 203 -968 -203 -2730. 104 -989 -104 -2731. 4 -999 -4 -2732. -95 -1000 95 -2733. -194 -990 194 -2734. -291 -971 291 -2735. -385 -942 385 -2736. -476 -903 476 -2737. -561 -855 561 -2738. -641 -799 641 -2739. -715 -735 715 -2740. -781 -663 781 -2741. -840 -585 840 -2742. -890 -501 890 -2743. -931 -412 931 -2744. -963 -319 963 -2745. -985 -223 985 -2746. -998 -124 998 -2747. -1000 -24 1000 -2748. -993 75 993 -2749. -975 174 975 -2750. -948 272 948 -2751. -911 367 911 -2752. -866 458 866 -2753. -811 544 811 -2754. -749 626 749 -2755. -678 701 678 -2756. -602 768 602 -2757. -519 829 519 -2758. -431 881 431 -2759. -338 924 338 -2760. -242 957 242 -2761. -144 982 144 -2762. -44 996 44 -2763. 55 1001 -55 -2764. 154 995 -154 -2765. 252 980 -252 -2766. 348 954 -348 -2767. 440 920 -440 -2768. 527 876 -527 -2769. 610 823 -610 -2770. 686 762 -686 -2771. 755 693 -755 -2772. 817 618 -817 -2773. 871 536 -871 -2774. 916 449 -916 -2775. 951 357 -951 -2776. 978 262 -978 -2777. 994 164 -994 -2778. 1001 65 -1001 -2779. 997 -35 -997 -2780. 984 -134 -984 -2781. 960 -233 -960 -2782. 927 -329 -927 -2783. 885 -422 -885 -2784. 834 -510 -834 -2785. 775 -594 -775 -2786. 708 -671 -708 -2787. 633 -742 -633 -2788. 553 -805 -553 -2789. 467 -861 -467 -2790. 376 -907 -376 -2791. 281 -945 -281 -2792. 184 -973 -184 -2793. 85 -992 -85 -2794. -14 -1000 14 -2795. -114 -999 114 -2796. -213 -987 213 -2797. -310 -966 310 -2798. -403 -935 403 -2799. -493 -894 493 -2800. -577 -845 577 -2801. -656 -787 656 -2802. -728 -722 728 -2803. -793 -649 793 -2804. -850 -569 850 -2805. -899 -484 899 -2806. -938 -394 938 -2807. -968 -301 968 -2808. -989 -204 989 -2809. -999 -105 999 -2810. -1000 -5 1000 -2811. -990 94 990 -2812. -971 193 971 -2813. -942 290 942 -2814. -903 385 903 -2815. -856 475 856 -2816. -800 561 800 -2817. -736 641 736 -2818. -664 714 664 -2819. -586 781 586 -2820. -502 839 502 -2821. -413 890 413 -2822. -320 931 320 -2823. -223 963 223 -2824. -125 985 125 -2825. -25 998 25 -2826. 74 1000 -74 -2827. 173 993 -173 -2828. 271 976 -271 -2829. 366 948 -366 -2830. 457 912 -457 -2831. 544 866 -544 -2832. 625 812 -625 -2833. 700 749 -700 -2834. 768 679 -768 -2835. 828 602 -828 -2836. 880 519 -880 -2837. 923 431 -923 -2838. 957 339 -957 -2839. 982 243 -982 -2840. 996 145 -996 -2841. 1001 45 -1001 -2842. 995 -54 -995 -2843. 980 -154 -980 -2844. 955 -252 -955 -2845. 920 -347 -920 -2846. 876 -439 -876 -2847. 823 -527 -823 -2848. 762 -609 -762 -2849. 694 -685 -694 -2850. 618 -755 -618 -2851. 536 -817 -536 -2852. 449 -870 -449 -2853. 358 -915 -358 -2854. 263 -951 -263 -2855. 165 -978 -165 -2856. 65 -994 -65 -2857. -34 -1001 34 -2858. -134 -997 134 -2859. -232 -984 232 -2860. -328 -961 328 -2861. -421 -928 421 -2862. -510 -886 510 -2863. -593 -835 593 -2864. -671 -775 671 -2865. -741 -708 741 -2866. -805 -634 805 -2867. -860 -553 860 -2868. -907 -467 907 -2869. -945 -376 945 -2870. -973 -282 973 -2871. -992 -185 992 -2872. -1000 -85 1000 -2873. -999 14 999 -2874. -987 114 987 -2875. -966 212 966 -2876. -935 309 935 -2877. -895 403 895 -2878. -845 492 845 -2879. -788 577 788 -2880. -722 656 722 -2881. -649 728 649 -2882. -570 793 570 -2883. -485 850 485 -2884. -395 898 395 -2885. -301 938 301 -2886. -204 968 204 -2887. -105 989 105 -2888. -6 999 6 -2889. 94 1000 -94 -2890. 193 990 -193 -2891. 290 971 -290 -2892. 384 942 -384 -2893. 474 904 -474 -2894. 560 856 -560 -2895. 640 800 -640 -2896. 714 736 -714 -2897. 780 665 -780 -2898. 839 586 -839 -2899. 889 503 -889 -2900. 931 414 -931 -2901. 963 320 -963 -2902. 985 224 -985 -2903. 998 126 -998 -2904. 1000 26 -1000 -2905. 993 -73 -993 -2906. 976 -173 -976 -2907. 949 -270 -949 -2908. 912 -365 -912 -2909. 866 -457 -866 -2910. 812 -543 -812 -2911. 750 -624 -750 -2912. 680 -699 -680 -2913. 603 -767 -603 -2914. 520 -828 -520 -2915. 432 -880 -432 -2916. 339 -923 -339 -2917. 244 -957 -244 -2918. 146 -982 -146 -2919. 46 -996 -46 -2920. -53 -1001 53 -2921. -153 -995 153 -2922. -251 -980 251 -2923. -346 -955 346 -2924. -439 -920 439 -2925. -526 -876 526 -2926. -609 -824 609 -2927. -685 -763 685 -2928. -754 -694 754 -2929. -816 -619 816 -2930. -870 -537 870 -2931. -915 -450 915 -2932. -951 -358 951 -2933. -977 -263 977 -2934. -994 -165 994 -2935. -1001 -66 1001 -2936. -997 33 997 -2937. -984 133 984 -2938. -961 231 961 -2939. -928 327 928 -2940. -886 420 886 -2941. -835 509 835 -2942. -776 592 776 -2943. -709 670 709 -2944. -634 741 634 -2945. -554 804 554 -2946. -468 860 468 -2947. -377 907 377 -2948. -283 945 283 -2949. -185 973 185 -2950. -86 991 86 -2951. 13 1000 -13 -2952. 113 999 -113 -2953. 212 987 -212 -2954. 308 966 -308 -2955. 402 935 -402 -2956. 491 895 -491 -2957. 576 846 -576 -2958. 655 788 -655 -2959. 727 723 -727 -2960. 792 650 -792 -2961. 849 571 -849 -2962. 898 486 -898 -2963. 938 396 -938 -2964. 968 302 -968 -2965. 988 205 -988 -2966. 999 106 -999 -2967. 1000 6 -1000 -2968. 990 -93 -990 -2969. 971 -192 -971 -2970. 942 -289 -942 -2971. 904 -383 -904 -2972. 856 -474 -856 -2973. 800 -559 -800 -2974. 736 -640 -736 -2975. 665 -713 -665 -2976. 587 -780 -587 -2977. 503 -839 -503 -2978. 414 -889 -414 -2979. 321 -930 -321 -2980. 225 -963 -225 -2981. 126 -985 -126 -2982. 26 -998 -26 -2983. -73 -1000 73 -2984. -172 -993 172 -2985. -270 -976 270 -2986. -365 -949 365 -2987. -456 -912 456 -2988. -543 -867 543 -2989. -624 -812 624 -2990. -699 -750 699 -2991. -767 -680 767 -2992. -827 -603 827 -2993. -880 -520 880 -2994. -923 -432 923 -2995. -957 -340 957 -2996. -981 -244 981 -2997. -996 -146 996 -2998. -1001 -47 1001 -2999. -995 53 995 -3000. -980 152 980 -3001. -955 250 955 -3002. -920 346 920 -3003. -877 438 877 -3004. -824 526 824 -3005. -763 608 763 -3006. -695 684 695 -3007. -619 754 619 -3008. -538 816 538 -3009. -451 870 451 -3010. -359 915 359 -3011. -264 951 264 -3012. -166 977 166 -3013. -67 994 67 -3014. 32 1001 -32 -3015. 132 997 -132 -3016. 231 984 -231 -3017. 327 961 -327 -3018. 420 928 -420 -3019. 508 886 -508 -3020. 592 835 -592 -3021. 670 776 -670 -3022. 741 709 -741 -3023. 804 635 -804 -3024. 860 554 -860 -3025. 906 468 -906 -3026. 944 378 -944 -3027. 973 283 -973 -3028. 991 186 -991 -3029. 1000 87 -1000 -3030. 999 -12 -999 -3031. 988 -112 -988 -3032. 966 -211 -966 -3033. 936 -308 -936 -3034. 895 -401 -895 -3035. 846 -491 -846 -3036. 789 -576 -789 -3037. 723 -654 -723 -3038. 650 -727 -650 -3039. 571 -792 -571 -3040. 486 -849 -486 -3041. 396 -898 -396 -3042. 303 -937 -303 -3043. 206 -968 -206 -3044. 107 -988 -107 -3045. 7 -999 -7 -3046. -92 -1000 92 -3047. -191 -991 191 -3048. -288 -971 288 -3049. -383 -943 383 -3050. -473 -904 473 -3051. -559 -857 559 -3052. -639 -801 639 -3053. -713 -737 713 -3054. -779 -666 779 -3055. -838 -588 838 -3056. -889 -504 889 -3057. -930 -415 930 -3058. -962 -322 962 -3059. -985 -225 985 -3060. -998 -127 998 -3061. -1001 -27 1001 -3062. -993 72 993 -3063. -976 171 976 -3064. -949 269 949 -3065. -913 364 913 -3066. -867 455 867 -3067. -813 542 813 -3068. -750 623 750 -3069. -681 698 681 -3070. -604 767 604 -3071. -521 827 521 -3072. -433 879 433 -3073. -341 923 341 -3074. -245 957 245 -3075. -147 981 147 -3076. -47 996 47 -3077. 52 1001 -52 -3078. 151 996 -151 -3079. 250 980 -250 -3080. 345 955 -345 -3081. 437 921 -437 -3082. 525 877 -525 -3083. 607 824 -607 -3084. 684 764 -684 -3085. 753 695 -753 -3086. 815 620 -815 -3087. 869 538 -869 -3088. 915 451 -915 -3089. 951 360 -951 -3090. 977 265 -977 -3091. 994 167 -994 -3092. 1001 67 -1001 -3093. 997 -32 -997 -3094. 984 -131 -984 -3095. 961 -230 -961 -3096. 928 -326 -928 -3097. 887 -419 -887 -3098. 836 -508 -836 -3099. 777 -591 -777 -3100. 710 -669 -710 -3101. 636 -740 -636 -3102. 555 -804 -555 -3103. 469 -859 -469 -3104. 378 -906 -378 -3105. 284 -944 -284 -3106. 187 -973 -187 -3107. 88 -991 -88 -3108. -12 -1000 12 -3109. -111 -999 111 -3110. -210 -988 210 -3111. -307 -967 307 -3112. -401 -936 401 -3113. -490 -896 490 -3114. -575 -847 575 -3115. -654 -789 654 -3116. -726 -724 726 -3117. -791 -651 791 -3118. -849 -572 849 -3119. -897 -487 897 -3120. -937 -397 937 -3121. -968 -303 968 -3122. -988 -206 988 -3123. -999 -108 999 -3124. -1000 -8 1000 -3125. -991 91 991 -3126. -972 191 972 -3127. -943 288 943 -3128. -905 382 905 -3129. -857 473 857 -3130. -801 558 801 -3131. -737 638 737 -3132. -666 712 666 -3133. -588 779 588 -3134. -504 838 504 -3135. -415 888 415 -3136. -322 930 322 -3137. -226 962 226 -3138. -128 985 128 -3139. -28 998 28 -3140. 71 1001 -71 -3141. 171 993 -171 -3142. 268 976 -268 -3143. 363 949 -363 -3144. 455 913 -455 -3145. 541 867 -541 -3146. 623 813 -623 -3147. 698 751 -698 -3148. 766 681 -766 -3149. 827 604 -827 -3150. 879 522 -879 -3151. 922 434 -922 -3152. 956 341 -956 -3153. 981 246 -981 -3154. 996 148 -996 -3155. 1001 48 -1001 -3156. 996 -51 -996 -3157. 980 -151 -980 -3158. 956 -249 -956 -3159. 921 -344 -921 -3160. 877 -437 -877 -3161. 825 -524 -825 -3162. 764 -607 -764 -3163. 696 -683 -696 -3164. 620 -753 -620 -3165. 539 -815 -539 -3166. 452 -869 -452 -3167. 360 -914 -360 -3168. 265 -950 -265 -3169. 168 -977 -168 -3170. 68 -994 -68 -3171. -31 -1001 31 -3172. -131 -997 131 -3173. -229 -984 229 -3174. -325 -961 325 -3175. -418 -929 418 -3176. -507 -887 507 -3177. -591 -836 591 -3178. -669 -777 669 -3179. -740 -710 740 -3180. -803 -636 803 -3181. -859 -556 859 -3182. -906 -470 906 -3183. -944 -379 944 -3184. -972 -285 972 -3185. -991 -187 991 -3186. -1000 -88 1000 -3187. -999 11 999 -3188. -988 111 988 -3189. -967 210 967 -3190. -936 306 936 -3191. -896 400 896 -3192. -847 490 847 -3193. -790 574 790 -3194. -724 653 724 -3195. -651 726 651 -3196. -572 791 572 -3197. -487 848 487 -3198. -398 897 398 -3199. -304 937 304 -3200. -207 967 207 -3201. -108 988 108 -3202. -8 999 8 -3203. 91 1000 -91 -3204. 190 991 -190 -3205. 287 972 -287 -3206. 381 943 -381 -3207. 472 905 -472 -3208. 558 858 -558 -3209. 638 802 -638 -3210. 712 738 -712 -3211. 779 667 -779 -3212. 837 589 -837 -3213. 888 505 -888 -3214. 930 416 -930 -3215. 962 323 -962 -3216. 985 227 -985 -3217. 998 128 -998 -3218. 1001 29 -1001 -3219. 993 -71 -993 -3220. 976 -170 -976 -3221. 950 -268 -950 -3222. 913 -363 -913 -3223. 868 -454 -868 -3224. 814 -541 -814 -3225. 751 -622 -751 -3226. 682 -697 -682 -3227. 605 -766 -605 -3228. 522 -826 -522 -3229. 434 -879 -434 -3230. 342 -922 -342 -3231. 246 -956 -246 -3232. 148 -981 -148 -3233. 49 -996 -49 -3234. -50 -1001 50 -3235. -150 -996 150 -3236. -248 -981 248 -3237. -344 -956 344 -3238. -436 -921 436 -3239. -524 -878 524 -3240. -606 -825 606 -3241. -683 -765 683 -3242. -753 -696 753 -3243. -815 -621 815 -3244. -869 -539 869 -3245. -914 -452 914 -3246. -950 -361 950 -3247. -977 -266 977 -3248. -994 -168 994 -3249. -1001 -69 1001 -3250. -997 30 997 -3251. -984 130 984 -3252. -962 229 962 -3253. -929 325 929 -3254. -887 418 887 -3255. -836 506 836 -3256. -777 590 777 -3257. -711 668 711 -3258. -637 739 637 -3259. -556 803 556 -3260. -470 858 470 -3261. -380 906 380 -3262. -285 944 285 -3263. -188 972 188 -3264. -89 991 89 -3265. 10 1000 -10 -3266. 110 999 -110 -3267. 209 988 -209 -3268. 306 967 -306 -3269. 399 936 -399 -3270. 489 896 -489 -3271. 574 847 -574 -3272. 653 790 -653 -3273. 725 725 -725 -3274. 791 652 -791 -3275. 848 573 -848 -3276. 897 488 -897 -3277. 937 398 -937 -3278. 967 305 -967 -3279. 988 208 -988 -3280. 999 109 -999 -3281. 1000 9 -1000 -3282. 991 -90 -991 -3283. 972 -189 -972 -3284. 943 -286 -943 -3285. 905 -381 -905 -3286. 858 -471 -858 -3287. 802 -557 -802 -3288. 738 -637 -738 -3289. 667 -711 -667 -3290. 589 -778 -589 -3291. 506 -837 -506 -3292. 417 -888 -417 -3293. 324 -929 -324 -3294. 228 -962 -228 -3295. 129 -985 -129 -3296. 29 -998 -29 -3297. -70 -1001 70 -3298. -169 -994 169 -3299. -267 -977 267 -3300. -362 -950 362 -3301. -453 -914 453 -3302. -540 -868 540 -3303. -622 -814 622 -3304. -697 -752 697 -3305. -765 -682 765 -3306. -826 -606 826 -3307. -878 -523 878 -3308. -922 -435 922 -3309. -956 -343 956 -3310. -981 -247 981 -3311. -996 -149 996 -3312. -1001 -49 1001 -3313. -996 50 996 -3314. -981 149 981 -3315. -956 247 956 -3316. -922 343 922 -3317. -878 435 878 -3318. -826 523 826 -3319. -765 606 765 -3320. -697 682 697 -3321. -621 752 621 -3322. -540 814 540 -3323. -453 868 453 -3324. -362 914 362 -3325. -267 950 267 -3326. -169 977 169 -3327. -70 994 70 -3328. 30 1001 -30 -3329. 129 998 -129 -3330. 228 985 -228 -3331. 324 962 -324 -3332. 417 929 -417 -3333. 506 887 -506 -3334. 590 837 -590 -3335. 667 778 -667 -3336. 739 711 -739 -3337. 802 637 -802 -3338. 858 557 -858 -3339. 905 471 -905 -3340. 943 380 -943 -3341. 972 286 -972 -3342. 991 189 -991 -3343. 1000 90 -1000 -3344. 999 -9 -999 -3345. 988 -109 -988 -3346. 967 -208 -967 -3347. 937 -305 -937 -3348. 897 -399 -897 -3349. 848 -488 -848 -3350. 790 -573 -790 -3351. 725 -652 -725 -3352. 653 -725 -653 -3353. 574 -790 -574 -3354. 489 -848 -489 -3355. 399 -896 -399 -3356. 305 -936 -305 -3357. 209 -967 -209 -3358. 110 -988 -110 -3359. 10 -999 -10 -3360. -89 -1000 89 -3361. -188 -991 188 -3362. -286 -972 286 -3363. -380 -943 380 -3364. -471 -905 471 -3365. -557 -858 557 -3366. -637 -803 637 -3367. -711 -739 711 -3368. -778 -668 778 -3369. -837 -590 837 -3370. -887 -506 887 -3371. -929 -417 929 -3372. -962 -324 962 -3373. -984 -228 984 -3374. -998 -130 998 -3375. -1001 -30 1001 -3376. -994 69 994 -3377. -977 169 977 -3378. -950 266 950 -3379. -914 361 914 -3380. -868 453 868 -3381. -814 540 814 -3382. -752 621 752 -3383. -683 696 683 -3384. -606 765 606 -3385. -523 825 523 -3386. -436 878 436 -3387. -343 921 343 -3388. -248 956 248 -3389. -150 981 150 -3390. -50 996 50 -3391. 49 1001 -49 -3392. 149 996 -149 -3393. 247 981 -247 -3394. 342 956 -342 -3395. 435 922 -435 -3396. 523 878 -523 -3397. 605 826 -605 -3398. 682 765 -682 -3399. 752 697 -752 -3400. 814 622 -814 -3401. 868 541 -868 -3402. 913 454 -913 -3403. 950 362 -950 -3404. 976 267 -976 -3405. 993 170 -993 -3406. 1001 70 -1001 -3407. 998 -29 -998 -3408. 985 -129 -985 -3409. 962 -227 -962 -3410. 930 -323 -930 -3411. 888 -416 -888 -3412. 837 -505 -837 -3413. 778 -589 -778 -3414. 712 -667 -712 -3415. 638 -738 -638 -3416. 557 -802 -557 -3417. 472 -858 -472 -3418. 381 -905 -381 -3419. 287 -943 -287 -3420. 189 -972 -189 -3421. 90 -991 -90 -3422. -9 -1000 9 -3423. -109 -999 109 -3424. -208 -988 208 -3425. -304 -967 304 -3426. -398 -937 398 -3427. -488 -897 488 -3428. -573 -848 573 -3429. -652 -791 652 -3430. -724 -726 724 -3431. -790 -653 790 -3432. -847 -574 847 -3433. -896 -489 896 -3434. -936 -400 936 -3435. -967 -306 967 -3436. -988 -209 988 -3437. -999 -110 999 -3438. -1000 -10 1000 -3439. -991 89 991 -3440. -972 188 972 -3441. -944 285 944 -3442. -906 379 906 -3443. -859 470 859 -3444. -803 556 803 -3445. -739 636 739 -3446. -668 710 668 -3447. -590 777 590 -3448. -507 836 507 -3449. -418 887 418 -3450. -325 929 325 -3451. -229 961 229 -3452. -130 984 130 -3453. -31 997 31 -3454. 68 1001 -68 -3455. 168 994 -168 -3456. 266 977 -266 -3457. 361 950 -361 -3458. 452 914 -452 -3459. 539 869 -539 -3460. 621 815 -621 -3461. 696 753 -696 -3462. 764 683 -764 -3463. 825 607 -825 -3464. 877 524 -877 -3465. 921 436 -921 -3466. 956 344 -956 -3467. 981 249 -981 -3468. 996 150 -996 -3469. 1001 51 -1001 -3470. 996 -48 -996 -3471. 981 -148 -981 -3472. 956 -246 -956 -3473. 922 -342 -922 -3474. 879 -434 -879 -3475. 826 -522 -826 -3476. 766 -605 -766 -3477. 698 -681 -698 -3478. 623 -751 -623 -3479. 541 -813 -541 -3480. 454 -868 -454 -3481. 363 -913 -363 -3482. 268 -949 -268 -3483. 170 -976 -170 -3484. 71 -993 -71 -3485. -28 -1001 28 -3486. -128 -998 128 -3487. -227 -985 227 -3488. -323 -962 323 -3489. -416 -930 416 -3490. -505 -888 505 -3491. -588 -838 588 -3492. -666 -779 666 -3493. -738 -712 738 -3494. -802 -638 802 -3495. -857 -558 857 -3496. -905 -472 905 -3497. -943 -382 943 -3498. -972 -287 972 -3499. -991 -190 991 -3500. -1000 -91 1000 -3501. -999 8 999 -3502. -988 108 988 -3503. -967 207 967 -3504. -937 304 937 -3505. -897 397 897 -3506. -849 487 849 -3507. -791 572 791 -3508. -726 651 726 -3509. -654 724 654 -3510. -575 789 575 -3511. -490 847 490 -3512. -400 896 400 -3513. -307 936 307 -3514. -210 967 210 -3515. -111 988 111 -3516. -11 999 11 -3517. 88 1000 -88 -3518. 187 991 -187 -3519. 284 972 -284 -3520. 379 944 -379 -3521. 469 906 -469 -3522. 555 859 -555 -3523. 636 803 -636 -3524. 710 740 -710 -3525. 777 669 -777 -3526. 836 591 -836 -3527. 887 507 -887 -3528. 929 419 -929 -3529. 961 326 -961 -3530. 984 230 -984 -3531. 997 131 -997 -3532. 1001 31 -1001 -3533. 994 -68 -994 -3534. 977 -167 -977 -3535. 950 -265 -950 -3536. 914 -360 -914 -3537. 869 -452 -869 -3538. 815 -538 -815 -3539. 753 -620 -753 -3540. 684 -695 -684 -3541. 607 -764 -607 -3542. 525 -825 -525 -3543. 437 -877 -437 -3544. 345 -921 -345 -3545. 249 -955 -249 -3546. 151 -980 -151 -3547. 52 -996 -52 -3548. -48 -1001 48 -3549. -147 -996 147 -3550. -245 -981 245 -3551. -341 -957 341 -3552. -433 -922 433 -3553. -521 -879 521 -3554. -604 -827 604 -3555. -681 -766 681 -3556. -751 -698 751 -3557. -813 -623 813 -3558. -867 -542 867 -3559. -913 -455 913 -3560. -949 -364 949 -3561. -976 -269 976 -3562. -993 -171 993 -3563. -1001 -72 1001 -3564. -998 27 998 -3565. -985 127 985 -3566. -962 226 962 -3567. -930 322 930 -3568. -888 415 888 -3569. -838 504 838 -3570. -779 588 779 -3571. -713 666 713 -3572. -639 737 639 -3573. -559 801 559 -3574. -473 857 473 -3575. -382 904 382 -3576. -288 943 288 -3577. -191 971 191 -3578. -92 991 92 -3579. 7 1000 -7 -3580. 107 999 -107 -3581. 206 988 -206 -3582. 303 968 -303 -3583. 397 937 -397 -3584. 487 898 -487 -3585. 571 849 -571 -3586. 651 792 -651 -3587. 723 727 -723 -3588. 789 654 -789 -3589. 846 575 -846 -3590. 896 491 -896 -3591. 936 401 -936 -3592. 966 307 -966 -3593. 988 211 -988 -3594. 999 112 -999 -3595. 1000 12 -1000 -3596. 991 -87 -991 -3597. 973 -186 -973 -3598. 944 -284 -944 -3599. 906 -378 -906 -3600. 859 -469 -859 -3601. 804 -555 -804 -3602. 740 -635 -740 -3603. 669 -709 -669 -3604. 592 -776 -592 -3605. 508 -835 -508 -3606. 419 -886 -419 -3607. 326 -928 -326 -3608. 230 -961 -230 -3609. 132 -984 -132 -3610. 32 -997 -32 -3611. -67 -1001 67 -3612. -166 -994 166 -3613. -264 -977 264 -3614. -359 -951 359 -3615. -451 -915 451 -3616. -538 -870 538 -3617. -620 -816 620 -3618. -695 -754 695 -3619. -763 -684 763 -3620. -824 -608 824 -3621. -877 -525 877 -3622. -921 -438 921 -3623. -955 -345 955 -3624. -980 -250 980 -3625. -995 -152 995 -3626. -1001 -52 1001 -3627. -996 47 996 -3628. -981 147 981 -3629. -957 245 957 -3630. -923 340 923 -3631. -879 433 879 -3632. -827 521 827 -3633. -767 604 767 -3634. -699 680 699 -3635. -624 750 624 -3636. -542 813 542 -3637. -456 867 456 -3638. -364 913 364 -3639. -269 949 269 -3640. -172 976 172 -3641. -72 993 72 -3642. 27 1000 -27 -3643. 127 998 -127 -3644. 225 985 -225 -3645. 321 962 -321 -3646. 415 930 -415 -3647. 503 889 -503 -3648. 587 838 -587 -3649. 665 780 -665 -3650. 737 713 -737 -3651. 801 639 -801 -3652. 857 559 -857 -3653. 904 473 -904 -3654. 942 383 -942 -3655. 971 289 -971 -3656. 991 192 -991 -3657. 1000 92 -1000 -3658. 999 -7 -999 -3659. 988 -107 -988 -3660. 968 -205 -968 -3661. 938 -302 -938 -3662. 898 -396 -898 -3663. 849 -486 -849 -3664. 792 -571 -792 -3665. 727 -650 -727 -3666. 655 -723 -655 -3667. 576 -788 -576 -3668. 491 -846 -491 -3669. 402 -895 -402 -3670. 308 -935 -308 -3671. 211 -966 -211 -3672. 113 -987 -113 -3673. 13 -999 -13 -3674. -86 -1000 86 -3675. -186 -991 186 -3676. -283 -973 283 -3677. -377 -944 377 -3678. -468 -907 468 -3679. -554 -860 554 -3680. -635 -804 635 -3681. -709 -741 709 -3682. -776 -670 776 -3683. -835 -592 835 -3684. -886 -509 886 -3685. -928 -420 928 -3686. -961 -327 961 -3687. -984 -231 984 -3688. -997 -133 997 -3689. -1001 -33 1001 -3690. -994 66 994 -3691. -977 166 977 -3692. -951 264 951 -3693. -915 359 915 -3694. -870 450 870 -3695. -816 537 816 -3696. -754 619 754 -3697. -685 694 685 -3698. -608 763 608 -3699. -526 824 526 -3700. -438 876 438 -3701. -346 920 346 -3702. -251 955 251 -3703. -153 980 153 -3704. -53 995 53 -3705. 46 1001 -46 -3706. 146 996 -146 -3707. 244 981 -244 -3708. 340 957 -340 -3709. 432 923 -432 -3710. 520 880 -520 -3711. 603 828 -603 -3712. 680 767 -680 -3713. 750 699 -750 -3714. 812 624 -812 -3715. 867 543 -867 -3716. 912 456 -912 -3717. 949 365 -949 -3718. 976 270 -976 -3719. 993 172 -993 -3720. 1000 73 -1000 -3721. 998 -26 -998 -3722. 985 -126 -985 -3723. 963 -224 -963 -3724. 931 -321 -931 -3725. 889 -414 -889 -3726. 839 -503 -839 -3727. 780 -587 -780 -3728. 714 -665 -714 -3729. 640 -736 -640 -3730. 560 -800 -560 -3731. 474 -856 -474 -3732. 384 -904 -384 -3733. 289 -942 -289 -3734. 192 -971 -192 -3735. 93 -990 -93 -3736. -6 -1000 6 -3737. -106 -999 106 -3738. -205 -989 205 -3739. -302 -968 302 -3740. -395 -938 395 -3741. -485 -898 485 -3742. -570 -850 570 -3743. -650 -793 650 -3744. -722 -728 722 -3745. -788 -655 788 -3746. -846 -576 846 -3747. -895 -492 895 -3748. -935 -402 935 -3749. -966 -309 966 -3750. -987 -212 987 -3751. -999 -113 999 -3752. -1000 -13 1000 -3753. -991 86 991 -3754. -973 185 973 -3755. -945 282 945 -3756. -907 377 907 -3757. -860 468 860 -3758. -805 554 805 -3759. -741 634 741 -3760. -670 708 670 -3761. -593 775 593 -3762. -509 835 509 -3763. -421 886 421 -3764. -328 928 328 -3765. -232 961 232 -3766. -133 984 133 -3767. -33 997 33 -3768. 66 1001 -66 -3769. 165 994 -165 -3770. 263 977 -263 -3771. 358 951 -358 -3772. 450 915 -450 -3773. 537 870 -537 -3774. 618 817 -618 -3775. 694 755 -694 -3776. 762 685 -762 -3777. 823 609 -823 -3778. 876 527 -876 -3779. 920 439 -920 -3780. 955 347 -955 -3781. 980 251 -980 -3782. 995 153 -995 -3783. 1001 54 -1001 -3784. 996 -45 -996 -3785. 982 -145 -982 -3786. 957 -243 -957 -3787. 923 -339 -923 -3788. 880 -432 -880 -3789. 828 -520 -828 -3790. 768 -602 -768 -3791. 700 -679 -700 -3792. 625 -749 -625 -3793. 544 -812 -544 -3794. 457 -866 -457 -3795. 366 -912 -366 -3796. 271 -949 -271 -3797. 173 -976 -173 -3798. 74 -993 -74 -3799. -25 -1000 25 -3800. -125 -998 125 -3801. -224 -985 224 -3802. -320 -963 320 -3803. -413 -931 413 -3804. -502 -889 502 -3805. -586 -839 586 -3806. -664 -781 664 -3807. -736 -714 736 -3808. -800 -640 800 -3809. -856 -560 856 -3810. -903 -475 903 -3811. -942 -384 942 -3812. -971 -290 971 -3813. -990 -193 990 -3814. -1000 -94 1000 -3815. -999 5 999 -3816. -989 105 989 -3817. -968 204 968 -3818. -938 301 938 -3819. -899 395 899 -3820. -850 485 850 -3821. -793 570 793 -3822. -728 649 728 -3823. -656 722 656 -3824. -577 788 577 -3825. -492 845 492 -3826. -403 895 403 -3827. -309 935 309 -3828. -213 966 213 -3829. -114 987 114 -3830. -14 999 14 -3831. 85 1000 -85 -3832. 184 992 -184 -3833. 282 973 -282 -3834. 376 945 -376 -3835. 467 907 -467 -3836. 553 860 -553 -3837. 634 805 -634 -3838. 708 742 -708 -3839. 775 671 -775 -3840. 834 593 -834 -3841. 885 510 -885 -3842. 928 421 -928 -3843. 960 328 -960 -3844. 984 232 -984 -3845. 997 134 -997 -3846. 1001 34 -1001 -3847. 994 -65 -994 -3848. 978 -164 -978 -3849. 951 -262 -951 -3850. 916 -357 -916 -3851. 871 -449 -871 -3852. 817 -536 -817 -3853. 755 -618 -755 -3854. 686 -693 -686 -3855. 609 -762 -609 -3856. 527 -823 -527 -3857. 439 -876 -439 -3858. 347 -920 -347 -3859. 252 -955 -252 -3860. 154 -980 -154 -3861. 54 -995 -54 -3862. -45 -1001 45 -3863. -144 -996 144 -3864. -243 -982 243 -3865. -338 -957 338 -3866. -431 -924 431 -3867. -519 -880 519 -3868. -602 -828 602 -3869. -679 -768 679 -3870. -749 -700 749 -3871. -811 -625 811 -3872. -866 -544 866 -3873. -912 -458 912 -3874. -948 -366 948 -3875. -976 -271 976 -3876. -993 -174 993 -3877. -1000 -74 1000 -3878. -998 25 998 -3879. -985 124 985 -3880. -963 223 963 -3881. -931 319 931 -3882. -890 413 890 -3883. -840 502 840 -3884. -781 586 781 -3885. -715 664 715 -3886. -641 735 641 -3887. -561 799 561 -3888. -475 856 475 -3889. -385 903 385 -3890. -291 942 291 -3891. -194 971 194 -3892. -95 990 95 -3893. 4 1000 -4 -3894. 104 999 -104 -3895. 203 989 -203 -3896. 300 968 -300 -3897. 394 938 -394 -3898. 484 899 -484 -3899. 569 850 -569 -3900. 649 793 -649 -3901. 721 729 -721 -3902. 787 656 -787 -3903. 845 578 -845 -3904. 894 493 -894 -3905. 935 404 -935 -3906. 966 310 -966 -3907. 987 213 -987 -3908. 999 115 -999 -3909. 1000 15 -1000 -3910. 992 -84 -992 -3911. 973 -184 -973 -3912. 945 -281 -945 -3913. 908 -375 -908 -3914. 861 -466 -861 -3915. 806 -552 -806 -3916. 742 -633 -742 -3917. 671 -707 -671 -3918. 594 -774 -594 -3919. 510 -834 -510 -3920. 422 -885 -422 -3921. 329 -927 -329 -3922. 233 -960 -233 -3923. 135 -984 -135 -3924. 35 -997 -35 -3925. -64 -1001 64 -3926. -164 -994 164 -3927. -262 -978 262 -3928. -357 -952 357 -3929. -448 -916 448 -3930. -535 -871 535 -3931. -617 -817 617 -3932. -693 -756 693 -3933. -762 -686 762 -3934. -823 -610 823 -3935. -875 -528 875 -3936. -919 -440 919 -3937. -954 -348 954 -3938. -980 -253 980 -3939. -995 -155 995 -3940. -1001 -55 1001 -3941. -996 44 996 -3942. -982 144 982 -3943. -958 242 958 -3944. -924 338 924 -3945. -881 430 881 -3946. -829 518 829 -3947. -769 601 769 -3948. -701 678 701 -3949. -626 748 626 -3950. -545 811 545 -3951. -458 865 458 -3952. -367 911 367 -3953. -272 948 272 -3954. -175 975 175 -3955. -75 993 75 -3956. 24 1000 -24 -3957. 124 998 -124 -3958. 222 986 -222 -3959. 319 963 -319 -3960. 412 931 -412 -3961. 501 890 -501 -3962. 585 840 -585 -3963. 663 781 -663 -3964. 735 715 -735 -3965. 799 641 -799 -3966. 855 562 -855 -3967. 903 476 -903 -3968. 941 386 -941 -3969. 971 291 -971 -3970. 990 194 -990 -3971. 1000 95 -1000 -3972. 999 -4 -999 -3973. 989 -104 -989 -3974. 969 -203 -969 -3975. 939 -300 -939 -3976. 899 -393 -899 -3977. 851 -483 -851 -3978. 794 -569 -794 -3979. 729 -648 -729 -3980. 657 -721 -657 -3981. 578 -787 -578 -3982. 494 -845 -494 -3983. 404 -894 -404 -3984. 311 -934 -311 -3985. 214 -966 -214 -3986. 115 -987 -115 -3987. 15 -999 -15 -3988. -84 -1000 84 -3989. -183 -992 183 -3990. -280 -973 280 -3991. -375 -945 375 -3992. -466 -908 466 -3993. -552 -861 552 -3994. -632 -806 632 -3995. -707 -743 707 -3996. -774 -672 774 -3997. -834 -594 834 -3998. -885 -511 885 -3999. -927 -423 927 -4000. -960 -330 960 -4001. -983 -234 983 -4002. -997 -135 997 -4003. -1001 -36 1001 -4004. -994 64 994 -4005. -978 163 978 -4006. -952 261 952 -4007. -916 356 916 -4008. -871 448 871 -4009. -818 535 818 -4010. -756 617 756 -4011. -687 692 687 -4012. -611 761 611 -4013. -528 822 528 -4014. -441 875 441 -4015. -349 919 349 -4016. -253 954 253 -4017. -155 980 155 -4018. -56 995 56 -4019. 43 1001 -43 -4020. 143 996 -143 -4021. 241 982 -241 -4022. 337 958 -337 -4023. 430 924 -430 -4024. 518 881 -518 -4025. 601 829 -601 -4026. 678 769 -678 -4027. 748 701 -748 -4028. 811 626 -811 -4029. 865 545 -865 -4030. 911 459 -911 -4031. 948 368 -948 -4032. 975 273 -975 -4033. 993 175 -993 -4034. 1000 76 -1000 -4035. 998 -23 -998 -4036. 986 -123 -986 -4037. 963 -222 -963 -4038. 932 -318 -932 -4039. 890 -411 -890 -4040. 840 -500 -840 -4041. 782 -584 -782 -4042. 716 -663 -716 -4043. 642 -734 -642 -4044. 562 -799 -562 -4045. 477 -855 -477 -4046. 386 -903 -386 -4047. 292 -941 -292 -4048. 195 -970 -195 -4049. 96 -990 -96 -4050. -3 -1000 3 -4051. -103 -999 103 -4052. -202 -989 202 -4053. -299 -969 299 -4054. -393 -939 393 -4055. -483 -899 483 -4056. -568 -851 568 -4057. -647 -794 647 -4058. -720 -729 720 -4059. -786 -657 786 -4060. -844 -579 844 -4061. -894 -494 894 -4062. -934 -405 934 -4063. -965 -311 965 -4064. -987 -215 987 -4065. -999 -116 999 -4066. -1000 -16 1000 -4067. -992 83 992 -4068. -974 182 974 -4069. -946 280 946 -4070. -908 374 908 -4071. -862 465 862 -4072. -806 551 806 -4073. -743 632 743 -4074. -672 706 672 -4075. -595 774 595 -4076. -512 833 512 -4077. -423 884 423 -4078. -330 927 330 -4079. -234 960 234 -4080. -136 983 136 -4081. -36 997 36 -4082. 63 1001 -63 -4083. 162 994 -162 -4084. 260 978 -260 -4085. 355 952 -355 -4086. 447 916 -447 -4087. 534 872 -534 -4088. 616 818 -616 -4089. 692 756 -692 -4090. 761 687 -761 -4091. 822 611 -822 -4092. 875 529 -875 -4093. 919 441 -919 -4094. 954 349 -954 -4095. 979 254 -979 -4096. 995 156 -995 -4097. 1001 56 -1001 -4098. 996 -43 -996 -4099. 982 -142 -982 -4100. 958 -241 -958 -4101. 924 -336 -924 -4102. 881 -429 -881 -4103. 830 -517 -830 -4104. 770 -600 -770 -4105. 702 -677 -702 -4106. 627 -747 -627 -4107. 546 -810 -546 -4108. 459 -865 -459 -4109. 368 -911 -368 -4110. 273 -948 -273 -4111. 176 -975 -176 -4112. 77 -993 -77 -4113. -22 -1000 22 -4114. -122 -998 122 -4115. -221 -986 221 -4116. -317 -964 317 -4117. -411 -932 411 -4118. -500 -891 500 -4119. -584 -841 584 -4120. -662 -782 662 -4121. -734 -716 734 -4122. -798 -643 798 -4123. -854 -563 854 -4124. -902 -477 902 -4125. -941 -387 941 -4126. -970 -293 970 -4127. -990 -196 990 -4128. -1000 -97 1000 -4129. -999 2 999 -4130. -989 102 989 -4131. -969 201 969 -4132. -939 298 939 -4133. -900 392 900 -4134. -851 482 851 -4135. -795 567 795 -4136. -730 647 730 -4137. -658 720 658 -4138. -579 786 579 -4139. -495 844 495 -4140. -405 893 405 -4141. -312 934 312 -4142. -215 965 215 -4143. -117 987 117 -4144. -17 998 17 -4145. 82 1000 -82 -4146. 181 992 -181 -4147. 279 974 -279 -4148. 374 946 -374 -4149. 464 908 -464 -4150. 551 862 -551 -4151. 631 807 -631 -4152. 706 744 -706 -4153. 773 673 -773 -4154. 833 596 -833 -4155. 884 512 -884 -4156. 926 424 -926 -4157. 960 331 -960 -4158. 983 235 -983 -4159. 997 137 -997 -4160. 1001 37 -1001 -4161. 994 -62 -994 -4162. 978 -162 -978 -4163. 952 -259 -952 -4164. 917 -355 -917 -4165. 872 -446 -872 -4166. 819 -534 -819 -4167. 757 -616 -757 -4168. 688 -691 -688 -4169. 612 -760 -612 -4170. 530 -821 -530 -4171. 442 -874 -442 -4172. 350 -919 -350 -4173. 255 -954 -255 -4174. 157 -979 -157 -4175. 57 -995 -57 -4176. -42 -1001 42 -4177. -142 -996 142 -4178. -240 -982 240 -4179. -336 -958 336 -4180. -428 -925 428 -4181. -517 -882 517 -4182. -600 -830 600 -4183. -677 -770 677 -4184. -747 -702 747 -4185. -810 -628 810 -4186. -864 -547 864 -4187. -910 -460 910 -4188. -947 -369 947 -4189. -975 -274 975 -4190. -993 -177 993 -4191. -1000 -77 1000 -4192. -998 22 998 -4193. -986 122 986 -4194. -964 220 964 -4195. -932 317 932 -4196. -891 410 891 -4197. -841 499 841 -4198. -783 583 783 -4199. -717 662 717 -4200. -643 733 643 -4201. -563 798 563 -4202. -478 854 478 -4203. -388 902 388 -4204. -293 941 293 -4205. -196 970 196 -4206. -97 990 97 -4207. 2 1000 -2 -4208. 102 999 -102 -4209. 201 989 -201 -4210. 298 969 -298 -4211. 392 939 -392 -4212. 482 900 -482 -4213. 567 852 -567 -4214. 646 795 -646 -4215. 719 730 -719 -4216. 785 658 -785 -4217. 843 580 -843 -4218. 893 495 -893 -4219. 934 406 -934 -4220. 965 313 -965 -4221. 987 216 -987 -4222. 998 117 -998 -4223. 1000 18 -1000 -4224. 992 -82 -992 -4225. 974 -181 -974 -4226. 946 -278 -946 -4227. 909 -373 -909 -4228. 862 -464 -862 -4229. 807 -550 -807 -4230. 744 -631 -744 -4231. 674 -705 -674 -4232. 596 -773 -596 -4233. 513 -832 -513 -4234. 424 -884 -424 -4235. 332 -926 -332 -4236. 236 -959 -236 -4237. 137 -983 -137 -4238. 38 -997 -38 -4239. -61 -1001 61 -4240. -161 -994 161 -4241. -259 -978 259 -4242. -354 -952 354 -4243. -446 -917 446 -4244. -533 -872 533 -4245. -615 -819 615 -4246. -691 -757 691 -4247. -760 -688 760 -4248. -821 -612 821 -4249. -874 -530 874 -4250. -918 -443 918 -4251. -954 -351 954 -4252. -979 -255 979 -4253. -995 -157 995 -4254. -1001 -58 1001 -4255. -997 41 997 -4256. -982 141 982 -4257. -958 239 958 -4258. -925 335 925 -4259. -882 428 882 -4260. -830 516 830 -4261. -770 599 770 -4262. -703 676 703 -4263. -628 746 628 -4264. -547 809 547 -4265. -461 864 461 -4266. -370 910 370 -4267. -275 947 275 -4268. -177 975 177 -4269. -78 992 78 -4270. 21 1000 -21 -4271. 121 998 -121 -4272. 220 986 -220 -4273. 316 964 -316 -4274. 409 932 -409 -4275. 499 891 -499 -4276. 583 841 -583 -4277. 661 783 -661 -4278. 733 717 -733 -4279. 797 644 -797 -4280. 854 564 -854 -4281. 902 478 -902 -4282. 940 388 -940 -4283. 970 294 -970 -4284. 990 197 -990 -4285. 1000 98 -1000 -4286. 999 -1 -999 -4287. 989 -101 -989 -4288. 969 -200 -969 -4289. 940 -297 -940 -4290. 900 -391 -900 -4291. 852 -481 -852 -4292. 796 -566 -796 -4293. 731 -646 -731 -4294. 659 -719 -659 -4295. 580 -785 -580 -4296. 496 -843 -496 -4297. 407 -893 -407 -4298. 313 -933 -313 -4299. 217 -965 -217 -4300. 118 -987 -118 -4301. 18 -998 -18 -4302. -81 -1000 81 -4303. -180 -992 180 -4304. -278 -974 278 -4305. -372 -946 372 -4306. -463 -909 463 -4307. -549 -863 549 -4308. -630 -808 630 -4309. -705 -745 705 -4310. -772 -674 772 -4311. -832 -597 832 -4312. -883 -514 883 -4313. -926 -425 926 -4314. -959 -332 959 -4315. -983 -237 983 -4316. -997 -138 997 -4317. -1001 -38 1001 -4318. -995 61 995 -4319. -979 160 979 -4320. -953 258 953 -4321. -917 353 917 -4322. -873 445 873 -4323. -819 533 819 -4324. -758 614 758 -4325. -689 690 689 -4326. -613 759 613 -4327. -531 821 531 -4328. -443 874 443 -4329. -351 918 351 -4330. -256 953 256 -4331. -158 979 158 -4332. -59 995 59 -4333. 41 1001 -41 -4334. 140 997 -140 -4335. 239 983 -239 -4336. 334 959 -334 -4337. 427 925 -427 -4338. 515 882 -515 -4339. 598 831 -598 -4340. 676 771 -676 -4341. 746 703 -746 -4342. 809 629 -809 -4343. 864 548 -864 -4344. 910 461 -910 -4345. 947 370 -947 -4346. 975 276 -975 -4347. 992 178 -992 -4348. 1000 79 -1000 -4349. 998 -20 -998 -4350. 986 -120 -986 -4351. 964 -219 -964 -4352. 933 -315 -933 -4353. 892 -409 -892 -4354. 842 -498 -842 -4355. 784 -582 -784 -4356. 717 -661 -717 -4357. 644 -732 -644 -4358. 564 -797 -564 -4359. 479 -853 -479 -4360. 389 -901 -389 -4361. 295 -940 -295 -4362. 198 -970 -198 -4363. 99 -990 -99 -4364. 0 -1000 0 -4365. -100 -999 100 -4366. -199 -989 199 -4367. -296 -969 296 -4368. -390 -940 390 -4369. -480 -901 480 -4370. -566 -853 566 -4371. -645 -796 645 -4372. -718 -731 718 -4373. -784 -660 784 -4374. -843 -581 843 -4375. -892 -497 892 -4376. -933 -407 933 -4377. -965 -314 965 -4378. -986 -218 986 -4379. -998 -119 998 -4380. -1000 -19 1000 -4381. -992 80 992 -4382. -974 179 974 -4383. -947 277 947 -4384. -909 372 909 -4385. -863 463 863 -4386. -808 549 808 -4387. -745 630 745 -4388. -675 704 675 -4389. -597 772 597 -4390. -514 832 514 -4391. -426 883 426 -4392. -333 926 333 -4393. -237 959 237 -4394. -139 983 139 -4395. -39 997 39 -4396. 60 1001 -60 -4397. 159 995 -159 -4398. 257 979 -257 -4399. 353 953 -353 -4400. 445 918 -445 -4401. 532 873 -532 -4402. 614 820 -614 -4403. 690 758 -690 -4404. 759 689 -759 -4405. 820 613 -820 -4406. 873 531 -873 -4407. 918 444 -918 -4408. 953 352 -953 -4409. 979 257 -979 -4410. 995 159 -995 -4411. 1001 59 -1001 -4412. 997 -40 -997 -4413. 983 -140 -983 -4414. 959 -238 -959 -4415. 925 -334 -925 -4416. 883 -426 -883 -4417. 831 -515 -831 -4418. 771 -598 -771 -4419. 704 -675 -704 -4420. 629 -745 -629 -4421. 548 -808 -548 -4422. 462 -863 -462 -4423. 371 -910 -371 -4424. 276 -947 -276 -4425. 179 -974 -179 -4426. 79 -992 -79 -4427. -20 -1000 20 -4428. -120 -998 120 -4429. -218 -986 218 -4430. -315 -964 315 -4431. -408 -933 408 -4432. -497 -892 497 -4433. -582 -842 582 -4434. -660 -784 660 -4435. -732 -718 732 -4436. -796 -645 796 -4437. -853 -565 853 -4438. -901 -480 901 -4439. -940 -390 940 -4440. -970 -296 970 -4441. -989 -199 989 -4442. -999 -100 999 -4443. -1000 0 1000 -4444. -990 99 990 -4445. -970 198 970 -4446. -940 296 940 -4447. -901 390 901 -4448. -853 480 853 -4449. -796 565 796 -4450. -732 645 732 -4451. -660 718 660 -4452. -582 784 582 -4453. -497 842 497 -4454. -408 892 408 -4455. -315 933 315 -4456. -218 964 218 -4457. -120 986 120 -4458. -20 998 20 -4459. 79 1000 -79 -4460. 179 992 -179 -4461. 276 974 -276 -4462. 371 947 -371 -4463. 462 910 -462 -4464. 548 863 -548 -4465. 629 808 -629 -4466. 704 746 -704 -4467. 771 675 -771 -4468. 831 598 -831 -4469. 883 515 -883 -4470. 925 426 -925 -4471. 959 334 -959 -4472. 983 238 -983 -4473. 997 140 -997 -4474. 1001 40 -1001 -4475. 995 -59 -995 -4476. 979 -159 -979 -4477. 953 -257 -953 -4478. 918 -352 -918 -4479. 873 -444 -873 -4480. 820 -531 -820 -4481. 759 -613 -759 -4482. 690 -689 -690 -4483. 614 -758 -614 -4484. 532 -820 -532 -4485. 445 -873 -445 -4486. 353 -918 -353 -4487. 257 -953 -257 -4488. 160 -979 -160 -4489. 60 -995 -60 -4490. -39 -1001 39 -4491. -139 -997 139 -4492. -237 -983 237 -4493. -333 -959 333 -4494. -426 -926 426 -4495. -514 -883 514 -4496. -597 -832 597 -4497. -675 -772 675 -4498. -745 -704 745 -4499. -808 -630 808 -4500. -863 -549 863 -4501. -909 -463 909 -4502. -946 -372 946 -4503. -974 -277 974 -4504. -992 -179 992 -4505. -1000 -80 1000 -4506. -998 19 998 -4507. -986 119 986 -4508. -965 218 965 -4509. -933 314 933 -4510. -892 407 892 -4511. -843 497 843 -4512. -784 581 784 -4513. -718 660 718 -4514. -645 731 645 -4515. -566 796 566 -4516. -480 853 480 -4517. -390 901 390 -4518. -296 940 296 -4519. -199 969 199 -4520. -100 989 100 -4521. 0 999 0 -4522. 99 1000 -99 -4523. 198 990 -198 -4524. 295 970 -295 -4525. 389 940 -389 -4526. 479 901 -479 -4527. 564 853 -564 -4528. 644 797 -644 -4529. 717 732 -717 -4530. 784 661 -784 -4531. 842 582 -842 -4532. 892 498 -892 -4533. 933 409 -933 -4534. 964 315 -964 -4535. 986 219 -986 -4536. 998 120 -998 -4537. 1000 20 -1000 -4538. 992 -79 -992 -4539. 975 -178 -975 -4540. 947 -275 -947 -4541. 910 -370 -910 -4542. 864 -461 -864 -4543. 809 -548 -809 -4544. 746 -629 -746 -4545. 676 -703 -676 -4546. 598 -771 -598 -4547. 515 -831 -515 -4548. 427 -882 -427 -4549. 334 -925 -334 -4550. 239 -959 -239 -4551. 140 -983 -140 -4552. 41 -997 -41 -4553. -59 -1001 59 -4554. -158 -995 158 -4555. -256 -979 256 -4556. -351 -953 351 -4557. -443 -918 443 -4558. -531 -874 531 -4559. -613 -821 613 -4560. -689 -759 689 -4561. -758 -690 758 -4562. -819 -615 819 -4563. -873 -533 873 -4564. -917 -445 917 -4565. -953 -353 953 -4566. -978 -258 978 -4567. -995 -160 995 -4568. -1001 -61 1001 -4569. -997 38 997 -4570. -983 138 983 -4571. -959 236 959 -4572. -926 332 926 -4573. -883 425 883 -4574. -832 513 832 -4575. -772 597 772 -4576. -705 674 705 -4577. -630 745 630 -4578. -549 808 549 -4579. -463 863 463 -4580. -372 909 372 -4581. -278 946 278 -4582. -180 974 180 -4583. -81 992 81 -4584. 18 1000 -18 -4585. 118 998 -118 -4586. 217 987 -217 -4587. 313 965 -313 -4588. 407 933 -407 -4589. 496 893 -496 -4590. 580 843 -580 -4591. 659 785 -659 -4592. 731 719 -731 -4593. 796 646 -796 -4594. 852 566 -852 -4595. 900 481 -900 -4596. 940 391 -940 -4597. 969 297 -969 -4598. 989 200 -989 -4599. 999 101 -999 -4600. 1000 1 -1000 -4601. 990 -98 -990 -4602. 970 -197 -970 -4603. 940 -294 -940 -4604. 902 -388 -902 -4605. 854 -478 -854 -4606. 797 -564 -797 -4607. 733 -644 -733 -4608. 661 -717 -661 -4609. 583 -783 -583 -4610. 499 -841 -499 -4611. 409 -891 -409 -4612. 316 -932 -316 -4613. 220 -964 -220 -4614. 121 -986 -121 -4615. 21 -998 -21 -4616. -78 -1000 78 -4617. -177 -992 177 -4618. -275 -975 275 -4619. -370 -947 370 -4620. -461 -910 461 -4621. -547 -864 547 -4622. -628 -809 628 -4623. -703 -746 703 -4624. -770 -676 770 -4625. -830 -599 830 -4626. -882 -516 882 -4627. -925 -428 925 -4628. -958 -335 958 -4629. -982 -239 982 -4630. -997 -141 997 -4631. -1001 -41 1001 -4632. -995 58 995 -4633. -979 157 979 -4634. -954 255 954 -4635. -918 351 918 -4636. -874 443 874 -4637. -821 530 821 -4638. -760 612 760 -4639. -691 688 691 -4640. -615 757 615 -4641. -533 819 533 -4642. -446 872 446 -4643. -354 917 354 -4644. -259 952 259 -4645. -161 978 161 -4646. -61 994 61 -4647. 38 1001 -38 -4648. 137 997 -137 -4649. 236 983 -236 -4650. 332 959 -332 -4651. 424 926 -424 -4652. 513 884 -513 -4653. 596 832 -596 -4654. 673 773 -673 -4655. 744 705 -744 -4656. 807 631 -807 -4657. 862 550 -862 -4658. 909 464 -909 -4659. 946 373 -946 -4660. 974 278 -974 -4661. 992 181 -992 -4662. 1000 82 -1000 -4663. 998 -18 -998 -4664. 987 -117 -987 -4665. 965 -216 -965 -4666. 934 -313 -934 -4667. 893 -406 -893 -4668. 843 -495 -843 -4669. 785 -580 -785 -4670. 719 -658 -719 -4671. 646 -730 -646 -4672. 567 -795 -567 -4673. 482 -852 -482 -4674. 392 -900 -392 -4675. 298 -939 -298 -4676. 201 -969 -201 -4677. 102 -989 -102 -4678. 2 -999 -2 -4679. -97 -1000 97 -4680. -196 -990 196 -4681. -293 -970 293 -4682. -388 -941 388 -4683. -478 -902 478 -4684. -563 -854 563 -4685. -643 -798 643 -4686. -717 -733 717 -4687. -783 -662 783 -4688. -841 -583 841 -4689. -891 -499 891 -4690. -932 -410 932 -4691. -964 -317 964 -4692. -986 -220 986 -4693. -998 -122 998 -4694. -1000 -22 1000 -4695. -993 77 993 -4696. -975 177 975 -4697. -947 274 947 -4698. -910 369 910 -4699. -864 460 864 -4700. -810 547 810 -4701. -747 628 747 -4702. -677 702 677 -4703. -600 770 600 -4704. -517 830 517 -4705. -428 882 428 -4706. -336 925 336 -4707. -240 958 240 -4708. -142 982 142 -4709. -42 996 42 -4710. 57 1001 -57 -4711. 157 995 -157 -4712. 255 979 -255 -4713. 350 954 -350 -4714. 442 919 -442 -4715. 530 874 -530 -4716. 612 821 -612 -4717. 688 760 -688 -4718. 757 691 -757 -4719. 819 616 -819 -4720. 872 534 -872 -4721. 917 446 -917 -4722. 952 355 -952 -4723. 978 259 -978 -4724. 994 162 -994 -4725. 1001 62 -1001 -4726. 997 -37 -997 -4727. 983 -137 -983 -4728. 960 -235 -960 -4729. 926 -331 -926 -4730. 884 -424 -884 -4731. 833 -512 -833 -4732. 773 -596 -773 -4733. 706 -673 -706 -4734. 631 -744 -631 -4735. 551 -807 -551 -4736. 464 -862 -464 -4737. 374 -908 -374 -4738. 279 -946 -279 -4739. 181 -974 -181 -4740. 82 -992 -82 -4741. -17 -1000 17 -4742. -117 -998 117 -4743. -215 -987 215 -4744. -312 -965 312 -4745. -405 -934 405 -4746. -495 -893 495 -4747. -579 -844 579 -4748. -658 -786 658 -4749. -730 -720 730 -4750. -795 -647 795 -4751. -851 -567 851 -4752. -900 -482 900 -4753. -939 -392 939 -4754. -969 -298 969 -4755. -989 -201 989 -4756. -999 -102 999 -4757. -1000 -2 1000 -4758. -990 97 990 -4759. -970 196 970 -4760. -941 293 941 -4761. -902 387 902 -4762. -854 477 854 -4763. -798 563 798 -4764. -734 643 734 -4765. -662 716 662 -4766. -584 782 584 -4767. -500 841 500 -4768. -411 891 411 -4769. -317 932 317 -4770. -221 964 221 -4771. -122 986 122 -4772. -23 998 23 -4773. 77 1000 -77 -4774. 176 993 -176 -4775. 273 975 -273 -4776. 368 948 -368 -4777. 459 911 -459 -4778. 546 865 -546 -4779. 627 810 -627 -4780. 702 747 -702 -4781. 770 677 -770 -4782. 830 600 -830 -4783. 881 517 -881 -4784. 924 429 -924 -4785. 958 336 -958 -4786. 982 241 -982 -4787. 996 142 -996 -4788. 1001 43 -1001 -4789. 995 -56 -995 -4790. 979 -156 -979 -4791. 954 -254 -954 -4792. 919 -349 -919 -4793. 875 -441 -875 -4794. 822 -529 -822 -4795. 761 -611 -761 -4796. 692 -687 -692 -4797. 616 -756 -616 -4798. 534 -818 -534 -4799. 447 -872 -447 -4800. 355 -916 -355 -4801. 260 -952 -260 -4802. 162 -978 -162 -4803. 63 -994 -63 -4804. -36 -1001 36 -4805. -136 -997 136 -4806. -234 -983 234 -4807. -330 -960 330 -4808. -423 -927 423 -4809. -512 -884 512 -4810. -595 -833 595 -4811. -672 -774 672 -4812. -743 -706 743 -4813. -806 -632 806 -4814. -862 -551 862 -4815. -908 -465 908 -4816. -946 -374 946 -4817. -974 -280 974 -4818. -992 -182 992 -4819. -1000 -83 1000 -4820. -999 16 999 -4821. -987 116 987 -4822. -965 215 965 -4823. -934 311 934 -4824. -894 405 894 -4825. -844 494 844 -4826. -786 579 786 -4827. -720 657 720 -4828. -647 729 647 -4829. -568 794 568 -4830. -483 851 483 -4831. -393 899 393 -4832. -299 939 299 -4833. -202 969 202 -4834. -103 989 103 -4835. -3 999 3 -4836. 96 1000 -96 -4837. 195 990 -195 -4838. 292 970 -292 -4839. 386 941 -386 -4840. 477 903 -477 -4841. 562 855 -562 -4842. 642 799 -642 -4843. 716 734 -716 -4844. 782 663 -782 -4845. 840 584 -840 -4846. 890 500 -890 -4847. 932 411 -932 -4848. 963 318 -963 -4849. 986 222 -986 -4850. 998 123 -998 -4851. 1000 23 -1000 -4852. 993 -76 -993 -4853. 975 -175 -975 -4854. 948 -273 -948 -4855. 911 -368 -911 -4856. 865 -459 -865 -4857. 811 -545 -811 -4858. 748 -626 -748 -4859. 678 -701 -678 -4860. 601 -769 -601 -4861. 518 -829 -518 -4862. 430 -881 -430 -4863. 337 -924 -337 -4864. 241 -958 -241 -4865. 143 -982 -143 -4866. 43 -996 -43 -4867. -56 -1001 56 -4868. -155 -995 155 -4869. -253 -980 253 -4870. -349 -954 349 -4871. -441 -919 441 -4872. -528 -875 528 -4873. -611 -822 611 -4874. -687 -761 687 -4875. -756 -692 756 -4876. -818 -617 818 -4877. -871 -535 871 -4878. -916 -448 916 -4879. -952 -356 952 -4880. -978 -261 978 -4881. -994 -163 994 -4882. -1001 -64 1001 -4883. -997 36 997 -4884. -983 135 983 -4885. -960 234 960 -4886. -927 330 927 -4887. -885 423 885 -4888. -834 511 834 -4889. -774 594 774 -4890. -707 672 707 -4891. -632 743 632 -4892. -552 806 552 -4893. -466 861 466 -4894. -375 908 375 -4895. -280 945 280 -4896. -183 973 183 -4897. -84 992 84 -4898. 15 1000 -15 -4899. 115 999 -115 -4900. 214 987 -214 -4901. 311 966 -311 -4902. 404 934 -404 -4903. 494 894 -494 -4904. 578 845 -578 -4905. 657 787 -657 -4906. 729 721 -729 -4907. 794 648 -794 -4908. 851 569 -851 -4909. 899 483 -899 -4910. 939 393 -939 -4911. 969 300 -969 -4912. 989 203 -989 -4913. 999 104 -999 -4914. 1000 4 -1000 -4915. 990 -95 -990 -4916. 971 -194 -971 -4917. 941 -291 -941 -4918. 903 -386 -903 -4919. 855 -476 -855 -4920. 799 -562 -799 -4921. 735 -641 -735 -4922. 663 -715 -663 -4923. 585 -781 -585 -4924. 501 -840 -501 -4925. 412 -890 -412 -4926. 319 -931 -319 -4927. 222 -963 -222 -4928. 124 -986 -124 -4929. 24 -998 -24 -4930. -75 -1000 75 -4931. -175 -993 175 -4932. -272 -975 272 -4933. -367 -948 367 -4934. -458 -911 458 -4935. -545 -865 545 -4936. -626 -811 626 -4937. -701 -748 701 -4938. -769 -678 769 -4939. -829 -601 829 -4940. -881 -518 881 -4941. -924 -430 924 -4942. -958 -338 958 -4943. -982 -242 982 -4944. -996 -144 996 -4945. -1001 -44 1001 -4946. -995 55 995 -4947. -980 155 980 -4948. -954 253 954 -4949. -920 348 920 -4950. -875 440 875 -4951. -823 528 823 -4952. -762 610 762 -4953. -693 686 693 -4954. -617 756 617 -4955. -536 817 536 -4956. -448 871 448 -4957. -357 916 357 -4958. -262 952 262 -4959. -164 978 164 -4960. -64 994 64 -4961. 35 1001 -35 -4962. 135 997 -135 -4963. 233 984 -233 -4964. 329 960 -329 -4965. 422 927 -422 -4966. 510 885 -510 -4967. 594 834 -594 -4968. 671 774 -671 -4969. 742 707 -742 -4970. 806 633 -806 -4971. 861 552 -861 -4972. 908 466 -908 -4973. 945 376 -945 -4974. 973 281 -973 -4975. 992 184 -992 -4976. 1000 84 -1000 -4977. 999 -15 -999 -4978. 987 -115 -987 -4979. 966 -213 -966 -4980. 935 -310 -935 -4981. 894 -404 -894 -4982. 845 -493 -845 -4983. 787 -578 -787 -4984. 721 -656 -721 -4985. 649 -728 -649 -4986. 569 -793 -569 -4987. 484 -850 -484 -4988. 394 -899 -394 -4989. 300 -938 -300 -4990. 203 -968 -203 -4991. 104 -989 -104 -4992. 4 -999 -4 -4993. -95 -1000 95 -4994. -194 -990 194 -4995. -291 -971 291 -4996. -385 -942 385 -4997. -475 -903 475 -4998. -561 -856 561 -4999. -641 -799 641 -5000. -715 -735 715 -5001. -781 -664 781 -5002. -840 -586 840 -5003. -890 -502 890 -5004. -931 -413 931 -5005. -963 -319 963 -5006. -985 -223 985 -5007. -998 -124 998 -5008. -1000 -25 1000 -5009. -993 74 993 -5010. -976 174 976 -5011. -948 271 948 -5012. -912 366 912 -5013. -866 458 866 -5014. -811 544 811 -5015. -749 625 749 -5016. -679 700 679 -5017. -602 768 602 -5018. -519 828 519 -5019. -431 880 431 -5020. -338 923 338 -5021. -243 957 243 -5022. -144 982 144 -5023. -45 996 45 -5024. 54 1001 -54 -5025. 154 995 -154 -5026. 252 980 -252 -5027. 347 955 -347 -5028. 439 920 -439 -5029. 527 876 -527 -5030. 609 823 -609 -5031. 686 762 -686 -5032. 755 693 -755 -5033. 817 618 -817 -5034. 871 536 -871 -5035. 916 449 -916 -5036. 951 357 -951 -5037. 978 262 -978 -5038. 994 164 -994 -5039. 1001 65 -1001 -5040. 997 -34 -997 -5041. 984 -134 -984 -5042. 960 -232 -960 -5043. 928 -328 -928 -5044. 885 -421 -885 -5045. 834 -510 -834 -5046. 775 -593 -775 -5047. 708 -671 -708 -5048. 634 -742 -634 -5049. 553 -805 -553 -5050. 467 -860 -467 -5051. 376 -907 -376 -5052. 282 -945 -282 -5053. 184 -973 -184 -5054. 85 -992 -85 -5055. -14 -1000 14 -5056. -114 -999 114 -5057. -213 -987 213 -5058. -309 -966 309 -5059. -403 -935 403 -5060. -492 -895 492 -5061. -577 -845 577 -5062. -656 -788 656 -5063. -728 -722 728 -5064. -793 -649 793 -5065. -850 -570 850 -5066. -899 -485 899 -5067. -938 -395 938 -5068. -968 -301 968 -5069. -989 -204 989 -5070. -999 -105 999 -5071. -1000 -5 1000 -5072. -990 94 990 -5073. -971 193 971 -5074. -942 290 942 -5075. -903 384 903 -5076. -856 475 856 -5077. -800 560 800 -5078. -736 640 736 -5079. -664 714 664 -5080. -586 781 586 -5081. -502 839 502 -5082. -413 889 413 -5083. -320 931 320 -5084. -224 963 224 -5085. -125 985 125 -5086. -25 998 25 -5087. 74 1000 -74 -5088. 173 993 -173 -5089. 271 976 -271 -5090. 366 949 -366 -5091. 457 912 -457 -5092. 544 866 -544 -5093. 625 812 -625 -5094. 700 749 -700 -5095. 768 679 -768 -5096. 828 602 -828 -5097. 880 520 -880 -5098. 923 432 -923 -5099. 957 339 -957 -5100. 982 243 -982 -5101. 996 145 -996 -5102. 1001 46 -1001 -5103. 995 -54 -995 -5104. 980 -153 -980 -5105. 955 -251 -955 -5106. 920 -347 -920 -5107. 876 -439 -876 -5108. 823 -526 -823 -5109. 762 -609 -762 -5110. 694 -685 -694 -5111. 618 -755 -618 -5112. 537 -817 -537 -5113. 450 -870 -450 -5114. 358 -915 -358 -5115. 263 -951 -263 -5116. 165 -977 -165 -5117. 66 -994 -66 -5118. -33 -1001 33 -5119. -133 -997 133 -5120. -232 -984 232 -5121. -328 -961 328 -5122. -421 -928 421 -5123. -509 -886 509 -5124. -593 -835 593 -5125. -670 -775 670 -5126. -741 -708 741 -5127. -805 -634 805 -5128. -860 -554 860 -5129. -907 -468 907 -5130. -945 -377 945 -5131. -973 -282 973 -5132. -991 -185 991 -5133. -1000 -86 1000 -5134. -999 13 999 -5135. -987 113 987 -5136. -966 212 966 -5137. -935 309 935 -5138. -895 402 895 -5139. -846 492 846 -5140. -788 576 788 -5141. -722 655 722 -5142. -650 728 650 -5143. -570 793 570 -5144. -485 850 485 -5145. -395 898 395 -5146. -302 938 302 -5147. -205 968 205 -5148. -106 989 106 -5149. -6 999 6 -5150. 93 1000 -93 -5151. 192 990 -192 -5152. 289 971 -289 -5153. 384 942 -384 -5154. 474 904 -474 -5155. 560 856 -560 -5156. 640 800 -640 -5157. 714 736 -714 -5158. 780 665 -780 -5159. 839 587 -839 -5160. 889 503 -889 -5161. 931 414 -931 -5162. 963 321 -963 -5163. 985 224 -985 -5164. 998 126 -998 -5165. 1000 26 -1000 -5166. 993 -73 -993 -5167. 976 -172 -976 -5168. 949 -270 -949 -5169. 912 -365 -912 -5170. 867 -456 -867 -5171. 812 -543 -812 -5172. 750 -624 -750 -5173. 680 -699 -680 -5174. 603 -767 -603 -5175. 520 -828 -520 -5176. 432 -880 -432 -5177. 340 -923 -340 -5178. 244 -957 -244 -5179. 146 -981 -146 -5180. 46 -996 -46 -5181. -53 -1001 53 -5182. -153 -995 153 -5183. -251 -980 251 -5184. -346 -955 346 -5185. -438 -920 438 -5186. -526 -876 526 -5187. -608 -824 608 -5188. -685 -763 685 -5189. -754 -694 754 -5190. -816 -619 816 -5191. -870 -537 870 -5192. -915 -450 915 -5193. -951 -359 951 -5194. -977 -264 977 -5195. -994 -166 994 -5196. -1001 -66 1001 -5197. -997 33 997 -5198. -984 133 984 -5199. -961 231 961 -5200. -928 327 928 -5201. -886 420 886 -5202. -835 509 835 -5203. -776 592 776 -5204. -709 670 709 -5205. -635 741 635 -5206. -554 804 554 -5207. -468 860 468 -5208. -377 907 377 -5209. -283 944 283 -5210. -186 973 186 -5211. -86 991 86 -5212. 13 1000 -13 -5213. 113 999 -113 -5214. 211 987 -211 -5215. 308 966 -308 -5216. 402 935 -402 -5217. 491 895 -491 -5218. 576 846 -576 -5219. 655 788 -655 -5220. 727 723 -727 -5221. 792 650 -792 -5222. 849 571 -849 -5223. 898 486 -898 -5224. 938 396 -938 -5225. 968 302 -968 -5226. 988 205 -988 -5227. 999 107 -999 -5228. 1000 7 -1000 -5229. 991 -92 -991 -5230. 971 -192 -971 -5231. 942 -289 -942 -5232. 904 -383 -904 -5233. 857 -473 -857 -5234. 801 -559 -801 -5235. 737 -639 -737 -5236. 665 -713 -665 -5237. 587 -780 -587 -5238. 503 -838 -503 -5239. 415 -889 -415 -5240. 321 -930 -321 -5241. 225 -962 -225 -5242. 127 -985 -127 -5243. 27 -998 -27 -5244. -72 -1000 72 -5245. -172 -993 172 -5246. -269 -976 269 -5247. -364 -949 364 -5248. -456 -913 456 -5249. -542 -867 542 -5250. -624 -813 624 -5251. -699 -750 699 -5252. -767 -680 767 -5253. -827 -604 827 -5254. -879 -521 879 -5255. -923 -433 923 -5256. -957 -340 957 -5257. -981 -245 981 -5258. -996 -147 996 -5259. -1001 -47 1001 -5260. -995 52 995 -5261. -980 152 980 -5262. -955 250 955 -5263. -921 345 921 -5264. -877 438 877 -5265. -824 525 824 -5266. -763 608 763 -5267. -695 684 695 -5268. -620 754 620 -5269. -538 816 538 -5270. -451 870 451 -5271. -359 915 359 -5272. -264 951 264 -5273. -166 977 166 -5274. -67 994 67 -5275. 32 1001 -32 -5276. 132 997 -132 -5277. 230 984 -230 -5278. 326 961 -326 -5279. 419 928 -419 -5280. 508 886 -508 -5281. 592 836 -592 -5282. 669 776 -669 -5283. 740 709 -740 -5284. 804 635 -804 -5285. 859 555 -859 -5286. 906 469 -906 -5287. 944 378 -944 -5288. 973 284 -973 -5289. 991 186 -991 -5290. 1000 87 -1000 -5291. 999 -12 -999 -5292. 988 -112 -988 -5293. 966 -211 -966 -5294. 936 -307 -936 -5295. 896 -401 -896 -5296. 846 -491 -846 -5297. 789 -575 -789 -5298. 723 -654 -723 -5299. 651 -727 -651 -5300. 571 -792 -571 -5301. 487 -849 -487 -5302. 397 -898 -397 -5303. 303 -937 -303 -5304. 206 -968 -206 -5305. 107 -988 -107 -5306. 7 -999 -7 -5307. -92 -1000 92 -5308. -191 -991 191 -5309. -288 -971 288 -5310. -382 -943 382 -5311. -473 -904 473 -5312. -559 -857 559 -5313. -639 -801 639 -5314. -713 -737 713 -5315. -779 -666 779 -5316. -838 -588 838 -5317. -888 -504 888 -5318. -930 -415 930 -5319. -962 -322 962 -5320. -985 -226 985 -5321. -998 -127 998 -5322. -1001 -27 1001 -5323. -993 72 993 -5324. -976 171 976 -5325. -949 269 949 -5326. -913 364 913 -5327. -867 455 867 -5328. -813 542 813 -5329. -751 623 751 -5330. -681 698 681 -5331. -604 766 604 -5332. -521 827 521 -5333. -433 879 433 -5334. -341 922 341 -5335. -245 957 245 -5336. -147 981 147 -5337. -48 996 48 -5338. 51 1001 -51 -5339. 151 996 -151 -5340. 249 980 -249 -5341. 345 955 -345 -5342. 437 921 -437 -5343. 525 877 -525 -5344. 607 825 -607 -5345. 684 764 -684 -5346. 753 695 -753 -5347. 815 620 -815 -5348. 869 538 -869 -5349. 914 452 -914 -5350. 950 360 -950 -5351. 977 265 -977 -5352. 994 167 -994 -5353. 1001 68 -1001 -5354. 997 -31 -997 -5355. 984 -131 -984 -5356. 961 -230 -961 -5357. 929 -326 -929 -5358. 887 -419 -887 -5359. 836 -507 -836 -5360. 777 -591 -777 -5361. 710 -669 -710 -5362. 636 -740 -636 -5363. 555 -803 -555 -5364. 469 -859 -469 -5365. 379 -906 -379 -5366. 284 -944 -284 -5367. 187 -972 -187 -5368. 88 -991 -88 -5369. -11 -1000 11 -5370. -111 -999 111 -5371. -210 -988 210 -5372. -307 -967 307 -5373. -400 -936 400 -5374. -490 -896 490 -5375. -575 -847 575 -5376. -654 -789 654 -5377. -726 -724 726 -5378. -791 -651 791 -5379. -848 -572 848 -5380. -897 -487 897 -5381. -937 -397 937 -5382. -967 -304 967 -5383. -988 -207 988 -5384. -999 -108 999 -5385. -1000 -8 1000 -5386. -991 91 991 -5387. -972 190 972 -5388. -943 287 943 -5389. -905 382 905 -5390. -857 472 857 -5391. -802 558 802 -5392. -738 638 738 -5393. -666 712 666 -5394. -588 779 588 -5395. -505 838 505 -5396. -416 888 416 -5397. -323 930 323 -5398. -227 962 227 -5399. -128 985 128 -5400. -28 998 28 -5401. 71 1001 -71 -5402. 170 993 -170 -5403. 268 976 -268 -5404. 363 949 -363 -5405. 454 913 -454 -5406. 541 868 -541 -5407. 623 813 -623 -5408. 698 751 -698 -5409. 766 681 -766 -5410. 826 605 -826 -5411. 879 522 -879 -5412. 922 434 -922 -5413. 956 342 -956 -5414. 981 246 -981 -5415. 996 148 -996 -5416. 1001 48 -1001 -5417. 996 -51 -996 -5418. 981 -150 -981 -5419. 956 -249 -956 -5420. 921 -344 -921 -5421. 877 -436 -877 -5422. 825 -524 -825 -5423. 764 -607 -764 -5424. 696 -683 -696 -5425. 621 -753 -621 -5426. 539 -815 -539 -5427. 452 -869 -452 -5428. 361 -914 -361 -5429. 266 -950 -266 -5430. 168 -977 -168 -5431. 68 -994 -68 -5432. -31 -1001 31 -5433. -130 -997 130 -5434. -229 -984 229 -5435. -325 -961 325 -5436. -418 -929 418 -5437. -507 -887 507 -5438. -590 -836 590 -5439. -668 -777 668 -5440. -739 -710 739 -5441. -803 -636 803 -5442. -859 -556 859 -5443. -906 -470 906 -5444. -944 -379 944 -5445. -972 -285 972 -5446. -991 -188 991 -5447. -1000 -89 1000 -5448. -999 10 999 -5449. -988 110 988 -5450. -967 209 967 -5451. -936 306 936 -5452. -896 400 896 -5453. -847 489 847 -5454. -790 574 790 -5455. -724 653 724 -5456. -652 726 652 -5457. -573 791 573 -5458. -488 848 488 -5459. -398 897 398 -5460. -304 937 304 -5461. -208 967 208 -5462. -109 988 109 -5463. -9 999 9 -5464. 90 1000 -90 -5465. 189 991 -189 -5466. 287 972 -287 -5467. 381 943 -381 -5468. 472 905 -472 -5469. 557 858 -557 -5470. 638 802 -638 -5471. 712 738 -712 -5472. 778 667 -778 -5473. 837 589 -837 -5474. 888 505 -888 -5475. 930 416 -930 -5476. 962 323 -962 -5477. 985 227 -985 -5478. 998 129 -998 -5479. 1001 29 -1001 -5480. 993 -70 -993 -5481. 976 -170 -976 -5482. 950 -267 -950 -5483. 913 -362 -913 -5484. 868 -454 -868 -5485. 814 -541 -814 -5486. 752 -622 -752 -5487. 682 -697 -682 -5488. 605 -765 -605 -5489. 523 -826 -523 -5490. 435 -878 -435 -5491. 342 -922 -342 -5492. 247 -956 -247 -5493. 149 -981 -149 -5494. 49 -996 -49 -5495. -50 -1001 50 -5496. -150 -996 150 -5497. -248 -981 248 -5498. -343 -956 343 -5499. -436 -921 436 -5500. -523 -878 523 -5501. -606 -825 606 -5502. -683 -765 683 -5503. -752 -696 752 -5504. -814 -621 814 -5505. -868 -540 868 -5506. -914 -453 914 -5507. -950 -361 950 -5508. -977 -266 977 -5509. -994 -169 994 -5510. -1001 -69 1001 -5511. -998 30 998 -5512. -984 130 984 -5513. -962 228 962 -5514. -929 324 929 -5515. -887 417 887 -5516. -837 506 837 -5517. -778 590 778 -5518. -711 668 711 -5519. -637 739 637 -5520. -557 803 557 -5521. -471 858 471 -5522. -380 905 380 -5523. -286 943 286 -5524. -188 972 188 -5525. -89 991 89 -5526. 10 1000 -10 -5527. 110 999 -110 -5528. 209 988 -209 -5529. 305 967 -305 -5530. 399 936 -399 -5531. 489 896 -489 -5532. 573 848 -573 -5533. 653 790 -653 -5534. 725 725 -725 -5535. 790 652 -790 -5536. 848 573 -848 -5537. 897 488 -897 -5538. 937 399 -937 -5539. 967 305 -967 -5540. 988 208 -988 -5541. 999 109 -999 -5542. 1000 9 -1000 -5543. 991 -90 -991 -5544. 972 -189 -972 -5545. 943 -286 -943 -5546. 905 -380 -905 -5547. 858 -471 -858 -5548. 802 -557 -802 -5549. 739 -637 -739 -5550. 667 -711 -667 -5551. 590 -778 -590 -5552. 506 -837 -506 -5553. 417 -887 -417 -5554. 324 -929 -324 -5555. 228 -962 -228 -5556. 129 -985 -129 -5557. 30 -998 -30 -5558. -70 -1001 70 -5559. -169 -994 169 -5560. -267 -977 267 -5561. -362 -950 362 -5562. -453 -914 453 -5563. -540 -868 540 -5564. -621 -814 621 -5565. -697 -752 697 -5566. -765 -682 765 -5567. -826 -606 826 -5568. -878 -523 878 -5569. -922 -435 922 -5570. -956 -343 956 -5571. -981 -247 981 -5572. -996 -149 996 -5573. -1001 -50 1001 -5574. -996 49 996 -5575. -981 149 981 -5576. -956 247 956 -5577. -922 343 922 -5578. -878 435 878 -5579. -826 523 826 -5580. -765 606 765 -5581. -697 682 697 -5582. -622 752 622 -5583. -540 814 540 -5584. -453 868 453 -5585. -362 914 362 -5586. -267 950 267 -5587. -169 977 169 -5588. -70 994 70 -5589. 29 1001 -29 -5590. 129 998 -129 -5591. 228 985 -228 -5592. 324 962 -324 -5593. 417 929 -417 -5594. 506 888 -506 -5595. 589 837 -589 -5596. 667 778 -667 -5597. 738 711 -738 -5598. 802 637 -802 -5599. 858 557 -858 -5600. 905 471 -905 -5601. 943 381 -943 -5602. 972 286 -972 -5603. 991 189 -991 -5604. 1000 90 -1000 -5605. 999 -9 -999 -5606. 988 -109 -988 -5607. 967 -208 -967 -5608. 937 -305 -937 -5609. 897 -398 -897 -5610. 848 -488 -848 -5611. 791 -573 -791 -5612. 725 -652 -725 -5613. 653 -725 -653 -5614. 574 -790 -574 -5615. 489 -847 -489 -5616. 399 -896 -399 -5617. 306 -936 -306 -5618. 209 -967 -209 -5619. 110 -988 -110 -5620. 10 -999 -10 -5621. -89 -1000 89 -5622. -188 -991 188 -5623. -285 -972 285 -5624. -380 -944 380 -5625. -470 -906 470 -5626. -556 -858 556 -5627. -637 -803 637 -5628. -711 -739 711 -5629. -777 -668 777 -5630. -836 -590 836 -5631. -887 -507 887 -5632. -929 -418 929 -5633. -962 -325 962 -5634. -984 -229 984 -5635. -997 -130 997 -5636. -1001 -30 1001 -5637. -994 69 994 -5638. -977 168 977 -5639. -950 266 950 -5640. -914 361 914 -5641. -869 452 869 -5642. -815 539 815 -5643. -753 621 753 -5644. -683 696 683 -5645. -606 765 606 -5646. -524 825 524 -5647. -436 878 436 -5648. -344 921 344 -5649. -248 956 248 -5650. -150 981 150 -5651. -50 996 50 -5652. 49 1001 -49 -5653. 148 996 -148 -5654. 246 981 -246 -5655. 342 956 -342 -5656. 434 922 -434 -5657. 522 879 -522 -5658. 605 826 -605 -5659. 682 766 -682 -5660. 751 697 -751 -5661. 814 622 -814 -5662. 868 541 -868 -5663. 913 454 -913 -5664. 950 363 -950 -5665. 976 268 -976 -5666. 993 170 -993 -5667. 1001 71 -1001 -5668. 998 -29 -998 -5669. 985 -128 -985 -5670. 962 -227 -962 -5671. 930 -323 -930 -5672. 888 -416 -888 -5673. 837 -505 -837 -5674. 779 -589 -779 -5675. 712 -667 -712 -5676. 638 -738 -638 -5677. 558 -802 -558 -5678. 472 -858 -472 -5679. 381 -905 -381 -5680. 287 -943 -287 -5681. 190 -972 -190 -5682. 91 -991 -91 -5683. -8 -1000 8 -5684. -108 -999 108 -5685. -207 -988 207 -5686. -304 -967 304 -5687. -398 -937 398 -5688. -487 -897 487 -5689. -572 -848 572 -5690. -651 -791 651 -5691. -724 -726 724 -5692. -790 -653 790 -5693. -847 -574 847 -5694. -896 -490 896 -5695. -936 -400 936 -5696. -967 -306 967 -5697. -988 -210 988 -5698. -999 -111 999 -5699. -1000 -11 1000 -5700. -991 88 991 -5701. -972 187 972 -5702. -944 285 944 -5703. -906 379 906 -5704. -859 470 859 -5705. -803 556 803 -5706. -740 636 740 -5707. -669 710 669 -5708. -591 777 591 -5709. -507 836 507 -5710. -418 887 418 -5711. -325 929 325 -5712. -229 961 229 -5713. -131 984 131 -5714. -31 997 31 -5715. 68 1001 -68 -5716. 168 994 -168 -5717. 265 977 -265 -5718. 360 950 -360 -5719. 452 914 -452 -5720. 539 869 -539 -5721. 620 815 -620 -5722. 696 753 -696 -5723. 764 683 -764 -5724. 825 607 -825 -5725. 877 524 -877 -5726. 921 437 -921 -5727. 956 344 -956 -5728. 980 249 -980 -5729. 996 151 -996 -5730. 1001 51 -1001 -5731. 996 -48 -996 -5732. 981 -148 -981 -5733. 956 -246 -956 -5734. 922 -341 -922 -5735. 879 -434 -879 -5736. 827 -522 -827 -5737. 766 -604 -766 -5738. 698 -681 -698 -5739. 623 -751 -623 -5740. 541 -813 -541 -5741. 455 -867 -455 -5742. 363 -913 -363 -5743. 268 -949 -268 -5744. 171 -976 -171 -5745. 71 -993 -71 -5746. -28 -1001 28 -5747. -128 -998 128 -5748. -226 -985 226 -5749. -322 -962 322 -5750. -415 -930 415 -5751. -504 -888 504 -5752. -588 -838 588 -5753. -666 -779 666 -5754. -737 -712 737 -5755. -801 -639 801 -5756. -857 -558 857 -5757. -905 -473 905 -5758. -943 -382 943 -5759. -972 -288 972 -5760. -991 -191 991 -5761. -1000 -91 1000 -5762. -999 8 999 -5763. -988 108 988 -5764. -968 206 968 -5765. -937 303 937 -5766. -897 397 897 -5767. -849 487 849 -5768. -791 572 791 -5769. -726 651 726 -5770. -654 724 654 -5771. -575 789 575 -5772. -490 847 490 -5773. -401 896 401 -5774. -307 936 307 -5775. -210 967 210 -5776. -111 988 111 -5777. -12 999 12 -5778. 88 1000 -88 -5779. 187 991 -187 -5780. 284 973 -284 -5781. 378 944 -378 -5782. 469 906 -469 -5783. 555 859 -555 -5784. 635 804 -635 -5785. 710 740 -710 -5786. 777 669 -777 -5787. 836 591 -836 -5788. 887 508 -887 -5789. 928 419 -928 -5790. 961 326 -961 -5791. 984 230 -984 -5792. 997 131 -997 -5793. 1001 32 -1001 -5794. 994 -67 -994 -5795. 977 -167 -977 -5796. 951 -265 -951 -5797. 915 -360 -915 -5798. 869 -451 -869 -5799. 816 -538 -816 -5800. 753 -620 -753 -5801. 684 -695 -684 -5802. 607 -764 -607 -5803. 525 -824 -525 -5804. 437 -877 -437 -5805. 345 -921 -345 -5806. 250 -955 -250 -5807. 151 -980 -151 -5808. 52 -996 -52 -5809. -47 -1001 47 -5810. -147 -996 147 -5811. -245 -981 245 -5812. -341 -957 341 -5813. -433 -923 433 -5814. -521 -879 521 -5815. -604 -827 604 -5816. -681 -767 681 -5817. -750 -698 750 -5818. -813 -623 813 -5819. -867 -542 867 -5820. -913 -455 913 -5821. -949 -364 949 -5822. -976 -269 976 -5823. -993 -171 993 -5824. -1000 -72 1000 -5825. -998 27 998 -5826. -985 127 985 -5827. -962 225 962 -5828. -930 322 930 -5829. -889 415 889 -5830. -838 504 838 -5831. -779 588 779 -5832. -713 666 713 -5833. -639 737 639 -5834. -559 801 559 -5835. -473 857 473 -5836. -383 904 383 -5837. -288 943 288 -5838. -191 971 191 -5839. -92 991 92 -5840. 7 1000 -7 -5841. 107 999 -107 -5842. 206 988 -206 -5843. 303 968 -303 -5844. 396 937 -396 -5845. 486 898 -486 -5846. 571 849 -571 -5847. 650 792 -650 -5848. 723 727 -723 -5849. 789 654 -789 -5850. 846 576 -846 -5851. 895 491 -895 -5852. 936 401 -936 -5853. 966 308 -966 -5854. 988 211 -988 -5855. 999 112 -999 -5856. 1000 12 -1000 -5857. 991 -87 -991 -5858. 973 -186 -973 -5859. 944 -283 -944 -5860. 906 -378 -906 -5861. 860 -468 -860 -5862. 804 -554 -804 -5863. 741 -635 -741 -5864. 670 -709 -670 -5865. 592 -776 -592 -5866. 508 -835 -508 -5867. 420 -886 -420 -5868. 327 -928 -327 -5869. 231 -961 -231 -5870. 132 -984 -132 -5871. 32 -997 -32 -5872. -67 -1001 67 -5873. -166 -994 166 -5874. -264 -977 264 -5875. -359 -951 359 -5876. -451 -915 451 -5877. -538 -870 538 -5878. -619 -816 619 -5879. -695 -754 695 -5880. -763 -684 763 -5881. -824 -608 824 -5882. -877 -526 877 -5883. -920 -438 920 -5884. -955 -346 955 -5885. -980 -250 980 -5886. -995 -152 995 -5887. -1001 -53 1001 -5888. -996 47 996 -5889. -981 146 981 -5890. -957 244 957 -5891. -923 340 923 -5892. -880 432 880 -5893. -827 520 827 -5894. -767 603 767 -5895. -699 680 699 -5896. -624 750 624 -5897. -543 812 543 -5898. -456 867 456 -5899. -365 912 365 -5900. -270 949 270 -5901. -172 976 172 -5902. -73 993 73 -5903. 26 1000 -26 -5904. 126 998 -126 -5905. 225 985 -225 -5906. 321 963 -321 -5907. 414 930 -414 -5908. 503 889 -503 -5909. 587 839 -587 -5910. 665 780 -665 -5911. 736 713 -736 -5912. 800 640 -800 -5913. 856 560 -856 -5914. 904 474 -904 -5915. 942 383 -942 -5916. 971 289 -971 -5917. 990 192 -990 -5918. 1000 93 -1000 -5919. 999 -6 -999 -5920. 988 -106 -988 -5921. 968 -205 -968 -5922. 938 -302 -938 -5923. 898 -396 -898 -5924. 849 -486 -849 -5925. 792 -571 -792 -5926. 727 -650 -727 -5927. 655 -723 -655 -5928. 576 -788 -576 -5929. 491 -846 -491 -5930. 402 -895 -402 -5931. 308 -935 -308 -5932. 212 -966 -212 -5933. 113 -987 -113 -5934. 13 -999 -13 -5935. -86 -1000 86 -5936. -185 -991 185 -5937. -283 -973 283 -5938. -377 -945 377 -5939. -468 -907 468 -5940. -554 -860 554 -5941. -634 -804 634 -5942. -709 -741 709 -5943. -776 -670 776 -5944. -835 -592 835 -5945. -886 -509 886 -5946. -928 -420 928 -5947. -961 -327 961 -5948. -984 -231 984 -5949. -997 -133 997 -5950. -1001 -33 1001 -5951. -994 66 994 -5952. -977 165 977 -5953. -951 263 951 -5954. -915 358 915 -5955. -870 450 870 -5956. -816 537 816 -5957. -754 619 754 -5958. -685 694 685 -5959. -609 763 609 -5960. -526 824 526 -5961. -439 876 439 -5962. -346 920 346 -5963. -251 955 251 -5964. -153 980 153 -5965. -53 995 53 -5966. 46 1001 -46 -5967. 146 996 -146 -5968. 244 982 -244 -5969. 339 957 -339 -5970. 432 923 -432 -5971. 520 880 -520 -5972. 603 828 -603 -5973. 679 768 -679 -5974. 749 700 -749 -5975. 812 625 -812 -5976. 866 543 -866 -5977. 912 457 -912 -5978. 949 365 -949 -5979. 976 270 -976 -5980. 993 173 -993 -5981. 1000 73 -1000 -5982. 998 -26 -998 -5983. 985 -126 -985 -5984. 963 -224 -963 -5985. 931 -320 -931 -5986. 889 -414 -889 -5987. 839 -503 -839 -5988. 780 -586 -780 -5989. 714 -665 -714 -5990. 640 -736 -640 -5991. 560 -800 -560 -5992. 474 -856 -474 -5993. 384 -904 -384 -5994. 290 -942 -290 -5995. 193 -971 -193 -5996. 94 -990 -94 -5997. -6 -1000 6 -5998. -105 -999 105 -5999. -204 -989 204 -6000. -301 -968 301 -6001. -395 -938 395 -6002. -485 -898 485 -6003. -570 -850 570 -6004. -649 -793 649 -6005. -722 -728 722 -6006. -788 -656 788 -6007. -845 -577 845 -6008. -895 -492 895 -6009. -935 -403 935 -6010. -966 -309 966 -6011. -987 -212 987 -6012. -999 -114 999 -6013. -1000 -14 1000 -6014. -992 85 992 -6015. -973 185 973 -6016. -945 282 945 -6017. -907 376 907 -6018. -860 467 860 -6019. -805 553 805 -6020. -741 634 741 -6021. -671 708 671 -6022. -593 775 593 -6023. -510 835 510 -6024. -421 886 421 -6025. -328 928 328 -6026. -232 961 232 -6027. -134 984 134 -6028. -34 997 34 -6029. 65 1001 -65 -6030. 165 994 -165 -6031. 263 978 -263 -6032. 358 951 -358 -6033. 449 915 -449 -6034. 536 870 -536 -6035. 618 817 -618 -6036. 694 755 -694 -6037. 762 685 -762 -6038. 823 609 -823 -6039. 876 527 -876 -6040. 920 439 -920 -6041. 955 347 -955 -6042. 980 252 -980 -6043. 995 154 -995 -6044. 1001 54 -1001 -6045. 996 -45 -996 -6046. 982 -145 -982 -6047. 957 -243 -957 -6048. 923 -339 -923 -6049. 880 -431 -880 -6050. 828 -519 -828 -6051. 768 -602 -768 -6052. 700 -679 -700 -6053. 625 -749 -625 -6054. 544 -812 -544 -6055. 457 -866 -457 -6056. 366 -912 -366 -6057. 271 -948 -271 -6058. 173 -976 -173 -6059. 74 -993 -74 -6060. -25 -1000 25 -6061. -125 -998 125 -6062. -223 -985 223 -6063. -320 -963 320 -6064. -413 -931 413 -6065. -502 -890 502 -6066. -586 -839 586 -6067. -664 -781 664 -6068. -735 -714 735 -6069. -800 -641 800 -6070. -856 -561 856 -6071. -903 -475 903 -6072. -942 -385 942 -6073. -971 -290 971 -6074. -990 -193 990 -6075. -1000 -94 1000 -6076. -999 5 999 -6077. -989 105 989 -6078. -968 204 968 -6079. -938 301 938 -6080. -899 394 899 -6081. -850 484 850 -6082. -793 569 793 -6083. -728 649 728 -6084. -656 722 656 -6085. -577 787 577 -6086. -493 845 493 -6087. -403 894 403 -6088. -310 935 310 -6089. -213 966 213 -6090. -114 987 114 -6091. -14 999 14 -6092. 85 1000 -85 -6093. 184 992 -184 -6094. 281 973 -281 -6095. 376 945 -376 -6096. 467 907 -467 -6097. 553 861 -553 -6098. 633 805 -633 -6099. 708 742 -708 -6100. 775 671 -775 -6101. 834 594 -834 -6102. 885 510 -885 -6103. 927 422 -927 -6104. 960 329 -960 -6105. 984 233 -984 -6106. 997 134 -997 -6107. 1001 35 -1001 -6108. 994 -65 -994 -6109. 978 -164 -978 -6110. 951 -262 -951 -6111. 916 -357 -916 -6112. 871 -449 -871 -6113. 817 -536 -817 -6114. 755 -618 -755 -6115. 686 -693 -686 -6116. 610 -762 -610 -6117. 527 -823 -527 -6118. 440 -876 -440 -6119. 348 -920 -348 -6120. 252 -954 -252 -6121. 154 -980 -154 -6122. 55 -995 -55 -6123. -44 -1001 44 -6124. -144 -996 144 -6125. -242 -982 242 -6126. -338 -958 338 -6127. -431 -924 431 -6128. -519 -881 519 -6129. -602 -829 602 -6130. -678 -768 678 -6131. -749 -701 749 -6132. -811 -626 811 -6133. -866 -544 866 -6134. -911 -458 911 -6135. -948 -367 948 -6136. -975 -272 975 -6137. -993 -174 993 -6138. -1000 -75 1000 -6139. -998 24 998 -6140. -985 124 985 -6141. -963 223 963 -6142. -931 319 931 -6143. -890 412 890 -6144. -840 501 840 -6145. -781 585 781 -6146. -715 663 715 -6147. -641 735 641 -6148. -561 799 561 -6149. -476 855 476 -6150. -385 903 385 -6151. -291 942 291 -6152. -194 971 194 -6153. -95 990 95 -6154. 4 1000 -4 -6155. 104 999 -104 -6156. 203 989 -203 -6157. 300 968 -300 -6158. 394 938 -394 -6159. 484 899 -484 -6160. 569 851 -569 -6161. 648 794 -648 -6162. 721 729 -721 -6163. 787 657 -787 -6164. 845 578 -845 -6165. 894 493 -894 -6166. 935 404 -935 -6167. 966 310 -966 -6168. 987 214 -987 -6169. 999 115 -999 -6170. 1000 15 -1000 -6171. 992 -84 -992 -6172. 973 -183 -973 -6173. 945 -281 -945 -6174. 908 -375 -908 -6175. 861 -466 -861 -6176. 806 -552 -806 -6177. 742 -633 -742 -6178. 672 -707 -672 -6179. 594 -774 -594 -6180. 511 -834 -511 -6181. 422 -885 -422 -6182. 329 -927 -329 -6183. 233 -960 -233 -6184. 135 -984 -135 -6185. 35 -997 -35 -6186. -64 -1001 64 -6187. -163 -994 163 -6188. -261 -978 261 -6189. -356 -952 356 -6190. -448 -916 448 -6191. -535 -871 535 -6192. -617 -818 617 -6193. -693 -756 693 -6194. -761 -686 761 -6195. -822 -610 822 -6196. -875 -528 875 -6197. -919 -440 919 -6198. -954 -348 954 -6199. -980 -253 980 -6200. -995 -155 995 -6201. -1001 -55 1001 -6202. -996 44 996 -6203. -982 143 982 -6204. -958 242 958 -6205. -924 337 924 -6206. -881 430 881 -6207. -829 518 829 -6208. -769 601 769 -6209. -701 678 701 -6210. -626 748 626 -6211. -545 811 545 -6212. -458 865 458 -6213. -367 911 367 -6214. -272 948 272 -6215. -175 975 175 -6216. -76 993 76 -6217. 24 1000 -24 -6218. 123 998 -123 -6219. 222 986 -222 -6220. 318 963 -318 -6221. 412 931 -412 -6222. 501 890 -501 -6223. 585 840 -585 -6224. 663 782 -663 -6225. 735 715 -735 -6226. 799 642 -799 -6227. 855 562 -855 -6228. 903 476 -903 -6229. 941 386 -941 -6230. 971 292 -971 -6231. 990 195 -990 -6232. 1000 96 -1000 -6233. 999 -3 -999 -6234. 989 -103 -989 -6235. 969 -202 -969 -6236. 939 -299 -939 -6237. 899 -393 -899 -6238. 851 -483 -851 -6239. 794 -568 -794 -6240. 729 -648 -729 -6241. 657 -721 -657 -6242. 578 -786 -578 -6243. 494 -844 -494 -6244. 405 -894 -405 -6245. 311 -934 -311 -6246. 214 -965 -214 -6247. 116 -987 -116 -6248. 16 -999 -16 -6249. -83 -1000 83 -6250. -183 -992 183 -6251. -280 -974 280 -6252. -375 -945 375 -6253. -465 -908 465 -6254. -552 -861 552 -6255. -632 -806 632 -6256. -707 -743 707 -6257. -774 -672 774 -6258. -833 -595 833 -6259. -885 -511 885 -6260. -927 -423 927 -6261. -960 -330 960 -6262. -983 -234 983 -6263. -997 -136 997 -6264. -1001 -36 1001 -6265. -994 63 994 -6266. -978 163 978 -6267. -952 260 952 -6268. -916 356 916 -6269. -871 447 871 -6270. -818 535 818 -6271. -756 616 756 -6272. -687 692 687 -6273. -611 761 611 -6274. -529 822 529 -6275. -441 875 441 -6276. -349 919 349 -6277. -254 954 254 -6278. -156 979 156 -6279. -56 995 56 -6280. 43 1001 -43 -6281. 143 996 -143 -6282. 241 982 -241 -6283. 337 958 -337 -6284. 429 924 -429 -6285. 517 881 -517 -6286. 600 829 -600 -6287. 677 769 -677 -6288. 748 702 -748 -6289. 810 627 -810 -6290. 865 546 -865 -6291. 911 459 -911 -6292. 948 368 -948 -6293. 975 273 -975 -6294. 993 176 -993 -6295. 1000 76 -1000 -6296. 998 -23 -998 -6297. 986 -123 -986 -6298. 964 -221 -964 -6299. 932 -318 -932 -6300. 891 -411 -891 -6301. 841 -500 -841 -6302. 782 -584 -782 -6303. 716 -662 -716 -6304. 642 -734 -642 -6305. 562 -798 -562 -6306. 477 -855 -477 -6307. 387 -902 -387 -6308. 292 -941 -292 -6309. 195 -970 -195 -6310. 96 -990 -96 -6311. -3 -1000 3 -6312. -103 -999 103 -6313. -202 -989 202 -6314. -299 -969 299 -6315. -392 -939 392 -6316. -482 -900 482 -6317. -568 -851 568 -6318. -647 -794 647 -6319. -720 -730 720 -6320. -786 -658 786 -6321. -844 -579 844 -6322. -893 -495 893 -6323. -934 -405 934 -6324. -965 -312 965 -6325. -987 -215 987 -6326. -999 -116 999 -6327. -1000 -16 1000 -6328. -992 83 992 -6329. -974 182 974 -6330. -946 279 946 -6331. -908 374 908 -6332. -862 465 862 -6333. -807 551 807 -6334. -743 632 743 -6335. -673 706 673 -6336. -595 773 595 -6337. -512 833 512 -6338. -424 884 424 -6339. -331 927 331 -6340. -235 960 235 -6341. -136 983 136 -6342. -37 997 37 -6343. 62 1001 -62 -6344. 162 994 -162 -6345. 260 978 -260 -6346. 355 952 -355 -6347. 447 917 -447 -6348. 534 872 -534 -6349. 616 818 -616 -6350. 692 757 -692 -6351. 760 688 -760 -6352. 822 611 -822 -6353. 875 529 -875 -6354. 919 442 -919 -6355. 954 350 -954 -6356. 979 254 -979 -6357. 995 156 -995 -6358. 1001 57 -1001 -6359. 996 -42 -996 -6360. 982 -142 -982 -6361. 958 -240 -958 -6362. 924 -336 -924 -6363. 882 -429 -882 -6364. 830 -517 -830 -6365. 770 -600 -770 -6366. 702 -677 -702 -6367. 627 -747 -627 -6368. 546 -810 -546 -6369. 460 -865 -460 -6370. 369 -911 -369 -6371. 274 -948 -274 -6372. 176 -975 -176 -6373. 77 -993 -77 -6374. -22 -1000 22 -6375. -122 -998 122 -6376. -221 -986 221 -6377. -317 -964 317 -6378. -410 -932 410 -6379. -499 -891 499 -6380. -584 -841 584 -6381. -662 -783 662 -6382. -734 -716 734 -6383. -798 -643 798 -6384. -854 -563 854 -6385. -902 -478 902 -6386. -941 -387 941 -6387. -970 -293 970 -6388. -990 -196 990 -6389. -1000 -97 1000 -6390. -999 2 999 -6391. -989 102 989 -6392. -969 201 969 -6393. -939 298 939 -6394. -900 392 900 -6395. -852 482 852 -6396. -795 567 795 -6397. -730 647 730 -6398. -658 720 658 -6399. -580 786 580 -6400. -495 844 495 -6401. -406 893 406 -6402. -312 934 312 -6403. -216 965 216 -6404. -117 987 117 -6405. -17 998 17 -6406. 82 1000 -82 -6407. 181 992 -181 -6408. 279 974 -279 -6409. 373 946 -373 -6410. 464 909 -464 -6411. 550 862 -550 -6412. 631 807 -631 -6413. 706 744 -706 -6414. 773 673 -773 -6415. 833 596 -833 -6416. 884 513 -884 -6417. 926 424 -926 -6418. 960 331 -960 -6419. 983 235 -983 -6420. 997 137 -997 -6421. 1001 37 -1001 -6422. 994 -62 -994 -6423. 978 -161 -978 -6424. 952 -259 -952 -6425. 917 -354 -917 -6426. 872 -446 -872 -6427. 819 -533 -819 -6428. 757 -615 -757 -6429. 688 -691 -688 -6430. 612 -760 -612 -6431. 530 -821 -530 -6432. 442 -874 -442 -6433. 350 -919 -350 -6434. 255 -954 -255 -6435. 157 -979 -157 -6436. 58 -995 -58 -6437. -42 -1001 42 -6438. -141 -997 141 -6439. -240 -982 240 -6440. -335 -958 335 -6441. -428 -925 428 -6442. -516 -882 516 -6443. -599 -830 599 -6444. -676 -770 676 -6445. -747 -703 747 -6446. -810 -628 810 -6447. -864 -547 864 -6448. -910 -460 910 -6449. -947 -369 947 -6450. -975 -274 975 -6451. -993 -177 993 -6452. -1000 -78 1000 -6453. -998 21 998 -6454. -986 121 986 -6455. -964 220 964 -6456. -932 316 932 -6457. -891 410 891 -6458. -841 499 841 -6459. -783 583 783 -6460. -717 661 717 -6461. -643 733 643 -6462. -564 797 564 -6463. -478 854 478 -6464. -388 902 388 -6465. -294 941 294 -6466. -197 970 197 -6467. -98 990 98 -6468. 1 1000 -1 -6469. 101 999 -101 -6470. 200 989 -200 -6471. 297 969 -297 -6472. 391 939 -391 -6473. 481 900 -481 -6474. 567 852 -567 -6475. 646 795 -646 -6476. 719 731 -719 -6477. 785 659 -785 -6478. 843 580 -843 -6479. 893 496 -893 -6480. 934 406 -934 -6481. 965 313 -965 -6482. 987 217 -987 -6483. 998 118 -998 -6484. 1000 18 -1000 -6485. 992 -81 -992 -6486. 974 -180 -974 -6487. 946 -278 -946 -6488. 909 -373 -909 -6489. 862 -463 -862 -6490. 807 -550 -807 -6491. 744 -631 -744 -6492. 674 -705 -674 -6493. 596 -772 -596 -6494. 513 -832 -513 -6495. 425 -884 -425 -6496. 332 -926 -332 -6497. 236 -959 -236 -6498. 138 -983 -138 -6499. 38 -997 -38 -6500. -61 -1001 61 -6501. -161 -995 161 -6502. -258 -978 258 -6503. -354 -953 354 -6504. -445 -917 445 -6505. -533 -873 533 -6506. -615 -819 615 -6507. -691 -758 691 -6508. -759 -689 759 -6509. -821 -613 821 -6510. -874 -530 874 -6511. -918 -443 918 -6512. -953 -351 953 -6513. -979 -256 979 -6514. -995 -158 995 -6515. -1001 -58 1001 -6516. -997 41 997 -6517. -982 141 982 -6518. -959 239 959 -6519. -925 335 925 -6520. -882 427 882 -6521. -831 516 831 -6522. -771 599 771 -6523. -703 676 703 -6524. -628 746 628 -6525. -547 809 547 -6526. -461 864 461 -6527. -370 910 370 -6528. -275 947 275 -6529. -178 975 178 -6530. -78 992 78 -6531. 21 1000 -21 -6532. 121 998 -121 -6533. 219 986 -219 -6534. 316 964 -316 -6535. 409 933 -409 -6536. 498 892 -498 -6537. 582 842 -582 -6538. 661 783 -661 -6539. 733 717 -733 -6540. 797 644 -797 -6541. 854 564 -854 -6542. 901 479 -901 -6543. 940 389 -940 -6544. 970 295 -970 -6545. 990 197 -990 -6546. 1000 98 -1000 -6547. 999 -1 -999 -6548. 989 -101 -989 -6549. 969 -200 -969 -6550. 940 -297 -940 -6551. 901 -391 -901 -6552. 852 -481 -852 -6553. 796 -566 -796 -6554. 731 -646 -731 -6555. 659 -719 -659 -6556. 581 -785 -581 -6557. 496 -843 -496 -6558. 407 -893 -407 -6559. 314 -933 -314 -6560. 217 -965 -217 -6561. 119 -986 -119 -6562. 19 -998 -19 -6563. -80 -1000 80 -6564. -180 -992 180 -6565. -277 -974 277 -6566. -372 -946 372 -6567. -463 -909 463 -6568. -549 -863 549 -6569. -630 -808 630 -6570. -705 -745 705 -6571. -772 -674 772 -6572. -832 -597 832 -6573. -883 -514 883 -6574. -926 -425 926 -6575. -959 -333 959 -6576. -983 -237 983 -6577. -997 -139 997 -6578. -1001 -39 1001 -6579. -995 60 995 -6580. -979 160 979 -6581. -953 258 953 -6582. -917 353 917 -6583. -873 445 873 -6584. -820 532 820 -6585. -758 614 758 -6586. -689 690 689 -6587. -613 759 613 -6588. -531 820 531 -6589. -444 874 444 -6590. -352 918 352 -6591. -256 953 256 -6592. -158 979 158 -6593. -59 995 59 -6594. 40 1001 -40 -6595. 140 997 -140 -6596. 238 983 -238 -6597. 334 959 -334 -6598. 427 925 -427 -6599. 515 883 -515 -6600. 598 831 -598 -6601. 675 771 -675 -6602. 746 704 -746 -6603. 809 629 -809 -6604. 864 548 -864 -6605. 910 462 -910 -6606. 947 371 -947 -6607. 974 276 -974 -6608. 992 178 -992 -6609. 1000 79 -1000 -6610. 998 -20 -998 -6611. 986 -120 -986 -6612. 964 -219 -964 -6613. 933 -315 -933 -6614. 892 -408 -892 -6615. 842 -498 -842 -6616. 784 -582 -784 -6617. 718 -660 -718 -6618. 644 -732 -644 -6619. 565 -797 -565 -6620. 479 -853 -479 -6621. 389 -901 -389 -6622. 295 -940 -295 -6623. 198 -970 -198 -6624. 99 -990 -99 -6625. 0 -1000 0 -6626. -100 -999 100 -6627. -199 -989 199 -6628. -296 -970 296 -6629. -390 -940 390 -6630. -480 -901 480 -6631. -565 -853 565 -6632. -645 -796 645 -6633. -718 -732 718 -6634. -784 -660 784 -6635. -842 -581 842 -6636. -892 -497 892 -6637. -933 -408 933 -6638. -965 -314 965 -6639. -986 -218 986 -6640. -998 -119 998 -6641. -1000 -19 1000 -6642. -992 80 992 -6643. -974 179 974 -6644. -947 277 947 -6645. -909 371 909 -6646. -863 462 863 -6647. -808 549 808 -6648. -745 629 745 -6649. -675 704 675 -6650. -598 772 598 -6651. -514 831 514 -6652. -426 883 426 -6653. -333 926 333 -6654. -238 959 238 -6655. -139 983 139 -6656. -39 997 39 -6657. 60 1001 -60 -6658. 159 995 -159 -6659. 257 979 -257 -6660. 352 953 -352 -6661. 444 918 -444 -6662. 532 873 -532 -6663. 614 820 -614 -6664. 690 759 -690 -6665. 759 690 -759 -6666. 820 614 -820 -6667. 873 532 -873 -6668. 918 444 -918 -6669. 953 352 -953 -6670. 979 257 -979 -6671. 995 159 -995 -6672. 1001 60 -1001 -6673. 997 -39 -997 -6674. 983 -139 -983 -6675. 959 -238 -959 -6676. 926 -333 -926 -6677. 883 -426 -883 -6678. 831 -514 -831 -6679. 772 -598 -772 -6680. 704 -675 -704 -6681. 629 -745 -629 -6682. 549 -808 -549 -6683. 462 -863 -462 -6684. 371 -909 -371 -6685. 277 -947 -277 -6686. 179 -974 -179 -6687. 80 -992 -80 -6688. -19 -1000 19 -6689. -119 -998 119 -6690. -218 -986 218 -6691. -314 -965 314 -6692. -408 -933 408 -6693. -497 -892 497 -6694. -581 -842 581 -6695. -660 -784 660 -6696. -732 -718 732 -6697. -796 -645 796 -6698. -853 -565 853 -6699. -901 -480 901 -6700. -940 -390 940 -6701. -970 -296 970 -6702. -989 -199 989 -6703. -999 -100 999 -6704. -1000 0 1000 -6705. -990 99 990 -6706. -970 198 970 -6707. -940 295 940 -6708. -901 389 901 -6709. -853 479 853 -6710. -797 565 797 -6711. -732 644 732 -6712. -660 718 660 -6713. -582 784 582 -6714. -498 842 498 -6715. -408 892 408 -6716. -315 933 315 -6717. -219 964 219 -6718. -120 986 120 -6719. -20 998 20 -6720. 79 1000 -79 -6721. 178 992 -178 -6722. 276 974 -276 -6723. 371 947 -371 -6724. 462 910 -462 -6725. 548 864 -548 -6726. 629 809 -629 -6727. 704 746 -704 -6728. 771 675 -771 -6729. 831 598 -831 -6730. 883 515 -883 -6731. 925 427 -925 -6732. 959 334 -959 -6733. 983 238 -983 -6734. 997 140 -997 -6735. 1001 40 -1001 -6736. 995 -59 -995 -6737. 979 -158 -979 -6738. 953 -256 -953 -6739. 918 -352 -918 -6740. 874 -444 -874 -6741. 820 -531 -820 -6742. 759 -613 -759 -6743. 690 -689 -690 -6744. 614 -758 -614 -6745. 532 -820 -532 -6746. 445 -873 -445 -6747. 353 -917 -353 -6748. 258 -953 -258 -6749. 160 -979 -160 -6750. 60 -995 -60 -6751. -39 -1001 39 -6752. -138 -997 138 -6753. -237 -983 237 -6754. -333 -959 333 -6755. -425 -926 425 -6756. -514 -883 514 -6757. -597 -832 597 -6758. -674 -772 674 -6759. -745 -705 745 -6760. -808 -630 808 -6761. -863 -549 863 -6762. -909 -463 909 -6763. -946 -372 946 -6764. -974 -277 974 -6765. -992 -180 992 -6766. -1000 -80 1000 -6767. -998 19 998 -6768. -986 118 986 -6769. -965 217 965 -6770. -933 314 933 -6771. -893 407 893 -6772. -843 496 843 -6773. -785 581 785 -6774. -719 659 719 -6775. -646 731 646 -6776. -566 796 566 -6777. -481 852 481 -6778. -391 901 391 -6779. -297 940 297 -6780. -200 969 200 -6781. -101 989 101 -6782. -1 999 1 -6783. 98 1000 -98 -6784. 197 990 -197 -6785. 294 970 -294 -6786. 389 940 -389 -6787. 479 901 -479 -6788. 564 854 -564 -6789. 644 797 -644 -6790. 717 733 -717 -6791. 783 661 -783 -6792. 842 582 -842 -6793. 892 498 -892 -6794. 932 409 -932 -6795. 964 316 -964 -6796. 986 219 -986 -6797. 998 121 -998 -6798. 1000 21 -1000 -6799. 992 -78 -992 -6800. 975 -178 -975 -6801. 947 -275 -947 -6802. 910 -370 -910 -6803. 864 -461 -864 -6804. 809 -547 -809 -6805. 746 -628 -746 -6806. 676 -703 -676 -6807. 599 -771 -599 -6808. 516 -831 -516 -6809. 427 -882 -427 -6810. 335 -925 -335 -6811. 239 -959 -239 -6812. 141 -982 -141 -6813. 41 -997 -41 -6814. -58 -1001 58 -6815. -158 -995 158 -6816. -256 -979 256 -6817. -351 -953 351 -6818. -443 -918 443 -6819. -530 -874 530 -6820. -613 -821 613 -6821. -689 -760 689 -6822. -758 -691 758 -6823. -819 -615 819 -6824. -873 -533 873 -6825. -917 -446 917 -6826. -953 -354 953 -6827. -978 -258 978 -6828. -995 -161 995 -6829. -1001 -61 1001 -6830. -997 38 997 -6831. -983 138 983 -6832. -959 236 959 -6833. -926 332 926 -6834. -884 425 884 -6835. -832 513 832 -6836. -772 596 772 -6837. -705 674 705 -6838. -631 744 631 -6839. -550 807 550 -6840. -463 862 463 -6841. -373 909 373 -6842. -278 946 278 -6843. -180 974 180 -6844. -81 992 81 -6845. 18 1000 -18 -6846. 118 998 -118 -6847. 216 987 -216 -6848. 313 965 -313 -6849. 406 934 -406 -6850. 496 893 -496 -6851. 580 843 -580 -6852. 659 785 -659 -6853. 731 719 -731 -6854. 795 646 -795 -6855. 852 567 -852 -6856. 900 481 -900 -6857. 939 391 -939 -6858. 969 297 -969 -6859. 989 200 -989 -6860. 999 101 -999 -6861. 1000 1 -1000 -6862. 990 -98 -990 -6863. 970 -197 -970 -6864. 941 -294 -941 -6865. 902 -388 -902 -6866. 854 -478 -854 -6867. 797 -564 -797 -6868. 733 -643 -733 -6869. 661 -717 -661 -6870. 583 -783 -583 -6871. 499 -841 -499 -6872. 410 -891 -410 -6873. 316 -932 -316 -6874. 220 -964 -220 -6875. 121 -986 -121 -6876. 21 -998 -21 -6877. -78 -1000 78 -6878. -177 -993 177 -6879. -274 -975 274 -6880. -369 -947 369 -6881. -460 -910 460 -6882. -547 -864 547 -6883. -628 -810 628 -6884. -703 -747 703 -6885. -770 -676 770 -6886. -830 -599 830 -6887. -882 -516 882 -6888. -925 -428 925 -6889. -958 -335 958 -6890. -982 -240 982 -6891. -997 -141 997 -6892. -1001 -42 1001 -6893. -995 58 995 -6894. -979 157 979 -6895. -954 255 954 -6896. -919 350 919 -6897. -874 442 874 -6898. -821 530 821 -6899. -760 612 760 -6900. -691 688 691 -6901. -615 757 615 -6902. -533 819 533 -6903. -446 872 446 -6904. -354 917 354 -6905. -259 952 259 -6906. -161 978 161 -6907. -62 994 62 -6908. 37 1001 -37 -6909. 137 997 -137 -6910. 235 983 -235 -6911. 331 960 -331 -6912. 424 926 -424 -6913. 513 884 -513 -6914. 596 833 -596 -6915. 673 773 -673 -6916. 744 706 -744 -6917. 807 631 -807 -6918. 862 550 -862 -6919. 909 464 -909 -6920. 946 373 -946 -6921. 974 279 -974 -6922. 992 181 -992 -6923. 1000 82 -1000 -6924. 998 -17 -998 -6925. 987 -117 -987 -6926. 965 -216 -965 -6927. 934 -312 -934 -6928. 893 -406 -893 -6929. 844 -495 -844 -6930. 786 -580 -786 -6931. 720 -658 -720 -6932. 647 -730 -647 -6933. 567 -795 -567 -6934. 482 -852 -482 -6935. 392 -900 -392 -6936. 298 -939 -298 -6937. 201 -969 -201 -6938. 102 -989 -102 -6939. 2 -999 -2 -6940. -97 -1000 97 -6941. -196 -990 196 -6942. -293 -970 293 -6943. -387 -941 387 -6944. -478 -902 478 -6945. -563 -854 563 -6946. -643 -798 643 -6947. -716 -734 716 -6948. -782 -662 782 -6949. -841 -584 841 -6950. -891 -499 891 -6951. -932 -410 932 -6952. -964 -317 964 -6953. -986 -221 986 -6954. -998 -122 998 -6955. -1000 -22 1000 -6956. -993 77 993 -6957. -975 176 975 -6958. -948 274 948 -6959. -911 369 911 -6960. -865 460 865 -6961. -810 546 810 -6962. -747 627 747 -6963. -677 702 677 -6964. -600 770 600 -6965. -517 830 517 -6966. -429 882 429 -6967. -336 924 336 -6968. -240 958 240 -6969. -142 982 142 -6970. -42 996 42 -6971. 57 1001 -57 -6972. 156 995 -156 -6973. 254 979 -254 -6974. 350 954 -350 -6975. 442 919 -442 -6976. 529 875 -529 -6977. 611 822 -611 -6978. 688 760 -688 -6979. 757 692 -757 -6980. 818 616 -818 -6981. 872 534 -872 -6982. 917 447 -917 -6983. 952 355 -952 -6984. 978 260 -978 -6985. 994 162 -994 -6986. 1001 62 -1001 -6987. 997 -37 -997 -6988. 983 -136 -983 -6989. 960 -235 -960 -6990. 927 -331 -927 -6991. 884 -424 -884 -6992. 833 -512 -833 -6993. 773 -595 -773 -6994. 706 -673 -706 -6995. 632 -743 -632 -6996. 551 -807 -551 -6997. 465 -862 -465 -6998. 374 -908 -374 -6999. 279 -946 -279 -7000. 182 -974 -182 -7001. 83 -992 -83 -7002. -16 -1000 16 -7003. -116 -999 116 -7004. -215 -987 215 -7005. -312 -965 312 -7006. -405 -934 405 -7007. -495 -893 495 -7008. -579 -844 579 -7009. -658 -786 658 -7010. -730 -720 730 -7011. -794 -647 794 -7012. -851 -568 851 -7013. -900 -483 900 -7014. -939 -393 939 -7015. -969 -299 969 -7016. -989 -202 989 -7017. -999 -103 999 -7018. -1000 -3 1000 -7019. -990 96 990 -7020. -970 195 970 -7021. -941 292 941 -7022. -902 387 902 -7023. -855 477 855 -7024. -798 562 798 -7025. -734 642 734 -7026. -662 716 662 -7027. -584 782 584 -7028. -500 841 500 -7029. -411 891 411 -7030. -318 932 318 -7031. -221 964 221 -7032. -123 986 123 -7033. -23 998 23 -7034. 76 1000 -76 -7035. 176 993 -176 -7036. 273 975 -273 -7037. 368 948 -368 -7038. 459 911 -459 -7039. 546 865 -546 -7040. 627 810 -627 -7041. 702 748 -702 -7042. 769 677 -769 -7043. 829 600 -829 -7044. 881 517 -881 -7045. 924 429 -924 -7046. 958 337 -958 -7047. 982 241 -982 -7048. 996 143 -996 -7049. 1001 43 -1001 -7050. 995 -56 -995 -7051. 979 -156 -979 -7052. 954 -254 -954 -7053. 919 -349 -919 -7054. 875 -441 -875 -7055. 822 -529 -822 -7056. 761 -611 -761 -7057. 692 -687 -692 -7058. 616 -756 -616 -7059. 535 -818 -535 -7060. 447 -871 -447 -7061. 356 -916 -356 -7062. 261 -952 -261 -7063. 163 -978 -163 -7064. 63 -994 -63 -7065. -36 -1001 36 -7066. -136 -997 136 -7067. -234 -983 234 -7068. -330 -960 330 -7069. -423 -927 423 -7070. -511 -885 511 -7071. -595 -833 595 -7072. -672 -774 672 -7073. -743 -707 743 -7074. -806 -632 806 -7075. -861 -552 861 -7076. -908 -465 908 -7077. -945 -375 945 -7078. -973 -280 973 -7079. -992 -183 992 -7080. -1000 -83 1000 -7081. -999 16 999 -7082. -987 116 987 -7083. -965 214 965 -7084. -934 311 934 -7085. -894 404 894 -7086. -844 494 844 -7087. -786 578 786 -7088. -721 657 721 -7089. -648 729 648 -7090. -568 794 568 -7091. -483 851 483 -7092. -393 899 393 -7093. -299 939 299 -7094. -202 969 202 -7095. -103 989 103 -7096. -3 999 3 -7097. 96 1000 -96 -7098. 195 990 -195 -7099. 292 971 -292 -7100. 386 941 -386 -7101. 476 903 -476 -7102. 562 855 -562 -7103. 642 799 -642 -7104. 715 735 -715 -7105. 782 663 -782 -7106. 840 585 -840 -7107. 890 501 -890 -7108. 931 412 -931 -7109. 963 318 -963 -7110. 986 222 -986 -7111. 998 123 -998 -7112. 1000 24 -1000 -7113. 993 -76 -993 -7114. 975 -175 -975 -7115. 948 -272 -948 -7116. 911 -367 -911 -7117. 865 -458 -865 -7118. 811 -545 -811 -7119. 748 -626 -748 -7120. 678 -701 -678 -7121. 601 -769 -601 -7122. 518 -829 -518 -7123. 430 -881 -430 -7124. 337 -924 -337 -7125. 242 -958 -242 -7126. 143 -982 -143 -7127. 44 -996 -44 -7128. -55 -1001 55 -7129. -155 -995 155 -7130. -253 -980 253 -7131. -348 -954 348 -7132. -440 -919 440 -7133. -528 -875 528 -7134. -610 -822 610 -7135. -686 -761 686 -7136. -756 -693 756 -7137. -818 -617 818 -7138. -871 -535 871 -7139. -916 -448 916 -7140. -952 -356 952 -7141. -978 -261 978 -7142. -994 -163 994 -7143. -1001 -64 1001 -7144. -997 35 997 -7145. -984 135 984 -7146. -960 233 960 -7147. -927 329 927 -7148. -885 422 885 -7149. -834 511 834 -7150. -774 594 774 -7151. -707 672 707 -7152. -633 742 633 -7153. -552 806 552 -7154. -466 861 466 -7155. -375 908 375 -7156. -281 945 281 -7157. -183 973 183 -7158. -84 992 84 -7159. 15 1000 -15 -7160. 115 999 -115 -7161. 214 987 -214 -7162. 310 966 -310 -7163. 404 935 -404 -7164. 493 894 -493 -7165. 578 845 -578 -7166. 657 787 -657 -7167. 729 721 -729 -7168. 794 648 -794 -7169. 851 569 -851 -7170. 899 484 -899 -7171. 938 394 -938 -7172. 968 300 -968 -7173. 989 203 -989 -7174. 999 104 -999 -7175. 1000 4 -1000 -7176. 990 -95 -990 -7177. 971 -194 -971 -7178. 942 -291 -942 -7179. 903 -385 -903 -7180. 855 -476 -855 -7181. 799 -561 -799 -7182. 735 -641 -735 -7183. 664 -715 -664 -7184. 585 -781 -585 -7185. 501 -840 -501 -7186. 412 -890 -412 -7187. 319 -931 -319 -7188. 223 -963 -223 -7189. 124 -985 -124 -7190. 24 -998 -24 -7191. -75 -1000 75 -7192. -174 -993 174 -7193. -272 -975 272 -7194. -367 -948 367 -7195. -458 -912 458 -7196. -544 -866 544 -7197. -626 -811 626 -7198. -701 -749 701 -7199. -768 -678 768 -7200. -829 -602 829 -7201. -881 -519 881 -7202. -924 -431 924 -7203. -957 -338 957 -7204. -982 -242 982 -7205. -996 -144 996 -7206. -1001 -44 1001 -7207. -995 55 995 -7208. -980 154 980 -7209. -954 252 954 -7210. -920 348 920 -7211. -876 440 876 -7212. -823 527 823 -7213. -762 610 762 -7214. -693 686 693 -7215. -618 755 618 -7216. -536 817 536 -7217. -449 871 449 -7218. -357 916 357 -7219. -262 951 262 -7220. -164 978 164 -7221. -65 994 65 -7222. 35 1001 -35 -7223. 134 997 -134 -7224. 233 984 -233 -7225. 329 960 -329 -7226. 422 927 -422 -7227. 510 885 -510 -7228. 594 834 -594 -7229. 671 775 -671 -7230. 742 708 -742 -7231. 805 633 -805 -7232. 861 553 -861 -7233. 907 467 -907 -7234. 945 376 -945 -7235. 973 281 -973 -7236. 992 184 -992 -7237. 1000 85 -1000 -7238. 999 -14 -999 -7239. 987 -114 -987 -7240. 966 -213 -966 -7241. 935 -310 -935 -7242. 894 -403 -894 -7243. 845 -493 -845 -7244. 787 -577 -787 -7245. 722 -656 -722 -7246. 649 -728 -649 -7247. 569 -793 -569 -7248. 484 -850 -484 -7249. 394 -899 -394 -7250. 301 -938 -301 -7251. 204 -968 -204 -7252. 105 -989 -105 -7253. 5 -999 -5 -7254. -94 -1000 94 -7255. -193 -990 193 -7256. -290 -971 290 -7257. -385 -942 385 -7258. -475 -903 475 -7259. -561 -856 561 -7260. -641 -800 641 -7261. -714 -736 714 -7262. -781 -664 781 -7263. -839 -586 839 -7264. -890 -502 890 -7265. -931 -413 931 -7266. -963 -320 963 -7267. -985 -223 985 -7268. -998 -125 998 -7269. -1000 -25 1000 -7270. -993 74 993 -7271. -976 173 976 -7272. -948 271 948 -7273. -912 366 912 -7274. -866 457 866 -7275. -812 544 812 -7276. -749 625 749 -7277. -679 700 679 -7278. -602 768 602 -7279. -519 828 519 -7280. -431 880 431 -7281. -339 923 339 -7282. -243 957 243 -7283. -145 982 145 -7284. -45 996 45 -7285. 54 1001 -54 -7286. 154 995 -154 -7287. 252 980 -252 -7288. 347 955 -347 -7289. 439 920 -439 -7290. 527 876 -527 -7291. 609 823 -609 -7292. 685 762 -685 -7293. 755 694 -755 -7294. 817 618 -817 -7295. 870 536 -870 -7296. 915 449 -915 -7297. 951 358 -951 -7298. 978 263 -978 -7299. 994 165 -994 -7300. 1001 65 -1001 -7301. 997 -34 -997 -7302. 984 -134 -984 -7303. 961 -232 -961 -7304. 928 -328 -928 -7305. 886 -421 -886 -7306. 835 -510 -835 -7307. 775 -593 -775 -7308. 708 -671 -708 -7309. 634 -741 -634 -7310. 553 -805 -553 -7311. 467 -860 -467 -7312. 376 -907 -376 -7313. 282 -945 -282 -7314. 185 -973 -185 -7315. 85 -992 -85 -7316. -14 -1000 14 -7317. -114 -999 114 -7318. -212 -987 212 -7319. -309 -966 309 -7320. -403 -935 403 -7321. -492 -895 492 -7322. -577 -845 577 -7323. -656 -788 656 -7324. -728 -722 728 -7325. -793 -649 793 -7326. -850 -570 850 -7327. -898 -485 898 -7328. -938 -395 938 -7329. -968 -301 968 -7330. -989 -204 989 -7331. -999 -105 999 -7332. -1000 -6 1000 -7333. -990 94 990 -7334. -971 193 971 -7335. -942 290 942 -7336. -904 384 904 -7337. -856 474 856 -7338. -800 560 800 -7339. -736 640 736 -7340. -665 714 665 -7341. -586 780 586 -7342. -503 839 503 -7343. -414 889 414 -7344. -320 931 320 -7345. -224 963 224 -7346. -126 985 126 -7347. -26 998 26 -7348. 73 1000 -73 -7349. 173 993 -173 -7350. 270 976 -270 -7351. 365 949 -365 -7352. 457 912 -457 -7353. 543 866 -543 -7354. 624 812 -624 -7355. 699 750 -699 -7356. 767 680 -767 -7357. 828 603 -828 -7358. 880 520 -880 -7359. 923 432 -923 -7360. 957 339 -957 -7361. 982 244 -982 -7362. 996 146 -996 -7363. 1001 46 -1001 -7364. 995 -53 -995 -7365. 980 -153 -980 -7366. 955 -251 -955 -7367. 920 -346 -920 -7368. 876 -439 -876 -7369. 824 -526 -824 -7370. 763 -609 -763 -7371. 694 -685 -694 -7372. 619 -754 -619 -7373. 537 -816 -537 -7374. 450 -870 -450 -7375. 358 -915 -358 -7376. 263 -951 -263 -7377. 165 -977 -165 -7378. 66 -994 -66 -7379. -33 -1001 33 -7380. -133 -997 133 -7381. -231 -984 231 -7382. -327 -961 327 -7383. -420 -928 420 -7384. -509 -886 509 -7385. -592 -835 592 -7386. -670 -776 670 -7387. -741 -709 741 -7388. -804 -634 804 -7389. -860 -554 860 -7390. -907 -468 907 -7391. -945 -377 945 -7392. -973 -283 973 -7393. -991 -185 991 -7394. -1000 -86 1000 -7395. -999 13 999 -7396. -987 113 987 -7397. -966 212 966 -7398. -935 308 935 -7399. -895 402 895 -7400. -846 491 846 -7401. -788 576 788 -7402. -723 655 723 -7403. -650 727 650 -7404. -571 792 571 -7405. -486 849 486 -7406. -396 898 396 -7407. -302 938 302 -7408. -205 968 205 -7409. -106 988 106 -7410. -6 999 6 -7411. 93 1000 -93 -7412. 192 990 -192 -7413. 289 971 -289 -7414. 383 942 -383 -7415. 474 904 -474 -7416. 559 856 -559 -7417. 640 800 -640 -7418. 713 736 -713 -7419. 780 665 -780 -7420. 839 587 -839 -7421. 889 503 -889 -7422. 930 414 -930 -7423. 963 321 -963 -7424. 985 225 -985 -7425. 998 126 -998 -7426. 1000 26 -1000 -7427. 993 -73 -993 -7428. 976 -172 -976 -7429. 949 -270 -949 -7430. 912 -365 -912 -7431. 867 -456 -867 -7432. 812 -543 -812 -7433. 750 -624 -750 -7434. 680 -699 -680 -7435. 603 -767 -603 -7436. 520 -827 -520 -7437. 432 -880 -432 -7438. 340 -923 -340 -7439. 244 -957 -244 -7440. 146 -981 -146 -7441. 47 -996 -47 -7442. -53 -1001 53 -7443. -152 -995 152 -7444. -250 -980 250 -7445. -346 -955 346 -7446. -438 -920 438 -7447. -526 -877 526 -7448. -608 -824 608 -7449. -684 -763 684 -7450. -754 -695 754 -7451. -816 -619 816 -7452. -870 -538 870 -7453. -915 -451 915 -7454. -951 -359 951 -7455. -977 -264 977 -7456. -994 -166 994 -7457. -1001 -67 1001 -7458. -997 32 997 -7459. -984 132 984 -7460. -961 231 961 -7461. -928 327 928 -7462. -886 420 886 -7463. -835 508 835 -7464. -776 592 776 -7465. -709 670 709 -7466. -635 741 635 -7467. -555 804 555 -7468. -468 860 468 -7469. -378 906 378 -7470. -283 944 283 -7471. -186 973 186 -7472. -87 991 87 -7473. 12 1000 -12 -7474. 112 999 -112 -7475. 211 988 -211 -7476. 308 966 -308 -7477. 401 936 -401 -7478. 491 895 -491 -7479. 576 846 -576 -7480. 654 789 -654 -7481. 727 723 -727 -7482. 792 650 -792 -7483. 849 571 -849 -7484. 898 486 -898 -7485. 937 396 -937 -7486. 968 303 -968 -7487. 988 206 -988 -7488. 999 107 -999 -7489. 1000 7 -1000 -7490. 991 -92 -991 -7491. 971 -191 -971 -7492. 943 -288 -943 -7493. 904 -383 -904 -7494. 857 -473 -857 -7495. 801 -559 -801 -7496. 737 -639 -737 -7497. 666 -713 -666 -7498. 588 -779 -588 -7499. 504 -838 -504 -7500. 415 -889 -415 -7501. 322 -930 -322 -7502. 225 -962 -225 -7503. 127 -985 -127 -7504. 27 -998 -27 -7505. -72 -1001 72 -7506. -171 -993 171 -7507. -269 -976 269 -7508. -364 -949 364 -7509. -455 -913 455 -7510. -542 -867 542 -7511. -623 -813 623 -7512. -698 -750 698 -7513. -767 -681 767 -7514. -827 -604 827 -7515. -879 -521 879 -7516. -923 -433 923 -7517. -957 -341 957 -7518. -981 -245 981 -7519. -996 -147 996 -7520. -1001 -47 1001 -7521. -996 52 996 -7522. -980 151 980 -7523. -955 250 955 -7524. -921 345 921 -7525. -877 437 877 -7526. -824 525 824 -7527. -764 607 764 -7528. -695 684 695 -7529. -620 753 620 -7530. -538 815 538 -7531. -451 869 451 -7532. -360 915 360 -7533. -265 951 265 -7534. -167 977 167 -7535. -67 994 67 -7536. 32 1001 -32 -7537. 131 997 -131 -7538. 230 984 -230 -7539. 326 961 -326 -7540. 419 928 -419 -7541. 508 887 -508 -7542. 591 836 -591 -7543. 669 777 -669 -7544. 740 710 -740 -7545. 804 636 -804 -7546. 859 555 -859 -7547. 906 469 -906 -7548. 944 378 -944 -7549. 973 284 -973 -7550. 991 187 -991 -7551. 1000 88 -1000 -7552. 999 -12 -999 -7553. 988 -111 -988 -7554. 967 -210 -967 -7555. 936 -307 -936 -7556. 896 -401 -896 -7557. 847 -490 -847 -7558. 789 -575 -789 -7559. 724 -654 -724 -7560. 651 -726 -651 -7561. 572 -791 -572 -7562. 487 -849 -487 -7563. 397 -897 -397 -7564. 303 -937 -303 -7565. 206 -968 -206 -7566. 108 -988 -108 -7567. 8 -999 -8 -7568. -91 -1000 91 -7569. -191 -991 191 -7570. -288 -972 288 -7571. -382 -943 382 -7572. -473 -905 473 -7573. -558 -857 558 -7574. -638 -801 638 -7575. -712 -737 712 -7576. -779 -666 779 -7577. -838 -588 838 -7578. -888 -504 888 -7579. -930 -415 930 -7580. -962 -322 962 -7581. -985 -226 985 -7582. -998 -128 998 -7583. -1001 -28 1001 -7584. -993 71 993 -7585. -976 171 976 -7586. -949 268 949 -7587. -913 363 913 -7588. -867 455 867 -7589. -813 541 813 -7590. -751 623 751 -7591. -681 698 681 -7592. -604 766 604 -7593. -522 827 522 -7594. -434 879 434 -7595. -341 922 341 -7596. -246 956 246 -7597. -148 981 148 -7598. -48 996 48 -7599. 51 1001 -51 -7600. 151 996 -151 -7601. 249 980 -249 -7602. 344 956 -344 -7603. 437 921 -437 -7604. 524 877 -524 -7605. 607 825 -607 -7606. 683 764 -683 -7607. 753 696 -753 -7608. 815 620 -815 -7609. 869 539 -869 -7610. 914 452 -914 -7611. 950 360 -950 -7612. 977 265 -977 -7613. 994 168 -994 -7614. 1001 68 -1001 -7615. 997 -31 -997 -7616. 984 -131 -984 -7617. 961 -229 -961 -7618. 929 -325 -929 -7619. 887 -418 -887 -7620. 836 -507 -836 -7621. 777 -591 -777 -7622. 710 -669 -710 -7623. 636 -740 -636 -7624. 556 -803 -556 -7625. 470 -859 -470 -7626. 379 -906 -379 -7627. 285 -944 -285 -7628. 187 -972 -187 -7629. 88 -991 -88 -7630. -11 -1000 11 -7631. -111 -999 111 -7632. -210 -988 210 -7633. -306 -967 306 -7634. -400 -936 400 -7635. -490 -896 490 -7636. -574 -847 574 -7637. -653 -790 653 -7638. -726 -724 726 -7639. -791 -651 791 -7640. -848 -572 848 -7641. -897 -487 897 -7642. -937 -398 937 -7643. -967 -304 967 -7644. -988 -207 988 -7645. -999 -108 999 -7646. -1000 -8 1000 -7647. -991 91 991 -7648. -972 190 972 -7649. -943 287 943 -7650. -905 381 905 -7651. -858 472 858 -7652. -802 558 802 -7653. -738 638 738 -7654. -667 712 667 -7655. -589 779 589 -7656. -505 837 505 -7657. -416 888 416 -7658. -323 930 323 -7659. -227 962 227 -7660. -128 985 128 -7661. -29 998 29 -7662. 71 1001 -71 -7663. 170 993 -170 -7664. 268 976 -268 -7665. 363 950 -363 -7666. 454 913 -454 -7667. 541 868 -541 -7668. 622 814 -622 -7669. 697 751 -697 -7670. 766 682 -766 -7671. 826 605 -826 -7672. 879 522 -879 -7673. 922 434 -922 -7674. 956 342 -956 -7675. 981 246 -981 -7676. 996 148 -996 -7677. 1001 49 -1001 -7678. 996 -50 -996 -7679. 981 -150 -981 -7680. 956 -248 -956 -7681. 921 -344 -921 -7682. 878 -436 -878 -7683. 825 -524 -825 -7684. 765 -606 -765 -7685. 696 -683 -696 -7686. 621 -753 -621 -7687. 539 -815 -539 -7688. 452 -869 -452 -7689. 361 -914 -361 -7690. 266 -950 -266 -7691. 168 -977 -168 -7692. 69 -994 -69 -7693. -30 -1001 30 -7694. -130 -997 130 -7695. -229 -984 229 -7696. -325 -962 325 -7697. -418 -929 418 -7698. -506 -887 506 -7699. -590 -836 590 -7700. -668 -777 668 -7701. -739 -711 739 -7702. -803 -637 803 -7703. -858 -556 858 -7704. -906 -470 906 -7705. -944 -380 944 -7706. -972 -285 972 -7707. -991 -188 991 -7708. -1000 -89 1000 -7709. -999 10 999 -7710. -988 110 988 -7711. -967 209 967 -7712. -936 306 936 -7713. -896 399 896 -7714. -847 489 847 -7715. -790 574 790 -7716. -725 653 725 -7717. -652 725 652 -7718. -573 791 573 -7719. -488 848 488 -7720. -398 897 398 -7721. -305 937 305 -7722. -208 967 208 -7723. -109 988 109 -7724. -9 999 9 -7725. 90 1000 -90 -7726. 189 991 -189 -7727. 286 972 -286 -7728. 381 943 -381 -7729. 471 905 -471 -7730. 557 858 -557 -7731. 637 802 -637 -7732. 711 738 -711 -7733. 778 667 -778 -7734. 837 589 -837 -7735. 888 506 -888 -7736. 929 417 -929 -7737. 962 324 -962 -7738. 985 228 -985 -7739. 998 129 -998 -7740. 1001 29 -1001 -7741. 994 -70 -994 -7742. 977 -169 -977 -7743. 950 -267 -950 -7744. 914 -362 -914 -7745. 868 -453 -868 -7746. 814 -540 -814 -7747. 752 -622 -752 -7748. 682 -697 -682 -7749. 606 -765 -606 -7750. 523 -826 -523 -7751. 435 -878 -435 -7752. 343 -922 -343 -7753. 247 -956 -247 -7754. 149 -981 -149 -7755. 49 -996 -49 -7756. -50 -1001 50 -7757. -149 -996 149 -7758. -247 -981 247 -7759. -343 -956 343 -7760. -435 -922 435 -7761. -523 -878 523 -7762. -606 -826 606 -7763. -682 -765 682 -7764. -752 -697 752 -7765. -814 -621 814 -7766. -868 -540 868 -7767. -914 -453 914 -7768. -950 -362 950 -7769. -977 -267 977 -7770. -994 -169 994 -7771. -1001 -70 1001 -7772. -998 30 998 -7773. -985 129 985 -7774. -962 228 962 -7775. -929 324 929 -7776. -888 417 888 -7777. -837 506 837 -7778. -778 590 778 -7779. -711 667 711 -7780. -637 739 637 -7781. -557 802 557 -7782. -471 858 471 -7783. -380 905 380 -7784. -286 943 286 -7785. -189 972 189 -7786. -90 991 90 -7787. 9 1000 -9 -7788. 109 999 -109 -7789. 208 988 -208 -7790. 305 967 -305 -7791. 399 937 -399 -7792. 488 897 -488 -7793. 573 848 -573 -7794. 652 790 -652 -7795. 725 725 -725 -7796. 790 653 -790 -7797. 848 574 -848 -7798. 896 489 -896 -7799. 936 399 -936 -7800. 967 305 -967 -7801. 988 209 -988 -7802. 999 110 -999 -7803. 1000 10 -1000 -7804. 991 -89 -991 -7805. 972 -188 -972 -7806. 943 -286 -943 -7807. 905 -380 -905 -7808. 858 -471 -858 -7809. 803 -557 -803 -7810. 739 -637 -739 -7811. 668 -711 -668 -7812. 590 -778 -590 -7813. 506 -837 -506 -7814. 417 -887 -417 -7815. 324 -929 -324 -7816. 228 -962 -228 -7817. 130 -984 -130 -7818. 30 -998 -30 -7819. -69 -1001 69 -7820. -169 -994 169 -7821. -266 -977 266 -7822. -361 -950 361 -7823. -453 -914 453 -7824. -540 -868 540 -7825. -621 -814 621 -7826. -696 -752 696 -7827. -765 -683 765 -7828. -825 -606 825 -7829. -878 -523 878 -7830. -921 -436 921 -7831. -956 -343 956 -7832. -981 -248 981 -7833. -996 -150 996 -7834. -1001 -50 1001 -7835. -996 49 996 -7836. -981 149 981 -7837. -956 247 956 -7838. -922 342 922 -7839. -878 435 878 -7840. -826 523 826 -7841. -765 605 765 -7842. -697 682 697 -7843. -622 752 622 -7844. -541 814 541 -7845. -454 868 454 -7846. -362 913 362 -7847. -267 950 267 -7848. -170 976 170 -7849. -70 993 70 -7850. 29 1001 -29 -7851. 129 998 -129 -7852. 227 985 -227 -7853. 323 962 -323 -7854. 416 930 -416 -7855. 505 888 -505 -7856. 589 837 -589 -7857. 667 778 -667 -7858. 738 712 -738 -7859. 802 638 -802 -7860. 858 557 -858 -7861. 905 472 -905 -7862. 943 381 -943 -7863. 972 287 -972 -7864. 991 189 -991 -7865. 1000 90 -1000 -7866. 999 -9 -999 -7867. 988 -109 -988 -7868. 967 -208 -967 -7869. 937 -304 -937 -7870. 897 -398 -897 -7871. 848 -488 -848 -7872. 791 -573 -791 -7873. 726 -652 -726 -7874. 653 -724 -653 -7875. 574 -790 -574 -7876. 489 -847 -489 -7877. 400 -896 -400 -7878. 306 -936 -306 -7879. 209 -967 -209 -7880. 110 -988 -110 -7881. 10 -999 -10 -7882. -89 -1000 89 -7883. -188 -991 188 -7884. -285 -972 285 -7885. -379 -944 379 -7886. -470 -906 470 -7887. -556 -859 556 -7888. -636 -803 636 -7889. -710 -739 710 -7890. -777 -668 777 -7891. -836 -590 836 -7892. -887 -507 887 -7893. -929 -418 929 -7894. -961 -325 961 -7895. -984 -229 984 -7896. -997 -130 997 -7897. -1001 -31 1001 -7898. -994 68 994 -7899. -977 168 977 -7900. -950 266 950 -7901. -914 361 914 -7902. -869 452 869 -7903. -815 539 815 -7904. -753 621 753 -7905. -683 696 683 -7906. -607 764 607 -7907. -524 825 524 -7908. -436 877 436 -7909. -344 921 344 -7910. -249 956 249 -7911. -150 981 150 -7912. -51 996 51 -7913. 48 1001 -48 -7914. 148 996 -148 -7915. 246 981 -246 -7916. 342 956 -342 -7917. 434 922 -434 -7918. 522 879 -522 -7919. 605 826 -605 -7920. 681 766 -681 -7921. 751 698 -751 -7922. 813 623 -813 -7923. 868 541 -868 -7924. 913 454 -913 -7925. 949 363 -949 -7926. 976 268 -976 -7927. 993 170 -993 -7928. 1001 71 -1001 -7929. 998 -28 -998 -7930. 985 -128 -985 -7931. 962 -227 -962 -7932. 930 -323 -930 -7933. 888 -416 -888 -7934. 838 -505 -838 -7935. 779 -588 -779 -7936. 712 -666 -712 -7937. 638 -738 -638 -7938. 558 -802 -558 -7939. 472 -857 -472 -7940. 382 -905 -382 -7941. 287 -943 -287 -7942. 190 -972 -190 -7943. 91 -991 -91 -7944. -8 -1000 8 -7945. -108 -999 108 -7946. -207 -988 207 -7947. -304 -967 304 -7948. -397 -937 397 -7949. -487 -897 487 -7950. -572 -849 572 -7951. -651 -791 651 -7952. -724 -726 724 -7953. -789 -654 789 -7954. -847 -575 847 -7955. -896 -490 896 -7956. -936 -400 936 -7957. -967 -307 967 -7958. -988 -210 988 -7959. -999 -111 999 -7960. -1000 -11 1000 -7961. -991 88 991 -7962. -972 187 972 -7963. -944 284 944 -7964. -906 379 906 -7965. -859 469 859 -7966. -803 555 803 -7967. -740 636 740 -7968. -669 710 669 -7969. -591 777 591 -7970. -507 836 507 -7971. -419 887 419 -7972. -326 929 326 -7973. -230 961 230 -7974. -131 984 131 -7975. -31 997 31 -7976. 68 1001 -68 -7977. 167 994 -167 -7978. 265 977 -265 -7979. 360 950 -360 -7980. 452 914 -452 -7981. 538 869 -538 -7982. 620 815 -620 -7983. 695 753 -695 -7984. 764 684 -764 -7985. 825 607 -825 -7986. 877 525 -877 -7987. 921 437 -921 -7988. 955 345 -955 -7989. 980 249 -980 -7990. 996 151 -996 -7991. 1001 52 -1001 -7992. 996 -48 -996 -7993. 981 -147 -981 -7994. 957 -245 -957 -7995. 922 -341 -922 -7996. 879 -433 -879 -7997. 827 -521 -827 -7998. 766 -604 -766 -7999. 698 -681 -698 -8000. 623 -751 -623 -8001. 542 -813 -542 diff --git a/tests/source/abro.scade b/tests/source/abro.scade new file mode 100644 index 0000000..43589d0 --- /dev/null +++ b/tests/source/abro.scade @@ -0,0 +1,31 @@ +node abro(a, b, r: bool) returns(o: bool) +var + ha, hb: bool; +let + automaton initial state G let + automaton + initial state N ha = false; until if a resume M; + state M ha = true; + returns ha; + + automaton + initial state N hb = false; until if b resume M; + state M hb = true; + returns hb; + + tel until if r restart G; + returns ha, hb; + o = ha and hb and (false -> not pre(ha and hb)); +tel + +node test(i: int) returns(a, b, c: int; exit: bool) +var xa, xb, xr: bool; +let + xa = (i mod 3 = 2); + xb = (i mod 5 = 3); + xr = (i mod 9 = 4); + a = if xa then 1 else 0; + b = if xb then 1 else 0; + c = (if abro(xa, xb, xr) then 1 else 0) + (if xr then 2 else 0); + exit = (i >= 128); +tel diff --git a/tests/source/cosinus.scade b/tests/source/cosinus.scade index a1596c2..febf5d0 100644 --- a/tests/source/cosinus.scade +++ b/tests/source/cosinus.scade @@ -14,6 +14,6 @@ let a = int(cos * 1000.); b = int(cosprime * 1000.); c = int(-cos * 1000.); - exit = (i > 8000); + exit = (i > 1000); tel |