SimplexModelChecker/smartSync.json at main · TheFirePanel/SimplexModelChecker · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
{
    "devices": [
        "4906-9101",
        "4906-9102",
        "4906-9103",
        "4906-9104",
        "4906-9127",
        "4906-9128",
        "4906-9129",
        "4906-9130",
        "4906-9107",
        "4906-9108",
        "4906-9151",
        "4906-9153",
        "4906-9154",
        "4906-9105",
        "4906-9106",
        "4906-9131",
        "4906-9132",
        "4906-9113",
        "4906-9143",
        "4906-9109",
        "4906-9111",
        "4906-9110",
        "4906-9112",
        "4906-9139",
        "4906-9141",
        "4906-9140",
        "4906-9142",
        "4904-9331",
        "4904-9332",
        "4904-9333",
        "4904-9342",
        "4904-9343",
        "4904-9344",
        "4904-9345",
        "4904-9346",
        "4903-9417",
        "4903-9418",
        "4903-9419",
        "4903-9428",
        "4903-9429",
        "4903-9430",
        "4903-9196",
        "4903-9197",
        "4903-9198",
        "4906-9133",
        "4906-9134",
        "4906-9135",
        "4906-9136",
        "4906-9137",
        "4901-9858"
    ]
}