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