problems(15, [712486305]). 
problems(15, [760243581]). 
problems(15, [718205634]). 
problems(15, [708152643]). 
problems(15, [501236748]). 
problems(15, [530468271]). 
problems(15, [570426138]). 
problems(15, [350217864]). 
problems(15, [512863407]). 
problems(15, [130426857]). 
problems(15, [783105264]). 
problems(15, [508174236]). 
problems(15, [352407168]). 
problems(15, [316075248]). 
problems(15, [140238567]). 
problems(15, [573140268]). 
problems(15, [302764518]). 
problems(15, [312760485]). 
problems(15, [102537684]). 
problems(15, [315260874]). 
problems(15, [517360284]). 
problems(15, [532416870]). 
problems(15, [524710836]). 
problems(15, [571208436]). 
problems(15, [108735462]). 
problems(15, [345820761]). 
problems(15, [732850416]). 
problems(15, [130462758]). 
problems(15, [160574832]). 
problems(15, [541263870]). 
problems(15, [701283456]). 
problems(15, [153462870]). 
problems(15, [102538476]). 
problems(15, [132578640]). 
problems(15, [730245168]). 
problems(15, [540821736]). 
problems(15, [512467803]). 
problems(15, [506238741]). 
problems(15, [573401268]). 
problems(15, [137524806]). 
problems(15, [352108746]). 
problems(15, [145362870]). 
problems(15, [361072548]). 
problems(15, [531468072]). 
problems(15, [706548132]). 
problems(15, [780234561]). 
problems(15, [518207643]). 
problems(15, [715204638]). 
problems(15, [370248165]). 
problems(15, [316278045]). 
problems(15, [364208175]). 
problems(15, [132507864]). 
problems(15, [317254806]). 
problems(15, [123805467]). 
problems(15, [716203854]). 
problems(15, [128304567]). 
problems(15, [150438267]). 
problems(15, [160254837]). 
problems(15, [340862157]). 
problems(15, [380241765]). 
problems(15, [102863745]). 
problems(15, [301245786]). 
problems(15, [725160348]). 
problems(15, [730164852]). 
problems(15, [705146382]). 
problems(15, [716240385]). 
problems(15, [154063278]). 
problems(15, [105436872]). 
problems(15, [725031864]). 
problems(15, [105437826]). 
problems(15, [351802746]). 
problems(15, [504862713]). 
problems(15, [504872631]). 
problems(15, [731460285]). 
problems(15, [371250846]). 
problems(15, [731280546]). 
problems(15, [350248761]). 
problems(15, [312547860]). 
problems(15, [702564183]). 
problems(15, [741205863]). 
problems(15, [340285761]). 
problems(15, [130824765]). 
problems(15, [380217546]). 
problems(15, [312567804]). 
problems(15, [360284517]). 
problems(15, [730258164]). 
problems(15, [360258417]). 
problems(15, [705128643]). 
problems(15, [120548763]). 
problems(15, [524031867]). 
problems(15, [540312867]). 
problems(15, [514208367]). 
problems(15, [105632874]). 
problems(15, [310265478]). 
problems(15, [715208364]). 
problems(15, [704263581]). 
problems(15, [347218605]). 
problems(15, [301278564]). 
problems(15, [560137248]). 
problems(15, [160528374]). 
problems(15, [532406817]). 
problems(15, [530268417]). 
problems(15, [760542138]). 
problems(15, [543261078]). 
problems(15, [702863415]). 
problems(15, [132864057]). 
problems(15, [104235678]). 
problems(15, [126570438]). 
problems(15, [307214568]). 
problems(15, [537201468]). 
problems(15, [107563482]). 
problems(15, [724503861]). 
problems(15, [754210836]). 
problems(15, [125708436]). 
problems(15, [142805673]). 
problems(15, [362470581]). 
problems(15, [142807635]). 
problems(15, [135742068]). 
problems(15, [534170268]). 
problems(15, [562310478]). 
problems(15, [105782436]). 
problems(15, [314062875]). 
problems(15, [360571842]). 
problems(15, [105468723]). 
problems(15, [142705863]). 
problems(15, [702645831]). 
problems(15, [560431278]). 
problems(15, [301526874]). 
problems(15, [371524806]). 
problems(15, [125438706]). 
problems(15, [516207483]). 
problems(15, [718205463]). 
problems(15, [165302874]). 
problems(15, [128405736]). 
problems(15, [730485162]). 
problems(15, [715263804]). 
problems(15, [763240185]). 
problems(15, [571208364]). 
problems(15, [541806237]). 
problems(15, [140257368]). 
problems(15, [701348265]). 
problems(15, [540826137]). 
problems(15, [512846307]). 
problems(15, [524806137]). 
problems(15, [718506234]). 
problems(15, [360251847]). 
problems(15, [350261874]). 
problems(15, [570263418]). 
problems(15, [340176582]). 
problems(15, [306274518]). 
problems(15, [520134867]). 
problems(15, [725813406]). 
problems(15, [301847265]). 
problems(15, [782410536]). 
problems(15, [341270856]). 
problems(15, [351208764]). 
problems(15, [761235840]). 
problems(15, [570421836]). 
problems(15, [124568703]). 
problems(15, [730125846]). 
problems(15, [564012873]). 
problems(15, [512478603]). 
problems(15, [703265148]). 
problems(15, [760284531]). 
problems(15, [325814067]). 
problems(15, [154206738]). 
problems(15, [315708264]). 
problems(15, [105368274]). 
problems(15, [540217638]). 
problems(15, [345018762]). 
problems(15, [130728465]). 
problems(15, [380216745]). 
problems(15, [102587364]). 
problems(15, [146203857]). 
problems(15, [302157468]). 
problems(15, [715603248]). 
problems(15, [106457238]). 
problems(15, [501367284]). 
problems(15, [361470285]). 
problems(15, [713562048]). 
problems(15, [360187245]). 
problems(15, [142530876]). 
problems(15, [324560817]). 
problems(15, [703186254]). 
problems(15, [172546803]). 
problems(15, [314805762]). 
problems(15, [142607538]). 
problems(15, [761230548]). 
problems(15, [701825436]). 
problems(15, [301462587]). 
problems(15, [501278346]). 
problems(15, [530271486]). 
problems(15, [142508376]). 
problems(15, [140285736]). 
problems(15, [713520864]). 
problems(15, [520148736]). 
problems(15, [712435806]). 
problems(15, [102847536]). 
problems(15, [104287653]). 
problems(15, [123804765]). 
problems(15, [145208367]). 
problems(15, [742051836]). 
problems(15, [504238167]). 
problems(15, [743062185]). 
problems(15, [730461582]). 
problems(15, [125708364]). 
problems(15, [325106748]). 
problems(15, [132856047]). 
problems(15, [530167842]). 
problems(15, [301485267]). 
problems(15, [146237508]). 
problems(15, [105826734]). 
problems(15, [732506814]). 
problems(15, [316204785]). 
problems(15, [153804267]). 
problems(15, [506238174]). 
problems(15, [127536048]). 
problems(15, [157036248]). 
problems(15, [138056247]). 
problems(15, [706185234]). 
problems(15, [516407238]). 
problems(15, [304167258]). 
problems(15, [301468257]). 
problems(15, [160572384]). 
problems(15, [163247508]). 
problems(15, [502763418]). 
problems(15, [701235486]). 
problems(15, [312470685]). 
problems(15, [501863427]). 
problems(15, [310476285]). 
problems(15, [501764283]). 
problems(15, [132870645]). 
problems(15, [172503846]). 
problems(15, [342850716]). 
problems(15, [108265743]). 
problems(15, [132465870]). 
problems(15, [301285764]). 
problems(15, [125473806]). 
problems(15, [740258613]). 
problems(15, [520813764]). 
problems(15, [127530846]). 
problems(15, [723518406]). 
problems(15, [135248706]). 
problems(15, [710432568]). 
problems(15, [760248135]). 
problems(15, [734058162]). 
problems(15, [718206543]). 
problems(15, [150237468]). 
problems(15, [570218634]). 
problems(15, [354027168]). 
problems(15, [320576418]). 
problems(15, [705123846]). 
problems(15, [510247368]). 
problems(15, [148506237]). 
problems(15, [103467258]). 
problems(15, [354062178]). 
problems(15, [312570864]). 
problems(15, [102763548]). 
problems(15, [325461078]). 
problems(15, [523860147]). 
problems(15, [124360578]). 
problems(15, [502836741]). 
problems(15, [541708236]). 
problems(15, [162570834]). 
problems(15, [345812760]). 
problems(15, [341560278]). 
problems(15, [175420836]). 
problems(15, [305812467]). 
problems(15, [501238647]). 
problems(15, [132847560]). 
problems(15, [350182746]). 
problems(15, [370162548]). 
problems(15, [130724568]). 
problems(15, [142567803]). 
problems(15, [102583467]). 
problems(15, [302587146]). 
problems(15, [736215840]). 
problems(15, [376215804]). 
problems(15, [316702548]). 
problems(15, [563108472]). 
problems(15, [738045162]). 
problems(15, [734201568]). 
problems(15, [762503841]). 
problems(15, [745218603]). 
problems(15, [502436718]). 
problems(15, [102678435]). 
problems(15, [362418075]). 
problems(15, [540237168]). 
problems(15, [143085267]). 
problems(15, [160238574]). 
problems(15, [743206518]). 
problems(15, [302417568]). 
problems(15, [730254861]). 
problems(15, [123708465]). 
problems(15, [346218075]). 
problems(15, [541037268]). 
problems(15, [108237465]). 
problems(15, [138024567]). 
problems(15, [105736248]). 
problems(15, [143068257]). 
problems(15, [750241836]). 
problems(15, [730165824]). 
problems(15, [107463528]). 
problems(15, [702834156]). 
problems(15, [123560784]). 
problems(15, [346170285]). 
problems(15, [507213468]). 
problems(15, [347061285]). 
problems(15, [531260748]). 
problems(15, [512704638]). 
problems(15, [132670548]). 
problems(15, [104563872]). 
problems(15, [301248657]). 
problems(15, [315248760]). 
problems(15, [501382764]). 
problems(15, [104528763]). 
problems(15, [341528706]). 
problems(15, [530182476]). 
problems(15, [531208746]). 
problems(15, [530248167]). 
problems(15, [108237546]). 
problems(15, [721508643]). 
problems(15, [137054268]). 
problems(15, [716234508]). 
problems(15, [742308165]). 
problems(15, [703465182]). 
problems(15, [514803267]). 
problems(15, [301842567]). 
problems(15, [762513048]). 
problems(15, [712568043]). 
problems(15, [763018245]). 
problems(15, [753146208]). 
problems(15, [530247861]). 
problems(15, [506138472]). 
problems(15, [316204857]). 
problems(15, [518203746]). 
problems(15, [564013278]). 
problems(15, [347058162]). 
problems(15, [530176824]). 
problems(15, [132564780]). 
problems(15, [506273418]). 
problems(15, [512806374]). 
problems(15, [135427806]). 
problems(15, [125830746]). 
problems(15, [514802637]). 
problems(15, [103254867]). 
problems(15, [732480516]). 
problems(15, [502841673]). 
problems(15, [712538640]). 
problems(15, [713268450]). 
problems(15, [708162453]). 
problems(15, [102345867]). 
problems(15, [180247536]). 
problems(15, [310528746]). 
problems(15, [753142806]). 
problems(15, [302518674]). 
problems(15, [306142875]). 
problems(15, [378102546]). 
problems(15, [146702538]). 
problems(15, [143278605]). 
problems(15, [760184235]). 
problems(15, [728401536]). 
problems(15, [763204581]). 
problems(15, [301748562]). 
problems(15, [364105278]). 
problems(15, [571236408]). 
problems(15, [315264807]). 
problems(15, [502136847]). 
problems(15, [304268571]). 
problems(15, [340268517]). 
problems(15, [560271843]). 
problems(15, [580231764]). 
problems(15, [360247185]). 
problems(15, [528310764]). 
problems(15, [328104765]). 
problems(15, [501436278]). 
problems(15, [315802647]). 
problems(15, [102654837]). 
problems(15, [105362847]). 
problems(15, [301568742]). 
problems(15, [560182743]). 
problems(15, [501372468]). 
problems(15, [540268713]). 
problems(15, [730128456]). 
problems(15, [726514803]). 
problems(15, [308215746]). 
problems(15, [508147632]). 
problems(15, [508463127]). 
problems(15, [713062845]). 
problems(15, [718264503]). 
problems(15, [130475862]). 
problems(15, [315468072]). 
problems(15, [104756238]). 
problems(15, [163405278]). 
problems(15, [163502478]). 
problems(15, [501824367]). 
problems(15, [704156832]). 
problems(15, [312586704]). 
problems(15, [316257804]). 
problems(15, [126534078]). 
problems(15, [156034278]). 
problems(15, [750416238]). 
problems(15, [548106732]). 
problems(15, [178406235]). 
problems(15, [316708245]). 
problems(15, [103568472]). 
problems(15, [364170258]). 
problems(15, [130862457]). 
problems(15, [730546128]). 
problems(15, [314276850]). 
problems(15, [524160378]). 
problems(15, [135462078]). 
problems(15, [702463851]). 
problems(15, [130576284]). 
problems(15, [318460257]). 
problems(15, [702543861]). 
problems(15, [741502836]). 
problems(15, [542830761]). 
problems(15, [714502863]). 
problems(15, [104537862]). 
problems(15, [512604837]). 
problems(15, [365120874]). 
problems(15, [530461287]). 
problems(15, [501463872]). 
problems(15, [341258760]). 
problems(15, [104752836]). 
problems(15, [530281467]). 
problems(15, [740162853]). 
problems(15, [504128673]). 
problems(15, [107425836]). 
problems(15, [750412836]). 
problems(15, [702365841]). 
problems(15, [705184236]). 
problems(15, [705234861]). 
problems(15, [732461085]). 
problems(15, [174208365]). 
problems(15, [512706834]). 
problems(15, [702865143]). 
problems(15, [135824067]). 
problems(15, [340265187]). 
problems(15, [563201847]). 
problems(15, [530187462]). 
problems(15, [307126548]). 
problems(15, [148207365]). 
problems(15, [578106234]). 
problems(15, [745213806]). 
problems(15, [532078164]). 
problems(15, [508216437]). 
problems(15, [530468127]). 
problems(15, [760183254]). 
problems(15, [143562807]). 
problems(15, [312540876]). 
problems(15, [517230846]). 
problems(15, [142860357]). 
problems(15, [145730268]). 
problems(15, [327104568]). 
problems(15, [184203765]). 
problems(15, [145802637]). 
problems(15, [108732564]). 
problems(15, [302651847]). 
problems(15, [102364785]). 
problems(15, [563274810]). 
problems(15, [340271586]). 
problems(15, [715238460]). 
problems(15, [715432860]). 
problems(15, [142807563]). 
problems(15, [301652874]). 
problems(15, [102453867]). 
problems(15, [163245807]). 
problems(15, [146235807]). 
problems(15, [720413568]). 
problems(15, [351042867]). 
problems(15, [126508743]). 
problems(15, [576214803]). 
problems(15, [108534762]). 
problems(15, [165042873]). 
problems(15, [145602873]). 
problems(15, [718502436]). 
problems(15, [108734265]). 
problems(15, [743162580]). 
problems(15, [743182506]). 
problems(15, [541203678]). 
problems(15, [532718064]). 
problems(15, [302678145]). 
problems(15, [345127068]). 
problems(15, [104285637]). 
problems(15, [361520478]). 
problems(15, [573206418]). 
problems(15, [102746538]). 
problems(15, [104283756]). 
problems(15, [106532478]). 
problems(15, [527416308]). 
problems(15, [342078165]). 
problems(15, [521307468]). 
problems(15, [146708235]). 
problems(15, [560281734]). 
problems(15, [317240856]). 
problems(15, [504863217]). 
problems(15, [532861047]). 
problems(15, [546170238]). 
problems(15, [538061247]). 
problems(15, [125834760]). 
problems(15, [531206478]). 
problems(15, [305461872]). 
problems(15, [315802476]). 
problems(15, [734120568]). 
problems(15, [370142865]). 
problems(15, [512468730]). 
problems(15, [742518630]). 
problems(15, [160235478]). 
problems(15, [380214567]). 
problems(15, [130482576]). 
problems(15, [145268703]). 
problems(15, [130428756]). 
problems(15, [150342867]). 
problems(15, [731025864]). 
problems(15, [152304867]). 
problems(15, [543168072]). 
problems(15, [546108372]). 
problems(15, [712460538]). 
problems(15, [705862341]). 
problems(15, [514287603]). 
problems(15, [342718065]). 
problems(15, [360178542]). 
problems(15, [760215384]). 
problems(15, [324576108]). 
problems(15, [702816435]). 
problems(15, [364217508]). 
problems(15, [375016248]). 
problems(15, [321407568]). 
problems(15, [513068247]). 
problems(15, [760234518]). 
problems(15, [315860247]). 
problems(15, [135064782]). 
problems(15, [542130867]). 
problems(15, [365071248]). 
problems(15, [307564182]). 
problems(15, [712806345]). 
problems(15, [712608543]). 
problems(15, [702581634]). 
problems(15, [705642138]). 
problems(15, [134560278]). 
problems(15, [534820761]). 
problems(15, [130567482]). 
problems(15, [107245863]). 
problems(15, [107265483]). 
problems(15, [725108463]). 
problems(15, [501482736]). 
problems(15, [160247583]). 
problems(15, [501286473]). 
problems(15, [345072816]). 
problems(15, [307265841]). 
problems(15, [174032568]). 
problems(15, [705238416]). 
problems(15, [538062741]). 
problems(15, [705431862]). 
problems(15, [752301864]). 
problems(15, [746012538]). 
problems(15, [763104285]). 
problems(15, [573408162]). 
problems(15, [753062148]). 
problems(15, [705841236]). 
problems(15, [562413078]). 
problems(15, [512468073]). 
problems(15, [530186742]). 
problems(15, [504187362]). 
problems(15, [702586431]). 
problems(15, [348216705]). 
problems(15, [147208563]). 
problems(15, [308745162]). 
problems(15, [314067285]). 
problems(15, [102465378]). 
problems(15, [570231684]). 
problems(15, [125860347]). 
problems(15, [512760384]). 
problems(15, [701256348]). 
problems(15, [148230765]). 
problems(15, [102438567]). 
problems(15, [512708643]). 
problems(15, [132860754]). 
problems(15, [102364857]). 
problems(15, [501784236]). 
problems(15, [125463870]). 
problems(15, [342568170]). 
problems(15, [163520874]). 
problems(15, [760235814]). 
problems(15, [532408716]). 
problems(15, [156402873]). 
problems(15, [320517846]). 
problems(15, [183402765]). 
problems(15, [521807436]). 
problems(15, [745032861]). 
problems(15, [506471238]). 
problems(15, [735160842]). 
problems(15, [710362548]). 
problems(15, [104275683]). 
problems(15, [713048265]). 
problems(15, [512836704]). 
problems(15, [504123876]). 
problems(15, [721534068]). 
problems(15, [105237864]). 
problems(15, [152307468]). 
problems(15, [563074218]). 
problems(15, [740163258]). 
problems(15, [315460827]). 
problems(15, [302576481]). 
problems(15, [317260584]). 
problems(15, [325710468]). 
problems(15, [134260587]). 
problems(15, [702631584]). 
problems(15, [362170548]). 
problems(15, [503241867]). 
problems(15, [305168724]). 
problems(15, [134072586]). 
problems(15, [563042871]). 
problems(15, [561234870]). 
problems(15, [571234806]). 
problems(15, [527413806]). 
problems(15, [531024867]). 
problems(15, [560438172]). 
problems(15, [706231485]). 
problems(15, [763280415]). 
problems(15, [106273485]). 
problems(15, [701284653]). 
problems(15, [308172645]). 
problems(15, [703461285]). 
problems(15, [715842603]). 
problems(15, [560473182]). 
problems(15, [732064185]). 
problems(15, [325104678]). 
problems(15, [132546708]). 
problems(15, [102875436]). 
problems(15, [102786435]). 
problems(15, [504167328]). 
problems(15, [513267048]). 
problems(15, [763105248]). 
problems(15, [374206518]). 
problems(15, [134087265]). 
problems(15, [504127863]). 
problems(15, [516203784]). 
problems(15, [384105267]). 
problems(15, [165304278]). 
problems(15, [145603278]). 
problems(15, [301268547]). 
problems(15, [513067284]). 
problems(15, [730246851]). 
problems(15, [142570638]). 
problems(15, [730286154]). 
problems(15, [105476382]). 
problems(15, [507143268]). 
problems(15, [708134256]). 
problems(15, [527103468]). 
problems(15, [354217806]). 
problems(15, [532160847]). 
problems(15, [760142835]). 
problems(15, [704165823]). 
problems(15, [704168253]). 
problems(15, [102857634]). 
problems(15, [540162837]). 
problems(15, [730821465]). 
problems(15, [106534872]). 
problems(15, [546218703]). 
problems(15, [152408736]). 
problems(15, [507142638]). 
problems(15, [318245706]). 
problems(15, [706183245]). 
problems(15, [726503148]). 
problems(15, [703268541]). 
problems(15, [728103465]). 
problems(15, [715308462]). 
problems(15, [764102538]). 
problems(15, [708234165]). 
problems(15, [718302465]). 
problems(15, [725801364]). 
problems(15, [102438675]). 
problems(15, [132865074]). 
problems(15, [532048761]). 
problems(15, [301468572]). 
problems(15, [301756248]). 
problems(15, [137086245]). 
problems(15, [183405267]). 
problems(15, [357416208]). 
problems(15, [534216807]). 
problems(15, [138065274]). 
problems(15, [746018235]). 
problems(15, [301675248]). 
problems(15, [570432168]). 
problems(15, [301576428]). 
problems(15, [302476518]). 
problems(15, [102534786]). 
problems(15, [543160827]). 
problems(15, [523460817]). 
problems(15, [157430268]). 
problems(15, [140236578]). 
problems(15, [502834716]). 
problems(15, [742810635]). 
problems(15, [164250873]). 
problems(15, [362541870]). 
problems(15, [102384567]). 
problems(15, [702846531]). 
problems(15, [530284761]). 
problems(15, [340275168]). 
problems(15, [361402578]). 
problems(15, [560217483]). 
problems(15, [340281567]). 
problems(15, [560234817]). 
problems(15, [530287416]). 
problems(15, [743215860]). 
problems(15, [183205764]). 
problems(15, [128507436]). 
problems(15, [306172485]). 
problems(15, [507164382]). 
problems(15, [714286503]). 
problems(15, [354217068]). 
problems(15, [102836547]). 
problems(15, [572416038]). 
problems(15, [107234865]). 
problems(15, [364051278]). 
problems(15, [714056238]). 
problems(15, [102583746]). 
problems(15, [150427368]). 
problems(15, [537146208]). 
problems(15, [531027468]). 
problems(15, [153062478]). 
problems(15, [370146285]). 
problems(15, [371502468]). 
problems(15, [125430768]). 
problems(15, [301245678]). 
problems(15, [720561348]). 
problems(15, [524810763]). 
problems(15, [512308467]). 
problems(15, [531860472]). 
problems(15, [312864075]). 
problems(15, [701645238]). 
problems(15, [731240856]). 
problems(15, [508712436]). 
problems(15, [530861742]). 
problems(15, [142568730]). 
problems(15, [130278456]). 
problems(15, [130574268]). 
problems(15, [573204816]). 
problems(15, [312568407]). 
problems(15, [102548673]). 
problems(15, [537142806]). 
problems(15, [362051874]). 
problems(15, [725106438]). 
problems(15, [508167342]). 
problems(15, [563270184]). 
problems(15, [732065148]). 
problems(15, [732160485]). 
problems(15, [702381564]). 
problems(15, [136402578]). 
problems(15, [563074182]). 
problems(15, [725416038]). 
problems(15, [143068572]). 
problems(15, [740185236]). 
problems(15, [501378264]). 
problems(15, [301526748]). 
problems(15, [107536428]). 
problems(15, [705236814]). 
problems(15, [752106834]). 
problems(15, [106278534]). 
problems(15, [345068172]). 
problems(15, [305864217]). 
problems(15, [346271508]). 
problems(15, [351804762]). 
problems(15, [172503468]). 
problems(15, [751206843]). 
problems(15, [107532864]). 
problems(15, [342860175]). 
problems(15, [501674238]). 
problems(15, [352810746]). 
problems(15, [702851364]). 
problems(15, [563172840]). 
problems(15, [106275843]). 
problems(15, [312405876]). 
problems(15, [501732864]). 
problems(15, [750182436]). 
problems(15, [530721468]). 
problems(15, [750218643]). 
problems(15, [723405861]). 
problems(15, [148203567]). 
problems(15, [578102436]). 
problems(15, [321405867]). 
problems(15, [108462375]). 
problems(15, [763102845]). 
problems(15, [581204367]). 
problems(15, [732815064]). 
problems(15, [130257648]). 
problems(15, [530278614]). 
problems(15, [147238065]). 
problems(15, [560183247]). 
problems(15, [541276308]). 
problems(15, [514376208]). 
problems(15, [130254876]). 
problems(15, [321547068]). 
problems(15, [304267518]). 
problems(15, [352106847]). 
problems(15, [175046238]). 
problems(15, [738015264]). 
problems(15, [560148237]). 
problems(15, [530762184]). 
problems(15, [560237418]). 
problems(15, [532461807]). 
problems(15, [342501768]). 
problems(15, [130247685]). 
problems(15, [723560814]). 
problems(15, [306147285]). 
problems(15, [312706584]). 
problems(15, [524317806]). 
problems(15, [701238546]). 
problems(15, [132845706]). 
problems(15, [701432865]). 
problems(15, [170534862]). 
problems(15, [132568704]). 
problems(15, [513267480]). 
problems(15, [105847632]). 
problems(15, [530481762]). 
problems(15, [740528631]). 
problems(15, [314520867]). 
problems(15, [541238706]). 
problems(15, [340258167]). 
problems(15, [526401873]). 
problems(15, [523418706]). 
problems(15, [365072841]). 
problems(15, [175042836]). 
problems(15, [764108235]). 
problems(15, [712306485]). 
problems(15, [715362840]). 
problems(15, [724508631]). 
problems(15, [724108365]). 
problems(15, [302875146]). 
problems(15, [542816037]). 
problems(15, [302857164]). 
problems(15, [501284637]). 
problems(15, [124507638]). 
problems(15, [340278615]). 
problems(15, [504162387]). 
problems(15, [361408275]). 
problems(15, [504217368]). 
problems(15, [360428175]). 
problems(15, [580216734]). 
problems(15, [305186742]). 
problems(15, [340257861]). 
problems(15, [324805167]). 
problems(15, [514203876]). 
problems(15, [362048175]). 
problems(15, [370241856]). 
problems(15, [160237548]). 
problems(15, [315460782]). 
problems(15, [318260547]). 
problems(15, [125036874]). 
problems(15, [102738546]). 
problems(15, [524813706]). 
problems(15, [135860742]). 
problems(15, [504862371]). 
problems(15, [341750268]). 
problems(15, [540132768]). 
problems(15, [503172486]). 
problems(15, [730541268]). 
problems(15, [340821765]). 
problems(15, [127564803]). 
problems(15, [523807461]). 
problems(15, [324801765]). 
problems(15, [348102567]). 
problems(15, [142350867]). 
problems(15, [742815603]). 
problems(15, [712436508]). 
problems(15, [137204568]). 
problems(15, [706132845]). 
problems(15, [731264085]). 
problems(15, [725403168]). 
problems(15, [524317068]). 
problems(15, [732516408]). 
problems(15, [342816507]). 
problems(15, [372516048]). 
problems(15, [302517648]). 
problems(15, [502467318]). 
problems(15, [760523148]). 
problems(15, [354176208]). 
problems(15, [125436807]). 
problems(15, [507126438]). 
problems(15, [183204567]). 
problems(15, [514207863]). 
problems(15, [708153246]). 
problems(15, [730268514]). 
problems(15, [734260518]). 
problems(15, [130865247]). 
problems(15, [180234765]). 
problems(15, [360287415]). 
problems(15, [342576018]). 
problems(15, [132764085]). 
problems(15, [314207685]). 
problems(15, [704186352]). 
problems(15, [374160285]). 
problems(15, [154206873]). 
problems(15, [741503862]). 
problems(15, [501832746]). 
problems(15, [508742631]). 
problems(15, [514702368]). 
problems(15, [135720468]). 
problems(15, [562810743]). 
problems(15, [702465813]). 
problems(15, [502364871]). 
problems(15, [501742836]). 
problems(15, [543210867]). 
problems(15, [105487236]). 
problems(15, [107265834]). 
problems(15, [715342806]). 
problems(15, [502714836]). 
problems(15, [326508471]). 
problems(15, [308541762]). 
problems(15, [137245068]). 
problems(15, [714802536]). 
problems(15, [740158632]). 
problems(15, [730564182]). 
problems(15, [502864173]). 
problems(15, [502874136]). 
problems(15, [705816234]). 
problems(15, [314267058]). 
problems(15, [530278461]). 
problems(15, [174236508]). 
problems(15, [145376208]). 
problems(15, [307261548]). 
problems(15, [536108274]). 
problems(15, [521806734]). 
problems(15, [163572048]). 
problems(15, [502476813]). 
problems(15, [530276841]). 
problems(15, [543160782]). 
problems(15, [105243867]). 
problems(15, [574103268]). 
problems(15, [534160872]). 
problems(15, [731850462]). 
problems(15, [531820746]). 
problems(15, [560172483]). 
problems(15, [123045867]). 
problems(15, [541273806]). 
problems(15, [153472806]). 
problems(15, [314258067]). 
problems(15, [136245870]). 
problems(15, [518204763]). 
problems(15, [132074568]). 
problems(15, [103265847]). 
problems(15, [513278604]). 
problems(15, [725801643]). 
problems(15, [701364285]). 
problems(15, [712405638]). 
problems(15, [715268403]). 
problems(15, [728406135]). 
problems(15, [751206438]). 
problems(15, [531748062]). 
problems(15, [301254768]). 
problems(15, [501274683]). 
problems(15, [510426837]). 
problems(15, [520146837]). 
problems(15, [342506817]). 
problems(15, [136240578]). 
problems(15, [706154238]). 
problems(15, [731065284]). 
problems(15, [530862714]). 
problems(15, [360472185]). 
problems(15, [501246783]). 
problems(15, [316270854]). 
problems(15, [530246178]). 
problems(15, [573160284]). 
problems(15, [302567841]). 
problems(15, [302146578]). 
problems(15, [381204765]). 
problems(15, [302845716]). 
problems(15, [361270584]). 
problems(15, [502371486]). 
problems(15, [702561384]). 
problems(15, [135260478]). 
problems(15, [705321864]). 
problems(15, [501362874]). 
problems(15, [371205864]). 
problems(15, [301246587]). 
problems(15, [712508346]). 
problems(15, [701528634]). 
problems(15, [347265810]). 
problems(15, [502418367]). 
problems(15, [314258670]). 
problems(15, [538041762]). 
problems(15, [106275438]). 
problems(15, [703561248]). 
problems(15, [361274085]). 
problems(15, [307264581]). 
problems(15, [741206583]). 
problems(15, [724108536]). 
problems(15, [147258603]). 
problems(15, [732061845]). 
problems(15, [752304168]). 
problems(15, [736102548]). 
problems(15, [531284067]). 
problems(15, [162543078]). 
problems(15, [706145832]). 
problems(15, [530482167]). 
problems(15, [540167238]). 
problems(15, [347260518]). 
problems(15, [301284756]). 
problems(15, [708136245]). 
problems(15, [135246807]). 
problems(15, [341027568]). 
problems(15, [128406537]). 
problems(15, [361475208]). 
problems(15, [763041285]). 
problems(15, [160284735]). 
problems(15, [531276048]). 
problems(15, [301286457]). 
problems(15, [142706583]). 
problems(15, [342016578]). 
problems(15, [725314806]). 
problems(15, [732418506]). 
problems(15, [562470831]). 
problems(15, [362810475]). 
problems(15, [302461785]). 
problems(15, [561230478]). 
problems(15, [502841367]). 
problems(15, [140538762]). 
problems(15, [324561870]). 
problems(15, [305847162]). 
problems(15, [364052871]). 
problems(15, [563012478]). 
problems(15, [501823764]). 
problems(15, [317482506]). 
problems(15, [107534826]). 
problems(15, [304162785]). 
problems(15, [708134562]). 
problems(15, [761243508]). 
problems(15, [746102583]). 
problems(15, [708162345]). 
problems(15, [702531648]). 
problems(15, [702514638]). 
problems(15, [301568274]). 
problems(15, [170468235]). 
problems(15, [573106248]). 
problems(15, [530286714]). 
problems(15, [518207364]). 
problems(15, [137526408]). 
problems(15, [128506734]). 
problems(15, [703164258]). 
problems(15, [570136284]). 
problems(15, [340165827]). 
problems(15, [120564378]). 
problems(15, [341076285]). 
problems(15, [742513860]). 
problems(15, [502136478]). 
problems(15, [134206578]). 
problems(15, [372516804]). 
problems(15, [154802736]). 
problems(15, [172530864]). 
problems(15, [142063578]). 
problems(15, [174250836]). 
problems(15, [502781643]). 
problems(15, [142537860]). 
problems(15, [501236487]). 
problems(15, [730241586]). 
problems(15, [316052874]). 
problems(15, [340721568]). 
problems(15, [360142857]). 
problems(15, [307125846]). 
problems(15, [127543806]). 
problems(15, [304265817]). 
problems(15, [765012843]). 
problems(15, [352401867]). 
problems(15, [547301268]). 
problems(15, [103462785]). 
problems(15, [163278045]). 
problems(15, [563072148]). 
problems(15, [507163842]). 
problems(15, [702451638]). 
problems(15, [718263405]). 
problems(15, [725314068]). 
problems(15, [741206835]). 
problems(15, [530264187]). 
problems(15, [317248065]). 
problems(15, [140286537]). 
problems(15, [570168234]). 
problems(15, [701468235]). 
problems(15, [361248075]). 
problems(15, [710526834]). 
problems(15, [340286715]). 
problems(15, [531206847]). 
problems(15, [520416738]). 
problems(15, [715204863]). 
problems(15, [714208563]). 
problems(15, [360281745]). 
problems(15, [170234685]). 
problems(15, [302864715]). 
problems(15, [702534681]). 
problems(15, [308264517]). 
problems(15, [106437285]). 
problems(15, [374210568]). 
problems(15, [518702634]). 
problems(15, [741260538]). 
problems(15, [735820461]). 
problems(15, [560248731]). 
problems(15, [302864571]). 
problems(15, [701528463]). 
problems(15, [512864703]). 
problems(15, [501273864]). 
problems(15, [316284507]). 
problems(15, [702518364]). 
problems(15, [504128367]). 
problems(15, [315428706]). 
problems(15, [742105836]). 
problems(15, [106452837]). 
problems(15, [316472508]). 
problems(15, [506478132]). 
problems(15, [761204538]). 
problems(15, [312407865]). 
problems(15, [312068475]). 
problems(15, [170248635]). 
problems(15, [123568074]). 
problems(15, [130578462]). 
problems(15, [163524078]). 
problems(15, [310526847]). 
problems(15, [124563807]). 
problems(15, [536210478]). 
problems(15, [315204876]). 
problems(15, [310268574]). 
problems(15, [364075218]). 
problems(15, [740532816]). 
problems(15, [730562481]). 
problems(15, [735046218]). 
problems(15, [506137284]). 
problems(15, [702546813]). 
problems(15, [702835416]). 
problems(15, [341850762]). 
problems(15, [701845632]). 
problems(15, [302461857]). 
problems(15, [132580764]). 
problems(15, [362540817]). 
problems(15, [160472583]). 
problems(15, [730285461]). 
problems(15, [731245860]). 
problems(15, [735042816]). 
problems(15, [507124836]). 
problems(15, [126530874]). 
problems(15, [518203467]). 
problems(15, [138062475]). 
problems(15, [304162857]). 
problems(15, [715463208]). 
problems(15, [734065182]). 
problems(15, [715408632]). 
problems(15, [172546038]). 
problems(15, [302567418]). 
problems(15, [314078265]). 
problems(15, [312547608]). 
problems(15, [513286704]). 
problems(15, [523708164]). 
problems(15, [305246817]). 
problems(15, [538042167]). 
problems(15, [508426137]). 
problems(15, [163570428]). 
problems(15, [314562078]). 
problems(15, [312840567]). 
problems(15, [350461278]). 
problems(15, [518230764]). 
problems(15, [518430267]). 
problems(15, [125843706]). 
problems(15, [314705268]). 
problems(15, [140273568]). 
problems(15, [561240873]). 
problems(15, [142853706]). 
problems(15, [740132586]). 
problems(15, [712568430]). 
problems(15, [143268750]). 
problems(15, [716245830]). 
problems(15, [325108764]). 
problems(15, [132745860]). 
problems(15, [102365874]). 
problems(15, [370214586]). 
problems(15, [302817546]). 
problems(15, [724518603]). 
problems(15, [308152467]). 
problems(15, [364012578]). 
problems(15, [721406538]). 
problems(15, [763180245]). 
problems(15, [560174382]). 
problems(15, [508163472]). 
problems(15, [534076182]). 
problems(15, [701362845]). 
problems(15, [738214506]). 
problems(15, [125347068]). 
problems(15, [701832564]). 
problems(15, [735124068]). 
problems(15, [107238645]). 
problems(15, [308147562]). 
problems(15, [703165842]). 
problems(15, [360175482]). 
problems(15, [713265084]). 
problems(15, [340278561]). 
problems(15, [130825467]). 
problems(15, [314257860]). 
problems(15, [584106237]). 
problems(15, [142357068]). 
problems(15, [741038265]). 
problems(15, [304568172]). 
problems(15, [540136278]). 
problems(15, [730462518]). 
problems(15, [370542168]). 
problems(15, [130546827]). 
problems(15, [512430876]). 
problems(15, [501286347]). 
problems(15, [714360285]). 
problems(15, [162573840]). 
problems(15, [518702463]). 
problems(15, [105742638]). 
problems(15, [132570468]). 
problems(15, [162340578]). 
problems(15, [704512836]). 
problems(15, [146275830]). 
problems(15, [501427836]). 
problems(15, [340571826]). 
problems(15, [541032867]). 
problems(15, [137025468]). 
problems(15, [308461275]). 
problems(15, [516274830]). 
problems(15, [730281564]). 
problems(15, [547108632]). 
problems(15, [305748261]). 
problems(15, [315846207]). 
problems(15, [160278435]). 
problems(15, [563024178]). 
problems(15, [371456208]). 
problems(15, [560213784]). 
problems(15, [560217348]). 
problems(15, [107286534]). 
problems(15, [724516308]). 
problems(15, [708216534]). 
problems(15, [316478205]). 
problems(15, [301476258]). 
problems(15, [541260837]). 
problems(15, [142760385]). 
problems(15, [701235648]). 
problems(15, [325806471]). 
problems(15, [741803265]). 
problems(15, [305862714]). 
problems(15, [712034568]). 
problems(15, [361275804]). 
problems(15, [705168423]). 
problems(15, [347205861]). 
problems(15, [154208763]). 
problems(15, [173052846]). 
problems(15, [543071268]). 
problems(15, [160248753]). 
problems(15, [374205816]). 
problems(15, [301286574]). 
problems(15, [301472856]). 
problems(15, [137082546]). 
problems(15, [305128467]). 
problems(15, [123548706]). 
problems(15, [341025867]). 
problems(15, [324015867]). 
problems(15, [738012465]). 
problems(15, [714268305]). 
problems(15, [781203465]). 
problems(15, [105478632]). 
problems(15, [108472635]). 
problems(15, [502431678]). 
problems(15, [340165782]). 
problems(15, [701428365]). 
problems(15, [560148372]). 
problems(15, [312564708]). 
problems(15, [302816745]). 
problems(15, [517243806]). 
problems(15, [704136258]). 
problems(15, [308216547]). 
problems(15, [508164273]). 
problems(15, [714035268]). 
problems(15, [501432768]). 
problems(15, [340186275]). 
problems(15, [532476018]). 
problems(15, [502863471]). 
problems(15, [720531468]). 
problems(15, [508263417]). 
problems(15, [103276584]). 
problems(15, [725810463]). 
problems(15, [125306478]). 
problems(15, [501864723]). 
problems(15, [312807645]). 
problems(15, [752810436]). 
problems(15, [302851674]). 
problems(15, [104362875]). 
problems(15, [560172834]). 
problems(15, [102573486]). 
problems(15, [723561840]). 
problems(15, [145238760]). 
problems(15, [531268470]). 
problems(15, [354021867]). 
problems(15, [376205841]). 
problems(15, [512843706]). 
problems(15, [103482567]). 
problems(15, [510243867]). 
problems(15, [704132856]). 
problems(15, [105238467]). 
problems(15, [132064875]). 
problems(15, [148502736]). 
problems(15, [103564278]). 
problems(15, [104283675]). 
problems(15, [163274580]). 
problems(15, [763052841]). 
problems(15, [508172634]). 
problems(15, [712308645]). 
problems(15, [708463152]). 
problems(15, [312856407]). 
problems(15, [301274658]). 
problems(15, [360185274]). 
problems(15, [380217465]). 
problems(15, [302586741]). 
problems(15, [146203785]). 
problems(15, [107436258]). 
problems(15, [742056138]). 
problems(15, [364018275]). 
problems(15, [501368247]). 
problems(15, [540231786]). 
problems(15, [340562781]). 
problems(15, [143076258]). 
problems(15, [340276851]). 
problems(15, [514230786]). 
problems(15, [302876154]). 
problems(15, [130476582]). 
problems(15, [124563078]). 
problems(15, [583160247]). 
problems(15, [327540168]). 
problems(15, [325710846]). 
problems(15, [153240867]). 
problems(15, [528701436]). 
problems(15, [531260487]). 
problems(15, [735812460]). 
problems(15, [105642837]). 
problems(15, [310254867]). 
problems(15, [731280465]). 
problems(15, [102854673]). 
problems(15, [150238764]). 
problems(15, [312567480]). 
problems(15, [705164283]). 
problems(15, [342518607]). 
problems(15, [530274168]). 
problems(15, [513420867]). 
problems(15, [351248706]). 
problems(15, [143072856]). 
problems(15, [702814536]). 
problems(15, [312587406]). 
problems(15, [135028746]). 
problems(15, [703245861]). 
problems(15, [721530864]). 
problems(15, [751032864]). 
problems(15, [107432856]). 
problems(15, [302154867]). 
problems(15, [531062847]). 
problems(15, [136072548]). 
problems(15, [102347568]). 
problems(15, [730548162]). 
problems(15, [730825164]). 
problems(15, [125476308]). 
problems(15, [340126857]). 
problems(15, [760251834]). 
problems(15, [760241853]). 
problems(15, [540263817]). 
problems(15, [507163428]). 
problems(15, [501763482]). 
problems(15, [107463852]). 
problems(15, [146270385]). 
problems(15, [516240837]). 
problems(15, [138064257]). 
problems(15, [512706483]). 
problems(15, [524703168]). 
problems(15, [341208567]). 
problems(15, [512804673]). 
problems(15, [304261875]). 
problems(15, [305872641]). 
problems(15, [130845762]). 
problems(15, [312607548]). 
problems(15, [561203874]). 
problems(15, [132780546]). 
problems(15, [340162758]). 
problems(15, [340568712]). 
problems(15, [714238650]). 
problems(15, [512704863]). 
problems(15, [514308762]). 
problems(15, [301482765]). 
problems(15, [361524870]). 
problems(15, [301527846]). 
problems(15, [723541806]). 
problems(15, [502487136]). 
problems(15, [724513806]). 
problems(15, [532081764]). 
problems(15, [138025764]). 
problems(15, [314602578]). 
problems(15, [753108462]). 
problems(15, [705186432]). 
problems(15, [730468152]). 
problems(15, [716280435]). 
problems(15, [125037468]). 
problems(15, [725806134]). 
problems(15, [361254078]). 
problems(15, [517238064]). 
problems(15, [563018274]). 
problems(15, [563208174]). 
problems(15, [501273648]). 
problems(15, [120536847]). 
problems(15, [713064285]). 
problems(15, [701532846]). 
problems(15, [360147258]). 
problems(15, [130247856]). 
problems(15, [305176482]). 
problems(15, [512034867]). 
problems(15, [581204736]). 
problems(15, [134850762]). 
problems(15, [512063478]). 
problems(15, [145820736]). 
problems(15, [507461283]). 
problems(15, [360217584]). 
problems(15, [143528760]). 
problems(15, [761245803]). 
problems(15, [102548367]). 
problems(15, [370412568]). 
problems(15, [510362478]). 
problems(15, [561273408]). 
problems(15, [731062485]). 
problems(15, [524106738]). 
problems(15, [325806147]). 
problems(15, [712608435]). 
problems(15, [162504378]). 
problems(15, [354108762]). 
problems(15, [730248615]). 
problems(15, [370526148]). 
problems(15, [741236508]). 
problems(15, [126503847]). 
problems(15, [152406837]). 
problems(15, [124706538]). 
problems(15, [318506247]). 
problems(15, [361078245]). 
problems(15, [340567182]). 
problems(15, [370281465]). 
problems(15, [380261475]). 
problems(15, [170263548]). 
problems(15, [541230768]). 
problems(15, [715240836]). 
problems(15, [541306278]). 
problems(15, [312764580]). 
problems(15, [715602438]). 
problems(15, [160253874]). 
problems(15, [312784506]). 
problems(15, [513062874]). 
problems(15, [701563842]). 
problems(15, [530174286]). 
problems(15, [504173286]). 
problems(15, [143082765]). 
problems(15, [763012548]). 
problems(15, [510428736]). 
problems(15, [570264813]). 
problems(15, [312578604]). 
problems(15, [342508716]). 
problems(15, [720518634]). 
problems(15, [750312864]). 
problems(15, [348012765]). 
problems(15, [532071468]). 
problems(15, [734061285]). 
problems(15, [723460185]). 
problems(15, [740182635]). 
problems(15, [528104367]). 
problems(15, [341208675]). 
problems(15, [532416708]). 
problems(15, [108437562]). 
problems(15, [701236458]). 
problems(15, [105486732]). 
problems(15, [145263807]). 
problems(15, [302716548]). 
problems(15, [306145278]). 
problems(15, [520816437]). 
problems(15, [723805164]). 
problems(15, [173208564]). 
problems(15, [376214508]). 
problems(15, [507231864]). 
problems(15, [504237861]). 
problems(15, [718305264]). 
problems(15, [136078245]). 
problems(15, [503268471]). 
problems(15, [301562784]). 
problems(15, [780134265]). 
problems(15, [530476128]). 
problems(15, [314207856]). 
problems(15, [147230856]). 
problems(15, [732546018]). 
problems(15, [517230684]). 
problems(15, [702136548]). 
problems(15, [124805763]). 
problems(15, [731840265]). 
problems(15, [135802746]). 
problems(15, [750238461]). 
problems(15, [145308762]). 
problems(15, [731258460]). 
problems(15, [760218453]). 
problems(15, [701245368]). 
problems(15, [153408762]). 
problems(15, [520814736]). 
problems(15, [157032846]). 
problems(15, [321508467]). 
problems(15, [148302765]). 
problems(15, [721304568]). 
problems(15, [703568142]). 
problems(15, [502786134]). 
problems(15, [130275684]). 
problems(15, [501274368]). 
problems(15, [701248563]). 
problems(15, [326510478]). 
problems(15, [120546738]). 
problems(15, [314608275]). 
problems(15, [306175284]). 
problems(15, [370241685]). 
problems(15, [512860734]). 
problems(15, [508163724]). 
problems(15, [304176852]). 
problems(15, [518360247]). 
problems(15, [537061284]). 
problems(15, [154803762]). 
problems(15, [140263875]). 
problems(15, [507432861]). 
problems(15, [102754638]). 
problems(15, [341280765]). 
problems(15, [571240836]). 
problems(15, [143062587]). 
problems(15, [523461870]). 
problems(15, [312807564]). 
problems(15, [340571268]). 
problems(15, [164235870]). 
problems(15, [174235806]). 
problems(15, [305187246]). 
problems(15, [512837406]). 
problems(15, [130258674]). 
problems(15, [316208754]). 
problems(15, [721305864]). 
problems(15, [317504268]). 
problems(15, [730264158]). 
problems(15, [176243508]). 
problems(15, [730164528]). 
problems(15, [712308564]). 
problems(15, [753162840]). 
problems(15, [742301568]). 
problems(15, [342815067]). 
problems(15, [741256038]). 
problems(15, [740138562]). 
problems(15, [702465381]). 
problems(15, [513084267]). 
problems(15, [130854267]). 
problems(15, [102846735]). 
problems(15, [530127864]). 
problems(15, [736210548]). 
problems(15, [521437068]). 
problems(15, [524037168]). 
problems(15, [370418265]). 
problems(15, [348015267]). 
problems(15, [318246507]). 
problems(15, [508734162]). 
problems(15, [364071285]). 
problems(15, [102576843]). 
problems(15, [135064827]). 
problems(15, [751260348]). 
problems(15, [132476085]). 
problems(15, [326570148]). 
problems(15, [724530168]). 
problems(15, [745031268]). 
problems(15, [301246875]). 
problems(15, [312874605]). 
problems(15, [105672438]). 
problems(15, [164230578]). 
problems(15, [160273584]). 
problems(15, [316274580]). 
problems(15, [302857641]). 
problems(15, [301275468]). 
problems(15, [370521846]). 
problems(15, [153208746]). 
problems(15, [315268704]). 
problems(15, [502418673]). 
problems(15, [720518463]). 
problems(15, [708132546]). 
problems(15, [105732846]). 
problems(15, [713248605]). 
problems(15, [507486132]). 
problems(15, [547308162]). 
problems(15, [715803264]). 
problems(15, [715804236]). 
problems(15, [705438261]). 
problems(15, [137045862]). 
problems(15, [316054278]). 
problems(15, [530287164]). 
problems(15, [541236807]). 
problems(15, [314250876]). 
problems(15, [726513408]). 
problems(15, [523416807]). 
problems(15, [148305267]). 
problems(15, [714806235]). 
problems(15, [360572814]). 
problems(15, [712860354]). 
problems(15, [502476381]). 
problems(15, [514730268]). 
problems(15, [125740836]). 
problems(15, [531247806]). 
problems(15, [341260587]). 
problems(15, [302751648]). 
problems(15, [762410583]). 
problems(15, [705812643]). 
problems(15, [712853406]). 
problems(15, [530168724]). 
problems(15, [104236587]). 
problems(15, [732415860]). 
problems(15, [563041278]). 
problems(15, [780142536]). 
problems(15, [530471826]). 
problems(15, [716235804]). 
problems(15, [301287654]). 
problems(15, [706245813]). 
problems(15, [514602873]). 
problems(15, [137540268]). 
problems(15, [530178642]). 
problems(15, [503476182]). 
problems(15, [763208145]). 
problems(15, [570238164]). 
problems(15, [370216485]). 
problems(15, [340287165]). 
problems(15, [546213807]). 
problems(15, [137248560]). 
problems(15, [710438265]). 
problems(15, [563071284]). 
problems(15, [510432867]). 
problems(15, [712430865]). 
problems(15, [731046285]). 
problems(15, [724310568]). 
problems(15, [325704168]). 
problems(15, [142308567]). 
problems(15, [312674508]). 
problems(15, [742130568]). 
problems(15, [703251864]). 
problems(15, [127534860]). 
problems(15, [743021568]). 
problems(15, [360182547]). 
problems(15, [142578603]). 
problems(15, [123704568]). 
problems(15, [305248716]). 
problems(15, [521304867]). 
problems(15, [738216405]). 
problems(15, [715402368]). 
problems(15, [560273481]). 
problems(15, [725804631]). 
problems(15, [305861274]). 
problems(15, [503164872]). 
problems(15, [743028165]). 
problems(15, [370168245]). 
problems(15, [376201548]). 
problems(15, [160523847]). 
problems(15, [513427068]). 
problems(15, [501284763]). 
problems(15, [740253816]). 
problems(15, [320514678]). 
problems(15, [514237068]). 
problems(15, [540317268]). 
problems(15, [108236745]). 
problems(15, [576213408]). 
problems(15, [304127568]). 
problems(15, [531067248]). 
problems(15, [360178254]). 
problems(15, [170234856]). 
problems(15, [513462078]). 
problems(15, [342561807]). 
problems(15, [512470638]). 
problems(15, [154260378]). 
problems(15, [712560483]). 
problems(15, [504137682]). 
problems(15, [357140268]). 
problems(15, [308176254]). 
problems(15, [154320867]). 
problems(15, [345160872]). 
problems(15, [702831654]). 
problems(15, [532841760]). 
problems(15, [702651834]). 
problems(15, [731560248]). 
problems(15, [134270856]). 
problems(15, [763245810]). 
problems(15, [740236581]). 
problems(15, [532817460]). 
problems(15, [501428763]). 
problems(15, [504183267]). 
problems(15, [130548726]). 
problems(15, [102587643]). 
problems(15, [520417836]). 
problems(15, [173205468]). 
problems(15, [730481265]). 
problems(15, [702584136]). 
problems(15, [706152834]). 
problems(15, [706238145]). 
problems(15, [706234581]). 
problems(15, [718203645]). 
problems(15, [351206748]). 
problems(15, [145803267]). 
problems(15, [532168074]). 
problems(15, [305427168]). 
problems(15, [750186234]). 
problems(15, [180246735]). 
problems(15, [317486205]). 
problems(15, [703241568]). 
problems(15, [708236415]). 
problems(15, [723516804]). 
problems(15, [718405236]). 
problems(15, [731024568]). 
problems(15, [345716208]). 
problems(15, [123064578]). 
problems(15, [163470258]). 
problems(15, [530462781]). 
problems(15, [512830746]). 
problems(15, [304176528]). 
problems(15, [704213568]). 
problems(15, [132546870]). 
problems(15, [325041867]). 
problems(15, [102374586]). 
problems(15, [308742561]). 
problems(15, [105872634]). 
problems(15, [305462178]). 
problems(15, [135470826]). 
problems(15, [143267580]). 
problems(15, [314270586]). 
problems(15, [108462753]). 
problems(15, [703142586]). 
problems(15, [501837264]). 
problems(15, [713042568]). 
problems(15, [143287506]). 
problems(15, [516234807]). 
problems(15, [317204586]). 
problems(15, [321540867]). 
problems(15, [348217506]). 
problems(15, [146208753]). 
problems(15, [735218406]). 
problems(15, [342071568]). 
problems(15, [508214736]). 
problems(15, [345712806]). 
problems(15, [306152847]). 
problems(15, [706248531]). 
problems(15, [702854631]). 
problems(15, [783102465]). 
problems(15, [142308675]). 
problems(15, [342168075]). 
problems(15, [702365184]). 
problems(15, [340175862]). 
problems(15, [350186247]). 
problems(15, [104526738]). 
problems(15, [314287065]). 
problems(15, [502413876]). 
problems(15, [106435278]). 
problems(15, [720418365]). 
problems(15, [721503846]). 
problems(15, [574016238]). 
problems(15, [106247538]). 
problems(15, [104367285]). 
problems(15, [710532864]). 
problems(15, [705863214]). 
problems(15, [312860457]). 
problems(15, [312576084]). 
problems(15, [327501468]). 
problems(15, [503146278]). 
problems(15, [351704268]). 
problems(15, [312806754]). 
problems(15, [302871456]). 
problems(15, [538120764]). 
problems(15, [742560813]). 
problems(15, [530468712]). 
problems(15, [320564871]). 
problems(15, [360182475]). 
problems(15, [364102875]). 
problems(15, [580217436]). 
problems(15, [320574816]). 
problems(15, [507481236]). 
problems(15, [150423867]). 
problems(15, [721405836]). 
problems(15, [574012836]). 
problems(15, [703162854]). 
problems(15, [543078162]). 
problems(15, [742106538]). 
problems(15, [702634185]). 
problems(15, [562403871]). 
problems(15, [302541678]). 
problems(15, [702853146]). 
problems(15, [730248561]). 
problems(15, [301284675]). 
problems(15, [502417863]). 
problems(15, [506231847]). 
problems(15, [108532467]). 
problems(15, [514603278]). 
problems(15, [510368274]). 
problems(15, [301542768]). 
problems(15, [125460837]). 
problems(15, [502376184]). 
problems(15, [702546381]). 
problems(15, [345076218]). 
problems(15, [716430285]). 
problems(15, [325416870]). 
problems(15, [725106843]). 
problems(15, [572430861]). 
problems(15, [501437862]). 
problems(15, [512607438]). 
problems(15, [134280765]). 
problems(15, [762310548]). 
problems(15, [105467283]). 
problems(15, [547132860]). 
problems(15, [712804563]). 
problems(15, [541208637]). 
problems(15, [163402875]). 
problems(15, [760142583]). 
problems(15, [730541826]). 
problems(15, [302415867]). 
problems(15, [384102765]). 
problems(15, [536102478]). 
problems(15, [752108436]). 
problems(15, [134065872]). 
problems(15, [375012846]). 
problems(15, [147205368]). 
problems(15, [517204368]). 
problems(15, [763201485]). 
problems(15, [718204365]). 
problems(15, [763102584]). 
problems(15, [541802367]). 
problems(15, [502748136]). 
problems(15, [127508634]). 
problems(15, [314265087]). 
problems(15, [143286705]). 
problems(15, [516237408]). 
problems(15, [305127864]). 
problems(15, [108475236]). 
problems(15, [108465273]). 
problems(15, [763045218]). 
problems(15, [376240518]). 
problems(15, [730862154]). 
problems(15, [760281354]). 
problems(15, [325160478]). 
problems(15, [102543768]). 
problems(15, [320561847]). 
problems(15, [342065178]). 
problems(15, [174208536]). 
problems(15, [751802436]). 
problems(15, [702341586]). 
problems(15, [761250843]). 
problems(15, [143560872]). 
problems(15, [125807634]). 
problems(15, [163504872]). 
problems(15, [340182576]). 
problems(15, [170265843]). 
problems(15, [340128756]). 
problems(15, [320516874]). 
problems(15, [326401578]). 
problems(15, [726501843]). 
problems(15, [315208674]). 
problems(15, [738041265]). 
problems(15, [712063548]). 
problems(15, [712403685]). 
problems(15, [541708362]). 
problems(15, [361450278]). 
problems(15, [501426738]). 
problems(15, [730126854]). 
problems(15, [315426807]). 
problems(15, [751034268]). 
problems(15, [105634278]). 
problems(15, [503164287]). 
problems(15, [563240817]). 
problems(15, [305176824]). 
problems(15, [712540638]). 
problems(15, [104286357]). 
problems(15, [528410736]). 
problems(15, [532814706]). 
problems(15, [705862413]). 
problems(15, [542801763]). 
problems(15, [702361854]). 
problems(15, [514832706]). 
problems(15, [512834760]). 
problems(15, [504837162]). 
problems(15, [153024867]). 
problems(15, [504213867]). 
problems(15, [106432875]). 
problems(15, [120538746]). 
problems(15, [548012736]). 
problems(15, [305178642]). 
problems(15, [703184265]). 
problems(15, [326408175]). 
problems(15, [713246085]). 
problems(15, [703182564]). 
problems(15, [706132584]). 
problems(15, [503264178]). 
problems(15, [705134682]). 
problems(15, [537064182]). 
problems(15, [512803647]). 
problems(15, [102865473]). 
problems(15, [501368472]). 
problems(15, [743105862]). 
problems(15, [712538064]). 
problems(15, [760135284]). 
problems(15, [760213854]). 
problems(15, [316287405]). 
problems(15, [502716438]). 
problems(15, [360257814]). 
problems(15, [516207348]). 
problems(15, [348107265]). 
problems(15, [165043278]). 
problems(15, [317508462]). 
problems(15, [750138264]). 
problems(15, [364270185]). 
problems(15, [504137826]). 
problems(15, [742531068]). 
problems(15, [143276085]). 
problems(15, [356170248]). 
problems(15, [754130268]). 
problems(15, [312407586]). 
problems(15, [324106578]). 
problems(15, [702681435]). 
problems(15, [104825736]). 
problems(15, [702538614]). 
problems(15, [312576840]). 
problems(15, [315807462]). 
problems(15, [753021864]). 
problems(15, [730425861]). 
problems(15, [324571806]). 
problems(15, [176245803]). 
problems(15, [514208673]). 
problems(15, [308265471]). 
problems(15, [304125867]). 
problems(15, [732168045]). 
problems(15, [746103285]). 
problems(15, [716208534]). 
problems(15, [746201538]). 
problems(15, [712463580]). 
problems(15, [712483506]). 
problems(15, [718203564]). 
problems(15, [706182435]). 
problems(15, [524801367]). 
problems(15, [135840267]). 
problems(15, [531278064]). 
problems(15, [534018762]). 
problems(15, [123047568]). 
problems(15, [102457368]). 
problems(15, [543126807]). 
problems(15, [174038265]). 
problems(15, [735216804]). 
problems(15, [708532164]). 
problems(15, [137058462]). 
problems(15, [103267548]). 
problems(15, [163270854]). 
problems(15, [341502867]). 
problems(15, [105863724]). 
problems(15, [504176823]). 
problems(15, [104235786]). 
problems(15, [104256378]). 
problems(15, [516270384]). 
problems(15, [147360285]). 
problems(15, [142806753]). 
problems(15, [501864372]). 
problems(15, [302671485]). 
problems(15, [541280736]). 
problems(15, [372541806]). 
problems(15, [125807463]). 
problems(15, [134258760]). 
problems(15, [301752846]). 
problems(15, [570162438]). 
problems(15, [160528743]). 
problems(15, [350218467]). 
problems(15, [314280567]). 
problems(15, [502817643]). 
problems(15, [508127436]). 
problems(15, [153802764]). 
problems(15, [357412806]). 
problems(15, [516702438]). 
problems(15, [304561278]). 
problems(15, [164273508]). 
problems(15, [325416708]). 
problems(15, [341278065]). 
problems(15, [502417638]). 
problems(15, [307165482]). 
problems(15, [153027468]). 
problems(15, [713524068]). 
problems(15, [706135248]). 
problems(15, [750314268]). 
problems(15, [308261574]). 
problems(15, [132068574]). 
problems(15, [371405268]). 
problems(15, [540231678]). 
problems(15, [743210568]). 
problems(15, [712530684]). 
problems(15, [514230678]). 
problems(15, [315740268]). 
problems(15, [512306847]). 
problems(15, [732860451]). 
problems(15, [532860174]). 
problems(15, [301865472]). 
problems(15, [704251836]). 
problems(15, [145832706]). 
problems(15, [102854367]). 
problems(15, [173245860]). 
problems(15, [302578416]). 
problems(15, [714052836]). 
problems(15, [530827461]). 
problems(15, [530142786]). 
problems(15, [132508467]). 
problems(15, [536214870]). 
problems(15, [138245760]). 
problems(15, [106245837]). 
problems(15, [701438562]). 
problems(15, [710368245]). 
problems(15, [730146582]). 
problems(15, [725814603]). 
problems(15, [162403578]). 
problems(15, [732568140]). 
problems(15, [732061584]). 
problems(15, [301285647]). 
problems(15, [170238465]). 
problems(15, [501486237]). 
problems(15, [340578162]). 
problems(15, [156403278]). 
problems(15, [123546807]). 
problems(15, [504236817]). 
problems(15, [532084167]). 
problems(15, [127308564]). 
problems(15, [712830564]). 
problems(15, [730186452]). 
problems(15, [532076148]). 
problems(15, [128403765]). 
problems(15, [362514807]). 
problems(15, [307542861]). 
problems(15, [534812760]). 
problems(15, [742610538]). 
problems(15, [104837265]). 
problems(15, [132850467]). 
problems(15, [170432865]). 
problems(15, [714236580]). 
problems(15, [137062584]). 
problems(15, [751208463]). 
problems(15, [513082764]). 
problems(15, [130852764]). 
problems(15, [741235806]). 
problems(15, [317258604]). 
problems(15, [723801465]). 
problems(15, [364215807]). 
problems(15, [145208673]). 
problems(15, [124705836]). 
problems(15, [706541238]). 
problems(15, [704185632]). 
problems(15, [342510678]). 
problems(15, [302546718]). 
problems(15, [301458762]). 
problems(15, [340267158]). 
problems(15, [142568073]). 
problems(15, [304175682]). 
problems(15, [360214785]). 
problems(15, [127563408]). 
problems(15, [730126548]). 
problems(15, [514283706]). 
problems(15, [351047268]). 
problems(15, [321507864]). 
problems(15, [507148236]). 
problems(15, [708165243]). 
problems(15, [306157248]). 
problems(15, [570231846]). 
problems(15, [540832167]). 
problems(15, [132576804]). 
problems(15, [351260478]). 
problems(15, [341265078]). 
problems(15, [102546378]). 
problems(15, [527430168]). 
problems(15, [701236845]). 
problems(15, [158203764]). 
problems(15, [528104736]). 
problems(15, [125806743]). 
problems(15, [543061872]). 
problems(15, [130265487]). 
problems(15, [570132864]). 
problems(15, [512437860]). 
problems(15, [362518470]). 
problems(15, [563021874]). 
problems(15, [760521843]). 
problems(15, [360421578]). 
problems(15, [514372806]). 
problems(15, [302715846]). 
problems(15, [513287406]). 
problems(15, [316207584]). 
problems(15, [342061875]). 
problems(15, [362041578]). 
problems(15, [508162374]). 
problems(15, [708263514]). 
problems(15, [708432561]). 
problems(15, [705834162]). 
problems(15, [756102843]). 
problems(15, [371208465]). 
problems(15, [504738261]). 
problems(15, [302786145]). 
problems(15, [360145872]). 
problems(15, [504127638]). 
problems(15, [560278134]). 
problems(15, [502867341]). 
problems(15, [563048172]). 
problems(15, [160243785]). 
problems(15, [340825167]). 
problems(15, [370218645]). 
problems(15, [351246807]). 
problems(15, [702514863]). 
problems(15, [135026847]). 
problems(15, [150347268]). 
problems(15, [132078465]). 
problems(15, [548016237]). 
problems(15, [340762185]). 
problems(15, [705134826]). 
problems(15, [318240765]). 
problems(15, [102836475]). 
problems(15, [125037846]). 
problems(15, [371208546]). 
problems(15, [325801467]). 
problems(15, [132470586]). 
problems(15, [731450268]). 
problems(15, [145023867]). 
problems(15, [104278356]). 
problems(15, [513072468]). 
problems(15, [360218754]). 
problems(15, [710528436]). 
problems(15, [134082567]). 
problems(15, [120547836]). 
problems(15, [146032578]). 
problems(15, [502138746]). 
problems(15, [107264538]). 
problems(15, [563170482]). 
problems(15, [127403568]). 
problems(15, [716205438]). 
problems(15, [740263185]). 
problems(15, [705362148]). 
problems(15, [351204678]). 
problems(15, [742513608]). 
problems(15, [502647138]). 
problems(15, [143058762]). 
problems(15, [340568271]). 
problems(15, [501746238]). 
problems(15, [512463708]). 
problems(15, [715346208]). 
problems(15, [302514876]). 
problems(15, [520814367]). 
problems(15, [136408275]). 
problems(15, [708241536]). 
problems(15, [308465172]). 
problems(15, [173045268]). 
problems(15, [160542837]). 
problems(15, [560241378]). 
problems(15, [310542867]). 
problems(15, [142830567]). 
problems(15, [105763284]). 
problems(15, [362571048]). 
problems(15, [147230685]). 
problems(15, [506173248]). 
problems(15, [524106873]). 
problems(15, [528703461]). 
problems(15, [542816703]). 
problems(15, [132760584]). 
problems(15, [502761348]). 
problems(15, [704832165]). 
problems(15, [362504871]). 
problems(15, [163072584]). 
problems(15, [325418760]). 
problems(15, [150482736]). 
problems(15, [170462538]). 
problems(15, [743205816]). 
problems(15, [354172806]). 
problems(15, [532071846]). 
problems(15, [107285436]). 
problems(15, [520418763]). 
problems(15, [523701468]). 
problems(15, [708215436]). 
problems(15, [308741265]). 
problems(15, [716208453]). 
problems(15, [526403178]). 
problems(15, [704563182]). 
problems(15, [714283605]). 
problems(15, [531842067]). 
problems(15, [302487165]). 
problems(15, [504816237]). 
problems(15, [102564387]). 
problems(15, [360214857]). 
problems(15, [153476208]). 
problems(15, [102543876]). 
problems(15, [317206485]). 
problems(15, [127546308]). 
problems(15, [517208463]). 
problems(15, [573210468]). 
problems(15, [732561804]). 
problems(15, [102376485]). 
problems(15, [173460285]). 
problems(15, [104236875]). 
problems(15, [342860751]). 
problems(15, [315862740]). 
problems(15, [105324867]). 
problems(15, [301825746]). 
problems(15, [104238657]). 
problems(15, [104372568]). 
problems(15, [301574826]). 
problems(15, [145372806]). 
problems(15, [701245683]). 
problems(15, [124538760]). 
problems(15, [148205763]). 
problems(15, [132065478]). 
problems(15, [731206548]). 
problems(15, [732860145]). 
problems(15, [712854603]). 
problems(15, [701462538]). 
problems(15, [715462803]). 
problems(15, [735068142]). 
problems(15, [702536418]). 
problems(15, [104832567]). 
problems(15, [305816247]). 
problems(15, [103465872]). 
problems(15, [160243857]). 
problems(15, [750213846]). 
problems(15, [501283674]). 
problems(15, [102547863]). 
problems(15, [145203876]). 
problems(15, [137548062]). 
problems(15, [104562837]). 
problems(15, [504261378]). 
problems(15, [530146287]). 
problems(15, [130465827]). 
problems(15, [307164852]). 
problems(15, [520461378]). 
problems(15, [318260475]). 
problems(15, [512340867]). 
problems(15, [150236874]). 
problems(15, [150237846]). 
problems(15, [741230865]). 
problems(15, [532760481]). 
problems(15, [304562871]). 
problems(15, [501438267]). 
problems(15, [540123867]). 
problems(15, [532840716]). 
problems(15, [364275810]). 
problems(15, [502867413]). 
problems(15, [308162754]). 
problems(15, [504321867]). 
problems(15, [340287516]). 
problems(15, [512847603]). 
problems(15, [530128467]). 
problems(15, [584102736]). 
problems(15, [734051268]). 
problems(15, [127305468]). 
problems(15, [731265048]). 
problems(15, [702436581]). 
problems(15, [751403268]). 
problems(15, [532468170]). 
problems(15, [178402536]). 
problems(15, [714263085]). 
problems(15, [104738562]). 
problems(15, [134278065]). 
problems(15, [534127068]). 
problems(15, [763051248]). 
problems(15, [301654278]). 
problems(15, [501826437]). 
problems(15, [502813746]). 
problems(15, [146038275]). 
problems(15, [145207863]). 
problems(15, [138240567]). 
problems(15, [324017568]). 
problems(15, [137028564]). 
problems(15, [170436285]). 
problems(15, [361572408]). 
problems(15, [301572648]). 
problems(15, [512460783]). 
problems(15, [531076284]). 
problems(15, [142806375]). 
problems(15, [753210864]). 
problems(15, [342718506]). 
problems(15, [572416803]). 
problems(15, [105762483]). 
problems(15, [145702368]). 
problems(15, [304271568]). 
problems(15, [702681543]). 
problems(15, [740238651]). 
problems(15, [502467183]). 
problems(15, [317462580]). 
problems(15, [105734862]). 
problems(15, [314072568]). 
problems(15, [560132847]). 
problems(15, [547162803]). 
problems(15, [146207583]). 
problems(15, [318452706]). 
problems(15, [756103248]). 
problems(15, [706182543]). 
problems(15, [734062581]). 
problems(15, [312706845]). 
problems(15, [314257608]). 
problems(15, [730568241]). 
problems(15, [530728164]). 
problems(15, [780146235]). 
problems(15, [508126734]). 
problems(15, [307146258]). 
problems(15, [378106245]). 
problems(15, [542706138]). 
problems(15, [350148267]). 
problems(15, [701436285]). 
problems(15, [102573648]). 
problems(15, [534076218]). 
problems(15, [732516840]). 
problems(15, [125840763]). 
problems(15, [182503764]). 
problems(15, [725416803]). 
problems(15, [732815406]). 
problems(15, [372540861]). 
problems(15, [301547862]). 
problems(15, [710253864]). 
problems(15, [152840736]). 
problems(15, [130265748]). 
problems(15, [302567184]). 
problems(15, [305167284]). 
problems(15, [103472586]). 
problems(15, [560421873]). 
problems(15, [573102846]). 
problems(15, [534072816]). 
problems(15, [324701568]). 
problems(15, [307142856]). 
problems(15, [708531462]). 
problems(15, [508421736]). 
problems(15, [714205368]). 
problems(15, [741032568]). 
problems(15, [140362578]). 
problems(15, [125403678]). 
problems(15, [523476108]). 
problems(15, [701462385]). 
problems(15, [751803462]). 
problems(15, [708245631]). 
problems(15, [512308674]). 
problems(15, [130567248]). 
problems(15, [360275184]). 
problems(15, [753024168]). 
problems(15, [501384267]). 
problems(15, [104378265]). 
problems(15, [340728165]). 
problems(15, [341526807]). 
problems(15, [153206847]). 
problems(15, [103487265]). 
problems(15, [107426538]). 
problems(15, [324708165]). 
problems(15, [308542167]). 
problems(15, [516708234]). 
problems(15, [501462837]). 
problems(15, [340576128]). 
problems(15, [134265078]). 
problems(15, [301256478]). 
problems(15, [315670248]). 
problems(15, [325610874]). 
problems(15, [702438516]). 
problems(15, [130745268]). 
problems(15, [305821764]). 
problems(15, [132480567]). 
problems(15, [125408637]). 
problems(15, [760132485]). 
problems(15, [104527836]). 
problems(15, [104286573]). 
problems(15, [160235847]). 
problems(15, [503182467]). 
problems(15, [102745836]). 
problems(15, [316258407]). 
problems(15, [548107236]). 
problems(15, [347051268]). 
problems(15, [503162784]). 
problems(15, [517248603]). 
problems(15, [730284165]). 
problems(15, [731264508]). 
problems(15, [142706835]). 
problems(15, [325816407]). 
problems(15, [530174862]). 
problems(15, [315207648]). 
problems(15, [150486237]). 
problems(15, [560423178]). 
problems(15, [371526408]). 
problems(15, [142563708]). 
problems(15, [503187264]). 
problems(15, [126508374]). 
problems(15, [135068472]). 
problems(15, [304165287]). 
problems(15, [763140258]). 
problems(15, [501862347]). 
problems(15, [125830467]). 
problems(15, [542360178]). 
problems(15, [125347806]). 
problems(15, [712806453]). 
problems(15, [312864750]). 
problems(15, [731540862]). 
problems(15, [134750268]). 
problems(15, [315062478]). 
problems(15, [745120836]). 
problems(15, [163072845]). 
problems(15, [740531862]). 
problems(15, [734205861]). 
problems(15, [360528471]). 
problems(15, [105827436]). 
problems(15, [326514870]). 
problems(15, [156032874]). 
problems(15, [128305764]). 
problems(15, [516402837]). 
problems(15, [304265178]). 
problems(15, [736108245]). 
problems(15, [702485631]). 
problems(15, [718402635]). 
problems(15, [502678134]). 
problems(15, [312567048]). 
problems(15, [130267458]). 
problems(15, [314527068]). 
problems(15, [502486731]). 
problems(15, [147253806]). 
problems(15, [306248175]). 
problems(15, [705231468]). 
problems(15, [362054178]). 
problems(15, [103465287]). 
problems(15, [104532768]). 
problems(15, [307164528]). 
problems(15, [317240685]). 
problems(15, [748130265]). 
problems(15, [345201867]). 
problems(15, [725810634]). 
problems(15, [312805674]). 
problems(15, [301864275]). 
problems(15, [165420873]). 
problems(15, [715832406]). 
problems(15, [730162458]). 
problems(15, [730568412]). 
problems(15, [701248356]). 
problems(15, [123568740]). 
problems(15, [514362870]). 
problems(15, [102538647]). 
problems(15, [312705864]). 
problems(15, [135428760]). 
problems(15, [523471806]). 
problems(15, [543128706]). 
problems(15, [534218706]). 
problems(15, [542701836]). 
problems(15, [103462857]). 
problems(15, [743186205]). 
problems(15, [543067182]). 
problems(15, [560472138]). 
problems(15, [702346185]). 
problems(15, [507263481]). 
problems(15, [501874632]). 
problems(15, [718234560]). 
problems(15, [712803546]). 
problems(15, [502367148]). 
problems(15, [360158472]). 
problems(15, [145207638]). 
problems(15, [317405862]). 
problems(15, [130465782]). 
problems(15, [702564318]). 
problems(15, [504327168]). 
problems(15, [301524678]). 
problems(15, [547163208]). 
problems(15, [716205384]). 
problems(15, [308175246]). 
problems(15, [308157264]). 
problems(15, [140368275]). 
problems(15, [740138256]). 
problems(15, [701562834]). 
problems(15, [130762485]). 
problems(15, [130486275]). 
problems(15, [370264518]). 
problems(15, [741260385]). 
problems(15, [706243518]). 
problems(15, [361270845]). 
problems(15, [762540831]). 
problems(15, [135862470]). 
problems(15, [502361784]). 
problems(15, [705421836]). 
problems(15, [502381467]). 
problems(15, [512863740]). 
problems(15, [512408376]). 
problems(15, [704158236]). 
problems(15, [521430867]). 
problems(15, [318502746]). 
problems(15, [508731264]). 
problems(15, [504362178]). 
problems(15, [563208741]). 
problems(15, [706245138]). 
problems(15, [304257168]). 
problems(15, [735018462]). 
problems(15, [107465382]). 
problems(15, [173056248]). 
problems(15, [513078264]). 
problems(15, [543217068]). 
problems(15, [723546108]). 
problems(15, [320516748]). 
problems(15, [765013248]). 
problems(15, [318456207]). 
problems(15, [160274853]). 
problems(15, [530186274]). 
problems(15, [531264807]). 
problems(15, [142560783]). 
problems(15, [513276084]). 
problems(15, [154703268]). 
problems(15, [342760581]). 
problems(15, [105862374]). 
problems(15, [160472835]). 
problems(15, [360278451]). 
problems(15, [354162870]). 
problems(15, [524108763]). 
problems(15, [361452870]). 
problems(15, [371452806]). 
problems(15, [701342568]). 
problems(15, [701423568]). 
problems(15, [530187246]). 
problems(15, [701253468]). 
problems(15, [370265814]). 
problems(15, [732508416]). 
problems(15, [708234516]). 
problems(15, [504238716]). 
problems(15, [138052746]). 
problems(15, [715602843]). 
