gecoder-with-gecode 0.7.1 → 0.8.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (1063) hide show
  1. data/CHANGES +7 -0
  2. data/README +10 -1
  3. data/ext/extconf.rb +24 -7
  4. data/ext/gecode-2.1.1/LICENSE +25 -0
  5. data/ext/gecode-2.1.1/Makefile.contribs +86 -0
  6. data/ext/gecode-2.1.1/Makefile.dep +7622 -0
  7. data/ext/gecode-2.1.1/Makefile.in +1568 -0
  8. data/ext/gecode-2.1.1/changelog.in +2459 -0
  9. data/ext/gecode-2.1.1/configure +11631 -0
  10. data/ext/gecode-2.1.1/configure.ac +249 -0
  11. data/ext/gecode-2.1.1/configure.ac.in +245 -0
  12. data/ext/{gecode-1.3.1 → gecode-2.1.1}/contribs/README +0 -0
  13. data/ext/gecode-2.1.1/contribs/qecode/Doxyfile +263 -0
  14. data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.cc +82 -0
  15. data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.hh +37 -0
  16. data/ext/gecode-2.1.1/contribs/qecode/Makefile.in.in +162 -0
  17. data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.cc +172 -0
  18. data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.hh +63 -0
  19. data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.cc +37 -0
  20. data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.hh +35 -0
  21. data/ext/gecode-2.1.1/contribs/qecode/configure +2264 -0
  22. data/ext/gecode-2.1.1/contribs/qecode/configure.ac +23 -0
  23. data/ext/gecode-2.1.1/contribs/qecode/examples/COMPILING +13 -0
  24. data/ext/gecode-2.1.1/contribs/qecode/examples/MatrixGame.cpp +144 -0
  25. data/ext/gecode-2.1.1/contribs/qecode/examples/NimFibo.cpp +73 -0
  26. data/ext/gecode-2.1.1/contribs/qecode/examples/stress_test.cpp +179 -0
  27. data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.cc +34 -0
  28. data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.hh +46 -0
  29. data/ext/gecode-2.1.1/contribs/qecode/heap.cc +151 -0
  30. data/ext/gecode-2.1.1/contribs/qecode/implicative.cc +595 -0
  31. data/ext/gecode-2.1.1/contribs/qecode/implicative.hh +184 -0
  32. data/ext/gecode-2.1.1/contribs/qecode/myDom.cc +39 -0
  33. data/ext/gecode-2.1.1/contribs/qecode/myspace.cc +69 -0
  34. data/ext/gecode-2.1.1/contribs/qecode/myspace.hh +69 -0
  35. data/ext/gecode-2.1.1/contribs/qecode/qecode.hh +56 -0
  36. data/ext/gecode-2.1.1/contribs/qecode/qecore.cc +145 -0
  37. data/ext/gecode-2.1.1/contribs/qecode/qecore.hh +247 -0
  38. data/ext/gecode-2.1.1/contribs/qecode/qsolver.cc +168 -0
  39. data/ext/gecode-2.1.1/contribs/qecode/qsolver.hh +73 -0
  40. data/ext/gecode-2.1.1/contribs/qecode/shortdesc.ac +1 -0
  41. data/ext/gecode-2.1.1/contribs/qecode/valueHeuristic.hh +91 -0
  42. data/ext/gecode-2.1.1/contribs/qecode/vartype.hh +31 -0
  43. data/ext/gecode-2.1.1/contribs/qecode/warner.cc +101 -0
  44. data/ext/gecode-2.1.1/contribs/qecode/warner.hh +83 -0
  45. data/ext/gecode-2.1.1/doxygen/doxygen.conf.in +1270 -0
  46. data/ext/gecode-2.1.1/doxygen/doxygen.hh.in +1111 -0
  47. data/ext/gecode-2.1.1/doxygen/reflection.hh +417 -0
  48. data/ext/gecode-2.1.1/gecode.m4 +956 -0
  49. data/ext/gecode-2.1.1/gecode/cpltset.hh +797 -0
  50. data/ext/gecode-2.1.1/gecode/cpltset/array.cc +121 -0
  51. data/ext/gecode-2.1.1/gecode/cpltset/array.icc +81 -0
  52. data/ext/gecode-2.1.1/gecode/cpltset/bddmanager.cc +59 -0
  53. data/ext/gecode-2.1.1/gecode/cpltset/bddmanager.icc +448 -0
  54. data/ext/gecode-2.1.1/gecode/cpltset/branch.cc +68 -0
  55. data/ext/gecode-2.1.1/gecode/cpltset/branch.hh +208 -0
  56. data/ext/gecode-2.1.1/gecode/cpltset/branch/select-val.icc +167 -0
  57. data/ext/gecode-2.1.1/gecode/cpltset/branch/select-view.icc +143 -0
  58. data/ext/gecode-2.1.1/gecode/cpltset/constraints/atmost.cc +472 -0
  59. data/ext/gecode-2.1.1/gecode/cpltset/constraints/cardinality.cc +69 -0
  60. data/ext/gecode-2.1.1/gecode/cpltset/constraints/distinct.cc +83 -0
  61. data/ext/gecode-2.1.1/gecode/cpltset/constraints/dom.cc +147 -0
  62. data/ext/gecode-2.1.1/gecode/cpltset/constraints/partition.cc +383 -0
  63. data/ext/gecode-2.1.1/gecode/cpltset/constraints/rangeroots.cc +466 -0
  64. data/ext/gecode-2.1.1/gecode/cpltset/constraints/rel.cc +530 -0
  65. data/ext/gecode-2.1.1/gecode/cpltset/constraints/select.cc +126 -0
  66. data/ext/gecode-2.1.1/gecode/cpltset/constraints/singleton.cc +55 -0
  67. data/ext/gecode-2.1.1/gecode/cpltset/exception.icc +172 -0
  68. data/ext/gecode-2.1.1/gecode/cpltset/propagators.hh +335 -0
  69. data/ext/gecode-2.1.1/gecode/cpltset/propagators/binary.icc +260 -0
  70. data/ext/gecode-2.1.1/gecode/cpltset/propagators/nary.icc +210 -0
  71. data/ext/gecode-2.1.1/gecode/cpltset/propagators/naryone.icc +165 -0
  72. data/ext/gecode-2.1.1/gecode/cpltset/propagators/narytwo.icc +191 -0
  73. data/ext/gecode-2.1.1/gecode/cpltset/propagators/singleton.icc +130 -0
  74. data/ext/gecode-2.1.1/gecode/cpltset/propagators/unary.icc +132 -0
  75. data/ext/gecode-2.1.1/gecode/cpltset/support.cc +673 -0
  76. data/ext/gecode-2.1.1/gecode/cpltset/support.icc +696 -0
  77. data/ext/gecode-2.1.1/gecode/cpltset/var-imp.icc +487 -0
  78. data/ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.cc +926 -0
  79. data/ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.icc +687 -0
  80. data/ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.vis +86 -0
  81. data/ext/gecode-2.1.1/gecode/cpltset/var/cpltset.cc +101 -0
  82. data/ext/gecode-2.1.1/gecode/cpltset/var/cpltset.icc +219 -0
  83. data/ext/gecode-2.1.1/gecode/cpltset/view.icc +231 -0
  84. data/ext/gecode-2.1.1/gecode/cpltset/view/cpltset.icc +420 -0
  85. data/ext/gecode-2.1.1/gecode/cpltset/view/print.cc +166 -0
  86. data/ext/gecode-2.1.1/gecode/gist.hh +162 -0
  87. data/ext/gecode-2.1.1/gecode/gist/addchild.cc +191 -0
  88. data/ext/gecode-2.1.1/gecode/gist/addchild.hh +76 -0
  89. data/ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.cc +139 -0
  90. data/ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.hh +78 -0
  91. data/ext/gecode-2.1.1/gecode/gist/analysiscursor.cc +115 -0
  92. data/ext/gecode-2.1.1/gecode/gist/analysiscursor.hh +77 -0
  93. data/ext/gecode-2.1.1/gecode/gist/better.hh +59 -0
  94. data/ext/gecode-2.1.1/gecode/gist/config.cc +61 -0
  95. data/ext/gecode-2.1.1/gecode/gist/config.hh +62 -0
  96. data/ext/gecode-2.1.1/gecode/gist/drawingcursor.cc +245 -0
  97. data/ext/gecode-2.1.1/gecode/gist/drawingcursor.hh +101 -0
  98. data/ext/gecode-2.1.1/gecode/gist/gecodelogo.icc +522 -0
  99. data/ext/gecode-2.1.1/gecode/gist/gist.cc +129 -0
  100. data/ext/gecode-2.1.1/gecode/gist/gist.icc +76 -0
  101. data/ext/gecode-2.1.1/gecode/gist/mainwindow.cc +254 -0
  102. data/ext/gecode-2.1.1/gecode/gist/mainwindow.hh +86 -0
  103. data/ext/gecode-2.1.1/gecode/gist/node.cc +100 -0
  104. data/ext/gecode-2.1.1/gecode/gist/node.hh +89 -0
  105. data/ext/gecode-2.1.1/gecode/gist/nodecursor.cc +124 -0
  106. data/ext/gecode-2.1.1/gecode/gist/nodecursor.hh +122 -0
  107. data/ext/gecode-2.1.1/gecode/gist/nodecursor.icc +79 -0
  108. data/ext/gecode-2.1.1/gecode/gist/nodevisitor.hh +91 -0
  109. data/ext/gecode-2.1.1/gecode/gist/nodevisitor.icc +112 -0
  110. data/ext/gecode-2.1.1/gecode/gist/postscript.cc +543 -0
  111. data/ext/gecode-2.1.1/gecode/gist/postscript.hh +56 -0
  112. data/ext/gecode-2.1.1/gecode/gist/preferences.cc +110 -0
  113. data/ext/gecode-2.1.1/gecode/gist/preferences.hh +76 -0
  114. data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.cc +55 -0
  115. data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.hh +58 -0
  116. data/ext/gecode-2.1.1/gecode/gist/shapelist.cc +331 -0
  117. data/ext/gecode-2.1.1/gecode/gist/shapelist.hh +140 -0
  118. data/ext/gecode-2.1.1/gecode/gist/spacenode.cc +531 -0
  119. data/ext/gecode-2.1.1/gecode/gist/spacenode.hh +224 -0
  120. data/ext/gecode-2.1.1/gecode/gist/test.cc +78 -0
  121. data/ext/gecode-2.1.1/gecode/gist/textoutput.cc +114 -0
  122. data/ext/gecode-2.1.1/gecode/gist/textoutput.hh +67 -0
  123. data/ext/gecode-2.1.1/gecode/gist/treecanvas.cc +1140 -0
  124. data/ext/gecode-2.1.1/gecode/gist/treecanvas.hh +324 -0
  125. data/ext/gecode-2.1.1/gecode/gist/ui_addchild.hh +163 -0
  126. data/ext/gecode-2.1.1/gecode/gist/ui_addvisualisationdialog.hh +163 -0
  127. data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.cc +175 -0
  128. data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.hh +71 -0
  129. data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.cc +219 -0
  130. data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.hh +73 -0
  131. data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayitem.hh +123 -0
  132. data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.cc +146 -0
  133. data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.hh +96 -0
  134. data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayviewt.hh +105 -0
  135. data/ext/gecode-2.1.1/gecode/gist/visualisation/varitem.cc +68 -0
  136. data/ext/gecode-2.1.1/gecode/gist/visualisation/varitem.hh +67 -0
  137. data/ext/gecode-2.1.1/gecode/gist/visualnode.cc +303 -0
  138. data/ext/gecode-2.1.1/gecode/gist/visualnode.hh +166 -0
  139. data/ext/gecode-2.1.1/gecode/int.hh +2035 -0
  140. data/ext/gecode-2.1.1/gecode/int/arithmetic.cc +136 -0
  141. data/ext/gecode-2.1.1/gecode/int/arithmetic.hh +440 -0
  142. data/ext/gecode-2.1.1/gecode/int/arithmetic/abs.icc +279 -0
  143. data/ext/gecode-2.1.1/gecode/int/arithmetic/max.icc +253 -0
  144. data/ext/gecode-2.1.1/gecode/int/arithmetic/mult.icc +522 -0
  145. data/ext/gecode-2.1.1/gecode/int/arithmetic/sqr.icc +218 -0
  146. data/ext/gecode-2.1.1/gecode/int/arithmetic/sqrt.icc +138 -0
  147. data/ext/gecode-2.1.1/gecode/int/array.cc +74 -0
  148. data/ext/gecode-2.1.1/gecode/int/array.icc +115 -0
  149. data/ext/gecode-2.1.1/gecode/int/bool.cc +642 -0
  150. data/ext/gecode-2.1.1/gecode/int/bool.hh +487 -0
  151. data/ext/gecode-2.1.1/gecode/int/bool/base.icc +156 -0
  152. data/ext/gecode-2.1.1/gecode/int/bool/eq.icc +239 -0
  153. data/ext/gecode-2.1.1/gecode/int/bool/eqv.icc +179 -0
  154. data/ext/gecode-2.1.1/gecode/int/bool/lq.icc +147 -0
  155. data/ext/gecode-2.1.1/gecode/int/bool/or.icc +1000 -0
  156. data/ext/gecode-2.1.1/gecode/int/branch.cc +301 -0
  157. data/ext/gecode-2.1.1/gecode/int/branch.hh +576 -0
  158. data/ext/gecode-2.1.1/gecode/int/branch/select-val.icc +338 -0
  159. data/ext/gecode-2.1.1/gecode/int/branch/select-view.icc +421 -0
  160. data/ext/gecode-2.1.1/gecode/int/channel.cc +114 -0
  161. data/ext/gecode-2.1.1/gecode/int/channel.hh +259 -0
  162. data/ext/gecode-2.1.1/gecode/int/channel/base.icc +86 -0
  163. data/ext/gecode-2.1.1/gecode/int/channel/dom.icc +347 -0
  164. data/ext/gecode-2.1.1/gecode/int/channel/link-multi.cc +231 -0
  165. data/ext/gecode-2.1.1/gecode/int/channel/link-multi.icc +70 -0
  166. data/ext/gecode-2.1.1/gecode/int/channel/link-single.cc +97 -0
  167. data/ext/gecode-2.1.1/gecode/int/channel/link-single.icc +71 -0
  168. data/ext/gecode-2.1.1/gecode/int/channel/val.icc +276 -0
  169. data/ext/gecode-2.1.1/gecode/int/circuit.cc +63 -0
  170. data/ext/gecode-2.1.1/gecode/int/circuit.hh +175 -0
  171. data/ext/gecode-2.1.1/gecode/int/circuit/base.icc +271 -0
  172. data/ext/gecode-2.1.1/gecode/int/circuit/dom.icc +146 -0
  173. data/ext/gecode-2.1.1/gecode/int/circuit/val.icc +122 -0
  174. data/ext/gecode-2.1.1/gecode/int/count.cc +310 -0
  175. data/ext/gecode-2.1.1/gecode/int/count.hh +487 -0
  176. data/ext/gecode-2.1.1/gecode/int/count/int.icc +619 -0
  177. data/ext/gecode-2.1.1/gecode/int/count/rel.icc +144 -0
  178. data/ext/gecode-2.1.1/gecode/int/count/view.icc +449 -0
  179. data/ext/gecode-2.1.1/gecode/int/cumulatives.cc +226 -0
  180. data/ext/gecode-2.1.1/gecode/int/cumulatives.hh +141 -0
  181. data/ext/gecode-2.1.1/gecode/int/cumulatives/val.icc +429 -0
  182. data/ext/gecode-2.1.1/gecode/int/distinct.cc +108 -0
  183. data/ext/gecode-2.1.1/gecode/int/distinct.hh +341 -0
  184. data/ext/gecode-2.1.1/gecode/int/distinct/bilink.icc +89 -0
  185. data/ext/gecode-2.1.1/gecode/int/distinct/bnd.icc +378 -0
  186. data/ext/gecode-2.1.1/gecode/int/distinct/combptr.icc +78 -0
  187. data/ext/gecode-2.1.1/gecode/int/distinct/dom.icc +750 -0
  188. data/ext/gecode-2.1.1/gecode/int/distinct/edge.icc +118 -0
  189. data/ext/gecode-2.1.1/gecode/int/distinct/node.icc +147 -0
  190. data/ext/gecode-2.1.1/gecode/int/distinct/ter-dom.icc +136 -0
  191. data/ext/gecode-2.1.1/gecode/int/distinct/val.icc +209 -0
  192. data/ext/gecode-2.1.1/gecode/int/dom.cc +116 -0
  193. data/ext/gecode-2.1.1/gecode/int/dom.hh +134 -0
  194. data/ext/gecode-2.1.1/gecode/int/dom/range.icc +129 -0
  195. data/ext/gecode-2.1.1/gecode/int/dom/spec.icc +151 -0
  196. data/ext/gecode-2.1.1/gecode/int/element.cc +156 -0
  197. data/ext/gecode-2.1.1/gecode/int/element.hh +239 -0
  198. data/ext/gecode-2.1.1/gecode/int/element/int.icc +441 -0
  199. data/ext/gecode-2.1.1/gecode/int/element/view.icc +584 -0
  200. data/ext/gecode-2.1.1/gecode/int/exception.icc +163 -0
  201. data/ext/gecode-2.1.1/gecode/int/extensional.cc +138 -0
  202. data/ext/gecode-2.1.1/gecode/int/extensional.hh +415 -0
  203. data/ext/gecode-2.1.1/gecode/int/extensional/base.icc +160 -0
  204. data/ext/gecode-2.1.1/gecode/int/extensional/basic.icc +166 -0
  205. data/ext/gecode-2.1.1/gecode/int/extensional/bitset.icc +113 -0
  206. data/ext/gecode-2.1.1/gecode/int/extensional/dfa.cc +565 -0
  207. data/ext/gecode-2.1.1/gecode/int/extensional/dfa.icc +241 -0
  208. data/ext/gecode-2.1.1/gecode/int/extensional/incremental.icc +393 -0
  209. data/ext/gecode-2.1.1/gecode/int/extensional/layered-graph.icc +604 -0
  210. data/ext/gecode-2.1.1/gecode/int/extensional/tuple-set.cc +311 -0
  211. data/ext/gecode-2.1.1/gecode/int/extensional/tuple-set.icc +207 -0
  212. data/ext/gecode-2.1.1/gecode/int/gcc.cc +374 -0
  213. data/ext/gecode-2.1.1/gecode/int/gcc.hh +329 -0
  214. data/ext/gecode-2.1.1/gecode/int/gcc/bnd.icc +660 -0
  215. data/ext/gecode-2.1.1/gecode/int/gcc/dom.icc +531 -0
  216. data/ext/gecode-2.1.1/gecode/int/gcc/gccbndsup.icc +780 -0
  217. data/ext/gecode-2.1.1/gecode/int/gcc/graphsup.icc +2422 -0
  218. data/ext/gecode-2.1.1/gecode/int/gcc/lbc.icc +391 -0
  219. data/ext/gecode-2.1.1/gecode/int/gcc/occur.icc +829 -0
  220. data/ext/gecode-2.1.1/gecode/int/gcc/ubc.icc +255 -0
  221. data/ext/gecode-2.1.1/gecode/int/gcc/val.icc +400 -0
  222. data/ext/gecode-2.1.1/gecode/int/int-set.cc +153 -0
  223. data/ext/gecode-2.1.1/gecode/int/int-set.icc +191 -0
  224. data/ext/gecode-2.1.1/gecode/int/limits.icc +54 -0
  225. data/ext/gecode-2.1.1/gecode/int/linear-bool.cc +220 -0
  226. data/ext/gecode-2.1.1/gecode/int/linear-int.cc +240 -0
  227. data/ext/gecode-2.1.1/gecode/int/linear.hh +1849 -0
  228. data/ext/gecode-2.1.1/gecode/int/linear/bool-int.icc +791 -0
  229. data/ext/gecode-2.1.1/gecode/int/linear/bool-post.cc +433 -0
  230. data/ext/gecode-2.1.1/gecode/int/linear/bool-scale.icc +854 -0
  231. data/ext/gecode-2.1.1/gecode/int/linear/bool-view.icc +399 -0
  232. data/ext/gecode-2.1.1/gecode/int/linear/int-bin.icc +605 -0
  233. data/ext/gecode-2.1.1/gecode/int/linear/int-dom.icc +539 -0
  234. data/ext/gecode-2.1.1/gecode/int/linear/int-nary.icc +1004 -0
  235. data/ext/gecode-2.1.1/gecode/int/linear/int-noview.icc +385 -0
  236. data/ext/gecode-2.1.1/gecode/int/linear/int-post.cc +493 -0
  237. data/ext/gecode-2.1.1/gecode/int/linear/int-ter.icc +357 -0
  238. data/ext/gecode-2.1.1/gecode/int/linear/post.icc +146 -0
  239. data/ext/gecode-2.1.1/gecode/int/propagator.icc +240 -0
  240. data/ext/gecode-2.1.1/gecode/int/rel.cc +431 -0
  241. data/ext/gecode-2.1.1/gecode/int/rel.hh +657 -0
  242. data/ext/gecode-2.1.1/gecode/int/rel/eq.icc +848 -0
  243. data/ext/gecode-2.1.1/gecode/int/rel/lex.icc +248 -0
  244. data/ext/gecode-2.1.1/gecode/int/rel/lq-le.icc +352 -0
  245. data/ext/gecode-2.1.1/gecode/int/rel/nq.icc +269 -0
  246. data/ext/gecode-2.1.1/gecode/int/sorted.cc +91 -0
  247. data/ext/gecode-2.1.1/gecode/int/sorted.hh +117 -0
  248. data/ext/gecode-2.1.1/gecode/int/sorted/matching.icc +182 -0
  249. data/ext/gecode-2.1.1/gecode/int/sorted/narrowing.icc +257 -0
  250. data/ext/gecode-2.1.1/gecode/int/sorted/order.icc +208 -0
  251. data/ext/gecode-2.1.1/gecode/int/sorted/propagate.icc +669 -0
  252. data/ext/gecode-2.1.1/gecode/int/sorted/sortsup.icc +596 -0
  253. data/ext/gecode-2.1.1/gecode/int/unshare.cc +148 -0
  254. data/ext/gecode-2.1.1/gecode/int/var-imp.icc +745 -0
  255. data/ext/gecode-2.1.1/gecode/int/var-imp/bool.cc +104 -0
  256. data/ext/gecode-2.1.1/gecode/int/var-imp/bool.icc +423 -0
  257. data/ext/gecode-2.1.1/gecode/int/var-imp/bool.vis +69 -0
  258. data/ext/gecode-2.1.1/gecode/int/var-imp/delta.icc +64 -0
  259. data/ext/gecode-2.1.1/gecode/int/var-imp/int.cc +407 -0
  260. data/ext/gecode-2.1.1/gecode/int/var-imp/int.icc +1004 -0
  261. data/ext/gecode-2.1.1/gecode/int/var-imp/int.vis +195 -0
  262. data/ext/gecode-2.1.1/gecode/int/var/bool.cc +72 -0
  263. data/ext/gecode-2.1.1/gecode/int/var/bool.icc +126 -0
  264. data/ext/gecode-2.1.1/gecode/int/var/int.cc +79 -0
  265. data/ext/gecode-2.1.1/gecode/int/var/int.icc +151 -0
  266. data/ext/gecode-2.1.1/gecode/int/view.icc +1894 -0
  267. data/ext/gecode-2.1.1/gecode/int/view/bool.icc +598 -0
  268. data/ext/gecode-2.1.1/gecode/int/view/constint.icc +392 -0
  269. data/ext/gecode-2.1.1/gecode/int/view/int.icc +301 -0
  270. data/ext/gecode-2.1.1/gecode/int/view/iter.icc +65 -0
  271. data/ext/gecode-2.1.1/gecode/int/view/minus.icc +372 -0
  272. data/ext/gecode-2.1.1/gecode/int/view/offset.icc +362 -0
  273. data/ext/gecode-2.1.1/gecode/int/view/print.cc +133 -0
  274. data/ext/gecode-2.1.1/gecode/int/view/rtest.icc +231 -0
  275. data/ext/gecode-2.1.1/gecode/int/view/scale.icc +456 -0
  276. data/ext/gecode-2.1.1/gecode/int/view/zero.icc +384 -0
  277. data/ext/gecode-2.1.1/gecode/iter.hh +90 -0
  278. data/ext/gecode-2.1.1/gecode/iter/ranges-add.icc +144 -0
  279. data/ext/gecode-2.1.1/gecode/iter/ranges-append.icc +222 -0
  280. data/ext/gecode-2.1.1/gecode/iter/ranges-array.icc +138 -0
  281. data/ext/gecode-2.1.1/gecode/iter/ranges-cache.icc +337 -0
  282. data/ext/gecode-2.1.1/gecode/iter/ranges-compl.icc +220 -0
  283. data/ext/gecode-2.1.1/gecode/iter/ranges-diff.icc +142 -0
  284. data/ext/gecode-2.1.1/gecode/iter/ranges-empty.icc +111 -0
  285. data/ext/gecode-2.1.1/gecode/iter/ranges-inter.icc +216 -0
  286. data/ext/gecode-2.1.1/gecode/iter/ranges-minmax.icc +118 -0
  287. data/ext/gecode-2.1.1/gecode/iter/ranges-minus.icc +150 -0
  288. data/ext/gecode-2.1.1/gecode/iter/ranges-offset.icc +127 -0
  289. data/ext/gecode-2.1.1/gecode/iter/ranges-operations.icc +157 -0
  290. data/ext/gecode-2.1.1/gecode/iter/ranges-scale.icc +238 -0
  291. data/ext/gecode-2.1.1/gecode/iter/ranges-singleton-append.icc +111 -0
  292. data/ext/gecode-2.1.1/gecode/iter/ranges-singleton.icc +86 -0
  293. data/ext/gecode-2.1.1/gecode/iter/ranges-size.icc +146 -0
  294. data/ext/gecode-2.1.1/gecode/iter/ranges-union.icc +224 -0
  295. data/ext/gecode-2.1.1/gecode/iter/ranges-values.icc +140 -0
  296. data/ext/gecode-2.1.1/gecode/iter/values-array.icc +119 -0
  297. data/ext/gecode-2.1.1/gecode/iter/values-minus.icc +130 -0
  298. data/ext/gecode-2.1.1/gecode/iter/values-offset.icc +113 -0
  299. data/ext/gecode-2.1.1/gecode/iter/values-ranges.icc +106 -0
  300. data/ext/gecode-2.1.1/gecode/iter/values-singleton.icc +109 -0
  301. data/ext/gecode-2.1.1/gecode/iter/values-unique.icc +118 -0
  302. data/ext/gecode-2.1.1/gecode/iter/virtual-ranges-compl.icc +261 -0
  303. data/ext/gecode-2.1.1/gecode/iter/virtual-ranges-inter.icc +241 -0
  304. data/ext/gecode-2.1.1/gecode/iter/virtual-ranges-union.icc +249 -0
  305. data/ext/gecode-2.1.1/gecode/iter/virtual-ranges.icc +140 -0
  306. data/ext/gecode-2.1.1/gecode/kernel.hh +182 -0
  307. data/ext/gecode-2.1.1/gecode/kernel/advisor.icc +104 -0
  308. data/ext/gecode-2.1.1/gecode/kernel/array.icc +1232 -0
  309. data/ext/gecode-2.1.1/gecode/kernel/branching.icc +447 -0
  310. data/ext/gecode-2.1.1/gecode/kernel/core.cc +473 -0
  311. data/ext/gecode-2.1.1/gecode/kernel/core.icc +2295 -0
  312. data/ext/gecode-2.1.1/gecode/kernel/exception.icc +101 -0
  313. data/ext/gecode-2.1.1/gecode/kernel/macros.icc +117 -0
  314. data/ext/gecode-2.1.1/gecode/kernel/memory-manager.cc +57 -0
  315. data/ext/gecode-2.1.1/gecode/kernel/memory-manager.icc +458 -0
  316. data/ext/gecode-2.1.1/gecode/kernel/modevent.icc +69 -0
  317. data/ext/gecode-2.1.1/gecode/kernel/propagator.icc +845 -0
  318. data/ext/gecode-2.1.1/gecode/kernel/reflection.cc +921 -0
  319. data/ext/gecode-2.1.1/gecode/kernel/reflection.icc +1012 -0
  320. data/ext/gecode-2.1.1/gecode/kernel/shared-array.icc +286 -0
  321. data/ext/gecode-2.1.1/gecode/kernel/var-imp.icc +433 -0
  322. data/ext/gecode-2.1.1/gecode/kernel/var-map.cc +269 -0
  323. data/ext/gecode-2.1.1/gecode/kernel/var-map.icc +227 -0
  324. data/ext/gecode-2.1.1/gecode/kernel/var-traits.icc +72 -0
  325. data/ext/gecode-2.1.1/gecode/kernel/var-type.cc +68 -0
  326. data/ext/gecode-2.1.1/gecode/kernel/var-type.icc +915 -0
  327. data/ext/gecode-2.1.1/gecode/kernel/var.icc +120 -0
  328. data/ext/gecode-2.1.1/gecode/kernel/view.icc +611 -0
  329. data/ext/gecode-2.1.1/gecode/minimodel.hh +1165 -0
  330. data/ext/gecode-2.1.1/gecode/minimodel/arithmetic.cc +179 -0
  331. data/ext/gecode-2.1.1/gecode/minimodel/bool-expr.cc +327 -0
  332. data/ext/gecode-2.1.1/gecode/minimodel/bool-expr.icc +131 -0
  333. data/ext/gecode-2.1.1/gecode/minimodel/bool-rel.icc +83 -0
  334. data/ext/gecode-2.1.1/gecode/minimodel/exception.icc +84 -0
  335. data/ext/gecode-2.1.1/gecode/minimodel/lin-expr.icc +374 -0
  336. data/ext/gecode-2.1.1/gecode/minimodel/lin-rel.icc +324 -0
  337. data/ext/gecode-2.1.1/gecode/minimodel/matrix.icc +144 -0
  338. data/ext/gecode-2.1.1/gecode/minimodel/reg.cc +823 -0
  339. data/ext/gecode-2.1.1/gecode/search.hh +752 -0
  340. data/ext/gecode-2.1.1/gecode/search/bab.cc +169 -0
  341. data/ext/gecode-2.1.1/gecode/search/bab.icc +117 -0
  342. data/ext/gecode-2.1.1/gecode/search/dfs.cc +79 -0
  343. data/ext/gecode-2.1.1/gecode/search/dfs.icc +169 -0
  344. data/ext/gecode-2.1.1/gecode/search/engine-ctrl.icc +131 -0
  345. data/ext/gecode-2.1.1/gecode/search/lds.cc +265 -0
  346. data/ext/gecode-2.1.1/gecode/search/lds.icc +73 -0
  347. data/ext/gecode-2.1.1/gecode/search/options.cc +46 -0
  348. data/ext/gecode-2.1.1/gecode/search/options.icc +46 -0
  349. data/ext/gecode-2.1.1/gecode/search/reco-stack.icc +237 -0
  350. data/ext/gecode-2.1.1/gecode/search/restart.icc +99 -0
  351. data/ext/gecode-2.1.1/gecode/search/statistics.icc +46 -0
  352. data/ext/gecode-2.1.1/gecode/search/stop.cc +74 -0
  353. data/ext/gecode-2.1.1/gecode/search/stop.icc +116 -0
  354. data/ext/gecode-2.1.1/gecode/serialization.hh +149 -0
  355. data/ext/gecode-2.1.1/gecode/serialization/boost.cc +78 -0
  356. data/ext/gecode-2.1.1/gecode/serialization/boost.icc +381 -0
  357. data/ext/gecode-2.1.1/gecode/serialization/flatzinc.cc +372 -0
  358. data/ext/gecode-2.1.1/gecode/serialization/javascript.cc +340 -0
  359. data/ext/gecode-2.1.1/gecode/serialization/javascript.hh +69 -0
  360. data/ext/gecode-2.1.1/gecode/serialization/register.cc +8142 -0
  361. data/ext/gecode-2.1.1/gecode/set.hh +970 -0
  362. data/ext/gecode-2.1.1/gecode/set/array.cc +114 -0
  363. data/ext/gecode-2.1.1/gecode/set/array.icc +77 -0
  364. data/ext/gecode-2.1.1/gecode/set/branch.cc +78 -0
  365. data/ext/gecode-2.1.1/gecode/set/branch.hh +213 -0
  366. data/ext/gecode-2.1.1/gecode/set/branch/select-val.icc +132 -0
  367. data/ext/gecode-2.1.1/gecode/set/branch/select-view.icc +148 -0
  368. data/ext/gecode-2.1.1/gecode/set/cardinality.cc +65 -0
  369. data/ext/gecode-2.1.1/gecode/set/convex.cc +59 -0
  370. data/ext/gecode-2.1.1/gecode/set/convex.hh +126 -0
  371. data/ext/gecode-2.1.1/gecode/set/convex/conv.cc +118 -0
  372. data/ext/gecode-2.1.1/gecode/set/convex/conv.icc +67 -0
  373. data/ext/gecode-2.1.1/gecode/set/convex/hull.cc +140 -0
  374. data/ext/gecode-2.1.1/gecode/set/convex/hull.icc +68 -0
  375. data/ext/gecode-2.1.1/gecode/set/distinct.cc +56 -0
  376. data/ext/gecode-2.1.1/gecode/set/distinct.hh +90 -0
  377. data/ext/gecode-2.1.1/gecode/set/distinct/atmostOne.cc +192 -0
  378. data/ext/gecode-2.1.1/gecode/set/distinct/atmostOne.icc +66 -0
  379. data/ext/gecode-2.1.1/gecode/set/dom.cc +232 -0
  380. data/ext/gecode-2.1.1/gecode/set/exception.icc +135 -0
  381. data/ext/gecode-2.1.1/gecode/set/int.cc +177 -0
  382. data/ext/gecode-2.1.1/gecode/set/int.hh +391 -0
  383. data/ext/gecode-2.1.1/gecode/set/int/card.icc +116 -0
  384. data/ext/gecode-2.1.1/gecode/set/int/channel-bool.icc +303 -0
  385. data/ext/gecode-2.1.1/gecode/set/int/channel-int.icc +174 -0
  386. data/ext/gecode-2.1.1/gecode/set/int/match.icc +224 -0
  387. data/ext/gecode-2.1.1/gecode/set/int/minmax.icc +228 -0
  388. data/ext/gecode-2.1.1/gecode/set/int/weights.icc +370 -0
  389. data/ext/gecode-2.1.1/gecode/set/limits.icc +62 -0
  390. data/ext/gecode-2.1.1/gecode/set/projectors-compiler.hh +164 -0
  391. data/ext/gecode-2.1.1/gecode/set/projectors.cc +143 -0
  392. data/ext/gecode-2.1.1/gecode/set/projectors.hh +438 -0
  393. data/ext/gecode-2.1.1/gecode/set/projectors/compiler.cc +859 -0
  394. data/ext/gecode-2.1.1/gecode/set/projectors/formula.cc +312 -0
  395. data/ext/gecode-2.1.1/gecode/set/projectors/formula.icc +66 -0
  396. data/ext/gecode-2.1.1/gecode/set/projectors/projector-set.cc +91 -0
  397. data/ext/gecode-2.1.1/gecode/set/projectors/projector-set.icc +85 -0
  398. data/ext/gecode-2.1.1/gecode/set/projectors/projector.cc +147 -0
  399. data/ext/gecode-2.1.1/gecode/set/projectors/projector.icc +98 -0
  400. data/ext/gecode-2.1.1/gecode/set/projectors/propagator.hh +168 -0
  401. data/ext/gecode-2.1.1/gecode/set/projectors/propagator/card.icc +128 -0
  402. data/ext/gecode-2.1.1/gecode/set/projectors/propagator/nary.icc +144 -0
  403. data/ext/gecode-2.1.1/gecode/set/projectors/propagator/re-nary.cc +100 -0
  404. data/ext/gecode-2.1.1/gecode/set/projectors/propagator/re-nary.icc +71 -0
  405. data/ext/gecode-2.1.1/gecode/set/projectors/set-expr.cc +339 -0
  406. data/ext/gecode-2.1.1/gecode/set/projectors/set-expr.icc +237 -0
  407. data/ext/gecode-2.1.1/gecode/set/propagator.icc +125 -0
  408. data/ext/gecode-2.1.1/gecode/set/rel-op-const.cc +332 -0
  409. data/ext/gecode-2.1.1/gecode/set/rel-op.cc +197 -0
  410. data/ext/gecode-2.1.1/gecode/set/rel-op.hh +353 -0
  411. data/ext/gecode-2.1.1/gecode/set/rel-op/common.icc +557 -0
  412. data/ext/gecode-2.1.1/gecode/set/rel-op/inter.icc +409 -0
  413. data/ext/gecode-2.1.1/gecode/set/rel-op/partition.icc +202 -0
  414. data/ext/gecode-2.1.1/gecode/set/rel-op/post.icc +223 -0
  415. data/ext/gecode-2.1.1/gecode/set/rel-op/subofunion.icc +192 -0
  416. data/ext/gecode-2.1.1/gecode/set/rel-op/superofinter.icc +193 -0
  417. data/ext/gecode-2.1.1/gecode/set/rel-op/union.icc +383 -0
  418. data/ext/gecode-2.1.1/gecode/set/rel.cc +258 -0
  419. data/ext/gecode-2.1.1/gecode/set/rel.hh +321 -0
  420. data/ext/gecode-2.1.1/gecode/set/rel/common.icc +125 -0
  421. data/ext/gecode-2.1.1/gecode/set/rel/eq.icc +139 -0
  422. data/ext/gecode-2.1.1/gecode/set/rel/nosubset.icc +128 -0
  423. data/ext/gecode-2.1.1/gecode/set/rel/nq.icc +208 -0
  424. data/ext/gecode-2.1.1/gecode/set/rel/re-eq.icc +179 -0
  425. data/ext/gecode-2.1.1/gecode/set/rel/re-subset.icc +172 -0
  426. data/ext/gecode-2.1.1/gecode/set/rel/subset.icc +119 -0
  427. data/ext/gecode-2.1.1/gecode/set/select.cc +135 -0
  428. data/ext/gecode-2.1.1/gecode/set/select.hh +233 -0
  429. data/ext/gecode-2.1.1/gecode/set/select/disjoint.cc +308 -0
  430. data/ext/gecode-2.1.1/gecode/set/select/disjoint.icc +75 -0
  431. data/ext/gecode-2.1.1/gecode/set/select/idxarray.hh +113 -0
  432. data/ext/gecode-2.1.1/gecode/set/select/idxarray.icc +155 -0
  433. data/ext/gecode-2.1.1/gecode/set/select/inter.icc +349 -0
  434. data/ext/gecode-2.1.1/gecode/set/select/union.icc +371 -0
  435. data/ext/gecode-2.1.1/gecode/set/select/unionConst.icc +334 -0
  436. data/ext/gecode-2.1.1/gecode/set/sequence.cc +69 -0
  437. data/ext/gecode-2.1.1/gecode/set/sequence.hh +134 -0
  438. data/ext/gecode-2.1.1/gecode/set/sequence/common.icc +99 -0
  439. data/ext/gecode-2.1.1/gecode/set/sequence/seq-u.cc +176 -0
  440. data/ext/gecode-2.1.1/gecode/set/sequence/seq-u.icc +79 -0
  441. data/ext/gecode-2.1.1/gecode/set/sequence/seq.cc +94 -0
  442. data/ext/gecode-2.1.1/gecode/set/sequence/seq.icc +69 -0
  443. data/ext/gecode-2.1.1/gecode/set/var-imp.icc +737 -0
  444. data/ext/gecode-2.1.1/gecode/set/var-imp/delta.icc +78 -0
  445. data/ext/gecode-2.1.1/gecode/set/var-imp/integerset.cc +349 -0
  446. data/ext/gecode-2.1.1/gecode/set/var-imp/integerset.icc +484 -0
  447. data/ext/gecode-2.1.1/gecode/set/var-imp/iter.icc +63 -0
  448. data/ext/gecode-2.1.1/gecode/set/var-imp/set.cc +214 -0
  449. data/ext/gecode-2.1.1/gecode/set/var-imp/set.icc +532 -0
  450. data/ext/gecode-2.1.1/gecode/set/var-imp/set.vis +190 -0
  451. data/ext/gecode-2.1.1/gecode/set/var/set.cc +105 -0
  452. data/ext/gecode-2.1.1/gecode/set/var/set.icc +303 -0
  453. data/ext/gecode-2.1.1/gecode/set/view.icc +1503 -0
  454. data/ext/gecode-2.1.1/gecode/set/view/complement.icc +629 -0
  455. data/ext/gecode-2.1.1/gecode/set/view/const.icc +907 -0
  456. data/ext/gecode-2.1.1/gecode/set/view/offset.icc +497 -0
  457. data/ext/gecode-2.1.1/gecode/set/view/print.cc +141 -0
  458. data/ext/gecode-2.1.1/gecode/set/view/set.icc +275 -0
  459. data/ext/gecode-2.1.1/gecode/set/view/singleton.icc +438 -0
  460. data/ext/gecode-2.1.1/gecode/support.hh +110 -0
  461. data/ext/gecode-2.1.1/gecode/support/block-allocator.icc +158 -0
  462. data/ext/gecode-2.1.1/gecode/support/buddy/AUTHORS +11 -0
  463. data/ext/gecode-2.1.1/gecode/support/buddy/ChangeLog +218 -0
  464. data/ext/gecode-2.1.1/gecode/support/buddy/NEWS +200 -0
  465. data/ext/gecode-2.1.1/gecode/support/buddy/README +128 -0
  466. data/ext/gecode-2.1.1/gecode/support/buddy/bdd.h +939 -0
  467. data/ext/gecode-2.1.1/gecode/support/buddy/bddio.c +596 -0
  468. data/ext/gecode-2.1.1/gecode/support/buddy/bddop.c +2848 -0
  469. data/ext/gecode-2.1.1/gecode/support/buddy/bddtree.h +62 -0
  470. data/ext/gecode-2.1.1/gecode/support/buddy/bvec.c +1354 -0
  471. data/ext/gecode-2.1.1/gecode/support/buddy/bvec.h +298 -0
  472. data/ext/gecode-2.1.1/gecode/support/buddy/cache.c +104 -0
  473. data/ext/gecode-2.1.1/gecode/support/buddy/cache.h +72 -0
  474. data/ext/gecode-2.1.1/gecode/support/buddy/config.h +20 -0
  475. data/ext/gecode-2.1.1/gecode/support/buddy/cppext.cc +626 -0
  476. data/ext/gecode-2.1.1/gecode/support/buddy/fdd.c +1079 -0
  477. data/ext/gecode-2.1.1/gecode/support/buddy/fdd.h +175 -0
  478. data/ext/gecode-2.1.1/gecode/support/buddy/imatrix.c +151 -0
  479. data/ext/gecode-2.1.1/gecode/support/buddy/imatrix.h +61 -0
  480. data/ext/gecode-2.1.1/gecode/support/buddy/kernel.c +1555 -0
  481. data/ext/gecode-2.1.1/gecode/support/buddy/kernel.h +244 -0
  482. data/ext/gecode-2.1.1/gecode/support/buddy/pairs.c +336 -0
  483. data/ext/gecode-2.1.1/gecode/support/buddy/prime.c +322 -0
  484. data/ext/gecode-2.1.1/gecode/support/buddy/prime.h +50 -0
  485. data/ext/gecode-2.1.1/gecode/support/buddy/reorder.c +2345 -0
  486. data/ext/gecode-2.1.1/gecode/support/buddy/tree.c +224 -0
  487. data/ext/gecode-2.1.1/gecode/support/cast.icc +52 -0
  488. data/ext/gecode-2.1.1/gecode/support/config.icc.in +80 -0
  489. data/ext/gecode-2.1.1/gecode/support/dynamic-array.icc +138 -0
  490. data/ext/gecode-2.1.1/gecode/support/dynamic-stack.icc +167 -0
  491. data/ext/gecode-2.1.1/gecode/support/exception.cc +65 -0
  492. data/ext/gecode-2.1.1/gecode/support/exception.icc +82 -0
  493. data/ext/gecode-2.1.1/gecode/support/macros.icc +103 -0
  494. data/ext/gecode-2.1.1/gecode/support/map.icc +207 -0
  495. data/ext/gecode-2.1.1/gecode/support/marked-pointer.icc +66 -0
  496. data/ext/gecode-2.1.1/gecode/support/memory.icc +220 -0
  497. data/ext/gecode-2.1.1/gecode/support/random.icc +121 -0
  498. data/ext/gecode-2.1.1/gecode/support/sentinel-stack.icc +122 -0
  499. data/ext/gecode-2.1.1/gecode/support/sort.icc +210 -0
  500. data/ext/gecode-2.1.1/gecode/support/static-pqueue.icc +242 -0
  501. data/ext/gecode-2.1.1/gecode/support/static-stack.icc +125 -0
  502. data/ext/gecode-2.1.1/gecode/support/symbol.cc +226 -0
  503. data/ext/gecode-2.1.1/gecode/support/symbol.icc +130 -0
  504. data/ext/{gecode-1.3.1 → gecode-2.1.1}/install-sh +0 -0
  505. data/ext/gecode-2.1.1/misc/AppleHelpbookInfo.plist +26 -0
  506. data/ext/gecode-2.1.1/misc/allexamples.perl +60 -0
  507. data/ext/gecode-2.1.1/misc/debian/Makefile.am +44 -0
  508. data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/changelog +0 -0
  509. data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/control +0 -0
  510. data/ext/gecode-2.1.1/misc/debian/copyright +30 -0
  511. data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/gecode.info +0 -0
  512. data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/gecode.install +0 -0
  513. data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/gecode.spec +0 -0
  514. data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/rules +0 -0
  515. data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/doxygen/back.png +0 -0
  516. data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/doxygen/footer.html +0 -0
  517. data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/doxygen/gecode-logo-100.png +0 -0
  518. data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/doxygen/header.html +0 -0
  519. data/ext/gecode-2.1.1/misc/doxygen/stylesheet.css +464 -0
  520. data/ext/gecode-2.1.1/misc/fixproperties.sh +77 -0
  521. data/ext/gecode-2.1.1/misc/gecode-gist.pc.in +45 -0
  522. data/ext/gecode-2.1.1/misc/gecode-minimodel.pc.in +45 -0
  523. data/ext/gecode-2.1.1/misc/gecode-search.pc.in +45 -0
  524. data/ext/gecode-2.1.1/misc/gecode-serialization.pc.in +45 -0
  525. data/ext/gecode-2.1.1/misc/gecode.pc.in +45 -0
  526. data/ext/gecode-2.1.1/misc/genchangelog.perl +208 -0
  527. data/ext/gecode-2.1.1/misc/genlcovmakefile.perl +148 -0
  528. data/ext/gecode-2.1.1/misc/genlicense.perl +121 -0
  529. data/ext/gecode-2.1.1/misc/genregistry.perl +468 -0
  530. data/ext/gecode-2.1.1/misc/genstatistics.perl +178 -0
  531. data/ext/gecode-2.1.1/misc/gentxtchangelog.perl +192 -0
  532. data/ext/gecode-2.1.1/misc/genvariables.perl +905 -0
  533. data/ext/gecode-2.1.1/misc/getrevision.perl +47 -0
  534. data/ext/gecode-2.1.1/misc/makedepend.perl +85 -0
  535. data/ext/gecode-2.1.1/misc/svn-ignore.txt +15 -0
  536. data/ext/gecode-2.1.1/variables.vsl +50 -0
  537. data/ext/missing.cpp +1 -1
  538. data/ext/missing.h +1 -1
  539. data/ext/vararray.h +4 -4
  540. data/lib/gecoder/bindings.rb +21 -1
  541. data/lib/gecoder/bindings/bindings.rb +408 -731
  542. data/lib/gecoder/interface/binding_changes.rb +1 -1
  543. data/lib/gecoder/interface/branch.rb +25 -25
  544. data/lib/gecoder/interface/constraints.rb +47 -4
  545. data/lib/gecoder/interface/constraints/bool/boolean.rb +18 -16
  546. data/lib/gecoder/interface/constraints/bool_enum/boolean.rb +13 -11
  547. data/lib/gecoder/interface/constraints/int/arithmetic.rb +5 -4
  548. data/lib/gecoder/interface/constraints/int/domain.rb +8 -9
  549. data/lib/gecoder/interface/constraints/int/linear.rb +10 -8
  550. data/lib/gecoder/interface/constraints/int_enum/arithmetic.rb +4 -4
  551. data/lib/gecoder/interface/constraints/int_enum/channel.rb +2 -2
  552. data/lib/gecoder/interface/constraints/int_enum/count.rb +4 -5
  553. data/lib/gecoder/interface/constraints/int_enum/distinct.rb +7 -2
  554. data/lib/gecoder/interface/constraints/int_enum/element.rb +2 -2
  555. data/lib/gecoder/interface/constraints/int_enum/equality.rb +6 -3
  556. data/lib/gecoder/interface/constraints/int_enum/sort.rb +17 -5
  557. data/lib/gecoder/interface/constraints/set_enum/distinct.rb +0 -36
  558. data/lib/gecoder/interface/constraints/set_var_constraints.rb +5 -0
  559. data/lib/gecoder/interface/model.rb +3 -3
  560. data/lib/gecoder/interface/search.rb +5 -4
  561. data/lib/gecoder/version.rb +1 -1
  562. data/specs/branch.rb +27 -27
  563. data/specs/constraints/arithmetic.rb +48 -30
  564. data/specs/constraints/bool_enum.rb +39 -19
  565. data/specs/constraints/boolean.rb +10 -10
  566. data/specs/constraints/cardinality.rb +12 -9
  567. data/specs/constraints/channel.rb +6 -6
  568. data/specs/constraints/connection.rb +22 -26
  569. data/specs/constraints/constraint_helper.rb +125 -41
  570. data/specs/constraints/count.rb +22 -15
  571. data/specs/constraints/distinct.rb +10 -64
  572. data/specs/constraints/element.rb +14 -12
  573. data/specs/constraints/equality.rb +4 -4
  574. data/specs/constraints/int_domain.rb +8 -7
  575. data/specs/constraints/int_relation.rb +12 -8
  576. data/specs/constraints/linear.rb +4 -4
  577. data/specs/constraints/reification_sugar.rb +22 -4
  578. data/specs/constraints/selection.rb +2 -2
  579. data/specs/constraints/set_domain.rb +7 -3
  580. data/specs/constraints/set_operation.rb +2 -2
  581. data/specs/constraints/set_relation.rb +2 -6
  582. data/specs/constraints/sort.rb +20 -16
  583. data/specs/distribution.rb +14 -0
  584. data/specs/model.rb +4 -4
  585. data/tasks/dependencies.txt +21 -0
  586. data/tasks/distribution.rake +49 -14
  587. data/vendor/rust/include/rust_checks.hh +2 -1
  588. data/vendor/rust/include/rust_conversions.hh +2 -2
  589. data/vendor/rust/rust/attribute.rb +2 -2
  590. data/vendor/rust/rust/class.rb +2 -2
  591. data/vendor/rust/rust/cxxclass.rb +0 -2
  592. data/vendor/rust/rust/function.rb +2 -2
  593. data/vendor/rust/rust/templates/AttributeDefinition.rusttpl +1 -1
  594. data/vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl +1 -1
  595. data/vendor/rust/rust/templates/VariableFunctionCall.rusttpl +1 -1
  596. data/vendor/rust/rust/type.rb +1 -1
  597. metadata +599 -542
  598. data/ext/gecode-1.3.1/LICENSE +0 -34
  599. data/ext/gecode-1.3.1/Makefile.contribs +0 -71
  600. data/ext/gecode-1.3.1/Makefile.dep +0 -3928
  601. data/ext/gecode-1.3.1/Makefile.in +0 -966
  602. data/ext/gecode-1.3.1/changelog.in +0 -1065
  603. data/ext/gecode-1.3.1/configure +0 -8590
  604. data/ext/gecode-1.3.1/configure.ac +0 -179
  605. data/ext/gecode-1.3.1/configure.ac.in +0 -175
  606. data/ext/gecode-1.3.1/contribs/graph/INSTALL +0 -53
  607. data/ext/gecode-1.3.1/contribs/graph/LICENSE +0 -11
  608. data/ext/gecode-1.3.1/contribs/graph/Makefile +0 -167
  609. data/ext/gecode-1.3.1/contribs/graph/Makefile.in.in +0 -169
  610. data/ext/gecode-1.3.1/contribs/graph/TODO +0 -28
  611. data/ext/gecode-1.3.1/contribs/graph/binarysimple.hh +0 -82
  612. data/ext/gecode-1.3.1/contribs/graph/binarysimple.icc +0 -186
  613. data/ext/gecode-1.3.1/contribs/graph/branch/branch.icc +0 -257
  614. data/ext/gecode-1.3.1/contribs/graph/configure +0 -2160
  615. data/ext/gecode-1.3.1/contribs/graph/configure.ac +0 -33
  616. data/ext/gecode-1.3.1/contribs/graph/doxygen.conf +0 -1226
  617. data/ext/gecode-1.3.1/contribs/graph/doxygen.hh +0 -132
  618. data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-basic.cc +0 -94
  619. data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-complement.cc +0 -104
  620. data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-instUB.cc +0 -105
  621. data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-path.cc +0 -92
  622. data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-path2.cc +0 -273
  623. data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-pathcost.cc +0 -311
  624. data/ext/gecode-1.3.1/contribs/graph/examples/g1.txt +0 -1
  625. data/ext/gecode-1.3.1/contribs/graph/examples/g2.txt +0 -1
  626. data/ext/gecode-1.3.1/contribs/graph/graph.hh +0 -51
  627. data/ext/gecode-1.3.1/contribs/graph/graphutils.h +0 -46
  628. data/ext/gecode-1.3.1/contribs/graph/graphutils.icc +0 -140
  629. data/ext/gecode-1.3.1/contribs/graph/misc/doxygen/footer.html +0 -1
  630. data/ext/gecode-1.3.1/contribs/graph/path.hh +0 -116
  631. data/ext/gecode-1.3.1/contribs/graph/path.icc +0 -64
  632. data/ext/gecode-1.3.1/contribs/graph/path/path.icc +0 -139
  633. data/ext/gecode-1.3.1/contribs/graph/path/pathdegree.icc +0 -133
  634. data/ext/gecode-1.3.1/contribs/graph/path/pathgraphs.icc +0 -341
  635. data/ext/gecode-1.3.1/contribs/graph/shortdesc.ac +0 -1
  636. data/ext/gecode-1.3.1/contribs/graph/stlutility.icc +0 -105
  637. data/ext/gecode-1.3.1/contribs/graph/var.icc +0 -106
  638. data/ext/gecode-1.3.1/contribs/graph/view.icc +0 -373
  639. data/ext/gecode-1.3.1/contribs/graph/view/arcnode.cc +0 -162
  640. data/ext/gecode-1.3.1/contribs/graph/view/arcnode.hh +0 -78
  641. data/ext/gecode-1.3.1/contribs/graph/view/boundsgraphs.icc +0 -349
  642. data/ext/gecode-1.3.1/contribs/graph/view/constant.icc +0 -148
  643. data/ext/gecode-1.3.1/contribs/graph/view/iter.icc +0 -337
  644. data/ext/gecode-1.3.1/contribs/graph/view/nodearcsets.icc +0 -493
  645. data/ext/gecode-1.3.1/contribs/graph/view/nodeset.icc +0 -60
  646. data/ext/gecode-1.3.1/contribs/graph/view/outadjsets.icc +0 -600
  647. data/ext/gecode-1.3.1/contribs/graph/view/prop.icc +0 -135
  648. data/ext/gecode-1.3.1/contribs/map/COMPILING +0 -68
  649. data/ext/gecode-1.3.1/contribs/map/LICENSE +0 -11
  650. data/ext/gecode-1.3.1/contribs/map/Makefile.in.in +0 -173
  651. data/ext/gecode-1.3.1/contribs/map/configure +0 -2285
  652. data/ext/gecode-1.3.1/contribs/map/configure.ac +0 -32
  653. data/ext/gecode-1.3.1/contribs/map/constraints.hh +0 -46
  654. data/ext/gecode-1.3.1/contribs/map/constraints.icc +0 -84
  655. data/ext/gecode-1.3.1/contribs/map/doxygen.conf +0 -1229
  656. data/ext/gecode-1.3.1/contribs/map/doxygen.hh +0 -33
  657. data/ext/gecode-1.3.1/contribs/map/examples/approximateMatching.cc +0 -199
  658. data/ext/gecode-1.3.1/contribs/map/examples/g1.txt +0 -1
  659. data/ext/gecode-1.3.1/contribs/map/examples/g2.txt +0 -1
  660. data/ext/gecode-1.3.1/contribs/map/examples/graph-examples.tgz +0 -0
  661. data/ext/gecode-1.3.1/contribs/map/examples/isomorphism.cc +0 -148
  662. data/ext/gecode-1.3.1/contribs/map/examples/map +0 -0
  663. data/ext/gecode-1.3.1/contribs/map/examples/map.cc +0 -80
  664. data/ext/gecode-1.3.1/contribs/map/examples/subgraphmonomorphism.cc +0 -155
  665. data/ext/gecode-1.3.1/contribs/map/map.hh +0 -65
  666. data/ext/gecode-1.3.1/contribs/map/matching/mono.hh +0 -235
  667. data/ext/gecode-1.3.1/contribs/map/matching/mono.icc +0 -771
  668. data/ext/gecode-1.3.1/contribs/map/shortdesc.ac +0 -2
  669. data/ext/gecode-1.3.1/contribs/map/var.icc +0 -346
  670. data/ext/gecode-1.3.1/contribs/map/var/imp.cc +0 -42
  671. data/ext/gecode-1.3.1/contribs/map/var/imp.icc +0 -436
  672. data/ext/gecode-1.3.1/doxygen.conf.in +0 -1225
  673. data/ext/gecode-1.3.1/doxygen.hh.in +0 -877
  674. data/ext/gecode-1.3.1/examples/all-interval-sort.cc +0 -201
  675. data/ext/gecode-1.3.1/examples/all-interval.cc +0 -114
  676. data/ext/gecode-1.3.1/examples/alpha.cc +0 -112
  677. data/ext/gecode-1.3.1/examples/baseline.cc +0 -71
  678. data/ext/gecode-1.3.1/examples/bibd.cc +0 -173
  679. data/ext/gecode-1.3.1/examples/black-hole.cc +0 -281
  680. data/ext/gecode-1.3.1/examples/cars.cc +0 -165
  681. data/ext/gecode-1.3.1/examples/crew.cc +0 -220
  682. data/ext/gecode-1.3.1/examples/crowded-chess.cc +0 -312
  683. data/ext/gecode-1.3.1/examples/donald.cc +0 -93
  684. data/ext/gecode-1.3.1/examples/eq20.cc +0 -111
  685. data/ext/gecode-1.3.1/examples/golf.cc +0 -242
  686. data/ext/gecode-1.3.1/examples/golomb.cc +0 -141
  687. data/ext/gecode-1.3.1/examples/graph-color.cc +0 -371
  688. data/ext/gecode-1.3.1/examples/grocery.cc +0 -107
  689. data/ext/gecode-1.3.1/examples/hamming.cc +0 -107
  690. data/ext/gecode-1.3.1/examples/ind-set.cc +0 -130
  691. data/ext/gecode-1.3.1/examples/knights.cc +0 -146
  692. data/ext/gecode-1.3.1/examples/langfordnum.cc +0 -244
  693. data/ext/gecode-1.3.1/examples/magic-sequence-gcc.cc +0 -93
  694. data/ext/gecode-1.3.1/examples/magic-sequence.cc +0 -108
  695. data/ext/gecode-1.3.1/examples/magic-square.cc +0 -120
  696. data/ext/gecode-1.3.1/examples/money.cc +0 -92
  697. data/ext/gecode-1.3.1/examples/ortho-latin.cc +0 -156
  698. data/ext/gecode-1.3.1/examples/packing.cc +0 -211
  699. data/ext/gecode-1.3.1/examples/partition.cc +0 -126
  700. data/ext/gecode-1.3.1/examples/photo.cc +0 -155
  701. data/ext/gecode-1.3.1/examples/picture-puzzle.cc +0 -481
  702. data/ext/gecode-1.3.1/examples/queen-armies.cc +0 -240
  703. data/ext/gecode-1.3.1/examples/queens.cc +0 -99
  704. data/ext/gecode-1.3.1/examples/sports-league.cc +0 -454
  705. data/ext/gecode-1.3.1/examples/steiner.cc +0 -148
  706. data/ext/gecode-1.3.1/examples/stress-domain.cc +0 -86
  707. data/ext/gecode-1.3.1/examples/stress-element.cc +0 -95
  708. data/ext/gecode-1.3.1/examples/stress-exec.cc +0 -74
  709. data/ext/gecode-1.3.1/examples/stress-min.cc +0 -84
  710. data/ext/gecode-1.3.1/examples/stress-search.cc +0 -72
  711. data/ext/gecode-1.3.1/examples/sudoku-mixed.cc +0 -282
  712. data/ext/gecode-1.3.1/examples/sudoku-set.cc +0 -162
  713. data/ext/gecode-1.3.1/examples/sudoku.cc +0 -188
  714. data/ext/gecode-1.3.1/examples/sudoku.icc +0 -703
  715. data/ext/gecode-1.3.1/examples/support.cc +0 -160
  716. data/ext/gecode-1.3.1/examples/support.hh +0 -98
  717. data/ext/gecode-1.3.1/examples/support.icc +0 -187
  718. data/ext/gecode-1.3.1/examples/timer.cc +0 -47
  719. data/ext/gecode-1.3.1/examples/timer.hh +0 -72
  720. data/ext/gecode-1.3.1/examples/warehouses.cc +0 -176
  721. data/ext/gecode-1.3.1/extconf.rb +0 -8
  722. data/ext/gecode-1.3.1/gecode.m4 +0 -736
  723. data/ext/gecode-1.3.1/gecode/config.icc.in +0 -50
  724. data/ext/gecode-1.3.1/gecode/int.hh +0 -1426
  725. data/ext/gecode-1.3.1/gecode/int/arithmetic.cc +0 -87
  726. data/ext/gecode-1.3.1/gecode/int/arithmetic.hh +0 -292
  727. data/ext/gecode-1.3.1/gecode/int/arithmetic/abs.icc +0 -213
  728. data/ext/gecode-1.3.1/gecode/int/arithmetic/max.icc +0 -196
  729. data/ext/gecode-1.3.1/gecode/int/arithmetic/mult.icc +0 -478
  730. data/ext/gecode-1.3.1/gecode/int/array.cc +0 -61
  731. data/ext/gecode-1.3.1/gecode/int/array.icc +0 -264
  732. data/ext/gecode-1.3.1/gecode/int/bool.cc +0 -187
  733. data/ext/gecode-1.3.1/gecode/int/bool.hh +0 -255
  734. data/ext/gecode-1.3.1/gecode/int/bool/base.icc +0 -123
  735. data/ext/gecode-1.3.1/gecode/int/bool/eq.icc +0 -89
  736. data/ext/gecode-1.3.1/gecode/int/bool/eqv.icc +0 -132
  737. data/ext/gecode-1.3.1/gecode/int/bool/or.icc +0 -380
  738. data/ext/gecode-1.3.1/gecode/int/branch.cc +0 -81
  739. data/ext/gecode-1.3.1/gecode/int/branch.hh +0 -444
  740. data/ext/gecode-1.3.1/gecode/int/branch/assign.cc +0 -83
  741. data/ext/gecode-1.3.1/gecode/int/branch/assign.icc +0 -76
  742. data/ext/gecode-1.3.1/gecode/int/branch/select-val.icc +0 -104
  743. data/ext/gecode-1.3.1/gecode/int/branch/select-view.icc +0 -219
  744. data/ext/gecode-1.3.1/gecode/int/channel.cc +0 -62
  745. data/ext/gecode-1.3.1/gecode/int/channel.hh +0 -144
  746. data/ext/gecode-1.3.1/gecode/int/channel/base.icc +0 -60
  747. data/ext/gecode-1.3.1/gecode/int/channel/dom.icc +0 -313
  748. data/ext/gecode-1.3.1/gecode/int/channel/stack.icc +0 -59
  749. data/ext/gecode-1.3.1/gecode/int/channel/val.icc +0 -239
  750. data/ext/gecode-1.3.1/gecode/int/count.cc +0 -174
  751. data/ext/gecode-1.3.1/gecode/int/count.hh +0 -401
  752. data/ext/gecode-1.3.1/gecode/int/count/int.icc +0 -495
  753. data/ext/gecode-1.3.1/gecode/int/count/rel.icc +0 -100
  754. data/ext/gecode-1.3.1/gecode/int/count/view.icc +0 -332
  755. data/ext/gecode-1.3.1/gecode/int/cumulatives.cc +0 -210
  756. data/ext/gecode-1.3.1/gecode/int/cumulatives.hh +0 -118
  757. data/ext/gecode-1.3.1/gecode/int/cumulatives/val.icc +0 -377
  758. data/ext/gecode-1.3.1/gecode/int/distinct.cc +0 -77
  759. data/ext/gecode-1.3.1/gecode/int/distinct.hh +0 -272
  760. data/ext/gecode-1.3.1/gecode/int/distinct/bilink.icc +0 -73
  761. data/ext/gecode-1.3.1/gecode/int/distinct/bnd.icc +0 -335
  762. data/ext/gecode-1.3.1/gecode/int/distinct/combptr.icc +0 -62
  763. data/ext/gecode-1.3.1/gecode/int/distinct/dom.icc +0 -740
  764. data/ext/gecode-1.3.1/gecode/int/distinct/edge.icc +0 -96
  765. data/ext/gecode-1.3.1/gecode/int/distinct/node.icc +0 -107
  766. data/ext/gecode-1.3.1/gecode/int/distinct/ter-dom.icc +0 -97
  767. data/ext/gecode-1.3.1/gecode/int/distinct/val.icc +0 -171
  768. data/ext/gecode-1.3.1/gecode/int/dom.cc +0 -81
  769. data/ext/gecode-1.3.1/gecode/int/dom.hh +0 -101
  770. data/ext/gecode-1.3.1/gecode/int/dom/range.icc +0 -85
  771. data/ext/gecode-1.3.1/gecode/int/dom/spec.icc +0 -85
  772. data/ext/gecode-1.3.1/gecode/int/element.cc +0 -58
  773. data/ext/gecode-1.3.1/gecode/int/element.hh +0 -203
  774. data/ext/gecode-1.3.1/gecode/int/element/int.icc +0 -396
  775. data/ext/gecode-1.3.1/gecode/int/element/view.icc +0 -443
  776. data/ext/gecode-1.3.1/gecode/int/exception.icc +0 -137
  777. data/ext/gecode-1.3.1/gecode/int/gcc.cc +0 -708
  778. data/ext/gecode-1.3.1/gecode/int/gcc.hh +0 -338
  779. data/ext/gecode-1.3.1/gecode/int/gcc/bnd.icc +0 -629
  780. data/ext/gecode-1.3.1/gecode/int/gcc/dom.icc +0 -504
  781. data/ext/gecode-1.3.1/gecode/int/gcc/gccbndsup.icc +0 -760
  782. data/ext/gecode-1.3.1/gecode/int/gcc/graphsup.icc +0 -2375
  783. data/ext/gecode-1.3.1/gecode/int/gcc/lbc.icc +0 -375
  784. data/ext/gecode-1.3.1/gecode/int/gcc/occur.icc +0 -687
  785. data/ext/gecode-1.3.1/gecode/int/gcc/ubc.icc +0 -236
  786. data/ext/gecode-1.3.1/gecode/int/gcc/val.icc +0 -373
  787. data/ext/gecode-1.3.1/gecode/int/int-set.cc +0 -115
  788. data/ext/gecode-1.3.1/gecode/int/int-set.icc +0 -151
  789. data/ext/gecode-1.3.1/gecode/int/linear.cc +0 -247
  790. data/ext/gecode-1.3.1/gecode/int/linear.hh +0 -1056
  791. data/ext/gecode-1.3.1/gecode/int/linear/binary.icc +0 -439
  792. data/ext/gecode-1.3.1/gecode/int/linear/bool-int.icc +0 -422
  793. data/ext/gecode-1.3.1/gecode/int/linear/bool-view.icc +0 -311
  794. data/ext/gecode-1.3.1/gecode/int/linear/dom.icc +0 -503
  795. data/ext/gecode-1.3.1/gecode/int/linear/nary.icc +0 -857
  796. data/ext/gecode-1.3.1/gecode/int/linear/noview.icc +0 -264
  797. data/ext/gecode-1.3.1/gecode/int/linear/post.cc +0 -542
  798. data/ext/gecode-1.3.1/gecode/int/linear/ternary.icc +0 -255
  799. data/ext/gecode-1.3.1/gecode/int/propagator.icc +0 -194
  800. data/ext/gecode-1.3.1/gecode/int/regular.cc +0 -40
  801. data/ext/gecode-1.3.1/gecode/int/regular.hh +0 -83
  802. data/ext/gecode-1.3.1/gecode/int/regular/dfa.cc +0 -466
  803. data/ext/gecode-1.3.1/gecode/int/regular/dfa.icc +0 -172
  804. data/ext/gecode-1.3.1/gecode/int/regular/dom.icc +0 -480
  805. data/ext/gecode-1.3.1/gecode/int/regular/reg.cc +0 -738
  806. data/ext/gecode-1.3.1/gecode/int/rel.cc +0 -293
  807. data/ext/gecode-1.3.1/gecode/int/rel.hh +0 -526
  808. data/ext/gecode-1.3.1/gecode/int/rel/eq.icc +0 -640
  809. data/ext/gecode-1.3.1/gecode/int/rel/lex.icc +0 -212
  810. data/ext/gecode-1.3.1/gecode/int/rel/lq-le.icc +0 -246
  811. data/ext/gecode-1.3.1/gecode/int/rel/nq.icc +0 -188
  812. data/ext/gecode-1.3.1/gecode/int/sortedness.cc +0 -124
  813. data/ext/gecode-1.3.1/gecode/int/sortedness.hh +0 -108
  814. data/ext/gecode-1.3.1/gecode/int/sortedness/matching.icc +0 -177
  815. data/ext/gecode-1.3.1/gecode/int/sortedness/narrowing.icc +0 -243
  816. data/ext/gecode-1.3.1/gecode/int/sortedness/order.icc +0 -232
  817. data/ext/gecode-1.3.1/gecode/int/sortedness/sortedness.icc +0 -727
  818. data/ext/gecode-1.3.1/gecode/int/sortedness/sortsup.icc +0 -666
  819. data/ext/gecode-1.3.1/gecode/int/var-imp.vis +0 -198
  820. data/ext/gecode-1.3.1/gecode/int/var.icc +0 -590
  821. data/ext/gecode-1.3.1/gecode/int/var/bool.icc +0 -52
  822. data/ext/gecode-1.3.1/gecode/int/var/imp-body.icc +0 -65
  823. data/ext/gecode-1.3.1/gecode/int/var/imp-hdr.icc +0 -191
  824. data/ext/gecode-1.3.1/gecode/int/var/imp.cc +0 -361
  825. data/ext/gecode-1.3.1/gecode/int/var/imp.icc +0 -579
  826. data/ext/gecode-1.3.1/gecode/int/var/int.cc +0 -63
  827. data/ext/gecode-1.3.1/gecode/int/var/int.icc +0 -135
  828. data/ext/gecode-1.3.1/gecode/int/view.icc +0 -1219
  829. data/ext/gecode-1.3.1/gecode/int/view/bool.icc +0 -270
  830. data/ext/gecode-1.3.1/gecode/int/view/constint.icc +0 -306
  831. data/ext/gecode-1.3.1/gecode/int/view/int.icc +0 -221
  832. data/ext/gecode-1.3.1/gecode/int/view/iter.icc +0 -49
  833. data/ext/gecode-1.3.1/gecode/int/view/minus.icc +0 -285
  834. data/ext/gecode-1.3.1/gecode/int/view/offset.icc +0 -274
  835. data/ext/gecode-1.3.1/gecode/int/view/print.cc +0 -109
  836. data/ext/gecode-1.3.1/gecode/int/view/rtest.icc +0 -215
  837. data/ext/gecode-1.3.1/gecode/int/view/scale.icc +0 -373
  838. data/ext/gecode-1.3.1/gecode/iter.hh +0 -65
  839. data/ext/gecode-1.3.1/gecode/iter/ranges-add.icc +0 -130
  840. data/ext/gecode-1.3.1/gecode/iter/ranges-append.icc +0 -208
  841. data/ext/gecode-1.3.1/gecode/iter/ranges-array.icc +0 -123
  842. data/ext/gecode-1.3.1/gecode/iter/ranges-cache.icc +0 -143
  843. data/ext/gecode-1.3.1/gecode/iter/ranges-compl.icc +0 -206
  844. data/ext/gecode-1.3.1/gecode/iter/ranges-diff.icc +0 -127
  845. data/ext/gecode-1.3.1/gecode/iter/ranges-empty.icc +0 -96
  846. data/ext/gecode-1.3.1/gecode/iter/ranges-inter.icc +0 -202
  847. data/ext/gecode-1.3.1/gecode/iter/ranges-minmax.icc +0 -103
  848. data/ext/gecode-1.3.1/gecode/iter/ranges-minus.icc +0 -138
  849. data/ext/gecode-1.3.1/gecode/iter/ranges-offset.icc +0 -112
  850. data/ext/gecode-1.3.1/gecode/iter/ranges-operations.icc +0 -142
  851. data/ext/gecode-1.3.1/gecode/iter/ranges-scale.icc +0 -224
  852. data/ext/gecode-1.3.1/gecode/iter/ranges-singleton.icc +0 -71
  853. data/ext/gecode-1.3.1/gecode/iter/ranges-size.icc +0 -131
  854. data/ext/gecode-1.3.1/gecode/iter/ranges-union.icc +0 -211
  855. data/ext/gecode-1.3.1/gecode/iter/ranges-values.icc +0 -125
  856. data/ext/gecode-1.3.1/gecode/iter/values-ranges.icc +0 -91
  857. data/ext/gecode-1.3.1/gecode/iter/virtual-ranges-compl.icc +0 -247
  858. data/ext/gecode-1.3.1/gecode/iter/virtual-ranges-inter.icc +0 -227
  859. data/ext/gecode-1.3.1/gecode/iter/virtual-ranges-union.icc +0 -236
  860. data/ext/gecode-1.3.1/gecode/iter/virtual-ranges.icc +0 -126
  861. data/ext/gecode-1.3.1/gecode/kernel.hh +0 -141
  862. data/ext/gecode-1.3.1/gecode/kernel/array.icc +0 -954
  863. data/ext/gecode-1.3.1/gecode/kernel/branching.icc +0 -233
  864. data/ext/gecode-1.3.1/gecode/kernel/core.cc +0 -417
  865. data/ext/gecode-1.3.1/gecode/kernel/core.icc +0 -1681
  866. data/ext/gecode-1.3.1/gecode/kernel/exception.cc +0 -49
  867. data/ext/gecode-1.3.1/gecode/kernel/exception.icc +0 -104
  868. data/ext/gecode-1.3.1/gecode/kernel/macros.icc +0 -98
  869. data/ext/gecode-1.3.1/gecode/kernel/memory-manager.cc +0 -41
  870. data/ext/gecode-1.3.1/gecode/kernel/memory-manager.icc +0 -438
  871. data/ext/gecode-1.3.1/gecode/kernel/memory.icc +0 -205
  872. data/ext/gecode-1.3.1/gecode/kernel/modevent.icc +0 -53
  873. data/ext/gecode-1.3.1/gecode/kernel/propagator.icc +0 -680
  874. data/ext/gecode-1.3.1/gecode/kernel/view.icc +0 -583
  875. data/ext/gecode-1.3.1/gecode/limits.hh +0 -87
  876. data/ext/gecode-1.3.1/gecode/minimodel.hh +0 -942
  877. data/ext/gecode-1.3.1/gecode/minimodel/arithmetic.cc +0 -137
  878. data/ext/gecode-1.3.1/gecode/minimodel/bool-expr.cc +0 -207
  879. data/ext/gecode-1.3.1/gecode/minimodel/bool-expr.icc +0 -191
  880. data/ext/gecode-1.3.1/gecode/minimodel/bool-rel.icc +0 -66
  881. data/ext/gecode-1.3.1/gecode/minimodel/exception.icc +0 -59
  882. data/ext/gecode-1.3.1/gecode/minimodel/lin-expr.cc +0 -103
  883. data/ext/gecode-1.3.1/gecode/minimodel/lin-expr.icc +0 -192
  884. data/ext/gecode-1.3.1/gecode/minimodel/lin-rel.icc +0 -200
  885. data/ext/gecode-1.3.1/gecode/minimodel/matrix.icc +0 -118
  886. data/ext/gecode-1.3.1/gecode/minimodel/scheduling.cc +0 -241
  887. data/ext/gecode-1.3.1/gecode/search.hh +0 -745
  888. data/ext/gecode-1.3.1/gecode/search/bab.cc +0 -153
  889. data/ext/gecode-1.3.1/gecode/search/bab.icc +0 -101
  890. data/ext/gecode-1.3.1/gecode/search/dfs.cc +0 -63
  891. data/ext/gecode-1.3.1/gecode/search/dfs.icc +0 -144
  892. data/ext/gecode-1.3.1/gecode/search/engine-ctrl.icc +0 -109
  893. data/ext/gecode-1.3.1/gecode/search/lds.cc +0 -237
  894. data/ext/gecode-1.3.1/gecode/search/lds.icc +0 -57
  895. data/ext/gecode-1.3.1/gecode/search/reco-stack.icc +0 -219
  896. data/ext/gecode-1.3.1/gecode/search/restart.icc +0 -76
  897. data/ext/gecode-1.3.1/gecode/search/statistics.icc +0 -30
  898. data/ext/gecode-1.3.1/gecode/search/stop.cc +0 -58
  899. data/ext/gecode-1.3.1/gecode/search/stop.icc +0 -100
  900. data/ext/gecode-1.3.1/gecode/set.hh +0 -419
  901. data/ext/gecode-1.3.1/gecode/set/array.cc +0 -114
  902. data/ext/gecode-1.3.1/gecode/set/array.icc +0 -134
  903. data/ext/gecode-1.3.1/gecode/set/branch.cc +0 -57
  904. data/ext/gecode-1.3.1/gecode/set/branch.hh +0 -176
  905. data/ext/gecode-1.3.1/gecode/set/branch/select-val.icc +0 -72
  906. data/ext/gecode-1.3.1/gecode/set/branch/select-view.icc +0 -112
  907. data/ext/gecode-1.3.1/gecode/set/cardinality.cc +0 -49
  908. data/ext/gecode-1.3.1/gecode/set/convex.cc +0 -43
  909. data/ext/gecode-1.3.1/gecode/set/convex.hh +0 -92
  910. data/ext/gecode-1.3.1/gecode/set/convex/conv.cc +0 -81
  911. data/ext/gecode-1.3.1/gecode/set/convex/conv.icc +0 -51
  912. data/ext/gecode-1.3.1/gecode/set/convex/hull.cc +0 -100
  913. data/ext/gecode-1.3.1/gecode/set/convex/hull.icc +0 -52
  914. data/ext/gecode-1.3.1/gecode/set/distinct.cc +0 -48
  915. data/ext/gecode-1.3.1/gecode/set/distinct.hh +0 -97
  916. data/ext/gecode-1.3.1/gecode/set/distinct/atmostOne.cc +0 -151
  917. data/ext/gecode-1.3.1/gecode/set/distinct/atmostOne.icc +0 -50
  918. data/ext/gecode-1.3.1/gecode/set/distinct/binomial.cc +0 -46
  919. data/ext/gecode-1.3.1/gecode/set/distinct/binomial.icc +0 -157
  920. data/ext/gecode-1.3.1/gecode/set/distinct/distinct.cc +0 -124
  921. data/ext/gecode-1.3.1/gecode/set/distinct/distinct.icc +0 -58
  922. data/ext/gecode-1.3.1/gecode/set/dom.cc +0 -224
  923. data/ext/gecode-1.3.1/gecode/set/exception.icc +0 -132
  924. data/ext/gecode-1.3.1/gecode/set/int.cc +0 -139
  925. data/ext/gecode-1.3.1/gecode/set/int.hh +0 -226
  926. data/ext/gecode-1.3.1/gecode/set/int/card.cc +0 -61
  927. data/ext/gecode-1.3.1/gecode/set/int/card.icc +0 -54
  928. data/ext/gecode-1.3.1/gecode/set/int/channel.cc +0 -100
  929. data/ext/gecode-1.3.1/gecode/set/int/channel.icc +0 -75
  930. data/ext/gecode-1.3.1/gecode/set/int/match.cc +0 -148
  931. data/ext/gecode-1.3.1/gecode/set/int/match.icc +0 -67
  932. data/ext/gecode-1.3.1/gecode/set/int/minmax.cc +0 -109
  933. data/ext/gecode-1.3.1/gecode/set/int/minmax.icc +0 -63
  934. data/ext/gecode-1.3.1/gecode/set/int/weights.cc +0 -182
  935. data/ext/gecode-1.3.1/gecode/set/int/weights.icc +0 -174
  936. data/ext/gecode-1.3.1/gecode/set/projectors-compiler.hh +0 -148
  937. data/ext/gecode-1.3.1/gecode/set/projectors.cc +0 -109
  938. data/ext/gecode-1.3.1/gecode/set/projectors.hh +0 -319
  939. data/ext/gecode-1.3.1/gecode/set/projectors/compiler.cc +0 -841
  940. data/ext/gecode-1.3.1/gecode/set/projectors/projector-set.cc +0 -69
  941. data/ext/gecode-1.3.1/gecode/set/projectors/projector-set.icc +0 -66
  942. data/ext/gecode-1.3.1/gecode/set/projectors/projector.cc +0 -125
  943. data/ext/gecode-1.3.1/gecode/set/projectors/projector.icc +0 -79
  944. data/ext/gecode-1.3.1/gecode/set/projectors/propagator.hh +0 -127
  945. data/ext/gecode-1.3.1/gecode/set/projectors/propagator/card.icc +0 -96
  946. data/ext/gecode-1.3.1/gecode/set/projectors/propagator/nary.icc +0 -106
  947. data/ext/gecode-1.3.1/gecode/set/projectors/propagator/re-nary.cc +0 -76
  948. data/ext/gecode-1.3.1/gecode/set/projectors/propagator/re-nary.icc +0 -53
  949. data/ext/gecode-1.3.1/gecode/set/projectors/set-expr.cc +0 -306
  950. data/ext/gecode-1.3.1/gecode/set/projectors/set-expr.icc +0 -192
  951. data/ext/gecode-1.3.1/gecode/set/propagator.icc +0 -96
  952. data/ext/gecode-1.3.1/gecode/set/rel-op-const.cc +0 -233
  953. data/ext/gecode-1.3.1/gecode/set/rel-op.cc +0 -96
  954. data/ext/gecode-1.3.1/gecode/set/rel-op.hh +0 -267
  955. data/ext/gecode-1.3.1/gecode/set/rel-op/common.icc +0 -528
  956. data/ext/gecode-1.3.1/gecode/set/rel-op/inter.icc +0 -312
  957. data/ext/gecode-1.3.1/gecode/set/rel-op/partition.icc +0 -131
  958. data/ext/gecode-1.3.1/gecode/set/rel-op/post.icc +0 -198
  959. data/ext/gecode-1.3.1/gecode/set/rel-op/subofunion.icc +0 -150
  960. data/ext/gecode-1.3.1/gecode/set/rel-op/superofinter.icc +0 -151
  961. data/ext/gecode-1.3.1/gecode/set/rel-op/union.icc +0 -292
  962. data/ext/gecode-1.3.1/gecode/set/rel.cc +0 -201
  963. data/ext/gecode-1.3.1/gecode/set/rel.hh +0 -250
  964. data/ext/gecode-1.3.1/gecode/set/rel/common.icc +0 -109
  965. data/ext/gecode-1.3.1/gecode/set/rel/eq.icc +0 -101
  966. data/ext/gecode-1.3.1/gecode/set/rel/nosubset.icc +0 -88
  967. data/ext/gecode-1.3.1/gecode/set/rel/nq.icc +0 -132
  968. data/ext/gecode-1.3.1/gecode/set/rel/re-eq.icc +0 -142
  969. data/ext/gecode-1.3.1/gecode/set/rel/re-subset.icc +0 -121
  970. data/ext/gecode-1.3.1/gecode/set/rel/subset.icc +0 -80
  971. data/ext/gecode-1.3.1/gecode/set/select.cc +0 -88
  972. data/ext/gecode-1.3.1/gecode/set/select.hh +0 -113
  973. data/ext/gecode-1.3.1/gecode/set/select/disjoint.cc +0 -267
  974. data/ext/gecode-1.3.1/gecode/set/select/disjoint.icc +0 -59
  975. data/ext/gecode-1.3.1/gecode/set/select/idxarray.hh +0 -91
  976. data/ext/gecode-1.3.1/gecode/set/select/idxarray.icc +0 -112
  977. data/ext/gecode-1.3.1/gecode/set/select/inter.icc +0 -300
  978. data/ext/gecode-1.3.1/gecode/set/sequence.cc +0 -48
  979. data/ext/gecode-1.3.1/gecode/set/sequence.hh +0 -97
  980. data/ext/gecode-1.3.1/gecode/set/sequence/common.icc +0 -79
  981. data/ext/gecode-1.3.1/gecode/set/sequence/seq-u.cc +0 -83
  982. data/ext/gecode-1.3.1/gecode/set/sequence/seq-u.icc +0 -63
  983. data/ext/gecode-1.3.1/gecode/set/sequence/seq.cc +0 -61
  984. data/ext/gecode-1.3.1/gecode/set/sequence/seq.icc +0 -53
  985. data/ext/gecode-1.3.1/gecode/set/var-imp.vis +0 -205
  986. data/ext/gecode-1.3.1/gecode/set/var.icc +0 -1090
  987. data/ext/gecode-1.3.1/gecode/set/var/imp-body.icc +0 -192
  988. data/ext/gecode-1.3.1/gecode/set/var/imp-hdr.icc +0 -235
  989. data/ext/gecode-1.3.1/gecode/set/var/imp.cc +0 -127
  990. data/ext/gecode-1.3.1/gecode/set/var/imp.icc +0 -356
  991. data/ext/gecode-1.3.1/gecode/set/var/integerset.cc +0 -256
  992. data/ext/gecode-1.3.1/gecode/set/var/integerset.icc +0 -512
  993. data/ext/gecode-1.3.1/gecode/set/var/iter.icc +0 -47
  994. data/ext/gecode-1.3.1/gecode/set/var/set.cc +0 -99
  995. data/ext/gecode-1.3.1/gecode/set/var/set.icc +0 -282
  996. data/ext/gecode-1.3.1/gecode/set/view.icc +0 -1075
  997. data/ext/gecode-1.3.1/gecode/set/view/complement.icc +0 -525
  998. data/ext/gecode-1.3.1/gecode/set/view/const.icc +0 -651
  999. data/ext/gecode-1.3.1/gecode/set/view/print.cc +0 -120
  1000. data/ext/gecode-1.3.1/gecode/set/view/set.icc +0 -217
  1001. data/ext/gecode-1.3.1/gecode/set/view/singleton.icc +0 -348
  1002. data/ext/gecode-1.3.1/gecode/support/block-allocator.hh +0 -152
  1003. data/ext/gecode-1.3.1/gecode/support/dynamic-array.hh +0 -131
  1004. data/ext/gecode-1.3.1/gecode/support/dynamic-stack.hh +0 -157
  1005. data/ext/gecode-1.3.1/gecode/support/random.hh +0 -100
  1006. data/ext/gecode-1.3.1/gecode/support/shared-array.hh +0 -255
  1007. data/ext/gecode-1.3.1/gecode/support/sort.hh +0 -193
  1008. data/ext/gecode-1.3.1/gecode/support/static-pqueue.hh +0 -240
  1009. data/ext/gecode-1.3.1/gecode/support/static-stack.hh +0 -117
  1010. data/ext/gecode-1.3.1/misc/debian/Makefile.am +0 -8
  1011. data/ext/gecode-1.3.1/misc/debian/copyright +0 -44
  1012. data/ext/gecode-1.3.1/misc/doxygen/stylesheet.css +0 -460
  1013. data/ext/gecode-1.3.1/misc/fixproperties.sh +0 -32
  1014. data/ext/gecode-1.3.1/misc/gecode-minimodel.pc.in +0 -12
  1015. data/ext/gecode-1.3.1/misc/gecode-search.pc.in +0 -12
  1016. data/ext/gecode-1.3.1/misc/gecode.pc.in +0 -12
  1017. data/ext/gecode-1.3.1/misc/genchangelog.perl +0 -190
  1018. data/ext/gecode-1.3.1/misc/genlicense.perl +0 -113
  1019. data/ext/gecode-1.3.1/misc/genstatistics.perl +0 -155
  1020. data/ext/gecode-1.3.1/misc/gentxtchangelog.perl +0 -170
  1021. data/ext/gecode-1.3.1/misc/genvarimp.perl +0 -666
  1022. data/ext/gecode-1.3.1/misc/getrevision.perl +0 -32
  1023. data/ext/gecode-1.3.1/misc/makedepend.perl +0 -66
  1024. data/ext/gecode-1.3.1/test/int.cc +0 -497
  1025. data/ext/gecode-1.3.1/test/int.hh +0 -119
  1026. data/ext/gecode-1.3.1/test/int/arithmetic.cc +0 -262
  1027. data/ext/gecode-1.3.1/test/int/basic.cc +0 -42
  1028. data/ext/gecode-1.3.1/test/int/bool.cc +0 -189
  1029. data/ext/gecode-1.3.1/test/int/channel.cc +0 -79
  1030. data/ext/gecode-1.3.1/test/int/count.cc +0 -264
  1031. data/ext/gecode-1.3.1/test/int/distinct.cc +0 -121
  1032. data/ext/gecode-1.3.1/test/int/dom.cc +0 -69
  1033. data/ext/gecode-1.3.1/test/int/element.cc +0 -132
  1034. data/ext/gecode-1.3.1/test/int/gcc.cc +0 -592
  1035. data/ext/gecode-1.3.1/test/int/linear.cc +0 -315
  1036. data/ext/gecode-1.3.1/test/int/minimodel.cc +0 -451
  1037. data/ext/gecode-1.3.1/test/int/regular.cc +0 -105
  1038. data/ext/gecode-1.3.1/test/int/rel.cc +0 -283
  1039. data/ext/gecode-1.3.1/test/int/scheduling.cc +0 -259
  1040. data/ext/gecode-1.3.1/test/int/sortedness.cc +0 -272
  1041. data/ext/gecode-1.3.1/test/intset.cc +0 -40
  1042. data/ext/gecode-1.3.1/test/log.cc +0 -515
  1043. data/ext/gecode-1.3.1/test/log.hh +0 -68
  1044. data/ext/gecode-1.3.1/test/set.cc +0 -542
  1045. data/ext/gecode-1.3.1/test/set.hh +0 -152
  1046. data/ext/gecode-1.3.1/test/set/convex.cc +0 -94
  1047. data/ext/gecode-1.3.1/test/set/distinct.cc +0 -148
  1048. data/ext/gecode-1.3.1/test/set/dom.cc +0 -67
  1049. data/ext/gecode-1.3.1/test/set/int.cc +0 -249
  1050. data/ext/gecode-1.3.1/test/set/projection.cc +0 -333
  1051. data/ext/gecode-1.3.1/test/set/rel-op.cc +0 -662
  1052. data/ext/gecode-1.3.1/test/set/rel.cc +0 -198
  1053. data/ext/gecode-1.3.1/test/set/select.cc +0 -108
  1054. data/ext/gecode-1.3.1/test/set/sequence.cc +0 -83
  1055. data/ext/gecode-1.3.1/test/stress.cc +0 -93
  1056. data/ext/gecode-1.3.1/test/stress.hh +0 -74
  1057. data/ext/gecode-1.3.1/test/stress/distinct.cc +0 -70
  1058. data/ext/gecode-1.3.1/test/stress/domain.cc +0 -69
  1059. data/ext/gecode-1.3.1/test/stress/exec.cc +0 -60
  1060. data/ext/gecode-1.3.1/test/stress/minsort.cc +0 -63
  1061. data/ext/gecode-1.3.1/test/stress/regular.cc +0 -112
  1062. data/ext/gecode-1.3.1/test/test.cc +0 -215
  1063. data/ext/gecode-1.3.1/test/test.hh +0 -107
@@ -0,0 +1,245 @@
1
+ /*
2
+ * Main authors:
3
+ * Guido Tack <tack@gecode.org>
4
+ *
5
+ * Copyright:
6
+ * Guido Tack, 2006
7
+ *
8
+ * Last modified:
9
+ * $Date: 2008-03-04 13:25:21 +0100 (Tue, 04 Mar 2008) $ by $Author: tack $
10
+ * $Revision: 6404 $
11
+ *
12
+ * This file is part of Gecode, the generic constraint
13
+ * development environment:
14
+ * http://www.gecode.org
15
+ *
16
+ * Permission is hereby granted, free of charge, to any person obtaining
17
+ * a copy of this software and associated documentation files (the
18
+ * "Software"), to deal in the Software without restriction, including
19
+ * without limitation the rights to use, copy, modify, merge, publish,
20
+ * distribute, sublicense, and/or sell copies of the Software, and to
21
+ * permit persons to whom the Software is furnished to do so, subject to
22
+ * the following conditions:
23
+ *
24
+ * The above copyright notice and this permission notice shall be
25
+ * included in all copies or substantial portions of the Software.
26
+ *
27
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
28
+ * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
29
+ * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
30
+ * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
31
+ * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
32
+ * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
33
+ * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
34
+ *
35
+ */
36
+
37
+ #include "gecode/gist/drawingcursor.hh"
38
+
39
+ namespace Gecode { namespace Gist {
40
+
41
+ /// Red color for failed nodes
42
+ const QColor DrawingCursor::red(218, 37, 29);
43
+ /// Green color for solved nodes
44
+ const QColor DrawingCursor::green(11, 118, 70);
45
+ /// Blue color for choice nodes
46
+ const QColor DrawingCursor::blue(0, 92, 161);
47
+ /// Orange color for best solutions
48
+ const QColor DrawingCursor::orange(235, 137, 27);
49
+
50
+ /// Red color for expanded failed nodes
51
+ const QColor DrawingCursor::lightRed(218, 37, 29, 120);
52
+ /// Green color for expanded solved nodes
53
+ const QColor DrawingCursor::lightGreen(11, 118, 70, 120);
54
+ /// Blue color for expanded choice nodes
55
+ const QColor DrawingCursor::lightBlue(0, 92, 161, 120);
56
+
57
+ DrawingCursor::DrawingCursor(Gist::VisualNode* root, QPainter& painter0,
58
+ bool heat,
59
+ const QRect& clippingRect0)
60
+ : NodeCursor<VisualNode>(root), painter(painter0),
61
+ clippingRect(clippingRect0), x(0), y(0), heatView(heat) {}
62
+
63
+ void
64
+ DrawingCursor::moveUpwards(void) {
65
+ x -= node()->getOffset();
66
+ y -= 38;
67
+ NodeCursor<VisualNode>::moveUpwards();
68
+ }
69
+
70
+ bool
71
+ DrawingCursor::mayMoveDownwards(void) {
72
+ return NodeCursor<VisualNode>::mayMoveDownwards() &&
73
+ !node()->isHidden() &&
74
+ node()->childrenLayoutIsDone() &&
75
+ !isClipped();
76
+ }
77
+
78
+ void
79
+ DrawingCursor::moveDownwards(void) {
80
+ NodeCursor<VisualNode>::moveDownwards();
81
+ x += node()->getOffset();
82
+ y += 38;
83
+ }
84
+
85
+ void
86
+ DrawingCursor::moveSidewards(void) {
87
+ x -= node()->getOffset();
88
+ NodeCursor<VisualNode>::moveSidewards();
89
+ x += node()->getOffset();
90
+ }
91
+
92
+ bool
93
+ DrawingCursor::isClipped(void) {
94
+ if (clippingRect.width() == 0 && clippingRect.x() == 0
95
+ && clippingRect.height() == 0 && clippingRect.y() == 0)
96
+ return false;
97
+ BoundingBox b = node()->getBoundingBox();
98
+ return (x + b.left > clippingRect.x() + clippingRect.width() ||
99
+ x + b.right < clippingRect.x() ||
100
+ y > clippingRect.y() + clippingRect.height() ||
101
+ y + (b.depth+1) * 38 < clippingRect.y());
102
+ }
103
+
104
+ void
105
+ DrawingCursor::processCurrentNode(void) {
106
+ Gist::VisualNode* n = node();
107
+ int parentX = x - (n->getOffset());
108
+ int parentY = y - 38 + 20;
109
+
110
+ int myx = x;
111
+ int myy = y;
112
+
113
+ // Calculate HSV hue level from heat
114
+ int heat = (240 + static_cast<int>(((n->getHeat() / 256.0) * 180.0))) % 360;
115
+
116
+ if (! n->isRoot()) {
117
+ if (heatView) {
118
+ if (n->isOnPath())
119
+ painter.setPen(Qt::green);
120
+ else
121
+ painter.setPen(Qt::gray);
122
+ } else {
123
+ if (n->isOnPath())
124
+ painter.setPen(Qt::red);
125
+ else
126
+ painter.setPen(Qt::black);
127
+ }
128
+ QPainterPath path;
129
+ path.moveTo(myx,myy);
130
+ path.lineTo(parentX,parentY);
131
+ painter.drawPath(path);
132
+ }
133
+
134
+ // draw shadow
135
+ int shadowOffset = 3;
136
+ if (n->isMarked()) {
137
+ painter.setBrush(Qt::gray);
138
+ painter.setPen(Qt::NoPen);
139
+ if (n->isHidden()) {
140
+ QPoint points[3] = {QPoint(myx+shadowOffset,myy+shadowOffset),
141
+ QPoint(myx+20+shadowOffset,myy+60+shadowOffset),
142
+ QPoint(myx-20+shadowOffset,myy+60+shadowOffset),
143
+ };
144
+ painter.drawConvexPolygon(points, 3);
145
+
146
+ } else {
147
+ switch (n->getStatus()) {
148
+ case Gist::STEP:
149
+ case Gist::SPECIAL:
150
+ painter.drawEllipse(myx-5+shadowOffset, myy+shadowOffset, 10, 20);
151
+ break;
152
+ case Gist::SOLVED:
153
+ {
154
+ QPoint points[4] = {QPoint(myx+shadowOffset,myy+shadowOffset),
155
+ QPoint(myx+10+shadowOffset,myy+10+shadowOffset),
156
+ QPoint(myx+shadowOffset,myy+20+shadowOffset),
157
+ QPoint(myx-10+shadowOffset,myy+10+shadowOffset)
158
+ };
159
+ painter.drawConvexPolygon(points, 4);
160
+ }
161
+ break;
162
+ case Gist::FAILED:
163
+ painter.drawRect(myx-7+shadowOffset, myy+shadowOffset, 14, 14);
164
+ break;
165
+ case Gist::BRANCH:
166
+ painter.drawEllipse(myx-10+shadowOffset, myy+shadowOffset, 20, 20);
167
+ break;
168
+ case Gist::UNDETERMINED:
169
+ painter.drawEllipse(myx-10+shadowOffset, myy+shadowOffset, 20, 20);
170
+ break;
171
+ }
172
+ }
173
+ }
174
+
175
+ painter.setPen(Qt::SolidLine);
176
+ if (n->isHidden()) {
177
+ painter.setBrush(QBrush(red));
178
+ QPoint points[3] = {QPoint(myx,myy),
179
+ QPoint(myx+20,myy+60),
180
+ QPoint(myx-20,myy+60),
181
+ };
182
+ painter.drawConvexPolygon(points, 3);
183
+ } else {
184
+ switch (n->getStatus()) {
185
+ case Gist::STEP:
186
+ case Gist::SPECIAL:
187
+ painter.setBrush(Qt::yellow);
188
+ painter.drawEllipse(myx-5, myy+10, 10, 10);
189
+ if (heatView) {
190
+ if (n->isOnPath())
191
+ painter.setPen(Qt::green);
192
+ else
193
+ painter.setPen(Qt::gray);
194
+ } else {
195
+ if (n->isOnPath())
196
+ painter.setPen(Qt::red);
197
+ else
198
+ painter.setPen(Qt::black);
199
+ }
200
+ painter.drawLine(myx, myy, myx, myy+10);
201
+ break;
202
+ case Gist::SOLVED:
203
+ {
204
+ if (heatView) {
205
+ painter.setBrush(QBrush(QColor::fromHsv(heat,255,255)));
206
+ } else if (n->isCurrentBest()) {
207
+ painter.setBrush(QBrush(orange));
208
+ } else {
209
+ painter.setBrush(QBrush(green));
210
+ }
211
+ QPoint points[4] = {QPoint(myx,myy),
212
+ QPoint(myx+10,myy+10),
213
+ QPoint(myx,myy+20),
214
+ QPoint(myx-10,myy+10)
215
+ };
216
+ painter.drawConvexPolygon(points, 4);
217
+ }
218
+ break;
219
+ case Gist::FAILED:
220
+ if (heatView)
221
+ painter.setBrush(QBrush(QColor::fromHsv(heat,255,255)));
222
+ else
223
+ painter.setBrush(QBrush(red));
224
+ painter.drawRect(myx-7, myy, 14, 14);
225
+ break;
226
+ case Gist::BRANCH:
227
+ if (heatView)
228
+ painter.setBrush(QBrush(QColor::fromHsv(heat,255,255)));
229
+ else
230
+ painter.setBrush(QBrush(blue));
231
+ painter.drawEllipse(myx-10, myy, 20, 20);
232
+ break;
233
+ case Gist::UNDETERMINED:
234
+ painter.setBrush(Qt::white);
235
+ painter.drawEllipse(myx-10, myy, 20, 20);
236
+ break;
237
+ }
238
+
239
+ }
240
+
241
+ }
242
+
243
+ }}
244
+
245
+ // STATISTICS: gist-any
@@ -0,0 +1,101 @@
1
+ /*
2
+ * Main authors:
3
+ * Guido Tack <tack@gecode.org>
4
+ *
5
+ * Copyright:
6
+ * Guido Tack, 2006
7
+ *
8
+ * Last modified:
9
+ * $Date: 2008-02-19 11:05:15 +0100 (Tue, 19 Feb 2008) $ by $Author: tack $
10
+ * $Revision: 6231 $
11
+ *
12
+ * This file is part of Gecode, the generic constraint
13
+ * development environment:
14
+ * http://www.gecode.org
15
+ *
16
+ * Permission is hereby granted, free of charge, to any person obtaining
17
+ * a copy of this software and associated documentation files (the
18
+ * "Software"), to deal in the Software without restriction, including
19
+ * without limitation the rights to use, copy, modify, merge, publish,
20
+ * distribute, sublicense, and/or sell copies of the Software, and to
21
+ * permit persons to whom the Software is furnished to do so, subject to
22
+ * the following conditions:
23
+ *
24
+ * The above copyright notice and this permission notice shall be
25
+ * included in all copies or substantial portions of the Software.
26
+ *
27
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
28
+ * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
29
+ * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
30
+ * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
31
+ * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
32
+ * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
33
+ * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
34
+ *
35
+ */
36
+
37
+ #ifndef GECODE_GIST_QT_DRAWINGCURSOR_HH
38
+ #define GECODE_GIST_QT_DRAWINGCURSOR_HH
39
+
40
+ #include "gecode/gist/nodecursor.hh"
41
+ #include <QtGui>
42
+
43
+ namespace Gecode { namespace Gist {
44
+
45
+ /// \brief A cursor that draws a tree on a QWidget
46
+ class DrawingCursor : public Gist::NodeCursor<VisualNode> {
47
+ private:
48
+ /// The painter where the tree is drawn
49
+ QPainter& painter;
50
+ /// The clipping area
51
+ QRect clippingRect;
52
+ /// The current coordinates
53
+ int x, y;
54
+
55
+ /// Whether to draw heat view
56
+ bool heatView;
57
+
58
+ /// Test if current node is clipped
59
+ bool isClipped(void);
60
+ public:
61
+ /// The color for failed nodes
62
+ static const QColor red;
63
+ /// The color for solved nodes
64
+ static const QColor green;
65
+ /// The color for choice nodes
66
+ static const QColor blue;
67
+ /// The color for the best solution
68
+ static const QColor orange;
69
+
70
+ /// The color for expanded failed nodes
71
+ static const QColor lightRed;
72
+ /// The color for expanded solved nodes
73
+ static const QColor lightGreen;
74
+ /// The color for expanded choice nodes
75
+ static const QColor lightBlue;
76
+
77
+ /// Constructor
78
+ DrawingCursor(Gist::VisualNode* root, QPainter& painter0,
79
+ bool heat,
80
+ const QRect& clippingRect0);
81
+
82
+ ///\name Cursor interface
83
+ //@{
84
+ /// Move cursor to parent
85
+ void moveUpwards(void);
86
+ /// Test if cursor may move to child
87
+ bool mayMoveDownwards(void);
88
+ /// Move cursor to child
89
+ void moveDownwards(void);
90
+ /// Move cursor to sibling
91
+ void moveSidewards(void);
92
+ /// Draw the node
93
+ void processCurrentNode(void);
94
+ //@}
95
+ };
96
+
97
+ }}
98
+
99
+ #endif
100
+
101
+ // STATISTICS: gist-any
@@ -0,0 +1,522 @@
1
+ /*
2
+ * Main authors:
3
+ * Guido Tack <tack@gecode.org>
4
+ *
5
+ * Copyright:
6
+ * Guido Tack, 2006
7
+ *
8
+ * Last modified:
9
+ * $Date: 2008-01-13 13:20:50 +0100 (Sun, 13 Jan 2008) $ by $Author: schulte $
10
+ * $Revision: 5857 $
11
+ *
12
+ * This file is part of Gecode, the generic constraint
13
+ * development environment:
14
+ * http://www.gecode.org
15
+ *
16
+ * Permission is hereby granted, free of charge, to any person obtaining
17
+ * a copy of this software and associated documentation files (the
18
+ * "Software"), to deal in the Software without restriction, including
19
+ * without limitation the rights to use, copy, modify, merge, publish,
20
+ * distribute, sublicense, and/or sell copies of the Software, and to
21
+ * permit persons to whom the Software is furnished to do so, subject to
22
+ * the following conditions:
23
+ *
24
+ * The above copyright notice and this permission notice shall be
25
+ * included in all copies or substantial portions of the Software.
26
+ *
27
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
28
+ * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
29
+ * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
30
+ * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
31
+ * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
32
+ * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
33
+ * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
34
+ *
35
+ */
36
+
37
+ namespace Gecode { namespace Gist {
38
+
39
+ const unsigned char logo[] = {
40
+ 0x89, 0x50, 0x4e, 0x47, 0xd, 0xa, 0x1a, 0xa, 0x0, 0x0, 0x0,
41
+ 0xd, 0x49, 0x48, 0x44, 0x52, 0x0, 0x0, 0x0, 0x5d, 0x0, 0x0,
42
+ 0x0, 0x3c, 0x8, 0x2, 0x0, 0x0, 0x0, 0x8b, 0xbb, 0x21, 0x6b,
43
+ 0x0, 0x0, 0x0, 0x9, 0x70, 0x48, 0x59, 0x73, 0x0, 0x0, 0xf,
44
+ 0x61, 0x0, 0x0, 0xf, 0x61, 0x1, 0xa8, 0x3f, 0xa7, 0x69, 0x0,
45
+ 0x0, 0x0, 0x7, 0x74, 0x49, 0x4d, 0x45, 0x7, 0xd5, 0xa, 0x1a,
46
+ 0x9, 0x14, 0x36, 0x15, 0xf6, 0xf1, 0x25, 0x0, 0x0, 0x14, 0x24,
47
+ 0x49, 0x44, 0x41, 0x54, 0x78, 0xda, 0xdd, 0x9c, 0x79, 0x5c, 0x55,
48
+ 0x75, 0xfa, 0xc7, 0x9f, 0xef, 0xf9, 0x9e, 0x73, 0xee, 0xc2, 0xbe,
49
+ 0x9, 0xb2, 0x2b, 0x2e, 0x2c, 0xa, 0xa8, 0xa8, 0x80, 0x8, 0x24,
50
+ 0xa2, 0x32, 0x56, 0x6a, 0x69, 0x9a, 0x9a, 0x99, 0xd3, 0xaf, 0x5e,
51
+ 0xad, 0x66, 0x8d, 0x96, 0x56, 0x2e, 0x53, 0xcd, 0xf4, 0xfa, 0xfd,
52
+ 0x9a, 0x26, 0x2d, 0xb7, 0x69, 0x6, 0xcb, 0x66, 0x71, 0xd4, 0x14,
53
+ 0x6b, 0x4c, 0x33, 0x35, 0x10, 0x5c, 0xc3, 0x25, 0x54, 0x4, 0xc,
54
+ 0x59, 0x2e, 0x3b, 0xc2, 0x85, 0xcb, 0xe5, 0x2e, 0x67, 0xfb, 0xfe,
55
+ 0xfe, 0x38, 0x80, 0x7a, 0x77, 0x90, 0xa6, 0xf9, 0xfd, 0xce, 0x5f,
56
+ 0x87, 0x73, 0xcf, 0x72, 0xef, 0xfb, 0x3c, 0xdf, 0xe7, 0xf9, 0x3c,
57
+ 0xcf, 0xf7, 0xf9, 0x82, 0x8, 0x21, 0xf0, 0x4b, 0x6c, 0x84, 0x10,
58
+ 0x5e, 0x24, 0x14, 0x85, 0x68, 0xa, 0xf5, 0xf7, 0x5a, 0x5e, 0x14,
59
+ 0xf2, 0xae, 0x16, 0x7e, 0x75, 0xfd, 0xc, 0x85, 0xd0, 0xbc, 0x31,
60
+ 0x53, 0x1f, 0x1e, 0x3b, 0x85, 0x42, 0xd4, 0xe0, 0x7e, 0x3d, 0xf4,
61
+ 0x8b, 0x70, 0x69, 0xec, 0x30, 0x7e, 0x74, 0xb4, 0xf4, 0x54, 0x59,
62
+ 0x73, 0xa0, 0x97, 0xea, 0x99, 0x7, 0x46, 0x66, 0xc5, 0xd, 0x55,
63
+ 0x30, 0xd8, 0xc5, 0x6b, 0x4d, 0x3c, 0xf7, 0xde, 0x77, 0xbb, 0x3f,
64
+ 0x2e, 0x3c, 0x20, 0x48, 0x22, 0x0, 0x20, 0x80, 0xb5, 0xd3, 0x97,
65
+ 0xae, 0xc9, 0x5a, 0x4c, 0x53, 0xf8, 0xff, 0x36, 0x97, 0x4e, 0x3,
66
+ 0xf7, 0xc8, 0xe6, 0xfc, 0x93, 0xa5, 0x4d, 0xf2, 0x9f, 0x34, 0x46,
67
+ 0xf, 0x8d, 0xb, 0x7b, 0x7b, 0x6e, 0x7c, 0x42, 0xb8, 0xf, 0x85,
68
+ 0x9c, 0xd8, 0x8e, 0x91, 0x37, 0xff, 0xee, 0xbb, 0x2f, 0xb6, 0x14,
69
+ 0x1e, 0x10, 0x25, 0xb1, 0xef, 0x20, 0xa6, 0xa8, 0x35, 0xd3, 0x16,
70
+ 0xaf, 0x9e, 0xf6, 0x38, 0x8b, 0xe9, 0xc1, 0xfa, 0x92, 0x78, 0xe3,
71
+ 0xc6, 0x8d, 0x3, 0x1f, 0xb, 0x66, 0x9d, 0xd4, 0x59, 0x43, 0xcc,
72
+ 0x3a, 0x84, 0x19, 0x84, 0x59, 0xd7, 0x86, 0xf, 0x6c, 0x3b, 0x51,
73
+ 0xbe, 0xf3, 0x64, 0x45, 0xdf, 0x11, 0x89, 0x40, 0x59, 0x43, 0xe7,
74
+ 0x9e, 0x73, 0xd5, 0xed, 0x7a, 0x2e, 0x36, 0xc4, 0xdb, 0x53, 0xc5,
75
+ 0x38, 0x80, 0xf2, 0xde, 0x77, 0x5f, 0x7c, 0x72, 0x2f, 0x14, 0x79,
76
+ 0x48, 0x9e, 0xaf, 0x29, 0x25, 0x84, 0x4c, 0x8e, 0x88, 0x1d, 0x2c,
77
+ 0xab, 0x19, 0xb8, 0xbd, 0x8, 0x8d, 0x97, 0xf5, 0xc7, 0xd7, 0x8b,
78
+ 0xb7, 0xcb, 0x0, 0xb3, 0xd8, 0x67, 0x18, 0x1d, 0x3c, 0x81, 0xd,
79
+ 0x4f, 0xc5, 0x1, 0xd1, 0xd8, 0x33, 0x4, 0x28, 0xbb, 0xef, 0x4d,
80
+ 0xd3, 0xd6, 0x9d, 0xb4, 0xfe, 0x70, 0x8b, 0xce, 0x64, 0xf3, 0xd3,
81
+ 0x11, 0x81, 0x1e, 0xbf, 0xf9, 0x55, 0xdc, 0xa2, 0xe4, 0x48, 0x2f,
82
+ 0xb5, 0x25, 0x65, 0xb3, 0xc0, 0xbd, 0xf3, 0xed, 0xee, 0x8f, 0x8b,
83
+ 0x2c, 0xa1, 0xf4, 0x6d, 0x2c, 0xa6, 0x57, 0x65, 0x3e, 0xb6, 0x66,
84
+ 0xda, 0xe3, 0xa, 0x9a, 0xfd, 0xc5, 0xb8, 0x10, 0xc1, 0xd4, 0xf1,
85
+ 0x79, 0x8e, 0xd8, 0x76, 0xf3, 0xde, 0x9b, 0x51, 0x94, 0x5b, 0x0,
86
+ 0xf6, 0x19, 0xce, 0x84, 0xa7, 0x30, 0xa1, 0x93, 0xb1, 0xff, 0x48,
87
+ 0xca, 0x2d, 0x0, 0xe0, 0x9e, 0xa1, 0xf1, 0x4c, 0xee, 0xd9, 0x4f,
88
+ 0xbf, 0xbf, 0xe9, 0xc8, 0x80, 0x29, 0x94, 0x3a, 0x72, 0xc8, 0xda,
89
+ 0x87, 0xc6, 0x4c, 0x1f, 0x33, 0x94, 0xc1, 0x54, 0x9f, 0xa3, 0xdd,
90
+ 0x70, 0x24, 0x77, 0xeb, 0xe9, 0x83, 0xa2, 0x24, 0x39, 0xb8, 0x96,
91
+ 0xa5, 0x99, 0x55, 0x19, 0xb, 0xd6, 0x4c, 0x5b, 0xac, 0xa0, 0x99,
92
+ 0xfb, 0xe4, 0x32, 0xc0, 0x1, 0xc9, 0xd7, 0xfd, 0x60, 0x9, 0x5,
93
+ 0x0, 0x88, 0x24, 0xe9, 0x9b, 0x25, 0x7d, 0x33, 0xaf, 0x39, 0xb,
94
+ 0x98, 0xa5, 0xdc, 0x3, 0xe9, 0x80, 0x68, 0x36, 0xfa, 0x21, 0x65,
95
+ 0xcc, 0x5c, 0x40, 0x14, 0x0, 0x5c, 0xa8, 0xbc, 0xfd, 0x45, 0xd1,
96
+ 0x2d, 0xc7, 0x77, 0x16, 0x25, 0x52, 0x54, 0xd1, 0xfc, 0xf7, 0xb3,
97
+ 0xea, 0xcc, 0x98, 0x20, 0xd9, 0x17, 0xf3, 0xa2, 0xb0, 0xe1, 0xe8,
98
+ 0x2e, 0xa7, 0x50, 0x0, 0x80, 0x13, 0xf8, 0x3f, 0x16, 0xec, 0x3,
99
+ 0x80, 0xfb, 0x47, 0x73, 0x87, 0xb, 0xe1, 0x38, 0x70, 0x6c, 0x3b,
100
+ 0x8, 0x21, 0xb6, 0xc7, 0x44, 0xf9, 0xea, 0x53, 0x4e, 0x6e, 0x2c,
101
+ 0x72, 0x52, 0xa7, 0x86, 0xd3, 0x35, 0x30, 0x11, 0x53, 0x1, 0x21,
102
+ 0x0, 0x10, 0x44, 0x69, 0xed, 0xde, 0x4b, 0x26, 0x5e, 0x74, 0x62,
103
+ 0xc0, 0x8, 0x1e, 0x1e, 0x1f, 0xf6, 0xc7, 0x25, 0x13, 0x55, 0x2c,
104
+ 0xee, 0xb3, 0x94, 0x6d, 0xa7, 0xf3, 0x9c, 0x42, 0xb9, 0x83, 0x26,
105
+ 0x7f, 0x2f, 0x0, 0xbc, 0x9e, 0xb5, 0xe4, 0x7e, 0xdc, 0x30, 0xd,
106
+ 0x84, 0xe8, 0x4f, 0x1e, 0x6f, 0xff, 0xe4, 0x23, 0xa1, 0xa9, 0xd1,
107
+ 0xf1, 0xa9, 0xaa, 0x49, 0x93, 0x83, 0x3e, 0xd8, 0x82, 0x18, 0x6,
108
+ 0x0, 0xf8, 0x9a, 0x42, 0x97, 0xee, 0x1e, 0x14, 0xaf, 0x1c, 0x33,
109
+ 0x5f, 0x1e, 0x4a, 0x7b, 0xcf, 0xd7, 0x14, 0x96, 0xb7, 0x38, 0x81,
110
+ 0x2, 0xf0, 0x60, 0x62, 0x68, 0xee, 0xd3, 0xa9, 0xbe, 0xee, 0xa,
111
+ 0x19, 0xca, 0xfa, 0x23, 0x7f, 0xd9, 0x7e, 0xfa, 0x90, 0x20, 0x89,
112
+ 0xae, 0xff, 0x24, 0x4e, 0x14, 0xfe, 0xf0, 0xfd, 0x3f, 0x9, 0x81,
113
+ 0x75, 0xd9, 0x4b, 0x7, 0xec, 0x86, 0x69, 0x63, 0xf1, 0x85, 0xa6,
114
+ 0x95, 0xcf, 0x13, 0xce, 0xec, 0xf4, 0x54, 0x36, 0x6a, 0xa4, 0xc,
115
+ 0x45, 0xd2, 0x37, 0x8b, 0xb7, 0x2b, 0x9c, 0xbb, 0x2e, 0x5a, 0xa9,
116
+ 0x4e, 0x79, 0x19, 0x29, 0x3c, 0x1, 0x40, 0xdb, 0xcd, 0xbd, 0x93,
117
+ 0x57, 0xc2, 0x8b, 0x4e, 0xde, 0xf9, 0xac, 0x84, 0x90, 0xbf, 0x3e,
118
+ 0x37, 0x55, 0xe, 0x49, 0xbc, 0x28, 0x6c, 0x38, 0x9a, 0xdb, 0x5f,
119
+ 0x28, 0x3d, 0x31, 0x41, 0x12, 0x3f, 0xf8, 0x7e, 0xf, 0x0, 0x79,
120
+ 0x7b, 0xc6, 0x93, 0x8, 0xa1, 0x81, 0x70, 0xe9, 0xd8, 0xbd, 0xcb,
121
+ 0x15, 0x28, 0x88, 0xa6, 0xd5, 0xc9, 0xa9, 0x3d, 0x2f, 0xa4, 0xf6,
122
+ 0xc, 0x91, 0x78, 0xa7, 0x97, 0x30, 0x51, 0x59, 0x6c, 0x54, 0x16,
123
+ 0x0, 0x10, 0x80, 0xcd, 0xdf, 0x96, 0x96, 0x37, 0x75, 0x3a, 0x3e,
124
+ 0x3f, 0x27, 0x21, 0x64, 0xff, 0xcb, 0x19, 0x6a, 0x96, 0x96, 0xa3,
125
+ 0xcf, 0xc6, 0xa3, 0xbb, 0xb6, 0x16, 0xe5, 0x49, 0x44, 0x1a, 0xd8,
126
+ 0xb, 0x97, 0x88, 0xf4, 0xdf, 0x27, 0xff, 0x41, 0x0, 0xde, 0xca,
127
+ 0x5e, 0x86, 0xa9, 0x7e, 0xab, 0x61, 0x5a, 0x6c, 0xbb, 0xed, 0xd2,
128
+ 0x79, 0xc1, 0x21, 0x4c, 0xe4, 0xb0, 0x9e, 0xb7, 0x51, 0x73, 0x1a,
129
+ 0x9c, 0x45, 0x31, 0xa4, 0xf4, 0x56, 0xa7, 0xae, 0x92, 0xdd, 0xed,
130
+ 0x8d, 0xfa, 0x8e, 0xed, 0x27, 0x2a, 0x1c, 0x5c, 0x81, 0x10, 0xfc,
131
+ 0x2a, 0x21, 0x74, 0xcf, 0xb, 0xe9, 0x32, 0x14, 0x23, 0x6f, 0x7e,
132
+ 0xe7, 0xd8, 0xee, 0x6d, 0xf7, 0x1, 0xa5, 0x6f, 0xfb, 0xc3, 0xf7,
133
+ 0x7b, 0x64, 0x41, 0xcc, 0xf4, 0xd3, 0xd7, 0xb8, 0x7a, 0x36, 0x3b,
134
+ 0x2a, 0x9a, 0xf6, 0xf, 0x0, 0x0, 0x22, 0xf1, 0x9c, 0xe6, 0xac,
135
+ 0x33, 0xeb, 0x42, 0xca, 0x84, 0x25, 0x74, 0x40, 0x34, 0x0, 0xf0,
136
+ 0xa2, 0xf4, 0xfe, 0xd7, 0xd7, 0xec, 0x9, 0x16, 0x19, 0xca, 0x43,
137
+ 0xe3, 0xc2, 0x3e, 0x7f, 0x76, 0x8a, 0xbb, 0xb2, 0x7, 0xca, 0xbb,
138
+ 0xc7, 0x76, 0x6f, 0x2d, 0x3c, 0x20, 0x3a, 0x84, 0xa2, 0xa0, 0x19,
139
+ 0x15, 0xa3, 0x50, 0xd0, 0xc, 0xa6, 0x30, 0x2, 0x24, 0x4a, 0xa2,
140
+ 0x48, 0x24, 0x4e, 0xe0, 0xd, 0xbc, 0x99, 0x17, 0x85, 0xbb, 0xac,
141
+ 0x86, 0x7c, 0x98, 0xbf, 0x97, 0x0, 0xac, 0xcd, 0x5a, 0xc2, 0xf6,
142
+ 0x27, 0x42, 0xb9, 0xca, 0x45, 0x9d, 0x92, 0xa, 0x14, 0x5, 0x0,
143
+ 0x62, 0x6b, 0x39, 0xe9, 0x76, 0xe2, 0x3e, 0x29, 0xcf, 0x50, 0xd5,
144
+ 0xc4, 0x67, 0xe5, 0xfd, 0x93, 0xa5, 0x4d, 0x7, 0x2f, 0xd6, 0x3a,
145
+ 0x8, 0x71, 0x73, 0x27, 0x84, 0x7d, 0xfa, 0xeb, 0x14, 0x6f, 0x35,
146
+ 0xb, 0x0, 0x26, 0xde, 0xfc, 0xee, 0xb1, 0xdd, 0x9f, 0xd8, 0x81,
147
+ 0xc2, 0x62, 0x26, 0xdc, 0x67, 0xc8, 0xf8, 0xd0, 0x51, 0x93, 0x22,
148
+ 0x62, 0x46, 0x7, 0x84, 0x7, 0x78, 0x78, 0x7b, 0x2b, 0xdd, 0x15,
149
+ 0x34, 0x83, 0x29, 0xca, 0x2c, 0xf0, 0x26, 0x9e, 0xd3, 0x99, 0xbb,
150
+ 0x9b, 0x74, 0xed, 0x35, 0xed, 0x4d, 0x3f, 0x68, 0xca, 0x2f, 0xd7,
151
+ 0x55, 0x54, 0x6b, 0x9b, 0x4c, 0x3c, 0x27, 0x48, 0xe2, 0x47, 0x5,
152
+ 0xfb, 0x0, 0xe0, 0x8d, 0xac, 0xc5, 0xae, 0x4b, 0x3e, 0x97, 0xb8,
153
+ 0x50, 0x6e, 0xee, 0xca, 0x84, 0x71, 0x3d, 0x11, 0xba, 0xbe, 0x98,
154
+ 0x8, 0x26, 0xc7, 0xd6, 0xa2, 0x4e, 0x5d, 0x45, 0xa9, 0x7d, 0x1,
155
+ 0xa0, 0xd3, 0xc8, 0xbf, 0xff, 0xf5, 0x55, 0xbd, 0x49, 0xb0, 0x7d,
156
+ 0x5b, 0x84, 0xe6, 0x26, 0x85, 0xed, 0x7c, 0x2a, 0xd9, 0xcf, 0x5d,
157
+ 0x1, 0x0, 0x66, 0x81, 0xdf, 0xf4, 0xed, 0x67, 0xdb, 0x8a, 0xf2,
158
+ 0xac, 0xa1, 0x78, 0x29, 0xdd, 0x66, 0x44, 0x4f, 0x5c, 0x34, 0x2e,
159
+ 0x2b, 0x29, 0x2c, 0xda, 0xcf, 0xcd, 0xd3, 0xc1, 0xb3, 0x13, 0x82,
160
+ 0x1, 0x0, 0x9e, 0x1, 0xe8, 0x32, 0x19, 0x8a, 0x35, 0x65, 0xb,
161
+ 0x3e, 0xdf, 0x60, 0xe2, 0x39, 0x5e, 0x14, 0x36, 0x17, 0xec, 0x3,
162
+ 0x80, 0xd7, 0xb3, 0x16, 0x2b, 0x5d, 0x43, 0xe3, 0x12, 0x17, 0x7a,
163
+ 0xe8, 0x50, 0x76, 0x78, 0x54, 0xf, 0x97, 0x9a, 0x22, 0xc7, 0xce,
164
+ 0x85, 0xe, 0x1e, 0xaf, 0x8c, 0x9d, 0x27, 0xef, 0xef, 0x3d, 0x57,
165
+ 0x55, 0x64, 0x27, 0x36, 0x53, 0x8, 0xcd, 0x4b, 0xa, 0xdb, 0xbe,
166
+ 0x3c, 0xd9, 0xdf, 0x43, 0x29, 0x7, 0xd7, 0x8d, 0x47, 0x73, 0xad,
167
+ 0x1d, 0x2d, 0x83, 0xe9, 0x5f, 0xc5, 0x24, 0xbf, 0x9a, 0xf9, 0xd8,
168
+ 0xb8, 0xd0, 0x91, 0xfd, 0x2a, 0x26, 0x78, 0x28, 0xd5, 0x43, 0xbd,
169
+ 0xfc, 0xfb, 0xc6, 0x14, 0x27, 0xa, 0x9b, 0xb, 0xf6, 0xbb, 0x6e,
170
+ 0x35, 0x2e, 0x71, 0x51, 0xc6, 0x27, 0x52, 0xee, 0x1e, 0x0, 0x20,
171
+ 0x99, 0x3a, 0x84, 0xe6, 0xab, 0xe, 0x4d, 0x8b, 0x71, 0xcb, 0x58,
172
+ 0x7, 0x98, 0x1, 0x80, 0xba, 0x76, 0xc3, 0x7, 0xdf, 0x94, 0xa,
173
+ 0x12, 0xb1, 0xe9, 0x53, 0xe6, 0x4e, 0x8, 0xdb, 0xf1, 0x54, 0x1f,
174
+ 0x14, 0x7e, 0xc3, 0x91, 0x5d, 0xdb, 0x4e, 0x5b, 0x42, 0x9, 0x70,
175
+ 0xf7, 0xde, 0x34, 0x6b, 0xc5, 0x82, 0xc4, 0x7, 0x54, 0xcc, 0x40,
176
+ 0x52, 0x9e, 0xa2, 0x5b, 0x25, 0xd2, 0x5d, 0x4f, 0xe7, 0x44, 0x7e,
177
+ 0x73, 0xc1, 0x3e, 0x42, 0xc8, 0xda, 0xe9, 0x4b, 0x9d, 0xaa, 0x61,
178
+ 0x17, 0xb8, 0x50, 0x94, 0xaa, 0x37, 0x42, 0x8b, 0x2d, 0xa5, 0xc4,
179
+ 0xd0, 0xe6, 0xc8, 0x1d, 0xc6, 0xcc, 0x61, 0x42, 0x92, 0x64, 0x39,
180
+ 0xbf, 0xf5, 0x78, 0x59, 0x45, 0x93, 0xce, 0x26, 0x94, 0x39, 0xe3,
181
+ 0xc3, 0xfe, 0xf4, 0xeb, 0x14, 0x79, 0xf8, 0x70, 0x2, 0xbf, 0xfe,
182
+ 0x68, 0xee, 0x8e, 0xd3, 0x87, 0x2c, 0x14, 0x6d, 0xa4, 0x6f, 0xd0,
183
+ 0xa7, 0xb, 0xd7, 0x4c, 0x8e, 0x88, 0xa5, 0x6, 0x24, 0x40, 0x0,
184
+ 0xa0, 0xa0, 0xf2, 0xa, 0x1, 0x62, 0x21, 0xf9, 0x36, 0x9f, 0xda,
185
+ 0xf, 0x0, 0x6f, 0x66, 0x3f, 0xe1, 0x38, 0x42, 0x39, 0xe7, 0x82,
186
+ 0x3d, 0x3d, 0x95, 0x63, 0xe3, 0x7b, 0xd3, 0xa2, 0xb, 0xe, 0x9c,
187
+ 0xb, 0x52, 0xf9, 0xa8, 0x53, 0x57, 0x2, 0x85, 0x1, 0xe0, 0x46,
188
+ 0x43, 0xc7, 0xf6, 0x13, 0x15, 0xf6, 0x14, 0xed, 0xae, 0x67, 0xa6,
189
+ 0xc8, 0x8e, 0x96, 0x13, 0x7b, 0xa0, 0x58, 0x88, 0xb7, 0x60, 0x2f,
190
+ 0xff, 0xcf, 0x16, 0xaf, 0x9b, 0x10, 0x36, 0xda, 0x31, 0x12, 0x93,
191
+ 0xc0, 0x75, 0x1a, 0xf5, 0x46, 0x9e, 0x53, 0xd2, 0xac, 0x1b, 0xab,
192
+ 0x74, 0x57, 0xaa, 0xd1, 0x5d, 0xe5, 0xab, 0x73, 0xd5, 0xa5, 0x36,
193
+ 0x6b, 0x7d, 0x1f, 0x15, 0xec, 0x23, 0x84, 0x6c, 0x98, 0xb5, 0xdc,
194
+ 0xc1, 0xc0, 0x74, 0xce, 0x85, 0xe, 0xe, 0x61, 0x23, 0x87, 0xcb,
195
+ 0x69, 0x21, 0x5f, 0x7b, 0xc6, 0x51, 0xa2, 0x30, 0xe1, 0x69, 0xec,
196
+ 0x1d, 0x29, 0xa7, 0x42, 0x1b, 0xf, 0x94, 0x74, 0x1a, 0x38, 0x1b,
197
+ 0xe2, 0x2d, 0x31, 0xe4, 0xef, 0xcf, 0xa7, 0xcb, 0x21, 0x99, 0x13,
198
+ 0x85, 0xd, 0x47, 0x76, 0x59, 0x43, 0x51, 0xb3, 0xca, 0x3f, 0xcc,
199
+ 0x79, 0x21, 0x29, 0x6c, 0xb4, 0x1d, 0xc1, 0x46, 0x2e, 0xd4, 0xde,
200
+ 0xd8, 0x7f, 0x25, 0xff, 0x74, 0xd5, 0xd5, 0xaa, 0xf6, 0x46, 0x51,
201
+ 0x92, 0x8, 0x10, 0x4, 0x88, 0x42, 0xc8, 0x57, 0xed, 0x39, 0x32,
202
+ 0x20, 0x34, 0x75, 0xd8, 0x98, 0xd9, 0x31, 0x29, 0x6, 0xde, 0xa4,
203
+ 0x35, 0x74, 0xd9, 0x53, 0xc3, 0x72, 0x7a, 0xb9, 0x29, 0x67, 0xc5,
204
+ 0xc0, 0xb9, 0xa8, 0x52, 0xa6, 0x0, 0xc6, 0x0, 0x20, 0x76, 0xd6,
205
+ 0x89, 0xed, 0x95, 0x76, 0xcd, 0xca, 0x3f, 0x5a, 0x39, 0x6e, 0x99,
206
+ 0x9c, 0x22, 0x1e, 0xbf, 0xd6, 0x78, 0xa0, 0xb8, 0xc6, 0xda, 0x52,
207
+ 0x72, 0x12, 0x43, 0xbe, 0x7c, 0x29, 0x53, 0xc9, 0x62, 0xf9, 0x7d,
208
+ 0x6e, 0x3c, 0x9a, 0xbb, 0xed, 0x74, 0x9e, 0x74, 0xaf, 0x17, 0x47,
209
+ 0x80, 0x9e, 0x48, 0x9a, 0xf1, 0x60, 0x6c, 0x8a, 0xcd, 0x92, 0x70,
210
+ 0x49, 0x43, 0xe5, 0x9a, 0xaf, 0x77, 0x9c, 0xa9, 0xbe, 0x66, 0xb3,
211
+ 0x3c, 0xd2, 0xcd, 0x99, 0x34, 0x1d, 0x2d, 0x27, 0x6f, 0x5e, 0x7a,
212
+ 0xef, 0xbb, 0x2f, 0xfc, 0xdd, 0xbc, 0x4c, 0x2, 0xe7, 0x40, 0xd,
213
+ 0x7f, 0x98, 0xbf, 0x97, 0x0, 0xd9, 0x30, 0x73, 0x39, 0xb6, 0x95,
214
+ 0x43, 0xd1, 0xce, 0xe4, 0x3f, 0xa3, 0x9e, 0x98, 0xdc, 0xe3, 0x5c,
215
+ 0x5a, 0x6f, 0x48, 0xdd, 0x76, 0xc4, 0x31, 0x45, 0xab, 0x53, 0x5e,
216
+ 0xa2, 0x54, 0x3e, 0x0, 0x60, 0xe6, 0xc5, 0xd5, 0x7b, 0x2e, 0x5a,
217
+ 0x7c, 0x6d, 0x84, 0xe0, 0xe1, 0x71, 0x61, 0x5f, 0x3c, 0x97, 0x26,
218
+ 0x43, 0x31, 0xf2, 0xe6, 0xdf, 0x7e, 0xfb, 0x99, 0x35, 0x14, 0x0,
219
+ 0x8, 0xf6, 0xf2, 0x7b, 0x35, 0xf3, 0x31, 0xeb, 0xa4, 0x86, 0x10,
220
+ 0xb2, 0xef, 0xc7, 0xfc, 0x55, 0x79, 0x9f, 0x74, 0x1a, 0xf5, 0xae,
221
+ 0x14, 0xd5, 0x5b, 0xf5, 0x1d, 0x4e, 0xce, 0x1, 0xb2, 0xf9, 0xd4,
222
+ 0x7e, 0x0, 0xf4, 0xd6, 0x8c, 0x65, 0xd6, 0x99, 0xb7, 0x13, 0x2e,
223
+ 0x94, 0x87, 0xbb, 0x32, 0x21, 0xb1, 0x2f, 0x2d, 0x2, 0x62, 0xa7,
224
+ 0x56, 0x16, 0x99, 0xc1, 0x8e, 0x98, 0x21, 0xef, 0xef, 0x3c, 0x59,
225
+ 0x71, 0xad, 0xae, 0xc3, 0x22, 0x24, 0xcf, 0x99, 0x10, 0x96, 0xfb,
226
+ 0x74, 0xaa, 0x87, 0x92, 0xe9, 0x83, 0xb2, 0xb5, 0xe8, 0xa0, 0x35,
227
+ 0x14, 0x4, 0xf0, 0xf8, 0xf8, 0xe9, 0x21, 0x5e, 0x1, 0xd6, 0x8f,
228
+ 0xf8, 0xfe, 0xa7, 0xcb, 0x2b, 0xf, 0x6c, 0xe9, 0x32, 0x1b, 0x6,
229
+ 0xb1, 0xd2, 0x2c, 0x4a, 0xd2, 0x96, 0x53, 0xfb, 0x11, 0xc0, 0xba,
230
+ 0xec, 0x27, 0x2c, 0x22, 0x94, 0x13, 0x2e, 0xec, 0xe8, 0x18, 0xec,
231
+ 0xe7, 0xf, 0x0, 0x84, 0x37, 0xa, 0xf5, 0x17, 0x6d, 0xdb, 0x94,
232
+ 0xc2, 0x53, 0x95, 0xfc, 0x22, 0x62, 0x54, 0x0, 0x50, 0xaf, 0x35,
233
+ 0xbc, 0xff, 0xaf, 0x6b, 0xd6, 0x3a, 0x65, 0xe7, 0x8a, 0x14, 0x6f,
234
+ 0x37, 0x59, 0xd1, 0x72, 0x9b, 0xbe, 0xfd, 0x6c, 0x9b, 0x2d, 0x28,
235
+ 0xb2, 0x67, 0x59, 0x90, 0x98, 0x69, 0x73, 0x80, 0xac, 0xca, 0xfb,
236
+ 0x64, 0x70, 0xa1, 0xf4, 0xf9, 0x9a, 0x2d, 0x85, 0x5f, 0x2, 0xc0,
237
+ 0xda, 0xe9, 0x4b, 0x95, 0x77, 0xa9, 0x1, 0xda, 0x99, 0xfc, 0x4f,
238
+ 0xeb, 0x41, 0xdb, 0x59, 0x2b, 0x76, 0x54, 0xdb, 0xc6, 0x12, 0x3b,
239
+ 0x8f, 0x9, 0x1e, 0x2f, 0xd7, 0xb4, 0x7f, 0x77, 0xe8, 0x6a, 0x53,
240
+ 0x87, 0xf1, 0x6e, 0x28, 0x8f, 0x24, 0x85, 0x6f, 0xbf, 0x4b, 0xd1,
241
+ 0x6e, 0x38, 0x9a, 0xbb, 0xdd, 0xd6, 0xf0, 0xe9, 0xa9, 0xef, 0x6,
242
+ 0x84, 0xc6, 0x4, 0x46, 0x5a, 0x1f, 0xff, 0x5b, 0xf1, 0xb1, 0xca,
243
+ 0xdb, 0xf5, 0x3f, 0xd3, 0xfc, 0x4, 0x2f, 0xa, 0x1f, 0x5b, 0xa1,
244
+ 0xa1, 0x1c, 0xd7, 0x16, 0x54, 0xc9, 0x3d, 0xfe, 0x4f, 0x68, 0x2a,
245
+ 0x21, 0xa6, 0x4e, 0x5b, 0xa9, 0x50, 0x88, 0x2a, 0xe9, 0xbf, 0xe4,
246
+ 0xd8, 0x7c, 0xbe, 0xb2, 0xf5, 0x6f, 0x67, 0x6e, 0x91, 0x7b, 0x42,
247
+ 0x72, 0xc8, 0xf6, 0xa7, 0x92, 0xfd, 0x3d, 0x7a, 0xa1, 0x1c, 0x71,
248
+ 0x4, 0x5, 0x0, 0xd2, 0x86, 0x8d, 0xb5, 0xa9, 0x56, 0xf6, 0xfd,
249
+ 0x98, 0xf, 0x3f, 0xe7, 0xc6, 0x89, 0xc2, 0xc7, 0x85, 0x5f, 0xfe,
250
+ 0xfe, 0xf8, 0x5f, 0xcd, 0xbd, 0xae, 0xda, 0x91, 0xbd, 0x50, 0x5e,
251
+ 0xde, 0xca, 0xb8, 0xb1, 0xb2, 0x1f, 0xe3, 0x6b, 0x4e, 0x3, 0x58,
252
+ 0xfd, 0x1e, 0x84, 0x55, 0xe3, 0x97, 0x63, 0x9f, 0x48, 0xd9, 0xdd,
253
+ 0xbe, 0x93, 0x57, 0xd2, 0x69, 0xbc, 0x53, 0x97, 0x19, 0x11, 0xe4,
254
+ 0xb9, 0x65, 0xd9, 0xe4, 0x5e, 0x28, 0xdc, 0xfa, 0x23, 0xb9, 0x3b,
255
+ 0xce, 0x7c, 0xe5, 0x0, 0xa, 0x42, 0x68, 0xec, 0xd0, 0xe1, 0xd6,
256
+ 0xc7, 0x5b, 0xf5, 0x1d, 0x25, 0xd, 0xb6, 0xe3, 0x60, 0xa4, 0x6f,
257
+ 0x90, 0x97, 0xd2, 0xcd, 0xa1, 0x73, 0x85, 0x8a, 0x56, 0x8d, 0x89,
258
+ 0xe7, 0x5c, 0x41, 0xb3, 0xa5, 0xf0, 0x4b, 0x2, 0xe4, 0xad, 0xec,
259
+ 0x65, 0x2c, 0xcd, 0x38, 0xe2, 0xa2, 0x4a, 0x9a, 0x24, 0x17, 0x74,
260
+ 0xed, 0xc9, 0x7f, 0x7a, 0x48, 0x8c, 0x32, 0x61, 0x89, 0xbc, 0x7f,
261
+ 0xf0, 0x62, 0xed, 0x89, 0xde, 0xa9, 0x32, 0x79, 0x4, 0x3d, 0x9f,
262
+ 0x35, 0x3a, 0xc2, 0xdf, 0xad, 0x47, 0xbc, 0x1d, 0xc9, 0xdd, 0x79,
263
+ 0xe6, 0x2b, 0xd1, 0x61, 0xe5, 0x8d, 0x42, 0x28, 0xd2, 0x37, 0xc8,
264
+ 0xfa, 0x78, 0x8d, 0xb6, 0x99, 0x13, 0x6d, 0x67, 0x9e, 0xeb, 0x67,
265
+ 0x2e, 0x9f, 0x19, 0x3d, 0xc9, 0x91, 0xfb, 0x10, 0xc5, 0x9c, 0x9d,
266
+ 0xbf, 0x29, 0x6d, 0xae, 0x71, 0x71, 0x40, 0x6d, 0x29, 0xfc, 0x12,
267
+ 0x0, 0x6d, 0x98, 0xb9, 0xdc, 0x11, 0x17, 0xf5, 0x94, 0x1e, 0xe7,
268
+ 0x22, 0x75, 0x6a, 0x44, 0x6d, 0x95, 0x95, 0x62, 0x61, 0x54, 0xa9,
269
+ 0xab, 0x90, 0xc2, 0x3, 0x0, 0x6e, 0x77, 0x99, 0xdf, 0xff, 0xfa,
270
+ 0x9a, 0xf9, 0xae, 0x9a, 0xb6, 0xa7, 0x8a, 0x99, 0x15, 0x1f, 0x2c,
271
+ 0xef, 0xef, 0xbf, 0x52, 0xf0, 0xe7, 0x73, 0xff, 0x72, 0x5a, 0x8e,
272
+ 0x44, 0x80, 0xbc, 0x55, 0x1e, 0xd6, 0xc7, 0xdb, 0xba, 0x3b, 0xed,
273
+ 0x15, 0xa8, 0xdc, 0x18, 0xa5, 0x63, 0x7b, 0x11, 0x24, 0x91, 0xea,
274
+ 0x4f, 0xb1, 0x4e, 0x10, 0xc5, 0x2d, 0xa7, 0xf6, 0x4f, 0xc, 0x8f,
275
+ 0x76, 0x74, 0x8d, 0x3a, 0x75, 0x6a, 0x9f, 0xfc, 0x7, 0x91, 0xb3,
276
+ 0x8a, 0xcd, 0xe9, 0x8a, 0x11, 0xd9, 0xf2, 0xfe, 0xa7, 0xf9, 0x15,
277
+ 0x25, 0x1a, 0xed, 0x3d, 0xb6, 0xc6, 0x62, 0xd9, 0x58, 0x0, 0xe0,
278
+ 0xe0, 0xd5, 0x53, 0x66, 0x81, 0x77, 0xe5, 0x6b, 0xa9, 0x59, 0x85,
279
+ 0xf5, 0x41, 0xb3, 0xc0, 0xc3, 0xbf, 0x71, 0xae, 0x58, 0x90, 0xc4,
280
+ 0xfd, 0x57, 0xf2, 0xed, 0x72, 0x61, 0x22, 0x87, 0x31, 0xa1, 0x61,
281
+ 0x0, 0x0, 0x92, 0x60, 0x2d, 0xff, 0x11, 0xad, 0x74, 0xcb, 0x7c,
282
+ 0x4b, 0x2e, 0x53, 0x96, 0x35, 0x74, 0x7e, 0x7c, 0xac, 0x6c, 0x50,
283
+ 0xa6, 0xb9, 0x6d, 0xe2, 0xf3, 0x55, 0x7b, 0xa0, 0x81, 0xa6, 0x8e,
284
+ 0x3, 0xde, 0xec, 0x72, 0x51, 0x27, 0xa7, 0xca, 0xa2, 0x5e, 0x32,
285
+ 0x6a, 0x85, 0xe6, 0x6b, 0x96, 0x95, 0x87, 0x71, 0xcb, 0xb1, 0xdf,
286
+ 0x48, 0xb9, 0x4c, 0xf9, 0x3f, 0x87, 0xaf, 0x37, 0xde, 0x15, 0x9b,
287
+ 0xe5, 0xcd, 0xc8, 0x89, 0x35, 0xb7, 0xbb, 0xe5, 0xfd, 0x79, 0xf1,
288
+ 0xe9, 0xae, 0xcc, 0x72, 0x11, 0x20, 0x36, 0xb5, 0x6c, 0xa0, 0x87,
289
+ 0xef, 0x0, 0xa, 0xd7, 0x3, 0xde, 0x68, 0xa, 0x2f, 0x48, 0xcc,
290
+ 0xb4, 0xeb, 0x5f, 0x54, 0xa9, 0x69, 0x32, 0x17, 0xb1, 0xed, 0x27,
291
+ 0xa9, 0xab, 0xf1, 0x5e, 0x11, 0x3c, 0x54, 0x95, 0xfc, 0x7c, 0x4f,
292
+ 0x8d, 0xa3, 0xa2, 0xe5, 0x9f, 0xe7, 0x6d, 0xe8, 0x1a, 0x9d, 0x91,
293
+ 0x3f, 0x5a, 0xd2, 0x10, 0x1d, 0xec, 0x5, 0x0, 0xf3, 0x13, 0x32,
294
+ 0x4b, 0x1a, 0x2a, 0x77, 0x38, 0x9b, 0xf1, 0x90, 0x8, 0xa9, 0xd5,
295
+ 0x36, 0x27, 0x47, 0xc6, 0x59, 0x1c, 0x1f, 0xee, 0x1f, 0x1c, 0xe4,
296
+ 0xe1, 0x5b, 0xa3, 0x6d, 0xb6, 0xbe, 0xe4, 0x1f, 0x97, 0x4f, 0xfc,
297
+ 0xa0, 0x29, 0xeb, 0xfb, 0x3d, 0x4b, 0x93, 0xb2, 0x23, 0x7d, 0x87,
298
+ 0xde, 0xf, 0x14, 0x6, 0xd3, 0x2b, 0xd3, 0xe7, 0xe7, 0xc4, 0x24,
299
+ 0xd3, 0x76, 0xaa, 0xf9, 0x2a, 0xd5, 0xf8, 0xa4, 0x9e, 0x0, 0x56,
300
+ 0x53, 0x64, 0x11, 0xa1, 0xd5, 0x29, 0x2b, 0x29, 0x95, 0x2f, 0x0,
301
+ 0xe8, 0x4d, 0xfc, 0xbb, 0x79, 0x25, 0xdd, 0x66, 0xc1, 0xe6, 0x8f,
302
+ 0xdc, 0x76, 0xa2, 0x7c, 0x5e, 0x52, 0x58, 0x84, 0xbf, 0x3b, 0x8b,
303
+ 0xe9, 0x4d, 0xb3, 0x56, 0x0, 0x81, 0x1d, 0x67, 0x1c, 0xa1, 0x21,
304
+ 0x84, 0x5c, 0x6b, 0xaa, 0x7a, 0xcc, 0x3a, 0x23, 0x45, 0xd4, 0xf4,
305
+ 0x51, 0x49, 0x7f, 0x39, 0x7f, 0xd8, 0xfa, 0x92, 0xbc, 0xab, 0x77,
306
+ 0xa6, 0xf7, 0x94, 0x34, 0x9b, 0x1e, 0x95, 0x70, 0x3f, 0x5c, 0x58,
307
+ 0x4c, 0xbf, 0x34, 0xf5, 0xd1, 0x75, 0xd9, 0x4b, 0xb1, 0x3d, 0x5f,
308
+ 0xad, 0x88, 0x1b, 0x83, 0xbd, 0x7d, 0x0, 0x80, 0x8, 0x66, 0xa1,
309
+ 0xee, 0xc2, 0xbd, 0xa2, 0x26, 0x8c, 0x1d, 0xfd, 0xa0, 0x2c, 0xd,
310
+ 0xbe, 0xfc, 0xa1, 0x36, 0xbf, 0xac, 0xd9, 0xde, 0x63, 0x7e, 0x6a,
311
+ 0xd2, 0xbd, 0xb4, 0xfb, 0x42, 0x6b, 0x97, 0x49, 0x2e, 0xdf, 0x6f,
312
+ 0xca, 0x59, 0xf1, 0xdc, 0x94, 0xb9, 0x8e, 0x6b, 0x91, 0x67, 0xab,
313
+ 0xae, 0xdb, 0x4c, 0x94, 0x9f, 0x4d, 0x7d, 0x98, 0xbd, 0xef, 0xa9,
314
+ 0x78, 0xa7, 0x50, 0x5e, 0x4e, 0x9f, 0xbf, 0x2e, 0x7b, 0x29, 0x8b,
315
+ 0x19, 0xbb, 0xfe, 0x45, 0x35, 0x71, 0x92, 0x3c, 0xb5, 0x48, 0xac,
316
+ 0x94, 0xb, 0x13, 0x91, 0x46, 0x29, 0xbd, 0xe4, 0x91, 0xf2, 0xfb,
317
+ 0xaf, 0xaf, 0x4a, 0x12, 0x71, 0xa0, 0xa9, 0xe, 0x5f, 0xa9, 0x7f,
318
+ 0x6e, 0xd7, 0xb9, 0xdb, 0x7d, 0x68, 0x66, 0x3d, 0xf5, 0x7c, 0xda,
319
+ 0x5c, 0x7, 0xf5, 0xb7, 0x6b, 0x4d, 0x55, 0xb7, 0xda, 0x6d, 0x4c,
320
+ 0x7, 0xc7, 0x4, 0x45, 0x2c, 0x9f, 0x38, 0xeb, 0xe7, 0x86, 0xf2,
321
+ 0x46, 0xd6, 0x92, 0xbe, 0xd2, 0x2f, 0x65, 0x37, 0x2d, 0x42, 0x8,
322
+ 0x0, 0xf8, 0x86, 0xcb, 0x84, 0xbb, 0xc7, 0x17, 0x62, 0xef, 0x8,
323
+ 0xf9, 0xa3, 0xf2, 0x86, 0xce, 0xf2, 0x46, 0x9d, 0xe3, 0xe7, 0x49,
324
+ 0x84, 0x1c, 0x2c, 0xd6, 0x3c, 0x9b, 0x7b, 0xae, 0x4d, 0x6f, 0x6,
325
+ 0x0, 0x96, 0x66, 0x36, 0xce, 0x7a, 0xea, 0xc5, 0xa9, 0x8f, 0xd8,
326
+ 0x43, 0xa3, 0xe7, 0x8c, 0x79, 0x25, 0xa7, 0x6c, 0x4a, 0x9b, 0xf5,
327
+ 0x33, 0x97, 0x67, 0x8c, 0x48, 0xfc, 0x39, 0xa0, 0x30, 0xbd, 0x50,
328
+ 0xee, 0xce, 0x1b, 0x29, 0x5b, 0x2a, 0x76, 0x88, 0x62, 0xa4, 0x5c,
329
+ 0x2b, 0x23, 0x36, 0xe6, 0xe7, 0x7b, 0x67, 0x60, 0x15, 0xc, 0x76,
330
+ 0x25, 0x78, 0x4a, 0x84, 0xe4, 0x5d, 0xd4, 0x3c, 0xfd, 0xe7, 0x33,
331
+ 0xda, 0x6e, 0x4e, 0xf6, 0x2, 0x6f, 0xcf, 0x78, 0xf2, 0xc5, 0x34,
332
+ 0xdb, 0x68, 0x8, 0x21, 0x5f, 0x14, 0x1f, 0x6b, 0xeb, 0xb6, 0x81,
333
+ 0xdb, 0x5b, 0xe5, 0x9e, 0xbb, 0xe8, 0xf5, 0xf9, 0x9, 0x99, 0x83,
334
+ 0x1b, 0xb3, 0x69, 0xa, 0xaf, 0x4c, 0x9f, 0x6f, 0x91, 0x4c, 0xdb,
335
+ 0xe6, 0xa2, 0x88, 0x1b, 0x4b, 0x79, 0x79, 0x1, 0x0, 0x88, 0x2,
336
+ 0xaf, 0x39, 0x67, 0x59, 0xb3, 0x68, 0xbf, 0x5, 0x44, 0x2, 0x80,
337
+ 0x51, 0x41, 0x9e, 0x53, 0xa3, 0x3, 0xc1, 0x35, 0x34, 0x87, 0x2e,
338
+ 0x69, 0x9e, 0xdc, 0x79, 0xba, 0xcb, 0xc8, 0x3, 0x80, 0x8a, 0x51,
339
+ 0xbc, 0x3d, 0xf3, 0xc9, 0x17, 0xa7, 0x3e, 0x62, 0xd3, 0xd7, 0xdc,
340
+ 0x6a, 0x6b, 0xf8, 0xd3, 0xd9, 0xaf, 0x6c, 0xde, 0x27, 0xd0, 0xc3,
341
+ 0x77, 0xfb, 0x82, 0x57, 0x77, 0x2f, 0x5e, 0x37, 0x31, 0x3c, 0x1a,
342
+ 0xf, 0x46, 0x3, 0x26, 0xa6, 0xa8, 0x57, 0x32, 0xe6, 0xbf, 0x69,
343
+ 0x55, 0x7c, 0xb1, 0x9d, 0x37, 0xaa, 0x26, 0x25, 0xcb, 0xce, 0x45,
344
+ 0xd4, 0x37, 0x89, 0x6d, 0x96, 0xb5, 0x6b, 0xae, 0x2a, 0x5f, 0x32,
345
+ 0xb4, 0x51, 0x6e, 0x1, 0x2a, 0x16, 0xff, 0xf5, 0xb9, 0xb4, 0x17,
346
+ 0x3f, 0xbf, 0xf0, 0xf5, 0xe5, 0x3a, 0xa7, 0x4d, 0x57, 0x84, 0xc0,
347
+ 0xbf, 0x2e, 0x6b, 0x16, 0x6d, 0x3d, 0xb5, 0xff, 0xe5, 0x4c, 0x15,
348
+ 0x8b, 0x55, 0x8c, 0x62, 0xfd, 0xcc, 0xe5, 0x84, 0x10, 0xeb, 0xea,
349
+ 0x94, 0x44, 0xc8, 0xb6, 0xd3, 0x79, 0xf, 0x8c, 0x18, 0x67, 0x1d,
350
+ 0xb0, 0x65, 0xa6, 0xf3, 0xe2, 0xd3, 0x67, 0xc7, 0xa5, 0x68, 0xb4,
351
+ 0x2d, 0x67, 0xaa, 0xaf, 0xd5, 0x6a, 0x5b, 0xda, 0xba, 0x3b, 0x69,
352
+ 0x4c, 0x7b, 0x29, 0xdd, 0x62, 0x2, 0x23, 0x12, 0x43, 0x46, 0xb8,
353
+ 0xe, 0x5, 0x1, 0x5a, 0x95, 0xbe, 0xe0, 0xed, 0x19, 0xcb, 0x6d,
354
+ 0x8a, 0x23, 0xfc, 0xea, 0xd8, 0x58, 0xa1, 0xa1, 0xfe, 0xee, 0xda,
355
+ 0x82, 0xdf, 0xaa, 0x35, 0xf4, 0x90, 0x40, 0x0, 0xe0, 0xca, 0xf,
356
+ 0x73, 0x3f, 0x7d, 0x67, 0xa5, 0x93, 0x4d, 0x44, 0x30, 0xb3, 0xc3,
357
+ 0x33, 0x0, 0x51, 0x5e, 0x2a, 0x76, 0xe1, 0xe4, 0xc8, 0x89, 0xc3,
358
+ 0xfd, 0xae, 0xd5, 0x77, 0xb4, 0xea, 0xcc, 0x4e, 0x15, 0xef, 0xcd,
359
+ 0xe6, 0xae, 0x4b, 0xd5, 0xed, 0x73, 0x26, 0x84, 0xb1, 0x34, 0xa6,
360
+ 0x29, 0x9c, 0x1e, 0x95, 0x68, 0xe0, 0x4d, 0x17, 0x35, 0x15, 0x16,
361
+ 0x68, 0x4c, 0x3c, 0x77, 0xae, 0xa6, 0x34, 0x6b, 0xd4, 0x4, 0x5f,
362
+ 0xb5, 0xa7, 0x9d, 0xf7, 0x8c, 0x7d, 0xd5, 0x9e, 0x9, 0xc1, 0x23,
363
+ 0xd2, 0xa3, 0x12, 0x66, 0x46, 0x4f, 0xca, 0x1e, 0x9d, 0x94, 0x1e,
364
+ 0x95, 0x10, 0x13, 0x18, 0x61, 0x3d, 0x61, 0x26, 0x11, 0x92, 0x7b,
365
+ 0xfe, 0x9b, 0x16, 0xab, 0x9a, 0x26, 0x85, 0xa8, 0xd7, 0x1e, 0x58,
366
+ 0xb8, 0x31, 0x67, 0x85, 0x3d, 0x4f, 0x67, 0xc9, 0x85, 0x8d, 0x1c,
367
+ 0xee, 0xb3, 0xfc, 0x69, 0x4a, 0xa5, 0x2, 0x0, 0xe3, 0x85, 0x6d,
368
+ 0x36, 0xfb, 0x5c, 0x84, 0xe6, 0x12, 0xa4, 0xf0, 0xa2, 0x3, 0xc7,
369
+ 0x22, 0xa, 0x23, 0x84, 0x46, 0x5, 0x79, 0x2e, 0x4b, 0x8b, 0xf2,
370
+ 0x75, 0x57, 0x5c, 0xaf, 0xeb, 0xd0, 0x9b, 0x9c, 0xe4, 0x41, 0x95,
371
+ 0xcd, 0x5d, 0x57, 0xeb, 0x3a, 0x72, 0xe2, 0x43, 0x94, 0x2c, 0xc6,
372
+ 0x14, 0x35, 0x35, 0x2a, 0x5e, 0x6f, 0x36, 0x5e, 0xaa, 0xb3, 0x44,
373
+ 0xd3, 0x66, 0xd0, 0x15, 0x55, 0x95, 0x4c, 0xa, 0x8f, 0x19, 0xe2,
374
+ 0xee, 0x73, 0x3f, 0xe, 0xc5, 0x26, 0x17, 0x9a, 0xc2, 0xab, 0x32,
375
+ 0x1f, 0x5b, 0x3f, 0xd3, 0x51, 0x6b, 0x8c, 0x25, 0x17, 0x45, 0x4c,
376
+ 0xac, 0xe7, 0xfc, 0x85, 0x8, 0x63, 0x20, 0xa4, 0xfb, 0xc4, 0xdb,
377
+ 0x84, 0xb7, 0x59, 0x3a, 0x24, 0x7c, 0x55, 0x81, 0xd4, 0x59, 0x4b,
378
+ 0x7, 0x44, 0x53, 0x4a, 0x6f, 0x40, 0x88, 0xa5, 0xa9, 0x94, 0x91,
379
+ 0x1, 0x8f, 0x4e, 0x8c, 0x30, 0x9, 0xe2, 0xcd, 0x26, 0x9d, 0x59,
380
+ 0x90, 0x1c, 0x5a, 0x8d, 0xee, 0x46, 0x63, 0x67, 0xf6, 0x98, 0x60,
381
+ 0x35, 0x4b, 0x63, 0xa, 0xa7, 0x47, 0x25, 0xe8, 0xcd, 0x26, 0x6b,
382
+ 0x34, 0x2d, 0xfa, 0x8e, 0x6f, 0x6e, 0x9c, 0xf3, 0x73, 0xf3, 0x1a,
383
+ 0xe1, 0x1f, 0xc2, 0xc, 0xb4, 0x23, 0xcc, 0x9a, 0xb, 0x83, 0xe9,
384
+ 0x55, 0x19, 0xb, 0xde, 0xcc, 0x7e, 0xc2, 0x71, 0x2b, 0x95, 0x15,
385
+ 0x97, 0xd8, 0x38, 0x8f, 0x7, 0xe7, 0x0, 0x0, 0x91, 0x78, 0x43,
386
+ 0xd1, 0x7, 0x60, 0xbf, 0xd9, 0x42, 0x6c, 0xbd, 0xc1, 0x95, 0x1f,
387
+ 0x26, 0x12, 0x8f, 0x7d, 0xa2, 0x10, 0xab, 0x6, 0x0, 0x6f, 0x35,
388
+ 0xfb, 0x60, 0x62, 0x68, 0x46, 0x74, 0x50, 0x5d, 0xbb, 0x41, 0xd3,
389
+ 0xde, 0x2d, 0xda, 0x97, 0x36, 0x15, 0x4d, 0xba, 0x9b, 0x8d, 0x5d,
390
+ 0xd3, 0xe2, 0x82, 0xdc, 0x14, 0x32, 0x9a, 0xf8, 0x6e, 0xb3, 0xa9,
391
+ 0xb8, 0xae, 0xdc, 0xc2, 0x4f, 0xe9, 0xcd, 0xc6, 0x23, 0x37, 0xce,
392
+ 0x5f, 0xaa, 0x2b, 0xf7, 0x77, 0xf7, 0xf6, 0x73, 0xf3, 0x52, 0xf6,
393
+ 0xb3, 0x1, 0x55, 0x6b, 0xe8, 0xba, 0xde, 0x54, 0xb5, 0xe7, 0xd2,
394
+ 0x9, 0x9d, 0xc9, 0xd0, 0xab, 0x53, 0x98, 0x57, 0x32, 0x16, 0xac,
395
+ 0x9d, 0xbe, 0xd4, 0xa9, 0x4a, 0xb4, 0xe4, 0x82, 0xfd, 0x3, 0x3c,
396
+ 0x66, 0x3f, 0x8c, 0x68, 0x1a, 0x51, 0x98, 0xab, 0x3e, 0x25, 0xe9,
397
+ 0x1c, 0x55, 0x55, 0x9, 0xdf, 0xcd, 0xd7, 0x9e, 0xe1, 0xaa, 0x4f,
398
+ 0x51, 0xa, 0xf, 0xec, 0x1d, 0x81, 0x30, 0x3, 0x0, 0x61, 0x7e,
399
+ 0x6e, 0xf3, 0x27, 0x45, 0x8c, 0xe, 0xf2, 0xaa, 0x6c, 0xe9, 0x6a,
400
+ 0xd1, 0xd9, 0xed, 0xc4, 0x2a, 0x6f, 0xea, 0xac, 0x6c, 0xee, 0x9a,
401
+ 0x16, 0xdb, 0x83, 0x66, 0x6a, 0x54, 0x42, 0xb7, 0xd9, 0x54, 0xac,
402
+ 0x29, 0xb7, 0x98, 0x39, 0x25, 0x84, 0xdc, 0x6a, 0x6b, 0xdc, 0xff,
403
+ 0x63, 0xfe, 0x89, 0x9b, 0x17, 0x6b, 0xb5, 0xcd, 0x12, 0x21, 0x4,
404
+ 0x8, 0x8d, 0x31, 0x83, 0x69, 0x8b, 0x51, 0x20, 0x11, 0xd2, 0x69,
405
+ 0xea, 0x6e, 0xd0, 0xb5, 0x55, 0xb4, 0x6a, 0xbe, 0x2d, 0xbb, 0xb0,
406
+ 0xf3, 0xcc, 0xa1, 0xf, 0xf3, 0xf7, 0x6e, 0x2e, 0xd8, 0xaf, 0x35,
407
+ 0xf6, 0xcc, 0xae, 0xb1, 0x34, 0xf3, 0x4a, 0xc6, 0x7c, 0x17, 0xe7,
408
+ 0xed, 0x91, 0xe6, 0xf1, 0x47, 0x8d, 0xc5, 0x77, 0x94, 0x3e, 0xf6,
409
+ 0xf3, 0xf, 0xfb, 0xe7, 0x41, 0x26, 0x3c, 0x2, 0x0, 0x84, 0x96,
410
+ 0xeb, 0x5d, 0x5f, 0xbd, 0x20, 0xb6, 0xff, 0xe4, 0x42, 0xc4, 0x63,
411
+ 0xd9, 0x88, 0x34, 0x55, 0xf2, 0x8b, 0x4c, 0x48, 0x12, 0xf4, 0x46,
412
+ 0xd0, 0xe6, 0x4e, 0xd3, 0x5f, 0xa, 0x6e, 0x6e, 0x3d, 0x5e, 0xde,
413
+ 0xa0, 0x35, 0xd8, 0x2b, 0x5c, 0xce, 0x9b, 0x10, 0xb6, 0x63, 0x45,
414
+ 0x72, 0x80, 0x3c, 0x7b, 0x2f, 0xf0, 0x1b, 0x8f, 0xee, 0xda, 0x5a,
415
+ 0x74, 0xd0, 0x41, 0x47, 0x10, 0x4d, 0x61, 0x7f, 0x37, 0xaf, 0x0,
416
+ 0x77, 0x6f, 0x6f, 0x95, 0x7b, 0x80, 0xbb, 0xb7, 0x9a, 0x51, 0x30,
417
+ 0x34, 0x63, 0xe0, 0x4c, 0x3a, 0x93, 0x41, 0x67, 0xea, 0xee, 0x30,
418
+ 0x76, 0xb5, 0x19, 0xba, 0xda, 0xd, 0x3a, 0xce, 0xaa, 0x5e, 0xc1,
419
+ 0x62, 0xe6, 0x95, 0x8c, 0xf9, 0x6b, 0x5c, 0xee, 0xf3, 0xb0, 0xb4,
420
+ 0x17, 0x62, 0x34, 0x50, 0x9e, 0x5e, 0xea, 0x89, 0x93, 0x1, 0x21,
421
+ 0xca, 0x6d, 0x88, 0x62, 0x54, 0xe, 0xf6, 0x8f, 0x46, 0xac, 0x1b,
422
+ 0x88, 0x3c, 0x31, 0xeb, 0xec, 0xe, 0x2b, 0x22, 0x8a, 0xda, 0x2a,
423
+ 0xae, 0xe2, 0x88, 0xa4, 0xab, 0xc7, 0xfe, 0xa3, 0xe5, 0x44, 0xc1,
424
+ 0x5d, 0x49, 0x4f, 0x19, 0x35, 0x64, 0x76, 0x62, 0xa8, 0x59, 0x90,
425
+ 0xca, 0x1a, 0x74, 0x36, 0x9b, 0xe, 0xcb, 0x1a, 0x75, 0x37, 0x9b,
426
+ 0x74, 0x7d, 0xbe, 0x66, 0xca, 0xb0, 0xb1, 0x26, 0x91, 0x2f, 0xd6,
427
+ 0x94, 0xd9, 0xb, 0xfc, 0x12, 0x21, 0x7a, 0xce, 0xd8, 0xa2, 0xd7,
428
+ 0xd6, 0x6a, 0x9b, 0x6f, 0x34, 0xd7, 0x94, 0x34, 0xde, 0xba, 0x52,
429
+ 0x7f, 0xf3, 0x7a, 0x53, 0xd5, 0x4f, 0xb7, 0xeb, 0x34, 0x1d, 0x2d,
430
+ 0xad, 0xfa, 0xe, 0xbd, 0xd9, 0x68, 0xdd, 0xd1, 0x2a, 0xfb, 0x94,
431
+ 0xd7, 0xb3, 0x96, 0xb8, 0x3e, 0x12, 0x2d, 0xb9, 0x0, 0x80, 0xf9,
432
+ 0xc6, 0x75, 0x45, 0xdc, 0x58, 0x36, 0x22, 0x12, 0x0, 0x10, 0xeb,
433
+ 0x4e, 0x7, 0xc6, 0x29, 0x46, 0xce, 0x54, 0xc4, 0xce, 0x55, 0x8c,
434
+ 0x9e, 0x8d, 0x7d, 0xa3, 0x10, 0xcd, 0x12, 0x93, 0xce, 0xb6, 0x3f,
435
+ 0x16, 0xcd, 0x42, 0x53, 0x9, 0x57, 0x7e, 0x18, 0x0, 0xe8, 0x80,
436
+ 0x68, 0x84, 0x59, 0x84, 0x50, 0x80, 0x87, 0x32, 0x27, 0x3e, 0x24,
437
+ 0x3d, 0x26, 0xb0, 0xa6, 0xad, 0xbb, 0xf6, 0x76, 0x37, 0xb1, 0x31,
438
+ 0xa0, 0x74, 0x65, 0xd, 0xba, 0x9c, 0x84, 0x10, 0x25, 0x83, 0x69,
439
+ 0x8c, 0x53, 0x23, 0xe3, 0x4c, 0x3c, 0x5f, 0x5c, 0x5b, 0x46, 0x6,
440
+ 0xa9, 0x48, 0x47, 0x53, 0xf8, 0xb5, 0xcc, 0x85, 0x6f, 0x64, 0x2d,
441
+ 0xe9, 0x57, 0xa7, 0xb3, 0xd, 0x2e, 0x84, 0xe3, 0xc, 0x5, 0xdf,
442
+ 0x53, 0x3e, 0x3e, 0x8a, 0xe8, 0x18, 0x24, 0x6b, 0x1e, 0x84, 0x10,
443
+ 0xa3, 0xa2, 0xdc, 0x3, 0x99, 0x90, 0x9, 0x8a, 0x51, 0xb3, 0x15,
444
+ 0x9, 0x8b, 0xd9, 0x61, 0x99, 0x94, 0xc7, 0x50, 0x20, 0x92, 0x64,
445
+ 0x6c, 0x3, 0x8b, 0x55, 0xc, 0x9c, 0x9e, 0xaf, 0x29, 0xe4, 0x6f,
446
+ 0x9d, 0xa4, 0xdc, 0x3, 0xb1, 0xcf, 0x30, 0x40, 0x8, 0x53, 0x28,
447
+ 0xd2, 0xdf, 0x7d, 0xc1, 0xe4, 0x88, 0xd1, 0x43, 0x3d, 0x2f, 0x57,
448
+ 0x6b, 0x3b, 0xac, 0xe6, 0xf3, 0x2b, 0x9a, 0x74, 0x57, 0x35, 0xda,
449
+ 0x87, 0xc7, 0x87, 0xb1, 0x34, 0x66, 0x30, 0x9d, 0x3a, 0x2c, 0xce,
450
+ 0x24, 0x70, 0x83, 0x82, 0x86, 0x42, 0xe8, 0xb5, 0x7, 0x16, 0xad,
451
+ 0x9d, 0xbe, 0xa4, 0xbf, 0xe9, 0x38, 0x5e, 0x9d, 0x99, 0xce, 0x55,
452
+ 0x5a, 0x76, 0xb4, 0x13, 0xb3, 0xa9, 0xbb, 0xe0, 0x64, 0xf7, 0xf1,
453
+ 0x63, 0xa2, 0x4e, 0x47, 0xa9, 0x54, 0xb4, 0x9f, 0x1f, 0xf4, 0x89,
454
+ 0x42, 0xa, 0x23, 0x46, 0x85, 0xbd, 0xc3, 0xd9, 0x88, 0x34, 0x65,
455
+ 0xdc, 0xa3, 0xca, 0xc4, 0x27, 0xe8, 0x90, 0xf1, 0x94, 0xd2, 0x9b,
456
+ 0x98, 0x74, 0xc4, 0xdc, 0x37, 0xc1, 0x44, 0xa4, 0xee, 0x56, 0x73,
457
+ 0xc5, 0x37, 0x42, 0xe3, 0x8f, 0x78, 0x48, 0xc, 0xa5, 0xf6, 0x7,
458
+ 0x0, 0x6, 0x53, 0x9, 0xe1, 0xbe, 0x4f, 0x4e, 0x8d, 0xc2, 0x14,
459
+ 0xba, 0x54, 0xdd, 0x6e, 0x31, 0xac, 0x6e, 0x36, 0x75, 0x5d, 0xa9,
460
+ 0xd5, 0xce, 0x4b, 0xa, 0x67, 0x30, 0xc5, 0x60, 0x3a, 0x6d, 0xf8,
461
+ 0xd8, 0x6e, 0xce, 0x6c, 0xed, 0x86, 0xfb, 0xbb, 0xad, 0x9e, 0xf6,
462
+ 0xf8, 0x9b, 0x33, 0x96, 0xd, 0xa0, 0xbb, 0x19, 0x19, 0x2e, 0x9c,
463
+ 0xab, 0x7f, 0x6a, 0x9, 0xe1, 0x1c, 0xcd, 0xb0, 0x60, 0x3f, 0x7f,
464
+ 0xd5, 0xe4, 0x14, 0x75, 0x6a, 0x9a, 0x3a, 0x39, 0x95, 0xe, 0xc,
465
+ 0x42, 0x2c, 0xb, 0xb6, 0x14, 0x91, 0xd8, 0x51, 0xc3, 0xd7, 0x9c,
466
+ 0xe6, 0x6b, 0xa, 0x79, 0xcd, 0x39, 0xc9, 0xd4, 0x1, 0xa2, 0x0,
467
+ 0x40, 0x10, 0xad, 0x54, 0x24, 0x2e, 0x55, 0x4f, 0x7e, 0x81, 0x72,
468
+ 0xf3, 0xef, 0x5b, 0x43, 0x51, 0xd9, 0xdc, 0xb5, 0x6e, 0xdf, 0xa5,
469
+ 0x43, 0x17, 0x35, 0x16, 0x4a, 0x27, 0x27, 0x21, 0x78, 0xcf, 0xb,
470
+ 0x19, 0x77, 0xf7, 0x35, 0x6f, 0x2b, 0xca, 0x1b, 0x40, 0x5f, 0xb3,
471
+ 0xac, 0x68, 0x57, 0x4f, 0x5b, 0xf4, 0x56, 0xf6, 0xb2, 0x81, 0xc9,
472
+ 0x42, 0x44, 0x24, 0x49, 0x7f, 0xe2, 0x58, 0xfb, 0xd6, 0x2d, 0x4e,
473
+ 0xfb, 0xe0, 0x1, 0x0, 0x51, 0x14, 0x13, 0x35, 0x42, 0x95, 0x34,
474
+ 0x49, 0x9d, 0x9a, 0xa6, 0x4c, 0x18, 0x27, 0xa7, 0x51, 0xb6, 0xbc,
475
+ 0x30, 0x27, 0x34, 0x5f, 0xe5, 0x6b, 0xcf, 0xf2, 0x35, 0x45, 0x62,
476
+ 0xeb, 0xd, 0xc9, 0xac, 0xa3, 0xd4, 0x7e, 0xaa, 0x94, 0x95, 0xca,
477
+ 0xd8, 0x47, 0x10, 0xeb, 0xd6, 0xe7, 0x41, 0x8f, 0x5f, 0x6b, 0xdc,
478
+ 0x70, 0xe0, 0x4a, 0x71, 0x55, 0x9b, 0x20, 0x92, 0xde, 0x9c, 0x5,
479
+ 0x66, 0x8f, 0xb, 0xfd, 0xfc, 0x99, 0x29, 0x7d, 0x7d, 0xf0, 0xf2,
480
+ 0xe2, 0x80, 0xfe, 0xa2, 0xa1, 0x29, 0xfc, 0xda, 0x3, 0xb, 0xd7,
481
+ 0x4e, 0x1f, 0x78, 0x1f, 0xfc, 0x9d, 0x75, 0x36, 0xce, 0xd7, 0x4d,
482
+ 0x58, 0x3e, 0x9c, 0x46, 0xd8, 0xf9, 0x53, 0x25, 0xc3, 0x6d, 0xa1,
483
+ 0xf1, 0x47, 0x5e, 0x73, 0x8e, 0xd7, 0x9c, 0xa5, 0xd4, 0xfe, 0xca,
484
+ 0xa4, 0xa7, 0x99, 0xd0, 0x49, 0x7d, 0x8b, 0xb8, 0xba, 0xcd, 0xc2,
485
+ 0xee, 0xc2, 0xca, 0xf, 0x8e, 0x94, 0x56, 0xb5, 0x76, 0xc9, 0xf,
486
+ 0x97, 0xd7, 0x4d, 0xfc, 0xf9, 0xd7, 0x29, 0x72, 0xeb, 0xdd, 0x0,
487
+ 0xd0, 0xc8, 0xb, 0x91, 0xde, 0xc8, 0x5a, 0xc2, 0xdc, 0xc7, 0xba,
488
+ 0x89, 0x7f, 0xe3, 0x3a, 0x3e, 0x22, 0x89, 0xda, 0x6a, 0xa1, 0xf5,
489
+ 0x6, 0x52, 0x7a, 0x33, 0x21, 0x49, 0x88, 0xbe, 0x33, 0x55, 0x54,
490
+ 0xaf, 0x35, 0x7c, 0x78, 0xa4, 0xf4, 0xb3, 0xc2, 0xca, 0x76, 0xbd,
491
+ 0x19, 0x7a, 0x1b, 0xf0, 0x76, 0xae, 0x48, 0x19, 0xe2, 0xd9, 0x83,
492
+ 0x66, 0xe3, 0xd1, 0x5d, 0x9f, 0x14, 0x1d, 0x70, 0x65, 0x49, 0xc9,
493
+ 0x60, 0x2d, 0x41, 0x42, 0xbf, 0xd4, 0x7a, 0x58, 0xeb, 0xed, 0x62,
494
+ 0x55, 0xdb, 0xbb, 0x87, 0x4a, 0x8e, 0x96, 0x34, 0x98, 0x78, 0x11,
495
+ 0x21, 0x98, 0x3b, 0x3e, 0x7c, 0xc7, 0x8a, 0xe4, 0x3e, 0x34, 0x2e,
496
+ 0xaf, 0xcb, 0x92, 0x97, 0xac, 0xdd, 0x6f, 0x31, 0xf8, 0xbe, 0xd6,
497
+ 0x37, 0xe, 0xee, 0x16, 0xec, 0xa3, 0x9e, 0x37, 0x21, 0x3c, 0x3e,
498
+ 0xdc, 0xa7, 0xaa, 0x55, 0xdf, 0xd8, 0x61, 0x2c, 0x6b, 0xec, 0xbc,
499
+ 0xd9, 0xa4, 0xcb, 0x8a, 0x1d, 0xea, 0xa6, 0xa0, 0x31, 0x45, 0xa5,
500
+ 0xd, 0x8f, 0x37, 0xf1, 0xdc, 0xf, 0x9a, 0x72, 0x7b, 0x2f, 0x92,
501
+ 0xc5, 0xf4, 0xab, 0x99, 0xb, 0xd7, 0x4c, 0x5b, 0x34, 0x28, 0xeb,
502
+ 0xf8, 0xfe, 0x83, 0xb8, 0x0, 0x0, 0x8d, 0xa9, 0x98, 0x60, 0xaf,
503
+ 0x47, 0x26, 0x86, 0x7, 0x79, 0xa9, 0x4a, 0xeb, 0x3b, 0x2f, 0xdc,
504
+ 0xba, 0x5d, 0xd1, 0xa8, 0xcb, 0x1e, 0x1b, 0xac, 0x66, 0x69, 0x9a,
505
+ 0xc2, 0x29, 0xc3, 0xe2, 0x38, 0x81, 0x2f, 0xd6, 0x94, 0x5b, 0x37,
506
+ 0x45, 0x30, 0x98, 0x7e, 0x2d, 0x73, 0xe1, 0xea, 0x41, 0x5a, 0xdc,
507
+ 0xf8, 0x1f, 0xc7, 0xa5, 0xa7, 0xea, 0xce, 0xd2, 0x93, 0xa3, 0x2,
508
+ 0xe6, 0x4c, 0x8, 0x17, 0x25, 0x72, 0xf0, 0x62, 0xed, 0x95, 0x1a,
509
+ 0xed, 0xec, 0xc4, 0x10, 0x25, 0x83, 0x19, 0x4c, 0xa7, 0x44, 0xc6,
510
+ 0x71, 0x2, 0x6f, 0x61, 0x35, 0x98, 0xa2, 0x56, 0x4f, 0x7b, 0x7c,
511
+ 0x4d, 0xd6, 0x20, 0x2c, 0x6b, 0xfc, 0x4f, 0xf4, 0x2f, 0x36, 0xa,
512
+ 0x60, 0x12, 0xb9, 0x5c, 0xdd, 0xb6, 0xf5, 0x78, 0x79, 0xb8, 0x9f,
513
+ 0xdb, 0xa6, 0x47, 0x13, 0x51, 0x6f, 0x35, 0xef, 0xff, 0xe7, 0xba,
514
+ 0xf2, 0x7e, 0xd7, 0x96, 0x24, 0x22, 0x48, 0x84, 0xa5, 0xef, 0x54,
515
+ 0x61, 0xff, 0xd, 0xff, 0x87, 0xe0, 0x7f, 0x1, 0x82, 0xa6, 0xb4,
516
+ 0x58, 0xd0, 0xab, 0x1a, 0x9c, 0x0, 0x0, 0x0, 0x0, 0x49, 0x45,
517
+ 0x4e, 0x44, 0xae, 0x42, 0x60, 0x82, 0xff
518
+ };
519
+
520
+ }}
521
+
522
+ // STATISTICS: gist-any