Quantum dot cellular automaton (QCA) in golly

simsim314 · Post by **simsim314** » March 7th, 2019, 3:38 pm

I've implemented simplified simulation of QCA in golly. You can read more here.

Each active cell oscillates in the Switch-Hold-Release-Relax cycle. It is now simulating two major gates: majority gate and not gate.

I've also prepared several patterns and tools to work with. Also remember every circuit in this automaton can in theory become a physical circuit.

I've also posted a youtube video.
You can also see me creating those in real time using golly on twitch.

Here is wire crossing:

Code: Select all

x = 283, y = 47, rule = QdCA
61.CPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCP
MHCPMHCPMHCPMHCPMHCPMHCPM$61.H63.P25.H$61.M63.M25.C$61.P63.H25.P$61.C
63.C25.M$61.H63.P25.H$61.M63.M25.C27.MHCP$61.P63.H25.P12.MHCPMHCPMHCP
MHCP3.MHCPMHCP$61.C63.C25.M12.P14.MHCP7.M$61.H63.P25.H12.C25.H$PMHAPM
HAPMHAPMHBPMHBPMHBPMHCPMHAPMHAPMHAPMHCPMHBPMHBPMHBPMHCPM63.M25.C12.H
25.C$125.H25.M12.M25.P$125.C25.H12.P25.M$125.P25.C12.C25.H$125.M25.P
12.H25.C$125.H25.M12.M25.P$125.C25.H12.P25.H$125.P25.C12.C25.C$125.M
25.P12.H25.P$125.H15.PMHC6.M12.M25.M$122.NMFCPMHCPMHCPMHCPMHC3.PMHCPM
HCPMHCPHCPMHCPMHCP21.H$125.H15.PMHC3.P2.M16.M18.NMFCPMHCPMHCPMHCPMHCP
MHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPM
HCPMHC$125.M22.M2.P16.H21.H$125.P22.H2.D16.C21.M$125.C22.C8.HCPM7.P
21.P$125.H5.PMHCPMHCPMHCP4.PMHCPMHCPM3.HCPMHCPMHCPMHCPMHCPMH8.C$125.M
5.C11.M4.M8.HCPM7.P12.C8.H$125.P5.H11.H4.H19.B12.P8.M$125.C5.M11.C4.C
19.J12.M8.P$125.H5.P11.P4.P32.H8.C$PMHAPMHAPMHAPMHBPMHBPMHBPMHCPMHBPM
HBPMHBPMHCPMHAPMHAPMHAPMHCPM63.M5.C11.M4.M32.C8.H$61.H63.P5.H11.H4.H
32.P8.M$61.C63.C5.M11.C4.CPMHCPMHCP23.M8.P$61.P63.H5.P11.P13.M23.H8.C
$61.M63.M5.C11.M13.H23.C8.H$61.H63.P5.H11.H10.NMFCPMHCPMHCPMHCPMHCPHC
PMHCPMHCPMHCPMHCPMH$61.C63.C5.M11.C13.H13.H9.B13.C$61.P63.H5.P11.P13.
M13.C9.G13.P14.CPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCP
MHCPMHCPMHCPMHCPMHC$61.M63.M5.C11.M13.P13.P9.L13.M14.H$61.H63.P5.H11.
H13.C13.M23.H14.M$61.CPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMH
CPMHCPMHCPMHCPMHCPMHCPM11.CPMHCMHCPMHCPMH13.H23.C14.P$171.C23.P14.C$
171.P13.PMHC6.M14.H$171.MHCPMHCPMHCPMHC3.PMHCPMHCPMHCPMHCPMHCPM$185.P
MHC6.M$195.P$195.D!

Here is XOR hate:

Code: Select all

#XOR gate for QdCA rule. 
x = 198, y = 15, rule = QdCA
CPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHC
PMHCPMHCPMHCPMHCPMHPMFAPMHCP$79.C16.M$79.P16.H$79.M16.C$79.H6.APMH6.P
$76.OMGCPMHCPMF3.CPMHCPMHCPMHCPFAMHCPMH$79.H6.APMH2.H3.P14.C$79.M12.C
3.B14.P$79.P12.P3.J14.M$79.C12.M13.MHCPMHCPMHCPMFAPMHCPMHCPMGBPMHCPMH
CPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCP$CPMHCPMHCP
MHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPMHCPM
H12.HCPMHCPMFAPMHCP4.M$79.C31.P$79.P31.C$79.M31.H$79.HCPMHCPMFAPMHCMH
CMHCPMHCMGBPMHCPM!

I've also attached draw-lines script: it draw the line in the correct oscillating manner, otherwise it's very hard to make any design in it.

I've also implemented an add not gate script. You just click on the end of a wire and it places the gate.

Code: Select all

@RULE QdCA
********************************
**** COMPILED FROM NUTSHELL ****
****         v0.5.6         ****
********************************


@TABLE
neighborhood: Moore
symmetries: rotate4reflect
n_states: 17

var any.0 = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16}
var any.1 = any.0
var any.2 = any.0
var any.3 = any.0
var any.4 = any.0
var any.5 = any.0
var any.6 = any.0
var any.7 = any.0
var not_switch_hold.0 = {0,11,12,13,14,15,16}
var not_switch_hold.1 = not_switch_hold.0
var not_switch_hold.2 = not_switch_hold.0
var not_switch_hold.3 = not_switch_hold.0
var not_switch_hold.4 = not_switch_hold.0
var not_switch_hold.5 = not_switch_hold.0
var not_switch_hold.6 = not_switch_hold.0
var not_switch_hold.7 = not_switch_hold.0
var undefined_relax.0 = {16}
var not_switch.0 = {0,6,7,8,9,10,11,12,13,14,15,16}
var not_switch.1 = not_switch.0
var not_switch.2 = not_switch.0
var not_switch.3 = not_switch.0
var not_switch.4 = not_switch.0
var not_switch.5 = not_switch.0
var not_switch.6 = not_switch.0

1, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 6
2, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 7
3, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 8
4, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 9
5, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 10
6, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 13
7, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 13
8, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 13
9, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 11
10, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 12
11, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 14
12, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 15
13, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 16
14, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 4
15, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 5
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 1, not_switch_hold.4, 1
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 2, not_switch_hold.4, 2
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 3, not_switch_hold.4, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 4, not_switch_hold.4, 1
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 5, not_switch_hold.4, 2
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 6, not_switch_hold.4, 1
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 7, not_switch_hold.4, 2
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 8, not_switch_hold.4, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 9, not_switch_hold.4, 1
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 10, not_switch_hold.4, 2
16, not_switch_hold.0, not_switch_hold.1, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, not_switch_hold.5, not_switch_hold.6, not_switch_hold.7, 3
undefined_relax.0, not_switch.0, not_switch.1, not_switch.2, not_switch.3, not_switch.4, not_switch.5, 1, not_switch.6, 1
undefined_relax.0, not_switch.0, not_switch.1, not_switch.2, not_switch.3, not_switch.4, not_switch.5, 2, not_switch.6, 2
undefined_relax.0, not_switch.0, not_switch.1, not_switch.2, not_switch.3, not_switch.4, not_switch.5, 3, not_switch.6, 3
undefined_relax.0, not_switch.0, not_switch.1, not_switch.2, not_switch.3, not_switch.4, not_switch.5, 4, not_switch.6, 1
undefined_relax.0, not_switch.0, not_switch.1, not_switch.2, not_switch.3, not_switch.4, not_switch.5, 5, not_switch.6, 2
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 6, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 6, not_switch_hold.5, 1
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 7, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 6, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 8, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 6, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 9, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 6, not_switch_hold.5, 1
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 10, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 6, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 6, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 7, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 7, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 7, not_switch_hold.5, 2
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 8, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 7, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 9, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 7, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 10, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 7, not_switch_hold.5, 2
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 6, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 8, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 7, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 8, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 8, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 8, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 9, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 8, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 10, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 8, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 6, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 9, not_switch_hold.5, 1
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 7, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 9, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 8, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 9, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 9, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 9, not_switch_hold.5, 1
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 10, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 9, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 6, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 10, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 7, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 10, not_switch_hold.5, 2
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 8, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 10, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 9, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 10, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 10, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 10, not_switch_hold.5, 2
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 1, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 1, not_switch_hold.5, 1
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 2, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 1, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 3, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 1, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 4, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 1, not_switch_hold.5, 1
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 5, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 1, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 1, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 2, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 2, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 2, not_switch_hold.5, 2
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 3, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 2, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 4, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 2, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 5, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 2, not_switch_hold.5, 2
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 1, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 3, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 2, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 3, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 3, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 3, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 4, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 3, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 5, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 3, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 1, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 4, not_switch_hold.5, 1
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 2, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 4, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 3, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 4, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 4, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 4, not_switch_hold.5, 1
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 5, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 4, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 1, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 5, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 2, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 5, not_switch_hold.5, 2
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 3, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 5, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 4, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 5, not_switch_hold.5, 3
undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 5, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 5, not_switch_hold.5, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 1, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 1, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 1, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 1, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 1, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 1, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 1, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 1, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 1, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 1, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 2, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 2, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 2, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 2, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 2, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 2, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 2, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 2, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 2, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 2, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 3, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 3, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 3, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 3, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 3, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 3, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 3, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 3, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 3, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 3, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 4, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 4, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 4, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 4, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 4, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 4, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 4, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 4, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 4, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 4, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 5, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 5, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 5, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 5, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 5, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 5, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 5, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 5, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 5, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 5, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 6, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 6, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 6, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 6, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 6, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 6, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 6, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 6, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 6, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 6, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 7, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 7, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 7, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 7, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 7, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 7, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 7, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 7, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 7, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 7, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 8, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 8, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 8, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 8, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 8, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 8, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 8, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 8, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 8, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 8, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 9, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 9, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 9, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 9, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 9, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 9, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 9, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 9, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 9, 0, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 9, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 10, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 10, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 10, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 10, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 10, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 10, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 10, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 10, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 10, 0, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 10, 0, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 1, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 1, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 1, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 2, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 2, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 2, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 3, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 3, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 3, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 4, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 4, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 4, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 5, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 5, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 5, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 6, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 6, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 6, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 7, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 7, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 7, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 8, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 8, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 8, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 9, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 9, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 9, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 10, 0, 3
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 10, 0, 1
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 10, 0, 2
undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 10, 0, 2

@COLORS
1 0 255 0
4 0 255 0
6 0 150 0
9 0 255 0
11 0 255 0
14 0 255 0
2 255 255 0
5 255 255 0
10 255 255 0
12 255 255 0
15 255 255 0
7 150 150 0
3 192 192 192
8 192 192 192
13 64 64 64
16 64 64 64