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.
- data/CHANGES +7 -0
- data/README +10 -1
- data/ext/extconf.rb +24 -7
- data/ext/gecode-2.1.1/LICENSE +25 -0
- data/ext/gecode-2.1.1/Makefile.contribs +86 -0
- data/ext/gecode-2.1.1/Makefile.dep +7622 -0
- data/ext/gecode-2.1.1/Makefile.in +1568 -0
- data/ext/gecode-2.1.1/changelog.in +2459 -0
- data/ext/gecode-2.1.1/configure +11631 -0
- data/ext/gecode-2.1.1/configure.ac +249 -0
- data/ext/gecode-2.1.1/configure.ac.in +245 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/contribs/README +0 -0
- data/ext/gecode-2.1.1/contribs/qecode/Doxyfile +263 -0
- data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.cc +82 -0
- data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.hh +37 -0
- data/ext/gecode-2.1.1/contribs/qecode/Makefile.in.in +162 -0
- data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.cc +172 -0
- data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.hh +63 -0
- data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.cc +37 -0
- data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.hh +35 -0
- data/ext/gecode-2.1.1/contribs/qecode/configure +2264 -0
- data/ext/gecode-2.1.1/contribs/qecode/configure.ac +23 -0
- data/ext/gecode-2.1.1/contribs/qecode/examples/COMPILING +13 -0
- data/ext/gecode-2.1.1/contribs/qecode/examples/MatrixGame.cpp +144 -0
- data/ext/gecode-2.1.1/contribs/qecode/examples/NimFibo.cpp +73 -0
- data/ext/gecode-2.1.1/contribs/qecode/examples/stress_test.cpp +179 -0
- data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.cc +34 -0
- data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.hh +46 -0
- data/ext/gecode-2.1.1/contribs/qecode/heap.cc +151 -0
- data/ext/gecode-2.1.1/contribs/qecode/implicative.cc +595 -0
- data/ext/gecode-2.1.1/contribs/qecode/implicative.hh +184 -0
- data/ext/gecode-2.1.1/contribs/qecode/myDom.cc +39 -0
- data/ext/gecode-2.1.1/contribs/qecode/myspace.cc +69 -0
- data/ext/gecode-2.1.1/contribs/qecode/myspace.hh +69 -0
- data/ext/gecode-2.1.1/contribs/qecode/qecode.hh +56 -0
- data/ext/gecode-2.1.1/contribs/qecode/qecore.cc +145 -0
- data/ext/gecode-2.1.1/contribs/qecode/qecore.hh +247 -0
- data/ext/gecode-2.1.1/contribs/qecode/qsolver.cc +168 -0
- data/ext/gecode-2.1.1/contribs/qecode/qsolver.hh +73 -0
- data/ext/gecode-2.1.1/contribs/qecode/shortdesc.ac +1 -0
- data/ext/gecode-2.1.1/contribs/qecode/valueHeuristic.hh +91 -0
- data/ext/gecode-2.1.1/contribs/qecode/vartype.hh +31 -0
- data/ext/gecode-2.1.1/contribs/qecode/warner.cc +101 -0
- data/ext/gecode-2.1.1/contribs/qecode/warner.hh +83 -0
- data/ext/gecode-2.1.1/doxygen/doxygen.conf.in +1270 -0
- data/ext/gecode-2.1.1/doxygen/doxygen.hh.in +1111 -0
- data/ext/gecode-2.1.1/doxygen/reflection.hh +417 -0
- data/ext/gecode-2.1.1/gecode.m4 +956 -0
- data/ext/gecode-2.1.1/gecode/cpltset.hh +797 -0
- data/ext/gecode-2.1.1/gecode/cpltset/array.cc +121 -0
- data/ext/gecode-2.1.1/gecode/cpltset/array.icc +81 -0
- data/ext/gecode-2.1.1/gecode/cpltset/bddmanager.cc +59 -0
- data/ext/gecode-2.1.1/gecode/cpltset/bddmanager.icc +448 -0
- data/ext/gecode-2.1.1/gecode/cpltset/branch.cc +68 -0
- data/ext/gecode-2.1.1/gecode/cpltset/branch.hh +208 -0
- data/ext/gecode-2.1.1/gecode/cpltset/branch/select-val.icc +167 -0
- data/ext/gecode-2.1.1/gecode/cpltset/branch/select-view.icc +143 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/atmost.cc +472 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/cardinality.cc +69 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/distinct.cc +83 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/dom.cc +147 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/partition.cc +383 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/rangeroots.cc +466 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/rel.cc +530 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/select.cc +126 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/singleton.cc +55 -0
- data/ext/gecode-2.1.1/gecode/cpltset/exception.icc +172 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators.hh +335 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators/binary.icc +260 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators/nary.icc +210 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators/naryone.icc +165 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators/narytwo.icc +191 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators/singleton.icc +130 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators/unary.icc +132 -0
- data/ext/gecode-2.1.1/gecode/cpltset/support.cc +673 -0
- data/ext/gecode-2.1.1/gecode/cpltset/support.icc +696 -0
- data/ext/gecode-2.1.1/gecode/cpltset/var-imp.icc +487 -0
- data/ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.cc +926 -0
- data/ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.icc +687 -0
- data/ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.vis +86 -0
- data/ext/gecode-2.1.1/gecode/cpltset/var/cpltset.cc +101 -0
- data/ext/gecode-2.1.1/gecode/cpltset/var/cpltset.icc +219 -0
- data/ext/gecode-2.1.1/gecode/cpltset/view.icc +231 -0
- data/ext/gecode-2.1.1/gecode/cpltset/view/cpltset.icc +420 -0
- data/ext/gecode-2.1.1/gecode/cpltset/view/print.cc +166 -0
- data/ext/gecode-2.1.1/gecode/gist.hh +162 -0
- data/ext/gecode-2.1.1/gecode/gist/addchild.cc +191 -0
- data/ext/gecode-2.1.1/gecode/gist/addchild.hh +76 -0
- data/ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.cc +139 -0
- data/ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.hh +78 -0
- data/ext/gecode-2.1.1/gecode/gist/analysiscursor.cc +115 -0
- data/ext/gecode-2.1.1/gecode/gist/analysiscursor.hh +77 -0
- data/ext/gecode-2.1.1/gecode/gist/better.hh +59 -0
- data/ext/gecode-2.1.1/gecode/gist/config.cc +61 -0
- data/ext/gecode-2.1.1/gecode/gist/config.hh +62 -0
- data/ext/gecode-2.1.1/gecode/gist/drawingcursor.cc +245 -0
- data/ext/gecode-2.1.1/gecode/gist/drawingcursor.hh +101 -0
- data/ext/gecode-2.1.1/gecode/gist/gecodelogo.icc +522 -0
- data/ext/gecode-2.1.1/gecode/gist/gist.cc +129 -0
- data/ext/gecode-2.1.1/gecode/gist/gist.icc +76 -0
- data/ext/gecode-2.1.1/gecode/gist/mainwindow.cc +254 -0
- data/ext/gecode-2.1.1/gecode/gist/mainwindow.hh +86 -0
- data/ext/gecode-2.1.1/gecode/gist/node.cc +100 -0
- data/ext/gecode-2.1.1/gecode/gist/node.hh +89 -0
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.cc +124 -0
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.hh +122 -0
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.icc +79 -0
- data/ext/gecode-2.1.1/gecode/gist/nodevisitor.hh +91 -0
- data/ext/gecode-2.1.1/gecode/gist/nodevisitor.icc +112 -0
- data/ext/gecode-2.1.1/gecode/gist/postscript.cc +543 -0
- data/ext/gecode-2.1.1/gecode/gist/postscript.hh +56 -0
- data/ext/gecode-2.1.1/gecode/gist/preferences.cc +110 -0
- data/ext/gecode-2.1.1/gecode/gist/preferences.hh +76 -0
- data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.cc +55 -0
- data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.hh +58 -0
- data/ext/gecode-2.1.1/gecode/gist/shapelist.cc +331 -0
- data/ext/gecode-2.1.1/gecode/gist/shapelist.hh +140 -0
- data/ext/gecode-2.1.1/gecode/gist/spacenode.cc +531 -0
- data/ext/gecode-2.1.1/gecode/gist/spacenode.hh +224 -0
- data/ext/gecode-2.1.1/gecode/gist/test.cc +78 -0
- data/ext/gecode-2.1.1/gecode/gist/textoutput.cc +114 -0
- data/ext/gecode-2.1.1/gecode/gist/textoutput.hh +67 -0
- data/ext/gecode-2.1.1/gecode/gist/treecanvas.cc +1140 -0
- data/ext/gecode-2.1.1/gecode/gist/treecanvas.hh +324 -0
- data/ext/gecode-2.1.1/gecode/gist/ui_addchild.hh +163 -0
- data/ext/gecode-2.1.1/gecode/gist/ui_addvisualisationdialog.hh +163 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.cc +175 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.hh +71 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.cc +219 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.hh +73 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayitem.hh +123 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.cc +146 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.hh +96 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayviewt.hh +105 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/varitem.cc +68 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/varitem.hh +67 -0
- data/ext/gecode-2.1.1/gecode/gist/visualnode.cc +303 -0
- data/ext/gecode-2.1.1/gecode/gist/visualnode.hh +166 -0
- data/ext/gecode-2.1.1/gecode/int.hh +2035 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic.cc +136 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic.hh +440 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic/abs.icc +279 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic/max.icc +253 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic/mult.icc +522 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic/sqr.icc +218 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic/sqrt.icc +138 -0
- data/ext/gecode-2.1.1/gecode/int/array.cc +74 -0
- data/ext/gecode-2.1.1/gecode/int/array.icc +115 -0
- data/ext/gecode-2.1.1/gecode/int/bool.cc +642 -0
- data/ext/gecode-2.1.1/gecode/int/bool.hh +487 -0
- data/ext/gecode-2.1.1/gecode/int/bool/base.icc +156 -0
- data/ext/gecode-2.1.1/gecode/int/bool/eq.icc +239 -0
- data/ext/gecode-2.1.1/gecode/int/bool/eqv.icc +179 -0
- data/ext/gecode-2.1.1/gecode/int/bool/lq.icc +147 -0
- data/ext/gecode-2.1.1/gecode/int/bool/or.icc +1000 -0
- data/ext/gecode-2.1.1/gecode/int/branch.cc +301 -0
- data/ext/gecode-2.1.1/gecode/int/branch.hh +576 -0
- data/ext/gecode-2.1.1/gecode/int/branch/select-val.icc +338 -0
- data/ext/gecode-2.1.1/gecode/int/branch/select-view.icc +421 -0
- data/ext/gecode-2.1.1/gecode/int/channel.cc +114 -0
- data/ext/gecode-2.1.1/gecode/int/channel.hh +259 -0
- data/ext/gecode-2.1.1/gecode/int/channel/base.icc +86 -0
- data/ext/gecode-2.1.1/gecode/int/channel/dom.icc +347 -0
- data/ext/gecode-2.1.1/gecode/int/channel/link-multi.cc +231 -0
- data/ext/gecode-2.1.1/gecode/int/channel/link-multi.icc +70 -0
- data/ext/gecode-2.1.1/gecode/int/channel/link-single.cc +97 -0
- data/ext/gecode-2.1.1/gecode/int/channel/link-single.icc +71 -0
- data/ext/gecode-2.1.1/gecode/int/channel/val.icc +276 -0
- data/ext/gecode-2.1.1/gecode/int/circuit.cc +63 -0
- data/ext/gecode-2.1.1/gecode/int/circuit.hh +175 -0
- data/ext/gecode-2.1.1/gecode/int/circuit/base.icc +271 -0
- data/ext/gecode-2.1.1/gecode/int/circuit/dom.icc +146 -0
- data/ext/gecode-2.1.1/gecode/int/circuit/val.icc +122 -0
- data/ext/gecode-2.1.1/gecode/int/count.cc +310 -0
- data/ext/gecode-2.1.1/gecode/int/count.hh +487 -0
- data/ext/gecode-2.1.1/gecode/int/count/int.icc +619 -0
- data/ext/gecode-2.1.1/gecode/int/count/rel.icc +144 -0
- data/ext/gecode-2.1.1/gecode/int/count/view.icc +449 -0
- data/ext/gecode-2.1.1/gecode/int/cumulatives.cc +226 -0
- data/ext/gecode-2.1.1/gecode/int/cumulatives.hh +141 -0
- data/ext/gecode-2.1.1/gecode/int/cumulatives/val.icc +429 -0
- data/ext/gecode-2.1.1/gecode/int/distinct.cc +108 -0
- data/ext/gecode-2.1.1/gecode/int/distinct.hh +341 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/bilink.icc +89 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/bnd.icc +378 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/combptr.icc +78 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/dom.icc +750 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/edge.icc +118 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/node.icc +147 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/ter-dom.icc +136 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/val.icc +209 -0
- data/ext/gecode-2.1.1/gecode/int/dom.cc +116 -0
- data/ext/gecode-2.1.1/gecode/int/dom.hh +134 -0
- data/ext/gecode-2.1.1/gecode/int/dom/range.icc +129 -0
- data/ext/gecode-2.1.1/gecode/int/dom/spec.icc +151 -0
- data/ext/gecode-2.1.1/gecode/int/element.cc +156 -0
- data/ext/gecode-2.1.1/gecode/int/element.hh +239 -0
- data/ext/gecode-2.1.1/gecode/int/element/int.icc +441 -0
- data/ext/gecode-2.1.1/gecode/int/element/view.icc +584 -0
- data/ext/gecode-2.1.1/gecode/int/exception.icc +163 -0
- data/ext/gecode-2.1.1/gecode/int/extensional.cc +138 -0
- data/ext/gecode-2.1.1/gecode/int/extensional.hh +415 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/base.icc +160 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/basic.icc +166 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/bitset.icc +113 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/dfa.cc +565 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/dfa.icc +241 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/incremental.icc +393 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/layered-graph.icc +604 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/tuple-set.cc +311 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/tuple-set.icc +207 -0
- data/ext/gecode-2.1.1/gecode/int/gcc.cc +374 -0
- data/ext/gecode-2.1.1/gecode/int/gcc.hh +329 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/bnd.icc +660 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/dom.icc +531 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/gccbndsup.icc +780 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/graphsup.icc +2422 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/lbc.icc +391 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/occur.icc +829 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/ubc.icc +255 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/val.icc +400 -0
- data/ext/gecode-2.1.1/gecode/int/int-set.cc +153 -0
- data/ext/gecode-2.1.1/gecode/int/int-set.icc +191 -0
- data/ext/gecode-2.1.1/gecode/int/limits.icc +54 -0
- data/ext/gecode-2.1.1/gecode/int/linear-bool.cc +220 -0
- data/ext/gecode-2.1.1/gecode/int/linear-int.cc +240 -0
- data/ext/gecode-2.1.1/gecode/int/linear.hh +1849 -0
- data/ext/gecode-2.1.1/gecode/int/linear/bool-int.icc +791 -0
- data/ext/gecode-2.1.1/gecode/int/linear/bool-post.cc +433 -0
- data/ext/gecode-2.1.1/gecode/int/linear/bool-scale.icc +854 -0
- data/ext/gecode-2.1.1/gecode/int/linear/bool-view.icc +399 -0
- data/ext/gecode-2.1.1/gecode/int/linear/int-bin.icc +605 -0
- data/ext/gecode-2.1.1/gecode/int/linear/int-dom.icc +539 -0
- data/ext/gecode-2.1.1/gecode/int/linear/int-nary.icc +1004 -0
- data/ext/gecode-2.1.1/gecode/int/linear/int-noview.icc +385 -0
- data/ext/gecode-2.1.1/gecode/int/linear/int-post.cc +493 -0
- data/ext/gecode-2.1.1/gecode/int/linear/int-ter.icc +357 -0
- data/ext/gecode-2.1.1/gecode/int/linear/post.icc +146 -0
- data/ext/gecode-2.1.1/gecode/int/propagator.icc +240 -0
- data/ext/gecode-2.1.1/gecode/int/rel.cc +431 -0
- data/ext/gecode-2.1.1/gecode/int/rel.hh +657 -0
- data/ext/gecode-2.1.1/gecode/int/rel/eq.icc +848 -0
- data/ext/gecode-2.1.1/gecode/int/rel/lex.icc +248 -0
- data/ext/gecode-2.1.1/gecode/int/rel/lq-le.icc +352 -0
- data/ext/gecode-2.1.1/gecode/int/rel/nq.icc +269 -0
- data/ext/gecode-2.1.1/gecode/int/sorted.cc +91 -0
- data/ext/gecode-2.1.1/gecode/int/sorted.hh +117 -0
- data/ext/gecode-2.1.1/gecode/int/sorted/matching.icc +182 -0
- data/ext/gecode-2.1.1/gecode/int/sorted/narrowing.icc +257 -0
- data/ext/gecode-2.1.1/gecode/int/sorted/order.icc +208 -0
- data/ext/gecode-2.1.1/gecode/int/sorted/propagate.icc +669 -0
- data/ext/gecode-2.1.1/gecode/int/sorted/sortsup.icc +596 -0
- data/ext/gecode-2.1.1/gecode/int/unshare.cc +148 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp.icc +745 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/bool.cc +104 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/bool.icc +423 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/bool.vis +69 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/delta.icc +64 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/int.cc +407 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/int.icc +1004 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/int.vis +195 -0
- data/ext/gecode-2.1.1/gecode/int/var/bool.cc +72 -0
- data/ext/gecode-2.1.1/gecode/int/var/bool.icc +126 -0
- data/ext/gecode-2.1.1/gecode/int/var/int.cc +79 -0
- data/ext/gecode-2.1.1/gecode/int/var/int.icc +151 -0
- data/ext/gecode-2.1.1/gecode/int/view.icc +1894 -0
- data/ext/gecode-2.1.1/gecode/int/view/bool.icc +598 -0
- data/ext/gecode-2.1.1/gecode/int/view/constint.icc +392 -0
- data/ext/gecode-2.1.1/gecode/int/view/int.icc +301 -0
- data/ext/gecode-2.1.1/gecode/int/view/iter.icc +65 -0
- data/ext/gecode-2.1.1/gecode/int/view/minus.icc +372 -0
- data/ext/gecode-2.1.1/gecode/int/view/offset.icc +362 -0
- data/ext/gecode-2.1.1/gecode/int/view/print.cc +133 -0
- data/ext/gecode-2.1.1/gecode/int/view/rtest.icc +231 -0
- data/ext/gecode-2.1.1/gecode/int/view/scale.icc +456 -0
- data/ext/gecode-2.1.1/gecode/int/view/zero.icc +384 -0
- data/ext/gecode-2.1.1/gecode/iter.hh +90 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-add.icc +144 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-append.icc +222 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-array.icc +138 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-cache.icc +337 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-compl.icc +220 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-diff.icc +142 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-empty.icc +111 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-inter.icc +216 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-minmax.icc +118 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-minus.icc +150 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-offset.icc +127 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-operations.icc +157 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-scale.icc +238 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-singleton-append.icc +111 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-singleton.icc +86 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-size.icc +146 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-union.icc +224 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-values.icc +140 -0
- data/ext/gecode-2.1.1/gecode/iter/values-array.icc +119 -0
- data/ext/gecode-2.1.1/gecode/iter/values-minus.icc +130 -0
- data/ext/gecode-2.1.1/gecode/iter/values-offset.icc +113 -0
- data/ext/gecode-2.1.1/gecode/iter/values-ranges.icc +106 -0
- data/ext/gecode-2.1.1/gecode/iter/values-singleton.icc +109 -0
- data/ext/gecode-2.1.1/gecode/iter/values-unique.icc +118 -0
- data/ext/gecode-2.1.1/gecode/iter/virtual-ranges-compl.icc +261 -0
- data/ext/gecode-2.1.1/gecode/iter/virtual-ranges-inter.icc +241 -0
- data/ext/gecode-2.1.1/gecode/iter/virtual-ranges-union.icc +249 -0
- data/ext/gecode-2.1.1/gecode/iter/virtual-ranges.icc +140 -0
- data/ext/gecode-2.1.1/gecode/kernel.hh +182 -0
- data/ext/gecode-2.1.1/gecode/kernel/advisor.icc +104 -0
- data/ext/gecode-2.1.1/gecode/kernel/array.icc +1232 -0
- data/ext/gecode-2.1.1/gecode/kernel/branching.icc +447 -0
- data/ext/gecode-2.1.1/gecode/kernel/core.cc +473 -0
- data/ext/gecode-2.1.1/gecode/kernel/core.icc +2295 -0
- data/ext/gecode-2.1.1/gecode/kernel/exception.icc +101 -0
- data/ext/gecode-2.1.1/gecode/kernel/macros.icc +117 -0
- data/ext/gecode-2.1.1/gecode/kernel/memory-manager.cc +57 -0
- data/ext/gecode-2.1.1/gecode/kernel/memory-manager.icc +458 -0
- data/ext/gecode-2.1.1/gecode/kernel/modevent.icc +69 -0
- data/ext/gecode-2.1.1/gecode/kernel/propagator.icc +845 -0
- data/ext/gecode-2.1.1/gecode/kernel/reflection.cc +921 -0
- data/ext/gecode-2.1.1/gecode/kernel/reflection.icc +1012 -0
- data/ext/gecode-2.1.1/gecode/kernel/shared-array.icc +286 -0
- data/ext/gecode-2.1.1/gecode/kernel/var-imp.icc +433 -0
- data/ext/gecode-2.1.1/gecode/kernel/var-map.cc +269 -0
- data/ext/gecode-2.1.1/gecode/kernel/var-map.icc +227 -0
- data/ext/gecode-2.1.1/gecode/kernel/var-traits.icc +72 -0
- data/ext/gecode-2.1.1/gecode/kernel/var-type.cc +68 -0
- data/ext/gecode-2.1.1/gecode/kernel/var-type.icc +915 -0
- data/ext/gecode-2.1.1/gecode/kernel/var.icc +120 -0
- data/ext/gecode-2.1.1/gecode/kernel/view.icc +611 -0
- data/ext/gecode-2.1.1/gecode/minimodel.hh +1165 -0
- data/ext/gecode-2.1.1/gecode/minimodel/arithmetic.cc +179 -0
- data/ext/gecode-2.1.1/gecode/minimodel/bool-expr.cc +327 -0
- data/ext/gecode-2.1.1/gecode/minimodel/bool-expr.icc +131 -0
- data/ext/gecode-2.1.1/gecode/minimodel/bool-rel.icc +83 -0
- data/ext/gecode-2.1.1/gecode/minimodel/exception.icc +84 -0
- data/ext/gecode-2.1.1/gecode/minimodel/lin-expr.icc +374 -0
- data/ext/gecode-2.1.1/gecode/minimodel/lin-rel.icc +324 -0
- data/ext/gecode-2.1.1/gecode/minimodel/matrix.icc +144 -0
- data/ext/gecode-2.1.1/gecode/minimodel/reg.cc +823 -0
- data/ext/gecode-2.1.1/gecode/search.hh +752 -0
- data/ext/gecode-2.1.1/gecode/search/bab.cc +169 -0
- data/ext/gecode-2.1.1/gecode/search/bab.icc +117 -0
- data/ext/gecode-2.1.1/gecode/search/dfs.cc +79 -0
- data/ext/gecode-2.1.1/gecode/search/dfs.icc +169 -0
- data/ext/gecode-2.1.1/gecode/search/engine-ctrl.icc +131 -0
- data/ext/gecode-2.1.1/gecode/search/lds.cc +265 -0
- data/ext/gecode-2.1.1/gecode/search/lds.icc +73 -0
- data/ext/gecode-2.1.1/gecode/search/options.cc +46 -0
- data/ext/gecode-2.1.1/gecode/search/options.icc +46 -0
- data/ext/gecode-2.1.1/gecode/search/reco-stack.icc +237 -0
- data/ext/gecode-2.1.1/gecode/search/restart.icc +99 -0
- data/ext/gecode-2.1.1/gecode/search/statistics.icc +46 -0
- data/ext/gecode-2.1.1/gecode/search/stop.cc +74 -0
- data/ext/gecode-2.1.1/gecode/search/stop.icc +116 -0
- data/ext/gecode-2.1.1/gecode/serialization.hh +149 -0
- data/ext/gecode-2.1.1/gecode/serialization/boost.cc +78 -0
- data/ext/gecode-2.1.1/gecode/serialization/boost.icc +381 -0
- data/ext/gecode-2.1.1/gecode/serialization/flatzinc.cc +372 -0
- data/ext/gecode-2.1.1/gecode/serialization/javascript.cc +340 -0
- data/ext/gecode-2.1.1/gecode/serialization/javascript.hh +69 -0
- data/ext/gecode-2.1.1/gecode/serialization/register.cc +8142 -0
- data/ext/gecode-2.1.1/gecode/set.hh +970 -0
- data/ext/gecode-2.1.1/gecode/set/array.cc +114 -0
- data/ext/gecode-2.1.1/gecode/set/array.icc +77 -0
- data/ext/gecode-2.1.1/gecode/set/branch.cc +78 -0
- data/ext/gecode-2.1.1/gecode/set/branch.hh +213 -0
- data/ext/gecode-2.1.1/gecode/set/branch/select-val.icc +132 -0
- data/ext/gecode-2.1.1/gecode/set/branch/select-view.icc +148 -0
- data/ext/gecode-2.1.1/gecode/set/cardinality.cc +65 -0
- data/ext/gecode-2.1.1/gecode/set/convex.cc +59 -0
- data/ext/gecode-2.1.1/gecode/set/convex.hh +126 -0
- data/ext/gecode-2.1.1/gecode/set/convex/conv.cc +118 -0
- data/ext/gecode-2.1.1/gecode/set/convex/conv.icc +67 -0
- data/ext/gecode-2.1.1/gecode/set/convex/hull.cc +140 -0
- data/ext/gecode-2.1.1/gecode/set/convex/hull.icc +68 -0
- data/ext/gecode-2.1.1/gecode/set/distinct.cc +56 -0
- data/ext/gecode-2.1.1/gecode/set/distinct.hh +90 -0
- data/ext/gecode-2.1.1/gecode/set/distinct/atmostOne.cc +192 -0
- data/ext/gecode-2.1.1/gecode/set/distinct/atmostOne.icc +66 -0
- data/ext/gecode-2.1.1/gecode/set/dom.cc +232 -0
- data/ext/gecode-2.1.1/gecode/set/exception.icc +135 -0
- data/ext/gecode-2.1.1/gecode/set/int.cc +177 -0
- data/ext/gecode-2.1.1/gecode/set/int.hh +391 -0
- data/ext/gecode-2.1.1/gecode/set/int/card.icc +116 -0
- data/ext/gecode-2.1.1/gecode/set/int/channel-bool.icc +303 -0
- data/ext/gecode-2.1.1/gecode/set/int/channel-int.icc +174 -0
- data/ext/gecode-2.1.1/gecode/set/int/match.icc +224 -0
- data/ext/gecode-2.1.1/gecode/set/int/minmax.icc +228 -0
- data/ext/gecode-2.1.1/gecode/set/int/weights.icc +370 -0
- data/ext/gecode-2.1.1/gecode/set/limits.icc +62 -0
- data/ext/gecode-2.1.1/gecode/set/projectors-compiler.hh +164 -0
- data/ext/gecode-2.1.1/gecode/set/projectors.cc +143 -0
- data/ext/gecode-2.1.1/gecode/set/projectors.hh +438 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/compiler.cc +859 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/formula.cc +312 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/formula.icc +66 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/projector-set.cc +91 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/projector-set.icc +85 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/projector.cc +147 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/projector.icc +98 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/propagator.hh +168 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/propagator/card.icc +128 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/propagator/nary.icc +144 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/propagator/re-nary.cc +100 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/propagator/re-nary.icc +71 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/set-expr.cc +339 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/set-expr.icc +237 -0
- data/ext/gecode-2.1.1/gecode/set/propagator.icc +125 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op-const.cc +332 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op.cc +197 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op.hh +353 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/common.icc +557 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/inter.icc +409 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/partition.icc +202 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/post.icc +223 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/subofunion.icc +192 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/superofinter.icc +193 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/union.icc +383 -0
- data/ext/gecode-2.1.1/gecode/set/rel.cc +258 -0
- data/ext/gecode-2.1.1/gecode/set/rel.hh +321 -0
- data/ext/gecode-2.1.1/gecode/set/rel/common.icc +125 -0
- data/ext/gecode-2.1.1/gecode/set/rel/eq.icc +139 -0
- data/ext/gecode-2.1.1/gecode/set/rel/nosubset.icc +128 -0
- data/ext/gecode-2.1.1/gecode/set/rel/nq.icc +208 -0
- data/ext/gecode-2.1.1/gecode/set/rel/re-eq.icc +179 -0
- data/ext/gecode-2.1.1/gecode/set/rel/re-subset.icc +172 -0
- data/ext/gecode-2.1.1/gecode/set/rel/subset.icc +119 -0
- data/ext/gecode-2.1.1/gecode/set/select.cc +135 -0
- data/ext/gecode-2.1.1/gecode/set/select.hh +233 -0
- data/ext/gecode-2.1.1/gecode/set/select/disjoint.cc +308 -0
- data/ext/gecode-2.1.1/gecode/set/select/disjoint.icc +75 -0
- data/ext/gecode-2.1.1/gecode/set/select/idxarray.hh +113 -0
- data/ext/gecode-2.1.1/gecode/set/select/idxarray.icc +155 -0
- data/ext/gecode-2.1.1/gecode/set/select/inter.icc +349 -0
- data/ext/gecode-2.1.1/gecode/set/select/union.icc +371 -0
- data/ext/gecode-2.1.1/gecode/set/select/unionConst.icc +334 -0
- data/ext/gecode-2.1.1/gecode/set/sequence.cc +69 -0
- data/ext/gecode-2.1.1/gecode/set/sequence.hh +134 -0
- data/ext/gecode-2.1.1/gecode/set/sequence/common.icc +99 -0
- data/ext/gecode-2.1.1/gecode/set/sequence/seq-u.cc +176 -0
- data/ext/gecode-2.1.1/gecode/set/sequence/seq-u.icc +79 -0
- data/ext/gecode-2.1.1/gecode/set/sequence/seq.cc +94 -0
- data/ext/gecode-2.1.1/gecode/set/sequence/seq.icc +69 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp.icc +737 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/delta.icc +78 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/integerset.cc +349 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/integerset.icc +484 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/iter.icc +63 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/set.cc +214 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/set.icc +532 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/set.vis +190 -0
- data/ext/gecode-2.1.1/gecode/set/var/set.cc +105 -0
- data/ext/gecode-2.1.1/gecode/set/var/set.icc +303 -0
- data/ext/gecode-2.1.1/gecode/set/view.icc +1503 -0
- data/ext/gecode-2.1.1/gecode/set/view/complement.icc +629 -0
- data/ext/gecode-2.1.1/gecode/set/view/const.icc +907 -0
- data/ext/gecode-2.1.1/gecode/set/view/offset.icc +497 -0
- data/ext/gecode-2.1.1/gecode/set/view/print.cc +141 -0
- data/ext/gecode-2.1.1/gecode/set/view/set.icc +275 -0
- data/ext/gecode-2.1.1/gecode/set/view/singleton.icc +438 -0
- data/ext/gecode-2.1.1/gecode/support.hh +110 -0
- data/ext/gecode-2.1.1/gecode/support/block-allocator.icc +158 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/AUTHORS +11 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/ChangeLog +218 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/NEWS +200 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/README +128 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/bdd.h +939 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/bddio.c +596 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/bddop.c +2848 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/bddtree.h +62 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/bvec.c +1354 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/bvec.h +298 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/cache.c +104 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/cache.h +72 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/config.h +20 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/cppext.cc +626 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/fdd.c +1079 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/fdd.h +175 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/imatrix.c +151 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/imatrix.h +61 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/kernel.c +1555 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/kernel.h +244 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/pairs.c +336 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/prime.c +322 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/prime.h +50 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/reorder.c +2345 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/tree.c +224 -0
- data/ext/gecode-2.1.1/gecode/support/cast.icc +52 -0
- data/ext/gecode-2.1.1/gecode/support/config.icc.in +80 -0
- data/ext/gecode-2.1.1/gecode/support/dynamic-array.icc +138 -0
- data/ext/gecode-2.1.1/gecode/support/dynamic-stack.icc +167 -0
- data/ext/gecode-2.1.1/gecode/support/exception.cc +65 -0
- data/ext/gecode-2.1.1/gecode/support/exception.icc +82 -0
- data/ext/gecode-2.1.1/gecode/support/macros.icc +103 -0
- data/ext/gecode-2.1.1/gecode/support/map.icc +207 -0
- data/ext/gecode-2.1.1/gecode/support/marked-pointer.icc +66 -0
- data/ext/gecode-2.1.1/gecode/support/memory.icc +220 -0
- data/ext/gecode-2.1.1/gecode/support/random.icc +121 -0
- data/ext/gecode-2.1.1/gecode/support/sentinel-stack.icc +122 -0
- data/ext/gecode-2.1.1/gecode/support/sort.icc +210 -0
- data/ext/gecode-2.1.1/gecode/support/static-pqueue.icc +242 -0
- data/ext/gecode-2.1.1/gecode/support/static-stack.icc +125 -0
- data/ext/gecode-2.1.1/gecode/support/symbol.cc +226 -0
- data/ext/gecode-2.1.1/gecode/support/symbol.icc +130 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/install-sh +0 -0
- data/ext/gecode-2.1.1/misc/AppleHelpbookInfo.plist +26 -0
- data/ext/gecode-2.1.1/misc/allexamples.perl +60 -0
- data/ext/gecode-2.1.1/misc/debian/Makefile.am +44 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/changelog +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/control +0 -0
- data/ext/gecode-2.1.1/misc/debian/copyright +30 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/gecode.info +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/gecode.install +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/gecode.spec +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/rules +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/doxygen/back.png +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/doxygen/footer.html +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/doxygen/gecode-logo-100.png +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/doxygen/header.html +0 -0
- data/ext/gecode-2.1.1/misc/doxygen/stylesheet.css +464 -0
- data/ext/gecode-2.1.1/misc/fixproperties.sh +77 -0
- data/ext/gecode-2.1.1/misc/gecode-gist.pc.in +45 -0
- data/ext/gecode-2.1.1/misc/gecode-minimodel.pc.in +45 -0
- data/ext/gecode-2.1.1/misc/gecode-search.pc.in +45 -0
- data/ext/gecode-2.1.1/misc/gecode-serialization.pc.in +45 -0
- data/ext/gecode-2.1.1/misc/gecode.pc.in +45 -0
- data/ext/gecode-2.1.1/misc/genchangelog.perl +208 -0
- data/ext/gecode-2.1.1/misc/genlcovmakefile.perl +148 -0
- data/ext/gecode-2.1.1/misc/genlicense.perl +121 -0
- data/ext/gecode-2.1.1/misc/genregistry.perl +468 -0
- data/ext/gecode-2.1.1/misc/genstatistics.perl +178 -0
- data/ext/gecode-2.1.1/misc/gentxtchangelog.perl +192 -0
- data/ext/gecode-2.1.1/misc/genvariables.perl +905 -0
- data/ext/gecode-2.1.1/misc/getrevision.perl +47 -0
- data/ext/gecode-2.1.1/misc/makedepend.perl +85 -0
- data/ext/gecode-2.1.1/misc/svn-ignore.txt +15 -0
- data/ext/gecode-2.1.1/variables.vsl +50 -0
- data/ext/missing.cpp +1 -1
- data/ext/missing.h +1 -1
- data/ext/vararray.h +4 -4
- data/lib/gecoder/bindings.rb +21 -1
- data/lib/gecoder/bindings/bindings.rb +408 -731
- data/lib/gecoder/interface/binding_changes.rb +1 -1
- data/lib/gecoder/interface/branch.rb +25 -25
- data/lib/gecoder/interface/constraints.rb +47 -4
- data/lib/gecoder/interface/constraints/bool/boolean.rb +18 -16
- data/lib/gecoder/interface/constraints/bool_enum/boolean.rb +13 -11
- data/lib/gecoder/interface/constraints/int/arithmetic.rb +5 -4
- data/lib/gecoder/interface/constraints/int/domain.rb +8 -9
- data/lib/gecoder/interface/constraints/int/linear.rb +10 -8
- data/lib/gecoder/interface/constraints/int_enum/arithmetic.rb +4 -4
- data/lib/gecoder/interface/constraints/int_enum/channel.rb +2 -2
- data/lib/gecoder/interface/constraints/int_enum/count.rb +4 -5
- data/lib/gecoder/interface/constraints/int_enum/distinct.rb +7 -2
- data/lib/gecoder/interface/constraints/int_enum/element.rb +2 -2
- data/lib/gecoder/interface/constraints/int_enum/equality.rb +6 -3
- data/lib/gecoder/interface/constraints/int_enum/sort.rb +17 -5
- data/lib/gecoder/interface/constraints/set_enum/distinct.rb +0 -36
- data/lib/gecoder/interface/constraints/set_var_constraints.rb +5 -0
- data/lib/gecoder/interface/model.rb +3 -3
- data/lib/gecoder/interface/search.rb +5 -4
- data/lib/gecoder/version.rb +1 -1
- data/specs/branch.rb +27 -27
- data/specs/constraints/arithmetic.rb +48 -30
- data/specs/constraints/bool_enum.rb +39 -19
- data/specs/constraints/boolean.rb +10 -10
- data/specs/constraints/cardinality.rb +12 -9
- data/specs/constraints/channel.rb +6 -6
- data/specs/constraints/connection.rb +22 -26
- data/specs/constraints/constraint_helper.rb +125 -41
- data/specs/constraints/count.rb +22 -15
- data/specs/constraints/distinct.rb +10 -64
- data/specs/constraints/element.rb +14 -12
- data/specs/constraints/equality.rb +4 -4
- data/specs/constraints/int_domain.rb +8 -7
- data/specs/constraints/int_relation.rb +12 -8
- data/specs/constraints/linear.rb +4 -4
- data/specs/constraints/reification_sugar.rb +22 -4
- data/specs/constraints/selection.rb +2 -2
- data/specs/constraints/set_domain.rb +7 -3
- data/specs/constraints/set_operation.rb +2 -2
- data/specs/constraints/set_relation.rb +2 -6
- data/specs/constraints/sort.rb +20 -16
- data/specs/distribution.rb +14 -0
- data/specs/model.rb +4 -4
- data/tasks/dependencies.txt +21 -0
- data/tasks/distribution.rake +49 -14
- data/vendor/rust/include/rust_checks.hh +2 -1
- data/vendor/rust/include/rust_conversions.hh +2 -2
- data/vendor/rust/rust/attribute.rb +2 -2
- data/vendor/rust/rust/class.rb +2 -2
- data/vendor/rust/rust/cxxclass.rb +0 -2
- data/vendor/rust/rust/function.rb +2 -2
- data/vendor/rust/rust/templates/AttributeDefinition.rusttpl +1 -1
- data/vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl +1 -1
- data/vendor/rust/rust/templates/VariableFunctionCall.rusttpl +1 -1
- data/vendor/rust/rust/type.rb +1 -1
- metadata +599 -542
- data/ext/gecode-1.3.1/LICENSE +0 -34
- data/ext/gecode-1.3.1/Makefile.contribs +0 -71
- data/ext/gecode-1.3.1/Makefile.dep +0 -3928
- data/ext/gecode-1.3.1/Makefile.in +0 -966
- data/ext/gecode-1.3.1/changelog.in +0 -1065
- data/ext/gecode-1.3.1/configure +0 -8590
- data/ext/gecode-1.3.1/configure.ac +0 -179
- data/ext/gecode-1.3.1/configure.ac.in +0 -175
- data/ext/gecode-1.3.1/contribs/graph/INSTALL +0 -53
- data/ext/gecode-1.3.1/contribs/graph/LICENSE +0 -11
- data/ext/gecode-1.3.1/contribs/graph/Makefile +0 -167
- data/ext/gecode-1.3.1/contribs/graph/Makefile.in.in +0 -169
- data/ext/gecode-1.3.1/contribs/graph/TODO +0 -28
- data/ext/gecode-1.3.1/contribs/graph/binarysimple.hh +0 -82
- data/ext/gecode-1.3.1/contribs/graph/binarysimple.icc +0 -186
- data/ext/gecode-1.3.1/contribs/graph/branch/branch.icc +0 -257
- data/ext/gecode-1.3.1/contribs/graph/configure +0 -2160
- data/ext/gecode-1.3.1/contribs/graph/configure.ac +0 -33
- data/ext/gecode-1.3.1/contribs/graph/doxygen.conf +0 -1226
- data/ext/gecode-1.3.1/contribs/graph/doxygen.hh +0 -132
- data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-basic.cc +0 -94
- data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-complement.cc +0 -104
- data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-instUB.cc +0 -105
- data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-path.cc +0 -92
- data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-path2.cc +0 -273
- data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-pathcost.cc +0 -311
- data/ext/gecode-1.3.1/contribs/graph/examples/g1.txt +0 -1
- data/ext/gecode-1.3.1/contribs/graph/examples/g2.txt +0 -1
- data/ext/gecode-1.3.1/contribs/graph/graph.hh +0 -51
- data/ext/gecode-1.3.1/contribs/graph/graphutils.h +0 -46
- data/ext/gecode-1.3.1/contribs/graph/graphutils.icc +0 -140
- data/ext/gecode-1.3.1/contribs/graph/misc/doxygen/footer.html +0 -1
- data/ext/gecode-1.3.1/contribs/graph/path.hh +0 -116
- data/ext/gecode-1.3.1/contribs/graph/path.icc +0 -64
- data/ext/gecode-1.3.1/contribs/graph/path/path.icc +0 -139
- data/ext/gecode-1.3.1/contribs/graph/path/pathdegree.icc +0 -133
- data/ext/gecode-1.3.1/contribs/graph/path/pathgraphs.icc +0 -341
- data/ext/gecode-1.3.1/contribs/graph/shortdesc.ac +0 -1
- data/ext/gecode-1.3.1/contribs/graph/stlutility.icc +0 -105
- data/ext/gecode-1.3.1/contribs/graph/var.icc +0 -106
- data/ext/gecode-1.3.1/contribs/graph/view.icc +0 -373
- data/ext/gecode-1.3.1/contribs/graph/view/arcnode.cc +0 -162
- data/ext/gecode-1.3.1/contribs/graph/view/arcnode.hh +0 -78
- data/ext/gecode-1.3.1/contribs/graph/view/boundsgraphs.icc +0 -349
- data/ext/gecode-1.3.1/contribs/graph/view/constant.icc +0 -148
- data/ext/gecode-1.3.1/contribs/graph/view/iter.icc +0 -337
- data/ext/gecode-1.3.1/contribs/graph/view/nodearcsets.icc +0 -493
- data/ext/gecode-1.3.1/contribs/graph/view/nodeset.icc +0 -60
- data/ext/gecode-1.3.1/contribs/graph/view/outadjsets.icc +0 -600
- data/ext/gecode-1.3.1/contribs/graph/view/prop.icc +0 -135
- data/ext/gecode-1.3.1/contribs/map/COMPILING +0 -68
- data/ext/gecode-1.3.1/contribs/map/LICENSE +0 -11
- data/ext/gecode-1.3.1/contribs/map/Makefile.in.in +0 -173
- data/ext/gecode-1.3.1/contribs/map/configure +0 -2285
- data/ext/gecode-1.3.1/contribs/map/configure.ac +0 -32
- data/ext/gecode-1.3.1/contribs/map/constraints.hh +0 -46
- data/ext/gecode-1.3.1/contribs/map/constraints.icc +0 -84
- data/ext/gecode-1.3.1/contribs/map/doxygen.conf +0 -1229
- data/ext/gecode-1.3.1/contribs/map/doxygen.hh +0 -33
- data/ext/gecode-1.3.1/contribs/map/examples/approximateMatching.cc +0 -199
- data/ext/gecode-1.3.1/contribs/map/examples/g1.txt +0 -1
- data/ext/gecode-1.3.1/contribs/map/examples/g2.txt +0 -1
- data/ext/gecode-1.3.1/contribs/map/examples/graph-examples.tgz +0 -0
- data/ext/gecode-1.3.1/contribs/map/examples/isomorphism.cc +0 -148
- data/ext/gecode-1.3.1/contribs/map/examples/map +0 -0
- data/ext/gecode-1.3.1/contribs/map/examples/map.cc +0 -80
- data/ext/gecode-1.3.1/contribs/map/examples/subgraphmonomorphism.cc +0 -155
- data/ext/gecode-1.3.1/contribs/map/map.hh +0 -65
- data/ext/gecode-1.3.1/contribs/map/matching/mono.hh +0 -235
- data/ext/gecode-1.3.1/contribs/map/matching/mono.icc +0 -771
- data/ext/gecode-1.3.1/contribs/map/shortdesc.ac +0 -2
- data/ext/gecode-1.3.1/contribs/map/var.icc +0 -346
- data/ext/gecode-1.3.1/contribs/map/var/imp.cc +0 -42
- data/ext/gecode-1.3.1/contribs/map/var/imp.icc +0 -436
- data/ext/gecode-1.3.1/doxygen.conf.in +0 -1225
- data/ext/gecode-1.3.1/doxygen.hh.in +0 -877
- data/ext/gecode-1.3.1/examples/all-interval-sort.cc +0 -201
- data/ext/gecode-1.3.1/examples/all-interval.cc +0 -114
- data/ext/gecode-1.3.1/examples/alpha.cc +0 -112
- data/ext/gecode-1.3.1/examples/baseline.cc +0 -71
- data/ext/gecode-1.3.1/examples/bibd.cc +0 -173
- data/ext/gecode-1.3.1/examples/black-hole.cc +0 -281
- data/ext/gecode-1.3.1/examples/cars.cc +0 -165
- data/ext/gecode-1.3.1/examples/crew.cc +0 -220
- data/ext/gecode-1.3.1/examples/crowded-chess.cc +0 -312
- data/ext/gecode-1.3.1/examples/donald.cc +0 -93
- data/ext/gecode-1.3.1/examples/eq20.cc +0 -111
- data/ext/gecode-1.3.1/examples/golf.cc +0 -242
- data/ext/gecode-1.3.1/examples/golomb.cc +0 -141
- data/ext/gecode-1.3.1/examples/graph-color.cc +0 -371
- data/ext/gecode-1.3.1/examples/grocery.cc +0 -107
- data/ext/gecode-1.3.1/examples/hamming.cc +0 -107
- data/ext/gecode-1.3.1/examples/ind-set.cc +0 -130
- data/ext/gecode-1.3.1/examples/knights.cc +0 -146
- data/ext/gecode-1.3.1/examples/langfordnum.cc +0 -244
- data/ext/gecode-1.3.1/examples/magic-sequence-gcc.cc +0 -93
- data/ext/gecode-1.3.1/examples/magic-sequence.cc +0 -108
- data/ext/gecode-1.3.1/examples/magic-square.cc +0 -120
- data/ext/gecode-1.3.1/examples/money.cc +0 -92
- data/ext/gecode-1.3.1/examples/ortho-latin.cc +0 -156
- data/ext/gecode-1.3.1/examples/packing.cc +0 -211
- data/ext/gecode-1.3.1/examples/partition.cc +0 -126
- data/ext/gecode-1.3.1/examples/photo.cc +0 -155
- data/ext/gecode-1.3.1/examples/picture-puzzle.cc +0 -481
- data/ext/gecode-1.3.1/examples/queen-armies.cc +0 -240
- data/ext/gecode-1.3.1/examples/queens.cc +0 -99
- data/ext/gecode-1.3.1/examples/sports-league.cc +0 -454
- data/ext/gecode-1.3.1/examples/steiner.cc +0 -148
- data/ext/gecode-1.3.1/examples/stress-domain.cc +0 -86
- data/ext/gecode-1.3.1/examples/stress-element.cc +0 -95
- data/ext/gecode-1.3.1/examples/stress-exec.cc +0 -74
- data/ext/gecode-1.3.1/examples/stress-min.cc +0 -84
- data/ext/gecode-1.3.1/examples/stress-search.cc +0 -72
- data/ext/gecode-1.3.1/examples/sudoku-mixed.cc +0 -282
- data/ext/gecode-1.3.1/examples/sudoku-set.cc +0 -162
- data/ext/gecode-1.3.1/examples/sudoku.cc +0 -188
- data/ext/gecode-1.3.1/examples/sudoku.icc +0 -703
- data/ext/gecode-1.3.1/examples/support.cc +0 -160
- data/ext/gecode-1.3.1/examples/support.hh +0 -98
- data/ext/gecode-1.3.1/examples/support.icc +0 -187
- data/ext/gecode-1.3.1/examples/timer.cc +0 -47
- data/ext/gecode-1.3.1/examples/timer.hh +0 -72
- data/ext/gecode-1.3.1/examples/warehouses.cc +0 -176
- data/ext/gecode-1.3.1/extconf.rb +0 -8
- data/ext/gecode-1.3.1/gecode.m4 +0 -736
- data/ext/gecode-1.3.1/gecode/config.icc.in +0 -50
- data/ext/gecode-1.3.1/gecode/int.hh +0 -1426
- data/ext/gecode-1.3.1/gecode/int/arithmetic.cc +0 -87
- data/ext/gecode-1.3.1/gecode/int/arithmetic.hh +0 -292
- data/ext/gecode-1.3.1/gecode/int/arithmetic/abs.icc +0 -213
- data/ext/gecode-1.3.1/gecode/int/arithmetic/max.icc +0 -196
- data/ext/gecode-1.3.1/gecode/int/arithmetic/mult.icc +0 -478
- data/ext/gecode-1.3.1/gecode/int/array.cc +0 -61
- data/ext/gecode-1.3.1/gecode/int/array.icc +0 -264
- data/ext/gecode-1.3.1/gecode/int/bool.cc +0 -187
- data/ext/gecode-1.3.1/gecode/int/bool.hh +0 -255
- data/ext/gecode-1.3.1/gecode/int/bool/base.icc +0 -123
- data/ext/gecode-1.3.1/gecode/int/bool/eq.icc +0 -89
- data/ext/gecode-1.3.1/gecode/int/bool/eqv.icc +0 -132
- data/ext/gecode-1.3.1/gecode/int/bool/or.icc +0 -380
- data/ext/gecode-1.3.1/gecode/int/branch.cc +0 -81
- data/ext/gecode-1.3.1/gecode/int/branch.hh +0 -444
- data/ext/gecode-1.3.1/gecode/int/branch/assign.cc +0 -83
- data/ext/gecode-1.3.1/gecode/int/branch/assign.icc +0 -76
- data/ext/gecode-1.3.1/gecode/int/branch/select-val.icc +0 -104
- data/ext/gecode-1.3.1/gecode/int/branch/select-view.icc +0 -219
- data/ext/gecode-1.3.1/gecode/int/channel.cc +0 -62
- data/ext/gecode-1.3.1/gecode/int/channel.hh +0 -144
- data/ext/gecode-1.3.1/gecode/int/channel/base.icc +0 -60
- data/ext/gecode-1.3.1/gecode/int/channel/dom.icc +0 -313
- data/ext/gecode-1.3.1/gecode/int/channel/stack.icc +0 -59
- data/ext/gecode-1.3.1/gecode/int/channel/val.icc +0 -239
- data/ext/gecode-1.3.1/gecode/int/count.cc +0 -174
- data/ext/gecode-1.3.1/gecode/int/count.hh +0 -401
- data/ext/gecode-1.3.1/gecode/int/count/int.icc +0 -495
- data/ext/gecode-1.3.1/gecode/int/count/rel.icc +0 -100
- data/ext/gecode-1.3.1/gecode/int/count/view.icc +0 -332
- data/ext/gecode-1.3.1/gecode/int/cumulatives.cc +0 -210
- data/ext/gecode-1.3.1/gecode/int/cumulatives.hh +0 -118
- data/ext/gecode-1.3.1/gecode/int/cumulatives/val.icc +0 -377
- data/ext/gecode-1.3.1/gecode/int/distinct.cc +0 -77
- data/ext/gecode-1.3.1/gecode/int/distinct.hh +0 -272
- data/ext/gecode-1.3.1/gecode/int/distinct/bilink.icc +0 -73
- data/ext/gecode-1.3.1/gecode/int/distinct/bnd.icc +0 -335
- data/ext/gecode-1.3.1/gecode/int/distinct/combptr.icc +0 -62
- data/ext/gecode-1.3.1/gecode/int/distinct/dom.icc +0 -740
- data/ext/gecode-1.3.1/gecode/int/distinct/edge.icc +0 -96
- data/ext/gecode-1.3.1/gecode/int/distinct/node.icc +0 -107
- data/ext/gecode-1.3.1/gecode/int/distinct/ter-dom.icc +0 -97
- data/ext/gecode-1.3.1/gecode/int/distinct/val.icc +0 -171
- data/ext/gecode-1.3.1/gecode/int/dom.cc +0 -81
- data/ext/gecode-1.3.1/gecode/int/dom.hh +0 -101
- data/ext/gecode-1.3.1/gecode/int/dom/range.icc +0 -85
- data/ext/gecode-1.3.1/gecode/int/dom/spec.icc +0 -85
- data/ext/gecode-1.3.1/gecode/int/element.cc +0 -58
- data/ext/gecode-1.3.1/gecode/int/element.hh +0 -203
- data/ext/gecode-1.3.1/gecode/int/element/int.icc +0 -396
- data/ext/gecode-1.3.1/gecode/int/element/view.icc +0 -443
- data/ext/gecode-1.3.1/gecode/int/exception.icc +0 -137
- data/ext/gecode-1.3.1/gecode/int/gcc.cc +0 -708
- data/ext/gecode-1.3.1/gecode/int/gcc.hh +0 -338
- data/ext/gecode-1.3.1/gecode/int/gcc/bnd.icc +0 -629
- data/ext/gecode-1.3.1/gecode/int/gcc/dom.icc +0 -504
- data/ext/gecode-1.3.1/gecode/int/gcc/gccbndsup.icc +0 -760
- data/ext/gecode-1.3.1/gecode/int/gcc/graphsup.icc +0 -2375
- data/ext/gecode-1.3.1/gecode/int/gcc/lbc.icc +0 -375
- data/ext/gecode-1.3.1/gecode/int/gcc/occur.icc +0 -687
- data/ext/gecode-1.3.1/gecode/int/gcc/ubc.icc +0 -236
- data/ext/gecode-1.3.1/gecode/int/gcc/val.icc +0 -373
- data/ext/gecode-1.3.1/gecode/int/int-set.cc +0 -115
- data/ext/gecode-1.3.1/gecode/int/int-set.icc +0 -151
- data/ext/gecode-1.3.1/gecode/int/linear.cc +0 -247
- data/ext/gecode-1.3.1/gecode/int/linear.hh +0 -1056
- data/ext/gecode-1.3.1/gecode/int/linear/binary.icc +0 -439
- data/ext/gecode-1.3.1/gecode/int/linear/bool-int.icc +0 -422
- data/ext/gecode-1.3.1/gecode/int/linear/bool-view.icc +0 -311
- data/ext/gecode-1.3.1/gecode/int/linear/dom.icc +0 -503
- data/ext/gecode-1.3.1/gecode/int/linear/nary.icc +0 -857
- data/ext/gecode-1.3.1/gecode/int/linear/noview.icc +0 -264
- data/ext/gecode-1.3.1/gecode/int/linear/post.cc +0 -542
- data/ext/gecode-1.3.1/gecode/int/linear/ternary.icc +0 -255
- data/ext/gecode-1.3.1/gecode/int/propagator.icc +0 -194
- data/ext/gecode-1.3.1/gecode/int/regular.cc +0 -40
- data/ext/gecode-1.3.1/gecode/int/regular.hh +0 -83
- data/ext/gecode-1.3.1/gecode/int/regular/dfa.cc +0 -466
- data/ext/gecode-1.3.1/gecode/int/regular/dfa.icc +0 -172
- data/ext/gecode-1.3.1/gecode/int/regular/dom.icc +0 -480
- data/ext/gecode-1.3.1/gecode/int/regular/reg.cc +0 -738
- data/ext/gecode-1.3.1/gecode/int/rel.cc +0 -293
- data/ext/gecode-1.3.1/gecode/int/rel.hh +0 -526
- data/ext/gecode-1.3.1/gecode/int/rel/eq.icc +0 -640
- data/ext/gecode-1.3.1/gecode/int/rel/lex.icc +0 -212
- data/ext/gecode-1.3.1/gecode/int/rel/lq-le.icc +0 -246
- data/ext/gecode-1.3.1/gecode/int/rel/nq.icc +0 -188
- data/ext/gecode-1.3.1/gecode/int/sortedness.cc +0 -124
- data/ext/gecode-1.3.1/gecode/int/sortedness.hh +0 -108
- data/ext/gecode-1.3.1/gecode/int/sortedness/matching.icc +0 -177
- data/ext/gecode-1.3.1/gecode/int/sortedness/narrowing.icc +0 -243
- data/ext/gecode-1.3.1/gecode/int/sortedness/order.icc +0 -232
- data/ext/gecode-1.3.1/gecode/int/sortedness/sortedness.icc +0 -727
- data/ext/gecode-1.3.1/gecode/int/sortedness/sortsup.icc +0 -666
- data/ext/gecode-1.3.1/gecode/int/var-imp.vis +0 -198
- data/ext/gecode-1.3.1/gecode/int/var.icc +0 -590
- data/ext/gecode-1.3.1/gecode/int/var/bool.icc +0 -52
- data/ext/gecode-1.3.1/gecode/int/var/imp-body.icc +0 -65
- data/ext/gecode-1.3.1/gecode/int/var/imp-hdr.icc +0 -191
- data/ext/gecode-1.3.1/gecode/int/var/imp.cc +0 -361
- data/ext/gecode-1.3.1/gecode/int/var/imp.icc +0 -579
- data/ext/gecode-1.3.1/gecode/int/var/int.cc +0 -63
- data/ext/gecode-1.3.1/gecode/int/var/int.icc +0 -135
- data/ext/gecode-1.3.1/gecode/int/view.icc +0 -1219
- data/ext/gecode-1.3.1/gecode/int/view/bool.icc +0 -270
- data/ext/gecode-1.3.1/gecode/int/view/constint.icc +0 -306
- data/ext/gecode-1.3.1/gecode/int/view/int.icc +0 -221
- data/ext/gecode-1.3.1/gecode/int/view/iter.icc +0 -49
- data/ext/gecode-1.3.1/gecode/int/view/minus.icc +0 -285
- data/ext/gecode-1.3.1/gecode/int/view/offset.icc +0 -274
- data/ext/gecode-1.3.1/gecode/int/view/print.cc +0 -109
- data/ext/gecode-1.3.1/gecode/int/view/rtest.icc +0 -215
- data/ext/gecode-1.3.1/gecode/int/view/scale.icc +0 -373
- data/ext/gecode-1.3.1/gecode/iter.hh +0 -65
- data/ext/gecode-1.3.1/gecode/iter/ranges-add.icc +0 -130
- data/ext/gecode-1.3.1/gecode/iter/ranges-append.icc +0 -208
- data/ext/gecode-1.3.1/gecode/iter/ranges-array.icc +0 -123
- data/ext/gecode-1.3.1/gecode/iter/ranges-cache.icc +0 -143
- data/ext/gecode-1.3.1/gecode/iter/ranges-compl.icc +0 -206
- data/ext/gecode-1.3.1/gecode/iter/ranges-diff.icc +0 -127
- data/ext/gecode-1.3.1/gecode/iter/ranges-empty.icc +0 -96
- data/ext/gecode-1.3.1/gecode/iter/ranges-inter.icc +0 -202
- data/ext/gecode-1.3.1/gecode/iter/ranges-minmax.icc +0 -103
- data/ext/gecode-1.3.1/gecode/iter/ranges-minus.icc +0 -138
- data/ext/gecode-1.3.1/gecode/iter/ranges-offset.icc +0 -112
- data/ext/gecode-1.3.1/gecode/iter/ranges-operations.icc +0 -142
- data/ext/gecode-1.3.1/gecode/iter/ranges-scale.icc +0 -224
- data/ext/gecode-1.3.1/gecode/iter/ranges-singleton.icc +0 -71
- data/ext/gecode-1.3.1/gecode/iter/ranges-size.icc +0 -131
- data/ext/gecode-1.3.1/gecode/iter/ranges-union.icc +0 -211
- data/ext/gecode-1.3.1/gecode/iter/ranges-values.icc +0 -125
- data/ext/gecode-1.3.1/gecode/iter/values-ranges.icc +0 -91
- data/ext/gecode-1.3.1/gecode/iter/virtual-ranges-compl.icc +0 -247
- data/ext/gecode-1.3.1/gecode/iter/virtual-ranges-inter.icc +0 -227
- data/ext/gecode-1.3.1/gecode/iter/virtual-ranges-union.icc +0 -236
- data/ext/gecode-1.3.1/gecode/iter/virtual-ranges.icc +0 -126
- data/ext/gecode-1.3.1/gecode/kernel.hh +0 -141
- data/ext/gecode-1.3.1/gecode/kernel/array.icc +0 -954
- data/ext/gecode-1.3.1/gecode/kernel/branching.icc +0 -233
- data/ext/gecode-1.3.1/gecode/kernel/core.cc +0 -417
- data/ext/gecode-1.3.1/gecode/kernel/core.icc +0 -1681
- data/ext/gecode-1.3.1/gecode/kernel/exception.cc +0 -49
- data/ext/gecode-1.3.1/gecode/kernel/exception.icc +0 -104
- data/ext/gecode-1.3.1/gecode/kernel/macros.icc +0 -98
- data/ext/gecode-1.3.1/gecode/kernel/memory-manager.cc +0 -41
- data/ext/gecode-1.3.1/gecode/kernel/memory-manager.icc +0 -438
- data/ext/gecode-1.3.1/gecode/kernel/memory.icc +0 -205
- data/ext/gecode-1.3.1/gecode/kernel/modevent.icc +0 -53
- data/ext/gecode-1.3.1/gecode/kernel/propagator.icc +0 -680
- data/ext/gecode-1.3.1/gecode/kernel/view.icc +0 -583
- data/ext/gecode-1.3.1/gecode/limits.hh +0 -87
- data/ext/gecode-1.3.1/gecode/minimodel.hh +0 -942
- data/ext/gecode-1.3.1/gecode/minimodel/arithmetic.cc +0 -137
- data/ext/gecode-1.3.1/gecode/minimodel/bool-expr.cc +0 -207
- data/ext/gecode-1.3.1/gecode/minimodel/bool-expr.icc +0 -191
- data/ext/gecode-1.3.1/gecode/minimodel/bool-rel.icc +0 -66
- data/ext/gecode-1.3.1/gecode/minimodel/exception.icc +0 -59
- data/ext/gecode-1.3.1/gecode/minimodel/lin-expr.cc +0 -103
- data/ext/gecode-1.3.1/gecode/minimodel/lin-expr.icc +0 -192
- data/ext/gecode-1.3.1/gecode/minimodel/lin-rel.icc +0 -200
- data/ext/gecode-1.3.1/gecode/minimodel/matrix.icc +0 -118
- data/ext/gecode-1.3.1/gecode/minimodel/scheduling.cc +0 -241
- data/ext/gecode-1.3.1/gecode/search.hh +0 -745
- data/ext/gecode-1.3.1/gecode/search/bab.cc +0 -153
- data/ext/gecode-1.3.1/gecode/search/bab.icc +0 -101
- data/ext/gecode-1.3.1/gecode/search/dfs.cc +0 -63
- data/ext/gecode-1.3.1/gecode/search/dfs.icc +0 -144
- data/ext/gecode-1.3.1/gecode/search/engine-ctrl.icc +0 -109
- data/ext/gecode-1.3.1/gecode/search/lds.cc +0 -237
- data/ext/gecode-1.3.1/gecode/search/lds.icc +0 -57
- data/ext/gecode-1.3.1/gecode/search/reco-stack.icc +0 -219
- data/ext/gecode-1.3.1/gecode/search/restart.icc +0 -76
- data/ext/gecode-1.3.1/gecode/search/statistics.icc +0 -30
- data/ext/gecode-1.3.1/gecode/search/stop.cc +0 -58
- data/ext/gecode-1.3.1/gecode/search/stop.icc +0 -100
- data/ext/gecode-1.3.1/gecode/set.hh +0 -419
- data/ext/gecode-1.3.1/gecode/set/array.cc +0 -114
- data/ext/gecode-1.3.1/gecode/set/array.icc +0 -134
- data/ext/gecode-1.3.1/gecode/set/branch.cc +0 -57
- data/ext/gecode-1.3.1/gecode/set/branch.hh +0 -176
- data/ext/gecode-1.3.1/gecode/set/branch/select-val.icc +0 -72
- data/ext/gecode-1.3.1/gecode/set/branch/select-view.icc +0 -112
- data/ext/gecode-1.3.1/gecode/set/cardinality.cc +0 -49
- data/ext/gecode-1.3.1/gecode/set/convex.cc +0 -43
- data/ext/gecode-1.3.1/gecode/set/convex.hh +0 -92
- data/ext/gecode-1.3.1/gecode/set/convex/conv.cc +0 -81
- data/ext/gecode-1.3.1/gecode/set/convex/conv.icc +0 -51
- data/ext/gecode-1.3.1/gecode/set/convex/hull.cc +0 -100
- data/ext/gecode-1.3.1/gecode/set/convex/hull.icc +0 -52
- data/ext/gecode-1.3.1/gecode/set/distinct.cc +0 -48
- data/ext/gecode-1.3.1/gecode/set/distinct.hh +0 -97
- data/ext/gecode-1.3.1/gecode/set/distinct/atmostOne.cc +0 -151
- data/ext/gecode-1.3.1/gecode/set/distinct/atmostOne.icc +0 -50
- data/ext/gecode-1.3.1/gecode/set/distinct/binomial.cc +0 -46
- data/ext/gecode-1.3.1/gecode/set/distinct/binomial.icc +0 -157
- data/ext/gecode-1.3.1/gecode/set/distinct/distinct.cc +0 -124
- data/ext/gecode-1.3.1/gecode/set/distinct/distinct.icc +0 -58
- data/ext/gecode-1.3.1/gecode/set/dom.cc +0 -224
- data/ext/gecode-1.3.1/gecode/set/exception.icc +0 -132
- data/ext/gecode-1.3.1/gecode/set/int.cc +0 -139
- data/ext/gecode-1.3.1/gecode/set/int.hh +0 -226
- data/ext/gecode-1.3.1/gecode/set/int/card.cc +0 -61
- data/ext/gecode-1.3.1/gecode/set/int/card.icc +0 -54
- data/ext/gecode-1.3.1/gecode/set/int/channel.cc +0 -100
- data/ext/gecode-1.3.1/gecode/set/int/channel.icc +0 -75
- data/ext/gecode-1.3.1/gecode/set/int/match.cc +0 -148
- data/ext/gecode-1.3.1/gecode/set/int/match.icc +0 -67
- data/ext/gecode-1.3.1/gecode/set/int/minmax.cc +0 -109
- data/ext/gecode-1.3.1/gecode/set/int/minmax.icc +0 -63
- data/ext/gecode-1.3.1/gecode/set/int/weights.cc +0 -182
- data/ext/gecode-1.3.1/gecode/set/int/weights.icc +0 -174
- data/ext/gecode-1.3.1/gecode/set/projectors-compiler.hh +0 -148
- data/ext/gecode-1.3.1/gecode/set/projectors.cc +0 -109
- data/ext/gecode-1.3.1/gecode/set/projectors.hh +0 -319
- data/ext/gecode-1.3.1/gecode/set/projectors/compiler.cc +0 -841
- data/ext/gecode-1.3.1/gecode/set/projectors/projector-set.cc +0 -69
- data/ext/gecode-1.3.1/gecode/set/projectors/projector-set.icc +0 -66
- data/ext/gecode-1.3.1/gecode/set/projectors/projector.cc +0 -125
- data/ext/gecode-1.3.1/gecode/set/projectors/projector.icc +0 -79
- data/ext/gecode-1.3.1/gecode/set/projectors/propagator.hh +0 -127
- data/ext/gecode-1.3.1/gecode/set/projectors/propagator/card.icc +0 -96
- data/ext/gecode-1.3.1/gecode/set/projectors/propagator/nary.icc +0 -106
- data/ext/gecode-1.3.1/gecode/set/projectors/propagator/re-nary.cc +0 -76
- data/ext/gecode-1.3.1/gecode/set/projectors/propagator/re-nary.icc +0 -53
- data/ext/gecode-1.3.1/gecode/set/projectors/set-expr.cc +0 -306
- data/ext/gecode-1.3.1/gecode/set/projectors/set-expr.icc +0 -192
- data/ext/gecode-1.3.1/gecode/set/propagator.icc +0 -96
- data/ext/gecode-1.3.1/gecode/set/rel-op-const.cc +0 -233
- data/ext/gecode-1.3.1/gecode/set/rel-op.cc +0 -96
- data/ext/gecode-1.3.1/gecode/set/rel-op.hh +0 -267
- data/ext/gecode-1.3.1/gecode/set/rel-op/common.icc +0 -528
- data/ext/gecode-1.3.1/gecode/set/rel-op/inter.icc +0 -312
- data/ext/gecode-1.3.1/gecode/set/rel-op/partition.icc +0 -131
- data/ext/gecode-1.3.1/gecode/set/rel-op/post.icc +0 -198
- data/ext/gecode-1.3.1/gecode/set/rel-op/subofunion.icc +0 -150
- data/ext/gecode-1.3.1/gecode/set/rel-op/superofinter.icc +0 -151
- data/ext/gecode-1.3.1/gecode/set/rel-op/union.icc +0 -292
- data/ext/gecode-1.3.1/gecode/set/rel.cc +0 -201
- data/ext/gecode-1.3.1/gecode/set/rel.hh +0 -250
- data/ext/gecode-1.3.1/gecode/set/rel/common.icc +0 -109
- data/ext/gecode-1.3.1/gecode/set/rel/eq.icc +0 -101
- data/ext/gecode-1.3.1/gecode/set/rel/nosubset.icc +0 -88
- data/ext/gecode-1.3.1/gecode/set/rel/nq.icc +0 -132
- data/ext/gecode-1.3.1/gecode/set/rel/re-eq.icc +0 -142
- data/ext/gecode-1.3.1/gecode/set/rel/re-subset.icc +0 -121
- data/ext/gecode-1.3.1/gecode/set/rel/subset.icc +0 -80
- data/ext/gecode-1.3.1/gecode/set/select.cc +0 -88
- data/ext/gecode-1.3.1/gecode/set/select.hh +0 -113
- data/ext/gecode-1.3.1/gecode/set/select/disjoint.cc +0 -267
- data/ext/gecode-1.3.1/gecode/set/select/disjoint.icc +0 -59
- data/ext/gecode-1.3.1/gecode/set/select/idxarray.hh +0 -91
- data/ext/gecode-1.3.1/gecode/set/select/idxarray.icc +0 -112
- data/ext/gecode-1.3.1/gecode/set/select/inter.icc +0 -300
- data/ext/gecode-1.3.1/gecode/set/sequence.cc +0 -48
- data/ext/gecode-1.3.1/gecode/set/sequence.hh +0 -97
- data/ext/gecode-1.3.1/gecode/set/sequence/common.icc +0 -79
- data/ext/gecode-1.3.1/gecode/set/sequence/seq-u.cc +0 -83
- data/ext/gecode-1.3.1/gecode/set/sequence/seq-u.icc +0 -63
- data/ext/gecode-1.3.1/gecode/set/sequence/seq.cc +0 -61
- data/ext/gecode-1.3.1/gecode/set/sequence/seq.icc +0 -53
- data/ext/gecode-1.3.1/gecode/set/var-imp.vis +0 -205
- data/ext/gecode-1.3.1/gecode/set/var.icc +0 -1090
- data/ext/gecode-1.3.1/gecode/set/var/imp-body.icc +0 -192
- data/ext/gecode-1.3.1/gecode/set/var/imp-hdr.icc +0 -235
- data/ext/gecode-1.3.1/gecode/set/var/imp.cc +0 -127
- data/ext/gecode-1.3.1/gecode/set/var/imp.icc +0 -356
- data/ext/gecode-1.3.1/gecode/set/var/integerset.cc +0 -256
- data/ext/gecode-1.3.1/gecode/set/var/integerset.icc +0 -512
- data/ext/gecode-1.3.1/gecode/set/var/iter.icc +0 -47
- data/ext/gecode-1.3.1/gecode/set/var/set.cc +0 -99
- data/ext/gecode-1.3.1/gecode/set/var/set.icc +0 -282
- data/ext/gecode-1.3.1/gecode/set/view.icc +0 -1075
- data/ext/gecode-1.3.1/gecode/set/view/complement.icc +0 -525
- data/ext/gecode-1.3.1/gecode/set/view/const.icc +0 -651
- data/ext/gecode-1.3.1/gecode/set/view/print.cc +0 -120
- data/ext/gecode-1.3.1/gecode/set/view/set.icc +0 -217
- data/ext/gecode-1.3.1/gecode/set/view/singleton.icc +0 -348
- data/ext/gecode-1.3.1/gecode/support/block-allocator.hh +0 -152
- data/ext/gecode-1.3.1/gecode/support/dynamic-array.hh +0 -131
- data/ext/gecode-1.3.1/gecode/support/dynamic-stack.hh +0 -157
- data/ext/gecode-1.3.1/gecode/support/random.hh +0 -100
- data/ext/gecode-1.3.1/gecode/support/shared-array.hh +0 -255
- data/ext/gecode-1.3.1/gecode/support/sort.hh +0 -193
- data/ext/gecode-1.3.1/gecode/support/static-pqueue.hh +0 -240
- data/ext/gecode-1.3.1/gecode/support/static-stack.hh +0 -117
- data/ext/gecode-1.3.1/misc/debian/Makefile.am +0 -8
- data/ext/gecode-1.3.1/misc/debian/copyright +0 -44
- data/ext/gecode-1.3.1/misc/doxygen/stylesheet.css +0 -460
- data/ext/gecode-1.3.1/misc/fixproperties.sh +0 -32
- data/ext/gecode-1.3.1/misc/gecode-minimodel.pc.in +0 -12
- data/ext/gecode-1.3.1/misc/gecode-search.pc.in +0 -12
- data/ext/gecode-1.3.1/misc/gecode.pc.in +0 -12
- data/ext/gecode-1.3.1/misc/genchangelog.perl +0 -190
- data/ext/gecode-1.3.1/misc/genlicense.perl +0 -113
- data/ext/gecode-1.3.1/misc/genstatistics.perl +0 -155
- data/ext/gecode-1.3.1/misc/gentxtchangelog.perl +0 -170
- data/ext/gecode-1.3.1/misc/genvarimp.perl +0 -666
- data/ext/gecode-1.3.1/misc/getrevision.perl +0 -32
- data/ext/gecode-1.3.1/misc/makedepend.perl +0 -66
- data/ext/gecode-1.3.1/test/int.cc +0 -497
- data/ext/gecode-1.3.1/test/int.hh +0 -119
- data/ext/gecode-1.3.1/test/int/arithmetic.cc +0 -262
- data/ext/gecode-1.3.1/test/int/basic.cc +0 -42
- data/ext/gecode-1.3.1/test/int/bool.cc +0 -189
- data/ext/gecode-1.3.1/test/int/channel.cc +0 -79
- data/ext/gecode-1.3.1/test/int/count.cc +0 -264
- data/ext/gecode-1.3.1/test/int/distinct.cc +0 -121
- data/ext/gecode-1.3.1/test/int/dom.cc +0 -69
- data/ext/gecode-1.3.1/test/int/element.cc +0 -132
- data/ext/gecode-1.3.1/test/int/gcc.cc +0 -592
- data/ext/gecode-1.3.1/test/int/linear.cc +0 -315
- data/ext/gecode-1.3.1/test/int/minimodel.cc +0 -451
- data/ext/gecode-1.3.1/test/int/regular.cc +0 -105
- data/ext/gecode-1.3.1/test/int/rel.cc +0 -283
- data/ext/gecode-1.3.1/test/int/scheduling.cc +0 -259
- data/ext/gecode-1.3.1/test/int/sortedness.cc +0 -272
- data/ext/gecode-1.3.1/test/intset.cc +0 -40
- data/ext/gecode-1.3.1/test/log.cc +0 -515
- data/ext/gecode-1.3.1/test/log.hh +0 -68
- data/ext/gecode-1.3.1/test/set.cc +0 -542
- data/ext/gecode-1.3.1/test/set.hh +0 -152
- data/ext/gecode-1.3.1/test/set/convex.cc +0 -94
- data/ext/gecode-1.3.1/test/set/distinct.cc +0 -148
- data/ext/gecode-1.3.1/test/set/dom.cc +0 -67
- data/ext/gecode-1.3.1/test/set/int.cc +0 -249
- data/ext/gecode-1.3.1/test/set/projection.cc +0 -333
- data/ext/gecode-1.3.1/test/set/rel-op.cc +0 -662
- data/ext/gecode-1.3.1/test/set/rel.cc +0 -198
- data/ext/gecode-1.3.1/test/set/select.cc +0 -108
- data/ext/gecode-1.3.1/test/set/sequence.cc +0 -83
- data/ext/gecode-1.3.1/test/stress.cc +0 -93
- data/ext/gecode-1.3.1/test/stress.hh +0 -74
- data/ext/gecode-1.3.1/test/stress/distinct.cc +0 -70
- data/ext/gecode-1.3.1/test/stress/domain.cc +0 -69
- data/ext/gecode-1.3.1/test/stress/exec.cc +0 -60
- data/ext/gecode-1.3.1/test/stress/minsort.cc +0 -63
- data/ext/gecode-1.3.1/test/stress/regular.cc +0 -112
- data/ext/gecode-1.3.1/test/test.cc +0 -215
- 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
|