1
0
mirror of https://github.com/PDP-10/its.git synced 2026-03-27 02:24:15 +00:00
Files
PDP-10.its/src/lmio1/ukbd.prom
2018-10-06 19:08:33 +02:00

918 lines
7.3 KiB
Promela

PROM LOCATION UKBD SUM-CHECK NIL
0 4
1 100
2 0
3 0
4 0
5 0
6 0
7 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
20 0
21 0
22 0
23 0
24 0
25 0
26 0
27 0
30 0
31 0
32 0
33 0
34 0
35 0
36 0
37 0
40 0
41 0
42 0
43 0
44 0
45 0
46 0
47 0
50 0
51 0
52 0
53 0
54 0
55 0
56 0
57 0
60 0
61 0
62 0
63 0
64 0
65 0
66 0
67 0
70 0
71 0
72 0
73 0
74 0
75 0
76 0
77 0
100 43
101 377
102 71
103 72
104 270
105 60
106 271
107 20
110 47
111 240
112 30
113 351
114 111
115 272
116 20
117 43
120 57
121 152
122 250
123 372
124 7
125 211
126 37
127 22
130 133
131 231
132 375
133 62
134 137
135 231
136 373
137 122
140 143
141 231
142 367
143 162
144 147
145 231
146 357
147 231
150 376
151 12
152 320
153 226
154 161
155 352
156 117
157 4
160 115
161 253
162 274
163 1
164 372
165 7
166 347
167 347
170 347
171 252
172 374
173 133
174 226
175 206
176 32
177 374
200 154
201 254
202 226
203 172
204 4
205 115
206 374
207 320
210 240
211 134
212 273
213 0
214 226
215 240
216 33
217 270
220 60
221 271
222 200
223 274
224 20
225 371
226 343
227 120
230 226
231 240
232 30
233 31
234 354
235 225
236 64
237 0
240 274
241 371
242 24
243 250
244 64
245 67
246 4
247 115
250 231
251 277
252 372
253 24
254 270
255 373
256 24
257 270
260 374
261 24
262 270
263 106
264 263
265 211
266 100
267 203
270 270
271 10
272 22
273 306
274 126
275 274
276 231
277 277
300 147
301 106
302 301
303 350
304 272
305 203
306 126
307 306
310 211
311 100
312 147
313 106
314 313
315 350
316 272
317 203
320 0
321 0
322 0
323 0
324 0
325 0
326 0
327 0
330 0
331 0
332 0
333 0
334 0
335 0
336 0
337 0
340 0
341 0
342 0
343 0
344 0
345 0
346 0
347 0
350 0
351 0
352 0
353 0
354 0
355 0
356 0
357 0
360 0
361 0
362 0
363 0
364 0
365 0
366 0
367 0
370 0
371 0
372 0
373 0
374 0
375 0
376 0
377 0
400 272
401 0
402 273
403 200
404 275
405 0
406 270
407 60
410 274
411 1
412 375
413 343
414 362
415 43
416 256
417 374
420 120
421 306
422 43
423 376
424 3
425 370
426 362
427 37
430 256
431 64
432 60
433 113
434 253
435 44
436 43
437 64
440 60
441 112
442 252
443 35
444 374
445 154
446 254
447 226
450 12
451 30
452 370
453 3
454 300
455 226
456 10
457 203
460 36
461 43
462 200
463 347
464 356
465 63
466 203
467 270
470 64
471 360
472 323
473 40
474 226
475 157
476 270
477 76
500 360
501 323
502 40
503 226
504 157
505 270
506 62
507 360
510 323
511 111
512 306
513 133
514 323
515 10
516 226
517 157
520 270
521 73
522 360
523 323
524 100
525 226
526 157
527 272
530 62
531 44
532 135
533 272
534 46
535 273
536 374
537 274
540 371
541 24
542 250
543 274
544 6
545 273
546 0
547 272
550 0
551 352
552 151
553 353
554 147
555 354
556 145
557 203
560 0
561 0
562 0
563 0
564 0
565 0
566 0
567 0
570 0
571 0
572 0
573 0
574 0
575 0
576 0
577 0
600 0
601 0
602 0
603 0
604 0
605 0
606 0
607 0
610 0
611 0
612 0
613 0
614 0
615 0
616 0
617 0
620 0
621 0
622 0
623 0
624 0
625 0
626 0
627 0
630 0
631 0
632 0
633 0
634 0
635 0
636 0
637 0
640 0
641 0
642 0
643 0
644 0
645 0
646 0
647 0
650 0
651 0
652 0
653 0
654 0
655 0
656 0
657 0
660 0
661 0
662 0
663 0
664 0
665 0
666 0
667 0
670 0
671 0
672 0
673 0
674 0
675 0
676 0
677 0
700 0
701 0
702 0
703 0
704 0
705 0
706 0
707 0
710 0
711 0
712 0
713 0
714 0
715 0
716 0
717 0
720 0
721 0
722 0
723 0
724 0
725 0
726 0
727 0
730 0
731 0
732 0
733 0
734 0
735 0
736 0
737 0
740 0
741 0
742 0
743 0
744 0
745 0
746 0
747 0
750 0
751 0
752 0
753 0
754 0
755 0
756 0
757 0
760 0
761 0
762 0
763 0
764 0
765 0
766 0
767 0
770 0
771 0
772 0
773 0
774 0
775 0
776 0
777 0
1000 0
1001 0
1002 0
1003 0
1004 0
1005 0
1006 0
1007 0
1010 0
1011 0
1012 0
1013 0
1014 0
1015 0
1016 0
1017 0
1020 0
1021 0
1022 0
1023 0
1024 0
1025 0
1026 0
1027 0
1030 0
1031 0
1032 0
1033 0
1034 0
1035 0
1036 0
1037 0
1040 0
1041 0
1042 0
1043 0
1044 0
1045 0
1046 0
1047 0
1050 0
1051 0
1052 0
1053 0
1054 0
1055 0
1056 0
1057 0
1060 0
1061 0
1062 0
1063 0
1064 0
1065 0
1066 0
1067 0
1070 0
1071 0
1072 0
1073 0
1074 0
1075 0
1076 0
1077 0
1100 0
1101 0
1102 0
1103 0
1104 0
1105 0
1106 0
1107 0
1110 0
1111 0
1112 0
1113 0
1114 0
1115 0
1116 0
1117 0
1120 0
1121 0
1122 0
1123 0
1124 0
1125 0
1126 0
1127 0
1130 0
1131 0
1132 0
1133 0
1134 0
1135 0
1136 0
1137 0
1140 0
1141 0
1142 0
1143 0
1144 0
1145 0
1146 0
1147 0
1150 0
1151 0
1152 0
1153 0
1154 0
1155 0
1156 0
1157 0
1160 0
1161 0
1162 0
1163 0
1164 0
1165 0
1166 0
1167 0
1170 0
1171 0
1172 0
1173 0
1174 0
1175 0
1176 0
1177 0
1200 0
1201 0
1202 0
1203 0
1204 0
1205 0
1206 0
1207 0
1210 0
1211 0
1212 0
1213 0
1214 0
1215 0
1216 0
1217 0
1220 0
1221 0
1222 0
1223 0
1224 0
1225 0
1226 0
1227 0
1230 0
1231 0
1232 0
1233 0
1234 0
1235 0
1236 0
1237 0
1240 0
1241 0
1242 0
1243 0
1244 0
1245 0
1246 0
1247 0
1250 0
1251 0
1252 0
1253 0
1254 0
1255 0
1256 0
1257 0
1260 0
1261 0
1262 0
1263 0
1264 0
1265 0
1266 0
1267 0
1270 0
1271 0
1272 0
1273 0
1274 0
1275 0
1276 0
1277 0
1300 0
1301 0
1302 0
1303 0
1304 0
1305 0
1306 0
1307 0
1310 0
1311 0
1312 0
1313 0
1314 0
1315 0
1316 0
1317 0
1320 0
1321 0
1322 0
1323 0
1324 0
1325 0
1326 0
1327 0
1330 0
1331 0
1332 0
1333 0
1334 0
1335 0
1336 0
1337 0
1340 0
1341 0
1342 0
1343 0
1344 0
1345 0
1346 0
1347 0
1350 0
1351 0
1352 0
1353 0
1354 0
1355 0
1356 0
1357 0
1360 0
1361 0
1362 0
1363 0
1364 0
1365 0
1366 0
1367 0
1370 0
1371 0
1372 0
1373 0
1374 0
1375 0
1376 0
1377 0
1400 200
1401 200
1402 200
1403 11
1404 200
1405 200
1406 200
1407 200
1410 200
1411 200
1412 200
1413 200
1414 200
1415 10
1416 200
1417 200
1420 4
1421 200
1422 200
1423 200
1424 0
1425 0
1426 4
1427 200
1430 200
1431 200
1432 200
1433 200
1434 200
1435 1
1436 200
1437 200
1440 200
1441 200
1442 200
1443 200
1444 1
1445 5
1446 200
1447 200
1450 200
1451 200
1452 200
1453 200
1454 200
1455 200
1456 200
1457 200
1460 200
1461 200
1462 200
1463 200
1464 200
1465 6
1466 200
1467 200
1470 200
1471 200
1472 200
1473 200
1474 200
1475 200
1476 200
1477 200
1500 200
1501 200
1502 200
1503 200
1504 2
1505 200
1506 200
1507 200
1510 200
1511 200
1512 200
1513 200
1514 200
1515 12
1516 200
1517 200
1520 200
1521 200
1522 200
1523 200
1524 200
1525 3
1526 200
1527 200
1530 200
1531 200
1532 200
1533 200
1534 200
1535 200
1536 200
1537 200
1540 200
1541 200
1542 200
1543 200
1544 200
1545 7
1546 200
1547 200
1550 200
1551 200
1552 200
1553 200
1554 200
1555 2
1556 200
1557 200
1560 200
1561 200
1562 200
1563 200
1564 200
1565 5
1566 200
1567 200
1570 200
1571 200
1572 200
1573 200
1574 200
1575 7
1576 200
1577 200
1600 327
1601 337
1602 216
1603 337
1604 317
1605 377
1606 337
1607 377
1610 357
1611 337
1612 337
1613 377
1614 337
1615 337
1616 337
1617 337
1620 0
END