a(1,101)
a(1,104)
a(1,108)
a(1,110)
a(1,111)
a(1,114)
a(1,115)
a(1,116)
a(1,117)
a(1,118)
a(1,119)
a(1,123)
a(1,124)
a(1,125)
a(1,126)
a(1,131)
a(1,132)
a(1,133)
a(1,134)
a(1,135)
a(1,136)
a(1,137)
a(1,139)
a(1,140)
a(1,141)
a(1,142)
a(1,144)
a(1,145)
a(1,147)
a(1,148)
a(1,152)
a(1,153)
a(1,154)
a(1,155)
a(1,156)
a(1,157)
a(1,158)
a(1,159)
a(1,160)
a(1,161)
a(1,163)
a(1,165)
a(1,167)
a(1,168)
a(1,169)
a(1,171)
a(1,172)
a(1,174)
a(1,175)
a(1,178)
a(1,179)
a(1,180)
a(1,181)
a(1,182)
a(1,183)
a(1,184)
a(1,185)
a(1,186)
a(1,187)
a(1,188)
a(1,189)
a(1,190)
a(1,193)
a(1,194)
a(1,195)
a(1,196)
a(1,197)
a(1,199)
a(1,200)
a(1,201)
a(1,202)
a(1,203)
a(1,204)
a(1,205)
a(1,207)
a(1,208)
a(1,209)
a(1,210)
a(1,211)
a(1,212)
a(1,213)
a(1,214)
a(1,215)
a(1,216)
a(1,217)
a(1,219)
a(1,220)
a(1,221)
a(1,223)
a(1,224)
a(1,225)
a(1,227)
a(1,228)
a(1,229)
a(1,230)
a(1,232)
a(1,234)
a(1,235)
a(1,237)
a(1,238)
a(1,239)
a(1,240)
a(1,242)
a(1,243)
a(1,244)
a(1,245)
a(1,246)
a(1,247)
a(1,248)
a(1,249)
a(1,250)
a(1,251)
a(1,252)
a(1,253)
a(1,254)
a(1,256)
a(1,257)
a(1,258)
a(1,260)
a(1,261)
a(1,262)
a(1,263)
a(1,267)
a(1,268)
a(1,270)
a(1,271)
a(1,273)
a(1,276)
a(1,277)
a(1,278)
a(1,279)
a(1,280)
a(1,281)
a(1,283)
a(1,284)
a(1,286)
a(1,287)
a(1,288)
a(1,289)
a(1,291)
a(1,292)
a(1,293)
a(1,294)
a(1,295)
a(1,296)
a(1,297)
a(1,299)
a(1,30)
a(1,300)
a(1,302)
a(1,303)
a(1,305)
a(1,307)
a(1,308)
a(1,310)
a(1,314)
a(1,315)
a(1,316)
a(1,317)
a(1,318)
a(1,320)
a(1,321)
a(1,322)
a(1,323)
a(1,325)
a(1,326)
a(1,328)
a(1,330)
a(1,331)
a(1,332)
a(1,333)
a(1,334)
a(1,335)
a(1,336)
a(1,338)
a(1,339)
a(1,340)
a(1,341)
a(1,342)
a(1,344)
a(1,345)
a(1,348)
a(1,349)
a(1,350)
a(1,351)
a(1,352)
a(1,353)
a(1,354)
a(1,355)
a(1,356)
a(1,357)
a(1,358)
a(1,359)
a(1,360)
a(1,361)
a(1,362)
a(1,364)
a(1,365)
a(1,366)
a(1,367)
a(1,368)
a(1,370)
a(1,371)
a(1,372)
a(1,373)
a(1,375)
a(1,377)
a(1,378)
a(1,379)
a(1,380)
a(1,381)
a(1,382)
a(1,384)
a(1,385)
a(1,386)
a(1,387)
a(1,388)
a(1,389)
a(1,390)
a(1,391)
a(1,392)
a(1,393)
a(1,394)
a(1,397)
a(1,398)
a(1,40)
a(1,400)
a(1,401)
a(1,403)
a(1,404)
a(1,405)
a(1,407)
a(1,408)
a(1,409)
a(1,410)
a(1,413)
a(1,414)
a(1,415)
a(1,416)
a(1,417)
a(1,418)
a(1,419)
a(1,420)
a(1,422)
a(1,424)
a(1,425)
a(1,427)
a(1,428)
a(1,429)
a(1,431)
a(1,432)
a(1,433)
a(1,434)
a(1,435)
a(1,436)
a(1,437)
a(1,438)
a(1,439)
a(1,440)
a(1,442)
a(1,443)
a(1,444)
a(1,445)
a(1,446)
a(1,448)
a(1,449)
a(1,450)
a(1,451)
a(1,452)
a(1,453)
a(1,454)
a(1,455)
a(1,457)
a(1,458)
a(1,459)
a(1,460)
a(1,461)
a(1,462)
a(1,465)
a(1,467)
a(1,468)
a(1,469)
a(1,470)
a(1,471)
a(1,472)
a(1,473)
a(1,474)
a(1,475)
a(1,476)
a(1,477)
a(1,478)
a(1,479)
a(1,480)
a(1,481)
a(1,482)
a(1,483)
a(1,484)
a(1,486)
a(1,487)
a(1,488)
a(1,489)
a(1,490)
a(1,491)
a(1,492)
a(1,494)
a(1,495)
a(1,497)
a(1,498)
a(1,499)
a(1,500)
a(1,501)
a(1,502)
a(1,503)
a(1,504)
a(1,505)
a(1,506)
a(1,507)
a(1,508)
a(1,510)
a(1,511)
a(1,512)
a(1,513)
a(1,514)
a(1,515)
a(1,516)
a(1,517)
a(1,518)
a(1,519)
a(1,520)
a(1,522)
a(1,523)
a(1,524)
a(1,525)
a(1,526)
a(1,527)
a(1,528)
a(1,529)
a(1,53)
a(1,530)
a(1,531)
a(1,533)
a(1,534)
a(1,535)
a(1,536)
a(1,537)
a(1,538)
a(1,539)
a(1,540)
a(1,541)
a(1,542)
a(1,543)
a(1,544)
a(1,546)
a(1,547)
a(1,549)
a(1,550)
a(1,551)
a(1,553)
a(1,554)
a(1,555)
a(1,556)
a(1,558)
a(1,561)
a(1,564)
a(1,565)
a(1,566)
a(1,567)
a(1,569)
a(1,57)
a(1,570)
a(1,571)
a(1,572)
a(1,573)
a(1,574)
a(1,575)
a(1,576)
a(1,58)
a(1,70)
a(1,79)
a(1,80)
a(1,83)
a(1,90)
a(1,93)
a(1,94)
