pfile_1000.hddl

(define (problem BW-rand-1000)
(:domain blocks)
(:objects b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b151 b152 b153 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 b181 b182 b183 b184 b185 b186 b187 b188 b189 b190 b191 b192 b193 b194 b195 b196 b197 b198 b199 b200 b201 b202 b203 b204 b205 b206 b207 b208 b209 b210 b211 b212 b213 b214 b215 b216 b217 b218 b219 b220 b221 b222 b223 b224 b225 b226 b227 b228 b229 b230 b231 b232 b233 b234 b235 b236 b237 b238 b239 b240 b241 b242 b243 b244 b245 b246 b247 b248 b249 b250 b251 b252 b253 b254 b255 b256 b257 b258 b259 b260 b261 b262 b263 b264 b265 b266 b267 b268 b269 b270 b271 b272 b273 b274 b275 b276 b277 b278 b279 b280 b281 b282 b283 b284 b285 b286 b287 b288 b289 b290 b291 b292 b293 b294 b295 b296 b297 b298 b299 b300 b301 b302 b303 b304 b305 b306 b307 b308 b309 b310 b311 b312 b313 b314 b315 b316 b317 b318 b319 b320 b321 b322 b323 b324 b325 b326 b327 b328 b329 b330 b331 b332 b333 b334 b335 b336 b337 b338 b339 b340 b341 b342 b343 b344 b345 b346 b347 b348 b349 b350 b351 b352 b353 b354 b355 b356 b357 b358 b359 b360 b361 b362 b363 b364 b365 b366 b367 b368 b369 b370 b371 b372 b373 b374 b375 b376 b377 b378 b379 b380 b381 b382 b383 b384 b385 b386 b387 b388 b389 b390 b391 b392 b393 b394 b395 b396 b397 b398 b399 b400 b401 b402 b403 b404 b405 b406 b407 b408 b409 b410 b411 b412 b413 b414 b415 b416 b417 b418 b419 b420 b421 b422 b423 b424 b425 b426 b427 b428 b429 b430 b431 b432 b433 b434 b435 b436 b437 b438 b439 b440 b441 b442 b443 b444 b445 b446 b447 b448 b449 b450 b451 b452 b453 b454 b455 b456 b457 b458 b459 b460 b461 b462 b463 b464 b465 b466 b467 b468 b469 b470 b471 b472 b473 b474 b475 b476 b477 b478 b479 b480 b481 b482 b483 b484 b485 b486 b487 b488 b489 b490 b491 b492 b493 b494 b495 b496 b497 b498 b499 b500 b501 b502 b503 b504 b505 b506 b507 b508 b509 b510 b511 b512 b513 b514 b515 b516 b517 b518 b519 b520 b521 b522 b523 b524 b525 b526 b527 b528 b529 b530 b531 b532 b533 b534 b535 b536 b537 b538 b539 b540 b541 b542 b543 b544 b545 b546 b547 b548 b549 b550 b551 b552 b553 b554 b555 b556 b557 b558 b559 b560 b561 b562 b563 b564 b565 b566 b567 b568 b569 b570 b571 b572 b573 b574 b575 b576 b577 b578 b579 b580 b581 b582 b583 b584 b585 b586 b587 b588 b589 b590 b591 b592 b593 b594 b595 b596 b597 b598 b599 b600 b601 b602 b603 b604 b605 b606 b607 b608 b609 b610 b611 b612 b613 b614 b615 b616 b617 b618 b619 b620 b621 b622 b623 b624 b625 b626 b627 b628 b629 b630 b631 b632 b633 b634 b635 b636 b637 b638 b639 b640 b641 b642 b643 b644 b645 b646 b647 b648 b649 b650 b651 b652 b653 b654 b655 b656 b657 b658 b659 b660 b661 b662 b663 b664 b665 b666 b667 b668 b669 b670 b671 b672 b673 b674 b675 b676 b677 b678 b679 b680 b681 b682 b683 b684 b685 b686 b687 b688 b689 b690 b691 b692 b693 b694 b695 b696 b697 b698 b699 b700 b701 b702 b703 b704 b705 b706 b707 b708 b709 b710 b711 b712 b713 b714 b715 b716 b717 b718 b719 b720 b721 b722 b723 b724 b725 b726 b727 b728 b729 b730 b731 b732 b733 b734 b735 b736 b737 b738 b739 b740 b741 b742 b743 b744 b745 b746 b747 b748 b749 b750 b751 b752 b753 b754 b755 b756 b757 b758 b759 b760 b761 b762 b763 b764 b765 b766 b767 b768 b769 b770 b771 b772 b773 b774 b775 b776 b777 b778 b779 b780 b781 b782 b783 b784 b785 b786 b787 b788 b789 b790 b791 b792 b793 b794 b795 b796 b797 b798 b799 b800 b801 b802 b803 b804 b805 b806 b807 b808 b809 b810 b811 b812 b813 b814 b815 b816 b817 b818 b819 b820 b821 b822 b823 b824 b825 b826 b827 b828 b829 b830 b831 b832 b833 b834 b835 b836 b837 b838 b839 b840 b841 b842 b843 b844 b845 b846 b847 b848 b849 b850 b851 b852 b853 b854 b855 b856 b857 b858 b859 b860 b861 b862 b863 b864 b865 b866 b867 b868 b869 b870 b871 b872 b873 b874 b875 b876 b877 b878 b879 b880 b881 b882 b883 b884 b885 b886 b887 b888 b889 b890 b891 b892 b893 b894 b895 b896 b897 b898 b899 b900 b901 b902 b903 b904 b905 b906 b907 b908 b909 b910 b911 b912 b913 b914 b915 b916 b917 b918 b919 b920 b921 b922 b923 b924 b925 b926 b927 b928 b929 b930 b931 b932 b933 b934 b935 b936 b937 b938 b939 b940 b941 b942 b943 b944 b945 b946 b947 b948 b949 b950 b951 b952 b953 b954 b955 b956 b957 b958 b959 b960 b961 b962 b963 b964 b965 b966 b967 b968 b969 b970 b971 b972 b973 b974 b975 b976 b977 b978 b979 b980 b981 b982 b983 b984 b985 b986 b987 b988 b989 b990 b991 b992 b993 b994 b995 b996 b997 b998 b999 b1000  - BLOCK)
 (:htn
  :ordered-tasks (and
    (task0 (achieve-goals))
  )
)
(:init
(hand-empty)
(on b1 b900)
(on b2 b106)
(on b3 b976)
(on b4 b327)
(on b5 b320)
(on b6 b414)
(on b7 b162)
(on b8 b424)
(on b9 b50)
(on b10 b17)
(on b11 b666)
(on b12 b625)
(on b13 b986)
(on b14 b725)
(on b15 b231)
(on b16 b896)
(on b17 b105)
(on b18 b362)
(on b19 b200)
(on b20 b97)
(on b21 b465)
(on-table b22)
(on b23 b554)
(on b24 b313)
(on b25 b913)
(on b26 b330)
(on b27 b501)
(on b28 b756)
(on b29 b135)
(on b30 b469)
(on b31 b239)
(on b32 b810)
(on b33 b271)
(on b34 b150)
(on b35 b602)
(on b36 b739)
(on b37 b871)
(on b38 b662)
(on b39 b540)
(on b40 b538)
(on b41 b143)
(on b42 b897)
(on b43 b78)
(on b44 b373)
(on b45 b146)
(on b46 b855)
(on b47 b307)
(on b48 b939)
(on b49 b53)
(on b50 b839)
(on b51 b1000)
(on b52 b90)
(on b53 b506)
(on b54 b796)
(on b55 b88)
(on b56 b535)
(on b57 b354)
(on b58 b664)
(on b59 b777)
(on b60 b115)
(on b61 b449)
(on b62 b778)
(on b63 b289)
(on b64 b3)
(on b65 b856)
(on b66 b194)
(on b67 b694)
(on b68 b940)
(on b69 b101)
(on b70 b434)
(on b71 b48)
(on b72 b580)
(on b73 b247)
(on b74 b32)
(on b75 b710)
(on b76 b709)
(on b77 b691)
(on b78 b656)
(on-table b79)
(on b80 b734)
(on b81 b468)
(on b82 b925)
(on b83 b697)
(on b84 b544)
(on b85 b842)
(on b86 b670)
(on b87 b204)
(on b88 b4)
(on b89 b111)
(on b90 b738)
(on b91 b720)
(on b92 b62)
(on b93 b408)
(on b94 b108)
(on b95 b822)
(on b96 b439)
(on b97 b139)
(on b98 b262)
(on b99 b932)
(on b100 b297)
(on b101 b267)
(on b102 b281)
(on b103 b348)
(on b104 b56)
(on b105 b589)
(on b106 b542)
(on b107 b417)
(on b108 b181)
(on-table b109)
(on b110 b648)
(on b111 b157)
(on b112 b907)
(on b113 b764)
(on b114 b94)
(on b115 b80)
(on b116 b959)
(on b117 b682)
(on b118 b999)
(on b119 b726)
(on b120 b676)
(on b121 b445)
(on b122 b466)
(on b123 b762)
(on-table b124)
(on b125 b356)
(on-table b126)
(on b127 b298)
(on b128 b654)
(on b129 b511)
(on b130 b975)
(on b131 b832)
(on-table b132)
(on b133 b539)
(on b134 b238)
(on b135 b993)
(on b136 b279)
(on b137 b689)
(on b138 b713)
(on b139 b732)
(on b140 b752)
(on b141 b715)
(on b142 b171)
(on b143 b391)
(on b144 b905)
(on b145 b980)
(on b146 b894)
(on b147 b706)
(on b148 b83)
(on b149 b160)
(on b150 b290)
(on b151 b405)
(on b152 b127)
(on b153 b349)
(on b154 b613)
(on b155 b484)
(on b156 b124)
(on b157 b273)
(on b158 b733)
(on b159 b22)
(on b160 b543)
(on b161 b586)
(on b162 b950)
(on b163 b341)
(on b164 b167)
(on b165 b437)
(on b166 b164)
(on b167 b989)
(on b168 b141)
(on b169 b840)
(on b170 b6)
(on b171 b485)
(on b172 b344)
(on b173 b744)
(on b174 b936)
(on b175 b224)
(on b176 b629)
(on b177 b125)
(on b178 b860)
(on b179 b864)
(on b180 b462)
(on b181 b961)
(on b182 b575)
(on b183 b943)
(on b184 b206)
(on b185 b471)
(on b186 b557)
(on-table b187)
(on b188 b729)
(on b189 b677)
(on b190 b122)
(on b191 b12)
(on b192 b763)
(on-table b193)
(on b194 b172)
(on b195 b895)
(on b196 b199)
(on b197 b24)
(on b198 b495)
(on b199 b338)
(on b200 b754)
(on b201 b343)
(on b202 b973)
(on b203 b596)
(on b204 b142)
(on b205 b312)
(on b206 b834)
(on b207 b541)
(on b208 b72)
(on b209 b519)
(on b210 b288)
(on b211 b623)
(on b212 b548)
(on b213 b785)
(on b214 b906)
(on b215 b787)
(on b216 b800)
(on-table b217)
(on b218 b363)
(on b219 b819)
(on b220 b264)
(on b221 b245)
(on b222 b929)
(on b223 b649)
(on b224 b291)
(on b225 b314)
(on b226 b619)
(on b227 b994)
(on b228 b147)
(on b229 b450)
(on b230 b304)
(on b231 b254)
(on b232 b168)
(on b233 b771)
(on b234 b447)
(on b235 b476)
(on b236 b337)
(on b237 b582)
(on b238 b794)
(on b239 b767)
(on b240 b361)
(on b241 b277)
(on b242 b817)
(on b243 b234)
(on b244 b198)
(on b245 b178)
(on b246 b487)
(on b247 b659)
(on b248 b675)
(on b249 b353)
(on b250 b14)
(on b251 b140)
(on b252 b430)
(on b253 b983)
(on b254 b173)
(on b255 b523)
(on b256 b193)
(on b257 b286)
(on b258 b2)
(on b259 b91)
(on-table b260)
(on b261 b841)
(on b262 b151)
(on b263 b384)
(on b264 b889)
(on b265 b938)
(on b266 b174)
(on b267 b325)
(on b268 b299)
(on b269 b552)
(on b270 b196)
(on b271 b886)
(on b272 b549)
(on b273 b996)
(on b274 b396)
(on b275 b883)
(on b276 b209)
(on b277 b494)
(on b278 b250)
(on b279 b1)
(on b280 b136)
(on b281 b37)
(on b282 b444)
(on b283 b218)
(on-table b284)
(on b285 b946)
(on b286 b601)
(on b287 b483)
(on b288 b375)
(on b289 b31)
(on b290 b917)
(on b291 b190)
(on b292 b624)
(on b293 b672)
(on b294 b509)
(on b295 b436)
(on b296 b904)
(on b297 b866)
(on-table b298)
(on b299 b948)
(on-table b300)
(on b301 b879)
(on b302 b813)
(on b303 b977)
(on b304 b340)
(on b305 b45)
(on b306 b376)
(on b307 b455)
(on b308 b680)
(on b309 b667)
(on b310 b888)
(on b311 b283)
(on b312 b345)
(on b313 b647)
(on b314 b435)
(on b315 b848)
(on b316 b849)
(on b317 b711)
(on b318 b970)
(on b319 b40)
(on b320 b507)
(on b321 b33)
(on b322 b518)
(on b323 b791)
(on b324 b806)
(on b325 b868)
(on b326 b804)
(on b327 b969)
(on b328 b522)
(on b329 b154)
(on b330 b161)
(on b331 b901)
(on b332 b890)
(on b333 b568)
(on b334 b646)
(on b335 b128)
(on b336 b546)
(on b337 b990)
(on b338 b974)
(on b339 b347)
(on b340 b498)
(on b341 b560)
(on b342 b18)
(on b343 b512)
(on b344 b786)
(on b345 b34)
(on b346 b995)
(on b347 b945)
(on b348 b301)
(on b349 b749)
(on b350 b773)
(on b351 b309)
(on b352 b205)
(on b353 b242)
(on b354 b461)
(on-table b355)
(on b356 b728)
(on b357 b47)
(on b358 b927)
(on b359 b551)
(on b360 b846)
(on b361 b747)
(on b362 b332)
(on b363 b565)
(on b364 b790)
(on b365 b592)
(on b366 b26)
(on b367 b451)
(on b368 b783)
(on-table b369)
(on b370 b902)
(on b371 b550)
(on b372 b21)
(on b373 b317)
(on b374 b252)
(on b375 b426)
(on b376 b899)
(on b377 b183)
(on b378 b270)
(on b379 b618)
(on b380 b845)
(on b381 b944)
(on b382 b210)
(on b383 b36)
(on b384 b64)
(on b385 b65)
(on b386 b324)
(on b387 b545)
(on b388 b180)
(on b389 b620)
(on b390 b427)
(on b391 b372)
(on b392 b696)
(on b393 b684)
(on b394 b429)
(on b395 b563)
(on b396 b673)
(on b397 b482)
(on b398 b315)
(on b399 b112)
(on b400 b421)
(on b401 b493)
(on b402 b857)
(on b403 b844)
(on b404 b891)
(on b405 b561)
(on b406 b717)
(on b407 b42)
(on b408 b793)
(on b409 b755)
(on b410 b149)
(on b411 b110)
(on b412 b158)
(on b413 b118)
(on b414 b572)
(on b415 b342)
(on b416 b333)
(on b417 b58)
(on-table b418)
(on b419 b398)
(on b420 b881)
(on b421 b687)
(on b422 b165)
(on b423 b701)
(on b424 b651)
(on b425 b669)
(on b426 b998)
(on b427 b268)
(on b428 b811)
(on b429 b60)
(on b430 b792)
(on b431 b10)
(on b432 b631)
(on b433 b208)
(on b434 b547)
(on b435 b614)
(on b436 b854)
(on b437 b514)
(on b438 b328)
(on b439 b217)
(on b440 b912)
(on b441 b768)
(on b442 b131)
(on b443 b926)
(on b444 b192)
(on b445 b23)
(on b446 b241)
(on b447 b443)
(on b448 b302)
(on b449 b410)
(on b450 b903)
(on b451 b683)
(on b452 b107)
(on b453 b556)
(on b454 b214)
(on b455 b769)
(on b456 b166)
(on b457 b532)
(on b458 b952)
(on-table b459)
(on b460 b784)
(on b461 b714)
(on-table b462)
(on b463 b296)
(on b464 b698)
(on b465 b681)
(on b466 b566)
(on b467 b510)
(on b468 b505)
(on b469 b981)
(on b470 b641)
(on b471 b57)
(on b472 b858)
(on b473 b835)
(on b474 b966)
(on b475 b219)
(on b476 b292)
(on b477 b16)
(on b478 b870)
(on b479 b321)
(on b480 b595)
(on b481 b71)
(on b482 b266)
(on b483 b215)
(on b484 b442)
(on b485 b392)
(on b486 b382)
(on b487 b972)
(on b488 b385)
(on b489 b212)
(on b490 b49)
(on-table b491)
(on b492 b721)
(on b493 b988)
(on b494 b517)
(on b495 b770)
(on b496 b75)
(on b497 b574)
(on b498 b211)
(on b499 b736)
(on b500 b530)
(on b501 b722)
(on b502 b358)
(on b503 b418)
(on b504 b138)
(on b505 b499)
(on b506 b616)
(on b507 b663)
(on b508 b887)
(on b509 b11)
(on b510 b95)
(on b511 b93)
(on b512 b102)
(on b513 b536)
(on b514 b873)
(on b515 b54)
(on b516 b570)
(on b517 b816)
(on b518 b490)
(on b519 b397)
(on b520 b831)
(on b521 b504)
(on b522 b789)
(on b523 b723)
(on b524 b893)
(on b525 b537)
(on-table b526)
(on b527 b425)
(on b528 b599)
(on b529 b963)
(on b530 b874)
(on b531 b27)
(on b532 b968)
(on b533 b402)
(on b534 b686)
(on b535 b775)
(on b536 b608)
(on b537 b702)
(on b538 b77)
(on b539 b600)
(on b540 b365)
(on b541 b169)
(on b542 b63)
(on b543 b191)
(on b544 b409)
(on-table b545)
(on b546 b916)
(on b547 b456)
(on b548 b311)
(on b549 b428)
(on b550 b716)
(on b551 b99)
(on b552 b984)
(on b553 b634)
(on b554 b741)
(on b555 b61)
(on-table b556)
(on b557 b605)
(on b558 b163)
(on b559 b593)
(on b560 b116)
(on b561 b225)
(on b562 b533)
(on b563 b636)
(on b564 b187)
(on b565 b233)
(on b566 b759)
(on b567 b956)
(on b568 b474)
(on b569 b949)
(on-table b570)
(on b571 b170)
(on b572 b457)
(on b573 b453)
(on b574 b712)
(on b575 b81)
(on b576 b41)
(on b577 b285)
(on b578 b562)
(on b579 b708)
(on b580 b909)
(on b581 b479)
(on b582 b472)
(on b583 b331)
(on b584 b104)
(on b585 b843)
(on b586 b256)
(on b587 b144)
(on b588 b383)
(on b589 b114)
(on b590 b489)
(on b591 b788)
(on b592 b851)
(on b593 b248)
(on b594 b527)
(on b595 b227)
(on b596 b626)
(on b597 b441)
(on b598 b578)
(on b599 b953)
(on b600 b350)
(on b601 b628)
(on b602 b962)
(on b603 b70)
(on b604 b145)
(on b605 b815)
(on b606 b463)
(on b607 b795)
(on b608 b155)
(on b609 b920)
(on b610 b228)
(on b611 b176)
(on b612 b263)
(on b613 b688)
(on b614 b774)
(on b615 b892)
(on b616 b591)
(on b617 b368)
(on b618 b294)
(on b619 b272)
(on b620 b632)
(on b621 b878)
(on b622 b395)
(on b623 b79)
(on b624 b232)
(on b625 b573)
(on b626 b454)
(on b627 b67)
(on b628 b216)
(on b629 b339)
(on b630 b377)
(on b631 b919)
(on b632 b86)
(on b633 b967)
(on b634 b617)
(on b635 b908)
(on b636 b735)
(on b637 b610)
(on b638 b668)
(on b639 b633)
(on b640 b558)
(on b641 b260)
(on b642 b597)
(on b643 b7)
(on b644 b910)
(on b645 b931)
(on b646 b134)
(on b647 b184)
(on b648 b847)
(on b649 b836)
(on b650 b781)
(on b651 b355)
(on b652 b300)
(on b653 b660)
(on b654 b553)
(on b655 b400)
(on b656 b880)
(on b657 b502)
(on b658 b876)
(on b659 b731)
(on b660 b275)
(on b661 b859)
(on b662 b326)
(on b663 b862)
(on b664 b497)
(on b665 b84)
(on b666 b411)
(on b667 b577)
(on b668 b20)
(on b669 b877)
(on b670 b197)
(on b671 b8)
(on b672 b43)
(on b673 b635)
(on b674 b379)
(on b675 b159)
(on b676 b718)
(on b677 b253)
(on b678 b653)
(on b679 b30)
(on b680 b674)
(on b681 b237)
(on b682 b448)
(on b683 b707)
(on b684 b869)
(on b685 b76)
(on b686 b492)
(on b687 b68)
(on b688 b175)
(on b689 b230)
(on b690 b399)
(on b691 b951)
(on b692 b352)
(on b693 b699)
(on b694 b370)
(on-table b695)
(on b696 b838)
(on b697 b491)
(on b698 b947)
(on b699 b650)
(on b700 b85)
(on b701 b665)
(on-table b702)
(on b703 b627)
(on b704 b531)
(on b705 b979)
(on b706 b129)
(on b707 b750)
(on b708 b821)
(on b709 b401)
(on b710 b336)
(on b711 b38)
(on b712 b534)
(on b713 b992)
(on b714 b921)
(on b715 b259)
(on b716 b719)
(on b717 b692)
(on b718 b477)
(on b719 b19)
(on b720 b96)
(on b721 b386)
(on b722 b802)
(on b723 b954)
(on b724 b319)
(on b725 b223)
(on b726 b924)
(on b727 b942)
(on b728 b611)
(on b729 b220)
(on b730 b555)
(on b731 b420)
(on b732 b389)
(on b733 b282)
(on b734 b621)
(on b735 b467)
(on b736 b803)
(on b737 b861)
(on b738 b59)
(on b739 b829)
(on b740 b25)
(on b741 b357)
(on b742 b460)
(on b743 b258)
(on b744 b661)
(on b745 b997)
(on b746 b884)
(on b747 b284)
(on b748 b825)
(on b749 b229)
(on b750 b852)
(on b751 b323)
(on-table b752)
(on b753 b303)
(on b754 b503)
(on b755 b528)
(on b756 b818)
(on b757 b92)
(on b758 b486)
(on b759 b488)
(on b760 b269)
(on b761 b388)
(on-table b762)
(on b763 b679)
(on b764 b132)
(on b765 b685)
(on b766 b82)
(on b767 b911)
(on b768 b863)
(on b769 b766)
(on b770 b478)
(on b771 b393)
(on b772 b121)
(on b773 b500)
(on b774 b978)
(on b775 b440)
(on b776 b432)
(on b777 b156)
(on b778 b438)
(on b779 b52)
(on b780 b850)
(on b781 b695)
(on b782 b9)
(on b783 b657)
(on b784 b658)
(on-table b785)
(on b786 b515)
(on b787 b700)
(on b788 b743)
(on b789 b130)
(on b790 b853)
(on b791 b207)
(on b792 b564)
(on b793 b797)
(on b794 b867)
(on b795 b371)
(on b796 b776)
(on b797 b431)
(on b798 b203)
(on b799 b305)
(on b800 b359)
(on b801 b35)
(on b802 b367)
(on b803 b387)
(on b804 b958)
(on b805 b351)
(on b806 b380)
(on b807 b28)
(on b808 b645)
(on b809 b475)
(on b810 b798)
(on b811 b322)
(on b812 b955)
(on-table b813)
(on b814 b274)
(on b815 b727)
(on b816 b918)
(on b817 b606)
(on b818 b119)
(on b819 b594)
(on b820 b182)
(on b821 b914)
(on b822 b643)
(on b823 b935)
(on b824 b758)
(on b825 b46)
(on b826 b185)
(on b827 b310)
(on b828 b928)
(on b829 b753)
(on b830 b965)
(on b831 b823)
(on b832 b808)
(on-table b833)
(on b834 b51)
(on b835 b246)
(on b836 b123)
(on b837 b991)
(on b838 b830)
(on b839 b255)
(on b840 b524)
(on b841 b423)
(on b842 b306)
(on b843 b737)
(on b844 b526)
(on b845 b824)
(on b846 b15)
(on b847 b152)
(on b848 b222)
(on b849 b704)
(on b850 b814)
(on b851 b516)
(on b852 b188)
(on-table b853)
(on b854 b126)
(on b855 b480)
(on b856 b742)
(on b857 b740)
(on b858 b29)
(on b859 b757)
(on b860 b576)
(on b861 b930)
(on b862 b374)
(on b863 b179)
(on b864 b630)
(on b865 b244)
(on b866 b581)
(on b867 b779)
(on b868 b513)
(on b869 b529)
(on b870 b251)
(on b871 b276)
(on b872 b98)
(on b873 b39)
(on b874 b69)
(on b875 b671)
(on b876 b100)
(on b877 b941)
(on b878 b153)
(on b879 b826)
(on b880 b318)
(on b881 b335)
(on b882 b177)
(on b883 b5)
(on b884 b765)
(on b885 b44)
(on b886 b390)
(on b887 b609)
(on b888 b195)
(on b889 b780)
(on b890 b508)
(on b891 b960)
(on b892 b74)
(on b893 b496)
(on b894 b820)
(on b895 b933)
(on b896 b615)
(on b897 b202)
(on b898 b257)
(on b899 b934)
(on b900 b295)
(on b901 b137)
(on b902 b293)
(on b903 b240)
(on b904 b612)
(on b905 b607)
(on b906 b278)
(on b907 b603)
(on b908 b470)
(on b909 b590)
(on b910 b521)
(on b911 b598)
(on b912 b360)
(on b913 b571)
(on b914 b799)
(on b915 b416)
(on b916 b287)
(on b917 b89)
(on b918 b585)
(on b919 b364)
(on b920 b971)
(on b921 b403)
(on b922 b415)
(on b923 b982)
(on b924 b525)
(on b925 b235)
(on b926 b346)
(on b927 b103)
(on b928 b865)
(on b929 b827)
(on b930 b588)
(on b931 b805)
(on b932 b422)
(on b933 b249)
(on b934 b413)
(on b935 b120)
(on b936 b898)
(on b937 b922)
(on b938 b746)
(on b939 b703)
(on b940 b559)
(on b941 b221)
(on b942 b265)
(on b943 b923)
(on b944 b730)
(on b945 b520)
(on b946 b66)
(on b947 b915)
(on b948 b433)
(on b949 b13)
(on b950 b745)
(on b951 b584)
(on b952 b117)
(on b953 b985)
(on b954 b133)
(on b955 b406)
(on b956 b464)
(on b957 b639)
(on b958 b987)
(on b959 b243)
(on b960 b751)
(on b961 b412)
(on b962 b760)
(on b963 b201)
(on b964 b678)
(on b965 b334)
(on b966 b87)
(on b967 b655)
(on b968 b236)
(on-table b969)
(on b970 b73)
(on b971 b407)
(on b972 b640)
(on b973 b381)
(on b974 b55)
(on b975 b329)
(on b976 b957)
(on b977 b872)
(on b978 b807)
(on b979 b882)
(on b980 b369)
(on b981 b109)
(on b982 b261)
(on b983 b693)
(on b984 b642)
(on b985 b809)
(on b986 b452)
(on b987 b705)
(on b988 b937)
(on b989 b186)
(on b990 b833)
(on b991 b604)
(on b992 b308)
(on b993 b481)
(on b994 b772)
(on b995 b724)
(on b996 b378)
(on b997 b316)
(on b998 b280)
(on b999 b226)
(on b1000 b587)
(clear b113)
(clear b148)
(clear b189)
(clear b213)
(clear b366)
(clear b394)
(clear b404)
(clear b419)
(clear b446)
(clear b458)
(clear b459)
(clear b473)
(clear b567)
(clear b569)
(clear b579)
(clear b583)
(clear b622)
(clear b637)
(clear b638)
(clear b644)
(clear b652)
(clear b690)
(clear b748)
(clear b761)
(clear b782)
(clear b801)
(clear b812)
(clear b828)
(clear b837)
(clear b875)
(clear b885)
(clear b964)
(goal_on b1 b592)
(goal_on b2 b967)
(goal_on b3 b129)
(goal_on b4 b518)
(goal_on b5 b281)
(goal_on b6 b136)
(goal_on b7 b466)
(goal_on b8 b224)
(goal_on b9 b624)
(goal_on b10 b825)
(goal_on b11 b268)
(goal_on b12 b7)
(goal_on b13 b380)
(goal_on b14 b141)
(goal_on b15 b229)
(goal_on b16 b785)
(goal_on b17 b689)
(goal_on b18 b83)
(goal_on b19 b140)
(goal_on b20 b953)
(goal_on b21 b709)
(goal_on b22 b690)
(goal_on b23 b612)
(goal_on b24 b828)
(goal_on b25 b990)
(goal_on b26 b774)
(goal_on b27 b986)
(goal_on b28 b895)
(goal_on b29 b560)
(goal_on b30 b119)
(goal_on b31 b469)
(goal_on b32 b324)
(goal_on b33 b527)
(goal_on b34 b857)
(goal_on b35 b232)
(goal_on b36 b949)
(goal_on b37 b435)
(goal_on b38 b455)
(goal_on b39 b393)
(goal_on b40 b234)
(goal_on b41 b143)
(goal_on b42 b228)
(goal_on b43 b133)
(goal_on b44 b744)
(goal_on b45 b964)
(goal_on b46 b718)
(goal_on-table b47)
(goal_on b48 b373)
(goal_on b49 b280)
(goal_on b50 b845)
(goal_on b51 b926)
(goal_on b52 b833)
(goal_on b53 b963)
(goal_on b54 b364)
(goal_on b55 b332)
(goal_on b56 b778)
(goal_on b57 b538)
(goal_on b58 b908)
(goal_on b59 b152)
(goal_on b60 b149)
(goal_on b61 b724)
(goal_on b62 b961)
(goal_on b63 b849)
(goal_on b64 b549)
(goal_on b65 b260)
(goal_on b66 b243)
(goal_on b67 b516)
(goal_on b68 b199)
(goal_on b69 b981)
(goal_on b70 b120)
(goal_on b71 b72)
(goal_on b72 b928)
(goal_on b73 b16)
(goal_on b74 b736)
(goal_on b75 b189)
(goal_on b76 b422)
(goal_on-table b77)
(goal_on b78 b869)
(goal_on b79 b413)
(goal_on b80 b598)
(goal_on b81 b147)
(goal_on b82 b285)
(goal_on b83 b237)
(goal_on b84 b186)
(goal_on b85 b272)
(goal_on b86 b88)
(goal_on b87 b528)
(goal_on b88 b747)
(goal_on b89 b921)
(goal_on b90 b567)
(goal_on b91 b10)
(goal_on b92 b668)
(goal_on b93 b693)
(goal_on b94 b19)
(goal_on b95 b900)
(goal_on b96 b304)
(goal_on b97 b803)
(goal_on b98 b507)
(goal_on b99 b721)
(goal_on b100 b345)
(goal_on b101 b209)
(goal_on b102 b952)
(goal_on b103 b248)
(goal_on b104 b558)
(goal_on b105 b633)
(goal_on b106 b892)
(goal_on b107 b837)
(goal_on b108 b215)
(goal_on b109 b238)
(goal_on b110 b168)
(goal_on b111 b526)
(goal_on b112 b731)
(goal_on b113 b6)
(goal_on b114 b367)
(goal_on b115 b886)
(goal_on b116 b810)
(goal_on b117 b450)
(goal_on b118 b499)
(goal_on b119 b170)
(goal_on b120 b33)
(goal_on b121 b877)
(goal_on b122 b924)
(goal_on b123 b416)
(goal_on b124 b666)
(goal_on b125 b53)
(goal_on b126 b532)
(goal_on b127 b42)
(goal_on b128 b517)
(goal_on b129 b817)
(goal_on b130 b291)
(goal_on b131 b15)
(goal_on b132 b64)
(goal_on b133 b874)
(goal_on b134 b730)
(goal_on b135 b1)
(goal_on b136 b344)
(goal_on b137 b739)
(goal_on b138 b107)
(goal_on b139 b581)
(goal_on b140 b541)
(goal_on b141 b511)
(goal_on b142 b305)
(goal_on b143 b608)
(goal_on b144 b734)
(goal_on b145 b298)
(goal_on b146 b385)
(goal_on b147 b584)
(goal_on b148 b620)
(goal_on b149 b420)
(goal_on b150 b960)
(goal_on b151 b178)
(goal_on b152 b163)
(goal_on b153 b182)
(goal_on b154 b479)
(goal_on b155 b214)
(goal_on b156 b912)
(goal_on b157 b842)
(goal_on b158 b569)
(goal_on b159 b355)
(goal_on b160 b994)
(goal_on b161 b520)
(goal_on b162 b732)
(goal_on b163 b282)
(goal_on b164 b22)
(goal_on b165 b910)
(goal_on b166 b138)
(goal_on b167 b671)
(goal_on b168 b451)
(goal_on b169 b362)
(goal_on b170 b56)
(goal_on b171 b85)
(goal_on b172 b322)
(goal_on b173 b664)
(goal_on b174 b35)
(goal_on b175 b92)
(goal_on b176 b90)
(goal_on b177 b885)
(goal_on b178 b955)
(goal_on b179 b801)
(goal_on b180 b513)
(goal_on b181 b763)
(goal_on b182 b575)
(goal_on b183 b175)
(goal_on b184 b3)
(goal_on b185 b331)
(goal_on b186 b46)
(goal_on b187 b726)
(goal_on b188 b913)
(goal_on b189 b582)
(goal_on b190 b901)
(goal_on b191 b127)
(goal_on b192 b295)
(goal_on b193 b108)
(goal_on b194 b21)
(goal_on b195 b150)
(goal_on b196 b261)
(goal_on b197 b191)
(goal_on b198 b607)
(goal_on b199 b932)
(goal_on b200 b876)
(goal_on b201 b135)
(goal_on b202 b486)
(goal_on b203 b398)
(goal_on b204 b458)
(goal_on-table b205)
(goal_on b206 b45)
(goal_on-table b207)
(goal_on b208 b160)
(goal_on b209 b131)
(goal_on b210 b524)
(goal_on b211 b26)
(goal_on b212 b872)
(goal_on b213 b206)
(goal_on b214 b276)
(goal_on b215 b326)
(goal_on b216 b920)
(goal_on b217 b904)
(goal_on b218 b299)
(goal_on b219 b290)
(goal_on b220 b522)
(goal_on b221 b586)
(goal_on b222 b831)
(goal_on b223 b144)
(goal_on b224 b891)
(goal_on b225 b106)
(goal_on b226 b360)
(goal_on b227 b870)
(goal_on b228 b688)
(goal_on b229 b834)
(goal_on b230 b464)
(goal_on b231 b266)
(goal_on b232 b650)
(goal_on b233 b148)
(goal_on b234 b748)
(goal_on b235 b137)
(goal_on b236 b675)
(goal_on b237 b609)
(goal_on b238 b219)
(goal_on b239 b958)
(goal_on b240 b641)
(goal_on b241 b938)
(goal_on b242 b227)
(goal_on b243 b676)
(goal_on b244 b492)
(goal_on b245 b109)
(goal_on b246 b587)
(goal_on b247 b654)
(goal_on b248 b987)
(goal_on b249 b889)
(goal_on b250 b787)
(goal_on b251 b611)
(goal_on b252 b914)
(goal_on b253 b764)
(goal_on b254 b985)
(goal_on b255 b984)
(goal_on b256 b519)
(goal_on b257 b94)
(goal_on b258 b653)
(goal_on b259 b979)
(goal_on b260 b462)
(goal_on b261 b617)
(goal_on b262 b954)
(goal_on b263 b273)
(goal_on b264 b371)
(goal_on b265 b419)
(goal_on b266 b457)
(goal_on b267 b442)
(goal_on b268 b200)
(goal_on b269 b128)
(goal_on b270 b139)
(goal_on b271 b430)
(goal_on b272 b67)
(goal_on b273 b60)
(goal_on b274 b446)
(goal_on b275 b649)
(goal_on b276 b779)
(goal_on b277 b222)
(goal_on b278 b685)
(goal_on b279 b181)
(goal_on b280 b488)
(goal_on b281 b909)
(goal_on b282 b755)
(goal_on b283 b605)
(goal_on b284 b965)
(goal_on b285 b32)
(goal_on b286 b536)
(goal_on b287 b101)
(goal_on-table b288)
(goal_on b289 b211)
(goal_on b290 b727)
(goal_on b291 b334)
(goal_on b292 b36)
(goal_on b293 b959)
(goal_on b294 b585)
(goal_on b295 b717)
(goal_on b296 b346)
(goal_on b297 b537)
(goal_on b298 b41)
(goal_on b299 b780)
(goal_on b300 b48)
(goal_on b301 b432)
(goal_on b302 b68)
(goal_on b303 b239)
(goal_on b304 b638)
(goal_on b305 b937)
(goal_on b306 b956)
(goal_on b307 b663)
(goal_on b308 b841)
(goal_on b309 b369)
(goal_on b310 b564)
(goal_on b311 b603)
(goal_on b312 b93)
(goal_on b313 b258)
(goal_on b314 b819)
(goal_on b315 b930)
(goal_on b316 b989)
(goal_on b317 b683)
(goal_on b318 b463)
(goal_on b319 b241)
(goal_on b320 b14)
(goal_on b321 b969)
(goal_on b322 b553)
(goal_on b323 b905)
(goal_on b324 b530)
(goal_on b325 b236)
(goal_on b326 b321)
(goal_on b327 b692)
(goal_on b328 b403)
(goal_on b329 b485)
(goal_on b330 b606)
(goal_on b331 b623)
(goal_on b332 b574)
(goal_on b333 b658)
(goal_on b334 b733)
(goal_on b335 b696)
(goal_on b336 b395)
(goal_on b337 b195)
(goal_on b338 b544)
(goal_on b339 b943)
(goal_on b340 b796)
(goal_on b341 b878)
(goal_on b342 b62)
(goal_on b343 b942)
(goal_on b344 b270)
(goal_on b345 b816)
(goal_on b346 b571)
(goal_on b347 b428)
(goal_on b348 b65)
(goal_on b349 b542)
(goal_on b350 b684)
(goal_on b351 b476)
(goal_on b352 b856)
(goal_on b353 b760)
(goal_on b354 b294)
(goal_on b355 b923)
(goal_on b356 b790)
(goal_on b357 b529)
(goal_on b358 b637)
(goal_on b359 b316)
(goal_on b360 b443)
(goal_on b361 b363)
(goal_on b362 b397)
(goal_on b363 b813)
(goal_on b364 b864)
(goal_on b365 b467)
(goal_on b366 b868)
(goal_on b367 b482)
(goal_on b368 b626)
(goal_on-table b369)
(goal_on b370 b890)
(goal_on b371 b415)
(goal_on b372 b786)
(goal_on b373 b154)
(goal_on b374 b378)
(goal_on b375 b320)
(goal_on b376 b315)
(goal_on b377 b337)
(goal_on-table b378)
(goal_on b379 b391)
(goal_on b380 b505)
(goal_on b381 b226)
(goal_on b382 b539)
(goal_on b383 b433)
(goal_on b384 b37)
(goal_on b385 b372)
(goal_on b386 b946)
(goal_on b387 b197)
(goal_on b388 b223)
(goal_on b389 b840)
(goal_on b390 b386)
(goal_on b391 b366)
(goal_on b392 b716)
(goal_on b393 b481)
(goal_on b394 b628)
(goal_on b395 b588)
(goal_on b396 b118)
(goal_on-table b397)
(goal_on b398 b814)
(goal_on b399 b84)
(goal_on b400 b660)
(goal_on b401 b279)
(goal_on b402 b124)
(goal_on b403 b459)
(goal_on b404 b409)
(goal_on b405 b43)
(goal_on b406 b568)
(goal_on b407 b725)
(goal_on b408 b552)
(goal_on b409 b672)
(goal_on b410 b31)
(goal_on b411 b100)
(goal_on b412 b330)
(goal_on b413 b514)
(goal_on b414 b852)
(goal_on b415 b262)
(goal_on b416 b343)
(goal_on b417 b292)
(goal_on b418 b95)
(goal_on b419 b887)
(goal_on b420 b645)
(goal_on b421 b417)
(goal_on b422 b922)
(goal_on b423 b794)
(goal_on b424 b240)
(goal_on b425 b925)
(goal_on b426 b196)
(goal_on b427 b359)
(goal_on b428 b117)
(goal_on b429 b809)
(goal_on b430 b89)
(goal_on b431 b836)
(goal_on b432 b444)
(goal_on b433 b461)
(goal_on b434 b784)
(goal_on b435 b835)
(goal_on b436 b561)
(goal_on b437 b907)
(goal_on b438 b306)
(goal_on b439 b812)
(goal_on b440 b370)
(goal_on b441 b314)
(goal_on b442 b773)
(goal_on b443 b957)
(goal_on b444 b596)
(goal_on b445 b470)
(goal_on b446 b374)
(goal_on b447 b173)
(goal_on b448 b903)
(goal_on b449 b180)
(goal_on b450 b477)
(goal_on b451 b765)
(goal_on b452 b573)
(goal_on b453 b728)
(goal_on b454 b39)
(goal_on b455 b392)
(goal_on b456 b743)
(goal_on b457 b288)
(goal_on b458 b44)
(goal_on b459 b96)
(goal_on b460 b916)
(goal_on b461 b187)
(goal_on b462 b547)
(goal_on b463 b515)
(goal_on b464 b244)
(goal_on b465 b51)
(goal_on b466 b791)
(goal_on b467 b384)
(goal_on b468 b123)
(goal_on b469 b99)
(goal_on b470 b151)
(goal_on b471 b576)
(goal_on b472 b167)
(goal_on b473 b264)
(goal_on b474 b439)
(goal_on b475 b73)
(goal_on b476 b556)
(goal_on b477 b63)
(goal_on b478 b86)
(goal_on b479 b350)
(goal_on b480 b231)
(goal_on-table b481)
(goal_on b482 b308)
(goal_on b483 b863)
(goal_on b484 b113)
(goal_on b485 b591)
(goal_on b486 b172)
(goal_on b487 b767)
(goal_on b488 b339)
(goal_on b489 b377)
(goal_on b490 b782)
(goal_on b491 b300)
(goal_on b492 b860)
(goal_on b493 b820)
(goal_on b494 b929)
(goal_on b495 b662)
(goal_on b496 b497)
(goal_on b497 b110)
(goal_on b498 b188)
(goal_on b499 b919)
(goal_on b500 b711)
(goal_on-table b501)
(goal_on b502 b618)
(goal_on b503 b192)
(goal_on b504 b501)
(goal_on b505 b218)
(goal_on b506 b460)
(goal_on b507 b472)
(goal_on b508 b390)
(goal_on b509 b708)
(goal_on b510 b972)
(goal_on b511 b602)
(goal_on b512 b312)
(goal_on b513 b375)
(goal_on b514 b951)
(goal_on b515 b27)
(goal_on b516 b804)
(goal_on b517 b879)
(goal_on b518 b69)
(goal_on b519 b70)
(goal_on b520 b242)
(goal_on b521 b382)
(goal_on-table b522)
(goal_on b523 b983)
(goal_on b524 b578)
(goal_on b525 b333)
(goal_on b526 b669)
(goal_on b527 b452)
(goal_on b528 b562)
(goal_on b529 b906)
(goal_on b530 b947)
(goal_on b531 b38)
(goal_on b532 b652)
(goal_on b533 b29)
(goal_on b534 b310)
(goal_on b535 b565)
(goal_on b536 b712)
(goal_on b537 b356)
(goal_on b538 b639)
(goal_on b539 b155)
(goal_on-table b540)
(goal_on b541 b996)
(goal_on b542 b379)
(goal_on b543 b735)
(goal_on b544 b427)
(goal_on b545 b858)
(goal_on b546 b936)
(goal_on b547 b233)
(goal_on b548 b643)
(goal_on b549 b844)
(goal_on b550 b354)
(goal_on b551 b627)
(goal_on b552 b713)
(goal_on b553 b850)
(goal_on b554 b24)
(goal_on b555 b251)
(goal_on b556 b686)
(goal_on b557 b789)
(goal_on b558 b667)
(goal_on b559 b619)
(goal_on b560 b615)
(goal_on b561 b722)
(goal_on b562 b357)
(goal_on b563 b752)
(goal_on b564 b327)
(goal_on b565 b674)
(goal_on b566 b348)
(goal_on b567 b328)
(goal_on b568 b899)
(goal_on b569 b341)
(goal_on b570 b66)
(goal_on b571 b255)
(goal_on b572 b453)
(goal_on b573 b534)
(goal_on b574 b250)
(goal_on b575 b97)
(goal_on b576 b715)
(goal_on b577 b729)
(goal_on b578 b521)
(goal_on b579 b329)
(goal_on b580 b973)
(goal_on b581 b751)
(goal_on b582 b400)
(goal_on b583 b490)
(goal_on b584 b759)
(goal_on b585 b252)
(goal_on b586 b25)
(goal_on b587 b483)
(goal_on b588 b771)
(goal_on b589 b933)
(goal_on b590 b145)
(goal_on b591 b691)
(goal_on-table b592)
(goal_on b593 b742)
(goal_on b594 b23)
(goal_on b595 b634)
(goal_on b596 b114)
(goal_on b597 b601)
(goal_on b598 b246)
(goal_on b599 b30)
(goal_on b600 b4)
(goal_on b601 b540)
(goal_on b602 b710)
(goal_on b603 b977)
(goal_on b604 b161)
(goal_on b605 b839)
(goal_on b606 b74)
(goal_on b607 b278)
(goal_on b608 b286)
(goal_on b609 b249)
(goal_on b610 b697)
(goal_on b611 b777)
(goal_on b612 b201)
(goal_on b613 b423)
(goal_on b614 b495)
(goal_on b615 b880)
(goal_on b616 b54)
(goal_on b617 b815)
(goal_on b618 b325)
(goal_on b619 b993)
(goal_on b620 b508)
(goal_on b621 b583)
(goal_on b622 b493)
(goal_on b623 b389)
(goal_on b624 b437)
(goal_on-table b625)
(goal_on b626 b34)
(goal_on b627 b616)
(goal_on b628 b988)
(goal_on b629 b156)
(goal_on b630 b204)
(goal_on b631 b454)
(goal_on b632 b822)
(goal_on b633 b401)
(goal_on b634 b500)
(goal_on-table b635)
(goal_on-table b636)
(goal_on b637 b808)
(goal_on b638 b259)
(goal_on b639 b130)
(goal_on b640 b997)
(goal_on b641 b82)
(goal_on b642 b644)
(goal_on b643 b846)
(goal_on b644 b750)
(goal_on b645 b884)
(goal_on b646 b284)
(goal_on b647 b58)
(goal_on b648 b800)
(goal_on b649 b289)
(goal_on b650 b738)
(goal_on b651 b700)
(goal_on b652 b468)
(goal_on b653 b52)
(goal_on b654 b351)
(goal_on b655 b287)
(goal_on b656 b256)
(goal_on b657 b8)
(goal_on b658 b309)
(goal_on b659 b678)
(goal_on b660 b105)
(goal_on b661 b456)
(goal_on b662 b632)
(goal_on b663 b554)
(goal_on b664 b20)
(goal_on b665 b212)
(goal_on b666 b795)
(goal_on b667 b349)
(goal_on b668 b577)
(goal_on b669 b408)
(goal_on b670 b853)
(goal_on b671 b651)
(goal_on b672 b859)
(goal_on b673 b897)
(goal_on b674 b275)
(goal_on b675 b781)
(goal_on b676 b193)
(goal_on b677 b18)
(goal_on b678 b194)
(goal_on b679 b429)
(goal_on b680 b491)
(goal_on b681 b509)
(goal_on b682 b543)
(goal_on b683 b948)
(goal_on b684 b323)
(goal_on-table b685)
(goal_on b686 b533)
(goal_on b687 b313)
(goal_on b688 b593)
(goal_on-table b689)
(goal_on b690 b283)
(goal_on b691 b436)
(goal_on b692 b184)
(goal_on b693 b991)
(goal_on b694 b741)
(goal_on b695 b59)
(goal_on b696 b939)
(goal_on b697 b550)
(goal_on b698 b766)
(goal_on b699 b126)
(goal_on b700 b376)
(goal_on b701 b317)
(goal_on-table b702)
(goal_on b703 b125)
(goal_on b704 b318)
(goal_on b705 b604)
(goal_on-table b706)
(goal_on b707 b440)
(goal_on b708 b821)
(goal_on b709 b142)
(goal_on b710 b976)
(goal_on b711 b11)
(goal_on b712 b681)
(goal_on b713 b888)
(goal_on-table b714)
(goal_on b715 b79)
(goal_on b716 b213)
(goal_on b717 b504)
(goal_on b718 b705)
(goal_on b719 b862)
(goal_on b720 b706)
(goal_on b721 b950)
(goal_on b722 b761)
(goal_on b723 b640)
(goal_on b724 b797)
(goal_on b725 b595)
(goal_on b726 b381)
(goal_on b727 b40)
(goal_on b728 b894)
(goal_on b729 b475)
(goal_on b730 b762)
(goal_on b731 b115)
(goal_on b732 b580)
(goal_on b733 b198)
(goal_on b734 b635)
(goal_on b735 b347)
(goal_on b736 b851)
(goal_on b737 b579)
(goal_on b738 b449)
(goal_on b739 b489)
(goal_on b740 b753)
(goal_on b741 b207)
(goal_on b742 b208)
(goal_on b743 b614)
(goal_on b744 b162)
(goal_on b745 b496)
(goal_on b746 b361)
(goal_on b747 b737)
(goal_on b748 b407)
(goal_on b749 b169)
(goal_on b750 b425)
(goal_on b751 b531)
(goal_on b752 b296)
(goal_on b753 b589)
(goal_on b754 b61)
(goal_on b755 b217)
(goal_on b756 b802)
(goal_on b757 b719)
(goal_on b758 b566)
(goal_on b759 b599)
(goal_on b760 b414)
(goal_on b761 b87)
(goal_on b762 b352)
(goal_on b763 b811)
(goal_on b764 b656)
(goal_on b765 b975)
(goal_on b766 b132)
(goal_on b767 b297)
(goal_on b768 b927)
(goal_on-table b769)
(goal_on b770 b843)
(goal_on b771 b302)
(goal_on b772 b754)
(goal_on b773 b570)
(goal_on-table b774)
(goal_on b775 b883)
(goal_on b776 b177)
(goal_on b777 b394)
(goal_on-table b778)
(goal_on b779 b412)
(goal_on b780 b749)
(goal_on b781 b1000)
(goal_on b782 b358)
(goal_on b783 b76)
(goal_on b784 b871)
(goal_on b785 b646)
(goal_on b786 b122)
(goal_on b787 b966)
(goal_on b788 b854)
(goal_on b789 b441)
(goal_on b790 b399)
(goal_on b791 b203)
(goal_on b792 b411)
(goal_on b793 b153)
(goal_on b794 b915)
(goal_on b795 b992)
(goal_on b796 b745)
(goal_on b797 b838)
(goal_on b798 b164)
(goal_on b799 b911)
(goal_on b800 b746)
(goal_on b801 b917)
(goal_on b802 b861)
(goal_on b803 b111)
(goal_on b804 b28)
(goal_on b805 b610)
(goal_on b806 b798)
(goal_on b807 b769)
(goal_on b808 b102)
(goal_on b809 b405)
(goal_on b810 b867)
(goal_on b811 b274)
(goal_on b812 b434)
(goal_on b813 b829)
(goal_on b814 b629)
(goal_on b815 b971)
(goal_on b816 b673)
(goal_on b817 b818)
(goal_on b818 b210)
(goal_on b819 b157)
(goal_on-table b820)
(goal_on b821 b758)
(goal_on b822 b630)
(goal_on b823 b253)
(goal_on b824 b80)
(goal_on b825 b807)
(goal_on b826 b426)
(goal_on b827 b13)
(goal_on b828 b698)
(goal_on b829 b438)
(goal_on b830 b424)
(goal_on b831 b179)
(goal_on b832 b174)
(goal_on b833 b221)
(goal_on b834 b978)
(goal_on b835 b254)
(goal_on b836 b559)
(goal_on b837 b875)
(goal_on b838 b55)
(goal_on b839 b659)
(goal_on b840 b792)
(goal_on b841 b431)
(goal_on b842 b402)
(goal_on b843 b621)
(goal_on b844 b465)
(goal_on b845 b383)
(goal_on b846 b353)
(goal_on b847 b941)
(goal_on b848 b506)
(goal_on b849 b772)
(goal_on b850 b970)
(goal_on b851 b190)
(goal_on b852 b703)
(goal_on b853 b104)
(goal_on b854 b898)
(goal_on b855 b788)
(goal_on b856 b694)
(goal_on b857 b487)
(goal_on b858 b71)
(goal_on b859 b546)
(goal_on b860 b498)
(goal_on b861 b146)
(goal_on b862 b9)
(goal_on b863 b134)
(goal_on b864 b636)
(goal_on b865 b551)
(goal_on-table b866)
(goal_on b867 b557)
(goal_on b868 b185)
(goal_on b869 b225)
(goal_on b870 b230)
(goal_on b871 b707)
(goal_on b872 b510)
(goal_on b873 b680)
(goal_on b874 b502)
(goal_on-table b875)
(goal_on b876 b848)
(goal_on b877 b677)
(goal_on b878 b881)
(goal_on b879 b793)
(goal_on b880 b265)
(goal_on b881 b78)
(goal_on b882 b770)
(goal_on-table b883)
(goal_on b884 b545)
(goal_on b885 b158)
(goal_on b886 b893)
(goal_on b887 b865)
(goal_on b888 b277)
(goal_on b889 b257)
(goal_on b890 b695)
(goal_on b891 b896)
(goal_on b892 b176)
(goal_on b893 b805)
(goal_on b894 b202)
(goal_on b895 b775)
(goal_on b896 b5)
(goal_on b897 b776)
(goal_on b898 b824)
(goal_on b899 b555)
(goal_on b900 b625)
(goal_on b901 b999)
(goal_on b902 b931)
(goal_on b903 b473)
(goal_on b904 b590)
(goal_on b905 b701)
(goal_on b906 b474)
(goal_on b907 b563)
(goal_on b908 b12)
(goal_on b909 b205)
(goal_on b910 b826)
(goal_on b911 b847)
(goal_on b912 b81)
(goal_on b913 b679)
(goal_on b914 b183)
(goal_on b915 b121)
(goal_on-table b916)
(goal_on b917 b783)
(goal_on b918 b714)
(goal_on b919 b756)
(goal_on b920 b447)
(goal_on b921 b159)
(goal_on b922 b597)
(goal_on b923 b365)
(goal_on b924 b484)
(goal_on b925 b112)
(goal_on b926 b702)
(goal_on b927 b944)
(goal_on b928 b303)
(goal_on b929 b293)
(goal_on b930 b523)
(goal_on b931 b336)
(goal_on b932 b995)
(goal_on b933 b882)
(goal_on b934 b704)
(goal_on b935 b338)
(goal_on b936 b657)
(goal_on b937 b480)
(goal_on b938 b448)
(goal_on b939 b823)
(goal_on b940 b548)
(goal_on b941 b247)
(goal_on b942 b271)
(goal_on b943 b682)
(goal_on b944 b827)
(goal_on b945 b75)
(goal_on b946 b2)
(goal_on b947 b935)
(goal_on b948 b687)
(goal_on b949 b368)
(goal_on b950 b980)
(goal_on b951 b934)
(goal_on b952 b665)
(goal_on b953 b723)
(goal_on b954 b873)
(goal_on b955 b962)
(goal_on b956 b98)
(goal_on b957 b307)
(goal_on b958 b982)
(goal_on b959 b57)
(goal_on b960 b396)
(goal_on b961 b418)
(goal_on b962 b648)
(goal_on b963 b631)
(goal_on b964 b855)
(goal_on b965 b263)
(goal_on b966 b319)
(goal_on b967 b335)
(goal_on b968 b171)
(goal_on b969 b622)
(goal_on b970 b974)
(goal_on b971 b311)
(goal_on b972 b166)
(goal_on b973 b740)
(goal_on-table b974)
(goal_on b975 b918)
(goal_on b976 b655)
(goal_on b977 b647)
(goal_on b978 b388)
(goal_on b979 b768)
(goal_on b980 b757)
(goal_on b981 b494)
(goal_on b982 b49)
(goal_on b983 b572)
(goal_on b984 b503)
(goal_on b985 b342)
(goal_on b986 b17)
(goal_on b987 b806)
(goal_on b988 b220)
(goal_on b989 b103)
(goal_on b990 b799)
(goal_on b991 b471)
(goal_on b992 b945)
(goal_on b993 b512)
(goal_on b994 b832)
(goal_on b995 b406)
(goal_on b996 b235)
(goal_on b997 b47)
(goal_on b998 b720)
(goal_on b999 b269)
(goal_on b1000 b216)
(goal_clear b50)
(goal_clear b77)
(goal_clear b91)
(goal_clear b116)
(goal_clear b165)
(goal_clear b245)
(goal_clear b267)
(goal_clear b301)
(goal_clear b340)
(goal_clear b387)
(goal_clear b404)
(goal_clear b410)
(goal_clear b421)
(goal_clear b445)
(goal_clear b478)
(goal_clear b525)
(goal_clear b535)
(goal_clear b594)
(goal_clear b600)
(goal_clear b613)
(goal_clear b642)
(goal_clear b661)
(goal_clear b670)
(goal_clear b699)
(goal_clear b830)
(goal_clear b866)
(goal_clear b902)
(goal_clear b940)
(goal_clear b968)
(goal_clear b998)
)
(:goal
(and
(on b1 b592)
(on b2 b967)
(on b3 b129)
(on b4 b518)
(on b5 b281)
(on b6 b136)
(on b7 b466)
(on b8 b224)
(on b9 b624)
(on b10 b825)
(on b11 b268)
(on b12 b7)
(on b13 b380)
(on b14 b141)
(on b15 b229)
(on b16 b785)
(on b17 b689)
(on b18 b83)
(on b19 b140)
(on b20 b953)
(on b21 b709)
(on b22 b690)
(on b23 b612)
(on b24 b828)
(on b25 b990)
(on b26 b774)
(on b27 b986)
(on b28 b895)
(on b29 b560)
(on b30 b119)
(on b31 b469)
(on b32 b324)
(on b33 b527)
(on b34 b857)
(on b35 b232)
(on b36 b949)
(on b37 b435)
(on b38 b455)
(on b39 b393)
(on b40 b234)
(on b41 b143)
(on b42 b228)
(on b43 b133)
(on b44 b744)
(on b45 b964)
(on b46 b718)
(on-table b47)
(on b48 b373)
(on b49 b280)
(on b50 b845)
(on b51 b926)
(on b52 b833)
(on b53 b963)
(on b54 b364)
(on b55 b332)
(on b56 b778)
(on b57 b538)
(on b58 b908)
(on b59 b152)
(on b60 b149)
(on b61 b724)
(on b62 b961)
(on b63 b849)
(on b64 b549)
(on b65 b260)
(on b66 b243)
(on b67 b516)
(on b68 b199)
(on b69 b981)
(on b70 b120)
(on b71 b72)
(on b72 b928)
(on b73 b16)
(on b74 b736)
(on b75 b189)
(on b76 b422)
(on-table b77)
(on b78 b869)
(on b79 b413)
(on b80 b598)
(on b81 b147)
(on b82 b285)
(on b83 b237)
(on b84 b186)
(on b85 b272)
(on b86 b88)
(on b87 b528)
(on b88 b747)
(on b89 b921)
(on b90 b567)
(on b91 b10)
(on b92 b668)
(on b93 b693)
(on b94 b19)
(on b95 b900)
(on b96 b304)
(on b97 b803)
(on b98 b507)
(on b99 b721)
(on b100 b345)
(on b101 b209)
(on b102 b952)
(on b103 b248)
(on b104 b558)
(on b105 b633)
(on b106 b892)
(on b107 b837)
(on b108 b215)
(on b109 b238)
(on b110 b168)
(on b111 b526)
(on b112 b731)
(on b113 b6)
(on b114 b367)
(on b115 b886)
(on b116 b810)
(on b117 b450)
(on b118 b499)
(on b119 b170)
(on b120 b33)
(on b121 b877)
(on b122 b924)
(on b123 b416)
(on b124 b666)
(on b125 b53)
(on b126 b532)
(on b127 b42)
(on b128 b517)
(on b129 b817)
(on b130 b291)
(on b131 b15)
(on b132 b64)
(on b133 b874)
(on b134 b730)
(on b135 b1)
(on b136 b344)
(on b137 b739)
(on b138 b107)
(on b139 b581)
(on b140 b541)
(on b141 b511)
(on b142 b305)
(on b143 b608)
(on b144 b734)
(on b145 b298)
(on b146 b385)
(on b147 b584)
(on b148 b620)
(on b149 b420)
(on b150 b960)
(on b151 b178)
(on b152 b163)
(on b153 b182)
(on b154 b479)
(on b155 b214)
(on b156 b912)
(on b157 b842)
(on b158 b569)
(on b159 b355)
(on b160 b994)
(on b161 b520)
(on b162 b732)
(on b163 b282)
(on b164 b22)
(on b165 b910)
(on b166 b138)
(on b167 b671)
(on b168 b451)
(on b169 b362)
(on b170 b56)
(on b171 b85)
(on b172 b322)
(on b173 b664)
(on b174 b35)
(on b175 b92)
(on b176 b90)
(on b177 b885)
(on b178 b955)
(on b179 b801)
(on b180 b513)
(on b181 b763)
(on b182 b575)
(on b183 b175)
(on b184 b3)
(on b185 b331)
(on b186 b46)
(on b187 b726)
(on b188 b913)
(on b189 b582)
(on b190 b901)
(on b191 b127)
(on b192 b295)
(on b193 b108)
(on b194 b21)
(on b195 b150)
(on b196 b261)
(on b197 b191)
(on b198 b607)
(on b199 b932)
(on b200 b876)
(on b201 b135)
(on b202 b486)
(on b203 b398)
(on b204 b458)
(on-table b205)
(on b206 b45)
(on-table b207)
(on b208 b160)
(on b209 b131)
(on b210 b524)
(on b211 b26)
(on b212 b872)
(on b213 b206)
(on b214 b276)
(on b215 b326)
(on b216 b920)
(on b217 b904)
(on b218 b299)
(on b219 b290)
(on b220 b522)
(on b221 b586)
(on b222 b831)
(on b223 b144)
(on b224 b891)
(on b225 b106)
(on b226 b360)
(on b227 b870)
(on b228 b688)
(on b229 b834)
(on b230 b464)
(on b231 b266)
(on b232 b650)
(on b233 b148)
(on b234 b748)
(on b235 b137)
(on b236 b675)
(on b237 b609)
(on b238 b219)
(on b239 b958)
(on b240 b641)
(on b241 b938)
(on b242 b227)
(on b243 b676)
(on b244 b492)
(on b245 b109)
(on b246 b587)
(on b247 b654)
(on b248 b987)
(on b249 b889)
(on b250 b787)
(on b251 b611)
(on b252 b914)
(on b253 b764)
(on b254 b985)
(on b255 b984)
(on b256 b519)
(on b257 b94)
(on b258 b653)
(on b259 b979)
(on b260 b462)
(on b261 b617)
(on b262 b954)
(on b263 b273)
(on b264 b371)
(on b265 b419)
(on b266 b457)
(on b267 b442)
(on b268 b200)
(on b269 b128)
(on b270 b139)
(on b271 b430)
(on b272 b67)
(on b273 b60)
(on b274 b446)
(on b275 b649)
(on b276 b779)
(on b277 b222)
(on b278 b685)
(on b279 b181)
(on b280 b488)
(on b281 b909)
(on b282 b755)
(on b283 b605)
(on b284 b965)
(on b285 b32)
(on b286 b536)
(on b287 b101)
(on-table b288)
(on b289 b211)
(on b290 b727)
(on b291 b334)
(on b292 b36)
(on b293 b959)
(on b294 b585)
(on b295 b717)
(on b296 b346)
(on b297 b537)
(on b298 b41)
(on b299 b780)
(on b300 b48)
(on b301 b432)
(on b302 b68)
(on b303 b239)
(on b304 b638)
(on b305 b937)
(on b306 b956)
(on b307 b663)
(on b308 b841)
(on b309 b369)
(on b310 b564)
(on b311 b603)
(on b312 b93)
(on b313 b258)
(on b314 b819)
(on b315 b930)
(on b316 b989)
(on b317 b683)
(on b318 b463)
(on b319 b241)
(on b320 b14)
(on b321 b969)
(on b322 b553)
(on b323 b905)
(on b324 b530)
(on b325 b236)
(on b326 b321)
(on b327 b692)
(on b328 b403)
(on b329 b485)
(on b330 b606)
(on b331 b623)
(on b332 b574)
(on b333 b658)
(on b334 b733)
(on b335 b696)
(on b336 b395)
(on b337 b195)
(on b338 b544)
(on b339 b943)
(on b340 b796)
(on b341 b878)
(on b342 b62)
(on b343 b942)
(on b344 b270)
(on b345 b816)
(on b346 b571)
(on b347 b428)
(on b348 b65)
(on b349 b542)
(on b350 b684)
(on b351 b476)
(on b352 b856)
(on b353 b760)
(on b354 b294)
(on b355 b923)
(on b356 b790)
(on b357 b529)
(on b358 b637)
(on b359 b316)
(on b360 b443)
(on b361 b363)
(on b362 b397)
(on b363 b813)
(on b364 b864)
(on b365 b467)
(on b366 b868)
(on b367 b482)
(on b368 b626)
(on-table b369)
(on b370 b890)
(on b371 b415)
(on b372 b786)
(on b373 b154)
(on b374 b378)
(on b375 b320)
(on b376 b315)
(on b377 b337)
(on-table b378)
(on b379 b391)
(on b380 b505)
(on b381 b226)
(on b382 b539)
(on b383 b433)
(on b384 b37)
(on b385 b372)
(on b386 b946)
(on b387 b197)
(on b388 b223)
(on b389 b840)
(on b390 b386)
(on b391 b366)
(on b392 b716)
(on b393 b481)
(on b394 b628)
(on b395 b588)
(on b396 b118)
(on-table b397)
(on b398 b814)
(on b399 b84)
(on b400 b660)
(on b401 b279)
(on b402 b124)
(on b403 b459)
(on b404 b409)
(on b405 b43)
(on b406 b568)
(on b407 b725)
(on b408 b552)
(on b409 b672)
(on b410 b31)
(on b411 b100)
(on b412 b330)
(on b413 b514)
(on b414 b852)
(on b415 b262)
(on b416 b343)
(on b417 b292)
(on b418 b95)
(on b419 b887)
(on b420 b645)
(on b421 b417)
(on b422 b922)
(on b423 b794)
(on b424 b240)
(on b425 b925)
(on b426 b196)
(on b427 b359)
(on b428 b117)
(on b429 b809)
(on b430 b89)
(on b431 b836)
(on b432 b444)
(on b433 b461)
(on b434 b784)
(on b435 b835)
(on b436 b561)
(on b437 b907)
(on b438 b306)
(on b439 b812)
(on b440 b370)
(on b441 b314)
(on b442 b773)
(on b443 b957)
(on b444 b596)
(on b445 b470)
(on b446 b374)
(on b447 b173)
(on b448 b903)
(on b449 b180)
(on b450 b477)
(on b451 b765)
(on b452 b573)
(on b453 b728)
(on b454 b39)
(on b455 b392)
(on b456 b743)
(on b457 b288)
(on b458 b44)
(on b459 b96)
(on b460 b916)
(on b461 b187)
(on b462 b547)
(on b463 b515)
(on b464 b244)
(on b465 b51)
(on b466 b791)
(on b467 b384)
(on b468 b123)
(on b469 b99)
(on b470 b151)
(on b471 b576)
(on b472 b167)
(on b473 b264)
(on b474 b439)
(on b475 b73)
(on b476 b556)
(on b477 b63)
(on b478 b86)
(on b479 b350)
(on b480 b231)
(on-table b481)
(on b482 b308)
(on b483 b863)
(on b484 b113)
(on b485 b591)
(on b486 b172)
(on b487 b767)
(on b488 b339)
(on b489 b377)
(on b490 b782)
(on b491 b300)
(on b492 b860)
(on b493 b820)
(on b494 b929)
(on b495 b662)
(on b496 b497)
(on b497 b110)
(on b498 b188)
(on b499 b919)
(on b500 b711)
(on-table b501)
(on b502 b618)
(on b503 b192)
(on b504 b501)
(on b505 b218)
(on b506 b460)
(on b507 b472)
(on b508 b390)
(on b509 b708)
(on b510 b972)
(on b511 b602)
(on b512 b312)
(on b513 b375)
(on b514 b951)
(on b515 b27)
(on b516 b804)
(on b517 b879)
(on b518 b69)
(on b519 b70)
(on b520 b242)
(on b521 b382)
(on-table b522)
(on b523 b983)
(on b524 b578)
(on b525 b333)
(on b526 b669)
(on b527 b452)
(on b528 b562)
(on b529 b906)
(on b530 b947)
(on b531 b38)
(on b532 b652)
(on b533 b29)
(on b534 b310)
(on b535 b565)
(on b536 b712)
(on b537 b356)
(on b538 b639)
(on b539 b155)
(on-table b540)
(on b541 b996)
(on b542 b379)
(on b543 b735)
(on b544 b427)
(on b545 b858)
(on b546 b936)
(on b547 b233)
(on b548 b643)
(on b549 b844)
(on b550 b354)
(on b551 b627)
(on b552 b713)
(on b553 b850)
(on b554 b24)
(on b555 b251)
(on b556 b686)
(on b557 b789)
(on b558 b667)
(on b559 b619)
(on b560 b615)
(on b561 b722)
(on b562 b357)
(on b563 b752)
(on b564 b327)
(on b565 b674)
(on b566 b348)
(on b567 b328)
(on b568 b899)
(on b569 b341)
(on b570 b66)
(on b571 b255)
(on b572 b453)
(on b573 b534)
(on b574 b250)
(on b575 b97)
(on b576 b715)
(on b577 b729)
(on b578 b521)
(on b579 b329)
(on b580 b973)
(on b581 b751)
(on b582 b400)
(on b583 b490)
(on b584 b759)
(on b585 b252)
(on b586 b25)
(on b587 b483)
(on b588 b771)
(on b589 b933)
(on b590 b145)
(on b591 b691)
(on-table b592)
(on b593 b742)
(on b594 b23)
(on b595 b634)
(on b596 b114)
(on b597 b601)
(on b598 b246)
(on b599 b30)
(on b600 b4)
(on b601 b540)
(on b602 b710)
(on b603 b977)
(on b604 b161)
(on b605 b839)
(on b606 b74)
(on b607 b278)
(on b608 b286)
(on b609 b249)
(on b610 b697)
(on b611 b777)
(on b612 b201)
(on b613 b423)
(on b614 b495)
(on b615 b880)
(on b616 b54)
(on b617 b815)
(on b618 b325)
(on b619 b993)
(on b620 b508)
(on b621 b583)
(on b622 b493)
(on b623 b389)
(on b624 b437)
(on-table b625)
(on b626 b34)
(on b627 b616)
(on b628 b988)
(on b629 b156)
(on b630 b204)
(on b631 b454)
(on b632 b822)
(on b633 b401)
(on b634 b500)
(on-table b635)
(on-table b636)
(on b637 b808)
(on b638 b259)
(on b639 b130)
(on b640 b997)
(on b641 b82)
(on b642 b644)
(on b643 b846)
(on b644 b750)
(on b645 b884)
(on b646 b284)
(on b647 b58)
(on b648 b800)
(on b649 b289)
(on b650 b738)
(on b651 b700)
(on b652 b468)
(on b653 b52)
(on b654 b351)
(on b655 b287)
(on b656 b256)
(on b657 b8)
(on b658 b309)
(on b659 b678)
(on b660 b105)
(on b661 b456)
(on b662 b632)
(on b663 b554)
(on b664 b20)
(on b665 b212)
(on b666 b795)
(on b667 b349)
(on b668 b577)
(on b669 b408)
(on b670 b853)
(on b671 b651)
(on b672 b859)
(on b673 b897)
(on b674 b275)
(on b675 b781)
(on b676 b193)
(on b677 b18)
(on b678 b194)
(on b679 b429)
(on b680 b491)
(on b681 b509)
(on b682 b543)
(on b683 b948)
(on b684 b323)
(on-table b685)
(on b686 b533)
(on b687 b313)
(on b688 b593)
(on-table b689)
(on b690 b283)
(on b691 b436)
(on b692 b184)
(on b693 b991)
(on b694 b741)
(on b695 b59)
(on b696 b939)
(on b697 b550)
(on b698 b766)
(on b699 b126)
(on b700 b376)
(on b701 b317)
(on-table b702)
(on b703 b125)
(on b704 b318)
(on b705 b604)
(on-table b706)
(on b707 b440)
(on b708 b821)
(on b709 b142)
(on b710 b976)
(on b711 b11)
(on b712 b681)
(on b713 b888)
(on-table b714)
(on b715 b79)
(on b716 b213)
(on b717 b504)
(on b718 b705)
(on b719 b862)
(on b720 b706)
(on b721 b950)
(on b722 b761)
(on b723 b640)
(on b724 b797)
(on b725 b595)
(on b726 b381)
(on b727 b40)
(on b728 b894)
(on b729 b475)
(on b730 b762)
(on b731 b115)
(on b732 b580)
(on b733 b198)
(on b734 b635)
(on b735 b347)
(on b736 b851)
(on b737 b579)
(on b738 b449)
(on b739 b489)
(on b740 b753)
(on b741 b207)
(on b742 b208)
(on b743 b614)
(on b744 b162)
(on b745 b496)
(on b746 b361)
(on b747 b737)
(on b748 b407)
(on b749 b169)
(on b750 b425)
(on b751 b531)
(on b752 b296)
(on b753 b589)
(on b754 b61)
(on b755 b217)
(on b756 b802)
(on b757 b719)
(on b758 b566)
(on b759 b599)
(on b760 b414)
(on b761 b87)
(on b762 b352)
(on b763 b811)
(on b764 b656)
(on b765 b975)
(on b766 b132)
(on b767 b297)
(on b768 b927)
(on-table b769)
(on b770 b843)
(on b771 b302)
(on b772 b754)
(on b773 b570)
(on-table b774)
(on b775 b883)
(on b776 b177)
(on b777 b394)
(on-table b778)
(on b779 b412)
(on b780 b749)
(on b781 b1000)
(on b782 b358)
(on b783 b76)
(on b784 b871)
(on b785 b646)
(on b786 b122)
(on b787 b966)
(on b788 b854)
(on b789 b441)
(on b790 b399)
(on b791 b203)
(on b792 b411)
(on b793 b153)
(on b794 b915)
(on b795 b992)
(on b796 b745)
(on b797 b838)
(on b798 b164)
(on b799 b911)
(on b800 b746)
(on b801 b917)
(on b802 b861)
(on b803 b111)
(on b804 b28)
(on b805 b610)
(on b806 b798)
(on b807 b769)
(on b808 b102)
(on b809 b405)
(on b810 b867)
(on b811 b274)
(on b812 b434)
(on b813 b829)
(on b814 b629)
(on b815 b971)
(on b816 b673)
(on b817 b818)
(on b818 b210)
(on b819 b157)
(on-table b820)
(on b821 b758)
(on b822 b630)
(on b823 b253)
(on b824 b80)
(on b825 b807)
(on b826 b426)
(on b827 b13)
(on b828 b698)
(on b829 b438)
(on b830 b424)
(on b831 b179)
(on b832 b174)
(on b833 b221)
(on b834 b978)
(on b835 b254)
(on b836 b559)
(on b837 b875)
(on b838 b55)
(on b839 b659)
(on b840 b792)
(on b841 b431)
(on b842 b402)
(on b843 b621)
(on b844 b465)
(on b845 b383)
(on b846 b353)
(on b847 b941)
(on b848 b506)
(on b849 b772)
(on b850 b970)
(on b851 b190)
(on b852 b703)
(on b853 b104)
(on b854 b898)
(on b855 b788)
(on b856 b694)
(on b857 b487)
(on b858 b71)
(on b859 b546)
(on b860 b498)
(on b861 b146)
(on b862 b9)
(on b863 b134)
(on b864 b636)
(on b865 b551)
(on-table b866)
(on b867 b557)
(on b868 b185)
(on b869 b225)
(on b870 b230)
(on b871 b707)
(on b872 b510)
(on b873 b680)
(on b874 b502)
(on-table b875)
(on b876 b848)
(on b877 b677)
(on b878 b881)
(on b879 b793)
(on b880 b265)
(on b881 b78)
(on b882 b770)
(on-table b883)
(on b884 b545)
(on b885 b158)
(on b886 b893)
(on b887 b865)
(on b888 b277)
(on b889 b257)
(on b890 b695)
(on b891 b896)
(on b892 b176)
(on b893 b805)
(on b894 b202)
(on b895 b775)
(on b896 b5)
(on b897 b776)
(on b898 b824)
(on b899 b555)
(on b900 b625)
(on b901 b999)
(on b902 b931)
(on b903 b473)
(on b904 b590)
(on b905 b701)
(on b906 b474)
(on b907 b563)
(on b908 b12)
(on b909 b205)
(on b910 b826)
(on b911 b847)
(on b912 b81)
(on b913 b679)
(on b914 b183)
(on b915 b121)
(on-table b916)
(on b917 b783)
(on b918 b714)
(on b919 b756)
(on b920 b447)
(on b921 b159)
(on b922 b597)
(on b923 b365)
(on b924 b484)
(on b925 b112)
(on b926 b702)
(on b927 b944)
(on b928 b303)
(on b929 b293)
(on b930 b523)
(on b931 b336)
(on b932 b995)
(on b933 b882)
(on b934 b704)
(on b935 b338)
(on b936 b657)
(on b937 b480)
(on b938 b448)
(on b939 b823)
(on b940 b548)
(on b941 b247)
(on b942 b271)
(on b943 b682)
(on b944 b827)
(on b945 b75)
(on b946 b2)
(on b947 b935)
(on b948 b687)
(on b949 b368)
(on b950 b980)
(on b951 b934)
(on b952 b665)
(on b953 b723)
(on b954 b873)
(on b955 b962)
(on b956 b98)
(on b957 b307)
(on b958 b982)
(on b959 b57)
(on b960 b396)
(on b961 b418)
(on b962 b648)
(on b963 b631)
(on b964 b855)
(on b965 b263)
(on b966 b319)
(on b967 b335)
(on b968 b171)
(on b969 b622)
(on b970 b974)
(on b971 b311)
(on b972 b166)
(on b973 b740)
(on-table b974)
(on b975 b918)
(on b976 b655)
(on b977 b647)
(on b978 b388)
(on b979 b768)
(on b980 b757)
(on b981 b494)
(on b982 b49)
(on b983 b572)
(on b984 b503)
(on b985 b342)
(on b986 b17)
(on b987 b806)
(on b988 b220)
(on b989 b103)
(on b990 b799)
(on b991 b471)
(on b992 b945)
(on b993 b512)
(on b994 b832)
(on b995 b406)
(on b996 b235)
(on b997 b47)
(on b998 b720)
(on b999 b269)
(on b1000 b216)
(clear b50)
(clear b77)
(clear b91)
(clear b116)
(clear b165)
(clear b245)
(clear b267)
(clear b301)
(clear b340)
(clear b387)
(clear b404)
(clear b410)
(clear b421)
(clear b445)
(clear b478)
(clear b525)
(clear b535)
(clear b594)
(clear b600)
(clear b613)
(clear b642)
(clear b661)
(clear b670)
(clear b699)
(clear b830)
(clear b866)
(clear b902)
(clear b940)
(clear b968)
(clear b998))
)
)