problems(16, [612374508]). 
problems(16, [460573182]). 
problems(16, [412735806]). 
problems(16, [012345867]). 
problems(16, [245831706]). 
problems(16, [034162785]). 
problems(16, [428305761]). 
problems(16, [438051762]). 
problems(16, [015238674]). 
problems(16, [026431578]). 
problems(16, [031482576]). 
problems(16, [461352870]). 
problems(16, [470238651]). 
problems(16, [032461785]). 
problems(16, [632170485]). 
problems(16, [427503861]). 
problems(16, [460287315]). 
problems(16, [610378245]). 
problems(16, [418356207]). 
problems(16, [426508371]). 
problems(16, [625314078]). 
problems(16, [423568071]). 
problems(16, [612437508]). 
problems(16, [451708362]). 
problems(16, [015264837]). 
problems(16, [471356208]). 
problems(16, [052314867]). 
problems(16, [458012736]). 
problems(16, [426530871]). 
problems(16, [604158237]). 
problems(16, [473052816]). 
problems(16, [605137284]). 
problems(16, [043162758]). 
problems(16, [012654837]). 
problems(16, [452801763]). 
problems(16, [620571348]). 
problems(16, [012843567]). 
problems(16, [460257813]). 
problems(16, [473056218]). 
problems(16, [465072831]). 
problems(16, [061273845]). 
problems(16, [043176582]). 
problems(16, [042378165]). 
problems(16, [034278165]). 
problems(16, [016278345]). 
problems(16, [617504238]). 
problems(16, [012587643]). 
problems(16, [602518374]). 
problems(16, [601528473]). 
problems(16, [063217584]). 
problems(16, [063412875]). 
problems(16, [432578610]). 
problems(16, [032567184]). 
problems(16, [031567482]). 
problems(16, [604512837]). 
problems(16, [205314867]). 
problems(16, [641280735]). 
problems(16, [615802347]). 
problems(16, [812305467]). 
problems(16, [608234517]). 
problems(16, [604187352]). 
problems(16, [053261874]). 
problems(16, [013568472]). 
problems(16, [065143278]). 
problems(16, [803241567]). 
problems(16, [804123576]). 
problems(16, [654027138]). 
problems(16, [062543178]). 
problems(16, [615347208]). 
problems(16, [804362175]). 
problems(16, [270134685]). 
problems(16, [047215368]). 
problems(16, [034265817]). 
problems(16, [246031578]). 
problems(16, [037125846]). 
problems(16, [602817543]). 
problems(16, [204186573]). 
problems(16, [014752836]). 
problems(16, [615372840]). 
problems(16, [053462871]). 
problems(16, [035721468]). 
problems(16, [031547862]). 
problems(16, [631540872]). 
problems(16, [472513860]). 
problems(16, [038264517]). 
problems(16, [073461285]). 
problems(16, [813246075]). 
problems(16, [042831567]). 
problems(16, [063187245]). 
problems(16, [083261475]). 
problems(16, [043567182]). 
problems(16, [264013578]). 
problems(16, [014756238]). 
problems(16, [605813247]). 
problems(16, [207156438]). 
problems(16, [253106847]). 
problems(16, [618502743]). 
problems(16, [018534762]). 
problems(16, [056412873]). 
problems(16, [045372816]). 
problems(16, [053472816]). 
problems(16, [260135847]). 
problems(16, [814052736]). 
problems(16, [018462753]). 
problems(16, [615248730]). 
problems(16, [018732564]). 
problems(16, [831260457]). 
problems(16, [074218536]). 
problems(16, [648130275]). 
problems(16, [801563427]). 
problems(16, [032864715]). 
problems(16, [047218563]). 
problems(16, [038542167]). 
problems(16, [048137265]). 
problems(16, [213805467]). 
problems(16, [240537168]). 
problems(16, [073526148]). 
problems(16, [045376218]). 
problems(16, [027518634]). 
problems(16, [053476218]). 
problems(16, [431062785]). 
problems(16, [806172543]). 
problems(16, [270461538]). 
problems(16, [431072586]). 
problems(16, [450231678]). 
problems(16, [270436185]). 
problems(16, [647058132]). 
problems(16, [246038175]). 
problems(16, [405162387]). 
problems(16, [270148635]). 
problems(16, [863024175]). 
problems(16, [840157632]). 
problems(16, [210548763]). 
problems(16, [047258613]). 
problems(16, [810527436]). 
problems(16, [250481736]). 
problems(16, [062518473]). 
problems(16, [831240756]). 
problems(16, [652810437]). 
problems(16, [805642137]). 
problems(16, [612834750]). 
problems(16, [823460517]). 
problems(16, [648015237]). 
problems(16, [084135267]). 
problems(16, [642815037]). 
problems(16, [206573418]). 
problems(16, [241760385]). 
problems(16, [413207856]). 
problems(16, [205763418]). 
problems(16, [830267514]). 
problems(16, [852106734]). 
problems(16, [421503876]). 
problems(16, [430251876]). 
problems(16, [235416708]). 
problems(16, [405217368]). 
problems(16, [230587164]). 
problems(16, [802456731]). 
problems(16, [403276581]). 
problems(16, [401763582]). 
problems(16, [462053178]). 
problems(16, [407261538]). 
problems(16, [835067142]). 
problems(16, [823415706]). 
problems(16, [841235706]). 
problems(16, [634275810]). 
problems(16, [672513804]). 
problems(16, [241560783]). 
problems(16, [837142506]). 
problems(16, [470312568]). 
problems(16, [432508167]). 
problems(16, [815267403]). 
problems(16, [873204516]). 
problems(16, [470213586]). 
problems(16, [231578640]). 
problems(16, [430168725]). 
problems(16, [260573481]). 
problems(16, [401863275]). 
problems(16, [405712638]). 
problems(16, [412608573]). 
problems(16, [403176852]). 
problems(16, [832476015]). 
problems(16, [263571048]). 
problems(16, [416038275]). 
problems(16, [247153806]). 
problems(16, [431285067]). 
problems(16, [860275134]). 
problems(16, [431087265]). 
problems(16, [430187256]). 
problems(16, [243168750]). 
problems(16, [243560871]). 
problems(16, [825710634]). 
problems(16, [412730865]). 
problems(16, [260571843]). 
problems(16, [421507863]). 
problems(16, [401586237]). 
problems(16, [271536408]). 
problems(16, [278401536]). 
problems(16, [453061872]). 
problems(16, [475103268]). 
problems(16, [432761085]). 
problems(16, [461370285]). 
problems(16, [278106534]). 
problems(16, [406175832]). 
problems(16, [863172540]). 
problems(16, [860521743]). 
problems(16, [280531764]). 
problems(16, [863045217]). 
problems(16, [406238751]). 
problems(16, [430781265]). 
problems(16, [430581762]). 
problems(16, [246175830]). 
problems(16, [012364857]). 
problems(16, [428310765]). 
problems(16, [402763851]). 
problems(16, [012465378]). 
problems(16, [426503817]). 
problems(16, [471038265]). 
problems(16, [432507861]). 
problems(16, [031524678]). 
problems(16, [402857163]). 
problems(16, [465302871]). 
problems(16, [627104538]). 
problems(16, [427563108]). 
problems(16, [450712836]). 
problems(16, [012435876]). 
problems(16, [470138256]). 
problems(16, [642071538]). 
problems(16, [615208374]). 
problems(16, [438217506]). 
problems(16, [016237584]). 
problems(16, [630258174]). 
problems(16, [418237560]). 
problems(16, [432870615]). 
problems(16, [203146578]). 
problems(16, [630281745]). 
problems(16, [417806235]). 
problems(16, [605427138]). 
problems(16, [480176235]). 
problems(16, [204183675]). 
problems(16, [603571248]). 
problems(16, [438025761]). 
problems(16, [276514803]). 
problems(16, [651032874]). 
problems(16, [612435807]). 
problems(16, [031574268]). 
problems(16, [415732860]). 
problems(16, [263574810]). 
problems(16, [041273856]). 
problems(16, [602571384]). 
problems(16, [625031874]). 
problems(16, [483160257]). 
problems(16, [612730485]). 
problems(16, [631075284]). 
problems(16, [438056217]). 
problems(16, [418705236]). 
problems(16, [605243817]). 
problems(16, [427536018]). 
problems(16, [607135248]). 
problems(16, [471526308]). 
problems(16, [425816307]). 
problems(16, [640135782]). 
problems(16, [612534708]). 
problems(16, [240361578]). 
problems(16, [203461785]). 
problems(16, [634072581]). 
problems(16, [203471586]). 
problems(16, [643271508]). 
problems(16, [063247185]). 
problems(16, [210368574]). 
problems(16, [214603578]). 
problems(16, [814203576]). 
problems(16, [653108472]). 
problems(16, [043287165]). 
problems(16, [427530816]). 
problems(16, [621530874]). 
problems(16, [601527843]). 
problems(16, [021537864]). 
problems(16, [062351874]). 
problems(16, [045218673]). 
problems(16, [048132567]). 
problems(16, [016534872]). 
problems(16, [071432865]). 
problems(16, [032851674]). 
problems(16, [231506478]). 
problems(16, [028413765]). 
problems(16, [627501438]). 
problems(16, [043268517]). 
problems(16, [038216547]). 
problems(16, [071238465]). 
problems(16, [012786435]). 
problems(16, [073216485]). 
problems(16, [630548172]). 
problems(16, [410273568]). 
problems(16, [207163845]). 
problems(16, [230486175]). 
problems(16, [045368172]). 
problems(16, [401273658]). 
problems(16, [206451837]). 
problems(16, [217504368]). 
problems(16, [241035867]). 
problems(16, [830125467]). 
problems(16, [024571836]). 
problems(16, [024561873]). 
problems(16, [641270853]). 
problems(16, [034751268]). 
problems(16, [612807453]). 
problems(16, [072513468]). 
problems(16, [025831467]). 
problems(16, [640832157]). 
problems(16, [024835167]). 
problems(16, [670135284]). 
problems(16, [630825174]). 
problems(16, [012865473]). 
problems(16, [032816745]). 
problems(16, [832071465]). 
problems(16, [684102735]). 
problems(16, [802457136]). 
problems(16, [830271564]). 
problems(16, [612784503]). 
problems(16, [215604837]). 
problems(16, [841306275]). 
problems(16, [832065147]). 
problems(16, [618453207]). 
problems(16, [814207563]). 
problems(16, [825106437]). 
problems(16, [671453208]). 
problems(16, [402317568]). 
problems(16, [643187205]). 
problems(16, [412703685]). 
problems(16, [815407632]). 
problems(16, [024715836]). 
problems(16, [201847536]). 
problems(16, [201586473]). 
problems(16, [241508376]). 
problems(16, [071534862]). 
problems(16, [065421873]). 
problems(16, [253140867]). 
problems(16, [820561347]). 
problems(16, [841230765]). 
problems(16, [843210567]). 
problems(16, [063178254]). 
problems(16, [206531847]). 
problems(16, [047253816]). 
problems(16, [615843207]). 
problems(16, [850213746]). 
problems(16, [813524067]). 
problems(16, [238061475]). 
problems(16, [065372841]). 
problems(16, [431082567]). 
problems(16, [413270586]). 
problems(16, [263071845]). 
problems(16, [035872641]). 
problems(16, [254703168]). 
problems(16, [804563172]). 
problems(16, [403176528]). 
problems(16, [830476125]). 
problems(16, [263074518]). 
problems(16, [412357068]). 
problems(16, [421507638]). 
problems(16, [235168074]). 
problems(16, [273056148]). 
problems(16, [642508713]). 
problems(16, [801527463]). 
problems(16, [640538712]). 
problems(16, [801645237]). 
problems(16, [025816743]). 
problems(16, [256031874]). 
problems(16, [231465870]). 
problems(16, [450123867]). 
problems(16, [802476351]). 
problems(16, [802476513]). 
problems(16, [608745132]). 
problems(16, [215706834]). 
problems(16, [806145732]). 
problems(16, [825416037]). 
problems(16, [427305168]). 
problems(16, [430258671]). 
problems(16, [435260178]). 
problems(16, [406138572]). 
problems(16, [461253078]). 
problems(16, [806475132]). 
problems(16, [401538267]). 
problems(16, [853210764]). 
problems(16, [804563217]). 
problems(16, [215830746]). 
problems(16, [817245603]). 
problems(16, [416052873]). 
problems(16, [860273451]). 
problems(16, [437120568]). 
problems(16, [204875631]). 
problems(16, [235861047]). 
problems(16, [425160837]). 
problems(16, [430582167]). 
problems(16, [430167852]). 
problems(16, [463025178]). 
problems(16, [470182635]). 
problems(16, [473062185]). 
problems(16, [415368072]). 
problems(16, [824517603]). 
problems(16, [271534806]). 
problems(16, [231847560]). 
problems(16, [830567412]). 
problems(16, [825713406]). 
problems(16, [601245378]). 
problems(16, [816705234]). 
problems(16, [642301578]). 
problems(16, [601372845]). 
problems(16, [412763580]). 
problems(16, [041263587]). 
problems(16, [612308574]). 
problems(16, [418236507]). 
problems(16, [463217508]). 
problems(16, [460238571]). 
problems(16, [847162503]). 
problems(16, [204865713]). 
problems(16, [834520761]). 
problems(16, [832516740]). 
problems(16, [621305874]). 
problems(16, [402587613]). 
problems(16, [412587306]). 
problems(16, [630172458]). 
problems(16, [275430861]). 
problems(16, [418360257]). 
problems(16, [423560781]). 
problems(16, [601285347]). 
problems(16, [601248573]). 
problems(16, [412856307]). 
problems(16, [412836705]). 
problems(16, [637102548]). 
problems(16, [640173582]). 
problems(16, [642308175]). 
problems(16, [408521736]). 
problems(16, [421538760]). 
problems(16, [430725861]). 
problems(16, [401865723]). 
problems(16, [402836751]). 
problems(16, [601532784]). 
problems(16, [604137258]). 
problems(16, [460523817]). 
problems(16, [210365478]). 
problems(16, [470258613]). 
problems(16, [043182576]). 
problems(16, [640281537]). 
problems(16, [640275138]). 
problems(16, [605147382]). 
problems(16, [625431078]). 
problems(16, [654032178]). 
problems(16, [485106237]). 
problems(16, [603175842]). 
problems(16, [630254871]). 
problems(16, [812307645]). 
problems(16, [027315468]). 
problems(16, [475218603]). 
problems(16, [024731568]). 
problems(16, [230158674]). 
problems(16, [643182507]). 
problems(16, [014278356]). 
problems(16, [641502837]). 
problems(16, [034167258]). 
problems(16, [036145278]). 
problems(16, [045127368]). 
problems(16, [012736845]). 
problems(16, [032716548]). 
problems(16, [476205831]). 
problems(16, [204361875]). 
problems(16, [045163872]). 
problems(16, [241308567]). 
problems(16, [801462537]). 
problems(16, [625803147]). 
problems(16, [201378564]). 
problems(16, [831206547]). 
problems(16, [641278035]). 
problems(16, [618502437]). 
problems(16, [023517846]). 
problems(16, [620518473]). 
problems(16, [043128756]). 
problems(16, [032587146]). 
problems(16, [615238704]). 
problems(16, [830152476]). 
problems(16, [035187246]). 
problems(16, [812405376]). 
problems(16, [830241576]). 
problems(16, [213065874]). 
problems(16, [065123874]). 
problems(16, [647031285]). 
problems(16, [026571438]). 
problems(16, [214530678]). 
problems(16, [671502438]). 
problems(16, [064173258]). 
problems(16, [071436285]). 
problems(16, [036175284]). 
problems(16, [028416537]). 
problems(16, [250137468]). 
problems(16, [670523148]). 
problems(16, [654217038]). 
problems(16, [615803274]). 
problems(16, [680213745]). 
problems(16, [236071548]). 
problems(16, [840172635]). 
problems(16, [608473152]). 
problems(16, [813462075]). 
problems(16, [852304167]). 
problems(16, [402138675]). 
problems(16, [214376508]). 
problems(16, [215803647]). 
problems(16, [608215743]). 
problems(16, [208137546]). 
problems(16, [805127643]). 
problems(16, [253108746]). 
problems(16, [064352871]). 
problems(16, [041538762]). 
problems(16, [045712368]). 
problems(16, [042716583]). 
problems(16, [615740238]). 
problems(16, [264130578]). 
problems(16, [801564372]). 
problems(16, [651804732]). 
problems(16, [831265047]). 
problems(16, [824160375]). 
problems(16, [806154237]). 
problems(16, [815207364]). 
problems(16, [851206437]). 
problems(16, [803165742]). 
problems(16, [402157368]). 
problems(16, [203465871]). 
problems(16, [640578132]). 
problems(16, [426301578]). 
problems(16, [236078145]). 
problems(16, [243178605]). 
problems(16, [803561247]). 
problems(16, [205631874]). 
problems(16, [207431856]). 
problems(16, [402315867]). 
problems(16, [623571840]). 
problems(16, [034851762]). 
problems(16, [420135867]). 
problems(16, [802734156]). 
problems(16, [618507234]). 
problems(16, [840317265]). 
problems(16, [824501367]). 
problems(16, [205716438]). 
problems(16, [823471506]). 
problems(16, [413082765]). 
problems(16, [430167528]). 
problems(16, [238056147]). 
problems(16, [257036148]). 
problems(16, [853107462]). 
problems(16, [817502436]). 
problems(16, [815602743]). 
problems(16, [845107236]). 
problems(16, [213587406]). 
problems(16, [024568713]). 
problems(16, [410285736]). 
problems(16, [045821736]). 
problems(16, [082513764]). 
problems(16, [028516734]). 
problems(16, [802536417]). 
problems(16, [241807563]). 
problems(16, [213567480]). 
problems(16, [401732865]). 
problems(16, [805712643]). 
problems(16, [235741068]). 
problems(16, [831560472]). 
problems(16, [432501768]). 
problems(16, [415230786]). 
problems(16, [830562471]). 
problems(16, [431067258]). 
problems(16, [817405236]). 
problems(16, [450127368]). 
problems(16, [815703264]). 
problems(16, [830465271]). 
problems(16, [830547162]). 
problems(16, [450213876]). 
problems(16, [230578614]). 
problems(16, [815704236]). 
problems(16, [406182735]). 
problems(16, [406182573]). 
problems(16, [412673508]). 
problems(16, [837064152]). 
problems(16, [645712803]). 
problems(16, [231546870]). 
problems(16, [260537418]). 
problems(16, [812760354]). 
problems(16, [437025168]). 
problems(16, [620413578]). 
problems(16, [453071268]). 
problems(16, [473021568]). 
problems(16, [463021875]). 
problems(16, [435170268]). 
problems(16, [407251836]). 
problems(16, [402681735]). 
problems(16, [602341587]). 
problems(16, [602137548]). 
problems(16, [415270836]). 
problems(16, [604213578]). 
problems(16, [451260837]). 
problems(16, [248506137]). 
problems(16, [408136275]). 
problems(16, [275416038]). 
problems(16, [412736508]). 
problems(16, [453217068]). 
problems(16, [417056238]). 
problems(16, [421563807]). 
problems(16, [827416305]). 
problems(16, [463207581]). 
problems(16, [407185632]). 
problems(16, [824510763]). 
problems(16, [401765283]). 
problems(16, [402837156]). 
problems(16, [450217863]). 
problems(16, [823561740]). 
problems(16, [013462785]). 
problems(16, [631072485]). 
problems(16, [013472586]). 
problems(16, [451263870]). 
problems(16, [024361578]). 
problems(16, [460187235]). 
problems(16, [461078235]). 
problems(16, [431568072]). 
problems(16, [420538716]). 
problems(16, [430518726]). 
problems(16, [280516734]). 
problems(16, [473501268]). 
problems(16, [470162853]). 
problems(16, [431870265]). 
problems(16, [438061257]). 
problems(16, [402876153]). 
problems(16, [470253816]). 
problems(16, [432816507]). 
problems(16, [415807236]). 
problems(16, [418267503]). 
problems(16, [016284537]). 
problems(16, [473162580]). 
problems(16, [062173548]). 
problems(16, [623470185]). 
problems(16, [643072185]). 
problems(16, [062354178]). 
problems(16, [428706135]). 
problems(16, [016452837]). 
problems(16, [064312578]). 
problems(16, [631025874]). 
problems(16, [457312806]). 
problems(16, [016258437]). 
problems(16, [043258167]). 
problems(16, [640182573]). 
problems(16, [450821736]). 
problems(16, [670132485]). 
problems(16, [625108473]). 
problems(16, [402765813]). 
problems(16, [201364857]). 
problems(16, [605431872]). 
problems(16, [610542837]). 
problems(16, [016437285]). 
problems(16, [031486275]). 
problems(16, [613572048]). 
problems(16, [476230518]). 
problems(16, [052437168]). 
problems(16, [457316208]). 
problems(16, [017426538]). 
problems(16, [614257308]). 
problems(16, [013487265]). 
problems(16, [045217638]). 
problems(16, [014378265]). 
problems(16, [630248571]). 
problems(16, [437086215]). 
problems(16, [064273185]). 
problems(16, [052138746]). 
problems(16, [463520871]). 
problems(16, [620534871]). 
problems(16, [432851760]). 
problems(16, [201543768]). 
problems(16, [630248715]). 
problems(16, [243061587]). 
problems(16, [812307564]). 
problems(16, [231076584]). 
problems(16, [056173248]). 
problems(16, [043762185]). 
problems(16, [613478205]). 
problems(16, [032678145]). 
problems(16, [061278435]). 
problems(16, [064238175]). 
problems(16, [230167845]). 
problems(16, [063428175]). 
problems(16, [201583674]). 
problems(16, [413207685]). 
problems(16, [640128753]). 
problems(16, [014527836]). 
problems(16, [031825467]). 
problems(16, [460528713]). 
problems(16, [638041275]). 
problems(16, [824031567]). 
problems(16, [801256473]). 
problems(16, [472518630]). 
problems(16, [801275346]). 
problems(16, [230546178]). 
problems(16, [061274853]). 
problems(16, [204183756]). 
problems(16, [035824167]). 
problems(16, [653147208]). 
problems(16, [801426735]). 
problems(16, [817203564]). 
problems(16, [861203574]). 
problems(16, [218403765]). 
problems(16, [037564182]). 
problems(16, [256034178]). 
problems(16, [617483205]). 
problems(16, [215463708]). 
problems(16, [813247605]). 
problems(16, [806245137]). 
problems(16, [038125764]). 
problems(16, [037265841]). 
problems(16, [820145736]). 
problems(16, [043821765]). 
problems(16, [061248753]). 
problems(16, [201857634]). 
problems(16, [054218763]). 
problems(16, [812704563]). 
problems(16, [801563742]). 
problems(16, [472560813]). 
problems(16, [205761348]). 
problems(16, [051832746]). 
problems(16, [432016578]). 
problems(16, [025741836]). 
problems(16, [403156278]). 
problems(16, [234076518]). 
problems(16, [816240375]). 
problems(16, [805146372]). 
problems(16, [241570638]). 
problems(16, [063287415]). 
problems(16, [801532746]). 
problems(16, [673140258]). 
problems(16, [803265471]). 
problems(16, [805174236]). 
problems(16, [806235174]). 
problems(16, [205647138]). 
problems(16, [230465781]). 
problems(16, [231584067]). 
problems(16, [802753146]). 
problems(16, [804167325]). 
problems(16, [830156742]). 
problems(16, [832406517]). 
problems(16, [618245703]). 
problems(16, [850312764]). 
problems(16, [205714836]). 
problems(16, [624571803]). 
problems(16, [207145863]). 
problems(16, [801754236]). 
problems(16, [654217803]). 
problems(16, [815240736]). 
problems(16, [645713208]). 
problems(16, [831542067]). 
problems(16, [043568271]). 
problems(16, [231546708]). 
problems(16, [802564317]). 
problems(16, [246701538]). 
problems(16, [416205738]). 
problems(16, [460321578]). 
problems(16, [274108536]). 
problems(16, [451063278]). 
problems(16, [402637185]). 
problems(16, [870432165]). 
problems(16, [263470158]). 
problems(16, [216708534]). 
problems(16, [416207358]). 
problems(16, [425037168]). 
problems(16, [245803167]). 
problems(16, [207465381]). 
problems(16, [412803576]). 
problems(16, [401358762]). 
problems(16, [430257618]). 
problems(16, [243186705]). 
problems(16, [863105472]). 
problems(16, [048512736]). 
problems(16, [813520764]). 
problems(16, [804516237]). 
problems(16, [251807436]). 
problems(16, [270165843]). 
problems(16, [401823765]). 
problems(16, [812537640]). 
problems(16, [412605837]). 
problems(16, [245730168]). 
problems(16, [451230768]). 
problems(16, [401562783]). 
problems(16, [401736285]). 
problems(16, [865013247]). 
problems(16, [218507364]). 
problems(16, [805437261]). 
problems(16, [812567043]). 
problems(16, [401285763]). 
problems(16, [863017245]). 
problems(16, [408152673]). 
problems(16, [460182537]). 
problems(16, [235468170]). 
problems(16, [415360782]). 
problems(16, [246708135]). 
problems(16, [463107285]). 
problems(16, [847305162]). 
problems(16, [672541803]). 
problems(16, [241806753]). 
problems(16, [824516307]). 
problems(16, [401825367]). 
problems(16, [257413806]). 
problems(16, [215847603]). 
problems(16, [853162740]). 
problems(16, [815742603]). 
problems(16, [403562871]). 
problems(16, [235760481]). 
problems(16, [427501368]). 
problems(16, [470163258]). 
problems(16, [601238547]). 
problems(16, [416507238]). 
problems(16, [408126735]). 
problems(16, [402758136]). 
problems(16, [863170452]). 
problems(16, [872416035]). 
problems(16, [415708632]). 
problems(16, [418702635]). 
problems(16, [408365172]). 
problems(16, [406278531]). 
problems(16, [476201538]). 
problems(16, [402817653]). 
problems(16, [241568730]). 
problems(16, [402871356]). 
problems(16, [425037816]). 
problems(16, [412570863]). 
problems(16, [430851267]). 
problems(16, [461520378]). 
problems(16, [805762413]). 
problems(16, [423807561]). 
problems(16, [634102875]). 
problems(16, [014362875]). 
problems(16, [602381574]). 
problems(16, [013276584]). 
problems(16, [051263478]). 
problems(16, [016234785]). 
problems(16, [473105862]). 
problems(16, [415763208]). 
problems(16, [457308162]). 
problems(16, [276145803]). 
problems(16, [430852761]). 
problems(16, [012573486]). 
problems(16, [275416803]). 
problems(16, [012537684]). 
problems(16, [472531068]). 
problems(16, [650314278]). 
problems(16, [613524078]). 
problems(16, [201463875]). 
problems(16, [428703561]). 
problems(16, [071263548]). 
problems(16, [203164875]). 
problems(16, [016732548]). 
problems(16, [610528437]). 
problems(16, [631520478]). 
problems(16, [614802537]). 
problems(16, [623405871]). 
problems(16, [602375841]). 
problems(16, [625108734]). 
problems(16, [463172850]). 
problems(16, [034281765]). 
problems(16, [472810635]). 
problems(16, [205136478]). 
problems(16, [015436872]). 
problems(16, [018243765]). 
problems(16, [602473851]). 
problems(16, [012863745]). 
problems(16, [025461837]). 
problems(16, [240136578]). 
problems(16, [038124567]). 
problems(16, [017254836]). 
problems(16, [614078235]). 
problems(16, [803265147]). 
problems(16, [438215760]). 
problems(16, [016238754]). 
problems(16, [023814765]). 
problems(16, [012567834]). 
problems(16, [043721568]). 
problems(16, [041285736]). 
problems(16, [612705834]). 
problems(16, [473215860]). 
problems(16, [034561278]). 
problems(16, [614705238]). 
problems(16, [015642837]). 
problems(16, [015437826]). 
problems(16, [612570483]). 
problems(16, [612830574]). 
problems(16, [801235476]). 
problems(16, [460572813]). 
problems(16, [053148267]). 
problems(16, [024716538]). 
problems(16, [046213857]). 
problems(16, [017436258]). 
problems(16, [054216738]). 
problems(16, [602817435]). 
problems(16, [031728465]). 
problems(16, [207145638]). 
problems(16, [230481576]). 
problems(16, [605834172]). 
problems(16, [813062745]). 
problems(16, [231470586]). 
problems(16, [017563482]). 
problems(16, [017463852]). 
problems(16, [230186574]). 
problems(16, [063281745]). 
problems(16, [645038172]). 
problems(16, [231078465]). 
problems(16, [673214508]). 
problems(16, [063275184]). 
problems(16, [213078564]). 
problems(16, [804127635]). 
problems(16, [801274653]). 
problems(16, [674203518]). 
problems(16, [265304178]). 
problems(16, [048312765]). 
problems(16, [053418762]). 
problems(16, [602715843]). 
problems(16, [042518376]). 
problems(16, [602854731]). 
problems(16, [230178456]). 
problems(16, [803251764]). 
problems(16, [642830175]). 
problems(16, [201738546]). 
problems(16, [048231765]). 
problems(16, [025861347]). 
problems(16, [061572384]). 
problems(16, [670251834]). 
problems(16, [073218564]). 
problems(16, [602875143]). 
problems(16, [043728165]). 
problems(16, [804217365]). 
problems(16, [602587431]). 
problems(16, [248103567]). 
problems(16, [670284531]). 
problems(16, [217360584]). 
problems(16, [430217685]). 
problems(16, [207463518]). 
problems(16, [208164573]). 
problems(16, [265043178]). 
problems(16, [806173245]). 
problems(16, [402365187]). 
problems(16, [234087165]). 
problems(16, [806152734]). 
problems(16, [852107436]). 
problems(16, [274031568]). 
problems(16, [430128567]). 
problems(16, [830471526]). 
problems(16, [401723568]). 
problems(16, [863012547]). 
problems(16, [830451762]). 
problems(16, [642518307]). 
problems(16, [647205831]). 
problems(16, [802467153]). 
problems(16, [230468715]). 
problems(16, [605834217]). 
problems(16, [638015274]). 
problems(16, [632815074]). 
problems(16, [814702365]). 
problems(16, [231760584]). 
problems(16, [812607543]). 
problems(16, [235064817]). 
problems(16, [813562047]). 
problems(16, [815603247]). 
problems(16, [832075164]). 
problems(16, [823416507]). 
problems(16, [807126435]). 
problems(16, [802467315]). 
problems(16, [841236507]). 
problems(16, [270138465]). 
problems(16, [832165074]). 
problems(16, [463102587]). 
problems(16, [807215436]). 
problems(16, [402138756]). 
problems(16, [850412736]). 
problems(16, [430125876]). 
problems(16, [063528471]). 
problems(16, [802751364]). 
problems(16, [037542861]). 
problems(16, [401536278]). 
problems(16, [802543761]). 
problems(16, [402516378]). 
problems(16, [035864217]). 
problems(16, [241830567]). 
problems(16, [401532876]). 
problems(16, [605748231]). 
problems(16, [260517348]). 
problems(16, [218507643]). 
problems(16, [256401873]). 
problems(16, [460132785]). 
problems(16, [402671385]). 
problems(16, [258104736]). 
problems(16, [257430168]). 
problems(16, [406173258]). 
problems(16, [860271543]). 
problems(16, [238065174]). 
problems(16, [283405167]). 
problems(16, [205678134]). 
problems(16, [208437561]). 
problems(16, [843165072]). 
problems(16, [843075162]). 
problems(16, [416372508]). 
problems(16, [204538716]). 
problems(16, [206538741]). 
problems(16, [450218367]). 
problems(16, [815432760]). 
problems(16, [830465712]). 
problems(16, [430265718]). 
problems(16, [402761358]). 
problems(16, [254317806]). 
problems(16, [420561837]). 
problems(16, [873210465]). 
problems(16, [217543806]). 
problems(16, [401728365]). 
problems(16, [460215387]). 
problems(16, [610372548]). 
problems(16, [473205168]). 
problems(16, [612073548]). 
problems(16, [435061782]). 
problems(16, [612403785]). 
problems(16, [405187362]). 
problems(16, [076245813]). 
problems(16, [645820731]). 
problems(16, [215840763]). 
problems(16, [870136254]). 
problems(16, [832715064]). 
problems(16, [437215068]). 
problems(16, [278105436]). 
problems(16, [603142875]). 
problems(16, [412568307]). 
problems(16, [630241587]). 
problems(16, [610254837]). 
problems(16, [401865372]). 
problems(16, [412576083]). 
problems(16, [460281357]). 
problems(16, [460158237]). 
problems(16, [613204857]). 
problems(16, [413257860]). 
problems(16, [463075182]). 
problems(16, [456108372]). 
problems(16, [437218605]). 
problems(16, [453168072]). 
problems(16, [402578316]). 
problems(16, [254813706]). 
problems(16, [473015268]). 
problems(16, [601523748]). 
problems(16, [430567218]). 
problems(16, [017234586]). 
problems(16, [601482735]). 
problems(16, [463072815]). 
problems(16, [651403278]). 
problems(16, [471503862]). 
problems(16, [612703584]). 
problems(16, [456170238]). 
problems(16, [012763548]). 
problems(16, [437028561]). 
problems(16, [472513608]). 
problems(16, [430785162]). 
problems(16, [863274510]). 
problems(16, [234815760]). 
problems(16, [642105837]). 
problems(16, [407581236]). 
problems(16, [412576830]). 
problems(16, [602371854]). 
problems(16, [042318567]). 
problems(16, [013467258]). 
problems(16, [634051278]). 
problems(16, [051236748]). 
problems(16, [612473580]). 
problems(16, [408752631]). 
problems(16, [017463528]). 
problems(16, [603278541]). 
problems(16, [607238145]). 
problems(16, [032487165]). 
problems(16, [632178045]). 
problems(16, [608134572]). 
problems(16, [605183742]). 
problems(16, [032514876]). 
problems(16, [607152834]). 
problems(16, [015268734]). 
problems(16, [213075468]). 
problems(16, [203175486]). 
problems(16, [457132860]). 
problems(16, [014563872]). 
problems(16, [482503761]). 
problems(16, [204136875]). 
problems(16, [205143867]). 
problems(16, [607134852]). 
problems(16, [437518062]). 
problems(16, [652107834]). 
problems(16, [031475862]). 
problems(16, [802413576]). 
problems(16, [651243807]). 
problems(16, [236401578]). 
problems(16, [037264581]). 
problems(16, [207164385]). 
problems(16, [607142853]). 
problems(16, [607125843]). 
problems(16, [462518370]). 
problems(16, [423568710]). 
problems(16, [604175823]). 
problems(16, [482710536]). 
problems(16, [015832476]). 
problems(16, [051734268]). 
problems(16, [031576284]). 
problems(16, [031862457]). 
problems(16, [605237814]). 
problems(16, [061523847]). 
problems(16, [063512478]). 
problems(16, [638214507]). 
problems(16, [617432580]). 
problems(16, [815402367]). 
problems(16, [812504673]). 
problems(16, [250461378]). 
problems(16, [802634175]). 
problems(16, [253061478]). 
problems(16, [245103876]). 
problems(16, [236140578]). 
problems(16, [215347068]). 
problems(16, [654108732]). 
problems(16, [073248165]). 
problems(16, [830452167]). 
problems(16, [817402635]). 
problems(16, [805214736]). 
problems(16, [648012735]). 
problems(16, [615428703]). 
problems(16, [063258417]). 
problems(16, [230751468]). 
problems(16, [043285761]). 
problems(16, [035428761]). 
problems(16, [023568741]). 
problems(16, [031825746]). 
problems(16, [012836754]). 
problems(16, [053248761]). 
problems(16, [245013867]). 
problems(16, [802361754]). 
problems(16, [614805732]). 
problems(16, [034562871]). 
problems(16, [462573810]). 
problems(16, [084213765]). 
problems(16, [032567841]). 
problems(16, [642573018]). 
problems(16, [083241765]). 
problems(16, [043862157]). 
problems(16, [048217365]). 
problems(16, [235016847]). 
problems(16, [625814037]). 
problems(16, [615708234]). 
problems(16, [063185274]). 
problems(16, [083217465]). 
problems(16, [802417563]). 
problems(16, [672513048]). 
problems(16, [081246735]). 
problems(16, [673018245]). 
problems(16, [208461375]). 
problems(16, [416032578]). 
problems(16, [205487136]). 
problems(16, [215804673]). 
problems(16, [842360175]). 
problems(16, [430256178]). 
problems(16, [260184735]). 
problems(16, [234178065]). 
problems(16, [860423175]). 
problems(16, [418203675]). 
problems(16, [045612873]). 
problems(16, [026518743]). 
problems(16, [042817563]). 
problems(16, [062543817]). 
problems(16, [045813267]). 
problems(16, [235081764]). 
problems(16, [850217643]). 
problems(16, [632578140]). 
problems(16, [215704863]). 
problems(16, [230861745]). 
problems(16, [260175483]). 
problems(16, [860142735]). 
problems(16, [415023867]). 
problems(16, [412350867]). 
problems(16, [816430275]). 
problems(16, [217530684]). 
problems(16, [401256783]). 
problems(16, [430156287]). 
problems(16, [203568471]). 
problems(16, [235146807]). 
problems(16, [206538174]). 
problems(16, [831275064]). 
problems(16, [241563708]). 
problems(16, [241706835]). 
problems(16, [420156837]). 
problems(16, [273460185]). 
problems(16, [263178045]). 
problems(16, [245376108]). 
problems(16, [032845716]). 
problems(16, [853021764]). 
problems(16, [635820471]). 
problems(16, [632870451]). 
problems(16, [802546371]). 
problems(16, [830246751]). 
problems(16, [046718235]). 
problems(16, [207531864]). 
problems(16, [834015762]). 
problems(16, [832045761]). 
problems(16, [827413506]). 
problems(16, [824507631]). 
problems(16, [861234570]). 
problems(16, [863042571]). 
problems(16, [851703462]). 
problems(16, [412537608]). 
problems(16, [284105736]). 
problems(16, [840527631]). 
problems(16, [274150836]). 
problems(16, [401862357]). 
problems(16, [215846307]). 
problems(16, [270518634]). 
problems(16, [425173806]). 
problems(16, [471260538]). 
problems(16, [012374586]). 
problems(16, [418260537]). 
problems(16, [436170285]). 
problems(16, [402863571]). 
problems(16, [403765182]). 
problems(16, [408261573]). 
problems(16, [415283706]). 
problems(16, [412863507]). 
problems(16, [025134678]). 
problems(16, [847163205]). 
problems(16, [231745860]). 
problems(16, [230865714]). 
problems(16, [645812730]). 
problems(16, [462051873]). 
problems(16, [012453867]). 
problems(16, [432165870]). 
problems(16, [615032478]). 
problems(16, [413805762]). 
problems(16, [642013578]). 
problems(16, [012437586]). 
problems(16, [031256478]). 
problems(16, [412860735]). 
problems(16, [605231478]). 
problems(16, [023147568]). 
problems(16, [612038475]). 
problems(16, [462370581]). 
problems(16, [407286531]). 
problems(16, [435028716]). 
problems(16, [602431857]). 
problems(16, [835720461]). 
problems(16, [630281574]). 
problems(16, [425807163]). 
problems(16, [631280547]). 
problems(16, [428701536]). 
problems(16, [602437581]). 
problems(16, [042365178]). 
problems(16, [462571038]). 
problems(16, [607134528]). 
problems(16, [014367285]). 
problems(16, [032168574]). 
problems(16, [612703845]). 
problems(16, [014285637]). 
problems(16, [635124078]). 
problems(16, [034162857]). 
problems(16, [602814537]). 
problems(16, [470531862]). 
problems(16, [475120836]). 
problems(16, [032461857]). 
problems(16, [412863750]). 
problems(16, [614532078]). 
problems(16, [052317468]). 
problems(16, [016532478]). 
problems(16, [014283756]). 
problems(16, [601842537]). 
problems(16, [012746538]). 
problems(16, [612537048]). 
problems(16, [607182435]). 
problems(16, [673102584]). 
problems(16, [204371568]). 
problems(16, [812063547]). 
problems(16, [625704138]). 
problems(16, [604573182]). 
problems(16, [073241685]). 
problems(16, [231067548]). 
problems(16, [647103285]). 
problems(16, [673104285]). 
problems(16, [640287135]). 
problems(16, [470532816]). 
problems(16, [602537418]). 
problems(16, [203165784]). 
problems(16, [038152467]). 
problems(16, [203185467]). 
problems(16, [670142583]). 
problems(16, [634052871]). 
problems(16, [015467283]). 
problems(16, [672310548]). 
problems(16, [031864275]). 
problems(16, [641803275]). 
problems(16, [027543168]). 
problems(16, [640573128]). 
problems(16, [801432765]). 
problems(16, [631572408]). 
problems(16, [631475208]). 
problems(16, [608137245]). 
problems(16, [801236745]). 
problems(16, [640283715]). 
problems(16, [215037468]). 
problems(16, [210456837]). 
problems(16, [601748532]). 
problems(16, [215704638]). 
problems(16, [206437185]). 
problems(16, [207138645]). 
problems(16, [203487165]). 
problems(16, [830274165]). 
problems(16, [802135746]). 
problems(16, [623541807]). 
problems(16, [201538476]). 
problems(16, [025713846]). 
problems(16, [018532467]). 
problems(16, [210536847]). 
problems(16, [670215384]). 
problems(16, [216405837]). 
problems(16, [806132745]). 
problems(16, [615278403]). 
problems(16, [201854673]). 
problems(16, [814502637]). 
problems(16, [201863745]). 
problems(16, [207416538]). 
problems(16, [038147562]). 
problems(16, [812703546]). 
problems(16, [251430867]). 
problems(16, [230581467]). 
problems(16, [651248703]). 
problems(16, [201853764]). 
problems(16, [641258730]). 
problems(16, [654132870]). 
problems(16, [830271456]). 
problems(16, [682410537]). 
problems(16, [671250843]). 
problems(16, [642730581]). 
problems(16, [051834762]). 
problems(16, [657140238]). 
problems(16, [812540637]). 
problems(16, [632571804]). 
problems(16, [840163257]). 
problems(16, [201865347]). 
problems(16, [801367254]). 
problems(16, [038157264]). 
problems(16, [018475236]). 
problems(16, [683105274]). 
problems(16, [821534067]). 
problems(16, [401236758]). 
problems(16, [814503267]). 
problems(16, [671523408]). 
problems(16, [205436718]). 
problems(16, [680147235]). 
problems(16, [826401573]). 
problems(16, [843061572]). 
problems(16, [241807635]). 
problems(16, [410376285]). 
problems(16, [846201537]). 
problems(16, [205476381]). 
problems(16, [832461507]). 
problems(16, [405261378]). 
problems(16, [826503147]). 
problems(16, [410286537]). 
problems(16, [250486137]). 
problems(16, [431062857]). 
problems(16, [027543816]). 
problems(16, [053812764]). 
problems(16, [820415763]). 
problems(16, [216534807]). 
problems(16, [073521846]). 
problems(16, [401528637]). 
problems(16, [860431275]). 
problems(16, [254108763]). 
problems(16, [214365870]). 
problems(16, [812437560]). 
problems(16, [840237651]). 
problems(16, [052841736]). 
problems(16, [072531864]). 
problems(16, [025841763]). 
problems(16, [632517840]). 
problems(16, [037526418]). 
problems(16, [802514763]). 
problems(16, [231780546]). 
problems(16, [834170265]). 
problems(16, [245701368]). 
problems(16, [241805673]). 
problems(16, [215806374]). 
problems(16, [231864057]). 
problems(16, [870231546]). 
problems(16, [673280415]). 
problems(16, [431065287]). 
problems(16, [274016538]). 
problems(16, [836105274]). 
problems(16, [413250876]). 
problems(16, [830275461]). 
problems(16, [230758164]). 
problems(16, [402561387]). 
problems(16, [263514078]). 
problems(16, [435162078]). 
problems(16, [861273405]). 
problems(16, [843205716]). 
problems(16, [260148753]). 
problems(16, [064275813]). 
problems(16, [801764253]). 
problems(16, [854130267]). 
problems(16, [217530846]). 
problems(16, [208516437]). 
problems(16, [875102436]). 
problems(16, [815462703]). 
problems(16, [427310568]). 
problems(16, [401863527]). 
problems(16, [237058461]). 
problems(16, [870263415]). 
problems(16, [463108572]). 
problems(16, [421705836]). 
problems(16, [405612837]). 
problems(16, [837061254]). 
problems(16, [260581734]). 
problems(16, [420816537]). 
problems(16, [460137258]). 
problems(16, [830567241]). 
problems(16, [613207584]). 
problems(16, [460283517]). 
problems(16, [012384567]). 
problems(16, [401875632]). 
problems(16, [453160782]). 
problems(16, [601472385]). 
problems(16, [472056138]). 
problems(16, [405368271]). 
problems(16, [460158372]). 
problems(16, [031274658]). 
problems(16, [280517436]). 
problems(16, [852710436]). 
problems(16, [254710836]). 
problems(16, [825710463]). 
problems(16, [032165478]). 
problems(16, [412837506]). 
problems(16, [431275860]). 
problems(16, [471205863]). 
problems(16, [435170826]). 
problems(16, [432670518]). 
problems(16, [435712068]). 
problems(16, [431570862]). 
problems(16, [604231875]). 
problems(16, [416730285]). 
problems(16, [014256378]). 
problems(16, [413276850]). 
problems(16, [473150268]). 
problems(16, [603157248]). 
problems(16, [470318265]). 
problems(16, [402587361]). 
problems(16, [203164587]). 
problems(16, [405732816]). 
problems(16, [407531826]). 
problems(16, [023145867]). 
problems(16, [640132758]). 
problems(16, [245830761]). 
problems(16, [014235786]). 
problems(16, [012534786]). 
problems(16, [405736218]). 
problems(16, [602531748]). 
problems(16, [043271586]). 
problems(16, [480237561]). 
problems(16, [062341578]). 
problems(16, [027413568]). 
problems(16, [037214568]). 
problems(16, [061237548]). 
problems(16, [460572381]). 
problems(16, [438216705]). 
problems(16, [043265187]). 
problems(16, [017234865]). 
problems(16, [012548673]). 
problems(16, [471523806]). 
problems(16, [012854367]). 
problems(16, [041563278]). 
problems(16, [012573864]). 
problems(16, [051347268]). 
problems(16, [024517638]). 
problems(16, [018462375]). 
problems(16, [213704568]). 
problems(16, [457162803]). 
problems(16, [071462538]). 
problems(16, [801362574]). 
problems(16, [046173285]). 
problems(16, [036274518]). 
problems(16, [201763548]). 
problems(16, [634075182]). 
problems(16, [634058172]). 
problems(16, [612487305]). 
problems(16, [812305674]). 
problems(16, [231065847]). 
problems(16, [021547836]). 
problems(16, [653142807]). 
problems(16, [680142537]). 
problems(16, [031527846]). 
problems(16, [031526874]). 
problems(16, [051482736]). 
problems(16, [631452870]). 
problems(16, [631258470]). 
problems(16, [631275804]). 
problems(16, [632480517]). 
problems(16, [840123567]). 
problems(16, [425830716]). 
problems(16, [042761385]). 
problems(16, [680134275]). 
problems(16, [630572481]). 
problems(16, [618305274]). 
problems(16, [608217534]). 
problems(16, [036418275]). 
problems(16, [623805174]). 
problems(16, [612853407]). 
problems(16, [810426537]). 
problems(16, [602583741]). 
problems(16, [053186247]). 
problems(16, [820146537]). 
problems(16, [825403167]). 
problems(16, [814263075]). 
problems(16, [205376184]). 
problems(16, [270163548]). 
problems(16, [063178542]). 
problems(16, [816205437]). 
problems(16, [245108367]). 
problems(16, [240315867]). 
problems(16, [204187653]). 
problems(16, [015847632]). 
problems(16, [801247356]). 
problems(16, [260153874]). 
problems(16, [014837265]). 
problems(16, [631840275]). 
problems(16, [062514837]). 
problems(16, [054216873]). 
problems(16, [230147856]). 
problems(16, [204531768]). 
problems(16, [017536428]). 
problems(16, [230416857]). 
problems(16, [401238576]). 
problems(16, [807213465]). 
problems(16, [243076158]). 
problems(16, [402165378]). 
problems(16, [410238567]). 
problems(16, [638045172]). 
problems(16, [246103857]). 
problems(16, [824037165]). 
problems(16, [821437065]). 
problems(16, [216503784]). 
problems(16, [254106738]). 
problems(16, [213567048]). 
problems(16, [624530817]). 
problems(16, [235018746]). 
problems(16, [027534861]). 
problems(16, [630578412]). 
problems(16, [831450267]). 
problems(16, [684105237]). 
problems(16, [205417863]). 
problems(16, [201846735]). 
problems(16, [841502367]). 
problems(16, [237081546]). 
problems(16, [260471835]). 
problems(16, [238064157]). 
problems(16, [263147508]). 
problems(16, [416205387]). 
problems(16, [258104367]). 
problems(16, [814267305]). 
problems(16, [805176432]). 
problems(16, [413265087]). 
problems(16, [048215763]). 
problems(16, [641528703]). 
problems(16, [830541267]). 
problems(16, [840137256]). 
problems(16, [238051746]). 
problems(16, [235148706]). 
problems(16, [235408716]). 
problems(16, [834072516]). 
problems(16, [420158736]). 
problems(16, [834205761]). 
problems(16, [230584761]). 
problems(16, [431260758]). 
problems(16, [231564780]). 
problems(16, [413076258]). 
problems(16, [830462751]). 
problems(16, [863041275]). 
problems(16, [078136245]). 
problems(16, [860523147]). 
problems(16, [231578064]). 
problems(16, [802675134]). 
problems(16, [815346207]). 
problems(16, [461072538]). 
problems(16, [418205637]). 
problems(16, [452360178]). 
problems(16, [276143508]). 
problems(16, [430187562]). 
problems(16, [264015873]). 
problems(16, [250813764]). 
problems(16, [230587416]). 
problems(16, [835042716]). 
problems(16, [240851736]). 
problems(16, [840531762]). 
problems(16, [845120736]). 
problems(16, [842501763]). 
problems(16, [247130856]). 
problems(16, [250816437]). 
problems(16, [832516407]). 
problems(16, [417503268]). 
problems(16, [245361870]). 
problems(16, [241578603]). 
problems(16, [253461870]). 
problems(16, [263570184]). 
problems(16, [806547132]). 
problems(16, [418203756]). 
problems(16, [438062175]). 
problems(16, [416273580]). 
problems(16, [436271508]). 
problems(16, [472308165]). 
problems(16, [802546713]). 
problems(16, [236514870]). 
problems(16, [273504816]). 
problems(16, [235814706]). 
problems(16, [601235748]). 
problems(16, [215836704]). 
problems(16, [615402378]). 
problems(16, [610473285]). 
problems(16, [012376485]). 
problems(16, [470281365]). 
problems(16, [625103748]). 
problems(16, [470138562]). 
problems(16, [025413678]). 
problems(16, [471256038]). 
problems(16, [876213405]). 
problems(16, [243518760]). 
problems(16, [013265847]). 
problems(16, [621405837]). 
problems(16, [453128706]). 
problems(16, [630217584]). 
problems(16, [460182753]). 
problems(16, [407168253]). 
problems(16, [014238657]). 
problems(16, [031265748]). 
problems(16, [603251874]). 
problems(16, [453217806]). 
problems(16, [034216578]). 
problems(16, [425316870]). 
problems(16, [031246875]). 
problems(16, [021564378]). 
problems(16, [425830167]). 
problems(16, [480137265]). 
problems(16, [237548061]). 
problems(16, [408157263]). 
problems(16, [015234876]). 
problems(16, [012437865]). 
problems(16, [032417568]). 
problems(16, [425716038]). 
problems(16, [613472508]). 
problems(16, [463271580]). 
problems(16, [201374586]). 
problems(16, [071234685]). 
problems(16, [457163208]). 
problems(16, [437510268]). 
problems(16, [415820736]). 
problems(16, [012543876]). 
problems(16, [862540731]). 
problems(16, [605234871]). 
problems(16, [036142875]). 
problems(16, [640258137]). 
problems(16, [630481275]). 
problems(16, [016352874]). 
problems(16, [614270583]). 
problems(16, [605174283]). 
problems(16, [602574183]). 
problems(16, [460571832]). 
problems(16, [032751648]). 
problems(16, [630174852]). 
problems(16, [463280715]). 
problems(16, [631470285]). 
problems(16, [601458732]). 
problems(16, [643028175]). 
problems(16, [615234807]). 
problems(16, [241308675]). 
problems(16, [605238417]). 
problems(16, [032518674]). 
problems(16, [053218467]). 
problems(16, [601538742]). 
problems(16, [012835674]). 
problems(16, [642501738]). 
problems(16, [017243856]). 
problems(16, [640238517]). 
problems(16, [621547038]). 
problems(16, [031842567]). 
problems(16, [014832567]). 
problems(16, [620573418]). 
problems(16, [251304867]). 
problems(16, [683102475]). 
problems(16, [025463871]). 
problems(16, [802451637]). 
problems(16, [215308467]). 
problems(16, [215306847]). 
problems(16, [630478152]). 
problems(16, [203467158]). 
problems(16, [618243507]). 
problems(16, [671208435]). 
problems(16, [615438072]). 
problems(16, [205417638]). 
problems(16, [047351268]). 
problems(16, [841032567]). 
problems(16, [624801735]). 
problems(16, [630541827]). 
problems(16, [804153267]). 
problems(16, [025473816]). 
problems(16, [614520837]). 
problems(16, [801427536]). 
problems(16, [015734862]). 
problems(16, [042531876]). 
problems(16, [012547863]). 
problems(16, [015762483]). 
problems(16, [651802437]). 
problems(16, [602873415]). 
problems(16, [073146285]). 
problems(16, [803164257]). 
problems(16, [624805137]). 
problems(16, [031748562]). 
problems(16, [051486237]). 
problems(16, [640257831]). 
problems(16, [201746538]). 
problems(16, [045263817]). 
problems(16, [836102475]). 
problems(16, [410263875]). 
problems(16, [412307586]). 
problems(16, [235084167]). 
problems(16, [236108574]). 
problems(16, [028315764]). 
problems(16, [035248716]). 
problems(16, [017534826]). 
problems(16, [623514870]). 
problems(16, [640821735]). 
problems(16, [618430257]). 
problems(16, [047231856]). 
problems(16, [642531807]). 
problems(16, [640825137]). 
problems(16, [042716835]). 
problems(16, [814305762]). 
problems(16, [254160378]). 
problems(16, [243068157]). 
problems(16, [814603275]). 
problems(16, [835042167]). 
problems(16, [208136745]). 
problems(16, [816203754]). 
problems(16, [043578162]). 
problems(16, [825314067]). 
problems(16, [812607435]). 
problems(16, [853024167]). 
problems(16, [417203586]). 
problems(16, [425306178]). 
problems(16, [401368572]). 
problems(16, [608741235]). 
problems(16, [675012843]). 
problems(16, [851032764]). 
problems(16, [820517634]). 
problems(16, [645072813]). 
problems(16, [234170856]). 
problems(16, [802731654]). 
problems(16, [825031764]). 
problems(16, [038176254]). 
problems(16, [270134856]). 
problems(16, [830265417]). 
problems(16, [214507863]). 
problems(16, [806471235]). 
problems(16, [405238167]). 
problems(16, [243187506]). 
problems(16, [401762538]). 
problems(16, [405173286]). 
problems(16, [243167580]). 
problems(16, [860243571]). 
problems(16, [432160785]). 
problems(16, [432170586]). 
problems(16, [273160584]). 
problems(16, [402376518]). 
problems(16, [235068471]). 
problems(16, [834057162]). 
problems(16, [403267518]). 
problems(16, [817243506]). 
problems(16, [807164352]). 
problems(16, [401278563]). 
problems(16, [815463207]). 
problems(16, [862413075]). 
problems(16, [213578604]). 
problems(16, [863205174]). 
problems(16, [042567813]). 
problems(16, [204518763]). 
problems(16, [821530764]). 
problems(16, [237540168]). 
problems(16, [257031846]). 
problems(16, [420518637]). 
problems(16, [807451236]). 
problems(16, [263145807]). 
problems(16, [260185743]). 
problems(16, [402538176]). 
problems(16, [850237461]). 
problems(16, [038742561]). 
problems(16, [832416570]). 
problems(16, [816270354]). 
problems(16, [450231786]). 
problems(16, [413068257]). 
problems(16, [406231857]). 
problems(16, [802765143]). 
problems(16, [280146735]). 
problems(16, [413085267]). 
problems(16, [406237581]). 
problems(16, [472106538]). 
problems(16, [863074152]). 
problems(16, [417283605]). 
problems(16, [823517406]). 
problems(16, [401526873]). 
problems(16, [802645731]). 
problems(16, [824513706]). 
problems(16, [824710536]). 
problems(16, [273510468]). 
problems(16, [863140257]). 
problems(16, [845217603]). 
problems(16, [245168703]). 
problems(16, [420563871]). 
problems(16, [402736581]). 
problems(16, [450271836]). 
problems(16, [471305268]). 
problems(16, [405237861]). 
problems(16, [257416308]). 
problems(16, [425316708]). 
problems(16, [430186752]). 
problems(16, [205867341]). 
problems(16, [805762341]). 
problems(16, [863074215]). 
problems(16, [278406135]). 
problems(16, [031284675]). 
problems(16, [420573816]). 
problems(16, [460531278]). 
problems(16, [402583716]). 
problems(16, [402836517]). 
problems(16, [861235740]). 
problems(16, [476012538]). 
problems(16, [603182574]). 
problems(16, [614072538]). 
problems(16, [604271538]). 
problems(16, [431860572]). 
problems(16, [426570138]). 
problems(16, [630174528]). 
problems(16, [607123548]). 
problems(16, [615207348]). 
problems(16, [603184275]). 
problems(16, [013462857]). 
problems(16, [418235706]). 
problems(16, [012365874]). 
problems(16, [406275813]). 
problems(16, [408712536]). 
problems(16, [432718506]). 
problems(16, [631047285]). 
problems(16, [041265378]). 
problems(16, [430862715]). 
problems(16, [041238567]). 
problems(16, [624017538]). 
problems(16, [651034278]). 
problems(16, [453801267]). 
problems(16, [032541678]). 
problems(16, [613048275]). 
problems(16, [415708263]). 
problems(16, [450826137]). 
problems(16, [061372548]). 
problems(16, [608234175]). 
problems(16, [615308472]). 
problems(16, [628103475]). 
problems(16, [603475182]). 
problems(16, [201384567]). 
problems(16, [041325867]). 
problems(16, [631240857]). 
problems(16, [245816703]). 
problems(16, [013542867]). 
problems(16, [031542768]). 
problems(16, [652401837]). 
problems(16, [483205761]). 
problems(16, [453802761]). 
problems(16, [015742638]). 
problems(16, [812034567]). 
problems(16, [612573084]). 
problems(16, [801235647]). 
problems(16, [651270348]). 
problems(16, [463270851]). 
problems(16, [016375248]). 
problems(16, [028314567]). 
problems(16, [046213785]). 
problems(16, [613248705]). 
problems(16, [650183247]). 
problems(16, [432865071]). 
problems(16, [038172645]). 
problems(16, [261403578]). 
problems(16, [206173485]). 
problems(16, [204367185]). 
problems(16, [641235807]). 
problems(16, [031824765]). 
problems(16, [630425871]). 
problems(16, [653021874]). 
problems(16, [201536487]). 
problems(16, [051238764]). 
problems(16, [472531806]). 
problems(16, [601547832]). 
problems(16, [425806713]). 
problems(16, [054321867]). 
problems(16, [615430827]). 
problems(16, [630547128]). 
problems(16, [051438267]). 
problems(16, [650138274]). 
problems(16, [670243581]). 
problems(16, [042863175]). 
problems(16, [234160587]). 
problems(16, [617280435]). 
problems(16, [206435178]). 
problems(16, [230564187]). 
problems(16, [017465382]). 
problems(16, [203187564]). 
problems(16, [213457068]). 
problems(16, [647051238]). 
problems(16, [021548763]). 
problems(16, [831205746]). 
problems(16, [231508467]). 
problems(16, [043287516]). 
problems(16, [023815467]). 
problems(16, [201485736]). 
problems(16, [803172456]). 
problems(16, [035168724]). 
problems(16, [035471826]). 
problems(16, [015862374]). 
problems(16, [215037846]). 
problems(16, [215036874]). 
problems(16, [645073218]). 
problems(16, [032576481]). 
problems(16, [035176824]). 
problems(16, [810437265]). 
problems(16, [831027465]). 
problems(16, [608542137]). 
problems(16, [205137864]). 
problems(16, [805123746]). 
problems(16, [804162357]). 
problems(16, [201836547]). 
problems(16, [612578043]). 
problems(16, [640728135]). 
problems(16, [401273865]). 
problems(16, [257103468]). 
problems(16, [243176085]). 
problems(16, [806237145]). 
problems(16, [028415736]). 
problems(16, [230418756]). 
problems(16, [046235817]). 
problems(16, [052813746]). 
problems(16, [042815673]). 
problems(16, [045731268]). 
problems(16, [042861357]). 
problems(16, [814035267]). 
problems(16, [623517804]). 
problems(16, [072516348]). 
problems(16, [218503467]). 
problems(16, [234560178]). 
problems(16, [412306857]). 
problems(16, [215460783]). 
problems(16, [842056137]). 
problems(16, [806135472]). 
problems(16, [407152638]). 
problems(16, [432067185]). 
problems(16, [264173508]). 
problems(16, [830721465]). 
problems(16, [205841367]). 
problems(16, [641850732]). 
problems(16, [830165724]). 
problems(16, [230861457]). 
problems(16, [462031578]). 
problems(16, [405183267]). 
problems(16, [823461570]). 
problems(16, [431280576]). 
problems(16, [807432561]). 
problems(16, [207563481]). 
problems(16, [432076158]). 
problems(16, [407153268]). 
problems(16, [207463851]). 
problems(16, [806247531]). 
problems(16, [421706538]). 
problems(16, [415237068]). 
problems(16, [814376205]). 
problems(16, [841276305]). 
problems(16, [460372185]). 
problems(16, [245601873]). 
problems(16, [835217406]). 
problems(16, [816235704]). 
problems(16, [263045871]). 
problems(16, [802746531]). 
problems(16, [815237460]). 
problems(16, [860172453]). 
problems(16, [238150764]). 
problems(16, [842710635]). 
problems(16, [402831657]). 
problems(16, [843160752]). 
problems(16, [860237415]). 
problems(16, [243561807]). 
problems(16, [807165243]). 
problems(16, [213586704]). 
problems(16, [254801367]). 
problems(16, [802576431]). 
problems(16, [405672138]). 
problems(16, [403576182]). 
problems(16, [408237165]). 
problems(16, [234518706]). 
problems(16, [263510874]). 
problems(16, [230845761]). 
problems(16, [218530764]). 
problems(16, [215864703]). 
problems(16, [216574830]). 
problems(16, [425036871]). 
problems(16, [031245678]). 
problems(16, [456031278]). 
problems(16, [012347568]). 
problems(16, [460183257]). 
problems(16, [825714603]). 
problems(16, [417382506]). 
problems(16, [463072581]). 
problems(16, [437065182]). 
problems(16, [460178532]). 
problems(16, [238145760]). 
problems(16, [273145860]). 
problems(16, [405721836]). 
problems(16, [421805763]). 
problems(16, [425710368]). 
problems(16, [603145278]). 
problems(16, [832760451]). 
problems(16, [613702548]). 
problems(16, [418352706]). 
problems(16, [437152806]). 
problems(16, [405817632]). 
problems(16, [437205861]). 
problems(16, [624108537]). 
problems(16, [408563127]). 
problems(16, [405763281]). 
problems(16, [461375208]). 
problems(16, [456213807]). 
problems(16, [416257803]). 
problems(16, [604257138]). 
problems(16, [412786305]). 
problems(16, [624108375]). 
problems(16, [603172854]). 
problems(16, [613208754]). 
problems(16, [031724568]). 
problems(16, [402867513]). 
problems(16, [472610538]). 
problems(16, [408176253]). 
problems(16, [415860237]). 
problems(16, [601573428]). 
problems(16, [016234857]). 
problems(16, [405861273]). 
problems(16, [631450278]). 
problems(16, [405871236]). 
problems(16, [402867351]). 
problems(16, [601753248]). 
problems(16, [415872603]). 
problems(16, [408763152]). 
problems(16, [230147685]). 
problems(16, [634270185]). 
problems(16, [054362178]). 
problems(16, [652407138]). 
problems(16, [458106732]). 
problems(16, [463278015]). 
problems(16, [641025837]). 
problems(16, [014287653]). 
problems(16, [470528631]). 
problems(16, [673012548]). 
problems(16, [412835760]). 
problems(16, [671230548]). 
problems(16, [201437865]). 
problems(16, [425817603]). 
problems(16, [625314807]). 
problems(16, [028134765]). 
problems(16, [036147285]). 
problems(16, [210564378]). 
problems(16, [615430782]). 
problems(16, [016273854]). 
problems(16, [021546738]). 
problems(16, [031526748]). 
problems(16, [630127854]). 
problems(16, [013526847]). 
problems(16, [640732185]). 
problems(16, [036157248]). 
problems(16, [034267518]). 
problems(16, [637210548]). 
problems(16, [054327168]). 
problems(16, [017248365]). 
problems(16, [801463572]). 
problems(16, [207164538]). 
problems(16, [012847536]). 
problems(16, [230145786]). 
problems(16, [654021837]). 
problems(16, [215408376]). 
problems(16, [205381467]). 
problems(16, [205361784]). 
problems(16, [602581734]). 
problems(16, [635170842]). 
problems(16, [425831760]). 
problems(16, [630247851]). 
problems(16, [012587364]). 
problems(16, [064135278]). 
problems(16, [801236457]). 
problems(16, [820461375]). 
problems(16, [804261375]). 
problems(16, [076214538]). 
problems(16, [018437562]). 
problems(16, [830264157]). 
problems(16, [035186742]). 
problems(16, [063158472]). 
problems(16, [047238165]). 
problems(16, [076231548]). 
problems(16, [015486732]). 
problems(16, [451203678]). 
problems(16, [032715846]). 
problems(16, [601825743]). 
problems(16, [803162754]). 
problems(16, [065142873]). 
problems(16, [820417536]). 
problems(16, [640287513]). 
problems(16, [213085764]). 
problems(16, [018265743]). 
problems(16, [650248731]). 
problems(16, [062813475]). 
problems(16, [231560487]). 
problems(16, [831046275]). 
problems(16, [627540138]). 
problems(16, [215430876]). 
problems(16, [073542168]). 
problems(16, [810365274]). 
problems(16, [635217804]). 
problems(16, [032857164]). 
problems(16, [253017468]). 
problems(16, [032875146]). 
problems(16, [807162345]). 
problems(16, [617482503]). 
problems(16, [431208567]). 
problems(16, [247130685]). 
problems(16, [401268537]). 
problems(16, [038465172]). 
problems(16, [816207534]). 
problems(16, [412307865]). 
problems(16, [832167045]). 
problems(16, [237145068]). 
problems(16, [618452703]). 
problems(16, [253701468]). 
problems(16, [208157436]). 
problems(16, [207165834]). 
problems(16, [670218453]). 
problems(16, [850172436]). 
problems(16, [612547830]). 
problems(16, [204563871]). 
problems(16, [632541870]). 
problems(16, [861230475]). 
problems(16, [632815407]). 
problems(16, [810532764]). 
problems(16, [048315267]). 
problems(16, [015826734]). 
problems(16, [402631587]). 
problems(16, [215347806]). 
problems(16, [241706583]). 
problems(16, [405213867]). 
problems(16, [851260347]). 
problems(16, [817230546]). 
problems(16, [230765184]). 
problems(16, [836210547]). 
problems(16, [841256037]). 
problems(16, [812465073]). 
problems(16, [254317068]). 
problems(16, [834127065]). 
problems(16, [862403571]). 
problems(16, [431267085]). 
problems(16, [413068572]). 
problems(16, [823476105]). 
problems(16, [038741265]). 
problems(16, [076215834]). 
problems(16, [250418763]). 
problems(16, [073265814]). 
problems(16, [802537614]). 
problems(16, [605872413]). 
problems(16, [072543861]). 
problems(16, [806137254]). 
problems(16, [216540837]). 
problems(16, [812560473]). 
problems(16, [240835167]). 
problems(16, [230568417]). 
problems(16, [840175236]). 
problems(16, [847301265]). 
problems(16, [807245631]). 
problems(16, [408132576]). 
problems(16, [460235178]). 
problems(16, [832760145]). 
problems(16, [835160742]). 
problems(16, [405136872]). 
problems(16, [807263451]). 
problems(16, [430286157]). 
problems(16, [235476018]). 
problems(16, [860174352]). 
problems(16, [261573408]). 
problems(16, [842706135]). 
problems(16, [432085167]). 
problems(16, [406532178]). 
problems(16, [215863407]). 
problems(16, [405167328]). 
problems(16, [274136508]). 
problems(16, [461273085]). 
problems(16, [045832716]). 
problems(16, [830541726]). 
problems(16, [874012536]). 
problems(16, [248105763]). 
problems(16, [826501743]). 
problems(16, [401573826]). 
problems(16, [460132857]). 
problems(16, [402538617]). 
problems(16, [831750462]). 
problems(16, [215843706]). 
problems(16, [451320867]). 
problems(16, [834076215]). 
problems(16, [405137826]). 
problems(16, [401675238]). 
problems(16, [846017235]). 
problems(16, [251806734]). 
problems(16, [826513407]). 
problems(16, [271508364]). 
problems(16, [237045861]). 
problems(16, [460135287]). 
problems(16, [217538064]). 
problems(16, [247158603]). 
problems(16, [430761582]). 
problems(16, [471206583]). 
problems(16, [423760185]). 
problems(16, [465301278]). 
problems(16, [417305862]). 
problems(16, [425176308]). 
problems(16, [647235810]). 
problems(16, [251840736]). 
problems(16, [402813756]). 
problems(16, [804562713]). 
problems(16, [604132785]). 
problems(16, [406571238]). 
problems(16, [406531872]). 
problems(16, [473102856]). 
problems(16, [031246587]). 
problems(16, [412538670]). 
problems(16, [405812673]). 
problems(16, [610253874]). 
problems(16, [208745631]). 
problems(16, [428105736]). 
problems(16, [601237845]). 
problems(16, [021437568]). 
problems(16, [438210567]). 
problems(16, [481205367]). 
problems(16, [630214785]). 
problems(16, [847132560]). 
problems(16, [875106234]). 
problems(16, [476102583]). 
problems(16, [017243685]). 
problems(16, [416378205]). 
problems(16, [630284175]). 
problems(16, [270564813]). 
problems(16, [601248357]). 
problems(16, [042371568]). 
problems(16, [632071584]). 
problems(16, [456032871]). 
problems(16, [437082516]). 
problems(16, [471352806]). 
problems(16, [417238650]). 
problems(16, [412857603]). 
problems(16, [015362847]). 
problems(16, [418702563]). 
problems(16, [632075148]). 
problems(16, [031572648]). 
problems(16, [614208573]). 
problems(16, [615204873]). 
problems(16, [042318675]). 
problems(16, [631408275]). 
problems(16, [431758062]). 
problems(16, [653024178]). 
problems(16, [460538172]). 
problems(16, [438052716]). 
problems(16, [051342867]). 
problems(16, [051423867]). 
problems(16, [061235478]). 
problems(16, [053124867]). 
problems(16, [602537184]). 
problems(16, [432580761]). 
problems(16, [602751348]). 
problems(16, [457210836]). 
problems(16, [031286457]). 
problems(16, [031284756]). 
problems(16, [601485237]). 
problems(16, [031654278]). 
problems(16, [215063478]). 
problems(16, [234106578]). 
problems(16, [047231685]). 
problems(16, [026438175]). 
problems(16, [213084567]). 
problems(16, [456218703]). 
problems(16, [031428756]). 
problems(16, [803152467]). 
problems(16, [061247583]). 
problems(16, [630218754]). 
problems(16, [630285471]). 
problems(16, [035167284]). 
problems(16, [201538647]). 
problems(16, [201365874]). 
problems(16, [462530817]). 
problems(16, [632504871]). 
problems(16, [602781435]). 
problems(16, [802341576]). 
problems(16, [428510736]). 
problems(16, [804213567]). 
problems(16, [640135827]). 
problems(16, [063251847]). 
problems(16, [831024567]). 
problems(16, [241037568]). 
problems(16, [016257834]). 
problems(16, [043126857]). 
problems(16, [601538274]). 
problems(16, [604185732]). 
problems(16, [201574368]). 
problems(16, [805134672]). 
problems(16, [628407135]). 
problems(16, [235071468]). 
problems(16, [037142856]). 
problems(16, [017425836]). 
problems(16, [632508417]). 
problems(16, [234081567]). 
problems(16, [640571238]). 
problems(16, [032864571]). 
problems(16, [618234570]). 
problems(16, [261340578]). 
problems(16, [014537862]). 
problems(16, [015872634]). 
problems(16, [042763581]). 
problems(16, [065371248]). 
problems(16, [608273514]). 
problems(16, [214563078]). 
problems(16, [234165078]). 
problems(16, [602834715]). 
problems(16, [063147258]). 
problems(16, [073281465]). 
problems(16, [037158462]). 
problems(16, [037146258]). 
problems(16, [642503817]). 
problems(16, [025436817]). 
problems(16, [632517408]). 
problems(16, [241357068]). 
problems(16, [214803567]). 
problems(16, [804327165]). 
problems(16, [018734265]). 
problems(16, [075312846]). 
problems(16, [083412765]). 
problems(16, [230548167]). 
problems(16, [071265843]). 
problems(16, [063514872]). 
problems(16, [263015478]). 
problems(16, [025817634]). 
problems(16, [045238761]). 
problems(16, [804251736]). 
problems(16, [802631574]). 
problems(16, [231560748]). 
problems(16, [214730568]). 
problems(16, [207513468]). 
problems(16, [804137526]). 
problems(16, [670183254]). 
problems(16, [075316248]). 
problems(16, [608175243]). 
problems(16, [670418235]). 
problems(16, [250416738]). 
problems(16, [801375264]). 
problems(16, [074236518]). 
problems(16, [804127563]). 
problems(16, [083216745]). 
problems(16, [803157264]). 
problems(16, [807152643]). 
problems(16, [863102745]). 
problems(16, [401382765]). 
problems(16, [235064781]). 
problems(16, [263071584]). 
problems(16, [853062147]). 
problems(16, [678103245]). 
problems(16, [402367158]). 
problems(16, [405127638]). 
problems(16, [846012537]). 
problems(16, [816207453]). 
problems(16, [640571823]). 
problems(16, [843071265]). 
problems(16, [671452803]). 
problems(16, [632850417]). 
problems(16, [802671543]). 
problems(16, [862310547]). 
problems(16, [801745632]). 
problems(16, [851206743]). 
problems(16, [623570814]). 
problems(16, [027546318]). 
problems(16, [605817234]). 
problems(16, [801763452]). 
problems(16, [843160527]). 
problems(16, [804176523]). 
problems(16, [860234517]). 
problems(16, [807216534]). 
problems(16, [218503746]). 
problems(16, [843126507]). 
problems(16, [830275614]). 
problems(16, [843217065]). 
problems(16, [430127865]). 
problems(16, [461207538]). 
problems(16, [432176085]). 
problems(16, [431267508]). 
problems(16, [270468135]). 
problems(16, [234075816]). 
problems(16, [674205813]). 
problems(16, [045823761]). 
problems(16, [812706453]). 
problems(16, [805236714]). 
problems(16, [230547861]). 
problems(16, [856102743]). 
problems(16, [873401265]). 
problems(16, [836214570]). 
problems(16, [245371806]). 
problems(16, [253471806]). 
problems(16, [601423578]). 
problems(16, [601342578]). 
problems(16, [815362740]). 
problems(16, [430278156]). 
problems(16, [470132586]). 
problems(16, [415602738]). 
problems(16, [218705634]). 
problems(16, [601253478]). 
problems(16, [402537681]). 
problems(16, [430176825]). 
problems(16, [413608275]). 
problems(16, [253708164]). 
problems(16, [412608735]). 
problems(16, [402853176]). 
problems(16, [205786134]). 
problems(16, [870426135]). 
problems(16, [863045172]). 
problems(16, [802735416]). 
problems(16, [215837406]). 
problems(16, [807461253]). 
problems(16, [410538762]). 
problems(16, [815732406]). 
problems(16, [205836741]). 
problems(16, [215860734]). 
problems(16, [410738265]). 
problems(16, [246513807]). 
problems(16, [270538164]). 
problems(16, [460217358]). 
problems(16, [873140265]). 
problems(16, [418207653]). 
problems(16, [416258307]). 
problems(16, [601374285]). 
problems(16, [472503168]). 
problems(16, [471260385]). 
problems(16, [438052167]). 
problems(16, [483201567]). 
problems(16, [451276308]). 
problems(16, [240568713]). 
problems(16, [430516827]). 
problems(16, [420536817]). 
problems(16, [823560714]). 
problems(16, [804735261]). 
problems(16, [405632871]). 
problems(16, [451238706]). 
problems(16, [630245178]). 
problems(16, [612405738]). 
problems(16, [432850167]). 
problems(16, [435127806]). 
problems(16, [402567831]). 
problems(16, [450832167]). 
problems(16, [276513408]). 
problems(16, [407536128]). 
problems(16, [601428375]). 
problems(16, [408275631]). 
problems(16, [021435867]). 
problems(16, [630125847]). 
problems(16, [601245783]). 
problems(16, [450716238]). 
problems(16, [610523847]). 
problems(16, [602541378]). 
problems(16, [632071845]). 
problems(16, [485102736]). 
problems(16, [036412578]). 
problems(16, [016432875]). 
problems(16, [031286574]). 
problems(16, [631280475]). 
problems(16, [471803265]). 
problems(16, [631275048]). 
problems(16, [436078215]). 
problems(16, [032178465]). 
problems(16, [641207835]). 
problems(16, [014275683]). 
problems(16, [025347168]). 
problems(16, [435712806]). 
problems(16, [457032816]). 
problems(16, [651042837]). 
problems(16, [035128467]). 
problems(16, [412865703]). 
problems(16, [641205873]). 
problems(16, [408265713]). 
problems(16, [435802716]). 
problems(16, [472503816]). 
problems(16, [625041837]). 
problems(16, [012736584]). 
problems(16, [014286357]). 
problems(16, [602734518]). 
problems(16, [435716208]). 
problems(16, [458016237]). 
problems(16, [052136847]). 
problems(16, [457036218]). 
problems(16, [051427368]). 
problems(16, [432856017]). 
problems(16, [452816037]). 
problems(16, [460528371]). 
problems(16, [810362475]). 
problems(16, [608172345]). 
problems(16, [063182547]). 
problems(16, [812063475]). 
problems(16, [015476382]). 
problems(16, [213068547]). 
problems(16, [203465187]). 
problems(16, [642078135]). 
problems(16, [630485172]). 
problems(16, [016287435]). 
problems(16, [614287035]). 
problems(16, [621540837]). 
problems(16, [013528746]). 
problems(16, [601825437]). 
problems(16, [610527834]). 
problems(16, [618205473]). 
problems(16, [205138467]). 
problems(16, [048213567]). 
problems(16, [012857634]). 
problems(16, [670142835]). 
problems(16, [071238546]). 
problems(16, [651704238]). 
problems(16, [624503871]). 
problems(16, [032764518]). 
problems(16, [027318564]). 
problems(16, [056413278]). 
problems(16, [645127038]). 
problems(16, [064351278]). 
problems(16, [062418375]). 
problems(16, [640175832]). 
problems(16, [673105248]). 
problems(16, [802364571]). 
problems(16, [840263175]). 
problems(16, [215470638]). 
problems(16, [240368175]). 
problems(16, [246103785]). 
problems(16, [618273405]). 
problems(16, [805162374]). 
problems(16, [623518407]). 
problems(16, [024831765]). 
problems(16, [802415367]). 
problems(16, [031852764]). 
problems(16, [612537480]). 
problems(16, [032581764]). 
problems(16, [452816703]). 
problems(16, [025347816]). 
problems(16, [635047218]). 
problems(16, [640532781]). 
problems(16, [634075218]). 
problems(16, [210546738]). 
problems(16, [012875436]). 
problems(16, [670213854]). 
problems(16, [042563718]). 
problems(16, [024563817]). 
problems(16, [832061745]). 
problems(16, [207154836]). 
problems(16, [832071546]). 
problems(16, [402153867]). 
problems(16, [412037568]). 
problems(16, [241607538]). 
problems(16, [824106573]). 
problems(16, [260154837]). 
problems(16, [403127568]). 
problems(16, [213708465]). 
problems(16, [261504378]). 
problems(16, [073168245]). 
problems(16, [824106735]). 
problems(16, [801467235]). 
problems(16, [014825736]). 
problems(16, [026538471]). 
problems(16, [802714536]). 
problems(16, [801742536]). 
problems(16, [250138764]). 
problems(16, [805321764]). 
problems(16, [062534871]). 
problems(16, [058213764]). 
problems(16, [032876154]). 
problems(16, [015863724]). 
problems(16, [063571428]). 
problems(16, [850314267]). 
problems(16, [806135247]). 
problems(16, [642718035]). 
problems(16, [630578241]). 
problems(16, [032586741]). 
problems(16, [814056237]). 
problems(16, [208175634]). 
problems(16, [817206543]). 
problems(16, [841273506]). 
problems(16, [260471583]). 
problems(16, [231870645]). 
problems(16, [834160572]). 
problems(16, [803476152]). 
problems(16, [246170385]). 
problems(16, [830276541]). 
problems(16, [830564172]). 
problems(16, [235078164]). 
problems(16, [836107245]). 
problems(16, [243068571]). 
problems(16, [802517364]). 
problems(16, [801537264]). 
problems(16, [042853716]). 
problems(16, [025843716]). 
problems(16, [241530876]). 
problems(16, [230815467]). 
problems(16, [405128367]). 
problems(16, [271503846]). 
problems(16, [825314706]). 
problems(16, [802763415]). 
problems(16, [270531684]). 
problems(16, [231856047]). 
problems(16, [216537408]). 
problems(16, [832416705]). 
problems(16, [406275138]). 
problems(16, [265403871]). 
problems(16, [621304578]). 
problems(16, [430275681]). 
problems(16, [413287065]). 
problems(16, [806541237]). 
problems(16, [842610537]). 
problems(16, [215740836]). 
problems(16, [430217856]). 
problems(16, [830725164]). 
problems(16, [403761285]). 
problems(16, [450218673]). 
problems(16, [215468730]). 
problems(16, [601432587]). 
problems(16, [405362817]). 
problems(16, [416250837]). 
problems(16, [431265807]). 
problems(16, [254806137]). 
problems(16, [412567038]). 
problems(16, [450167238]). 
problems(16, [825706134]). 
problems(16, [435076182]). 
problems(16, [642850713]). 
problems(16, [865012743]). 
problems(16, [241567803]). 
problems(16, [261534870]). 
problems(16, [812567430]). 
problems(16, [261570834]). 
problems(16, [825416703]). 
problems(16, [863071254]). 
problems(16, [401568273]). 
problems(16, [235718064]). 
problems(16, [870165234]). 
problems(16, [457301268]). 
problems(16, [425163870]). 
problems(16, [412783506]). 
problems(16, [405762183]). 
problems(16, [461270835]). 
problems(16, [452706138]). 
problems(16, [438107265]). 
problems(16, [460275183]). 
problems(16, [862470531]). 
problems(16, [263540817]). 
problems(16, [842513760]). 
problems(16, [472051836]). 
problems(16, [460258317]). 
problems(16, [412567380]). 
problems(16, [235861470]). 
problems(16, [425810637]). 
problems(16, [423860157]). 
problems(16, [408236715]). 
problems(16, [425813067]). 
problems(16, [463521078]). 
problems(16, [480217365]). 
problems(16, [872416503]). 
problems(16, [460287531]). 
problems(16, [406578132]). 
problems(16, [417386205]). 
problems(16, [634208175]). 
problems(16, [246518703]). 
problems(16, [630128457]). 
problems(16, [405821763]). 
problems(16, [425610873]). 
problems(16, [012546378]). 
problems(16, [601438257]). 
problems(16, [640123857]). 
problems(16, [458107236]). 
problems(16, [602584137]). 
problems(16, [614280537]). 
problems(16, [605184237]). 
problems(16, [614370285]). 
problems(16, [641270385]). 
problems(16, [630472518]). 
problems(16, [607154238]). 
problems(16, [437526108]). 
problems(16, [042168375]). 
problems(16, [613275084]). 
problems(16, [052431867]). 
problems(16, [426508713]). 
problems(16, [647102583]). 
problems(16, [203481567]). 
problems(16, [432817560]). 
problems(16, [031465827]). 
problems(16, [601572834]). 
problems(16, [045213876]). 
problems(16, [614250873]). 
problems(16, [061243857]). 
problems(16, [602574318]). 
problems(16, [801372465]). 
problems(16, [801362745]). 
problems(16, [240163875]). 
problems(16, [046271385]). 
problems(16, [061284735]). 
problems(16, [230175684]). 
problems(16, [605187432]). 
problems(16, [201486537]). 
problems(16, [817203645]). 
problems(16, [635218407]). 
problems(16, [023516874]). 
problems(16, [046217583]). 
problems(16, [610528743]). 
problems(16, [641530278]). 
problems(16, [642510378]). 
problems(16, [017285436]). 
problems(16, [054172836]). 
problems(16, [015487236]). 
problems(16, [213450867]). 
problems(16, [054162873]). 
problems(16, [605178423]). 
problems(16, [230461758]). 
problems(16, [201654837]). 
problems(16, [057143268]). 
problems(16, [034176852]). 
problems(16, [015763284]). 
problems(16, [240531678]). 
problems(16, [801436275]). 
problems(16, [671405238]). 
problems(16, [618503247]). 
problems(16, [024738165]). 
problems(16, [605438271]). 
problems(16, [054176238]). 
problems(16, [025476318]). 
problems(16, [640278315]). 
problems(16, [836102547]). 
problems(16, [423106578]). 
problems(16, [812470635]). 
problems(16, [206457138]). 
problems(16, [830174562]). 
problems(16, [260183547]). 
problems(16, [605248713]). 
problems(16, [807124536]). 
problems(16, [025438716]). 
problems(16, [631524870]). 
problems(16, [632415870]). 
problems(16, [035812467]). 
problems(16, [042816375]). 
problems(16, [045217863]). 
problems(16, [032857641]). 
problems(16, [235160847]). 
problems(16, [851403267]). 
problems(16, [802534671]). 
problems(16, [802376154]). 
problems(16, [260148537]). 
problems(16, [207148536]). 
problems(16, [251437068]). 
problems(16, [410257368]). 
problems(16, [071468235]). 
problems(16, [813427065]). 
problems(16, [625807134]). 
problems(16, [830257164]). 
problems(16, [462103578]). 
problems(16, [834051267]). 
problems(16, [403125867]). 
problems(16, [243071856]). 
problems(16, [824105763]). 
problems(16, [805421736]). 
problems(16, [607542831]). 
problems(16, [412035867]). 
problems(16, [801562734]). 
problems(16, [402136857]). 
problems(16, [063257814]). 
problems(16, [230718465]). 
problems(16, [813075264]). 
problems(16, [265301874]). 
problems(16, [413280567]). 
problems(16, [814362570]). 
problems(16, [861243507]). 
problems(16, [856103247]). 
problems(16, [406231785]). 
problems(16, [416053278]). 
problems(16, [831465072]). 
problems(16, [426308175]). 
problems(16, [842701536]). 
problems(16, [421508367]). 
problems(16, [648217503]). 
problems(16, [205817643]). 
problems(16, [280147536]). 
problems(16, [831265470]). 
problems(16, [054812736]). 
problems(16, [204536817]). 
problems(16, [430175286]). 
problems(16, [814237650]). 
problems(16, [812753406]). 
problems(16, [861240573]). 
problems(16, [832560174]). 
problems(16, [871205436]). 
problems(16, [425130768]). 
problems(16, [870231654]). 
problems(16, [450136278]). 
problems(16, [248016537]). 
problems(16, [253416807]). 
problems(16, [214583706]). 
problems(16, [432510678]). 
problems(16, [204738561]). 
problems(16, [863051247]). 
problems(16, [860145372]). 
problems(16, [281504367]). 
problems(16, [240856137]). 
problems(16, [438102567]). 
problems(16, [816274530]). 
problems(16, [428301567]). 
problems(16, [825704631]). 
problems(16, [860473152]). 
problems(16, [205834716]). 
problems(16, [241860357]). 
problems(16, [270531846]). 
problems(16, [421807536]). 
problems(16, [613042578]). 
problems(16, [417052836]). 
problems(16, [863052741]). 
problems(16, [402681573]). 
problems(16, [432570168]). 
problems(16, [472130568]). 
problems(16, [235860174]). 
problems(16, [431257806]). 
problems(16, [601243875]). 
problems(16, [415260873]). 
problems(16, [415360827]). 
problems(16, [237148560]). 
problems(16, [631024578]). 
problems(16, [415326807]). 
problems(16, [461350278]). 
problems(16, [428105367]). 
problems(16, [260578134]). 
problems(16, [463201857]). 
problems(16, [846170235]). 
problems(16, [873206415]). 
problems(16, [408157632]). 
problems(16, [072546813]). 
problems(16, [405812367]). 
problems(16, [258310764]). 
problems(16, [426510378]). 
problems(16, [420576318]). 
problems(16, [874016235]). 
problems(16, [603275148]). 
problems(16, [032164875]). 
problems(16, [417236580]). 
problems(16, [470236581]). 
problems(16, [025163478]). 
problems(16, [613074285]). 
problems(16, [603248175]). 
problems(16, [473028165]). 
problems(16, [420815736]). 
problems(16, [412830756]). 
problems(16, [834512760]). 
problems(16, [463215807]). 
problems(16, [634120578]). 
problems(16, [471502836]). 
problems(16, [432861057]). 
problems(16, [620418375]). 
problems(16, [640235187]). 
problems(16, [460185273]). 
problems(16, [473182506]). 
problems(16, [612483507]). 
problems(16, [630471582]). 
problems(16, [425807631]). 
problems(16, [035462178]). 
problems(16, [438075162]). 
problems(16, [618204375]). 
problems(16, [467108235]). 
problems(16, [427508631]). 
problems(16, [036152847]). 
problems(16, [652301874]). 
problems(16, [438062751]). 
problems(16, [810243567]). 
problems(16, [614258037]). 
problems(16, [415762803]). 
problems(16, [014286573]). 
problems(16, [063421578]). 
problems(16, [201375468]). 
problems(16, [612804573]). 
problems(16, [601573842]). 
problems(16, [012837645]). 
problems(16, [201438567]). 
problems(16, [610532874]). 
problems(16, [034176528]). 
problems(16, [230146587]). 
problems(16, [031762485]). 
problems(16, [634071285]). 
problems(16, [475213806]). 
problems(16, [617205384]). 
problems(16, [037126548]). 
problems(16, [041278365]). 
problems(16, [031465782]). 
problems(16, [642138075]). 
problems(16, [043267158]). 
problems(16, [063214785]). 
problems(16, [643207518]). 
problems(16, [803264175]). 
problems(16, [426517803]). 
problems(16, [031652874]). 
problems(16, [032651847]). 
problems(16, [023561784]). 
problems(16, [210435867]). 
problems(16, [061472835]). 
problems(16, [681204735]). 
problems(16, [607534182]). 
problems(16, [213465078]). 
problems(16, [603578142]). 
problems(16, [251307468]). 
problems(16, [043278615]). 
problems(16, [201574683]). 
problems(16, [204185637]). 
problems(16, [240167538]). 
problems(16, [073218645]). 
problems(16, [620517843]). 
problems(16, [012745836]). 
problems(16, [031546827]). 
problems(16, [612830457]). 
problems(16, [840312567]). 
problems(16, [437265810]). 
problems(16, [813420567]). 
problems(16, [034258761]). 
problems(16, [671205834]). 
problems(16, [614273850]). 
problems(16, [614807235]). 
problems(16, [063145872]). 
problems(16, [043257861]). 
problems(16, [612583704]). 
problems(16, [805172634]). 
problems(16, [205364871]). 
problems(16, [412306785]). 
problems(16, [827103465]). 
problems(16, [804263571]). 
problems(16, [263405178]). 
problems(16, [247105368]). 
problems(16, [821507643]). 
problems(16, [015827436]). 
problems(16, [810425736]). 
problems(16, [260147583]). 
problems(16, [063218754]). 
problems(16, [605847132]). 
problems(16, [412305876]). 
problems(16, [653172840]). 
problems(16, [061574832]). 
problems(16, [234180765]). 
problems(16, [032871456]). 
problems(16, [035427816]). 
problems(16, [054713268]). 
problems(16, [812706345]). 
problems(16, [805263417]). 
problems(16, [807143265]). 
problems(16, [806243517]). 
problems(16, [615830247]). 
problems(16, [201546783]). 
problems(16, [073241856]). 
problems(16, [673180245]). 
problems(16, [270136584]). 
problems(16, [805164273]). 
problems(16, [638217405]). 
problems(16, [043825167]). 
problems(16, [802564173]). 
problems(16, [835124067]). 
problems(16, [205467318]). 
problems(16, [802574136]). 
problems(16, [201786435]). 
problems(16, [840137562]). 
problems(16, [204756138]). 
problems(16, [804157362]). 
problems(16, [863207145]). 
problems(16, [205731846]). 
problems(16, [842051736]). 
problems(16, [207415836]). 
problems(16, [042578613]). 
problems(16, [642538170]). 
problems(16, [042568731]). 
problems(16, [261530478]). 
problems(16, [807134256]). 
problems(16, [402513768]). 
problems(16, [201875436]). 
problems(16, [802716435]). 
problems(16, [201865473]). 
problems(16, [816702435]). 
problems(16, [413258067]). 
problems(16, [870162435]). 
problems(16, [451306278]). 
problems(16, [421563078]). 
problems(16, [863240175]). 
problems(16, [401762385]). 
problems(16, [208734165]). 
problems(16, [247108563]). 
problems(16, [412803657]). 
problems(16, [205864173]). 
problems(16, [270168534]). 
problems(16, [205874136]). 
problems(16, [450217638]). 
problems(16, [413267058]). 
problems(16, [417263085]). 
problems(16, [820517463]). 
problems(16, [831520746]). 
problems(16, [864012573]). 
problems(16, [657412803]). 
problems(16, [870421536]). 
problems(16, [813267450]). 
problems(16, [432160857]). 
problems(16, [851702436]). 
problems(16, [248130765]). 
problems(16, [205476813]). 
problems(16, [830762154]). 
problems(16, [038745162]). 
problems(16, [807532164]). 
problems(16, [231865074]). 
problems(16, [870215634]). 
problems(16, [850176234]). 
problems(16, [823546107]). 
problems(16, [413258670]). 
problems(16, [460182375]). 
problems(16, [427108536]). 
problems(16, [432068571]). 
problems(16, [428106537]). 
problems(16, [460328175]). 
problems(16, [461308275]). 
problems(16, [274015836]). 
problems(16, [672540831]). 
problems(16, [841705236]). 
problems(16, [230586714]). 
problems(16, [832506714]). 
problems(16, [805741236]). 
problems(16, [238065741]). 
problems(16, [217548603]). 
problems(16, [870264513]). 
problems(16, [401568732]). 
problems(16, [862503741]). 
problems(16, [415802376]). 
problems(16, [402573861]). 
problems(16, [435061827]). 
problems(16, [413562807]). 
problems(16, [406175283]). 
problems(16, [438021567]). 
problems(16, [401768235]). 
problems(16, [837146205]). 
problems(16, [437062581]). 
problems(16, [463170582]). 
problems(16, [427308561]). 
problems(16, [476103285]). 
problems(16, [014283675]). 
problems(16, [205867413]). 
problems(16, [260548731]). 
problems(16, [402738516]). 
problems(16, [258410736]). 
problems(16, [435026817]). 
problems(16, [431526807]). 
problems(16, [836215740]). 
problems(16, [013482567]). 
problems(16, [402785631]). 
problems(16, [613072845]). 
problems(16, [265470831]). 
problems(16, [603274518]). 
problems(16, [642107538]). 
problems(16, [601438572]). 
problems(16, [041238675]). 
problems(16, [408167352]). 
problems(16, [235840716]). 
problems(16, [013564278]). 
problems(16, [421568703]). 
problems(16, [425318760]). 
problems(16, [430861752]). 
problems(16, [451708236]). 
problems(16, [432561780]). 
problems(16, [463250817]). 
problems(16, [025136748]). 
problems(16, [012564738]). 
problems(16, [036172485]). 
problems(16, [458203761]). 
problems(16, [632471085]). 
problems(16, [407586132]). 
problems(16, [021538467]). 
problems(16, [430865217]). 
problems(16, [435810267]). 
problems(16, [037154268]). 
problems(16, [623801475]). 
problems(16, [615342807]). 
problems(16, [651208473]). 
problems(16, [432568701]). 
problems(16, [012854673]). 
problems(16, [032671485]). 
problems(16, [612834075]). 
problems(16, [612807345]). 
problems(16, [645201837]). 
problems(16, [204156378]). 
problems(16, [032476518]). 
problems(16, [432576801]). 
problems(16, [463572018]). 
problems(16, [476018235]). 
problems(16, [615423807]). 
problems(16, [607135482]). 
problems(16, [215308674]). 
problems(16, [608215437]). 
problems(16, [045218367]). 
problems(16, [017432856]). 
problems(16, [063142857]). 
problems(16, [643205817]). 
problems(16, [031752846]). 
problems(16, [041258763]). 
problems(16, [427531860]). 
problems(16, [602851374]). 
problems(16, [631570248]). 
problems(16, [042617538]). 
problems(16, [041753268]). 
problems(16, [602547381]). 
problems(16, [612840537]). 
problems(16, [204135786]). 
problems(16, [043165827]). 
problems(16, [031675248]). 
problems(16, [014638275]). 
problems(16, [052416837]). 
problems(16, [026513847]). 
problems(16, [614527038]). 
problems(16, [031756248]). 
problems(16, [803172564]). 
problems(16, [813072465]). 
problems(16, [643172580]). 
problems(16, [608432571]). 
problems(16, [671208543]). 
problems(16, [074163285]). 
problems(16, [207163458]). 
problems(16, [673240185]). 
problems(16, [061378245]). 
problems(16, [205634178]). 
problems(16, [038261574]). 
problems(16, [608147532]). 
problems(16, [037165482]). 
problems(16, [803174265]). 
problems(16, [617405832]). 
problems(16, [640278531]). 
problems(16, [826403175]). 
problems(16, [241350867]). 
problems(16, [250341867]). 
problems(16, [804125673]). 
problems(16, [240165837]). 
problems(16, [253014867]). 
problems(16, [015468723]). 
problems(16, [015782436]). 
problems(16, [031865472]). 
problems(16, [802371456]). 
problems(16, [201836475]). 
problems(16, [201586347]). 
problems(16, [043576128]). 
problems(16, [670542138]). 
problems(16, [607185234]). 
problems(16, [045318762]). 
problems(16, [614257830]). 
problems(16, [043286715]). 
problems(16, [830127564]). 
problems(16, [245108673]). 
problems(16, [263401875]). 
problems(16, [801574632]). 
problems(16, [421360578]). 
problems(16, [231764085]). 
problems(16, [423061578]). 
problems(16, [245603178]). 
problems(16, [208174536]). 
problems(16, [812463705]). 
problems(16, [216705438]). 
problems(16, [814602573]). 
problems(16, [078132546]). 
problems(16, [823701465]). 
problems(16, [654172803]). 
problems(16, [430152786]). 
problems(16, [801425763]). 
problems(16, [270165438]). 
problems(16, [802365741]). 
problems(16, [825107463]). 
problems(16, [206175843]). 
problems(16, [032578416]). 
problems(16, [861230547]). 
problems(16, [670241853]). 
problems(16, [053814267]). 
problems(16, [025718364]). 
problems(16, [815602437]). 
problems(16, [605872341]). 
problems(16, [831247506]). 
problems(16, [213576084]). 
problems(16, [830176524]). 
problems(16, [830465127]). 
problems(16, [807153246]). 
problems(16, [807241536]). 
problems(16, [657413208]). 
problems(16, [824317065]). 
problems(16, [830247561]). 
problems(16, [647218305]). 
problems(16, [406172385]). 
problems(16, [247360185]). 
problems(16, [237086145]). 
problems(16, [024815763]). 
problems(16, [805237416]). 
problems(16, [673215804]). 
problems(16, [637215840]). 
problems(16, [840162753]). 
problems(16, [671235840]). 
problems(16, [802651734]). 
problems(16, [042863751]). 
problems(16, [054813762]). 
problems(16, [831076254]). 
problems(16, [812460753]). 
problems(16, [605873214]). 
problems(16, [812730564]). 
problems(16, [840253716]). 
problems(16, [801746235]). 
problems(16, [260513784]). 
problems(16, [283401765]). 
problems(16, [814276503]). 
problems(16, [245308761]). 
problems(16, [402581637]). 
problems(16, [874103265]). 
problems(16, [283160547]). 
problems(16, [402573618]). 
problems(16, [805734162]). 
problems(16, [274038165]). 
problems(16, [846105372]). 
problems(16, [247138065]). 
problems(16, [205486731]). 
problems(16, [470263185]). 
problems(16, [048516237]). 
problems(16, [253418706]). 
problems(16, [432071856]). 
problems(16, [401652873]). 
problems(16, [812465730]). 
problems(16, [430561287]). 
problems(16, [413705268]). 
problems(16, [271508436]). 
problems(16, [208563417]). 
problems(16, [401576328]). 
problems(16, [845213706]). 
problems(16, [235840167]). 
problems(16, [401826537]). 
problems(16, [418206573]). 
problems(16, [631402578]). 
problems(16, [462170538]). 
problems(16, [023164578]). 
problems(16, [463502178]). 
problems(16, [873405162]). 
problems(16, [208715436]). 
problems(16, [401832756]). 
problems(16, [832546017]). 
problems(16, [823516704]). 
problems(16, [602154837]). 
problems(16, [253807461]). 
problems(16, [415328706]). 
problems(16, [432518607]). 
problems(16, [215863740]). 
problems(16, [431760285]). 
problems(16, [450236871]). 
problems(16, [471502368]). 
problems(16, [430568127]). 
problems(16, [407158236]). 
problems(16, [453206817]). 
problems(16, [632074185]). 
problems(16, [652304178]). 
problems(16, [470158632]). 
problems(16, [453078162]). 
problems(16, [417268305]). 
problems(16, [463058172]). 
problems(16, [407512836]). 
problems(16, [460512837]). 
problems(16, [842715603]). 
problems(16, [603471285]). 
problems(16, [463501872]). 
problems(16, [402876531]). 
problems(16, [012754638]). 
problems(16, [027134568]). 
problems(16, [258703461]). 
problems(16, [607214538]). 
problems(16, [630147582]). 
problems(16, [430768152]). 
problems(16, [652103847]). 
problems(16, [016354278]). 
problems(16, [601278534]). 
problems(16, [876214503]). 
problems(16, [431820756]). 
problems(16, [842560713]). 
problems(16, [023714568]). 
problems(16, [012583467]). 
problems(16, [605321874]). 
problems(16, [602438517]). 
problems(16, [025431768]). 
problems(16, [601284753]). 
problems(16, [032517648]). 
problems(16, [614237058]). 
problems(16, [241063578]). 
problems(16, [607234581]). 
problems(16, [201367584]). 
problems(16, [473508162]). 
problems(16, [037261548]). 
problems(16, [205431678]). 
problems(16, [201573648]). 
problems(16, [602783145]). 
problems(16, [801253674]). 
problems(16, [023516748]). 
problems(16, [602543718]). 
problems(16, [670412538]). 
problems(16, [064132875]). 
problems(16, [651208734]). 
problems(16, [803142576]). 
problems(16, [204138657]). 
problems(16, [015672438]). 
problems(16, [802136475]). 
problems(16, [015673248]). 
problems(16, [630187452]). 
problems(16, [043186275]). 
problems(16, [613708245]). 
problems(16, [428506731]). 
problems(16, [043165782]). 
problems(16, [012678435]). 
problems(16, [673204581]). 
problems(16, [216407538]). 
problems(16, [673208145]). 
problems(16, [073215468]). 
problems(16, [635042817]). 
problems(16, [608132754]). 
problems(16, [604178253]). 
problems(16, [240135768]). 
problems(16, [601847235]). 
problems(16, [653210874]). 
problems(16, [025613874]). 
problems(16, [012576843]). 
problems(16, [071234856]). 
problems(16, [063415278]). 
problems(16, [053217864]). 
problems(16, [012846735]). 
problems(16, [814205673]). 
problems(16, [063284517]). 
problems(16, [231480567]). 
problems(16, [612874305]). 
problems(16, [651803472]). 
problems(16, [037164852]). 
problems(16, [670184235]). 
problems(16, [810367245]). 
problems(16, [250347168]). 
problems(16, [801365472]). 
problems(16, [401253768]). 
problems(16, [801437562]). 
problems(16, [654173208]). 
problems(16, [236408175]). 
problems(16, [431208675]). 
problems(16, [814273605]). 
problems(16, [204538167]). 
problems(16, [608531472]). 
problems(16, [084132765]). 
problems(16, [031548726]). 
problems(16, [083217546]). 
problems(16, [014528763]). 
problems(16, [602857341]). 
problems(16, [038162754]). 
problems(16, [230571486]). 
problems(16, [602835417]). 
problems(16, [023546817]). 
problems(16, [201578346]). 
problems(16, [615832407]). 
problems(16, [672410583]). 
problems(16, [214705368]). 
problems(16, [041853762]). 
problems(16, [045812637]). 
problems(16, [250137846]). 
problems(16, [250136874]). 
problems(16, [842130567]). 
problems(16, [043276851]). 
problems(16, [043562781]). 
problems(16, [805216437]). 
problems(16, [820416735]). 
problems(16, [074218365]). 
problems(16, [234018765]). 
problems(16, [260143857]). 
problems(16, [027563418]). 
problems(16, [642813507]). 
problems(16, [240517638]). 
problems(16, [645018732]). 
problems(16, [647230518]). 
problems(16, [413602578]). 
problems(16, [432061587]). 
problems(16, [246107583]). 
problems(16, [403261875]). 
problems(16, [237061584]). 
problems(16, [218360547]). 
problems(16, [415230678]). 
problems(16, [208167345]). 
problems(16, [406273185]). 
problems(16, [046218753]). 
problems(16, [201745836]). 
problems(16, [624531870]). 
problems(16, [830126754]). 
problems(16, [035816247]). 
problems(16, [410732568]). 
problems(16, [401372856]). 
problems(16, [035847162]). 
problems(16, [851207463]). 
problems(16, [046275831]). 
problems(16, [063571842]). 
problems(16, [270431865]). 
problems(16, [265310478]). 
problems(16, [035861742]). 
problems(16, [215706483]). 
problems(16, [813276054]). 
problems(16, [412530687]). 
problems(16, [401376258]). 
problems(16, [273045168]). 
problems(16, [238140567]). 
problems(16, [245107863]). 
problems(16, [836210475]). 
problems(16, [230475861]). 
problems(16, [235406817]). 
problems(16, [401653278]). 
problems(16, [431206857]). 
problems(16, [215478603]). 
problems(16, [417206385]). 
problems(16, [253476108]). 
problems(16, [860472135]). 
problems(16, [027564813]). 
problems(16, [043568712]). 
problems(16, [831560247]). 
problems(16, [420531768]). 
problems(16, [402531786]). 
problems(16, [830546127]). 
problems(16, [204537861]). 
problems(16, [850416237]). 
problems(16, [841506237]). 
problems(16, [860213754]). 
problems(16, [431065872]). 
problems(16, [471032568]). 
problems(16, [871234506]). 
problems(16, [450162837]). 
problems(16, [602143578]). 
problems(16, [864107235]). 
problems(16, [413058762]). 
problems(16, [407231865]). 
problems(16, [416283507]). 
problems(16, [275041836]). 
problems(16, [420813765]). 
problems(16, [241853706]). 
problems(16, [817360254]). 
problems(16, [835216704]). 
problems(16, [271546038]). 
problems(16, [436072518]). 
problems(16, [431268570]). 
problems(16, [012364785]). 
problems(16, [631207548]). 
problems(16, [418260375]). 
problems(16, [416280735]). 
problems(16, [408163725]). 
problems(16, [408271536]). 
problems(16, [436218075]). 
problems(16, [471206835]). 
problems(16, [843215760]). 
problems(16, [430715268]). 
problems(16, [420815367]). 
problems(16, [673245810]). 
problems(16, [832715406]). 
problems(16, [472105836]). 
problems(16, [601275438]). 
problems(16, [451280736]). 
problems(16, [602351847]). 
problems(16, [261573840]). 
problems(16, [024136578]). 
problems(16, [601283457]). 
problems(16, [453160827]). 
problems(16, [610238574]). 
problems(16, [453126807]). 
problems(16, [402765381]). 
problems(16, [605372148]). 
problems(16, [631274085]). 
problems(16, [604132857]). 
problems(16, [431528706]). 
problems(16, [604135287]). 
problems(16, [630214857]). 
problems(16, [428507136]). 
problems(16, [463208751]). 
problems(16, [460258731]). 
problems(16, [035261478]). 
problems(16, [641207583]). 
problems(16, [641073285]). 
problems(16, [015263874]). 
problems(16, [034265178]). 
problems(16, [461572308]). 
problems(16, [053162478]). 
problems(16, [607231485]). 
problems(16, [061254378]). 
problems(16, [426513870]). 
problems(16, [601472853]). 
problems(16, [432780516]). 
problems(16, [462710583]). 
problems(16, [462810375]). 
problems(16, [650431278]). 
problems(16, [034165287]). 
problems(16, [607143258]). 
problems(16, [016435278]). 
problems(16, [415836207]). 
problems(16, [053127468]). 
problems(16, [601832574]). 
problems(16, [810362547]). 
problems(16, [231064875]). 
problems(16, [073162548]). 
problems(16, [240173568]). 
problems(16, [681203475]). 
problems(16, [628104735]). 
problems(16, [037164528]). 
problems(16, [630574182]). 
problems(16, [036248175]). 
problems(16, [802431675]). 
problems(16, [673201485]). 
problems(16, [473186205]). 
problems(16, [432715860]). 
problems(16, [014526738]). 
problems(16, [638012475]). 
problems(16, [652108743]). 
problems(16, [427561803]). 
problems(16, [053182746]). 
problems(16, [017265483]). 
problems(16, [802351467]). 
problems(16, [071253846]). 
problems(16, [415862730]). 
problems(16, [478130265]). 
problems(16, [801256347]). 
problems(16, [670234518]). 
problems(16, [201465837]). 
problems(16, [630278514]). 
problems(16, [064217538]). 
problems(16, [240317568]). 
problems(16, [023568174]). 
problems(16, [024576138]). 
problems(16, [230167458]). 
problems(16, [635018472]). 
problems(16, [401362587]). 
problems(16, [062473581]). 
problems(16, [635078142]). 
problems(16, [204378165]). 
problems(16, [245107638]). 
problems(16, [052418736]). 
problems(16, [032817546]). 
problems(16, [043571268]). 
problems(16, [602475813]). 
problems(16, [045613278]). 
problems(16, [035246817]). 
problems(16, [032567418]). 
problems(16, [641523807]). 
problems(16, [038461275]). 
problems(16, [213804765]). 
problems(16, [205418673]). 
problems(16, [680234571]). 
problems(16, [632870145]). 
problems(16, [830146572]). 
problems(16, [034568172]). 
problems(16, [617254803]). 
problems(16, [401523678]). 
problems(16, [412370685]). 
problems(16, [075142836]). 
problems(16, [612587403]). 
problems(16, [830157246]). 
problems(16, [680217543]). 
problems(16, [801527634]). 
problems(16, [812507346]). 
problems(16, [804173256]). 
problems(16, [830174256]). 
problems(16, [802541673]). 
problems(16, [074251836]). 
problems(16, [230745168]). 
problems(16, [651802743]). 
problems(16, [812506374]). 
problems(16, [812530674]). 
problems(16, [805134726]). 
problems(16, [830156274]). 
problems(16, [670281354]). 
problems(16, [204561837]). 
problems(16, [018465273]). 
problems(16, [075146238]). 
problems(16, [038175246]). 
problems(16, [851034267]). 
problems(16, [625813407]). 
problems(16, [072546138]). 
problems(16, [201584763]). 
problems(16, [231507864]). 
problems(16, [801732564]). 
problems(16, [864102537]). 
problems(16, [814372506]). 
problems(16, [415062378]). 
problems(16, [824703165]). 
problems(16, [238061547]). 
problems(16, [837201465]). 
problems(16, [807163425]). 
problems(16, [843261075]). 
problems(16, [401572638]). 
problems(16, [260178435]). 
problems(16, [412068375]). 
problems(16, [813275604]). 
problems(16, [028517436]). 
problems(16, [083215764]). 
problems(16, [420713568]). 
problems(16, [815342706]). 
problems(16, [670235814]). 
problems(16, [204517836]). 
problems(16, [061528743]). 
problems(16, [863021574]). 
problems(16, [025817463]). 
problems(16, [814236570]). 
problems(16, [870132564]). 
problems(16, [450132768]). 
problems(16, [605832714]). 
problems(16, [625710843]). 
problems(16, [625810473]). 
problems(16, [673045218]). 
problems(16, [083415267]). 
problems(16, [205841673]). 
problems(16, [862310475]). 
problems(16, [234750168]). 
problems(16, [608742531]). 
problems(16, [824317506]). 
problems(16, [817230654]). 
problems(16, [204863517]). 
problems(16, [260174853]). 
problems(16, [401368257]). 
problems(16, [817205463]). 
problems(16, [217536048]). 
problems(16, [208156734]). 
problems(16, [263501847]). 
problems(16, [401385267]). 
problems(16, [863105247]). 
problems(16, [263174580]). 
problems(16, [425361078]). 
problems(16, [406183275]). 
problems(16, [042816753]). 
problems(16, [208514736]). 
problems(16, [671524803]). 
problems(16, [241705863]). 
problems(16, [635812470]). 
problems(16, [035862714]). 
problems(16, [842531067]). 
problems(16, [063572814]). 
problems(16, [035748261]). 
problems(16, [408152367]). 
problems(16, [214587603]). 
problems(16, [832465170]). 
problems(16, [402836175]). 
problems(16, [412760538]). 
problems(16, [012473685]). 
problems(16, [610235478]). 
problems(16, [245138760]). 
problems(16, [218705463]). 
problems(16, [832561704]). 
problems(16, [817506234]). 
problems(16, [420718365]). 
problems(16, [273506418]). 
problems(16, [831745062]). 
problems(16, [032174568]). 
problems(16, [407285136]). 
problems(16, [451273806]). 
problems(16, [460253871]). 
problems(16, [461270583]). 
problems(16, [602347185]). 
problems(16, [013267548]). 
problems(16, [621407538]). 
problems(16, [051234678]). 
problems(16, [462318075]). 
problems(16, [460175382]). 
problems(16, [407156832]). 
problems(16, [832750416]). 
problems(16, [832541760]). 
problems(16, [408237516]). 
problems(16, [453208716]). 
problems(16, [405731862]). 
problems(16, [614032875]). 
problems(16, [438120765]). 
problems(16, [435720168]). 
problems(16, [602451738]). 
problems(16, [417502863]). 
problems(16, [258701436]). 
problems(16, [415670238]). 
problems(16, [416270853]). 
problems(16, [601473258]). 
problems(16, [603174258]). 
problems(16, [426513708]). 
problems(16, [023514678]). 
problems(16, [601348275]). 
problems(16, [012457368]). 
problems(16, [473208561]). 
problems(16, [042361875]). 
problems(16, [608132547]). 
problems(16, [235817460]). 
problems(16, [430815762]). 
problems(16, [271546803]). 
problems(16, [031245786]). 
problems(16, [601542738]). 
problems(16, [620513748]). 
problems(16, [602514738]). 
problems(16, [607132845]). 
problems(16, [835712460]). 
problems(16, [460278351]). 
problems(16, [041283765]). 
problems(16, [425806371]). 
problems(16, [204135678]). 
problems(16, [640183275]). 
problems(16, [608213547]). 
problems(16, [017236485]). 
problems(16, [425708361]). 
problems(16, [061243785]). 
problems(16, [650312874]). 
problems(16, [012568437]). 
problems(16, [461523870]). 
problems(16, [032571468]). 
problems(16, [614207853]). 
problems(16, [201435768]). 
problems(16, [012583746]). 
problems(16, [602813745]). 
problems(16, [405826731]). 
problems(16, [203564178]). 
problems(16, [628401537]). 
problems(16, [017258634]). 
problems(16, [673102845]). 
problems(16, [063182475]). 
problems(16, [201754638]). 
problems(16, [026573148]). 
problems(16, [035176482]). 
problems(16, [213067584]). 
problems(16, [016278534]). 
problems(16, [062348175]). 
problems(16, [230174865]). 
problems(16, [203461857]). 
problems(16, [617208453]). 
problems(16, [602587143]). 
problems(16, [605187243]). 
problems(16, [613520874]). 
problems(16, [201457836]). 
problems(16, [804321567]). 
problems(16, [650182743]). 
problems(16, [602485731]). 
problems(16, [650238471]). 
problems(16, [073142865]). 
problems(16, [810253764]). 
problems(16, [612734580]). 
problems(16, [812340567]). 
problems(16, [640273851]). 
problems(16, [081234765]). 
problems(16, [640537182]). 
problems(16, [037128564]). 
problems(16, [083214567]). 
problems(16, [810247365]). 
problems(16, [043175862]). 
problems(16, [623547108]). 
problems(16, [240157368]). 
problems(16, [205413876]). 
problems(16, [805362147]). 
problems(16, [254063178]). 
problems(16, [208163475]). 
problems(16, [231476085]). 
problems(16, [410265378]). 
problems(16, [214508673]). 
problems(16, [064215837]). 
problems(16, [617258304]). 
problems(16, [804125367]). 
problems(16, [615807432]). 
problems(16, [203541867]). 
problems(16, [231670548]). 
problems(16, [031847265]). 
problems(16, [017532864]). 
problems(16, [625710438]). 
problems(16, [042561783]). 
problems(16, [031865247]). 
problems(16, [061542837]). 
problems(16, [624517308]). 
problems(16, [215607438]). 
problems(16, [402138567]). 
problems(16, [804137652]). 
problems(16, [230761485]). 
problems(16, [250438167]). 
problems(16, [617508432]). 
problems(16, [815204763]). 
problems(16, [207436158]). 
problems(16, [216507348]). 
problems(16, [216534078]). 
problems(16, [430126578]). 
problems(16, [201678435]). 
problems(16, [208471635]). 
problems(16, [807163542]). 
problems(16, [023548716]). 
problems(16, [230814765]). 
problems(16, [612578430]). 
problems(16, [830461257]). 
problems(16, [841037265]). 
problems(16, [802436715]). 
problems(16, [678102543]). 
problems(16, [873102546]). 
problems(16, [215708643]). 
problems(16, [806273415]). 
problems(16, [410268573]). 
problems(16, [265413078]). 
problems(16, [215468073]). 
problems(16, [245163807]). 
problems(16, [405327168]). 
problems(16, [246137508]). 
problems(16, [037524816]). 
problems(16, [670521843]). 
problems(16, [801725436]). 
problems(16, [810526734]). 
problems(16, [835041762]). 
problems(16, [078412536]). 
problems(16, [431208756]). 
problems(16, [413072856]). 
problems(16, [860421573]). 
problems(16, [273051846]). 
problems(16, [805167423]). 
problems(16, [216570384]). 
problems(16, [215760384]). 
problems(16, [431502867]). 
problems(16, [834260517]). 
problems(16, [864013275]). 
problems(16, [823705164]). 
problems(16, [205748136]). 
problems(16, [842513607]). 
problems(16, [243058761]). 
problems(16, [835017462]). 
problems(16, [472301568]). 
problems(16, [405361872]). 
problems(16, [460237185]). 
problems(16, [807456132]). 
problems(16, [430178652]). 
problems(16, [463201785]). 
problems(16, [847105632]). 
problems(16, [250814736]). 
problems(16, [843125706]). 
problems(16, [832507416]). 
problems(16, [260534817]). 
problems(16, [260517483]). 
problems(16, [814532706]). 
problems(16, [241580736]). 
problems(16, [814730265]). 
problems(16, [234516807]). 
problems(16, [416502837]). 
problems(16, [403275861]). 
problems(16, [603142587]). 
problems(16, [253860147]). 
problems(16, [416075238]). 
problems(16, [408153276]). 
problems(16, [871236405]). 
problems(16, [467102538]). 
problems(16, [412873605]). 
problems(16, [453067182]). 
problems(16, [416278035]). 
problems(16, [840532716]). 
problems(16, [248501736]). 
problems(16, [274135806]). 
problems(16, [264135870]). 
problems(16, [215834760]). 
problems(16, [816245730]). 
problems(16, [014372568]). 
problems(16, [425801673]). 
problems(16, [614207385]). 
problems(16, [480261375]). 
problems(16, [015237648]). 
problems(16, [612308745]). 
problems(16, [615204738]). 
problems(16, [457108632]). 
problems(16, [452701836]). 
problems(16, [423705861]). 
problems(16, [405827136]). 
problems(16, [643021578]). 
problems(16, [402675831]). 
problems(16, [407165823]). 
problems(16, [031248657]). 
problems(16, [015324867]). 
problems(16, [641230587]). 
problems(16, [481205736]). 
problems(16, [624310578]). 
problems(16, [014236875]). 
problems(16, [475031268]). 
problems(16, [430576281]). 
problems(16, [612430875]). 
problems(16, [630251847]). 
problems(16, [408526137]). 
problems(16, [041327568]). 
problems(16, [602713548]). 
problems(16, [012564387]). 
problems(16, [437015862]). 
problems(16, [417286503]). 
problems(16, [201364785]). 
problems(16, [604273581]). 
problems(16, [413528760]). 
problems(16, [418530267]). 
problems(16, [602517348]). 
problems(16, [016275438]). 
problems(16, [652108437]). 
problems(16, [031287654]). 
problems(16, [043281567]). 
problems(16, [043275168]). 
problems(16, [025418637]). 
problems(16, [640271583]). 
problems(16, [204136587]). 
problems(16, [461275803]). 
problems(16, [203154867]). 
problems(16, [041376285]). 
problems(16, [625170348]). 
problems(16, [463570128]). 
problems(16, [437218560]). 
problems(16, [013465872]). 
problems(16, [041286537]). 
problems(16, [641237508]). 
problems(16, [841203675]). 
problems(16, [037125468]). 
problems(16, [437521806]). 
problems(16, [061235847]). 
problems(16, [025138764]). 
problems(16, [614502873]). 
problems(16, [603187254]). 
problems(16, [425860317]). 
problems(16, [014562837]). 
problems(16, [651047238]). 
problems(16, [031567248]). 
problems(16, [815203467]). 
problems(16, [214308765]). 
problems(16, [061472583]). 
problems(16, [435862170]). 
problems(16, [831206475]). 
problems(16, [802346175]). 
problems(16, [034268571]). 
problems(16, [821307465]). 
problems(16, [637108245]). 
problems(16, [201584637]). 
problems(16, [615273804]). 
problems(16, [071248635]). 
problems(16, [814205367]). 
problems(16, [821430567]). 
problems(16, [614258370]). 
problems(16, [230185476]). 
problems(16, [830251467]). 
problems(16, [210458736]). 
problems(16, [230714568]). 
problems(16, [201385764]). 
problems(16, [615238470]). 
problems(16, [612540873]). 
problems(16, [840132576]). 
problems(16, [645130872]). 
problems(16, [618240735]). 
problems(16, [812430576]). 
problems(16, [673041285]). 
problems(16, [214503876]). 
problems(16, [802531647]). 
problems(16, [802514637]). 
problems(16, [031578462]). 
problems(16, [014738562]). 
problems(16, [046237518]). 
problems(16, [673051248]). 
problems(16, [237054168]). 
problems(16, [413062587]). 
problems(16, [861204537]). 
problems(16, [831264507]). 
problems(16, [817204365]). 
problems(16, [018532746]). 
problems(16, [038215746]). 
problems(16, [210538746]). 
problems(16, [804132756]). 
problems(16, [620574813]). 
problems(16, [641750238]). 
problems(16, [632547018]). 
problems(16, [617240853]). 
problems(16, [026518374]). 
problems(16, [632507814]). 
problems(16, [243081765]). 
problems(16, [214805637]). 
problems(16, [841260537]). 
problems(16, [205736148]). 
problems(16, [805426137]). 
problems(16, [076243518]). 
problems(16, [420513678]). 
problems(16, [243085167]). 
problems(16, [401275368]). 
problems(16, [830247615]). 
problems(16, [461302578]). 
problems(16, [403175682]). 
problems(16, [214605873]). 
problems(16, [608541732]). 
problems(16, [250417836]). 
problems(16, [803245761]). 
problems(16, [625418730]). 
problems(16, [075421836]). 
problems(16, [062571834]). 
problems(16, [025836471]). 
problems(16, [260541378]). 
problems(16, [813067254]). 
problems(16, [064375218]). 
problems(16, [035861274]). 
problems(16, [204816537]). 
problems(16, [248301765]). 
problems(16, [812475603]). 
problems(16, [812467503]). 
problems(16, [802754631]). 
problems(16, [402573186]). 
problems(16, [841263570]). 
problems(16, [860172534]). 
problems(16, [412705638]). 
problems(16, [284103765]). 
problems(16, [235461807]). 
problems(16, [803567142]). 
problems(16, [406217538]). 
problems(16, [248305167]). 
problems(16, [248107365]). 
problems(16, [816237405]). 
problems(16, [274108365]). 
problems(16, [860247135]). 
problems(16, [815263704]). 
problems(16, [074235816]). 
problems(16, [072516834]). 
problems(16, [218504763]). 
problems(16, [246108753]). 
problems(16, [840257613]). 
problems(16, [246135807]). 
problems(16, [076235841]). 
problems(16, [831257460]). 
problems(16, [215437860]). 
problems(16, [235801746]). 
problems(16, [804562371]). 
problems(16, [403186257]). 
problems(16, [230576841]). 
problems(16, [860251734]). 
problems(16, [217508463]). 
problems(16, [871205364]). 
problems(16, [230578461]). 
problems(16, [817235064]). 
problems(16, [453261078]). 
problems(16, [427108365]). 
problems(16, [823541706]). 
problems(16, [860217453]). 
problems(16, [231860754]). 
problems(16, [854210736]). 
problems(16, [835046217]). 
problems(16, [860241753]). 
problems(16, [863015274]). 
problems(16, [408127536]). 
problems(16, [480213567]). 
problems(16, [412708653]). 
problems(16, [450263817]). 
problems(16, [450261873]). 
problems(16, [406185237]). 
problems(16, [421806735]). 
problems(16, [470216385]). 
problems(16, [462501378]). 
problems(16, [425136807]). 
problems(16, [863270154]). 
problems(16, [861245703]). 
problems(16, [407215863]). 
problems(16, [245816037]). 
problems(16, [805763214]). 
problems(16, [417802536]). 
problems(16, [480172536]). 
problems(16, [405782136]). 
problems(16, [407832165]). 
problems(16, [425708136]). 
problems(16, [407186352]). 
problems(16, [463180275]). 
problems(16, [651203748]). 
problems(16, [437260518]). 
problems(16, [630274158]). 
problems(16, [014632578]). 
problems(16, [430827561]). 
problems(16, [407561283]). 
problems(16, [031462758]). 
problems(16, [012637548]). 
problems(16, [025316478]). 
problems(16, [642035178]). 
problems(16, [625130478]). 
problems(16, [614037285]). 
problems(16, [013465287]). 
problems(16, [641027538]). 
problems(16, [621534078]). 
problems(16, [614235087]). 
problems(16, [451806237]). 
problems(16, [634105278]). 
problems(16, [618302475]). 
problems(16, [618203574]). 
problems(16, [016274583]). 
problems(16, [031476582]). 
problems(16, [201438675]). 
problems(16, [032415867]). 
problems(16, [265810743]). 
problems(16, [620531847]). 
problems(16, [014532768]). 
problems(16, [031426857]). 
problems(16, [475032861]). 
problems(16, [624701538]). 
problems(16, [650182437]). 
problems(16, [820134567]). 
problems(16, [617230584]). 
problems(16, [617240385]). 
problems(16, [054261378]). 
problems(16, [405863721]). 
problems(16, [061254837]). 
problems(16, [438065271]). 
problems(16, [617203854]). 
problems(16, [643105872]). 
problems(16, [604157832]). 
problems(16, [602475381]). 
problems(16, [018472635]). 
problems(16, [015478632]). 
problems(16, [217403568]). 
problems(16, [063472185]). 
problems(16, [815204637]). 
problems(16, [035178642]). 
problems(16, [640721538]). 
problems(16, [630821475]). 
problems(16, [601752843]). 
problems(16, [015248763]). 
problems(16, [605138724]). 
problems(16, [034271856]). 
problems(16, [462531870]). 
problems(16, [612803754]). 
problems(16, [425716803]). 
problems(16, [015743268]). 
problems(16, [630175824]). 
problems(16, [634170258]). 
problems(16, [650148237]). 
problems(16, [035127864]). 
problems(16, [063214857]). 
problems(16, [236105478]). 
problems(16, [813062574]). 
problems(16, [205371486]). 
problems(16, [206137584]). 
problems(16, [624708135]). 
problems(16, [802417635]). 
problems(16, [617248035]). 
problems(16, [624573108]). 
problems(16, [204175683]). 
problems(16, [017286534]). 
problems(16, [425103678]). 
problems(16, [821305764]). 
problems(16, [802415673]). 
problems(16, [205418367]). 
problems(16, [201573864]). 
problems(16, [201458763]). 
problems(16, [830245167]). 
problems(16, [608172453]). 
problems(16, [613278450]). 
problems(16, [042817635]). 
problems(16, [435860712]). 
problems(16, [674210538]). 
problems(16, [625413870]). 
problems(16, [204186357]). 
problems(16, [062571348]). 
problems(16, [063471258]). 
problems(16, [064318275]). 
problems(16, [675013248]). 
problems(16, [608532174]). 
problems(16, [608237415]). 
problems(16, [025836147]). 
problems(16, [201854367]). 
problems(16, [625801374]). 
problems(16, [054138762]). 
problems(16, [650187234]). 
problems(16, [618274503]). 
problems(16, [205467183]). 
problems(16, [832076145]). 
problems(16, [230476581]). 
problems(16, [403271568]). 
problems(16, [208147635]). 
problems(16, [830175642]). 
problems(16, [210547836]). 
problems(16, [830127456]). 
problems(16, [802541367]). 
problems(16, [605821734]). 
problems(16, [025718436]). 
problems(16, [820531467]). 
problems(16, [612870354]). 
problems(16, [018536247]). 
problems(16, [804136257]). 
problems(16, [061528374]). 
problems(16, [204516738]). 
problems(16, [038265471]). 
problems(16, [673052841]). 
problems(16, [801674235]). 
problems(16, [218430567]). 
problems(16, [825160347]). 
problems(16, [648213705]). 
problems(16, [423017568]). 
problems(16, [830254761]). 
problems(16, [425108637]). 
problems(16, [405137682]). 
problems(16, [413257608]). 
problems(16, [402387165]). 
problems(16, [042715863]). 
problems(16, [045268713]). 
problems(16, [204751836]). 
problems(16, [231850467]). 
problems(16, [018735462]). 
problems(16, [850241736]). 
problems(16, [236510478]). 
problems(16, [205813746]). 
problems(16, [405128673]). 
problems(16, [402583167]). 
problems(16, [205781643]). 
problems(16, [432180567]). 
problems(16, [245801637]). 
problems(16, [807263514]). 
problems(16, [435201867]). 
problems(16, [827430165]). 
problems(16, [208465173]). 
problems(16, [208475136]). 
problems(16, [284106537]). 
problems(16, [450237168]). 
problems(16, [652810743]). 
problems(16, [406215837]). 
problems(16, [265041873]). 
problems(16, [403265817]). 
problems(16, [853142706]). 
problems(16, [234158760]). 
problems(16, [208461753]). 
problems(16, [231568704]). 
problems(16, [871240536]). 
problems(16, [264150873]). 
problems(16, [208731564]). 
problems(16, [253460817]). 
problems(16, [231576804]). 
problems(16, [263170854]). 
problems(16, [860542137]). 
problems(16, [217546308]). 
problems(16, [870235164]). 
problems(16, [241568073]). 
problems(16, [825701364]). 
problems(16, [412863075]). 
problems(16, [462038175]). 
problems(16, [613204785]). 
problems(16, [248015736]). 
problems(16, [806245713]). 
problems(16, [214835706]). 
problems(16, [231845706]). 
problems(16, [263508741]). 
problems(16, [413560872]). 
problems(16, [014235678]). 
problems(16, [430762518]). 
problems(16, [426531078]). 
problems(16, [460135872]). 
problems(16, [451236807]). 
problems(16, [432058761]). 
problems(16, [415287603]). 
problems(16, [417362580]). 
problems(16, [625403178]). 
problems(16, [416287305]). 
problems(16, [418263705]). 
problems(16, [826514703]). 
problems(16, [401785236]). 
problems(16, [234850761]). 
problems(16, [450237816]). 
problems(16, [408137256]). 
problems(16, [842517630]). 
problems(16, [873160254]). 
problems(16, [438071265]). 
problems(16, [408265371]). 
problems(16, [407265831]). 
problems(16, [415807362]). 
problems(16, [034261587]). 
problems(16, [465071238]). 
problems(16, [613247085]). 
problems(16, [612470538]). 
problems(16, [417508362]). 
problems(16, [437156208]). 
problems(16, [031285647]). 
problems(16, [602375184]). 
problems(16, [254810763]). 
problems(16, [642031875]). 
problems(16, [450268713]). 
problems(16, [435128760]). 
problems(16, [465120873]). 
problems(16, [462513807]). 
problems(16, [641235078]). 
problems(16, [651230478]). 
problems(16, [460178253]). 
problems(16, [640237158]). 
problems(16, [435821067]). 
problems(16, [470185236]). 
problems(16, [412586703]). 
problems(16, [231074568]). 
problems(16, [061273584]). 
problems(16, [018263475]). 
problems(16, [201376485]). 
problems(16, [201368547]). 
problems(16, [653072148]). 
problems(16, [821304567]). 
problems(16, [230157648]). 
problems(16, [034175682]). 
problems(16, [624015837]). 
problems(16, [427518603]). 
problems(16, [012548367]). 
problems(16, [073214586]). 
problems(16, [630541278]). 
problems(16, [863245710]). 
problems(16, [604832175]). 
problems(16, [015832647]). 
problems(16, [632418507]). 
problems(16, [025734168]). 
problems(16, [641503872]). 
problems(16, [618230547]). 
problems(16, [630287154]). 
problems(16, [042571638]). 
problems(16, [810432567]). 
problems(16, [623510478]). 
problems(16, [602514873]). 
problems(16, [016457238]). 
problems(16, [802136547]). 
problems(16, [643218075]). 
problems(16, [230154876]). 
problems(16, [625413708]). 
problems(16, [061238574]). 
problems(16, [015368274]). 
problems(16, [201456738]). 
problems(16, [237104568]). 
problems(16, [205367148]). 
problems(16, [803164572]). 
problems(16, [206431875]). 
problems(16, [601574823]). 
problems(16, [230574168]). 
problems(16, [841205637]). 
problems(16, [234071586]). 
problems(16, [802371564]). 
problems(16, [602751834]). 
problems(16, [452830761]). 
problems(16, [410236578]). 
problems(16, [047361285]). 
problems(16, [023718465]). 
problems(16, [031854267]). 
problems(16, [834201567]). 
problems(16, [073264518]). 
problems(16, [064371285]). 
problems(16, [670248135]). 
problems(16, [260137548]). 
problems(16, [032786145]). 
problems(16, [063175482]). 
problems(16, [043278561]). 
problems(16, [260143785]). 
problems(16, [256403178]). 
problems(16, [032546718]). 
problems(16, [462810753]). 
problems(16, [046712538]). 
problems(16, [214508367]). 
problems(16, [612578304]). 
problems(16, [081247536]). 
problems(16, [640285731]). 
problems(16, [204178356]). 
problems(16, [064251873]). 
problems(16, [631850472]). 
problems(16, [472815603]). 
problems(16, [057431268]). 
problems(16, [674130285]). 
problems(16, [680241735]). 
problems(16, [630872154]). 
problems(16, [016738245]). 
problems(16, [821503746]). 
problems(16, [042568173]). 
problems(16, [406132587]). 
problems(16, [815307462]). 
problems(16, [805463127]). 
problems(16, [831276045]). 
problems(16, [803267541]). 
problems(16, [047358162]). 
problems(16, [816234507]). 
problems(16, [403257168]). 
problems(16, [208165374]). 
problems(16, [852301764]). 
problems(16, [831025764]). 
problems(16, [216507483]). 
problems(16, [214375806]). 
problems(16, [043571826]). 
problems(16, [863012475]). 
problems(16, [042537861]). 
problems(16, [840236571]). 
problems(16, [063278451]). 
problems(16, [672503841]). 
problems(16, [204837165]). 
problems(16, [214530786]). 
problems(16, [240531786]). 
problems(16, [640538271]). 
problems(16, [825106743]). 
problems(16, [241806375]). 
problems(16, [254106873]). 
problems(16, [237501468]). 
problems(16, [208163754]). 
problems(16, [280134765]). 
problems(16, [405231768]). 
problems(16, [405123876]). 
problems(16, [261543078]). 
problems(16, [843206517]). 
problems(16, [263018574]). 
problems(16, [451208637]). 
problems(16, [461203875]). 
problems(16, [416208537]). 
problems(16, [863072145]). 
problems(16, [602845713]). 
problems(16, [038541762]). 
problems(16, [216530874]). 
problems(16, [832405716]). 
problems(16, [423015867]). 
problems(16, [801564723]). 
problems(16, [615832740]). 
problems(16, [642718503]). 
problems(16, [845031267]). 
problems(16, [824530167]). 
problems(16, [240563817]). 
problems(16, [850137264]). 
problems(16, [250814367]). 
problems(16, [812537064]). 
problems(16, [432081765]). 
problems(16, [421508673]). 
problems(16, [215467803]). 
problems(16, [812754603]). 
problems(16, [804572631]). 
problems(16, [825701643]). 
problems(16, [834076152]). 
problems(16, [450361278]). 
problems(16, [205863471]). 
problems(16, [431276058]). 
problems(16, [460251378]). 
problems(16, [843067152]). 
problems(16, [275046138]). 
problems(16, [845106732]). 
problems(16, [402657138]). 
problems(16, [263508174]). 
problems(16, [873106245]). 
problems(16, [860435172]). 
problems(16, [408163572]). 
problems(16, [642830751]). 
problems(16, [807531462]). 
problems(16, [845032761]). 
problems(16, [236145870]). 
problems(16, [230857461]). 
problems(16, [401582736]). 
problems(16, [861250743]). 
problems(16, [204865371]). 
problems(16, [281504736]). 
problems(16, [235416870]). 
problems(16, [452130867]). 
problems(16, [270563418]). 
problems(16, [417035268]). 
problems(16, [405631278]). 
problems(16, [078416235]). 
problems(16, [862513047]). 
problems(16, [412538067]). 
problems(16, [405127863]). 
problems(16, [853146207]). 
problems(16, [841705362]). 
problems(16, [408361275]). 
problems(16, [407265183]). 
problems(16, [612307485]). 
problems(16, [417260583]). 
problems(16, [463072158]). 
problems(16, [461238075]). 
problems(16, [407238615]). 
problems(16, [420516873]). 
problems(16, [241537860]). 
problems(16, [271530864]). 
problems(16, [860235714]). 
problems(16, [805716234]). 
problems(16, [603152847]). 
problems(16, [614205378]). 
problems(16, [425138706]). 
problems(16, [832567140]). 
problems(16, [014236587]). 
problems(16, [402781653]). 
problems(16, [013254867]). 
problems(16, [602431785]). 
problems(16, [471230865]). 
problems(16, [032146578]). 
problems(16, [405176823]). 
problems(16, [602157438]). 
problems(16, [630127548]). 
problems(16, [031254768]). 
problems(16, [451802367]). 
problems(16, [431852067]). 
problems(16, [473106258]). 
problems(16, [872430561]). 
