mesh-rb 0.0.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (131) hide show
  1. checksums.yaml +7 -0
  2. data/.idea/.gitignore +8 -0
  3. data/.idea/mesh-rb.iml +16 -0
  4. data/.idea/misc.xml +4 -0
  5. data/.idea/modules.xml +8 -0
  6. data/.idea/vcs.xml +9 -0
  7. data/Gemfile +2 -0
  8. data/Gemfile.lock +17 -0
  9. data/Rakefile +16 -0
  10. data/bin/mesh +30 -0
  11. data/ext/mesh/extconf.rb +13 -0
  12. data/ext/mesh/mesh/.bazelrc +20 -0
  13. data/ext/mesh/mesh/.bazelversion +1 -0
  14. data/ext/mesh/mesh/.clang-format +15 -0
  15. data/ext/mesh/mesh/.dockerignore +5 -0
  16. data/ext/mesh/mesh/.editorconfig +16 -0
  17. data/ext/mesh/mesh/.gitattributes +4 -0
  18. data/ext/mesh/mesh/.github/workflows/main.yml +144 -0
  19. data/ext/mesh/mesh/.gitignore +51 -0
  20. data/ext/mesh/mesh/AUTHORS +5 -0
  21. data/ext/mesh/mesh/CMakeLists.txt +270 -0
  22. data/ext/mesh/mesh/CODE_OF_CONDUCT.md +77 -0
  23. data/ext/mesh/mesh/Dockerfile +30 -0
  24. data/ext/mesh/mesh/LICENSE +201 -0
  25. data/ext/mesh/mesh/Makefile +81 -0
  26. data/ext/mesh/mesh/README.md +97 -0
  27. data/ext/mesh/mesh/WORKSPACE +50 -0
  28. data/ext/mesh/mesh/bazel +350 -0
  29. data/ext/mesh/mesh/mesh-pldi19-powers.pdf +0 -0
  30. data/ext/mesh/mesh/src/BUILD +222 -0
  31. data/ext/mesh/mesh/src/CMakeLists.txt +85 -0
  32. data/ext/mesh/mesh/src/bitmap.h +590 -0
  33. data/ext/mesh/mesh/src/cheap_heap.h +170 -0
  34. data/ext/mesh/mesh/src/common.h +377 -0
  35. data/ext/mesh/mesh/src/copts.bzl +31 -0
  36. data/ext/mesh/mesh/src/d_assert.cc +75 -0
  37. data/ext/mesh/mesh/src/fixed_array.h +124 -0
  38. data/ext/mesh/mesh/src/global_heap.cc +547 -0
  39. data/ext/mesh/mesh/src/global_heap.h +569 -0
  40. data/ext/mesh/mesh/src/gnu_wrapper.cc +75 -0
  41. data/ext/mesh/mesh/src/internal.h +356 -0
  42. data/ext/mesh/mesh/src/libmesh.cc +239 -0
  43. data/ext/mesh/mesh/src/mac_wrapper.cc +528 -0
  44. data/ext/mesh/mesh/src/measure_rss.cc +44 -0
  45. data/ext/mesh/mesh/src/measure_rss.h +20 -0
  46. data/ext/mesh/mesh/src/meshable_arena.cc +776 -0
  47. data/ext/mesh/mesh/src/meshable_arena.h +309 -0
  48. data/ext/mesh/mesh/src/meshing.h +60 -0
  49. data/ext/mesh/mesh/src/mini_heap.h +532 -0
  50. data/ext/mesh/mesh/src/mmap_heap.h +104 -0
  51. data/ext/mesh/mesh/src/one_way_mmap_heap.h +77 -0
  52. data/ext/mesh/mesh/src/partitioned_heap.h +111 -0
  53. data/ext/mesh/mesh/src/plasma/mesh.h +33 -0
  54. data/ext/mesh/mesh/src/real.cc +52 -0
  55. data/ext/mesh/mesh/src/real.h +36 -0
  56. data/ext/mesh/mesh/src/rng/mwc.h +296 -0
  57. data/ext/mesh/mesh/src/rng/mwc64.h +58 -0
  58. data/ext/mesh/mesh/src/rpl_printf.c +1991 -0
  59. data/ext/mesh/mesh/src/runtime.cc +393 -0
  60. data/ext/mesh/mesh/src/runtime.h +114 -0
  61. data/ext/mesh/mesh/src/shuffle_vector.h +287 -0
  62. data/ext/mesh/mesh/src/size_classes.def +251 -0
  63. data/ext/mesh/mesh/src/static/if.h +36 -0
  64. data/ext/mesh/mesh/src/static/log.h +43 -0
  65. data/ext/mesh/mesh/src/testing/benchmark/local_refill.cc +103 -0
  66. data/ext/mesh/mesh/src/testing/big-alloc.c +28 -0
  67. data/ext/mesh/mesh/src/testing/fragmenter.cc +128 -0
  68. data/ext/mesh/mesh/src/testing/global-large-stress.cc +25 -0
  69. data/ext/mesh/mesh/src/testing/local-alloc.c +16 -0
  70. data/ext/mesh/mesh/src/testing/meshing_benchmark.cc +189 -0
  71. data/ext/mesh/mesh/src/testing/thread.cc +35 -0
  72. data/ext/mesh/mesh/src/testing/unit/alignment.cc +56 -0
  73. data/ext/mesh/mesh/src/testing/unit/bitmap_test.cc +274 -0
  74. data/ext/mesh/mesh/src/testing/unit/concurrent_mesh_test.cc +185 -0
  75. data/ext/mesh/mesh/src/testing/unit/mesh_test.cc +143 -0
  76. data/ext/mesh/mesh/src/testing/unit/rng_test.cc +22 -0
  77. data/ext/mesh/mesh/src/testing/unit/size_class_test.cc +66 -0
  78. data/ext/mesh/mesh/src/testing/unit/triple_mesh_test.cc +285 -0
  79. data/ext/mesh/mesh/src/testing/userfaultfd-kernel-copy.cc +164 -0
  80. data/ext/mesh/mesh/src/thread_local_heap.cc +163 -0
  81. data/ext/mesh/mesh/src/thread_local_heap.h +268 -0
  82. data/ext/mesh/mesh/src/wrapper.cc +433 -0
  83. data/ext/mesh/mesh/support/export_mesh.cmake +28 -0
  84. data/ext/mesh/mesh/support/gen-size-classes +57 -0
  85. data/ext/mesh/mesh/support/install_all_configs +33 -0
  86. data/ext/mesh/mesh/support/remove_export_mesh.cmake +48 -0
  87. data/ext/mesh/mesh/support/update-bazelisk +8 -0
  88. data/ext/mesh/mesh/theory/32m80.png +0 -0
  89. data/ext/mesh/mesh/theory/64m80ind.png +0 -0
  90. data/ext/mesh/mesh/theory/bound_comparison.py +67 -0
  91. data/ext/mesh/mesh/theory/bounds/impdeg+1 +135 -0
  92. data/ext/mesh/mesh/theory/choose.py +43 -0
  93. data/ext/mesh/mesh/theory/common.py +42 -0
  94. data/ext/mesh/mesh/theory/compute_exp_Y.py +134 -0
  95. data/ext/mesh/mesh/theory/createRandomString.py +69 -0
  96. data/ext/mesh/mesh/theory/deg_bound_check.py +100 -0
  97. data/ext/mesh/mesh/theory/degcheck.py +47 -0
  98. data/ext/mesh/mesh/theory/dumps/32,1,80,dumb.txt +81 -0
  99. data/ext/mesh/mesh/theory/dumps/32,2,80,dumb.txt +81 -0
  100. data/ext/mesh/mesh/theory/dumps/32,3,80,dumb.txt +81 -0
  101. data/ext/mesh/mesh/theory/dumps/32,4,80,dumb.txt +81 -0
  102. data/ext/mesh/mesh/theory/dumps/32,5,80,dumb.txt +81 -0
  103. data/ext/mesh/mesh/theory/dumps/32,6,80,dumb.txt +81 -0
  104. data/ext/mesh/mesh/theory/dumps/32,7,80,dumb.txt +81 -0
  105. data/ext/mesh/mesh/theory/dumps/32,8,80,dumb.txt +81 -0
  106. data/ext/mesh/mesh/theory/dumps/32,9,80,dumb.txt +81 -0
  107. data/ext/mesh/mesh/theory/experiment.py +303 -0
  108. data/ext/mesh/mesh/theory/experiment_raw_results/.gitignore +0 -0
  109. data/ext/mesh/mesh/theory/greedy_experiment.py +66 -0
  110. data/ext/mesh/mesh/theory/greedy_experiment_copy.py +46 -0
  111. data/ext/mesh/mesh/theory/greedy_experiment_q.py +75 -0
  112. data/ext/mesh/mesh/theory/makeGraph.py +64 -0
  113. data/ext/mesh/mesh/theory/manyreps.png +0 -0
  114. data/ext/mesh/mesh/theory/manystrings.png +0 -0
  115. data/ext/mesh/mesh/theory/match_vs_color_experiment.py +94 -0
  116. data/ext/mesh/mesh/theory/maxmatch_vs_E[Y].py +162 -0
  117. data/ext/mesh/mesh/theory/maxmatch_vs_greedymatch.py +96 -0
  118. data/ext/mesh/mesh/theory/maxvdeg+1imp++32,80.png +0 -0
  119. data/ext/mesh/mesh/theory/mesh_util.py +322 -0
  120. data/ext/mesh/mesh/theory/meshers.py +452 -0
  121. data/ext/mesh/mesh/theory/meshingBenchmark.py +96 -0
  122. data/ext/mesh/mesh/theory/occupancyComparison.py +133 -0
  123. data/ext/mesh/mesh/theory/randmatch_vs_greedymatch.py +97 -0
  124. data/ext/mesh/mesh/theory/randmatch_vs_greedymatch_q.py +103 -0
  125. data/ext/mesh/mesh/theory/randmatch_vs_greedymatch_time.py +117 -0
  126. data/ext/mesh/mesh/theory/read_mesh_dump.py +82 -0
  127. data/ext/mesh/mesh/theory/test.py +70 -0
  128. data/ext/mesh/mesh/tools/bazel +1 -0
  129. data/lib/mesh/version.rb +3 -0
  130. data/mesh.gemspec +14 -0
  131. metadata +172 -0
data/ext/mesh/mesh/theory/dumps/32,3,80,dumb.txt ADDED
@@ -0,0 +1,81 @@
1
+ 10010000000000000000000000000000
2
+ 00000001000000000000000000000001
3
+ 00010000000000000000000000001000
4
+ 00001000000000000010000000000000
5
+ 00000000101000000000000010000000
6
+ 10000000000000000000000000000000
7
+ 00000000010000000000000000000100
8
+ 00000000000000000000101001010000
9
+ 00000000000000010000000000000000
10
+ 00000000011000000100100000000101
11
+ 00000010010000000000010000001000
12
+ 00100000000000010000000000000000
13
+ 00000000000000000000000000000000
14
+ 00000010000000000000000000000000
15
+ 00000000000100010001000001000000
16
+ 00000000000000000000000000000000
17
+ 00000000000000000000000000001000
18
+ 00001000000010001001000000100100
19
+ 01000000000000000000000000000000
20
+ 00010000000000100000100000000010
21
+ 00101000010100010000010000000000
22
+ 00000000000000000000000000001010
23
+ 00000000000000001010000100001000
24
+ 00000000000000000000000000001000
25
+ 10000010010000000000000000000000
26
+ 00000000110000000010000000000000
27
+ 00000000001000000000000000000100
28
+ 00000000000001001000000000000010
29
+ 01000000000000010000000000001001
30
+ 00000000000000000101011000000010
31
+ 00010000000100000100010001000000
32
+ 00100000000000000000000000000010
33
+ 00000000001000000100000000000000
34
+ 00000000100010000100000000000000
35
+ 00010000000000000000000000000000
36
+ 00000010000000000000100000000000
37
+ 00000000000000000000100000000001
38
+ 00000000100100000000100000000000
39
+ 00000000000000001000000000110000
40
+ 00010000000001000000000000000000
41
+ 00000000100000000000000000010010
42
+ 00001000000001000000010000000000
43
+ 00000000001000000001000000000000
44
+ 00000000000010000000000000000000
45
+ 00000000000000000000000000000000
46
+ 01100000000000100000000000000000
47
+ 00010011000000000000000000000000
48
+ 00010000000000001000000000001000
49
+ 00000100010000000000000000000000
50
+ 01001000000100000000000000000000
51
+ 11100000000000010000000010000000
52
+ 00100000000000000000000000000000
53
+ 00000000000010000000010000001010
54
+ 00001000000010000000000001000010
55
+ 00010000000001010000100000000000
56
+ 00000000000000000000000000000000
57
+ 00000000000000000000010000000010
58
+ 00000000000011000000010000000000
59
+ 00000000000000000000000000000000
60
+ 00000000000001000000000000000000
61
+ 00100010011000100000000000010000
62
+ 00000010100000001000000000000010
63
+ 00000000000000000000000010000100
64
+ 00000000000110000100000000000000
65
+ 00000000001001000100010001000000
66
+ 00001000010000001000000000000100
67
+ 00000000000101000000000000000000
68
+ 00000000000000000100000000000101
69
+ 10000000001000000100000010000000
70
+ 00000000110000000000000000000010
71
+ 00000000000000100000001000010000
72
+ 00000000000000000000000000000000
73
+ 00000000101000000000001010000000
74
+ 00010100000010001000000000001000
75
+ 10001011000000000000000001001000
76
+ 00000000010000000100000000000000
77
+ 00000000000101000000000001000000
78
+ 11000010000000000100000000000000
79
+ 00000000000000100010000000001100
80
+ 00001000000010000000100000000100
81
+ -30
data/ext/mesh/mesh/theory/dumps/32,4,80,dumb.txt ADDED
@@ -0,0 +1,81 @@
1
+ 00000001000000001000000000000001
2
+ 10010000001010000000000000000000
3
+ 00001010001000010100000000100001
4
+ 00010000000100010000010001000000
5
+ 00000000010000000001000000000000
6
+ 00110000001000000000000000100000
7
+ 00000100000001000000000001000000
8
+ 01000000001000000000000000000001
9
+ 00000000000000010101000011000000
10
+ 00000000011000000000001000000010
11
+ 01000000000100000000000000000000
12
+ 00000010000000000001000001000000
13
+ 10000000000000101000000000000000
14
+ 00000000000000000000000000000000
15
+ 01000000100010001000000100000000
16
+ 10001010000000010000000101011000
17
+ 10000001100000010000000010100000
18
+ 00000000001000000010000001000000
19
+ 00001000000000000000000000100001
20
+ 00000110000000000000000001000000
21
+ 01000101010000000101100000000100
22
+ 10000000000100000000011100000000
23
+ 00000100100000000000100001000000
24
+ 00000001000000000000100000001010
25
+ 00000000000001100010000000000000
26
+ 00000010001000000000000000000010
27
+ 00010000000000001100010010000000
28
+ 00000100000000000010100001010000
29
+ 00000010000000000000000001100100
30
+ 00000111000100100100001000000010
31
+ 00100110000000000000000100000000
32
+ 00000001000000000011000000011000
33
+ 00000000000000001010000000000000
34
+ 00000010000000000010000001000010
35
+ 00010100000000000000001001000000
36
+ 10001000000100000001000000100001
37
+ 00001000001000000001000000000000
38
+ 00000000000000010000101000000000
39
+ 10000000100000000010000010001000
40
+ 00000000010000001000000000000000
41
+ 00010000000000000000000000000010
42
+ 00000000000010000000000001000000
43
+ 00000000000000001100010100000000
44
+ 00000000000000010000000010010000
45
+ 00011000001000000000000000011000
46
+ 00100001000010000000011000000000
47
+ 10000000000000001000000000001000
48
+ 00000000000100010000000111001000
49
+ 00000000000000010000001000000000
50
+ 00000100000000000000000000100001
51
+ 00000000010001000010000100000000
52
+ 00000000000000000000000000000000
53
+ 00000000100111000000000000000000
54
+ 00000100001000000000000000001010
55
+ 00010000000000000100010000000000
56
+ 00100000000000000000010001100000
57
+ 00000000000000100000010010000000
58
+ 00000100000000000000000000000000
59
+ 10000000000000011000000100110000
60
+ 00000000000000110000000000000000
61
+ 01100100010000000000000000100011
62
+ 01010100001100000010000000000000
63
+ 00010000100000000000000100010000
64
+ 00101000000000001000101100011100
65
+ 00000000000000000000000000100000
66
+ 00000001010100000000100000100000
67
+ 00100100000000001101011100000000
68
+ 00110001000100000000100100000000
69
+ 00000001000010000000100000000000
70
+ 00000001000001000100000000110000
71
+ 00000000000000100000000010000001
72
+ 00000001000001000000001001000001
73
+ 00000000000001010000000100000000
74
+ 00000010000000100000000000000100
75
+ 11010000001100000000001000000000
76
+ 00000010000000000000000000000010
77
+ 01000000100010100001100000010000
78
+ 10000000000000100000000000100100
79
+ 00000000010000000010000000101000
80
+ 00100110000010000001000000000000
81
+ -25
data/ext/mesh/mesh/theory/dumps/32,5,80,dumb.txt ADDED
@@ -0,0 +1,81 @@
1
+ 00000000000000000100000101000000
2
+ 00101000001011000000000000000000
3
+ 01010010101000000000101000001000
4
+ 00000000000101000000000001010000
5
+ 00010000000000000000000010001001
6
+ 00010001000010000010010000000000
7
+ 01000000100000000000100010001000
8
+ 00110000000110000000000000000100
9
+ 00000000000001000001000000010100
10
+ 00000001000000000000001000010000
11
+ 00000000000010010000101000000000
12
+ 10011010010000000011000001000000
13
+ 00101000010000010100001000000100
14
+ 10000100010000000000110000010000
15
+ 00000000001000001010000000000001
16
+ 00000000000000000100000000000000
17
+ 00000010000110000000000101100100
18
+ 10000110001010100100000000000000
19
+ 00000000001000100001000000000000
20
+ 00000000001010001000000000000000
21
+ 00000000100000001000000000100100
22
+ 00000010001000000000001000000000
23
+ 00010000000010010101001000000000
24
+ 00000100000000001000010000000010
25
+ 00000010010000101000000000000000
26
+ 00010000000010000000100000000000
27
+ 00000000100100000000100000100000
28
+ 00000100000101000000000100000100
29
+ 00000000100000000010100010100000
30
+ 00001101100000000000000001001000
31
+ 00000001100000000000100010000000
32
+ 00001010001100100000100000101000
33
+ 01000001000000000000010000100001
34
+ 10000010100010001000000000010000
35
+ 00000010100000000101000100100000
36
+ 01000000100000101000010100111100
37
+ 10101100010000001010100001000000
38
+ 00100010110000101000010000000000
39
+ 00101000000110000000100000001000
40
+ 01001001000000001000000000100010
41
+ 00000000010010000000000010000000
42
+ 00000000100000001100100000000100
43
+ 00000000101000000000000000100001
44
+ 00100000000000011000000010000000
45
+ 10010010000000000000000000000010
46
+ 01000000100000100010000000011000
47
+ 00000000111001000000000000000000
48
+ 00001000010010100000000000000101
49
+ 00010100001000100010000000000000
50
+ 01000000000001001010000111100000
51
+ 01010000110010000000000000000001
52
+ 00000000000000000000010000110000
53
+ 10100000000101000000100000000100
54
+ 00000001000100000001000001001000
55
+ 00000000100000000000110000001000
56
+ 00000000000000000110100010011001
57
+ 00010001000001010001000001010110
58
+ 10000000010000000001010000000010
59
+ 00101100010000001000000000010000
60
+ 10100001000000000111000100000000
61
+ 00000001001001000000001001000000
62
+ 01010001000010000100000000010000
63
+ 01110100110001000000000000001010
64
+ 00010010000100000001000000000000
65
+ 00000001001000000000001000001100
66
+ 00011010100001000101000111000010
67
+ 00001000010000010000000000011000
68
+ 00000000000000000101000000000010
69
+ 00000000000000010000000001000000
70
+ 00000000100010001000000000010010
71
+ 01100000010001010100000000000010
72
+ 00110000010001000000000000100010
73
+ 01000100000100001010011000000000
74
+ 00000100000000000010010000001000
75
+ 00000100000000000000011000001000
76
+ 00100100000001000100000100100000
77
+ 10000000000000000000000100000000
78
+ 00000000000000010000000000000101
79
+ 00000000000000000111000001010000
80
+ 10000001010010001001001000100000
81
+ -17
data/ext/mesh/mesh/theory/dumps/32,6,80,dumb.txt ADDED
@@ -0,0 +1,81 @@
1
+ 00000001100100100010000000010010
2
+ 01010000110010000010000101010000
3
+ 00100000000000001000100010010100
4
+ 00000000001000001000010000000000
5
+ 01000000000100000000000100100000
6
+ 11000000000000001010000100001010
7
+ 01100000000000000000010010010000
8
+ 00000110110101000010100000000000
9
+ 00000000110100000110000101010011
10
+ 00010100000010000000010000011010
11
+ 00000000000100000000100000000100
12
+ 00000100000101000010000100000100
13
+ 00000101010100100000101001110000
14
+ 01000000110001100110000000001001
15
+ 00000000001010000000000000010000
16
+ 10111100000000000000000001000100
17
+ 01000010100000000010000110011000
18
+ 00000000001000001000000001001000
19
+ 00000000010000110000100101001010
20
+ 00100000001000010000110000100000
21
+ 00100000010011000111101100001001
22
+ 00000001100101000000000000000110
23
+ 00010001000000001011001000010000
24
+ 00000000001001001000000000001000
25
+ 00010001011000010000000000000000
26
+ 01100000000100001000100000100100
27
+ 01010000000000001000010000000000
28
+ 00010000000011001000000000000010
29
+ 00000000000100010010000000100111
30
+ 00000101000011100001100011000000
31
+ 00101000001001000100000000000000
32
+ 00000000000000000000100000010000
33
+ 00100101000100001000001100011010
34
+ 00000000010000001010000001010000
35
+ 00000100001100000000000100000010
36
+ 00001000010000001000000000000000
37
+ 00000000100000000001100000000000
38
+ 00000000000000000010000000001000
39
+ 00100000000100001000100000101110
40
+ 00000000000000000010000000100100
41
+ 00000000001000000000001010000001
42
+ 01010000110000010000010001001000
43
+ 10010000010000010000110100000000
44
+ 00010000000100000100010000110100
45
+ 00010000000001011000100011110000
46
+ 00110100000001000000000101101001
47
+ 10000000000100011000001000000000
48
+ 00000000001011010101000001000010
49
+ 00000001000011100010000110101000
50
+ 10000000000100000000000100000000
51
+ 01001010000100000100000000000010
52
+ 10010000100001001000001000001100
53
+ 00100000000000010000000100000000
54
+ 00000100000001000000100000000000
55
+ 00010011000000000010010100001000
56
+ 00000000000011000010010010000000
57
+ 00001011110001000000011011010010
58
+ 00000001000000000000000111000001
59
+ 10000000000010000010000110001000
60
+ 00000100111100000000001000100000
61
+ 00100000000000001101010000000010
62
+ 00000000010010100100010000000000
63
+ 00001110001000100001100010000000
64
+ 00001000000001000000110010100001
65
+ 01000000000001000010010000010010
66
+ 00010000000010000000010010010000
67
+ 01000110010001010000100101000010
68
+ 00000000010101010000000001110100
69
+ 01000000010000000000000010000000
70
+ 01101100011101100000010010001000
71
+ 01001001000000000010000100101010
72
+ 00001000000010010000011000100000
73
+ 00000101100000001100000010000000
74
+ 01000100100000000010000010110000
75
+ 00101011000000000000001010011000
76
+ 00000100001110101000000000100000
77
+ 01010000001000000000000000000000
78
+ 00000000100101000100001011000000
79
+ 00000010000000001000100100001000
80
+ 01000000100000000000000000000011
81
+ -14
data/ext/mesh/mesh/theory/dumps/32,7,80,dumb.txt ADDED
@@ -0,0 +1,81 @@
1
+ 11000001000000000000101001000000
2
+ 01100001000100001100000001011110
3
+ 00000000100001000000000010010010
4
+ 00001000000000000001001000001000
5
+ 10100010000100001000001001001000
6
+ 01110001000000000000100000000000
7
+ 00101011000000001011010010000000
8
+ 00100000000000101000000110010001
9
+ 00010001000000111000010000010010
10
+ 00011100000001100100000100000000
11
+ 01000000011001100000110000010010
12
+ 00010000010000100000001000100000
13
+ 01101100010000001011100000100011
14
+ 10000111000100010110010010001000
15
+ 00000000010000000000100001000000
16
+ 01011100000000000000000010010000
17
+ 10101000000101000000010010000010
18
+ 00100110010100000000100001010000
19
+ 10100001010011000100000000000000
20
+ 00001000000000011010110010000100
21
+ 10000010100001000000010000000100
22
+ 10000001000000100000010001010110
23
+ 01000100010001101001000010000000
24
+ 01010100001000000000000000000010
25
+ 01010001100000000100100000000000
26
+ 00000010101000011110110110010010
27
+ 10000010010011010010001000000001
28
+ 00000010010000000010001000000011
29
+ 00100000000100010010000000000100
30
+ 00001100000000000000001100000000
31
+ 00000000110010000001110000000000
32
+ 10000100101001000000100001001000
33
+ 00100000000010001001011001000110
34
+ 00000100000000000110100000000000
35
+ 00001001010000000000000000010000
36
+ 01010001000100000011001100010001
37
+ 01000101010000100110000100000010
38
+ 00000000000110000010100000000000
39
+ 00000000001000000011100000000000
40
+ 10100010000100100000000101000100
41
+ 00000101101000110000000000001010
42
+ 10010100100000000000001011010110
43
+ 00101001000000001111011000110100
44
+ 00010000000001100000010101000000
45
+ 00000000000000110000000000000010
46
+ 01011000001100001000010011010000
47
+ 00000000000001000000000100000000
48
+ 00000000100000000001001100000001
49
+ 00000010000000000001110000000011
50
+ 00000011000001000000010010000000
51
+ 00010001000111100000000000001101
52
+ 00101000000011100100000010000000
53
+ 00001000000010001000010001000000
54
+ 00001000000000000101000010100000
55
+ 00000000100100000111001000100110
56
+ 00100001001100000010000001011000
57
+ 00000001001001001000000010000100
58
+ 00100000001011011000000011100000
59
+ 10000010000000101000001110010001
60
+ 00100010000010110000000000000000
61
+ 00010000000000000000100000100000
62
+ 00100000000111000000000000011010
63
+ 00000000001000001111111110000001
64
+ 11100000000110000001000010000010
65
+ 10010000001000100000000000010100
66
+ 00000000000000110000000000010000
67
+ 00001001000000000001001000110000
68
+ 00000010110000000000001110010100
69
+ 00010000000000000100000001010000
70
+ 10101001000100100100000100011001
71
+ 10000010000010000010000000000000
72
+ 00000000000001000000000100001000
73
+ 00100000000110010000001010000110
74
+ 11000100010001000000000000000000
75
+ 00100000001101000000001000010000
76
+ 00100110100100000010100100010000
77
+ 00100000010001000000001000001011
78
+ 00000000001100000000001000000000
79
+ 00001010010100100010101001010000
80
+ 00010111000000001000001000100110
81
+ -10
data/ext/mesh/mesh/theory/dumps/32,8,80,dumb.txt ADDED
@@ -0,0 +1,81 @@
1
+ 00000001100101000000000010010000
2
+ 00000001000001001001000001011000
3
+ 00000100000000000000000001110010
4
+ 00000000000000010100100100000000
5
+ 00010001000010111010011001101001
6
+ 00000000000100101000000000001011
7
+ 01110010000001100000000100010011
8
+ 00100001001001000101000011110001
9
+ 01000000100000000000000011010100
10
+ 00000010000000001000000000100011
11
+ 11000000111000000010010100010000
12
+ 00000000011001000100100110011000
13
+ 00000001100010000000111110100100
14
+ 10000000001100010010000010000001
15
+ 00000001100010011111011100001100
16
+ 00000000000100110010101010000001
17
+ 00000010000000001000100000010000
18
+ 00000100000000000010010000010010
19
+ 00001110000000010100010100000000
20
+ 00100000010000000000000010001000
21
+ 00000000000011101000000110000000
22
+ 01000001011001010000001001100100
23
+ 01010000001011011001000000010100
24
+ 00000000101100101000100000010000
25
+ 00000111000010000100100100010000
26
+ 00110000011100010100001101000011
27
+ 10111000000100010000000000010001
28
+ 10000011001110000000000001000000
29
+ 01000001000010001001000100100001
30
+ 11000000000000000010100001000000
31
+ 10000000000000100000011100000100
32
+ 01000100001000000000000100100000
33
+ 01000100100011010000101000010010
34
+ 00010000001000000010100000100011
35
+ 00111000101100000000010000010010
36
+ 00000000100011100000001000100001
37
+ 00100000000100100100100001000010
38
+ 10000010010000001010110000000000
39
+ 01100000010011000100000000000101
40
+ 00010001000000000010000010000000
41
+ 01000000010100011000001000000110
42
+ 00100000011101011011010000000000
43
+ 00011000001110010000100101000111
44
+ 01011100000000010000011000000100
45
+ 00001000100001000010100100000010
46
+ 00000100011010100000000001100000
47
+ 00000100000000100100000010010000
48
+ 01010010011010000001011010000010
49
+ 00100010100011000000100010000000
50
+ 01010000000100100001100110000110
51
+ 00000100000110000100000100000000
52
+ 00001000000000001010001000010110
53
+ 00001010101000100000000001000000
54
+ 01100010000010110100001000000000
55
+ 00000000100001100000010000010101
56
+ 10001101000000100100011010000011
57
+ 01000000011010000100001000001010
58
+ 10000000010000010000000000000101
59
+ 10010001010100000011001100000010
60
+ 10001101000100000111000000100000
61
+ 01000001000000100000101010010100
62
+ 00010000001001001001010101001000
63
+ 01000100011100100000111000101000
64
+ 10101010000100000100010000100101
65
+ 00101100100100000000000010001100
66
+ 01011000010000000110000010100000
67
+ 00010000010100100000001000100000
68
+ 01010000100000010000100001111011
69
+ 00100000010000000000000000001100
70
+ 10010000001001000000100100000100
71
+ 00100101000000100000001001000000
72
+ 00110000100001100101001000101100
73
+ 00001000000001011001101000101100
74
+ 00010001000010000000110000000000
75
+ 00010010010000000010001000001000
76
+ 00110001111100000000010100000000
77
+ 00100000100001000100001010000010
78
+ 11110000111010010000000010000010
79
+ 10000001000000100001000000000001
80
+ 01000010010000000101011011001010
81
+ -7