result-small.out 19 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000
  1. Case #1: -25
  2. Case #2: 6
  3. Case #3: -1411926
  4. Case #4: -1676486
  5. Case #5: -880050
  6. Case #6: -41474
  7. Case #7: -3422801
  8. Case #8: -250244
  9. Case #9: -2719806
  10. Case #10: 128194
  11. Case #11: -5098224
  12. Case #12: -2699266
  13. Case #13: -1661599
  14. Case #14: -2764707
  15. Case #15: -1047384
  16. Case #16: -3268019
  17. Case #17: -2115592
  18. Case #18: -304415
  19. Case #19: -3586682
  20. Case #20: -1276903
  21. Case #21: -3494276
  22. Case #22: -317030
  23. Case #23: -711718
  24. Case #24: 200861
  25. Case #25: -272187
  26. Case #26: -2360754
  27. Case #27: -1574116
  28. Case #28: -2813908
  29. Case #29: -3142951
  30. Case #30: -2004458
  31. Case #31: -4506055
  32. Case #32: -201502
  33. Case #33: -952691
  34. Case #34: -3169606
  35. Case #35: -406935
  36. Case #36: -3052145
  37. Case #37: -642941
  38. Case #38: -1769014
  39. Case #39: -2561998
  40. Case #40: 223399
  41. Case #41: -911213
  42. Case #42: -1377831
  43. Case #43: -3258268
  44. Case #44: -1428776
  45. Case #45: -1011556
  46. Case #46: -4048802
  47. Case #47: -443244
  48. Case #48: -126411
  49. Case #49: -781763
  50. Case #50: -735553
  51. Case #51: -2633028
  52. Case #52: -2538099
  53. Case #53: -3696925
  54. Case #54: -1168043
  55. Case #55: -1751507
  56. Case #56: -1080972
  57. Case #57: -306998
  58. Case #58: -3108023
  59. Case #59: -2009559
  60. Case #60: -1664884
  61. Case #61: -809553
  62. Case #62: -1409025
  63. Case #63: -3302832
  64. Case #64: -902880
  65. Case #65: -3404808
  66. Case #66: -644039
  67. Case #67: -3927438
  68. Case #68: -2866299
  69. Case #69: -898698
  70. Case #70: -353711
  71. Case #71: -2377340
  72. Case #72: 74885
  73. Case #73: -2333049
  74. Case #74: -1810709
  75. Case #75: -3715089
  76. Case #76: -1662723
  77. Case #77: -3425699
  78. Case #78: -2345112
  79. Case #79: -909526
  80. Case #80: -783562
  81. Case #81: -1084892
  82. Case #82: -1069570
  83. Case #83: -2814239
  84. Case #84: 7928112
  85. Case #85: -1874643
  86. Case #86: -465987
  87. Case #87: -1051190
  88. Case #88: -2463531
  89. Case #89: -2321941
  90. Case #90: -2028733
  91. Case #91: -2455292
  92. Case #92: -3721944
  93. Case #93: -1135171
  94. Case #94: -366489
  95. Case #95: -1084566
  96. Case #96: -215258
  97. Case #97: -3794477
  98. Case #98: -2182913
  99. Case #99: -2995277
  100. Case #100: -874310
  101. Case #101: 146824
  102. Case #102: -419875
  103. Case #103: -2518946
  104. Case #104: -1580750
  105. Case #105: -1039130
  106. Case #106: -1029042
  107. Case #107: -530397
  108. Case #108: -3653782
  109. Case #109: -14262
  110. Case #110: -1303293
  111. Case #111: -3947681
  112. Case #112: -1915707
  113. Case #113: -169371
  114. Case #114: -1195192
  115. Case #115: -4261288
  116. Case #116: -1118062
  117. Case #117: -1475092
  118. Case #118: -613192
  119. Case #119: -2215238
  120. Case #120: -2379001
  121. Case #121: -2850274
  122. Case #122: 209257
  123. Case #123: -799864
  124. Case #124: -2216821
  125. Case #125: -690467
  126. Case #126: -1718837
  127. Case #127: -1511303
  128. Case #128: -685903
  129. Case #129: -141639
  130. Case #130: -30343
  131. Case #131: -5947135
  132. Case #132: -314834
  133. Case #133: -79512
  134. Case #134: -2225350
  135. Case #135: -2756260
  136. Case #136: -1674494
  137. Case #137: -1785278
  138. Case #138: -636687
  139. Case #139: -2669829
  140. Case #140: -2436846
  141. Case #141: -1055794
  142. Case #142: -1453710
  143. Case #143: -2409806
  144. Case #144: -1202098
  145. Case #145: -2356600
  146. Case #146: -2008574
  147. Case #147: -1997541
  148. Case #148: -1160678
  149. Case #149: -1625101
  150. Case #150: -937700
  151. Case #151: -704472
  152. Case #152: -3414069
  153. Case #153: -967097
  154. Case #154: -1452070
  155. Case #155: -552876
  156. Case #156: -1654286
  157. Case #157: -52377
  158. Case #158: -539516
  159. Case #159: -848554
  160. Case #160: -2919802
  161. Case #161: -1622767
  162. Case #162: -1228099
  163. Case #163: -479625
  164. Case #164: -3482272
  165. Case #165: -2737096
  166. Case #166: -1093307
  167. Case #167: -646479
  168. Case #168: -3326992
  169. Case #169: -1915311
  170. Case #170: -767940
  171. Case #171: 968871
  172. Case #172: -829888
  173. Case #173: -1646297
  174. Case #174: -3413096
  175. Case #175: -2500428
  176. Case #176: -1752097
  177. Case #177: -2515340
  178. Case #178: -232837
  179. Case #179: -2446285
  180. Case #180: -1348149
  181. Case #181: 498255
  182. Case #182: -3017692
  183. Case #183: -4508070
  184. Case #184: -2109655
  185. Case #185: -2098870
  186. Case #186: -3116494
  187. Case #187: -2718748
  188. Case #188: -2983175
  189. Case #189: -2180187
  190. Case #190: -2397438
  191. Case #191: -281156
  192. Case #192: -478326
  193. Case #193: -2717396
  194. Case #194: -2506063
  195. Case #195: -1058145
  196. Case #196: -777783
  197. Case #197: -635839
  198. Case #198: -2930576
  199. Case #199: -1256229
  200. Case #200: -169308
  201. Case #201: -515798
  202. Case #202: -3706308
  203. Case #203: -1246427
  204. Case #204: -2227054
  205. Case #205: -2509159
  206. Case #206: -4378589
  207. Case #207: -1550052
  208. Case #208: -1024128
  209. Case #209: -4
  210. Case #210: -3127880
  211. Case #211: -3663120
  212. Case #212: -739590
  213. Case #213: -620855
  214. Case #214: -2396205
  215. Case #215: -2582397
  216. Case #216: -180870
  217. Case #217: -2963077
  218. Case #218: -2571270
  219. Case #219: -909246
  220. Case #220: -952989
  221. Case #221: -3684882
  222. Case #222: -2541877
  223. Case #223: -2267893
  224. Case #224: -531770
  225. Case #225: -333672
  226. Case #226: -1815174
  227. Case #227: -1273591
  228. Case #228: -1451705
  229. Case #229: -1684997
  230. Case #230: 409136
  231. Case #231: -2318961
  232. Case #232: -3024940
  233. Case #233: -1358904
  234. Case #234: -555122
  235. Case #235: -525740
  236. Case #236: -1032648
  237. Case #237: -402677
  238. Case #238: -3139162
  239. Case #239: -2600006
  240. Case #240: -2205149
  241. Case #241: -1816632
  242. Case #242: -3165350
  243. Case #243: -1679257
  244. Case #244: -478155
  245. Case #245: -1524884
  246. Case #246: -1063330
  247. Case #247: -1342400
  248. Case #248: -1017680
  249. Case #249: 50368
  250. Case #250: -1247661
  251. Case #251: -1087599
  252. Case #252: -906528
  253. Case #253: -1035202
  254. Case #254: -2906167
  255. Case #255: -2218183
  256. Case #256: -2470108
  257. Case #257: -560028
  258. Case #258: -1461606
  259. Case #259: -2936257
  260. Case #260: -2215673
  261. Case #261: -4266078
  262. Case #262: -647854
  263. Case #263: -1397446
  264. Case #264: 204512
  265. Case #265: -1408384
  266. Case #266: -1917193
  267. Case #267: -2001500
  268. Case #268: -1879450
  269. Case #269: 957964
  270. Case #270: -2837383
  271. Case #271: -1116320
  272. Case #272: -1322916
  273. Case #273: -2902046
  274. Case #274: -2951193
  275. Case #275: -1012562
  276. Case #276: -2914047
  277. Case #277: -3037693
  278. Case #278: -1000920
  279. Case #279: -3243065
  280. Case #280: -2961414
  281. Case #281: -2718690
  282. Case #282: -982856
  283. Case #283: -825315
  284. Case #284: -4041422
  285. Case #285: -1853516
  286. Case #286: -609063
  287. Case #287: -4260022
  288. Case #288: -819761
  289. Case #289: -1728374
  290. Case #290: -3296704
  291. Case #291: -1074147
  292. Case #292: -499114
  293. Case #293: -1617047
  294. Case #294: -3891594
  295. Case #295: -2368818
  296. Case #296: -1303817
  297. Case #297: -421580
  298. Case #298: -1903225
  299. Case #299: -1309332
  300. Case #300: -802743
  301. Case #301: 901544
  302. Case #302: 250156
  303. Case #303: -577238
  304. Case #304: -1302198
  305. Case #305: 245727
  306. Case #306: -2218724
  307. Case #307: -2537549
  308. Case #308: -881527
  309. Case #309: -2101597
  310. Case #310: -1696591
  311. Case #311: -4510654
  312. Case #312: -2002077
  313. Case #313: -3713673
  314. Case #314: -592293
  315. Case #315: -593249
  316. Case #316: -1661237
  317. Case #317: -1671429
  318. Case #318: -2746875
  319. Case #319: -1374884
  320. Case #320: -3432256
  321. Case #321: 219120
  322. Case #322: -1937811
  323. Case #323: -2814354
  324. Case #324: -174207
  325. Case #325: -902345
  326. Case #326: -2493558
  327. Case #327: -1053421
  328. Case #328: -2146615
  329. Case #329: -3610117
  330. Case #330: -555105
  331. Case #331: -2690280
  332. Case #332: -803393
  333. Case #333: -2187803
  334. Case #334: -3686997
  335. Case #335: -1398232
  336. Case #336: -230112
  337. Case #337: -672490
  338. Case #338: -2259939
  339. Case #339: -3280100
  340. Case #340: -862277
  341. Case #341: -3426863
  342. Case #342: -2222540
  343. Case #343: 270848
  344. Case #344: -3273736
  345. Case #345: -1731966
  346. Case #346: -1186351
  347. Case #347: -2369128
  348. Case #348: 120018
  349. Case #349: -75550
  350. Case #350: -1548931
  351. Case #351: -855008
  352. Case #352: -1362780
  353. Case #353: -1621738
  354. Case #354: -670990
  355. Case #355: 262080
  356. Case #356: -888666
  357. Case #357: -3872732
  358. Case #358: -2382858
  359. Case #359: 211137
  360. Case #360: 925170
  361. Case #361: -462628
  362. Case #362: -1605684
  363. Case #363: -3226394
  364. Case #364: -1882232
  365. Case #365: -993266
  366. Case #366: -2046994
  367. Case #367: -4046488
  368. Case #368: 539441
  369. Case #369: 1190322
  370. Case #370: -526201
  371. Case #371: -464645
  372. Case #372: -2469655
  373. Case #373: -1736831
  374. Case #374: -1706264
  375. Case #375: -2960884
  376. Case #376: -329632
  377. Case #377: -831620
  378. Case #378: -1618993
  379. Case #379: -348480
  380. Case #380: -798645
  381. Case #381: -379821
  382. Case #382: -1501423
  383. Case #383: -50180
  384. Case #384: -3719427
  385. Case #385: -2251561
  386. Case #386: -947538
  387. Case #387: -2367750
  388. Case #388: -1728372
  389. Case #389: -4050233
  390. Case #390: -3176071
  391. Case #391: -1045138
  392. Case #392: -890420
  393. Case #393: -3549294
  394. Case #394: -1912894
  395. Case #395: -2853244
  396. Case #396: -445764
  397. Case #397: -651442
  398. Case #398: -517714
  399. Case #399: -3641323
  400. Case #400: -1544527
  401. Case #401: -1605563
  402. Case #402: -2859310
  403. Case #403: -2819038
  404. Case #404: -1352060
  405. Case #405: -2106005
  406. Case #406: 33453
  407. Case #407: -3986220
  408. Case #408: -1022259
  409. Case #409: -2396651
  410. Case #410: 9362
  411. Case #411: -530658
  412. Case #412: -1875854
  413. Case #413: -649546
  414. Case #414: -2269741
  415. Case #415: -251262
  416. Case #416: -1575676
  417. Case #417: 1594375
  418. Case #418: -739471
  419. Case #419: -370240
  420. Case #420: -2437852
  421. Case #421: 425152
  422. Case #422: -3294515
  423. Case #423: -1097814
  424. Case #424: -476171
  425. Case #425: -3347016
  426. Case #426: -1971604
  427. Case #427: -2641856
  428. Case #428: -2769932
  429. Case #429: -151306
  430. Case #430: -142805
  431. Case #431: -1734171
  432. Case #432: -2487923
  433. Case #433: -991483
  434. Case #434: 99974
  435. Case #435: -440724
  436. Case #436: -2587020
  437. Case #437: -1354584
  438. Case #438: -2147169
  439. Case #439: -1582049
  440. Case #440: -2849258
  441. Case #441: -2617222
  442. Case #442: -3008670
  443. Case #443: -1097878
  444. Case #444: -3880095
  445. Case #445: 740792
  446. Case #446: -2306332
  447. Case #447: -2766694
  448. Case #448: -2522087
  449. Case #449: -1591272
  450. Case #450: -1114255
  451. Case #451: -2918647
  452. Case #452: -1256353
  453. Case #453: -3764279
  454. Case #454: -4086258
  455. Case #455: -115181
  456. Case #456: -2887323
  457. Case #457: -1039463
  458. Case #458: -1415616
  459. Case #459: -710756
  460. Case #460: -1881574
  461. Case #461: -387798
  462. Case #462: 213933
  463. Case #463: 83719
  464. Case #464: -3829549
  465. Case #465: -4438445
  466. Case #466: -2044427
  467. Case #467: -3348376
  468. Case #468: -1919950
  469. Case #469: -1293981
  470. Case #470: -411549
  471. Case #471: -939852
  472. Case #472: -2129589
  473. Case #473: -1601529
  474. Case #474: -695764
  475. Case #475: 421083
  476. Case #476: -1762703
  477. Case #477: -1851426
  478. Case #478: -2241916
  479. Case #479: -1965641
  480. Case #480: -3323683
  481. Case #481: -1963678
  482. Case #482: -1234846
  483. Case #483: -3926044
  484. Case #484: -1998740
  485. Case #485: -643705
  486. Case #486: -3211260
  487. Case #487: 276864
  488. Case #488: -1731614
  489. Case #489: -2367148
  490. Case #490: -1110705
  491. Case #491: -1921289
  492. Case #492: -3040191
  493. Case #493: -413786
  494. Case #494: -3222309
  495. Case #495: -1159515
  496. Case #496: -1864698
  497. Case #497: -3412362
  498. Case #498: -1182867
  499. Case #499: -542834
  500. Case #500: -1214298
  501. Case #501: 2936721
  502. Case #502: -408766
  503. Case #503: -202072
  504. Case #504: -2470831
  505. Case #505: -573347
  506. Case #506: -1381926
  507. Case #507: -62511
  508. Case #508: -4195944
  509. Case #509: -1246290
  510. Case #510: -826920
  511. Case #511: -2286345
  512. Case #512: -3109883
  513. Case #513: -2699916
  514. Case #514: -1465336
  515. Case #515: -2364476
  516. Case #516: -890663
  517. Case #517: -4462083
  518. Case #518: 12444
  519. Case #519: -2076518
  520. Case #520: -3065998
  521. Case #521: -1642602
  522. Case #522: -595634
  523. Case #523: -2988881
  524. Case #524: -340824
  525. Case #525: -1444822
  526. Case #526: -3345320
  527. Case #527: -1733560
  528. Case #528: -1180184
  529. Case #529: -2545250
  530. Case #530: -645103
  531. Case #531: -1108703
  532. Case #532: -243111
  533. Case #533: -270883
  534. Case #534: 157922
  535. Case #535: -774236
  536. Case #536: -1534989
  537. Case #537: -2966293
  538. Case #538: -1390149
  539. Case #539: -2150969
  540. Case #540: -2576318
  541. Case #541: -1572099
  542. Case #542: -1099565
  543. Case #543: -1350082
  544. Case #544: -1280758
  545. Case #545: -2234992
  546. Case #546: -570978
  547. Case #547: -4244502
  548. Case #548: -2931810
  549. Case #549: -2373670
  550. Case #550: -2276027
  551. Case #551: -2991424
  552. Case #552: -2557175
  553. Case #553: -1099460
  554. Case #554: -1427756
  555. Case #555: -172394
  556. Case #556: -51489
  557. Case #557: -639790
  558. Case #558: -1916284
  559. Case #559: -1610691
  560. Case #560: -563556
  561. Case #561: -4068234
  562. Case #562: 236703
  563. Case #563: -1863682
  564. Case #564: -3062174
  565. Case #565: -335444
  566. Case #566: -3693094
  567. Case #567: -3576442
  568. Case #568: -3137285
  569. Case #569: -535698
  570. Case #570: -2838265
  571. Case #571: -254466
  572. Case #572: -341024
  573. Case #573: -214896
  574. Case #574: -1382933
  575. Case #575: -230906
  576. Case #576: -809902
  577. Case #577: -2019895
  578. Case #578: -306364
  579. Case #579: -673186
  580. Case #580: 318588
  581. Case #581: -262368
  582. Case #582: 15216
  583. Case #583: -2672025
  584. Case #584: -838284
  585. Case #585: -4098429
  586. Case #586: -1016602
  587. Case #587: 385846
  588. Case #588: 266578
  589. Case #589: -628763
  590. Case #590: -789404
  591. Case #591: -2334297
  592. Case #592: -1440856
  593. Case #593: -1500514
  594. Case #594: -1830532
  595. Case #595: -885875
  596. Case #596: -3897535
  597. Case #597: 51390
  598. Case #598: -3694751
  599. Case #599: -757063
  600. Case #600: -3882958
  601. Case #601: -3056614
  602. Case #602: -4126233
  603. Case #603: -571820
  604. Case #604: -602656
  605. Case #605: -1605011
  606. Case #606: -276159
  607. Case #607: -2390362
  608. Case #608: -1056097
  609. Case #609: -776205
  610. Case #610: -700430
  611. Case #611: -1902944
  612. Case #612: -1963532
  613. Case #613: -1150017
  614. Case #614: -2336381
  615. Case #615: -4212848
  616. Case #616: -3348156
  617. Case #617: -2163270
  618. Case #618: -1060789
  619. Case #619: -2580287
  620. Case #620: -1966347
  621. Case #621: -1429098
  622. Case #622: -1949227
  623. Case #623: -2332964
  624. Case #624: -2310028
  625. Case #625: -521883
  626. Case #626: -491369
  627. Case #627: -465827
  628. Case #628: -2215744
  629. Case #629: -2989591
  630. Case #630: -2333284
  631. Case #631: -2218433
  632. Case #632: -2420744
  633. Case #633: -1188127
  634. Case #634: -1358947
  635. Case #635: -1330457
  636. Case #636: 181286
  637. Case #637: -1618092
  638. Case #638: 8058
  639. Case #639: -94668
  640. Case #640: -2981013
  641. Case #641: -587245
  642. Case #642: -529351
  643. Case #643: -545963
  644. Case #644: -3381146
  645. Case #645: 148055
  646. Case #646: -501151
  647. Case #647: -498370
  648. Case #648: -2035266
  649. Case #649: -2849440
  650. Case #650: 28903
  651. Case #651: -2276971
  652. Case #652: -1856812
  653. Case #653: -591827
  654. Case #654: -1329753
  655. Case #655: -589846
  656. Case #656: -955741
  657. Case #657: -530611
  658. Case #658: -2707758
  659. Case #659: -1136064
  660. Case #660: -1668927
  661. Case #661: -4308074
  662. Case #662: -4107615
  663. Case #663: -2432965
  664. Case #664: -1199520
  665. Case #665: -1422420
  666. Case #666: -1816272
  667. Case #667: -4304769
  668. Case #668: -2357740
  669. Case #669: -2087497
  670. Case #670: -2163701
  671. Case #671: -1664382
  672. Case #672: -1609409
  673. Case #673: -2260907
  674. Case #674: -3953988
  675. Case #675: -1855892
  676. Case #676: -2069124
  677. Case #677: -1371039
  678. Case #678: -2300535
  679. Case #679: -1355206
  680. Case #680: -662112
  681. Case #681: -1332498
  682. Case #682: -1918028
  683. Case #683: -2192020
  684. Case #684: -1114364
  685. Case #685: -1951048
  686. Case #686: 1225072
  687. Case #687: -2555952
  688. Case #688: 963751
  689. Case #689: -2880487
  690. Case #690: -200635
  691. Case #691: -2635986
  692. Case #692: 19697
  693. Case #693: -2096106
  694. Case #694: -1862282
  695. Case #695: -402221
  696. Case #696: -2076484
  697. Case #697: -1058403
  698. Case #698: -929288
  699. Case #699: -3134912
  700. Case #700: 632924
  701. Case #701: -1729640
  702. Case #702: -2344996
  703. Case #703: -583356
  704. Case #704: -776851
  705. Case #705: -1062973
  706. Case #706: -1206631
  707. Case #707: -250995
  708. Case #708: -2440359
  709. Case #709: -3496819
  710. Case #710: -2750487
  711. Case #711: -3454969
  712. Case #712: -2314544
  713. Case #713: -1903617
  714. Case #714: -1528419
  715. Case #715: -1546867
  716. Case #716: -2309709
  717. Case #717: -3844386
  718. Case #718: -2471886
  719. Case #719: -980183
  720. Case #720: -76192
  721. Case #721: -1127593
  722. Case #722: -815812
  723. Case #723: -680039
  724. Case #724: -777473
  725. Case #725: -1810838
  726. Case #726: -2871427
  727. Case #727: 26122
  728. Case #728: 4428
  729. Case #729: -1279851
  730. Case #730: -883352
  731. Case #731: -561347
  732. Case #732: -1294318
  733. Case #733: -4074459
  734. Case #734: -889200
  735. Case #735: -2076801
  736. Case #736: -2078471
  737. Case #737: 46411
  738. Case #738: -1051771
  739. Case #739: -5691822
  740. Case #740: -1765415
  741. Case #741: -3439735
  742. Case #742: -933004
  743. Case #743: -2622170
  744. Case #744: -2876338
  745. Case #745: 977022
  746. Case #746: -3939441
  747. Case #747: -450232
  748. Case #748: 464292
  749. Case #749: -3639467
  750. Case #750: -1930865
  751. Case #751: -151984
  752. Case #752: 207282
  753. Case #753: -661464
  754. Case #754: -2938644
  755. Case #755: -1506547
  756. Case #756: -477757
  757. Case #757: -2270509
  758. Case #758: -569428
  759. Case #759: -2376776
  760. Case #760: -1693841
  761. Case #761: -1622743
  762. Case #762: -114554
  763. Case #763: -4802610
  764. Case #764: -1556603
  765. Case #765: -3638991
  766. Case #766: -2766089
  767. Case #767: -3294127
  768. Case #768: -408513
  769. Case #769: -338420
  770. Case #770: -692808
  771. Case #771: -2250868
  772. Case #772: -1925064
  773. Case #773: -1215430
  774. Case #774: -3283122
  775. Case #775: -1121232
  776. Case #776: -1319960
  777. Case #777: -922953
  778. Case #778: -3900010
  779. Case #779: -1215265
  780. Case #780: 300200
  781. Case #781: -1181453
  782. Case #782: -2507309
  783. Case #783: -1057725
  784. Case #784: 370061
  785. Case #785: -2962953
  786. Case #786: -223774
  787. Case #787: -57900
  788. Case #788: -638737
  789. Case #789: -340932
  790. Case #790: -1750623
  791. Case #791: 219912
  792. Case #792: -1055443
  793. Case #793: 253596
  794. Case #794: -1181362
  795. Case #795: -4463
  796. Case #796: -592810
  797. Case #797: -3177522
  798. Case #798: -270243
  799. Case #799: -2120893
  800. Case #800: -3064955
  801. Case #801: 564411
  802. Case #802: -1346310
  803. Case #803: -2537862
  804. Case #804: -2217829
  805. Case #805: -3038113
  806. Case #806: -963307
  807. Case #807: -3551710
  808. Case #808: -428074
  809. Case #809: -1889018
  810. Case #810: -163027
  811. Case #811: -2540890
  812. Case #812: -2849599
  813. Case #813: -3206114
  814. Case #814: -2266276
  815. Case #815: 615680
  816. Case #816: -796071
  817. Case #817: -963402
  818. Case #818: -199154
  819. Case #819: -1262197
  820. Case #820: -1602780
  821. Case #821: -977276
  822. Case #822: -47978
  823. Case #823: -1986882
  824. Case #824: -1245535
  825. Case #825: -698254
  826. Case #826: -396577
  827. Case #827: -2745538
  828. Case #828: -2330115
  829. Case #829: -1516582
  830. Case #830: -3476173
  831. Case #831: -2312018
  832. Case #832: 8155
  833. Case #833: -4469982
  834. Case #834: -999425
  835. Case #835: -985031
  836. Case #836: -2690903
  837. Case #837: -95828
  838. Case #838: -114816
  839. Case #839: -3124769
  840. Case #840: -210394
  841. Case #841: -3687553
  842. Case #842: -852441
  843. Case #843: -2143787
  844. Case #844: 400140
  845. Case #845: -4409738
  846. Case #846: -2306994
  847. Case #847: -662808
  848. Case #848: -1314216
  849. Case #849: -2503090
  850. Case #850: -378105
  851. Case #851: 817404
  852. Case #852: -2289194
  853. Case #853: -2230949
  854. Case #854: -759356
  855. Case #855: -3151975
  856. Case #856: -2244420
  857. Case #857: -512287
  858. Case #858: -3402311
  859. Case #859: -2763907
  860. Case #860: -1984480
  861. Case #861: -967591
  862. Case #862: -2022527
  863. Case #863: -543264
  864. Case #864: -1742767
  865. Case #865: -668756
  866. Case #866: -1951955
  867. Case #867: -2931793
  868. Case #868: -1801118
  869. Case #869: -1455149
  870. Case #870: -2661616
  871. Case #871: -1138182
  872. Case #872: -2197892
  873. Case #873: 17204
  874. Case #874: -1219267
  875. Case #875: -2957407
  876. Case #876: -2547306
  877. Case #877: -3590383
  878. Case #878: -4025091
  879. Case #879: -3007917
  880. Case #880: -1686858
  881. Case #881: -2312800
  882. Case #882: 444125
  883. Case #883: -704769
  884. Case #884: -1565457
  885. Case #885: -2201173
  886. Case #886: -1295067
  887. Case #887: -3026999
  888. Case #888: 200625
  889. Case #889: -1714593
  890. Case #890: -1620492
  891. Case #891: -1034122
  892. Case #892: -2454284
  893. Case #893: -2613918
  894. Case #894: -1612984
  895. Case #895: -2518702
  896. Case #896: -1070560
  897. Case #897: -534029
  898. Case #898: 194811
  899. Case #899: -1474302
  900. Case #900: -2289879
  901. Case #901: -728519
  902. Case #902: -586453
  903. Case #903: -1760016
  904. Case #904: -1403794
  905. Case #905: -750272
  906. Case #906: -1324385
  907. Case #907: -1119694
  908. Case #908: -484141
  909. Case #909: -2728234
  910. Case #910: -927033
  911. Case #911: -2451211
  912. Case #912: -978763
  913. Case #913: -2614716
  914. Case #914: -140584
  915. Case #915: -4752368
  916. Case #916: -1012066
  917. Case #917: -2320711
  918. Case #918: -1097234
  919. Case #919: -1838634
  920. Case #920: -2410812
  921. Case #921: -3849867
  922. Case #922: -846264
  923. Case #923: -1580017
  924. Case #924: -968014
  925. Case #925: -1746815
  926. Case #926: -826504
  927. Case #927: 166556
  928. Case #928: -638084
  929. Case #929: -3420943
  930. Case #930: -1200481
  931. Case #931: -1386220
  932. Case #932: -1351502
  933. Case #933: -2122119
  934. Case #934: -1793340
  935. Case #935: -2062904
  936. Case #936: -2213920
  937. Case #937: -892062
  938. Case #938: -3285803
  939. Case #939: -496734
  940. Case #940: -1247818
  941. Case #941: -1402734
  942. Case #942: -268141
  943. Case #943: -602116
  944. Case #944: -269189
  945. Case #945: -795112
  946. Case #946: -1729382
  947. Case #947: -839092
  948. Case #948: -430262
  949. Case #949: -2896089
  950. Case #950: -248530
  951. Case #951: -898439
  952. Case #952: -3834985
  953. Case #953: -2486520
  954. Case #954: -2667365
  955. Case #955: -3937064
  956. Case #956: -2878606
  957. Case #957: -3815656
  958. Case #958: -1052545
  959. Case #959: -2434961
  960. Case #960: -2523090
  961. Case #961: -1066021
  962. Case #962: -1671869
  963. Case #963: -1982054
  964. Case #964: -1547476
  965. Case #965: -398814
  966. Case #966: -267278
  967. Case #967: -1733337
  968. Case #968: -659596
  969. Case #969: 182987
  970. Case #970: -660954
  971. Case #971: -1059363
  972. Case #972: -983434
  973. Case #973: -2512523
  974. Case #974: -2683639
  975. Case #975: -2579656
  976. Case #976: -3298296
  977. Case #977: -3069204
  978. Case #978: -3400627
  979. Case #979: -1862211
  980. Case #980: 1532268
  981. Case #981: -93142
  982. Case #982: -794827
  983. Case #983: -2168147
  984. Case #984: -2424767
  985. Case #985: -1199504
  986. Case #986: 574725
  987. Case #987: -1297991
  988. Case #988: -2750687
  989. Case #989: -2326324
  990. Case #990: -3208635
  991. Case #991: -1262855
  992. Case #992: -2663120
  993. Case #993: -910248
  994. Case #994: -3395383
  995. Case #995: -2788578
  996. Case #996: -1289206
  997. Case #997: -377287
  998. Case #998: -3627790
  999. Case #999: -1189668
  1000. Case #1000: -2595610