@lapxo/obligations 0.4.4 → 0.4.6

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 (212) hide show
  1. package/README.md +42 -3
  2. package/TARGET.bound +147 -4
  3. package/contracts/extension-lineage-participation.json +30 -0
  4. package/contracts/m0-allocation.json +6 -0
  5. package/contracts/m0-binomial-bridge.json +6 -0
  6. package/contracts/m0-diagonal-conditional.json +15 -0
  7. package/contracts/m0-finite-grid.json +6 -0
  8. package/contracts/m0-keff-interval.json +27 -0
  9. package/contracts/m0-limit-diag.json +6 -0
  10. package/contracts/m0-limit-offdiag.json +6 -0
  11. package/contracts/m0-moment-identification.json +42 -0
  12. package/contracts/m0-pair-coincidence.json +6 -0
  13. package/contracts/m1-diagonal-regions.json +45 -0
  14. package/contracts/m1-generator-binomial.json +26 -0
  15. package/contracts/m1-offdiag-limit.json +42 -0
  16. package/contracts/m1-subcauses.json +66 -0
  17. package/contracts/model-collapse-1a.json +16 -0
  18. package/contracts/projection-chain.json +20 -0
  19. package/docs/contracts/experiment1a-public-attribution.md +1 -0
  20. package/docs/contracts/extension-lineage-participation.md +13 -0
  21. package/docs/contracts/installation-046-inputs.md +1 -0
  22. package/docs/contracts/m0-allocation.md +1 -0
  23. package/docs/contracts/m0-binomial-bridge.md +1 -0
  24. package/docs/contracts/m0-diagonal-lindeberg.md +1 -0
  25. package/docs/contracts/m0-diagonal-moments.md +1 -0
  26. package/docs/contracts/m0-diagonal-symmetric.md +1 -0
  27. package/docs/contracts/m0-diagonal-threshold.md +1 -0
  28. package/docs/contracts/m0-finite-grid.md +1 -0
  29. package/docs/contracts/m0-keff-floor-refutation.md +1 -0
  30. package/docs/contracts/m0-keff-interval.md +1 -0
  31. package/docs/contracts/m0-limit-diag.md +1 -0
  32. package/docs/contracts/m0-limit-offdiag.md +1 -0
  33. package/docs/contracts/m0-moment-identification.md +1 -0
  34. package/docs/contracts/m0-pair-coincidence.md +1 -0
  35. package/docs/contracts/m0-refuted-inverses.md +1 -0
  36. package/docs/contracts/m0-wf-floor-refutation.md +1 -0
  37. package/docs/contracts/m1-diagonal-regions.md +1 -0
  38. package/docs/contracts/m1-generator-binomial.md +1 -0
  39. package/docs/contracts/m1-offdiag-limit.md +1 -0
  40. package/docs/contracts/model-collapse-1a.md +11 -0
  41. package/docs/contracts/projection-chain.md +1 -0
  42. package/docs/proofs/floor-limit-diag.proof.json +29 -0
  43. package/package.json +1 -1
  44. package/proofs/definitions-046/declaration.json +11 -0
  45. package/proofs/experiment1a-046/declaration.json +11 -0
  46. package/proofs/m0-045/Obligations045/ConsensusGrid.lean +72 -0
  47. package/proofs/m0-045/Obligations045/M0Coincidence.lean +39 -0
  48. package/proofs/m0-045/Obligations045/M0Diagonal.lean +18 -0
  49. package/proofs/m0-045/Obligations045/M0Limit.lean +134 -0
  50. package/proofs/m0-045/Obligations045/M0Offdiag.lean +171 -0
  51. package/proofs/m0-045/Obligations045.lean +5 -0
  52. package/proofs/m0-045/lake-manifest.json +116 -0
  53. package/proofs/m0-045/lakefile.toml +9 -0
  54. package/proofs/m0-045/lean-toolchain +1 -0
  55. package/proofs/m0-046/BridgeNegatives.lean +23 -0
  56. package/proofs/m0-046/M0Bridge.lean +300 -0
  57. package/proofs/m0-046/Obligations045/ConsensusGrid.lean +72 -0
  58. package/proofs/m0-046/Obligations045/M0Coincidence.lean +39 -0
  59. package/proofs/m0-046/Obligations045/M0Diagonal.lean +18 -0
  60. package/proofs/m0-046/Obligations045/M0Limit.lean +134 -0
  61. package/proofs/m0-046/Obligations045/M0Offdiag.lean +171 -0
  62. package/proofs/m0-046/Obligations045.lean +5 -0
  63. package/proofs/m0-046/lake-manifest.json +116 -0
  64. package/proofs/m0-046/lakefile.toml +14 -0
  65. package/proofs/m0-046/lean-toolchain +1 -0
  66. package/proofs/m0-046-diagonal/BridgeNegatives.lean +23 -0
  67. package/proofs/m0-046-diagonal/M0Bridge.lean +300 -0
  68. package/proofs/m0-046-diagonal/M0Diagonal046.lean +235 -0
  69. package/proofs/m0-046-diagonal/M0Lindeberg046.lean +92 -0
  70. package/proofs/m0-046-diagonal/M0Moments046.lean +295 -0
  71. package/proofs/m0-046-diagonal/M0Threshold046.lean +278 -0
  72. package/proofs/m0-046-diagonal/Obligations045/ConsensusGrid.lean +72 -0
  73. package/proofs/m0-046-diagonal/Obligations045/M0Coincidence.lean +39 -0
  74. package/proofs/m0-046-diagonal/Obligations045/M0Diagonal.lean +18 -0
  75. package/proofs/m0-046-diagonal/Obligations045/M0Limit.lean +134 -0
  76. package/proofs/m0-046-diagonal/Obligations045/M0Offdiag.lean +171 -0
  77. package/proofs/m0-046-diagonal/Obligations045.lean +5 -0
  78. package/proofs/m0-046-diagonal/lake-manifest.json +116 -0
  79. package/proofs/m0-046-diagonal/lakefile.toml +26 -0
  80. package/proofs/m0-046-diagonal/lean-toolchain +1 -0
  81. package/proofs/m0-046-identification/M0Identification046.lean +209 -0
  82. package/proofs/m0-046-identification/Obligations045/M0Coincidence.lean +39 -0
  83. package/proofs/m0-046-identification/lake-manifest.json +116 -0
  84. package/proofs/m0-046-identification/lakefile.toml +12 -0
  85. package/proofs/m0-046-identification/lean-toolchain +1 -0
  86. package/proofs/m0-046-uncertainty/BridgeNegatives.lean +23 -0
  87. package/proofs/m0-046-uncertainty/M0BlockCoverage046.lean +163 -0
  88. package/proofs/m0-046-uncertainty/M0Bridge.lean +300 -0
  89. package/proofs/m0-046-uncertainty/M0Diagonal046.lean +235 -0
  90. package/proofs/m0-046-uncertainty/M0FiniteDiscord046.lean +207 -0
  91. package/proofs/m0-046-uncertainty/M0Interval046.lean +82 -0
  92. package/proofs/m0-046-uncertainty/M0Lindeberg046.lean +92 -0
  93. package/proofs/m0-046-uncertainty/M0Moments046.lean +295 -0
  94. package/proofs/m0-046-uncertainty/M0Threshold046.lean +278 -0
  95. package/proofs/m0-046-uncertainty/Obligations045/ConsensusGrid.lean +72 -0
  96. package/proofs/m0-046-uncertainty/Obligations045/M0Coincidence.lean +39 -0
  97. package/proofs/m0-046-uncertainty/Obligations045/M0Diagonal.lean +18 -0
  98. package/proofs/m0-046-uncertainty/Obligations045/M0Limit.lean +134 -0
  99. package/proofs/m0-046-uncertainty/Obligations045/M0Offdiag.lean +171 -0
  100. package/proofs/m0-046-uncertainty/Obligations045.lean +5 -0
  101. package/proofs/m0-046-uncertainty/lake-manifest.json +116 -0
  102. package/proofs/m0-046-uncertainty/lakefile.toml +35 -0
  103. package/proofs/m0-046-uncertainty/lean-toolchain +1 -0
  104. package/proofs/m1-046-bridge/M0Bridge.lean +300 -0
  105. package/proofs/m1-046-bridge/M1Bridge046.lean +359 -0
  106. package/proofs/m1-046-bridge/Obligations045/M0Limit.lean +134 -0
  107. package/proofs/m1-046-bridge/Obligations045/M0Offdiag.lean +171 -0
  108. package/proofs/m1-046-bridge/lake-manifest.json +116 -0
  109. package/proofs/m1-046-bridge/lakefile.toml +29 -0
  110. package/proofs/m1-046-bridge/lean-toolchain +1 -0
  111. package/proofs/m1-046-diagonal/M0Bridge.lean +300 -0
  112. package/proofs/m1-046-diagonal/M0Diagonal046.lean +235 -0
  113. package/proofs/m1-046-diagonal/M0Lindeberg046.lean +92 -0
  114. package/proofs/m1-046-diagonal/M0Moments046.lean +295 -0
  115. package/proofs/m1-046-diagonal/M0Threshold046.lean +278 -0
  116. package/proofs/m1-046-diagonal/M1Bridge046.lean +359 -0
  117. package/proofs/m1-046-diagonal/M1Diagonal046.lean +334 -0
  118. package/proofs/m1-046-diagonal/M1Offdiag046.lean +270 -0
  119. package/proofs/m1-046-diagonal/Obligations045/M0Limit.lean +134 -0
  120. package/proofs/m1-046-diagonal/Obligations045/M0Offdiag.lean +171 -0
  121. package/proofs/m1-046-diagonal/lake-manifest.json +116 -0
  122. package/proofs/m1-046-diagonal/lakefile.toml +35 -0
  123. package/proofs/m1-046-diagonal/lean-toolchain +1 -0
  124. package/proofs/m1-046-offdiag/M0Bridge.lean +300 -0
  125. package/proofs/m1-046-offdiag/M0Diagonal046.lean +235 -0
  126. package/proofs/m1-046-offdiag/M0Moments046.lean +295 -0
  127. package/proofs/m1-046-offdiag/M1Bridge046.lean +359 -0
  128. package/proofs/m1-046-offdiag/M1Offdiag046.lean +270 -0
  129. package/proofs/m1-046-offdiag/Obligations045/M0Limit.lean +134 -0
  130. package/proofs/m1-046-offdiag/Obligations045/M0Offdiag.lean +171 -0
  131. package/proofs/m1-046-offdiag/lake-manifest.json +116 -0
  132. package/proofs/m1-046-offdiag/lakefile.toml +32 -0
  133. package/proofs/m1-046-offdiag/lean-toolchain +1 -0
  134. package/proofs/projection-chain.md +11 -0
  135. package/protocols/model-collapse-1a.json +108 -0
  136. package/receipts.bound +684 -208
  137. package/samples/laws/definitions/no/sample.json +26 -0
  138. package/samples/laws/definitions/yes/sample.json +12 -0
  139. package/samples/laws/experiment1a/no/sample.json +16 -0
  140. package/samples/laws/experiment1a/yes/sample.json +8 -0
  141. package/samples/laws/m0-allocation/no/sample.json +5 -0
  142. package/samples/laws/m0-allocation/yes/sample.json +7 -0
  143. package/samples/laws/m0-binomial-bridge/no/pairwise-is-not-joint.json +59 -0
  144. package/samples/laws/m0-binomial-bridge/no/sample.json +13 -0
  145. package/samples/laws/m0-binomial-bridge/yes/sample.json +16 -0
  146. package/samples/laws/m0-binomial-bridge/yes/small-binomial-table.json +100 -0
  147. package/samples/laws/m0-diagonal-conditional/no/sample.json +5 -0
  148. package/samples/laws/m0-diagonal-conditional/yes/sample.json +7 -0
  149. package/samples/laws/m0-finite-grid/no/sample.json +5 -0
  150. package/samples/laws/m0-finite-grid/yes/sample.json +7 -0
  151. package/samples/laws/m0-keff-interval/no/sample.json +215 -0
  152. package/samples/laws/m0-keff-interval/yes/api-rows.json +2002 -0
  153. package/samples/laws/m0-keff-interval/yes/sample.json +70 -0
  154. package/samples/laws/m0-limit-diag/no/sample.json +5 -0
  155. package/samples/laws/m0-limit-diag/yes/sample.json +7 -0
  156. package/samples/laws/m0-limit-offdiag/no/sample.json +5 -0
  157. package/samples/laws/m0-limit-offdiag/yes/sample.json +7 -0
  158. package/samples/laws/m0-moment-identification/no/sample.json +47 -0
  159. package/samples/laws/m0-moment-identification/yes/sample.json +97 -0
  160. package/samples/laws/m0-pair-coincidence/no/sample.json +5 -0
  161. package/samples/laws/m0-pair-coincidence/yes/sample.json +7 -0
  162. package/samples/laws/m1-diagonal-regions/no/sample.json +44 -0
  163. package/samples/laws/m1-diagonal-regions/yes/sample.json +45 -0
  164. package/samples/laws/m1-generator-binomial/no/sample.json +21 -0
  165. package/samples/laws/m1-generator-binomial/yes/sample.json +290 -0
  166. package/samples/laws/m1-offdiag-limit/no/sample.json +17 -0
  167. package/samples/laws/m1-offdiag-limit/yes/sample.json +87 -0
  168. package/samples/laws/projection-chain/no/sample.json +26 -0
  169. package/samples/laws/projection-chain/yes/sample.json +25 -0
  170. package/samples/no/installed-artifact.json +2 -2
  171. package/samples/yes/installed-artifact.json +2 -2
  172. package/src/laws/laws.bound +146 -0
  173. package/vectors/laws/a7-t90.json +72 -0
  174. package/vectors/laws/a9-t99.json +110 -0
  175. package/vectors/laws/definitions.native-capture.json +326 -0
  176. package/vectors/laws/definitions.native.json +82 -0
  177. package/vectors/laws/experiment1a-protocol.native-capture.json +391 -0
  178. package/vectors/laws/experiment1a-protocol.native.json +64 -0
  179. package/vectors/laws/experiment1a-public-input.native-capture.json +224 -0
  180. package/vectors/laws/m0-allocation.lean.json +150 -0
  181. package/vectors/laws/m0-allocation.native.json +104 -0
  182. package/vectors/laws/m0-binomial-bridge.lean.json +185 -0
  183. package/vectors/laws/m0-diagonal-lindeberg.lean.json +167 -0
  184. package/vectors/laws/m0-diagonal-moments.lean.json +185 -0
  185. package/vectors/laws/m0-diagonal-symmetric.lean.json +188 -0
  186. package/vectors/laws/m0-diagonal-threshold.lean.json +199 -0
  187. package/vectors/laws/m0-finite-grid.lean.json +144 -0
  188. package/vectors/laws/m0-finite-grid.native.json +104 -0
  189. package/vectors/laws/m0-identification.lean.json +136 -0
  190. package/vectors/laws/m0-identification.native-capture.json +230 -0
  191. package/vectors/laws/m0-keff-interval.json +569 -0
  192. package/vectors/laws/m0-limit-diag.lean.json +141 -0
  193. package/vectors/laws/m0-limit-diag.native.json +108 -0
  194. package/vectors/laws/m0-limit-offdiag.lean.json +143 -0
  195. package/vectors/laws/m0-limit-offdiag.native.json +104 -0
  196. package/vectors/laws/m0-pair-coincidence.lean.json +139 -0
  197. package/vectors/laws/m0-pair-coincidence.native.json +104 -0
  198. package/vectors/laws/m0-uncertainty-blocks.lean.json +201 -0
  199. package/vectors/laws/m0-uncertainty-finite-discord.lean.json +194 -0
  200. package/vectors/laws/m0-uncertainty-interval.lean.json +189 -0
  201. package/vectors/laws/m0-uncertainty.native-capture.json +651 -0
  202. package/vectors/laws/m1-diagonal-partial.lean.json +192 -0
  203. package/vectors/laws/m1-diagonal-partial.native-capture.json +275 -0
  204. package/vectors/laws/m1-generator-binomial.lean.json +162 -0
  205. package/vectors/laws/m1-generator-binomial.native-capture.json +245 -0
  206. package/vectors/laws/m1-offdiag-limit.lean.json +166 -0
  207. package/vectors/laws/m1-offdiag-limit.native-capture.json +260 -0
  208. package/vectors/laws/model-collapse-1a.json +12 -0
  209. package/vectors/laws/projection-chain.json +61 -0
  210. package/vectors/laws/projection-chain.native-capture.json +311 -0
  211. package/vectors/laws/projection-chain.native.json +56 -0
  212. package/vectors/measures/installed-artifact.cli.json +6 -6
@@ -0,0 +1,2002 @@
1
+ [
2
+ {
3
+ "event": "cell-0",
4
+ "origin": "a",
5
+ "value": "1"
6
+ },
7
+ {
8
+ "event": "cell-0",
9
+ "origin": "b",
10
+ "value": "0"
11
+ },
12
+ {
13
+ "event": "cell-0",
14
+ "origin": "c",
15
+ "value": "0"
16
+ },
17
+ {
18
+ "event": "cell-0",
19
+ "origin": "d",
20
+ "value": "0"
21
+ },
22
+ {
23
+ "event": "cell-1",
24
+ "origin": "a",
25
+ "value": "1"
26
+ },
27
+ {
28
+ "event": "cell-1",
29
+ "origin": "b",
30
+ "value": "0"
31
+ },
32
+ {
33
+ "event": "cell-1",
34
+ "origin": "c",
35
+ "value": "0"
36
+ },
37
+ {
38
+ "event": "cell-1",
39
+ "origin": "d",
40
+ "value": "0"
41
+ },
42
+ {
43
+ "event": "cell-2",
44
+ "origin": "a",
45
+ "value": "1"
46
+ },
47
+ {
48
+ "event": "cell-2",
49
+ "origin": "b",
50
+ "value": "0"
51
+ },
52
+ {
53
+ "event": "cell-2",
54
+ "origin": "c",
55
+ "value": "0"
56
+ },
57
+ {
58
+ "event": "cell-2",
59
+ "origin": "d",
60
+ "value": "0"
61
+ },
62
+ {
63
+ "event": "cell-3",
64
+ "origin": "a",
65
+ "value": "1"
66
+ },
67
+ {
68
+ "event": "cell-3",
69
+ "origin": "b",
70
+ "value": "0"
71
+ },
72
+ {
73
+ "event": "cell-3",
74
+ "origin": "c",
75
+ "value": "0"
76
+ },
77
+ {
78
+ "event": "cell-3",
79
+ "origin": "d",
80
+ "value": "0"
81
+ },
82
+ {
83
+ "event": "cell-4",
84
+ "origin": "a",
85
+ "value": "1"
86
+ },
87
+ {
88
+ "event": "cell-4",
89
+ "origin": "b",
90
+ "value": "0"
91
+ },
92
+ {
93
+ "event": "cell-4",
94
+ "origin": "c",
95
+ "value": "0"
96
+ },
97
+ {
98
+ "event": "cell-4",
99
+ "origin": "d",
100
+ "value": "0"
101
+ },
102
+ {
103
+ "event": "cell-5",
104
+ "origin": "a",
105
+ "value": "1"
106
+ },
107
+ {
108
+ "event": "cell-5",
109
+ "origin": "b",
110
+ "value": "0"
111
+ },
112
+ {
113
+ "event": "cell-5",
114
+ "origin": "c",
115
+ "value": "0"
116
+ },
117
+ {
118
+ "event": "cell-5",
119
+ "origin": "d",
120
+ "value": "0"
121
+ },
122
+ {
123
+ "event": "cell-6",
124
+ "origin": "a",
125
+ "value": "1"
126
+ },
127
+ {
128
+ "event": "cell-6",
129
+ "origin": "b",
130
+ "value": "0"
131
+ },
132
+ {
133
+ "event": "cell-6",
134
+ "origin": "c",
135
+ "value": "0"
136
+ },
137
+ {
138
+ "event": "cell-6",
139
+ "origin": "d",
140
+ "value": "0"
141
+ },
142
+ {
143
+ "event": "cell-7",
144
+ "origin": "a",
145
+ "value": "1"
146
+ },
147
+ {
148
+ "event": "cell-7",
149
+ "origin": "b",
150
+ "value": "0"
151
+ },
152
+ {
153
+ "event": "cell-7",
154
+ "origin": "c",
155
+ "value": "0"
156
+ },
157
+ {
158
+ "event": "cell-7",
159
+ "origin": "d",
160
+ "value": "0"
161
+ },
162
+ {
163
+ "event": "cell-8",
164
+ "origin": "a",
165
+ "value": "1"
166
+ },
167
+ {
168
+ "event": "cell-8",
169
+ "origin": "b",
170
+ "value": "0"
171
+ },
172
+ {
173
+ "event": "cell-8",
174
+ "origin": "c",
175
+ "value": "0"
176
+ },
177
+ {
178
+ "event": "cell-8",
179
+ "origin": "d",
180
+ "value": "0"
181
+ },
182
+ {
183
+ "event": "cell-9",
184
+ "origin": "a",
185
+ "value": "1"
186
+ },
187
+ {
188
+ "event": "cell-9",
189
+ "origin": "b",
190
+ "value": "0"
191
+ },
192
+ {
193
+ "event": "cell-9",
194
+ "origin": "c",
195
+ "value": "0"
196
+ },
197
+ {
198
+ "event": "cell-9",
199
+ "origin": "d",
200
+ "value": "0"
201
+ },
202
+ {
203
+ "event": "cell-10",
204
+ "origin": "a",
205
+ "value": "1"
206
+ },
207
+ {
208
+ "event": "cell-10",
209
+ "origin": "b",
210
+ "value": "0"
211
+ },
212
+ {
213
+ "event": "cell-10",
214
+ "origin": "c",
215
+ "value": "0"
216
+ },
217
+ {
218
+ "event": "cell-10",
219
+ "origin": "d",
220
+ "value": "0"
221
+ },
222
+ {
223
+ "event": "cell-11",
224
+ "origin": "a",
225
+ "value": "1"
226
+ },
227
+ {
228
+ "event": "cell-11",
229
+ "origin": "b",
230
+ "value": "0"
231
+ },
232
+ {
233
+ "event": "cell-11",
234
+ "origin": "c",
235
+ "value": "0"
236
+ },
237
+ {
238
+ "event": "cell-11",
239
+ "origin": "d",
240
+ "value": "0"
241
+ },
242
+ {
243
+ "event": "cell-12",
244
+ "origin": "a",
245
+ "value": "0"
246
+ },
247
+ {
248
+ "event": "cell-12",
249
+ "origin": "b",
250
+ "value": "0"
251
+ },
252
+ {
253
+ "event": "cell-12",
254
+ "origin": "c",
255
+ "value": "0"
256
+ },
257
+ {
258
+ "event": "cell-12",
259
+ "origin": "d",
260
+ "value": "0"
261
+ },
262
+ {
263
+ "event": "cell-13",
264
+ "origin": "a",
265
+ "value": "0"
266
+ },
267
+ {
268
+ "event": "cell-13",
269
+ "origin": "b",
270
+ "value": "0"
271
+ },
272
+ {
273
+ "event": "cell-13",
274
+ "origin": "c",
275
+ "value": "0"
276
+ },
277
+ {
278
+ "event": "cell-13",
279
+ "origin": "d",
280
+ "value": "0"
281
+ },
282
+ {
283
+ "event": "cell-14",
284
+ "origin": "a",
285
+ "value": "0"
286
+ },
287
+ {
288
+ "event": "cell-14",
289
+ "origin": "b",
290
+ "value": "0"
291
+ },
292
+ {
293
+ "event": "cell-14",
294
+ "origin": "c",
295
+ "value": "0"
296
+ },
297
+ {
298
+ "event": "cell-14",
299
+ "origin": "d",
300
+ "value": "0"
301
+ },
302
+ {
303
+ "event": "cell-15",
304
+ "origin": "a",
305
+ "value": "0"
306
+ },
307
+ {
308
+ "event": "cell-15",
309
+ "origin": "b",
310
+ "value": "0"
311
+ },
312
+ {
313
+ "event": "cell-15",
314
+ "origin": "c",
315
+ "value": "0"
316
+ },
317
+ {
318
+ "event": "cell-15",
319
+ "origin": "d",
320
+ "value": "0"
321
+ },
322
+ {
323
+ "event": "cell-16",
324
+ "origin": "a",
325
+ "value": "0"
326
+ },
327
+ {
328
+ "event": "cell-16",
329
+ "origin": "b",
330
+ "value": "0"
331
+ },
332
+ {
333
+ "event": "cell-16",
334
+ "origin": "c",
335
+ "value": "0"
336
+ },
337
+ {
338
+ "event": "cell-16",
339
+ "origin": "d",
340
+ "value": "0"
341
+ },
342
+ {
343
+ "event": "cell-17",
344
+ "origin": "a",
345
+ "value": "0"
346
+ },
347
+ {
348
+ "event": "cell-17",
349
+ "origin": "b",
350
+ "value": "0"
351
+ },
352
+ {
353
+ "event": "cell-17",
354
+ "origin": "c",
355
+ "value": "0"
356
+ },
357
+ {
358
+ "event": "cell-17",
359
+ "origin": "d",
360
+ "value": "0"
361
+ },
362
+ {
363
+ "event": "cell-18",
364
+ "origin": "a",
365
+ "value": "0"
366
+ },
367
+ {
368
+ "event": "cell-18",
369
+ "origin": "b",
370
+ "value": "0"
371
+ },
372
+ {
373
+ "event": "cell-18",
374
+ "origin": "c",
375
+ "value": "0"
376
+ },
377
+ {
378
+ "event": "cell-18",
379
+ "origin": "d",
380
+ "value": "0"
381
+ },
382
+ {
383
+ "event": "cell-19",
384
+ "origin": "a",
385
+ "value": "0"
386
+ },
387
+ {
388
+ "event": "cell-19",
389
+ "origin": "b",
390
+ "value": "0"
391
+ },
392
+ {
393
+ "event": "cell-19",
394
+ "origin": "c",
395
+ "value": "0"
396
+ },
397
+ {
398
+ "event": "cell-19",
399
+ "origin": "d",
400
+ "value": "0"
401
+ },
402
+ {
403
+ "event": "cell-20",
404
+ "origin": "a",
405
+ "value": "0"
406
+ },
407
+ {
408
+ "event": "cell-20",
409
+ "origin": "b",
410
+ "value": "0"
411
+ },
412
+ {
413
+ "event": "cell-20",
414
+ "origin": "c",
415
+ "value": "0"
416
+ },
417
+ {
418
+ "event": "cell-20",
419
+ "origin": "d",
420
+ "value": "0"
421
+ },
422
+ {
423
+ "event": "cell-21",
424
+ "origin": "a",
425
+ "value": "0"
426
+ },
427
+ {
428
+ "event": "cell-21",
429
+ "origin": "b",
430
+ "value": "0"
431
+ },
432
+ {
433
+ "event": "cell-21",
434
+ "origin": "c",
435
+ "value": "0"
436
+ },
437
+ {
438
+ "event": "cell-21",
439
+ "origin": "d",
440
+ "value": "0"
441
+ },
442
+ {
443
+ "event": "cell-22",
444
+ "origin": "a",
445
+ "value": "0"
446
+ },
447
+ {
448
+ "event": "cell-22",
449
+ "origin": "b",
450
+ "value": "0"
451
+ },
452
+ {
453
+ "event": "cell-22",
454
+ "origin": "c",
455
+ "value": "0"
456
+ },
457
+ {
458
+ "event": "cell-22",
459
+ "origin": "d",
460
+ "value": "0"
461
+ },
462
+ {
463
+ "event": "cell-23",
464
+ "origin": "a",
465
+ "value": "0"
466
+ },
467
+ {
468
+ "event": "cell-23",
469
+ "origin": "b",
470
+ "value": "0"
471
+ },
472
+ {
473
+ "event": "cell-23",
474
+ "origin": "c",
475
+ "value": "0"
476
+ },
477
+ {
478
+ "event": "cell-23",
479
+ "origin": "d",
480
+ "value": "0"
481
+ },
482
+ {
483
+ "event": "cell-24",
484
+ "origin": "a",
485
+ "value": "0"
486
+ },
487
+ {
488
+ "event": "cell-24",
489
+ "origin": "b",
490
+ "value": "0"
491
+ },
492
+ {
493
+ "event": "cell-24",
494
+ "origin": "c",
495
+ "value": "0"
496
+ },
497
+ {
498
+ "event": "cell-24",
499
+ "origin": "d",
500
+ "value": "0"
501
+ },
502
+ {
503
+ "event": "cell-25",
504
+ "origin": "a",
505
+ "value": "0"
506
+ },
507
+ {
508
+ "event": "cell-25",
509
+ "origin": "b",
510
+ "value": "0"
511
+ },
512
+ {
513
+ "event": "cell-25",
514
+ "origin": "c",
515
+ "value": "0"
516
+ },
517
+ {
518
+ "event": "cell-25",
519
+ "origin": "d",
520
+ "value": "0"
521
+ },
522
+ {
523
+ "event": "cell-26",
524
+ "origin": "a",
525
+ "value": "0"
526
+ },
527
+ {
528
+ "event": "cell-26",
529
+ "origin": "b",
530
+ "value": "0"
531
+ },
532
+ {
533
+ "event": "cell-26",
534
+ "origin": "c",
535
+ "value": "0"
536
+ },
537
+ {
538
+ "event": "cell-26",
539
+ "origin": "d",
540
+ "value": "0"
541
+ },
542
+ {
543
+ "event": "cell-27",
544
+ "origin": "a",
545
+ "value": "0"
546
+ },
547
+ {
548
+ "event": "cell-27",
549
+ "origin": "b",
550
+ "value": "0"
551
+ },
552
+ {
553
+ "event": "cell-27",
554
+ "origin": "c",
555
+ "value": "0"
556
+ },
557
+ {
558
+ "event": "cell-27",
559
+ "origin": "d",
560
+ "value": "0"
561
+ },
562
+ {
563
+ "event": "cell-28",
564
+ "origin": "a",
565
+ "value": "0"
566
+ },
567
+ {
568
+ "event": "cell-28",
569
+ "origin": "b",
570
+ "value": "0"
571
+ },
572
+ {
573
+ "event": "cell-28",
574
+ "origin": "c",
575
+ "value": "0"
576
+ },
577
+ {
578
+ "event": "cell-28",
579
+ "origin": "d",
580
+ "value": "0"
581
+ },
582
+ {
583
+ "event": "cell-29",
584
+ "origin": "a",
585
+ "value": "0"
586
+ },
587
+ {
588
+ "event": "cell-29",
589
+ "origin": "b",
590
+ "value": "0"
591
+ },
592
+ {
593
+ "event": "cell-29",
594
+ "origin": "c",
595
+ "value": "0"
596
+ },
597
+ {
598
+ "event": "cell-29",
599
+ "origin": "d",
600
+ "value": "0"
601
+ },
602
+ {
603
+ "event": "cell-30",
604
+ "origin": "a",
605
+ "value": "0"
606
+ },
607
+ {
608
+ "event": "cell-30",
609
+ "origin": "b",
610
+ "value": "0"
611
+ },
612
+ {
613
+ "event": "cell-30",
614
+ "origin": "c",
615
+ "value": "0"
616
+ },
617
+ {
618
+ "event": "cell-30",
619
+ "origin": "d",
620
+ "value": "0"
621
+ },
622
+ {
623
+ "event": "cell-31",
624
+ "origin": "a",
625
+ "value": "0"
626
+ },
627
+ {
628
+ "event": "cell-31",
629
+ "origin": "b",
630
+ "value": "0"
631
+ },
632
+ {
633
+ "event": "cell-31",
634
+ "origin": "c",
635
+ "value": "0"
636
+ },
637
+ {
638
+ "event": "cell-31",
639
+ "origin": "d",
640
+ "value": "0"
641
+ },
642
+ {
643
+ "event": "cell-32",
644
+ "origin": "a",
645
+ "value": "0"
646
+ },
647
+ {
648
+ "event": "cell-32",
649
+ "origin": "b",
650
+ "value": "0"
651
+ },
652
+ {
653
+ "event": "cell-32",
654
+ "origin": "c",
655
+ "value": "0"
656
+ },
657
+ {
658
+ "event": "cell-32",
659
+ "origin": "d",
660
+ "value": "0"
661
+ },
662
+ {
663
+ "event": "cell-33",
664
+ "origin": "a",
665
+ "value": "0"
666
+ },
667
+ {
668
+ "event": "cell-33",
669
+ "origin": "b",
670
+ "value": "0"
671
+ },
672
+ {
673
+ "event": "cell-33",
674
+ "origin": "c",
675
+ "value": "0"
676
+ },
677
+ {
678
+ "event": "cell-33",
679
+ "origin": "d",
680
+ "value": "0"
681
+ },
682
+ {
683
+ "event": "cell-34",
684
+ "origin": "a",
685
+ "value": "0"
686
+ },
687
+ {
688
+ "event": "cell-34",
689
+ "origin": "b",
690
+ "value": "0"
691
+ },
692
+ {
693
+ "event": "cell-34",
694
+ "origin": "c",
695
+ "value": "0"
696
+ },
697
+ {
698
+ "event": "cell-34",
699
+ "origin": "d",
700
+ "value": "0"
701
+ },
702
+ {
703
+ "event": "cell-35",
704
+ "origin": "a",
705
+ "value": "0"
706
+ },
707
+ {
708
+ "event": "cell-35",
709
+ "origin": "b",
710
+ "value": "0"
711
+ },
712
+ {
713
+ "event": "cell-35",
714
+ "origin": "c",
715
+ "value": "0"
716
+ },
717
+ {
718
+ "event": "cell-35",
719
+ "origin": "d",
720
+ "value": "0"
721
+ },
722
+ {
723
+ "event": "cell-36",
724
+ "origin": "a",
725
+ "value": "0"
726
+ },
727
+ {
728
+ "event": "cell-36",
729
+ "origin": "b",
730
+ "value": "0"
731
+ },
732
+ {
733
+ "event": "cell-36",
734
+ "origin": "c",
735
+ "value": "0"
736
+ },
737
+ {
738
+ "event": "cell-36",
739
+ "origin": "d",
740
+ "value": "0"
741
+ },
742
+ {
743
+ "event": "cell-37",
744
+ "origin": "a",
745
+ "value": "0"
746
+ },
747
+ {
748
+ "event": "cell-37",
749
+ "origin": "b",
750
+ "value": "0"
751
+ },
752
+ {
753
+ "event": "cell-37",
754
+ "origin": "c",
755
+ "value": "0"
756
+ },
757
+ {
758
+ "event": "cell-37",
759
+ "origin": "d",
760
+ "value": "0"
761
+ },
762
+ {
763
+ "event": "cell-38",
764
+ "origin": "a",
765
+ "value": "0"
766
+ },
767
+ {
768
+ "event": "cell-38",
769
+ "origin": "b",
770
+ "value": "0"
771
+ },
772
+ {
773
+ "event": "cell-38",
774
+ "origin": "c",
775
+ "value": "0"
776
+ },
777
+ {
778
+ "event": "cell-38",
779
+ "origin": "d",
780
+ "value": "0"
781
+ },
782
+ {
783
+ "event": "cell-39",
784
+ "origin": "a",
785
+ "value": "0"
786
+ },
787
+ {
788
+ "event": "cell-39",
789
+ "origin": "b",
790
+ "value": "0"
791
+ },
792
+ {
793
+ "event": "cell-39",
794
+ "origin": "c",
795
+ "value": "0"
796
+ },
797
+ {
798
+ "event": "cell-39",
799
+ "origin": "d",
800
+ "value": "0"
801
+ },
802
+ {
803
+ "event": "cell-40",
804
+ "origin": "a",
805
+ "value": "0"
806
+ },
807
+ {
808
+ "event": "cell-40",
809
+ "origin": "b",
810
+ "value": "0"
811
+ },
812
+ {
813
+ "event": "cell-40",
814
+ "origin": "c",
815
+ "value": "0"
816
+ },
817
+ {
818
+ "event": "cell-40",
819
+ "origin": "d",
820
+ "value": "0"
821
+ },
822
+ {
823
+ "event": "cell-41",
824
+ "origin": "a",
825
+ "value": "0"
826
+ },
827
+ {
828
+ "event": "cell-41",
829
+ "origin": "b",
830
+ "value": "0"
831
+ },
832
+ {
833
+ "event": "cell-41",
834
+ "origin": "c",
835
+ "value": "0"
836
+ },
837
+ {
838
+ "event": "cell-41",
839
+ "origin": "d",
840
+ "value": "0"
841
+ },
842
+ {
843
+ "event": "cell-42",
844
+ "origin": "a",
845
+ "value": "0"
846
+ },
847
+ {
848
+ "event": "cell-42",
849
+ "origin": "b",
850
+ "value": "0"
851
+ },
852
+ {
853
+ "event": "cell-42",
854
+ "origin": "c",
855
+ "value": "0"
856
+ },
857
+ {
858
+ "event": "cell-42",
859
+ "origin": "d",
860
+ "value": "0"
861
+ },
862
+ {
863
+ "event": "cell-43",
864
+ "origin": "a",
865
+ "value": "0"
866
+ },
867
+ {
868
+ "event": "cell-43",
869
+ "origin": "b",
870
+ "value": "0"
871
+ },
872
+ {
873
+ "event": "cell-43",
874
+ "origin": "c",
875
+ "value": "0"
876
+ },
877
+ {
878
+ "event": "cell-43",
879
+ "origin": "d",
880
+ "value": "0"
881
+ },
882
+ {
883
+ "event": "cell-44",
884
+ "origin": "a",
885
+ "value": "0"
886
+ },
887
+ {
888
+ "event": "cell-44",
889
+ "origin": "b",
890
+ "value": "0"
891
+ },
892
+ {
893
+ "event": "cell-44",
894
+ "origin": "c",
895
+ "value": "0"
896
+ },
897
+ {
898
+ "event": "cell-44",
899
+ "origin": "d",
900
+ "value": "0"
901
+ },
902
+ {
903
+ "event": "cell-45",
904
+ "origin": "a",
905
+ "value": "0"
906
+ },
907
+ {
908
+ "event": "cell-45",
909
+ "origin": "b",
910
+ "value": "0"
911
+ },
912
+ {
913
+ "event": "cell-45",
914
+ "origin": "c",
915
+ "value": "0"
916
+ },
917
+ {
918
+ "event": "cell-45",
919
+ "origin": "d",
920
+ "value": "0"
921
+ },
922
+ {
923
+ "event": "cell-46",
924
+ "origin": "a",
925
+ "value": "0"
926
+ },
927
+ {
928
+ "event": "cell-46",
929
+ "origin": "b",
930
+ "value": "0"
931
+ },
932
+ {
933
+ "event": "cell-46",
934
+ "origin": "c",
935
+ "value": "0"
936
+ },
937
+ {
938
+ "event": "cell-46",
939
+ "origin": "d",
940
+ "value": "0"
941
+ },
942
+ {
943
+ "event": "cell-47",
944
+ "origin": "a",
945
+ "value": "0"
946
+ },
947
+ {
948
+ "event": "cell-47",
949
+ "origin": "b",
950
+ "value": "0"
951
+ },
952
+ {
953
+ "event": "cell-47",
954
+ "origin": "c",
955
+ "value": "0"
956
+ },
957
+ {
958
+ "event": "cell-47",
959
+ "origin": "d",
960
+ "value": "0"
961
+ },
962
+ {
963
+ "event": "cell-48",
964
+ "origin": "a",
965
+ "value": "0"
966
+ },
967
+ {
968
+ "event": "cell-48",
969
+ "origin": "b",
970
+ "value": "0"
971
+ },
972
+ {
973
+ "event": "cell-48",
974
+ "origin": "c",
975
+ "value": "0"
976
+ },
977
+ {
978
+ "event": "cell-48",
979
+ "origin": "d",
980
+ "value": "0"
981
+ },
982
+ {
983
+ "event": "cell-49",
984
+ "origin": "a",
985
+ "value": "0"
986
+ },
987
+ {
988
+ "event": "cell-49",
989
+ "origin": "b",
990
+ "value": "0"
991
+ },
992
+ {
993
+ "event": "cell-49",
994
+ "origin": "c",
995
+ "value": "0"
996
+ },
997
+ {
998
+ "event": "cell-49",
999
+ "origin": "d",
1000
+ "value": "0"
1001
+ },
1002
+ {
1003
+ "event": "cell-50",
1004
+ "origin": "a",
1005
+ "value": "0"
1006
+ },
1007
+ {
1008
+ "event": "cell-50",
1009
+ "origin": "b",
1010
+ "value": "0"
1011
+ },
1012
+ {
1013
+ "event": "cell-50",
1014
+ "origin": "c",
1015
+ "value": "0"
1016
+ },
1017
+ {
1018
+ "event": "cell-50",
1019
+ "origin": "d",
1020
+ "value": "0"
1021
+ },
1022
+ {
1023
+ "event": "cell-51",
1024
+ "origin": "a",
1025
+ "value": "0"
1026
+ },
1027
+ {
1028
+ "event": "cell-51",
1029
+ "origin": "b",
1030
+ "value": "0"
1031
+ },
1032
+ {
1033
+ "event": "cell-51",
1034
+ "origin": "c",
1035
+ "value": "0"
1036
+ },
1037
+ {
1038
+ "event": "cell-51",
1039
+ "origin": "d",
1040
+ "value": "0"
1041
+ },
1042
+ {
1043
+ "event": "cell-52",
1044
+ "origin": "a",
1045
+ "value": "0"
1046
+ },
1047
+ {
1048
+ "event": "cell-52",
1049
+ "origin": "b",
1050
+ "value": "0"
1051
+ },
1052
+ {
1053
+ "event": "cell-52",
1054
+ "origin": "c",
1055
+ "value": "0"
1056
+ },
1057
+ {
1058
+ "event": "cell-52",
1059
+ "origin": "d",
1060
+ "value": "0"
1061
+ },
1062
+ {
1063
+ "event": "cell-53",
1064
+ "origin": "a",
1065
+ "value": "0"
1066
+ },
1067
+ {
1068
+ "event": "cell-53",
1069
+ "origin": "b",
1070
+ "value": "0"
1071
+ },
1072
+ {
1073
+ "event": "cell-53",
1074
+ "origin": "c",
1075
+ "value": "0"
1076
+ },
1077
+ {
1078
+ "event": "cell-53",
1079
+ "origin": "d",
1080
+ "value": "0"
1081
+ },
1082
+ {
1083
+ "event": "cell-54",
1084
+ "origin": "a",
1085
+ "value": "0"
1086
+ },
1087
+ {
1088
+ "event": "cell-54",
1089
+ "origin": "b",
1090
+ "value": "0"
1091
+ },
1092
+ {
1093
+ "event": "cell-54",
1094
+ "origin": "c",
1095
+ "value": "0"
1096
+ },
1097
+ {
1098
+ "event": "cell-54",
1099
+ "origin": "d",
1100
+ "value": "0"
1101
+ },
1102
+ {
1103
+ "event": "cell-55",
1104
+ "origin": "a",
1105
+ "value": "0"
1106
+ },
1107
+ {
1108
+ "event": "cell-55",
1109
+ "origin": "b",
1110
+ "value": "0"
1111
+ },
1112
+ {
1113
+ "event": "cell-55",
1114
+ "origin": "c",
1115
+ "value": "0"
1116
+ },
1117
+ {
1118
+ "event": "cell-55",
1119
+ "origin": "d",
1120
+ "value": "0"
1121
+ },
1122
+ {
1123
+ "event": "cell-56",
1124
+ "origin": "a",
1125
+ "value": "0"
1126
+ },
1127
+ {
1128
+ "event": "cell-56",
1129
+ "origin": "b",
1130
+ "value": "0"
1131
+ },
1132
+ {
1133
+ "event": "cell-56",
1134
+ "origin": "c",
1135
+ "value": "0"
1136
+ },
1137
+ {
1138
+ "event": "cell-56",
1139
+ "origin": "d",
1140
+ "value": "0"
1141
+ },
1142
+ {
1143
+ "event": "cell-57",
1144
+ "origin": "a",
1145
+ "value": "0"
1146
+ },
1147
+ {
1148
+ "event": "cell-57",
1149
+ "origin": "b",
1150
+ "value": "0"
1151
+ },
1152
+ {
1153
+ "event": "cell-57",
1154
+ "origin": "c",
1155
+ "value": "0"
1156
+ },
1157
+ {
1158
+ "event": "cell-57",
1159
+ "origin": "d",
1160
+ "value": "0"
1161
+ },
1162
+ {
1163
+ "event": "cell-58",
1164
+ "origin": "a",
1165
+ "value": "0"
1166
+ },
1167
+ {
1168
+ "event": "cell-58",
1169
+ "origin": "b",
1170
+ "value": "0"
1171
+ },
1172
+ {
1173
+ "event": "cell-58",
1174
+ "origin": "c",
1175
+ "value": "0"
1176
+ },
1177
+ {
1178
+ "event": "cell-58",
1179
+ "origin": "d",
1180
+ "value": "0"
1181
+ },
1182
+ {
1183
+ "event": "cell-59",
1184
+ "origin": "a",
1185
+ "value": "0"
1186
+ },
1187
+ {
1188
+ "event": "cell-59",
1189
+ "origin": "b",
1190
+ "value": "0"
1191
+ },
1192
+ {
1193
+ "event": "cell-59",
1194
+ "origin": "c",
1195
+ "value": "0"
1196
+ },
1197
+ {
1198
+ "event": "cell-59",
1199
+ "origin": "d",
1200
+ "value": "0"
1201
+ },
1202
+ {
1203
+ "event": "cell-60",
1204
+ "origin": "a",
1205
+ "value": "0"
1206
+ },
1207
+ {
1208
+ "event": "cell-60",
1209
+ "origin": "b",
1210
+ "value": "0"
1211
+ },
1212
+ {
1213
+ "event": "cell-60",
1214
+ "origin": "c",
1215
+ "value": "0"
1216
+ },
1217
+ {
1218
+ "event": "cell-60",
1219
+ "origin": "d",
1220
+ "value": "0"
1221
+ },
1222
+ {
1223
+ "event": "cell-61",
1224
+ "origin": "a",
1225
+ "value": "0"
1226
+ },
1227
+ {
1228
+ "event": "cell-61",
1229
+ "origin": "b",
1230
+ "value": "0"
1231
+ },
1232
+ {
1233
+ "event": "cell-61",
1234
+ "origin": "c",
1235
+ "value": "0"
1236
+ },
1237
+ {
1238
+ "event": "cell-61",
1239
+ "origin": "d",
1240
+ "value": "0"
1241
+ },
1242
+ {
1243
+ "event": "cell-62",
1244
+ "origin": "a",
1245
+ "value": "0"
1246
+ },
1247
+ {
1248
+ "event": "cell-62",
1249
+ "origin": "b",
1250
+ "value": "0"
1251
+ },
1252
+ {
1253
+ "event": "cell-62",
1254
+ "origin": "c",
1255
+ "value": "0"
1256
+ },
1257
+ {
1258
+ "event": "cell-62",
1259
+ "origin": "d",
1260
+ "value": "0"
1261
+ },
1262
+ {
1263
+ "event": "cell-63",
1264
+ "origin": "a",
1265
+ "value": "0"
1266
+ },
1267
+ {
1268
+ "event": "cell-63",
1269
+ "origin": "b",
1270
+ "value": "0"
1271
+ },
1272
+ {
1273
+ "event": "cell-63",
1274
+ "origin": "c",
1275
+ "value": "0"
1276
+ },
1277
+ {
1278
+ "event": "cell-63",
1279
+ "origin": "d",
1280
+ "value": "0"
1281
+ },
1282
+ {
1283
+ "event": "cell-64",
1284
+ "origin": "a",
1285
+ "value": "0"
1286
+ },
1287
+ {
1288
+ "event": "cell-64",
1289
+ "origin": "b",
1290
+ "value": "0"
1291
+ },
1292
+ {
1293
+ "event": "cell-64",
1294
+ "origin": "c",
1295
+ "value": "0"
1296
+ },
1297
+ {
1298
+ "event": "cell-64",
1299
+ "origin": "d",
1300
+ "value": "0"
1301
+ },
1302
+ {
1303
+ "event": "cell-65",
1304
+ "origin": "a",
1305
+ "value": "0"
1306
+ },
1307
+ {
1308
+ "event": "cell-65",
1309
+ "origin": "b",
1310
+ "value": "0"
1311
+ },
1312
+ {
1313
+ "event": "cell-65",
1314
+ "origin": "c",
1315
+ "value": "0"
1316
+ },
1317
+ {
1318
+ "event": "cell-65",
1319
+ "origin": "d",
1320
+ "value": "0"
1321
+ },
1322
+ {
1323
+ "event": "cell-66",
1324
+ "origin": "a",
1325
+ "value": "0"
1326
+ },
1327
+ {
1328
+ "event": "cell-66",
1329
+ "origin": "b",
1330
+ "value": "0"
1331
+ },
1332
+ {
1333
+ "event": "cell-66",
1334
+ "origin": "c",
1335
+ "value": "0"
1336
+ },
1337
+ {
1338
+ "event": "cell-66",
1339
+ "origin": "d",
1340
+ "value": "0"
1341
+ },
1342
+ {
1343
+ "event": "cell-67",
1344
+ "origin": "a",
1345
+ "value": "0"
1346
+ },
1347
+ {
1348
+ "event": "cell-67",
1349
+ "origin": "b",
1350
+ "value": "0"
1351
+ },
1352
+ {
1353
+ "event": "cell-67",
1354
+ "origin": "c",
1355
+ "value": "0"
1356
+ },
1357
+ {
1358
+ "event": "cell-67",
1359
+ "origin": "d",
1360
+ "value": "0"
1361
+ },
1362
+ {
1363
+ "event": "cell-68",
1364
+ "origin": "a",
1365
+ "value": "0"
1366
+ },
1367
+ {
1368
+ "event": "cell-68",
1369
+ "origin": "b",
1370
+ "value": "0"
1371
+ },
1372
+ {
1373
+ "event": "cell-68",
1374
+ "origin": "c",
1375
+ "value": "0"
1376
+ },
1377
+ {
1378
+ "event": "cell-68",
1379
+ "origin": "d",
1380
+ "value": "0"
1381
+ },
1382
+ {
1383
+ "event": "cell-69",
1384
+ "origin": "a",
1385
+ "value": "0"
1386
+ },
1387
+ {
1388
+ "event": "cell-69",
1389
+ "origin": "b",
1390
+ "value": "0"
1391
+ },
1392
+ {
1393
+ "event": "cell-69",
1394
+ "origin": "c",
1395
+ "value": "0"
1396
+ },
1397
+ {
1398
+ "event": "cell-69",
1399
+ "origin": "d",
1400
+ "value": "0"
1401
+ },
1402
+ {
1403
+ "event": "cell-70",
1404
+ "origin": "a",
1405
+ "value": "0"
1406
+ },
1407
+ {
1408
+ "event": "cell-70",
1409
+ "origin": "b",
1410
+ "value": "0"
1411
+ },
1412
+ {
1413
+ "event": "cell-70",
1414
+ "origin": "c",
1415
+ "value": "0"
1416
+ },
1417
+ {
1418
+ "event": "cell-70",
1419
+ "origin": "d",
1420
+ "value": "0"
1421
+ },
1422
+ {
1423
+ "event": "cell-71",
1424
+ "origin": "a",
1425
+ "value": "0"
1426
+ },
1427
+ {
1428
+ "event": "cell-71",
1429
+ "origin": "b",
1430
+ "value": "0"
1431
+ },
1432
+ {
1433
+ "event": "cell-71",
1434
+ "origin": "c",
1435
+ "value": "0"
1436
+ },
1437
+ {
1438
+ "event": "cell-71",
1439
+ "origin": "d",
1440
+ "value": "0"
1441
+ },
1442
+ {
1443
+ "event": "cell-72",
1444
+ "origin": "a",
1445
+ "value": "0"
1446
+ },
1447
+ {
1448
+ "event": "cell-72",
1449
+ "origin": "b",
1450
+ "value": "0"
1451
+ },
1452
+ {
1453
+ "event": "cell-72",
1454
+ "origin": "c",
1455
+ "value": "0"
1456
+ },
1457
+ {
1458
+ "event": "cell-72",
1459
+ "origin": "d",
1460
+ "value": "0"
1461
+ },
1462
+ {
1463
+ "event": "cell-73",
1464
+ "origin": "a",
1465
+ "value": "0"
1466
+ },
1467
+ {
1468
+ "event": "cell-73",
1469
+ "origin": "b",
1470
+ "value": "0"
1471
+ },
1472
+ {
1473
+ "event": "cell-73",
1474
+ "origin": "c",
1475
+ "value": "0"
1476
+ },
1477
+ {
1478
+ "event": "cell-73",
1479
+ "origin": "d",
1480
+ "value": "0"
1481
+ },
1482
+ {
1483
+ "event": "cell-74",
1484
+ "origin": "a",
1485
+ "value": "0"
1486
+ },
1487
+ {
1488
+ "event": "cell-74",
1489
+ "origin": "b",
1490
+ "value": "0"
1491
+ },
1492
+ {
1493
+ "event": "cell-74",
1494
+ "origin": "c",
1495
+ "value": "0"
1496
+ },
1497
+ {
1498
+ "event": "cell-74",
1499
+ "origin": "d",
1500
+ "value": "0"
1501
+ },
1502
+ {
1503
+ "event": "cell-75",
1504
+ "origin": "a",
1505
+ "value": "0"
1506
+ },
1507
+ {
1508
+ "event": "cell-75",
1509
+ "origin": "b",
1510
+ "value": "0"
1511
+ },
1512
+ {
1513
+ "event": "cell-75",
1514
+ "origin": "c",
1515
+ "value": "0"
1516
+ },
1517
+ {
1518
+ "event": "cell-75",
1519
+ "origin": "d",
1520
+ "value": "0"
1521
+ },
1522
+ {
1523
+ "event": "cell-76",
1524
+ "origin": "a",
1525
+ "value": "0"
1526
+ },
1527
+ {
1528
+ "event": "cell-76",
1529
+ "origin": "b",
1530
+ "value": "0"
1531
+ },
1532
+ {
1533
+ "event": "cell-76",
1534
+ "origin": "c",
1535
+ "value": "0"
1536
+ },
1537
+ {
1538
+ "event": "cell-76",
1539
+ "origin": "d",
1540
+ "value": "0"
1541
+ },
1542
+ {
1543
+ "event": "cell-77",
1544
+ "origin": "a",
1545
+ "value": "0"
1546
+ },
1547
+ {
1548
+ "event": "cell-77",
1549
+ "origin": "b",
1550
+ "value": "0"
1551
+ },
1552
+ {
1553
+ "event": "cell-77",
1554
+ "origin": "c",
1555
+ "value": "0"
1556
+ },
1557
+ {
1558
+ "event": "cell-77",
1559
+ "origin": "d",
1560
+ "value": "0"
1561
+ },
1562
+ {
1563
+ "event": "cell-78",
1564
+ "origin": "a",
1565
+ "value": "0"
1566
+ },
1567
+ {
1568
+ "event": "cell-78",
1569
+ "origin": "b",
1570
+ "value": "0"
1571
+ },
1572
+ {
1573
+ "event": "cell-78",
1574
+ "origin": "c",
1575
+ "value": "0"
1576
+ },
1577
+ {
1578
+ "event": "cell-78",
1579
+ "origin": "d",
1580
+ "value": "0"
1581
+ },
1582
+ {
1583
+ "event": "cell-79",
1584
+ "origin": "a",
1585
+ "value": "0"
1586
+ },
1587
+ {
1588
+ "event": "cell-79",
1589
+ "origin": "b",
1590
+ "value": "0"
1591
+ },
1592
+ {
1593
+ "event": "cell-79",
1594
+ "origin": "c",
1595
+ "value": "0"
1596
+ },
1597
+ {
1598
+ "event": "cell-79",
1599
+ "origin": "d",
1600
+ "value": "0"
1601
+ },
1602
+ {
1603
+ "event": "cell-80",
1604
+ "origin": "a",
1605
+ "value": "0"
1606
+ },
1607
+ {
1608
+ "event": "cell-80",
1609
+ "origin": "b",
1610
+ "value": "0"
1611
+ },
1612
+ {
1613
+ "event": "cell-80",
1614
+ "origin": "c",
1615
+ "value": "0"
1616
+ },
1617
+ {
1618
+ "event": "cell-80",
1619
+ "origin": "d",
1620
+ "value": "0"
1621
+ },
1622
+ {
1623
+ "event": "cell-81",
1624
+ "origin": "a",
1625
+ "value": "0"
1626
+ },
1627
+ {
1628
+ "event": "cell-81",
1629
+ "origin": "b",
1630
+ "value": "0"
1631
+ },
1632
+ {
1633
+ "event": "cell-81",
1634
+ "origin": "c",
1635
+ "value": "0"
1636
+ },
1637
+ {
1638
+ "event": "cell-81",
1639
+ "origin": "d",
1640
+ "value": "0"
1641
+ },
1642
+ {
1643
+ "event": "cell-82",
1644
+ "origin": "a",
1645
+ "value": "0"
1646
+ },
1647
+ {
1648
+ "event": "cell-82",
1649
+ "origin": "b",
1650
+ "value": "0"
1651
+ },
1652
+ {
1653
+ "event": "cell-82",
1654
+ "origin": "c",
1655
+ "value": "0"
1656
+ },
1657
+ {
1658
+ "event": "cell-82",
1659
+ "origin": "d",
1660
+ "value": "0"
1661
+ },
1662
+ {
1663
+ "event": "cell-83",
1664
+ "origin": "a",
1665
+ "value": "0"
1666
+ },
1667
+ {
1668
+ "event": "cell-83",
1669
+ "origin": "b",
1670
+ "value": "0"
1671
+ },
1672
+ {
1673
+ "event": "cell-83",
1674
+ "origin": "c",
1675
+ "value": "0"
1676
+ },
1677
+ {
1678
+ "event": "cell-83",
1679
+ "origin": "d",
1680
+ "value": "0"
1681
+ },
1682
+ {
1683
+ "event": "cell-84",
1684
+ "origin": "a",
1685
+ "value": "0"
1686
+ },
1687
+ {
1688
+ "event": "cell-84",
1689
+ "origin": "b",
1690
+ "value": "0"
1691
+ },
1692
+ {
1693
+ "event": "cell-84",
1694
+ "origin": "c",
1695
+ "value": "0"
1696
+ },
1697
+ {
1698
+ "event": "cell-84",
1699
+ "origin": "d",
1700
+ "value": "0"
1701
+ },
1702
+ {
1703
+ "event": "cell-85",
1704
+ "origin": "a",
1705
+ "value": "0"
1706
+ },
1707
+ {
1708
+ "event": "cell-85",
1709
+ "origin": "b",
1710
+ "value": "0"
1711
+ },
1712
+ {
1713
+ "event": "cell-85",
1714
+ "origin": "c",
1715
+ "value": "0"
1716
+ },
1717
+ {
1718
+ "event": "cell-85",
1719
+ "origin": "d",
1720
+ "value": "0"
1721
+ },
1722
+ {
1723
+ "event": "cell-86",
1724
+ "origin": "a",
1725
+ "value": "0"
1726
+ },
1727
+ {
1728
+ "event": "cell-86",
1729
+ "origin": "b",
1730
+ "value": "0"
1731
+ },
1732
+ {
1733
+ "event": "cell-86",
1734
+ "origin": "c",
1735
+ "value": "0"
1736
+ },
1737
+ {
1738
+ "event": "cell-86",
1739
+ "origin": "d",
1740
+ "value": "0"
1741
+ },
1742
+ {
1743
+ "event": "cell-87",
1744
+ "origin": "a",
1745
+ "value": "0"
1746
+ },
1747
+ {
1748
+ "event": "cell-87",
1749
+ "origin": "b",
1750
+ "value": "0"
1751
+ },
1752
+ {
1753
+ "event": "cell-87",
1754
+ "origin": "c",
1755
+ "value": "0"
1756
+ },
1757
+ {
1758
+ "event": "cell-87",
1759
+ "origin": "d",
1760
+ "value": "0"
1761
+ },
1762
+ {
1763
+ "event": "cell-88",
1764
+ "origin": "a",
1765
+ "value": "0"
1766
+ },
1767
+ {
1768
+ "event": "cell-88",
1769
+ "origin": "b",
1770
+ "value": "0"
1771
+ },
1772
+ {
1773
+ "event": "cell-88",
1774
+ "origin": "c",
1775
+ "value": "0"
1776
+ },
1777
+ {
1778
+ "event": "cell-88",
1779
+ "origin": "d",
1780
+ "value": "0"
1781
+ },
1782
+ {
1783
+ "event": "cell-89",
1784
+ "origin": "a",
1785
+ "value": "0"
1786
+ },
1787
+ {
1788
+ "event": "cell-89",
1789
+ "origin": "b",
1790
+ "value": "0"
1791
+ },
1792
+ {
1793
+ "event": "cell-89",
1794
+ "origin": "c",
1795
+ "value": "0"
1796
+ },
1797
+ {
1798
+ "event": "cell-89",
1799
+ "origin": "d",
1800
+ "value": "0"
1801
+ },
1802
+ {
1803
+ "event": "cell-90",
1804
+ "origin": "a",
1805
+ "value": "0"
1806
+ },
1807
+ {
1808
+ "event": "cell-90",
1809
+ "origin": "b",
1810
+ "value": "0"
1811
+ },
1812
+ {
1813
+ "event": "cell-90",
1814
+ "origin": "c",
1815
+ "value": "0"
1816
+ },
1817
+ {
1818
+ "event": "cell-90",
1819
+ "origin": "d",
1820
+ "value": "0"
1821
+ },
1822
+ {
1823
+ "event": "cell-91",
1824
+ "origin": "a",
1825
+ "value": "0"
1826
+ },
1827
+ {
1828
+ "event": "cell-91",
1829
+ "origin": "b",
1830
+ "value": "0"
1831
+ },
1832
+ {
1833
+ "event": "cell-91",
1834
+ "origin": "c",
1835
+ "value": "0"
1836
+ },
1837
+ {
1838
+ "event": "cell-91",
1839
+ "origin": "d",
1840
+ "value": "0"
1841
+ },
1842
+ {
1843
+ "event": "cell-92",
1844
+ "origin": "a",
1845
+ "value": "0"
1846
+ },
1847
+ {
1848
+ "event": "cell-92",
1849
+ "origin": "b",
1850
+ "value": "0"
1851
+ },
1852
+ {
1853
+ "event": "cell-92",
1854
+ "origin": "c",
1855
+ "value": "0"
1856
+ },
1857
+ {
1858
+ "event": "cell-92",
1859
+ "origin": "d",
1860
+ "value": "0"
1861
+ },
1862
+ {
1863
+ "event": "cell-93",
1864
+ "origin": "a",
1865
+ "value": "0"
1866
+ },
1867
+ {
1868
+ "event": "cell-93",
1869
+ "origin": "b",
1870
+ "value": "0"
1871
+ },
1872
+ {
1873
+ "event": "cell-93",
1874
+ "origin": "c",
1875
+ "value": "0"
1876
+ },
1877
+ {
1878
+ "event": "cell-93",
1879
+ "origin": "d",
1880
+ "value": "0"
1881
+ },
1882
+ {
1883
+ "event": "cell-94",
1884
+ "origin": "a",
1885
+ "value": "0"
1886
+ },
1887
+ {
1888
+ "event": "cell-94",
1889
+ "origin": "b",
1890
+ "value": "0"
1891
+ },
1892
+ {
1893
+ "event": "cell-94",
1894
+ "origin": "c",
1895
+ "value": "0"
1896
+ },
1897
+ {
1898
+ "event": "cell-94",
1899
+ "origin": "d",
1900
+ "value": "0"
1901
+ },
1902
+ {
1903
+ "event": "cell-95",
1904
+ "origin": "a",
1905
+ "value": "0"
1906
+ },
1907
+ {
1908
+ "event": "cell-95",
1909
+ "origin": "b",
1910
+ "value": "0"
1911
+ },
1912
+ {
1913
+ "event": "cell-95",
1914
+ "origin": "c",
1915
+ "value": "0"
1916
+ },
1917
+ {
1918
+ "event": "cell-95",
1919
+ "origin": "d",
1920
+ "value": "0"
1921
+ },
1922
+ {
1923
+ "event": "cell-96",
1924
+ "origin": "a",
1925
+ "value": "0"
1926
+ },
1927
+ {
1928
+ "event": "cell-96",
1929
+ "origin": "b",
1930
+ "value": "0"
1931
+ },
1932
+ {
1933
+ "event": "cell-96",
1934
+ "origin": "c",
1935
+ "value": "0"
1936
+ },
1937
+ {
1938
+ "event": "cell-96",
1939
+ "origin": "d",
1940
+ "value": "0"
1941
+ },
1942
+ {
1943
+ "event": "cell-97",
1944
+ "origin": "a",
1945
+ "value": "0"
1946
+ },
1947
+ {
1948
+ "event": "cell-97",
1949
+ "origin": "b",
1950
+ "value": "0"
1951
+ },
1952
+ {
1953
+ "event": "cell-97",
1954
+ "origin": "c",
1955
+ "value": "0"
1956
+ },
1957
+ {
1958
+ "event": "cell-97",
1959
+ "origin": "d",
1960
+ "value": "0"
1961
+ },
1962
+ {
1963
+ "event": "cell-98",
1964
+ "origin": "a",
1965
+ "value": "0"
1966
+ },
1967
+ {
1968
+ "event": "cell-98",
1969
+ "origin": "b",
1970
+ "value": "0"
1971
+ },
1972
+ {
1973
+ "event": "cell-98",
1974
+ "origin": "c",
1975
+ "value": "0"
1976
+ },
1977
+ {
1978
+ "event": "cell-98",
1979
+ "origin": "d",
1980
+ "value": "0"
1981
+ },
1982
+ {
1983
+ "event": "cell-99",
1984
+ "origin": "a",
1985
+ "value": "0"
1986
+ },
1987
+ {
1988
+ "event": "cell-99",
1989
+ "origin": "b",
1990
+ "value": "0"
1991
+ },
1992
+ {
1993
+ "event": "cell-99",
1994
+ "origin": "c",
1995
+ "value": "0"
1996
+ },
1997
+ {
1998
+ "event": "cell-99",
1999
+ "origin": "d",
2000
+ "value": "0"
2001
+ }
2002
+ ]