API tools faq
paste
Advertisement
Guest User

example

a guest
Nov 28th, 2015
67
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 16.61 KB | None | 0 0
raw download clone embed print report
  1. set_threads 0
  2. set_accuracy 0.390000
  3. set_range OOP 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0.5 0 0 0 0 0 0 0 0 0.5 0 0 1 0 0 0 0 0 0 0.5 0 1 1 0 0 0 0 0 0 0 0.5 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 1 0 0 0 1 0 0 0 1 0.5 0.5 0.5 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 1 0 0 0 1 0 0 0.5 1 0.5 0.5 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 1 0 0 0 1 0 0.5 0.5 1 0.5 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 1 0 0 0 1 0.5 0.5 0.5 1 1 1 1 1 1 1 1 0 0 0 0 0.2 0 0 0 0.5 0 0 0 0.5 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0.2 0 0 0 0.5 0 0 0 0.5 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0.2 0 0 0 0.5 0 0 0 0.5 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0.2 0 0 0 0.5 0 0 0 0.5 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0.5 0.5 0.5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0.5 1 0.5 0.5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0.5 0.5 1 0.5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0.5 0.5 0.5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
  4. set_range IP 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0.2 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 1 0 0 0 0 0 0 0 0 0 0 0.2 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0.2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.5 0 0 0.6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.5 0 0.6 0.6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.5 0.6 0.6 0.6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.5 0 0 0.6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.5 0 0.6 0.6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.5 0.6 0.6 0.6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.3 0 0 0 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.3 0 0 0 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.3 0 0 0 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.3 0 0 0 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.3 0 0 0 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.3 0 0 0 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.3 0 0 0 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.3 0 0 0 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.3 0 0 0 1 0 0 0 0.8 0.75 0.75 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.3 0 0 0 1 0 0 0.75 0.8 0.75 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.3 0 0 0 1 0 0.75 0.75 0.8 0.75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.3 0 0 0 1 0.75 0.75 0.75 0.8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.8 0 0 0 0.8 1 1 1 0 0.5 0.5 0.5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.8 0 0 1 0.8 1 1 0.5 0 0.5 0.5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.8 0 1 1 0.8 1 0.5 0.5 0 0.5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.8 1 1 1 0.8 0.5 0.5 0.5 0 0 0 0 0.2 0 0 0 0.2 0 0 0 0.2 0 0 0 0.2 0 0 0 0.6 0 0 0 0.6 0 0 0 0.6 0 0 0 0.55 0 0 0 0.55 1 1 1 0.5 1 1 1 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.2 0 0 0 0.2 0 0 0 0.2 0 0 0 0.6 0 0 0 0.6 0 0 0 0.6 0 0 0 0.55 0 0 1 0.55 1 1 1 0.5 1 1 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.2 0 0 0 0.2 0 0 0 0.2 0 0 0 0.6 0 0 0 0.6 0 0 0 0.6 0 0 0 0.55 0 1 1 0.55 1 1 1 0.5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0.2 0 0 0 0.2 0 0 0 0.2 0 0 0 0.6 0 0 0 0.6 0 0 0 0.6 0 0 0 0.55 1 1 1 0.55 1 1 1 0.5 0 0 0 0 0 0 0 0 0 0 0
  5. set_board 8s 2s 3c
  6. set_pot 0 0 130
  7. clear_lines
  8. add_line 0 0 0 0 0 98 268 614 1900
  9. add_line 0 0 0 0 98 268 614 1900
  10. add_line 0 0 0 91 91 91 325 731 1900
  11. add_line 0 0 0 91 91 325 731 1900
  12. add_line 0 0 0 91 253 253 253 730 1900
  13. add_line 0 0 0 91 253 253 730 1900
  14. add_line 0 0 0 91 253 584 584 584 1900
  15. add_line 0 0 0 91 253 584 584 1900
  16. add_line 0 0 0 91 253 584 1259 1259 1259 1900
  17. add_line 0 0 0 91 253 584 1259 1259 1900
  18. add_line 0 0 0 91 253 584 1259 1900
  19. add_line 0 0 91 91 91 325 731 1900
  20. add_line 0 0 91 91 325 731 1900
  21. add_line 0 0 91 253 253 253 730 1900
  22. add_line 0 0 91 253 253 730 1900
  23. add_line 0 0 91 253 584 584 584 1900
  24. add_line 0 0 91 253 584 584 1900
  25. add_line 0 0 91 253 584 1259 1259 1259 1900
  26. add_line 0 0 91 253 584 1259 1259 1900
  27. add_line 0 0 91 253 584 1259 1900
  28. add_line 0 84 84 84 84 84 308 696 1900
  29. add_line 0 84 84 84 84 308 696 1900
  30. add_line 0 84 84 84 293 293 293 830 1900
  31. add_line 0 84 84 84 293 293 830 1900
  32. add_line 0 84 84 84 293 665 665 665 1900
  33. add_line 0 84 84 84 293 665 665 1900
  34. add_line 0 84 84 84 293 665 1900
  35. add_line 0 84 84 293 293 293 830 1900
  36. add_line 0 84 84 293 293 830 1900
  37. add_line 0 84 84 293 665 665 665 1900
  38. add_line 0 84 84 293 665 665 1900
  39. add_line 0 84 84 293 665 1900
  40. add_line 0 84 239 239 239 239 239 695 1900
  41. add_line 0 84 239 239 239 239 695 1900
  42. add_line 0 84 239 239 239 665 665 665 1900
  43. add_line 0 84 239 239 239 665 665 1900
  44. add_line 0 84 239 239 239 665 1900
  45. add_line 0 84 239 239 665 665 665 1900
  46. add_line 0 84 239 239 665 665 1900
  47. add_line 0 84 239 239 665 1900
  48. add_line 0 84 239 555 555 555 555 555 1900
  49. add_line 0 84 239 555 555 555 555 1900
  50. add_line 0 84 239 555 555 555 1900
  51. add_line 0 84 239 555 555 1900
  52. add_line 0 84 239 555 1200 1200 1200 1200 1200 1900
  53. add_line 0 84 239 555 1200 1200 1200 1200 1900
  54. add_line 0 84 239 555 1200 1200 1200 1900
  55. add_line 0 84 239 555 1200 1200 1900
  56. add_line 0 84 239 555 1200 1900
  57. add_line 84 84 84 84 84 308 696 1900
  58. add_line 84 84 84 84 308 696 1900
  59. add_line 84 84 84 293 293 293 830 1900
  60. add_line 84 84 84 293 293 830 1900
  61. add_line 84 84 84 293 665 665 665 1900
  62. add_line 84 84 84 293 665 665 1900
  63. add_line 84 84 84 293 665 1900
  64. add_line 84 84 293 293 293 830 1900
  65. add_line 84 84 293 293 830 1900
  66. add_line 84 84 293 665 665 665 1900
  67. add_line 84 84 293 665 665 1900
  68. add_line 84 84 293 665 1900
  69. add_line 84 239 239 239 239 239 695 1900
  70. add_line 84 239 239 239 239 695 1900
  71. add_line 84 239 239 239 665 665 665 1900
  72. add_line 84 239 239 239 665 665 1900
  73. add_line 84 239 239 239 665 1900
  74. add_line 84 239 239 665 665 665 1900
  75. add_line 84 239 239 665 665 1900
  76. add_line 84 239 239 665 1900
  77. add_line 84 239 555 555 555 555 555 1900
  78. add_line 84 239 555 555 555 555 1900
  79. add_line 84 239 555 555 555 1900
  80. add_line 84 239 555 555 1900
  81. add_line 84 239 555 1200 1200 1200 1200 1200 1900
  82. add_line 84 239 555 1200 1200 1200 1200 1900
  83. add_line 84 239 555 1200 1200 1200 1900
  84. add_line 84 239 555 1200 1200 1900
  85. add_line 84 239 555 1200 1900
  86. build_tree
  87. ignore_mem_check on
  88. go 1800 seconds
  89. wait_for_solver
  90. dump_tree saves/1.cfr
  91. LABEL: next
  92. repeat 1 1 out of 2 done
  93. solver_time
  94. take_a_break 180
  95.  
  96. set_threads 0
  97. set_accuracy 1.140000
  98. set_range OOP 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.2 0 0 0 0 0 0 0 0 0.2 0.2 0 0 0 0 0 0 0 0 0.2 0.2 0.2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.55 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.55 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.55 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.55 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.55 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.55 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.55 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.55 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 0 0 1 0.55 0.55 0.55 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 0 0.55 1 0.55 0.55 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0 0.55 0.55 1 0.55 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 1 0.55 0.55 0.55 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 0.5 0 0 0 1 0.55 0.55 0.55 1 0.55 0.55 0.55 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 0.5 0 0 0.55 1 0.55 0.55 0.55 1 0.55 0.55 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 0.5 0 0.55 0.55 1 0.55 0.55 0.55 1 0.55 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.5 0 0 0 0.5 0.55 0.55 0.55 1 0.55 0.55 0.55 1 1 1 1 1 1 1 1 0.2 0 0 0 0.2 0 0 0 0.2 0 0 0 0.5 0 0 0 0.5 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0.2 0 0 0 0.2 0 0 0 0.2 0 0 0 0.5 0 0 0 0.5 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0.2 0 0 0 0.2 0 0 0 0.2 0 0 0 0.5 0 0 0 0.5 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0.2 0 0 0 0.2 0 0 0 0.2 0 0 0 0.5 0 0 0 0.5 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
  99. set_range IP 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0.75 0 0 0 0.75 0 0 0 0.75 0 0 0 0.75 0 0 0 0.75 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0.75 0 0 0 0.75 0 0 0 0.75 0 0 0 0.75 0 0 0 0.75 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0.75 0 0 0 0.75 0 0 0 0.75 0 0 0 0.75 0 0 0 0.75 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0.75 0 0 0 0.75 0 0 0 0.75 0 0 0 0.75 0 0 0 0.75 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0
  100. set_board Kh Ts 2s
  101. set_pot 0 0 380
  102. clear_lines
  103. add_line 0 0 0 0 0 247 640 2000
  104. add_line 0 0 0 0 0 247 2000
  105. add_line 0 0 0 0 247 640 2000
  106. add_line 0 0 0 0 247 2000
  107. add_line 0 0 0 209 209 209 728 2000
  108. add_line 0 0 0 209 209 209 2000
  109. add_line 0 0 0 209 209 728 2000
  110. add_line 0 0 0 209 209 2000
  111. add_line 0 0 0 209 568 568 568 2000
  112. add_line 0 0 0 209 568 568 2000
  113. add_line 0 0 0 209 568 1250 1250 1250 2000
  114. add_line 0 0 0 209 568 1250 1250 2000
  115. add_line 0 0 0 209 568 1250 2000
  116. add_line 0 0 209 209 209 728 2000
  117. add_line 0 0 209 209 209 2000
  118. add_line 0 0 209 209 728 2000
  119. add_line 0 0 209 209 2000
  120. add_line 0 0 209 568 568 568 2000
  121. add_line 0 0 209 568 568 2000
  122. add_line 0 0 209 568 1250 1250 1250 2000
  123. add_line 0 0 209 568 1250 1250 2000
  124. add_line 0 0 209 568 1250 2000
  125. add_line 0 198 198 198 198 198 702 2000
  126. add_line 0 198 198 198 198 198 2000
  127. add_line 0 198 198 198 198 702 2000
  128. add_line 0 198 198 198 198 2000
  129. add_line 0 198 198 198 625 625 625 2000
  130. add_line 0 198 198 198 625 625 2000
  131. add_line 0 198 198 198 625 2000
  132. add_line 0 198 198 625 625 625 2000
  133. add_line 0 198 198 625 625 2000
  134. add_line 0 198 198 625 2000
  135. add_line 0 198 547 547 547 547 547 2000
  136. add_line 0 198 547 547 547 547 2000
  137. add_line 0 198 547 547 547 2000
  138. add_line 0 198 547 547 2000
  139. add_line 0 198 547 1210 1210 1210 1210 1210 2000
  140. add_line 0 198 547 1210 1210 1210 1210 2000
  141. add_line 0 198 547 1210 1210 1210 2000
  142. add_line 0 198 547 1210 1210 2000
  143. add_line 0 198 547 1210 2000
  144. add_line 198 198 198 198 198 702 2000
  145. add_line 198 198 198 198 198 2000
  146. add_line 198 198 198 198 702 2000
  147. add_line 198 198 198 198 2000
  148. add_line 198 198 198 625 625 625 2000
  149. add_line 198 198 198 625 625 2000
  150. add_line 198 198 198 625 2000
  151. add_line 198 198 625 625 625 2000
  152. add_line 198 198 625 625 2000
  153. add_line 198 198 625 2000
  154. add_line 198 547 547 547 547 547 2000
  155. add_line 198 547 547 547 547 2000
  156. add_line 198 547 547 547 2000
  157. add_line 198 547 547 2000
  158. add_line 198 547 1210 1210 1210 1210 1210 2000
  159. add_line 198 547 1210 1210 1210 1210 2000
  160. add_line 198 547 1210 1210 1210 2000
  161. add_line 198 547 1210 1210 2000
  162. add_line 198 547 1210 2000
  163. build_tree
  164. ignore_mem_check on
  165. go 1800 seconds
  166. wait_for_solver
  167. dump_tree saves/2.cfr
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!