[("GEQ", [(1,0)], (0)), ("LEQ", [(1,0)], (1)), ("GEQ", [(1,1)], (0)), ("LEQ", [(1,1)], (1)), ("GEQ", [(1,2)], (0)), ("LEQ", [(1,2)], (1)), ("GEQ", [(1,3)], (0)), ("LEQ", [(1,3)], (1)), ("GEQ", [(1,4)], (0)), ("LEQ", [(1,4)], (1)), ("GEQ", [(1,5)], (0)), ("LEQ", [(1,5)], (1)), ("GEQ", [(1,6)], (0)), ("LEQ", [(1,6)], (1)), ("GEQ", [(1,7)], (0)), ("LEQ", [(1,7)], (1)), ("GEQ", [(1,8)], (0)), ("LEQ", [(1,8)], (1)), ("GEQ", [(1,9)], (0)), ("LEQ", [(1,9)], (1)), ("GEQ", [(1,10)], (0)), ("LEQ", [(1,10)], (1)), ("GEQ", [(1,11)], (0)), ("LEQ", [(1,11)], (1)), ("GEQ", [(1,12)], (0)), ("LEQ", [(1,12)], (1)), ("GEQ", [(1,13)], (0)), ("LEQ", [(1,13)], (1)), ("GEQ", [(1,14)], (0)), ("LEQ", [(1,14)], (1)), ("GEQ", [(1,15)], (0)), ("LEQ", [(1,15)], (1)), ("GEQ", [(1,16)], (0)), ("LEQ", [(1,16)], (1)), ("GEQ", [(1,17)], (0)), ("LEQ", [(1,17)], (1)), ("GEQ", [(1,18)], (0)), ("LEQ", [(1,18)], (1)), ("GEQ", [(1,19)], (0)), ("LEQ", [(1,19)], (1)), ("GEQ", [(1,20)], (0)), ("LEQ", [(1,20)], (1)), ("GEQ", [(1,21)], (0)), ("LEQ", [(1,21)], (1)), ("GEQ", [(1,22)], (0)), ("LEQ", [(1,22)], (1)), ("GEQ", [(1,23)], (0)), ("LEQ", [(1,23)], (1)), ("GEQ", [(1,24)], (0)), ("LEQ", [(1,24)], (1)), ("GEQ", [(1,25)], (0)), ("LEQ", [(1,25)], (1)), ("GEQ", [(1,26)], (0)), ("LEQ", [(1,26)], (1)), ("GEQ", [(1,27)], (0)), ("LEQ", [(1,27)], (1)), ("GEQ", [(1,28)], (0)), ("LEQ", [(1,28)], (1)), ("GEQ", [(1,29)], (0)), ("LEQ", [(1,29)], (1)), ("GEQ", [(1,30)], (0)), ("LEQ", [(1,30)], (1)), ("GEQ", [(1,31)], (0)), ("LEQ", [(1,31)], (1)), ("GEQ", [(1,32)], (0)), ("LEQ", [(1,32)], (1)), ("GEQ", [(1,33)], (0)), ("LEQ", [(1,33)], (1)), ("GEQ", [(1,34)], (0)), ("LEQ", [(1,34)], (1)), ("GEQ", [(1,35)], (0)), ("LEQ", [(1,35)], (1)), ("GEQ", [(1,36)], (0)), ("LEQ", [(1,36)], (1)), ("GEQ", [(1,37)], (0)), ("LEQ", [(1,37)], (1)), ("GEQ", [(1,38)], (0)), ("LEQ", [(1,38)], (1)), ("GEQ", [(1,39)], (0)), ("LEQ", [(1,39)], (1)), ("GEQ", [(1,40)], (0)), ("LEQ", [(1,40)], (1)), ("GEQ", [(1,41)], (0)), ("LEQ", [(1,41)], (1)), ("GEQ", [(1,42)], (0)), ("LEQ", [(1,42)], (1)), ("GEQ", [(1,43)], (0)), ("LEQ", [(1,43)], (1)), ("GEQ", [(1,44)], (0)), ("LEQ", [(1,44)], (1)), ("GEQ", [(1,45)], (0)), ("LEQ", [(1,45)], (1)), ("GEQ", [(1,46)], (0)), ("LEQ", [(1,46)], (1)), ("GEQ", [(1,47)], (0)), ("LEQ", [(1,47)], (1)), ("GEQ", [(1,48)], (0)), ("LEQ", [(1,48)], (1)), ("GEQ", [(1,49)], (0)), ("LEQ", [(1,49)], (1)), ("GEQ", [(1,50)], (0)), ("LEQ", [(1,50)], (1)), ("GEQ", [(1,51)], (0)), ("LEQ", [(1,51)], (1)), ("GEQ", [(1,52)], (0)), ("LEQ", [(1,52)], (1)), ("GEQ", [(1,53)], (0)), ("LEQ", [(1,53)], (1)), ("GEQ", [(1,54)], (0)), ("LEQ", [(1,54)], (1)), ("GEQ", [(1,55)], (0)), ("LEQ", [(1,55)], (1)), ("GEQ", [(1,56)], (0)), ("LEQ", [(1,56)], (1)), ("GEQ", [(1,57)], (0)), ("LEQ", [(1,57)], (1)), ("GEQ", [(1,58)], (0)), ("LEQ", [(1,58)], (1)), ("GEQ", [(1,59)], (0)), ("LEQ", [(1,59)], (1)), ("GEQ", [(1,60)], (0)), ("LEQ", [(1,60)], (1)), ("GEQ", [(1,61)], (0)), ("LEQ", [(1,61)], (1)), ("GEQ", [(1,62)], (0)), ("LEQ", [(1,62)], (1)), ("GEQ", [(1,63)], (0)), ("LEQ", [(1,63)], (1)), ("GEQ", [(1,64)], (0)), ("LEQ", [(1,64)], (1)), ("GEQ", [(1,65)], (0)), ("LEQ", [(1,65)], (1)), ("GEQ", [(1,66)], (0)), ("LEQ", [(1,66)], (1)), ("GEQ", [(1,67)], (0)), ("LEQ", [(1,67)], (1)), ("GEQ", [(1,68)], (0)), ("LEQ", [(1,68)], (1)), ("GEQ", [(1,69)], (0)), ("LEQ", [(1,69)], (1)), ("GEQ", [(1,70)], (0)), ("LEQ", [(1,70)], (1)), ("GEQ", [(1,71)], (0)), ("LEQ", [(1,71)], (1)), ("GEQ", [(1,72)], (0)), ("LEQ", [(1,72)], (1)), ("GEQ", [(1,73)], (0)), ("LEQ", [(1,73)], (1)), ("GEQ", [(1,74)], (0)), ("LEQ", [(1,74)], (1)), ("GEQ", [(1,75)], (0)), ("LEQ", [(1,75)], (1)), ("GEQ", [(1,76)], (0)), ("LEQ", [(1,76)], (1)), ("GEQ", [(1,77)], (0)), ("LEQ", [(1,77)], (1)), ("GEQ", [(1,78)], (0)), ("LEQ", [(1,78)], (1)), ("GEQ", [(1,79)], (0)), ("LEQ", [(1,79)], (1)), ("GEQ", [(1,80)], (0)), ("LEQ", [(1,80)], (1)), ("GEQ", [(1,81)], (0)), ("LEQ", [(1,81)], (1)), ("GEQ", [(1,82)], (0)), ("LEQ", [(1,82)], (1)), ("GEQ", [(1,83)], (0)), ("LEQ", [(1,83)], (1)), ("GEQ", [(1,84)], (0)), ("LEQ", [(1,84)], (1)), ("GEQ", [(1,85)], (0)), ("LEQ", [(1,85)], (1)), ("GEQ", [(1,86)], (0)), ("LEQ", [(1,86)], (1)), ("GEQ", [(1,87)], (0)), ("LEQ", [(1,87)], (1)), ("GEQ", [(1,88)], (0)), ("LEQ", [(1,88)], (1)), ("GEQ", [(1,89)], (0)), ("LEQ", [(1,89)], (1)), ("GEQ", [(1,90)], (0)), ("LEQ", [(1,90)], (1)), ("GEQ", [(1,91)], (0)), ("LEQ", [(1,91)], (1)), ("GEQ", [(1,92)], (0)), ("LEQ", [(1,92)], (1)), ("GEQ", [(1,93)], (0)), ("LEQ", [(1,93)], (1)), ("GEQ", [(1,94)], (0)), ("LEQ", [(1,94)], (1)), ("GEQ", [(1,95)], (0)), ("LEQ", [(1,95)], (1)), ("GEQ", [(1,96)], (0)), ("LEQ", [(1,96)], (1)), ("GEQ", [(1,97)], (0)), ("LEQ", [(1,97)], (1)), ("GEQ", [(1,98)], (0)), ("LEQ", [(1,98)], (1)), ("GEQ", [(1,99)], (0)), ("LEQ", [(1,99)], (1)), ("GEQ", [(1,100)], (0)), ("LEQ", [(1,100)], (1)), ("GEQ", [(1,101)], (0)), ("LEQ", [(1,101)], (1)), ("GEQ", [(1,102)], (0)), ("LEQ", [(1,102)], (1)), ("GEQ", [(1,103)], (0)), ("LEQ", [(1,103)], (1)), ("GEQ", [(1,104)], (0)), ("LEQ", [(1,104)], (1)), ("GEQ", [(1,105)], (0)), ("LEQ", [(1,105)], (1)), ("GEQ", [(1,106)], (0)), ("LEQ", [(1,106)], (1)), ("GEQ", [(1,107)], (0)), ("LEQ", [(1,107)], (1)), ("GEQ", [(1,108)], (0)), ("LEQ", [(1,108)], (1)), ("GEQ", [(1,109)], (0)), ("LEQ", [(1,109)], (1)), ("GEQ", [(1,110)], (0)), ("LEQ", [(1,110)], (1)), ("GEQ", [(1,111)], (0)), ("LEQ", [(1,111)], (1)), ("GEQ", [(1,112)], (0)), ("LEQ", [(1,112)], (1)), ("GEQ", [(1,113)], (0)), ("LEQ", [(1,113)], (1)), ("GEQ", [(1,114)], (0)), ("LEQ", [(1,114)], (1)), ("GEQ", [(1,115)], (0)), ("LEQ", [(1,115)], (1)), ("GEQ", [(1,116)], (0)), ("LEQ", [(1,116)], (1)), ("GEQ", [(1,117)], (0)), ("LEQ", [(1,117)], (1)), ("GEQ", [(1,118)], (0)), ("LEQ", [(1,118)], (1)), ("GEQ", [(1,119)], (0)), ("LEQ", [(1,119)], (1)), ("GEQ", [(1,120)], (0)), ("LEQ", [(1,120)], (1)), ("GEQ", [(1,121)], (0)), ("LEQ", [(1,121)], (1)), ("GEQ", [(1,122)], (0)), ("LEQ", [(1,122)], (1)), ("GEQ", [(1,123)], (0)), ("LEQ", [(1,123)], (1)), ("GEQ", [(1,124)], (0)), ("LEQ", [(1,124)], (1)), ("GEQ", [(1,125)], (0)), ("LEQ", [(1,125)], (1)), ("GEQ", [(1,126)], (0)), ("LEQ", [(1,126)], (1)), ("GEQ", [(1,127)], (0)), ("LEQ", [(1,127)], (1)), ("GEQ", [(1,128)], (0)), ("LEQ", [(1,128)], (1)), ("GEQ", [(1,129)], (0)), ("LEQ", [(1,129)], (1)), ("GEQ", [(1,130)], (0)), ("LEQ", [(1,130)], (1)), ("GEQ", [(1,131)], (0)), ("LEQ", [(1,131)], (1)), ("GEQ", [(1,132)], (0)), ("LEQ", [(1,132)], (1)), ("GEQ", [(1,133)], (0)), ("LEQ", [(1,133)], (1)), ("GEQ", [(1,134)], (0)), ("LEQ", [(1,134)], (1)), ("GEQ", [(1,135)], (0)), ("LEQ", [(1,135)], (1)), ("GEQ", [(1,136)], (0)), ("LEQ", [(1,136)], (1)), ("GEQ", [(1,137)], (0)), ("LEQ", [(1,137)], (1)), ("GEQ", [(1,138)], (0)), ("LEQ", [(1,138)], (1)), ("GEQ", [(1,139)], (0)), ("LEQ", [(1,139)], (1)), ("GEQ", [(1,140)], (0)), ("LEQ", [(1,140)], (1)), ("GEQ", [(1,141)], (0)), ("LEQ", [(1,141)], (1)), ("GEQ", [(1,142)], (0)), ("LEQ", [(1,142)], (1)), ("GEQ", [(1,143)], (0)), ("LEQ", [(1,143)], (1)), ("GEQ", [(1,144)], (0)), ("LEQ", [(1,144)], (1)), ("GEQ", [(1,145)], (0)), ("LEQ", [(1,145)], (1)), ("GEQ", [(1,146)], (0)), ("LEQ", [(1,146)], (1)), ("GEQ", [(1,147)], (0)), ("LEQ", [(1,147)], (1)), ("GEQ", [(1,148)], (0)), ("LEQ", [(1,148)], (1)), ("GEQ", [(1,149)], (0)), ("LEQ", [(1,149)], (1)), ("GEQ", [(1,150)], (0)), ("LEQ", [(1,150)], (1)), ("GEQ", [(1,151)], (0)), ("LEQ", [(1,151)], (1)), ("GEQ", [(1,152)], (0)), ("LEQ", [(1,152)], (1)), ("GEQ", [(1,153)], (0)), ("LEQ", [(1,153)], (1)), ("GEQ", [(1,154)], (0)), ("LEQ", [(1,154)], (1)), ("GEQ", [(1,155)], (0)), ("LEQ", [(1,155)], (1)), ("GEQ", [(1,156)], (0)), ("LEQ", [(1,156)], (1)), ("GEQ", [(1,157)], (0)), ("LEQ", [(1,157)], (1)), ("GEQ", [(1,158)], (0)), ("LEQ", [(1,158)], (1)), ("GEQ", [(1,159)], (0)), ("LEQ", [(1,159)], (1)), ("GEQ", [(1,160)], (0)), ("LEQ", [(1,160)], (1)), ("GEQ", [(1,161)], (0)), ("LEQ", [(1,161)], (1)), ("GEQ", [(1,162)], (0)), ("LEQ", [(1,162)], (1)), ("GEQ", [(1,163)], (0)), ("LEQ", [(1,163)], (1)), ("GEQ", [(1,164)], (0)), ("LEQ", [(1,164)], (1)), ("GEQ", [(1,165)], (0)), ("LEQ", [(1,165)], (1)), ("GEQ", [(1,166)], (0)), ("LEQ", [(1,166)], (1)), ("GEQ", [(1,167)], (0)), ("LEQ", [(1,167)], (1)), ("GEQ", [(1,168)], (0)), ("LEQ", [(1,168)], (1)), ("GEQ", [(1,169)], (0)), ("LEQ", [(1,169)], (1)), ("GEQ", [(1,170)], (0)), ("LEQ", [(1,170)], (1)), ("GEQ", [(1,171)], (0)), ("LEQ", [(1,171)], (1)), ("GEQ", [(1,172)], (0)), ("LEQ", [(1,172)], (1)), ("GEQ", [(1,173)], (0)), ("LEQ", [(1,173)], (1)), ("GEQ", [(1,174)], (0)), ("LEQ", [(1,174)], (1)), ("GEQ", [(1,175)], (0)), ("LEQ", [(1,175)], (1)), ("GEQ", [(1,176)], (0)), ("LEQ", [(1,176)], (1)), ("GEQ", [(1,177)], (0)), ("LEQ", [(1,177)], (1)), ("GEQ", [(1,178)], (0)), ("LEQ", [(1,178)], (1)), ("GEQ", [(1,179)], (0)), ("LEQ", [(1,179)], (1)), ("GEQ", [(1,180)], (0)), ("LEQ", [(1,180)], (1)), ("GEQ", [(1,181)], (0)), ("LEQ", [(1,181)], (1)), ("GEQ", [(1,182)], (0)), ("LEQ", [(1,182)], (1)), ("GEQ", [(1,183)], (0)), ("LEQ", [(1,183)], (1)), ("GEQ", [(1,184)], (0)), ("LEQ", [(1,184)], (1)), ("GEQ", [(1,185)], (0)), ("LEQ", [(1,185)], (1)), ("GEQ", [(1,186)], (0)), ("LEQ", [(1,186)], (1)), ("GEQ", [(1,187)], (0)), ("LEQ", [(1,187)], (1)), ("GEQ", [(1,188)], (0)), ("LEQ", [(1,188)], (1)), ("GEQ", [(1,189)], (0)), ("LEQ", [(1,189)], (1)), ("GEQ", [(1,190)], (0)), ("LEQ", [(1,190)], (1)), ("GEQ", [(1,191)], (0)), ("LEQ", [(1,191)], (1)), ("GEQ", [(1,192)], (0)), ("LEQ", [(1,192)], (1)), ("GEQ", [(1,193)], (0)), ("LEQ", [(1,193)], (1)), ("GEQ", [(1,194)], (0)), ("LEQ", [(1,194)], (1)), ("GEQ", [(1,195)], (0)), ("LEQ", [(1,195)], (1)), ("GEQ", [(1,196)], (0)), ("LEQ", [(1,196)], (1)), ("GEQ", [(1,197)], (0)), ("LEQ", [(1,197)], (1)), ("GEQ", [(1,198)], (0)), ("LEQ", [(1,198)], (1)), ("GEQ", [(1,199)], (0)), ("LEQ", [(1,199)], (1)), ("GEQ", [(1,200)], (0)), ("LEQ", [(1,200)], (1)), ("GEQ", [(1,201)], (0)), ("LEQ", [(1,201)], (1)), ("GEQ", [(1,202)], (0)), ("LEQ", [(1,202)], (1)), ("GEQ", [(1,203)], (0)), ("LEQ", [(1,203)], (1)), ("GEQ", [(1,204)], (0)), ("LEQ", [(1,204)], (1)), ("GEQ", [(1,205)], (0)), ("LEQ", [(1,205)], (1)), ("GEQ", [(1,206)], (0)), ("LEQ", [(1,206)], (1)), ("GEQ", [(1,207)], (0)), ("LEQ", [(1,207)], (1)), ("GEQ", [(1,208)], (0)), ("LEQ", [(1,208)], (1)), ("GEQ", [(1,209)], (0)), ("LEQ", [(1,209)], (1)), ("GEQ", [(1,210)], (0)), ("LEQ", [(1,210)], (1)), ("GEQ", [(1,211)], (0)), ("LEQ", [(1,211)], (1)), ("GEQ", [(1,212)], (0)), ("LEQ", [(1,212)], (1)), ("GEQ", [(1,213)], (0)), ("LEQ", [(1,213)], (1)), ("GEQ", [(1,214)], (0)), ("LEQ", [(1,214)], (1)), ("GEQ", [(1,215)], (0)), ("LEQ", [(1,215)], (1)), ("GEQ", [(1,216)], (0)), ("LEQ", [(1,216)], (1)), ("GEQ", [(1,217)], (0)), ("LEQ", [(1,217)], (1)), ("GEQ", [(1,218)], (0)), ("LEQ", [(1,218)], (1)), ("GEQ", [(1,219)], (0)), ("LEQ", [(1,219)], (1)), ("GEQ", [(1,220)], (0)), ("LEQ", [(1,220)], (1)), ("GEQ", [(1,221)], (0)), ("LEQ", [(1,221)], (1)), ("GEQ", [(1,222)], (0)), ("LEQ", [(1,222)], (1)), ("GEQ", [(1,223)], (0)), ("LEQ", [(1,223)], (1)), ("GEQ", [(1,224)], (0)), ("LEQ", [(1,224)], (1)), ("GEQ", [(1,225)], (0)), ("LEQ", [(1,225)], (1)), ("GEQ", [(1,226)], (0)), ("LEQ", [(1,226)], (1)), ("GEQ", [(1,227)], (0)), ("LEQ", [(1,227)], (1)), ("GEQ", [(1,228)], (0)), ("LEQ", [(1,228)], (1)), ("GEQ", [(1,229)], (0)), ("LEQ", [(1,229)], (1)), ("GEQ", [(1,230)], (0)), ("LEQ", [(1,230)], (1)), ("GEQ", [(1,231)], (0)), ("LEQ", [(1,231)], (1)), ("GEQ", [(1,232)], (0)), ("LEQ", [(1,232)], (1)), ("GEQ", [(1,233)], (0)), ("LEQ", [(1,233)], (1)), ("GEQ", [(1,234)], (0)), ("LEQ", [(1,234)], (1)), ("GEQ", [(1,235)], (0)), ("LEQ", [(1,235)], (1)), ("GEQ", [(1,236)], (0)), ("LEQ", [(1,236)], (1)), ("GEQ", [(1,237)], (0)), ("LEQ", [(1,237)], (1)), ("GEQ", [(1,238)], (0)), ("LEQ", [(1,238)], (1)), ("GEQ", [(1,239)], (0)), ("LEQ", [(1,239)], (1)), ("GEQ", [(1,240)], (0)), ("LEQ", [(1,240)], (1)), ("GEQ", [(1,241)], (0)), ("LEQ", [(1,241)], (1)), ("GEQ", [(1,242)], (0)), ("LEQ", [(1,242)], (1)), ("GEQ", [(1,243)], (0)), ("LEQ", [(1,243)], (1)), ("GEQ", [(1,244)], (0)), ("LEQ", [(1,244)], (1)), ("GEQ", [(1,245)], (0)), ("LEQ", [(1,245)], (1)), ("GEQ", [(1,246)], (0)), ("LEQ", [(1,246)], (1)), ("GEQ", [(1,247)], (0)), ("LEQ", [(1,247)], (1)), ("GEQ", [(1,248)], (0)), ("LEQ", [(1,248)], (1)), ("GEQ", [(1,249)], (0)), ("LEQ", [(1,249)], (1)), ("GEQ", [(1,250)], (0)), ("LEQ", [(1,250)], (1)), ("GEQ", [(1,251)], (0)), ("LEQ", [(1,251)], (1)), ("GEQ", [(1,252)], (0)), ("LEQ", [(1,252)], (1)), ("GEQ", [(1,253)], (0)), ("LEQ", [(1,253)], (1)), ("GEQ", [(1,254)], (0)), ("LEQ", [(1,254)], (1)), ("GEQ", [(1,255)], (0)), ("LEQ", [(1,255)], (1)), ("GEQ", [(1,256)], (0)), ("LEQ", [(1,256)], (1)), ("GEQ", [(1,257)], (0)), ("LEQ", [(1,257)], (1)), ("GEQ", [(1,258)], (0)), ("LEQ", [(1,258)], (1)), ("GEQ", [(1,259)], (0)), ("LEQ", [(1,259)], (1)), ("GEQ", [(1,260)], (0)), ("LEQ", [(1,260)], (1)), ("GEQ", [(1,261)], (0)), ("LEQ", [(1,261)], (1)), ("GEQ", [(1,262)], (0)), ("LEQ", [(1,262)], (1)), ("GEQ", [(1,263)], (0)), ("LEQ", [(1,263)], (1)), ("GEQ", [(1,264)], (0)), ("LEQ", [(1,264)], (1)), ("GEQ", [(1,265)], (0)), ("LEQ", [(1,265)], (1)), ("GEQ", [(1,266)], (0)), ("LEQ", [(1,266)], (1)), ("GEQ", [(1,267)], (0)), ("LEQ", [(1,267)], (1)), ("GEQ", [(1,268)], (0)), ("LEQ", [(1,268)], (1)), ("GEQ", [(1,269)], (0)), ("LEQ", [(1,269)], (1)), ("GEQ", [(1,270)], (0)), ("LEQ", [(1,270)], (1)), ("GEQ", [(1,271)], (0)), ("LEQ", [(1,271)], (1)), ("GEQ", [(1,272)], (0)), ("LEQ", [(1,272)], (1)), ("GEQ", [(1,273)], (0)), ("LEQ", [(1,273)], (1)), ("GEQ", [(1,274)], (0)), ("LEQ", [(1,274)], (1)), ("GEQ", [(1,275)], (0)), ("LEQ", [(1,275)], (1)), ("GEQ", [(1,276)], (0)), ("LEQ", [(1,276)], (1)), ("GEQ", [(1,277)], (0)), ("LEQ", [(1,277)], (1)), ("GEQ", [(1,278)], (0)), ("LEQ", [(1,278)], (1)), ("GEQ", [(1,279)], (0)), ("LEQ", [(1,279)], (1)), ("GEQ", [(1,280)], (0)), ("LEQ", [(1,280)], (1)), ("GEQ", [(1,281)], (0)), ("LEQ", [(1,281)], (1)), ("GEQ", [(1,282)], (0)), ("LEQ", [(1,282)], (1)), ("GEQ", [(1,283)], (0)), ("LEQ", [(1,283)], (1)), ("GEQ", [(1,284)], (0)), ("LEQ", [(1,284)], (1)), ("GEQ", [(1,285)], (0)), ("LEQ", [(1,285)], (1)), ("GEQ", [(1,286)], (0)), ("LEQ", [(1,286)], (1)), ("GEQ", [(1,287)], (0)), ("LEQ", [(1,287)], (1)), ("GEQ", [(1,288)], (0)), ("LEQ", [(1,288)], (1)), ("GEQ", [(1,289)], (0)), ("LEQ", [(1,289)], (1)), ("GEQ", [(1,290)], (0)), ("LEQ", [(1,290)], (1)), ("GEQ", [(1,291)], (0)), ("LEQ", [(1,291)], (1)), ("GEQ", [(1,292)], (0)), ("LEQ", [(1,292)], (1)), ("GEQ", [(1,293)], (0)), ("LEQ", [(1,293)], (1)), ("GEQ", [(1,294)], (0)), ("LEQ", [(1,294)], (1)), ("GEQ", [(1,295)], (0)), ("LEQ", [(1,295)], (1)), ("GEQ", [(1,296)], (0)), ("LEQ", [(1,296)], (1)), ("GEQ", [(1,297)], (0)), ("LEQ", [(1,297)], (1)), ("GEQ", [(1,298)], (0)), ("LEQ", [(1,298)], (1)), ("GEQ", [(1,299)], (0)), ("LEQ", [(1,299)], (1)), ("GEQ", [(1,300)], (0)), ("LEQ", [(1,300)], (1)), ("GEQ", [(1,301)], (0)), ("LEQ", [(1,301)], (1)), ("GEQ", [(1,302)], (0)), ("LEQ", [(1,302)], (1)), ("GEQ", [(1,303)], (0)), ("LEQ", [(1,303)], (1)), ("GEQ", [(1,304)], (0)), ("LEQ", [(1,304)], (1)), ("GEQ", [(1,305)], (0)), ("LEQ", [(1,305)], (1)), ("GEQ", [(1,306)], (0)), ("LEQ", [(1,306)], (1)), ("GEQ", [(1,307)], (0)), ("LEQ", [(1,307)], (1)), ("GEQ", [(1,308)], (0)), ("LEQ", [(1,308)], (1)), ("GEQ", [(1,309)], (0)), ("LEQ", [(1,309)], (1)), ("GEQ", [(1,310)], (0)), ("LEQ", [(1,310)], (1)), ("GEQ", [(1,311)], (0)), ("LEQ", [(1,311)], (1)), ("GEQ", [(1,312)], (0)), ("LEQ", [(1,312)], (1)), ("GEQ", [(1,313)], (0)), ("LEQ", [(1,313)], (1)), ("GEQ", [(1,314)], (0)), ("LEQ", [(1,314)], (1)), ("GEQ", [(1,315)], (0)), ("LEQ", [(1,315)], (1)), ("GEQ", [(1,316)], (0)), ("LEQ", [(1,316)], (1)), ("GEQ", [(1,317)], (0)), ("LEQ", [(1,317)], (1)), ("GEQ", [(1,318)], (0)), ("LEQ", [(1,318)], (1)), ("GEQ", [(1,319)], (0)), ("LEQ", [(1,319)], (1)), ("GEQ", [(1,320)], (0)), ("LEQ", [(1,320)], (1)), ("GEQ", [(1,321)], (0)), ("LEQ", [(1,321)], (1)), ("GEQ", [(1,322)], (0)), ("LEQ", [(1,322)], (1)), ("GEQ", [(1,323)], (0)), ("LEQ", [(1,323)], (1)), ("GEQ", [(1,324)], (0)), ("LEQ", [(1,324)], (1)), ("GEQ", [(1,325)], (0)), ("LEQ", [(1,325)], (1)), ("GEQ", [(1,326)], (0)), ("LEQ", [(1,326)], (1)), ("GEQ", [(1,327)], (0)), ("LEQ", [(1,327)], (1)), ("GEQ", [(1,328)], (0)), ("LEQ", [(1,328)], (1)), ("GEQ", [(1,329)], (0)), ("LEQ", [(1,329)], (1)), ("GEQ", [(1,330)], (0)), ("LEQ", [(1,330)], (1)), ("GEQ", [(1,331)], (0)), ("LEQ", [(1,331)], (1)), ("GEQ", [(1,332)], (0)), ("LEQ", [(1,332)], (1)), ("GEQ", [(1,333)], (0)), ("LEQ", [(1,333)], (1)), ("GEQ", [(1,334)], (0)), ("LEQ", [(1,334)], (1)), ("GEQ", [(1,335)], (0)), ("LEQ", [(1,335)], (1)), ("GEQ", [(1,336)], (0)), ("LEQ", [(1,336)], (1)), ("GEQ", [(1,337)], (0)), ("LEQ", [(1,337)], (1)), ("GEQ", [(1,338)], (0)), ("LEQ", [(1,338)], (1)), ("GEQ", [(1,339)], (0)), ("LEQ", [(1,339)], (1)), ("GEQ", [(1,340)], (0)), ("LEQ", [(1,340)], (1)), ("GEQ", [(1,341)], (0)), ("LEQ", [(1,341)], (1)), ("GEQ", [(1,0),(1,1),(1,2),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(1,13),(1,14),(1,15),(1,16),(1,17)], (1)), ("GEQ", [(1,18),(1,19),(1,20),(1,21),(1,22),(1,23),(1,24),(1,25),(1,26),(1,27),(1,28),(1,29),(1,30),(1,31),(1,32),(1,33),(1,34),(1,35)], (1)), ("GEQ", [(1,36),(1,37),(1,38),(1,39),(1,40),(1,41),(1,42),(1,43),(1,44),(1,45),(1,46),(1,47),(1,48),(1,49),(1,50),(1,51),(1,52),(1,53)], (1)), ("GEQ", [(1,54),(1,55),(1,56),(1,57),(1,58),(1,59),(1,60),(1,61),(1,62),(1,63),(1,64),(1,65),(1,66),(1,67),(1,68),(1,69),(1,70),(1,71)], (1)), ("GEQ", [(1,72),(1,73),(1,74),(1,75),(1,76),(1,77),(1,78),(1,79),(1,80),(1,81),(1,82),(1,83),(1,84),(1,85),(1,86),(1,87),(1,88),(1,89)], (1)), ("GEQ", [(1,90),(1,91),(1,92),(1,93),(1,94),(1,95),(1,96),(1,97),(1,98),(1,99),(1,100),(1,101),(1,102),(1,103),(1,104),(1,105),(1,106),(1,107)], (1)), ("GEQ", [(1,108),(1,109),(1,110),(1,111),(1,112),(1,113),(1,114),(1,115),(1,116),(1,117),(1,118),(1,119),(1,120),(1,121),(1,122),(1,123),(1,124),(1,125)], (1)), ("GEQ", [(1,126),(1,127),(1,128),(1,129),(1,130),(1,131),(1,132),(1,133),(1,134),(1,135),(1,136),(1,137),(1,138),(1,139),(1,140),(1,141),(1,142),(1,143)], (1)), ("GEQ", [(1,144),(1,145),(1,146),(1,147),(1,148),(1,149),(1,150),(1,151),(1,152),(1,153),(1,154),(1,155),(1,156),(1,157),(1,158),(1,159),(1,160),(1,161)], (1)), ("GEQ", [(1,162),(1,163),(1,164),(1,165),(1,166),(1,167),(1,168),(1,169),(1,170),(1,171),(1,172),(1,173),(1,174),(1,175),(1,176),(1,177),(1,178),(1,179)], (1)), ("GEQ", [(1,180),(1,181),(1,182),(1,183),(1,184),(1,185),(1,186),(1,187),(1,188),(1,189),(1,190),(1,191),(1,192),(1,193),(1,194),(1,195),(1,196),(1,197)], (1)), ("GEQ", [(1,198),(1,199),(1,200),(1,201),(1,202),(1,203),(1,204),(1,205),(1,206),(1,207),(1,208),(1,209),(1,210),(1,211),(1,212),(1,213),(1,214),(1,215)], (1)), ("GEQ", [(1,216),(1,217),(1,218),(1,219),(1,220),(1,221),(1,222),(1,223),(1,224),(1,225),(1,226),(1,227),(1,228),(1,229),(1,230),(1,231),(1,232),(1,233)], (1)), ("GEQ", [(1,234),(1,235),(1,236),(1,237),(1,238),(1,239),(1,240),(1,241),(1,242),(1,243),(1,244),(1,245),(1,246),(1,247),(1,248),(1,249),(1,250),(1,251)], (1)), ("GEQ", [(1,252),(1,253),(1,254),(1,255),(1,256),(1,257),(1,258),(1,259),(1,260),(1,261),(1,262),(1,263),(1,264),(1,265),(1,266),(1,267),(1,268),(1,269)], (1)), ("GEQ", [(1,270),(1,271),(1,272),(1,273),(1,274),(1,275),(1,276),(1,277),(1,278),(1,279),(1,280),(1,281),(1,282),(1,283),(1,284),(1,285),(1,286),(1,287)], (1)), ("GEQ", [(1,288),(1,289),(1,290),(1,291),(1,292),(1,293),(1,294),(1,295),(1,296),(1,297),(1,298),(1,299),(1,300),(1,301),(1,302),(1,303),(1,304),(1,305)], (1)), ("GEQ", [(1,306),(1,307),(1,308),(1,309),(1,310),(1,311),(1,312),(1,313),(1,314),(1,315),(1,316),(1,317),(1,318),(1,319),(1,320),(1,321),(1,322),(1,323)], (1)), ("GEQ", [(1,324),(1,325),(1,326),(1,327),(1,328),(1,329),(1,330),(1,331),(1,332),(1,333),(1,334),(1,335),(1,336),(1,337),(1,338),(1,339),(1,340),(1,341)], (1)), ("LEQ", [(1,0),(1,18),(1,36),(1,54),(1,72),(1,90),(1,108),(1,126),(1,144),(1,162),(1,180),(1,198),(1,216),(1,234),(1,252),(1,270),(1,288),(1,306),(1,324)], (1)), ("LEQ", [(1,1),(1,19),(1,37),(1,55),(1,73),(1,91),(1,109),(1,127),(1,145),(1,163),(1,181),(1,199),(1,217),(1,235),(1,253),(1,271),(1,289),(1,307),(1,325)], (1)), ("LEQ", [(1,2),(1,20),(1,38),(1,56),(1,74),(1,92),(1,110),(1,128),(1,146),(1,164),(1,182),(1,200),(1,218),(1,236),(1,254),(1,272),(1,290),(1,308),(1,326)], (1)), ("LEQ", [(1,3),(1,21),(1,39),(1,57),(1,75),(1,93),(1,111),(1,129),(1,147),(1,165),(1,183),(1,201),(1,219),(1,237),(1,255),(1,273),(1,291),(1,309),(1,327)], (1)), ("LEQ", [(1,4),(1,22),(1,40),(1,58),(1,76),(1,94),(1,112),(1,130),(1,148),(1,166),(1,184),(1,202),(1,220),(1,238),(1,256),(1,274),(1,292),(1,310),(1,328)], (1)), ("LEQ", [(1,5),(1,23),(1,41),(1,59),(1,77),(1,95),(1,113),(1,131),(1,149),(1,167),(1,185),(1,203),(1,221),(1,239),(1,257),(1,275),(1,293),(1,311),(1,329)], (1)), ("LEQ", [(1,6),(1,24),(1,42),(1,60),(1,78),(1,96),(1,114),(1,132),(1,150),(1,168),(1,186),(1,204),(1,222),(1,240),(1,258),(1,276),(1,294),(1,312),(1,330)], (1)), ("LEQ", [(1,7),(1,25),(1,43),(1,61),(1,79),(1,97),(1,115),(1,133),(1,151),(1,169),(1,187),(1,205),(1,223),(1,241),(1,259),(1,277),(1,295),(1,313),(1,331)], (1)), ("LEQ", [(1,8),(1,26),(1,44),(1,62),(1,80),(1,98),(1,116),(1,134),(1,152),(1,170),(1,188),(1,206),(1,224),(1,242),(1,260),(1,278),(1,296),(1,314),(1,332)], (1)), ("LEQ", [(1,9),(1,27),(1,45),(1,63),(1,81),(1,99),(1,117),(1,135),(1,153),(1,171),(1,189),(1,207),(1,225),(1,243),(1,261),(1,279),(1,297),(1,315),(1,333)], (1)), ("LEQ", [(1,10),(1,28),(1,46),(1,64),(1,82),(1,100),(1,118),(1,136),(1,154),(1,172),(1,190),(1,208),(1,226),(1,244),(1,262),(1,280),(1,298),(1,316),(1,334)], (1)), ("LEQ", [(1,11),(1,29),(1,47),(1,65),(1,83),(1,101),(1,119),(1,137),(1,155),(1,173),(1,191),(1,209),(1,227),(1,245),(1,263),(1,281),(1,299),(1,317),(1,335)], (1)), ("LEQ", [(1,12),(1,30),(1,48),(1,66),(1,84),(1,102),(1,120),(1,138),(1,156),(1,174),(1,192),(1,210),(1,228),(1,246),(1,264),(1,282),(1,300),(1,318),(1,336)], (1)), ("LEQ", [(1,13),(1,31),(1,49),(1,67),(1,85),(1,103),(1,121),(1,139),(1,157),(1,175),(1,193),(1,211),(1,229),(1,247),(1,265),(1,283),(1,301),(1,319),(1,337)], (1)), ("LEQ", [(1,14),(1,32),(1,50),(1,68),(1,86),(1,104),(1,122),(1,140),(1,158),(1,176),(1,194),(1,212),(1,230),(1,248),(1,266),(1,284),(1,302),(1,320),(1,338)], (1)), ("LEQ", [(1,15),(1,33),(1,51),(1,69),(1,87),(1,105),(1,123),(1,141),(1,159),(1,177),(1,195),(1,213),(1,231),(1,249),(1,267),(1,285),(1,303),(1,321),(1,339)], (1)), ("LEQ", [(1,16),(1,34),(1,52),(1,70),(1,88),(1,106),(1,124),(1,142),(1,160),(1,178),(1,196),(1,214),(1,232),(1,250),(1,268),(1,286),(1,304),(1,322),(1,340)], (1)), ("LEQ", [(1,17),(1,35),(1,53),(1,71),(1,89),(1,107),(1,125),(1,143),(1,161),(1,179),(1,197),(1,215),(1,233),(1,251),(1,269),(1,287),(1,305),(1,323),(1,341)], (1))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341]