SimplexModelChecker/selectable.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
55
{
    "devices": [
        "4903-9252",
        "4903-9253",
        "4903-9254",
        "4903-9255",
        "4903-9256",
        "4903-9257",
        "4903-9258",
        "4903-9148",
        "4903-9149",
        "4903-9150",
        "4903-9153",
        "4903-9193",
        "4903-9194",
        "4903-9195",
        "4903-9155",
        "4903-9156",
        "4903-9157",
        "4903-9158",
        "4904-9174",
        "4904-9175",
        "4904-9176",
        "4904-9177",
        "4904-9178",
        "4904-9179",
        "4904-9180",
        "4904-9181",
        "4904-9182",
        "4904-9183",
        "4904-9184",
        "4904-9185",
        "4903-9425",
        "4903-9426",
        "4903-9427",
        "4903-9431",
        "4903-9432",
        "4904-9356",
        "4904-9357",
        "4904-9358",
        "4903-9359",
        "4903-9360",
        "4903-9361",
        "4903-9196",
        "4903-9197",
        "4903-9198",
        "4901-9820",
        "4903-9356",
        "4903-9357",
        "4903-9358",
        "4903-9359",
        "4903-9360",
        "4903-9361"
    ]
}