Hugging Face's logo

Spaces:
beatccjiang
/
ods
Sleeping

App Files Community
beatccjiang commited on
Commit
e145b20
·
verified ·
1 Parent(s): 80e1bb1

Create test_data/turnonlights/test_turnonlights_lite_251030.json

Browse files
Files changed (1) hide show
  1. test_data/turnonlights/test_turnonlights_lite_251030.json +448 -0
test_data/turnonlights/test_turnonlights_lite_251030.json ADDED
@@ -0,0 +1,448 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ [
2
+ {
3
+ "idx": 0,
4
+ "level": 6,
5
+ "custom_logic": {
6
+ "B2": "True",
7
+ "B5": "not B2",
8
+ "B3": "(B2 and not B5)",
9
+ "B1": "((not B3 or not B2) and B5)",
10
+ "B4": "not B5",
11
+ "B0": "(not B5 and B4)"
12
+ }
13
+ },
14
+ {
15
+ "idx": 1,
16
+ "level": 7,
17
+ "custom_logic": {
18
+ "B1": "True",
19
+ "B3": "B1",
20
+ "B2": "not B3",
21
+ "B4": "((B3 and not B2) or not B1)",
22
+ "B0": "((B3 and not B2) and B4)",
23
+ "B5": "(((not B1 and not B3) and not B0) and B2)",
24
+ "B6": "(((not B2 and not B4) or B5) and not B1)"
25
+ }
26
+ },
27
+ {
28
+ "idx": 2,
29
+ "level": 7,
30
+ "custom_logic": {
31
+ "B5": "True",
32
+ "B2": "not B5",
33
+ "B4": "not B5",
34
+ "B1": "((not B2 and not B5) and B4)",
35
+ "B3": "(((not B2 or not B4) or B5) and B1)",
36
+ "B0": "(((not B4 and B1) and B2) or not B5)",
37
+ "B6": "(((B2 and B5) or not B3) and not B4)"
38
+ }
39
+ },
40
+ {
41
+ "idx": 3,
42
+ "level": 8,
43
+ "custom_logic": {
44
+ "B0": "True",
45
+ "B2": "not B0",
46
+ "B5": "(not B2 and not B0)",
47
+ "B4": "not B5",
48
+ "B7": "B5",
49
+ "B6": "((B4 and not B7) and B5)",
50
+ "B1": "(((B5 and not B7) and B2) and B4)",
51
+ "B3": "(((((not B7 or not B6) and not B5) or not B0) or B4) and not B1)"
52
+ }
53
+ },
54
+ {
55
+ "idx": 4,
56
+ "level": 8,
57
+ "custom_logic": {
58
+ "B4": "True",
59
+ "B6": "not B4",
60
+ "B2": "(not B6 and not B4)",
61
+ "B7": "B4",
62
+ "B3": "not B2",
63
+ "B1": "(((not B7 or B3) and not B2) or not B6)",
64
+ "B5": "(B2 and not B6)",
65
+ "B0": "(((not B3 or not B7) or not B6) and not B1)"
66
+ }
67
+ },
68
+ {
69
+ "idx": 5,
70
+ "level": 8,
71
+ "custom_logic": {
72
+ "B3": "True",
73
+ "B1": "not B3",
74
+ "B4": "(not B3 and B1)",
75
+ "B0": "B4",
76
+ "B2": "(((B3 and not B1) and B0) and B4)",
77
+ "B6": "(not B3 or B1)",
78
+ "B5": "B3",
79
+ "B7": "(((not B6 and not B1) or B0) or B2)"
80
+ }
81
+ },
82
+ {
83
+ "idx": 6,
84
+ "level": 8,
85
+ "custom_logic": {
86
+ "B5": "True",
87
+ "B4": "B5",
88
+ "B1": "(not B4 or B5)",
89
+ "B0": "((B5 or B1) or not B4)",
90
+ "B7": "((B0 or not B1) or B4)",
91
+ "B2": "((((B5 and not B4) and B1) and B7) and not B0)",
92
+ "B3": "((not B1 and B0) and not B5)",
93
+ "B6": "((B7 or not B4) and not B0)"
94
+ }
95
+ },
96
+ {
97
+ "idx": 7,
98
+ "level": 8,
99
+ "custom_logic": {
100
+ "B7": "True",
101
+ "B0": "not B7",
102
+ "B2": "not B7",
103
+ "B1": "(B7 and not B2)",
104
+ "B3": "((B2 or not B0) or B1)",
105
+ "B5": "not B3",
106
+ "B4": "(((B3 and B2) and B0) or B5)",
107
+ "B6": "(((((not B1 and B5) or B2) or B4) and B7) or B0)"
108
+ }
109
+ },
110
+ {
111
+ "idx": 8,
112
+ "level": 9,
113
+ "custom_logic": {
114
+ "B8": "True",
115
+ "B2": "not B8",
116
+ "B0": "not B8",
117
+ "B1": "B2",
118
+ "B5": "not B2",
119
+ "B4": "((((not B5 and not B0) or not B2) and not B1) or B8)",
120
+ "B6": "not B1",
121
+ "B7": "((B8 and B1) or not B0)",
122
+ "B3": "(((((((not B6 and B5) or not B7) and B8) and B0) and B2) and B1) and B4)"
123
+ }
124
+ },
125
+ {
126
+ "idx": 9,
127
+ "level": 9,
128
+ "custom_logic": {
129
+ "B4": "True",
130
+ "B1": "B4",
131
+ "B6": "(not B4 and B1)",
132
+ "B2": "not B1",
133
+ "B0": "(not B4 or B2)",
134
+ "B3": "((((B1 or not B0) or not B2) and not B6) and B4)",
135
+ "B7": "((B0 or not B2) and not B4)",
136
+ "B8": "((((((not B2 or B7) and not B0) and B6) and B4) or B3) and B1)",
137
+ "B5": "(((((B8 and not B3) or B0) or B7) or not B1) or not B6)"
138
+ }
139
+ },
140
+ {
141
+ "idx": 10,
142
+ "level": 9,
143
+ "custom_logic": {
144
+ "B6": "True",
145
+ "B1": "not B6",
146
+ "B5": "(B6 and not B1)",
147
+ "B3": "not B5",
148
+ "B8": "not B1",
149
+ "B2": "((((not B3 and B1) and not B8) or not B6) and not B5)",
150
+ "B4": "(((((B5 or not B2) and not B3) or not B1) and not B6) and B8)",
151
+ "B0": "(((B4 or B1) or not B8) and not B5)",
152
+ "B7": "not B2"
153
+ }
154
+ },
155
+ {
156
+ "idx": 11,
157
+ "level": 9,
158
+ "custom_logic": {
159
+ "B5": "True",
160
+ "B7": "B5",
161
+ "B4": "not B5",
162
+ "B8": "((B4 or B7) or not B5)",
163
+ "B1": "(not B4 or not B8)",
164
+ "B6": "((B4 and not B7) and B5)",
165
+ "B2": "(((((not B5 and not B6) and not B7) and B1) and not B4) and B8)",
166
+ "B0": "((((not B6 and not B8) and B4) and not B7) or B1)",
167
+ "B3": "((not B4 or B7) or not B8)"
168
+ }
169
+ },
170
+ {
171
+ "idx": 12,
172
+ "level": 9,
173
+ "custom_logic": {
174
+ "B2": "True",
175
+ "B7": "not B2",
176
+ "B8": "(B7 or B2)",
177
+ "B0": "(B7 or not B2)",
178
+ "B4": "(((not B2 and not B7) or not B0) or not B8)",
179
+ "B3": "((not B2 or not B8) and B0)",
180
+ "B6": "(((B4 and not B8) or not B7) and B2)",
181
+ "B1": "(((not B4 and not B2) or not B8) and not B7)",
182
+ "B5": "((((((not B0 or not B7) or not B8) and B3) and B4) or B1) or B2)"
183
+ }
184
+ },
185
+ {
186
+ "idx": 13,
187
+ "level": 9,
188
+ "custom_logic": {
189
+ "B4": "True",
190
+ "B7": "not B4",
191
+ "B0": "B4",
192
+ "B2": "not B0",
193
+ "B3": "(((B4 and not B2) and B0) and not B7)",
194
+ "B1": "(not B4 or not B7)",
195
+ "B5": "((((not B2 or not B1) or B0) and not B4) or not B7)",
196
+ "B8": "(((B1 and B7) or not B3) or not B0)",
197
+ "B6": "(((((B4 and B5) or B0) and B7) and not B8) and not B1)"
198
+ }
199
+ },
200
+ {
201
+ "idx": 14,
202
+ "level": 9,
203
+ "custom_logic": {
204
+ "B7": "True",
205
+ "B2": "not B7",
206
+ "B8": "(B2 and B7)",
207
+ "B3": "(B7 or not B2)",
208
+ "B4": "B8",
209
+ "B5": "(not B8 and not B4)",
210
+ "B1": "B7",
211
+ "B0": "(((not B4 or not B1) and B7) or B5)",
212
+ "B6": "((not B2 and not B3) and not B8)"
213
+ }
214
+ },
215
+ {
216
+ "idx": 15,
217
+ "level": 9,
218
+ "custom_logic": {
219
+ "B4": "True",
220
+ "B2": "not B4",
221
+ "B5": "not B4",
222
+ "B1": "B5",
223
+ "B8": "((not B5 or B2) and not B1)",
224
+ "B7": "((((not B4 or B1) or B5) and B8) and B2)",
225
+ "B3": "(B2 and not B1)",
226
+ "B6": "((((((not B8 and B3) and not B7) and not B5) and B2) or B4) and not B1)",
227
+ "B0": "(((B4 and not B6) or B7) and not B2)"
228
+ }
229
+ },
230
+ {
231
+ "idx": 16,
232
+ "level": 9,
233
+ "custom_logic": {
234
+ "B0": "True",
235
+ "B5": "not B0",
236
+ "B4": "(not B0 and not B5)",
237
+ "B3": "(B5 and not B4)",
238
+ "B6": "((B5 or B0) and not B3)",
239
+ "B8": "(B0 and B4)",
240
+ "B2": "(((B0 or not B3) and B8) and not B5)",
241
+ "B1": "(((((not B0 and not B6) and not B5) or B8) and not B3) or not B4)",
242
+ "B7": "(B2 and not B4)"
243
+ }
244
+ },
245
+ {
246
+ "idx": 17,
247
+ "level": 9,
248
+ "custom_logic": {
249
+ "B0": "True",
250
+ "B8": "not B0",
251
+ "B1": "(B8 and not B0)",
252
+ "B5": "(not B1 and B0)",
253
+ "B3": "((not B1 and not B0) or B5)",
254
+ "B7": "(not B5 or not B8)",
255
+ "B4": "(((((not B1 and not B3) or not B8) and B0) or not B5) and B7)",
256
+ "B6": "(((((B0 and B3) and not B7) or B5) and not B8) or B4)",
257
+ "B2": "not B3"
258
+ }
259
+ },
260
+ {
261
+ "idx": 18,
262
+ "level": 9,
263
+ "custom_logic": {
264
+ "B6": "True",
265
+ "B2": "not B6",
266
+ "B8": "B6",
267
+ "B7": "((not B8 or not B6) and B2)",
268
+ "B1": "(B8 and B6)",
269
+ "B4": "(((not B7 and B6) and B2) and B8)",
270
+ "B0": "((((not B2 or not B8) or not B7) or B4) or not B6)",
271
+ "B3": "(((((not B6 and B1) and not B2) or B4) and not B0) and not B7)",
272
+ "B5": "((B2 or B8) or not B6)"
273
+ }
274
+ },
275
+ {
276
+ "idx": 19,
277
+ "level": 9,
278
+ "custom_logic": {
279
+ "B8": "True",
280
+ "B2": "not B8",
281
+ "B1": "not B8",
282
+ "B3": "B1",
283
+ "B4": "(((not B2 and B3) and not B1) and not B8)",
284
+ "B6": "(B1 or B4)",
285
+ "B5": "(((((B8 or not B1) or B6) and not B2) and not B3) and B4)",
286
+ "B7": "(((((B4 and not B5) and B6) and B2) or not B1) and B3)",
287
+ "B0": "B1"
288
+ }
289
+ },
290
+ {
291
+ "idx": 20,
292
+ "level": 9,
293
+ "custom_logic": {
294
+ "B0": "True",
295
+ "B5": "not B0",
296
+ "B2": "(not B5 and not B0)",
297
+ "B1": "((not B0 and B2) and B5)",
298
+ "B4": "((B2 or B1) or not B0)",
299
+ "B8": "((B5 or B2) and not B1)",
300
+ "B3": "((not B4 and B2) or B0)",
301
+ "B7": "(((((not B1 or not B4) or B2) and not B8) and not B3) and not B0)",
302
+ "B6": "(((((not B2 and not B4) and B0) and not B7) and not B3) or not B5)"
303
+ }
304
+ },
305
+ {
306
+ "idx": 21,
307
+ "level": 9,
308
+ "custom_logic": {
309
+ "B7": "True",
310
+ "B6": "not B7",
311
+ "B8": "B7",
312
+ "B5": "not B6",
313
+ "B0": "(B6 or not B5)",
314
+ "B3": "((((not B7 and not B6) or not B0) and not B5) and B8)",
315
+ "B2": "((((not B6 and B3) or not B5) or not B7) and not B8)",
316
+ "B1": "B6",
317
+ "B4": "(((((((B6 or not B2) or B3) and not B1) and B5) and not B7) or B0) or not B8)"
318
+ }
319
+ },
320
+ {
321
+ "idx": 22,
322
+ "level": 10,
323
+ "custom_logic": {
324
+ "B4": "True",
325
+ "B0": "not B4",
326
+ "B9": "(B0 and not B4)",
327
+ "B8": "B4",
328
+ "B2": "((B0 and not B9) or not B8)",
329
+ "B5": "(not B2 and B8)",
330
+ "B3": "(((not B4 or B0) and not B8) and B5)",
331
+ "B1": "(((not B2 or B8) and B5) and not B0)",
332
+ "B7": "(((B1 or B9) and B3) or B0)",
333
+ "B6": "((B7 and B8) and not B4)"
334
+ }
335
+ },
336
+ {
337
+ "idx": 23,
338
+ "level": 10,
339
+ "custom_logic": {
340
+ "B2": "True",
341
+ "B8": "not B2",
342
+ "B7": "(B2 and not B8)",
343
+ "B5": "not B2",
344
+ "B6": "not B2",
345
+ "B3": "((B5 and B8) and not B2)",
346
+ "B1": "(((((not B6 or B7) or not B5) or B8) and not B3) or B2)",
347
+ "B9": "not B2",
348
+ "B4": "(((((((B5 or not B7) or B8) or B6) and not B3) or not B1) and B9) and B2)",
349
+ "B0": "not B4"
350
+ }
351
+ },
352
+ {
353
+ "idx": 24,
354
+ "level": 10,
355
+ "custom_logic": {
356
+ "B1": "True",
357
+ "B9": "B1",
358
+ "B5": "B1",
359
+ "B7": "not B9",
360
+ "B0": "not B5",
361
+ "B3": "(((not B0 and B7) or B5) and B9)",
362
+ "B8": "(((not B9 or B5) or B1) and B7)",
363
+ "B2": "((((((not B1 or not B9) and not B7) and B3) and B5) and B8) and not B0)",
364
+ "B6": "(((((((B3 and B2) or not B7) or not B8) or B9) or B1) or B5) and not B0)",
365
+ "B4": "((((not B1 or not B0) and B5) and not B2) and not B9)"
366
+ }
367
+ },
368
+ {
369
+ "idx": 25,
370
+ "level": 10,
371
+ "custom_logic": {
372
+ "B5": "True",
373
+ "B3": "not B5",
374
+ "B7": "(B3 and not B5)",
375
+ "B4": "not B5",
376
+ "B1": "(B7 or not B3)",
377
+ "B0": "(B5 and not B4)",
378
+ "B8": "((B5 or not B0) and not B4)",
379
+ "B6": "(not B1 and not B7)",
380
+ "B9": "(((((not B6 and not B1) or B7) or B5) and B4) and B8)",
381
+ "B2": "(B5 and not B6)"
382
+ }
383
+ },
384
+ {
385
+ "idx": 26,
386
+ "level": 10,
387
+ "custom_logic": {
388
+ "B5": "True",
389
+ "B4": "not B5",
390
+ "B6": "(B4 or B5)",
391
+ "B2": "not B6",
392
+ "B1": "(((not B6 and B4) or not B5) and B2)",
393
+ "B8": "((not B5 and not B1) and B6)",
394
+ "B3": "(((((not B6 and not B1) or B5) and B4) or B8) or B2)",
395
+ "B9": "(not B3 and B6)",
396
+ "B0": "(not B9 and not B4)",
397
+ "B7": "B8"
398
+ }
399
+ },
400
+ {
401
+ "idx": 27,
402
+ "level": 10,
403
+ "custom_logic": {
404
+ "B1": "True",
405
+ "B7": "B1",
406
+ "B0": "(B1 and B7)",
407
+ "B2": "B7",
408
+ "B3": "((not B1 and not B0) and B7)",
409
+ "B5": "(((B7 or not B2) or B1) and B0)",
410
+ "B8": "((not B5 and not B1) and not B3)",
411
+ "B6": "((((((B0 and not B7) or B3) or B5) or not B2) or not B1) and not B8)",
412
+ "B4": "((((((not B7 or not B0) or not B5) or B1) and not B2) and not B6) and not B8)",
413
+ "B9": "(((((((B1 or not B8) and not B0) or B6) or not B2) or B5) or B4) or not B7)"
414
+ }
415
+ },
416
+ {
417
+ "idx": 28,
418
+ "level": 10,
419
+ "custom_logic": {
420
+ "B7": "True",
421
+ "B6": "not B7",
422
+ "B9": "(not B6 and B7)",
423
+ "B8": "((not B7 and B6) or B9)",
424
+ "B0": "(not B8 and not B7)",
425
+ "B2": "((not B0 and B9) or not B7)",
426
+ "B3": "((not B2 and B6) and not B9)",
427
+ "B1": "B6",
428
+ "B4": "not B8",
429
+ "B5": "(B2 and not B0)"
430
+ }
431
+ },
432
+ {
433
+ "idx": 29,
434
+ "level": 10,
435
+ "custom_logic": {
436
+ "B7": "True",
437
+ "B9": "not B7",
438
+ "B8": "B7",
439
+ "B6": "(not B7 or not B8)",
440
+ "B4": "(not B9 and not B7)",
441
+ "B2": "(B6 or not B4)",
442
+ "B0": "(B9 and B6)",
443
+ "B1": "(B0 and B9)",
444
+ "B5": "((((B4 or not B1) or B7) and B9) or not B6)",
445
+ "B3": "(((B8 or B4) and not B1) or not B9)"
446
+ }
447
+ }
448
+ ]