STATES  91 
ARCS   270
ATOMIC
   Pmutex, Pspeak, Plisten, Phold, Pwait, Pmoderate, Ppool, 
   TdropFloor, TgrabFloor, Taddp, Tdelp, Tsusp, Tresp, 
   TreleaseFloor, TgetFloor, TswapMod 
   ;
#0   1010011001110011
     1
     3
     82
     9
#1   0110011011110101
     0
     2
     83
     10
     89
#2   0100111011001100
     3
     1
     7
     87
#3   1010111001111011
     2
     0
     4
     81
     8
#4   1000111001001000
     3
     5
#5   1010111001111011
     6
     8
     68
     4
     16
#6   0100111011001100
     5
     7
     15
     79
#7   0110111011111101
     8
     10
     6
     2
     14
     77
#8   1010111001111011
     7
     9
     5
     3
     13
#9   1010011001110011
     10
     8
     0
     12
#10   0110011011110101
     9
     7
     1
     11
     75
#11   0110011011110101
     12
     14
     10
     26
     73
#12   1010011001110011
     11
     13
     9
     25
#13   1010111001111011
     14
     12
     16
     8
     24
#14   0110111011111101
     13
     11
     15
     7
     23
     71
#15   0110111011111101
     16
     14
     18
     6
     22
     69
#16   1010111001111011
     15
     13
     17
     5
     21
#17   1010111001111011
     18
     16
     47
     68
     20
#18   0100111011001100
     17
     15
     19
     66
#19   0110111011111101
     20
     22
     44
     18
     34
     64
#20   1010111001111011
     19
     21
     43
     17
     33
#21   1010111001111011
     22
     24
     20
     16
     32
#22   0110111011111101
     21
     23
     19
     15
     31
     62
#23   0110111011111101
     24
     26
     22
     14
     30
     60
#24   1010111001111011
     23
     25
     21
     13
     29
#25   1010011001110011
     26
     24
     12
     28
#26   0110011011110101
     25
     23
     11
     27
     58
#27   0110010010110101
     28
     30
     26
     56
#28   1010010000110011
     27
     29
     25
#29   1010110000111011
     30
     28
     32
     24
#30   0110110010111101
     29
     27
     31
     23
     54
#31   0110110010111101
     32
     30
     34
     22
     52
#32   1010110000111011
     31
     29
     33
     21
#33   1010110000111011
     34
     32
     36
     20
#34   0110110010111101
     33
     31
     35
     19
     50
#35   0110110010111101
     36
     34
     38
     44
     48
#36   1010110000111011
     35
     33
     37
     43
#37   1010110000111011
     38
     36
     41
     42
#38   0100110010001100
     37
     35
     39
#39   0101100100000100
     40
     38
#40   1011100000000010
     39
#41   1000110000001000
     37
#42   1000111001001000
     43
     37
#43   1010111001111011
     44
     20
     42
     47
     36
#44   0100111011001100
     43
     19
     35
     45
#45   0101101100000100
     46
     44
#46   1011101000000010
     45
#47   1000111001001000
     17
     43
#48   0111100100000100
     49
     35
#49   1011100000000010
     48
#50   0111100100000100
     51
     34
#51   1011100000000010
     50
#52   0111100100000100
     53
     31
#53   1011100000000010
     52
#54   0111100100000100
     55
     30
#55   1011100000000010
     54
#56   0111000100000100
     57
     27
#57   1011000000000010
     56
#58   0111001100000100
     59
     26
#59   1011001000000010
     58
#60   0111101100000100
     61
     23
#61   1011101000000010
     60
#62   0111101100000100
     63
     22
#63   1011101000000010
     62
#64   0111101100000100
     65
     19
#65   1011101000000010
     64
#66   0101101100000100
     67
     18
#67   1011101000000010
     66
#68   1000111001001000
     5
     17
#69   0111101100000100
     70
     15
#70   1011101000000010
     69
#71   0111101100000100
     72
     14
#72   1011101000000010
     71
#73   0111001100000100
     74
     11
#74   1011001000000010
     73
#75   0111001100000100
     76
     10
#76   1011001000000010
     75
#77   0111101100000100
     78
     7
#78   1011101000000010
     77
#79   0101101100000100
     80
     6
#80   1011101000000010
     79
#81   1000111001001000
     82
     3
#82   1010011001110011
     83
     81
     86
     0
#83   0100011011000100
     82
     1
     84
#84   0101001100000100
     85
     83
#85   1011001000000010
     84
#86   1000011001000000
     82
#87   0101101100000100
     88
     2
#88   1011101000000010
     87
#89   0111001100000100
     90
     1
#90   1011001000000010
     89
#END