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