problems(17, [140238675]). 
problems(17, [150263478]). 
problems(17, [540137862]). 
problems(17, [514086237]). 
problems(17, [570312468]). 
problems(17, [315762804]). 
problems(17, [534071286]). 
problems(17, [570132486]). 
problems(17, [514270836]). 
problems(17, [540271836]). 
problems(17, [347028561]). 
problems(17, [514326807]). 
problems(17, [365218407]). 
problems(17, [503248761]). 
problems(17, [516042873]). 
problems(17, [530178426]). 
problems(17, [512608473]). 
problems(17, [514360827]). 
problems(17, [542107863]). 
problems(17, [730184562]). 
problems(17, [120456837]). 
problems(17, [102637485]). 
problems(17, [132506478]). 
problems(17, [106234857]). 
problems(17, [135078642]). 
problems(17, [138072645]). 
problems(17, [374052816]). 
problems(17, [357046218]). 
problems(17, [362415870]). 
problems(17, [327546018]). 
problems(17, [574108362]). 
problems(17, [730156842]). 
problems(17, [548301762]). 
problems(17, [560278341]). 
problems(17, [702386154]). 
problems(17, [516378204]). 
problems(17, [706135482]). 
problems(17, [705238164]). 
problems(17, [730168425]). 
problems(17, [712643508]). 
problems(17, [740183265]). 
problems(17, [548107362]). 
problems(17, [103526847]). 
problems(17, [120538467]). 
problems(17, [160378245]). 
problems(17, [142673508]). 
problems(17, [135462807]). 
problems(17, [360528714]). 
problems(17, [528701364]). 
problems(17, [580146732]). 
problems(17, [538217406]). 
problems(17, [740128653]). 
problems(17, [740621538]). 
problems(17, [701652843]). 
problems(17, [572431806]). 
problems(17, [725041836]). 
problems(17, [713068254]). 
problems(17, [721546038]). 
problems(17, [570248613]). 
problems(17, [574132806]). 
problems(17, [561238740]). 
problems(17, [518237460]). 
problems(17, [732540168]). 
problems(17, [751046238]). 
problems(17, [753168042]). 
problems(17, [760483152]). 
problems(17, [578406132]). 
problems(17, [125843067]). 
problems(17, [147056238]). 
problems(17, [154236807]). 
problems(17, [342061587]). 
problems(17, [105827643]). 
problems(17, [147052836]). 
problems(17, [160278354]). 
problems(17, [125840637]). 
problems(17, [153460827]). 
problems(17, [135076824]). 
problems(17, [148026537]). 
problems(17, [145326807]). 
problems(17, [147350268]). 
problems(17, [132587046]). 
problems(17, [107564283]). 
problems(17, [180237564]). 
problems(17, [125806374]). 
problems(17, [340256178]). 
problems(17, [312465078]). 
problems(17, [106738245]). 
problems(17, [124738065]). 
problems(17, [503174682]). 
problems(17, [731520846]). 
problems(17, [785102436]). 
problems(17, [746180235]). 
problems(17, [763501842]). 
problems(17, [756413208]). 
problems(17, [320518647]). 
problems(17, [301465827]). 
problems(17, [304158267]). 
problems(17, [340156287]). 
problems(17, [501438672]). 
problems(17, [173486205]). 
problems(17, [502483167]). 
problems(17, [514263078]). 
problems(17, [175248603]). 
problems(17, [360471582]). 
problems(17, [315476082]). 
problems(17, [751806234]). 
problems(17, [750826134]). 
problems(17, [712865403]). 
problems(17, [753801264]). 
problems(17, [724561803]). 
problems(17, [301548267]). 
problems(17, [304512867]). 
problems(17, [312678405]). 
problems(17, [516043278]). 
problems(17, [315276804]). 
problems(17, [346072518]). 
problems(17, [317802546]). 
problems(17, [145762803]). 
problems(17, [341268570]). 
problems(17, [305782146]). 
problems(17, [178430265]). 
problems(17, [384201567]). 
problems(17, [376012548]). 
problems(17, [531082467]). 
problems(17, [380172546]). 
problems(17, [354061872]). 
problems(17, [534106278]). 
problems(17, [513076248]). 
problems(17, [731208645]). 
problems(17, [351806247]). 
problems(17, [350826147]). 
problems(17, [308712546]). 
problems(17, [312846705]). 
problems(17, [342165870]). 
problems(17, [302876415]). 
problems(17, [702418635]). 
problems(17, [730452168]). 
problems(17, [713602548]). 
problems(17, [518307462]). 
problems(17, [543176082]). 
problems(17, [704261385]). 
problems(17, [716032548]). 
problems(17, [705412638]). 
problems(17, [706214538]). 
problems(17, [730256148]). 
problems(17, [517408362]). 
problems(17, [106278345]). 
problems(17, [106483275]). 
problems(17, [154208637]). 
problems(17, [134267085]). 
problems(17, [321548760]). 
problems(17, [380415267]). 
problems(17, [170263485]). 
problems(17, [350812764]). 
problems(17, [302846751]). 
problems(17, [701653248]). 
problems(17, [514763208]). 
problems(17, [516238704]). 
problems(17, [514276803]). 
problems(17, [701285346]). 
problems(17, [712306854]). 
problems(17, [561370284]). 
problems(17, [518236407]). 
problems(17, [563217408]). 
problems(17, [546132807]). 
problems(17, [346275801]). 
problems(17, [543260871]). 
problems(17, [512763480]). 
problems(17, [571260384]). 
problems(17, [710365284]). 
problems(17, [741026538]). 
problems(17, [512486703]). 
problems(17, [762403581]). 
problems(17, [153247068]). 
problems(17, [142803576]). 
problems(17, [123567048]). 
problems(17, [146205738]). 
problems(17, [160258347]). 
problems(17, [310264875]). 
problems(17, [125603874]). 
problems(17, [136057248]). 
problems(17, [146207358]). 
problems(17, [108452367]). 
problems(17, [143258067]). 
problems(17, [136047285]). 
problems(17, [126507348]). 
problems(17, [345268710]). 
problems(17, [530781264]). 
problems(17, [548031267]). 
problems(17, [570243816]). 
problems(17, [580312764]). 
problems(17, [701438256]). 
problems(17, [571038264]). 
problems(17, [725803146]). 
problems(17, [740268531]). 
problems(17, [702863541]). 
problems(17, [736218045]). 
problems(17, [783102546]). 
problems(17, [716432580]). 
problems(17, [160437258]). 
problems(17, [150247863]). 
problems(17, [104573826]). 
problems(17, [105842367]). 
problems(17, [104675238]). 
problems(17, [105724836]). 
problems(17, [312405768]). 
problems(17, [140563827]). 
problems(17, [126540378]). 
problems(17, [145708632]). 
problems(17, [751236804]). 
problems(17, [578401236]). 
problems(17, [732165840]). 
problems(17, [745130862]). 
problems(17, [760418235]). 
problems(17, [714258360]). 
problems(17, [730465812]). 
problems(17, [760238415]). 
problems(17, [735416208]). 
problems(17, [120845736]). 
problems(17, [130825746]). 
problems(17, [134758062]). 
problems(17, [356024178]). 
problems(17, [145763208]). 
problems(17, [318206574]). 
problems(17, [135468270]). 
problems(17, [352460178]). 
problems(17, [157346208]). 
problems(17, [157342806]). 
problems(17, [370162485]). 
problems(17, [132857640]). 
problems(17, [328106475]). 
problems(17, [175243806]). 
problems(17, [721538460]). 
problems(17, [705821463]). 
problems(17, [702836451]). 
problems(17, [723514860]). 
problems(17, [786213405]). 
problems(17, [305824167]). 
problems(17, [370215684]). 
problems(17, [503142876]). 
problems(17, [371204856]). 
problems(17, [312746508]). 
problems(17, [126547803]). 
problems(17, [304258761]). 
problems(17, [372140568]). 
problems(17, [350264817]). 
problems(17, [510246738]). 
problems(17, [508134672]). 
problems(17, [745820631]). 
problems(17, [314526708]). 
problems(17, [305721846]). 
problems(17, [308125764]). 
problems(17, [305427816]). 
problems(17, [502783146]). 
problems(17, [560247138]). 
problems(17, [560143782]). 
problems(17, [513287064]). 
problems(17, [508142673]). 
problems(17, [506182473]). 
problems(17, [702351468]). 
problems(17, [534061782]). 
problems(17, [538102467]). 
problems(17, [512438670]). 
problems(17, [528301467]). 
problems(17, [102574683]). 
problems(17, [103287564]). 
problems(17, [136205478]). 
problems(17, [125308467]). 
problems(17, [160254378]). 
problems(17, [132084765]). 
problems(17, [104382765]). 
problems(17, [105382467]). 
problems(17, [132076584]). 
problems(17, [320548716]). 
problems(17, [540178236]). 
problems(17, [542081736]). 
problems(17, [573021468]). 
problems(17, [374251806]). 
problems(17, [521804763]). 
problems(17, [503761284]). 
problems(17, [532148706]). 
problems(17, [502681473]). 
problems(17, [541607238]). 
problems(17, [318475206]). 
problems(17, [763024185]). 
problems(17, [751208634]). 
problems(17, [732461508]). 
problems(17, [716342508]). 
problems(17, [735162048]). 
problems(17, [538067142]). 
problems(17, [120458736]). 
problems(17, [143062758]). 
problems(17, [510826734]). 
problems(17, [146372508]). 
problems(17, [328517406]). 
problems(17, [352841706]). 
problems(17, [167402538]). 
problems(17, [530841267]). 
problems(17, [734128065]). 
problems(17, [518267403]). 
problems(17, [518362740]). 
problems(17, [762140538]). 
problems(17, [573182406]). 
problems(17, [708132654]). 
problems(17, [708143265]). 
problems(17, [506847132]). 
problems(17, [103528746]). 
problems(17, [143026857]). 
problems(17, [170438562]). 
problems(17, [154276308]). 
problems(17, [138054762]). 
problems(17, [325406178]). 
problems(17, [176230548]). 
problems(17, [174260385]). 
problems(17, [184206537]). 
problems(17, [734015862]). 
problems(17, [518732406]). 
problems(17, [751320864]). 
problems(17, [706138254]). 
problems(17, [576230418]). 
problems(17, [760132854]). 
problems(17, [528710634]). 
problems(17, [752130864]). 
problems(17, [748305162]). 
problems(17, [105678234]). 
problems(17, [310465872]). 
problems(17, [175032864]). 
problems(17, [142568307]). 
problems(17, [360241587]). 
problems(17, [304281765]). 
problems(17, [143576028]). 
problems(17, [316502478]). 
problems(17, [128504763]). 
problems(17, [145328706]). 
problems(17, [305184267]). 
problems(17, [160482753]). 
problems(17, [107468253]). 
problems(17, [138250764]). 
problems(17, [154327806]). 
problems(17, [302647185]). 
problems(17, [127508463]). 
problems(17, [148037265]). 
problems(17, [720815436]). 
problems(17, [531847260]). 
problems(17, [720538416]). 
problems(17, [738146205]). 
problems(17, [738062451]). 
problems(17, [301728465]). 
problems(17, [140568723]). 
problems(17, [341260758]). 
problems(17, [301746285]). 
problems(17, [143570826]). 
problems(17, [108725436]). 
problems(17, [184035267]). 
problems(17, [317268405]). 
problems(17, [318274506]). 
problems(17, [305864172]). 
problems(17, [356108472]). 
problems(17, [364207581]). 
problems(17, [308462571]). 
problems(17, [506237148]). 
problems(17, [761523840]). 
problems(17, [732851460]). 
problems(17, [130274658]). 
problems(17, [123504678]). 
problems(17, [512703846]). 
problems(17, [374028165]). 
problems(17, [376105248]). 
problems(17, [503481267]). 
problems(17, [325807164]). 
problems(17, [502831647]). 
problems(17, [360187452]). 
problems(17, [502736148]). 
problems(17, [560321478]). 
problems(17, [510438762]). 
problems(17, [541308267]). 
problems(17, [530146872]). 
problems(17, [521407863]). 
problems(17, [760528413]). 
problems(17, [702364581]). 
problems(17, [347015862]). 
problems(17, [374501268]). 
problems(17, [372501864]). 
problems(17, [530147826]). 
problems(17, [318605274]). 
problems(17, [365042817]). 
problems(17, [357210846]). 
problems(17, [530416827]). 
problems(17, [520436817]). 
problems(17, [702654138]). 
problems(17, [570148632]). 
problems(17, [704328165]). 
problems(17, [528304761]). 
problems(17, [538064127]). 
problems(17, [710268543]). 
problems(17, [546038172]). 
problems(17, [743205168]). 
problems(17, [741306285]). 
problems(17, [503867142]). 
problems(17, [548206137]). 
problems(17, [127408365]). 
problems(17, [132487065]). 
problems(17, [172406538]). 
problems(17, [315402678]). 
problems(17, [147206385]). 
problems(17, [528416037]). 
problems(17, [573028164]). 
problems(17, [571426308]). 
problems(17, [742031865]). 
problems(17, [542168703]). 
problems(17, [362578140]). 
problems(17, [705136284]). 
problems(17, [701465283]). 
problems(17, [508176243]). 
problems(17, [541760382]). 
problems(17, [701562483]). 
problems(17, [705124863]). 
problems(17, [548102763]). 
problems(17, [347258610]). 
problems(17, [701823465]). 
problems(17, [702536184]). 
problems(17, [345862170]). 
problems(17, [751230468]). 
problems(17, [741502368]). 
problems(17, [561078234]). 
problems(17, [704128563]). 
problems(17, [142537608]). 
problems(17, [148032567]). 
problems(17, [128503467]). 
problems(17, [132548607]). 
problems(17, [165320478]). 
problems(17, [125460783]). 
problems(17, [106485237]). 
problems(17, [108427536]). 
problems(17, [130584762]). 
problems(17, [108263754]). 
problems(17, [172056438]). 
problems(17, [514836207]). 
problems(17, [523841706]). 
problems(17, [583021764]). 
problems(17, [362870451]). 
problems(17, [547036218]). 
problems(17, [547032816]). 
problems(17, [541807263]). 
problems(17, [541823706]). 
problems(17, [531870264]). 
problems(17, [563048217]). 
problems(17, [723510468]). 
problems(17, [751248603]). 
problems(17, [760284315]). 
problems(17, [743508162]). 
problems(17, [712684503]). 
problems(17, [751802643]). 
problems(17, [716508432]). 
problems(17, [783201564]). 
problems(17, [102867354]). 
problems(17, [304156278]). 
problems(17, [305124876]). 
problems(17, [310462857]). 
problems(17, [130847265]). 
problems(17, [305214867]). 
problems(17, [310465287]). 
problems(17, [521407638]). 
problems(17, [513207684]). 
problems(17, [308164572]). 
problems(17, [741805362]). 
problems(17, [780235164]). 
problems(17, [732850164]). 
problems(17, [726503814]). 
problems(17, [730852461]). 
problems(17, [781240536]). 
problems(17, [725316840]). 
problems(17, [750832164]). 
problems(17, [302148756]). 
problems(17, [301542876]). 
problems(17, [306175842]). 
problems(17, [316275084]). 
problems(17, [364107285]). 
problems(17, [135847062]). 
problems(17, [361280547]). 
problems(17, [523061478]). 
problems(17, [316275408]). 
problems(17, [325418607]). 
problems(17, [521360478]). 
problems(17, [740538261]). 
problems(17, [732541860]). 
problems(17, [302765481]). 
problems(17, [340186752]). 
problems(17, [163528470]). 
problems(17, [314807265]). 
problems(17, [520137846]). 
problems(17, [512036874]). 
problems(17, [502137864]). 
problems(17, [305428761]). 
problems(17, [317502864]). 
problems(17, [512037846]). 
problems(17, [531046278]). 
problems(17, [305267814]). 
problems(17, [705124638]). 
problems(17, [710263845]). 
problems(17, [365078142]). 
problems(17, [516372408]). 
problems(17, [517263084]). 
problems(17, [540368172]). 
problems(17, [302865417]). 
problems(17, [107452638]). 
problems(17, [142370685]). 
problems(17, [342518076]). 
problems(17, [506148732]). 
problems(17, [563107284]). 
problems(17, [563421078]). 
problems(17, [721430568]). 
problems(17, [730152486]). 
problems(17, [712405386]). 
problems(17, [532760148]). 
problems(17, [713204856]). 
problems(17, [720513648]). 
problems(17, [702154836]). 
problems(17, [502487613]). 
problems(17, [704153268]). 
problems(17, [560182374]). 
problems(17, [740132658]). 
problems(17, [362870145]). 
problems(17, [523460781]). 
problems(17, [543068127]). 
problems(17, [730124865]). 
problems(17, [142068375]). 
problems(17, [143082576]). 
problems(17, [102837645]). 
problems(17, [107453268]). 
problems(17, [103764285]). 
problems(17, [105428673]). 
problems(17, [105483267]). 
problems(17, [145062378]). 
problems(17, [142365078]). 
problems(17, [342865071]). 
problems(17, [560423817]). 
problems(17, [702138456]). 
problems(17, [357142860]). 
problems(17, [534170826]). 
problems(17, [534720168]). 
problems(17, [364572018]). 
problems(17, [348065271]). 
problems(17, [562041873]). 
problems(17, [560147283]). 
problems(17, [375421806]). 
problems(17, [362571804]). 
problems(17, [546017238]). 
problems(17, [713285604]). 
problems(17, [718204653]). 
problems(17, [735061482]). 
problems(17, [714382506]). 
problems(17, [528704631]). 
problems(17, [145027368]). 
problems(17, [301426578]). 
problems(17, [136045278]). 
problems(17, [120843765]). 
problems(17, [102578346]). 
problems(17, [134067258]). 
problems(17, [143250876]). 
problems(17, [160478532]). 
problems(17, [371204685]). 
problems(17, [362517840]). 
problems(17, [374215860]). 
problems(17, [372514860]). 
problems(17, [762501348]). 
problems(17, [702854163]). 
problems(17, [730582164]). 
problems(17, [734152806]). 
problems(17, [546172830]). 
problems(17, [731265804]). 
problems(17, [705362814]). 
problems(17, [751408236]). 
problems(17, [750261843]). 
problems(17, [714508362]). 
problems(17, [715328406]). 
problems(17, [731265480]). 
problems(17, [761240583]). 
problems(17, [731560482]). 
problems(17, [716250834]). 
problems(17, [740263851]). 
problems(17, [734156208]). 
problems(17, [124530786]). 
problems(17, [120845367]). 
problems(17, [302475681]). 
problems(17, [364102587]). 
problems(17, [301764582]). 
problems(17, [164078235]). 
problems(17, [137452806]). 
problems(17, [154263870]). 
problems(17, [135862047]). 
problems(17, [134568072]). 
problems(17, [542817630]). 
problems(17, [735140826]). 
problems(17, [742501863]). 
problems(17, [716240853]). 
problems(17, [743125806]). 
problems(17, [714532806]). 
problems(17, [713246850]). 
problems(17, [748163205]). 
problems(17, [301862574]). 
problems(17, [307241865]). 
problems(17, [170485236]). 
problems(17, [371042568]). 
problems(17, [143285760]). 
problems(17, [134870265]). 
problems(17, [174502836]). 
problems(17, [145670238]). 
problems(17, [325160847]). 
problems(17, [142837506]). 
problems(17, [342180567]). 
problems(17, [162840375]). 
problems(17, [172506834]). 
problems(17, [108476253]). 
problems(17, [146270853]). 
problems(17, [160478253]). 
problems(17, [527304168]). 
problems(17, [318472605]). 
problems(17, [731820456]). 
problems(17, [738065241]). 
problems(17, [782430561]). 
problems(17, [728506431]). 
problems(17, [130284675]). 
problems(17, [154720836]). 
problems(17, [308215467]). 
problems(17, [342501876]). 
problems(17, [503168742]). 
problems(17, [520486137]). 
problems(17, [354078162]). 
problems(17, [318276405]). 
problems(17, [530278146]). 
problems(17, [504361872]). 
problems(17, [720134568]). 
problems(17, [364075182]). 
problems(17, [703124568]). 
problems(17, [563102748]). 
problems(17, [360287541]). 
problems(17, [561204837]). 
problems(17, [306578142]). 
problems(17, [723568410]). 
problems(17, [125063478]). 
problems(17, [106234785]). 
problems(17, [374218065]). 
problems(17, [356147208]). 
problems(17, [348071265]). 
problems(17, [358107246]). 
problems(17, [364501872]). 
problems(17, [362480517]). 
problems(17, [531470286]). 
problems(17, [530246781]). 
problems(17, [526410378]). 
problems(17, [347152806]). 
problems(17, [530481276]). 
problems(17, [364072815]). 
problems(17, [342817605]). 
problems(17, [504186327]). 
problems(17, [521803746]). 
problems(17, [348217065]). 
problems(17, [543178602]). 
problems(17, [713284065]). 
problems(17, [713462508]). 
problems(17, [102564738]). 
problems(17, [132504768]). 
problems(17, [105423876]). 
problems(17, [132405867]). 
problems(17, [345821067]). 
problems(17, [530812467]). 
problems(17, [328415706]). 
problems(17, [372504816]). 
problems(17, [342716580]). 
problems(17, [376140258]). 
problems(17, [108463572]). 
problems(17, [345128760]). 
problems(17, [325718406]). 
problems(17, [517268304]). 
problems(17, [537218604]). 
problems(17, [712564038]). 
problems(17, [713428065]). 
problems(17, [714305862]). 
problems(17, [701538642]). 
problems(17, [703265481]). 
problems(17, [713280564]). 
problems(17, [740261583]). 
problems(17, [716230584]). 
problems(17, [140325867]). 
problems(17, [130542768]). 
problems(17, [324108675]). 
problems(17, [165423078]). 
problems(17, [148205637]). 
problems(17, [162348075]). 
problems(17, [108275634]). 
problems(17, [164308275]). 
problems(17, [370542816]). 
problems(17, [508437261]). 
problems(17, [547312806]). 
problems(17, [508461723]). 
problems(17, [547316208]). 
problems(17, [507831462]). 
problems(17, [526417803]). 
problems(17, [563420871]). 
problems(17, [563072814]). 
problems(17, [716045238]). 
problems(17, [526813407]). 
problems(17, [708452631]). 
problems(17, [172506348]). 
problems(17, [173406258]). 
problems(17, [146502837]). 
problems(17, [173402856]). 
problems(17, [152803746]). 
problems(17, [148203756]). 
problems(17, [163045872]). 
problems(17, [146075238]). 
problems(17, [170348265]). 
problems(17, [524860317]). 
problems(17, [542831706]). 
problems(17, [780426135]). 
problems(17, [708541632]). 
problems(17, [783204516]). 
problems(17, [758104236]). 
problems(17, [725418630]). 
problems(17, [302561748]). 
problems(17, [164520378]). 
problems(17, [164025873]). 
problems(17, [160527483]). 
problems(17, [350142768]). 
problems(17, [134526807]). 
problems(17, [342105867]). 
problems(17, [310285746]). 
problems(17, [302571468]). 
problems(17, [150826437]). 
problems(17, [531208674]). 
problems(17, [308157642]). 
problems(17, [524063178]). 
problems(17, [521463078]). 
problems(17, [705861243]). 
problems(17, [745062813]). 
problems(17, [760541832]). 
problems(17, [732861054]). 
problems(17, [745613208]). 
problems(17, [763215804]). 
problems(17, [712863450]). 
problems(17, [763540128]). 
problems(17, [501467238]). 
problems(17, [532061748]). 
problems(17, [314286570]). 
problems(17, [325164870]). 
problems(17, [541063278]). 
problems(17, [360174852]). 
problems(17, [501462783]). 
problems(17, [316457208]). 
problems(17, [326405871]). 
problems(17, [350462871]). 
problems(17, [510283764]). 
problems(17, [342571608]). 
problems(17, [370184265]). 
problems(17, [507184632]). 
problems(17, [130245678]). 
problems(17, [315806274]). 
problems(17, [341852067]). 
problems(17, [350476218]). 
problems(17, [520713468]). 
problems(17, [360514872]). 
problems(17, [371502846]). 
problems(17, [345701268]). 
problems(17, [354126807]). 
problems(17, [380412765]). 
problems(17, [346205817]). 
problems(17, [306275814]). 
problems(17, [316740285]). 
problems(17, [356410278]). 
problems(17, [703145682]). 
problems(17, [704261538]). 
problems(17, [518403762]). 
problems(17, [342560718]). 
problems(17, [173204586]). 
problems(17, [305742816]). 
problems(17, [160283547]). 
problems(17, [360541827]). 
problems(17, [372510468]). 
problems(17, [571206834]). 
problems(17, [501786432]). 
problems(17, [560184273]). 
problems(17, [731205846]). 
problems(17, [563214807]). 
problems(17, [702543186]). 
problems(17, [732140586]). 
problems(17, [507263814]). 
problems(17, [516280734]). 
problems(17, [506247831]). 
problems(17, [704125683]). 
problems(17, [560283417]). 
problems(17, [750132468]). 
problems(17, [518602437]). 
problems(17, [536170284]). 
problems(17, [702346518]). 
problems(17, [518603247]). 
problems(17, [708154632]). 
problems(17, [127504368]). 
problems(17, [130468725]). 
problems(17, [103576482]). 
problems(17, [135084267]). 
problems(17, [163420578]). 
problems(17, [170432586]). 
problems(17, [125604837]). 
problems(17, [105673248]). 
problems(17, [130476825]). 
problems(17, [107248536]). 
problems(17, [147283605]). 
problems(17, [581032764]). 
problems(17, [502764813]). 
problems(17, [730415268]). 
problems(17, [342578610]). 
problems(17, [508147263]). 
problems(17, [761238045]). 
problems(17, [706481235]). 
problems(17, [753160482]). 
problems(17, [746105382]). 
problems(17, [712485603]). 
problems(17, [765301248]). 
problems(17, [104826537]). 
problems(17, [320416578]). 
problems(17, [130487256]). 
problems(17, [105832476]). 
problems(17, [304216578]). 
problems(17, [104576328]). 
problems(17, [163042857]). 
problems(17, [132650847]). 
problems(17, [302148567]). 
problems(17, [524103678]). 
problems(17, [537264810]). 
problems(17, [745063218]). 
problems(17, [743160852]). 
problems(17, [742801536]). 
problems(17, [705821634]). 
problems(17, [735061824]). 
problems(17, [130725864]). 
problems(17, [102836754]). 
problems(17, [327108465]). 
problems(17, [143578062]). 
problems(17, [180476235]). 
problems(17, [307182465]). 
problems(17, [185402736]). 
problems(17, [347102586]). 
problems(17, [125468730]). 
problems(17, [327108546]). 
problems(17, [304187652]). 
problems(17, [341267508]). 
problems(17, [147802536]). 
problems(17, [512304876]). 
problems(17, [174503862]). 
problems(17, [328106547]). 
problems(17, [730851264]). 
problems(17, [713204685]). 
problems(17, [730815462]). 
problems(17, [754036218]). 
problems(17, [754032816]). 
problems(17, [724536018]). 
problems(17, [302758146]). 
problems(17, [341285067]). 
problems(17, [145826037]). 
problems(17, [301578462]). 
problems(17, [341087265]). 
problems(17, [148235706]). 
problems(17, [342508167]). 
problems(17, [501247386]). 
problems(17, [312654807]). 
problems(17, [502416378]). 
problems(17, [510236847]). 
problems(17, [305268417]). 
problems(17, [340168725]). 
problems(17, [312854067]). 
problems(17, [183460257]). 
problems(17, [501432876]). 
problems(17, [316507248]). 
problems(17, [563402178]). 
problems(17, [701253684]). 
problems(17, [376204581]). 
problems(17, [724530816]). 
problems(17, [782416503]). 
problems(17, [134208675]). 
problems(17, [321805764]). 
problems(17, [361240857]). 
problems(17, [563214078]). 
problems(17, [307586142]). 
problems(17, [547102368]). 
problems(17, [701243865]). 
problems(17, [315872604]). 
problems(17, [702136485]). 
problems(17, [506174283]). 
problems(17, [517236048]). 
problems(17, [572301468]). 
problems(17, [502368741]). 
problems(17, [712305468]). 
problems(17, [503267841]). 
problems(17, [374208561]). 
problems(17, [746235810]). 
problems(17, [140267538]). 
problems(17, [102584637]). 
problems(17, [105263874]). 
problems(17, [103476528]). 
problems(17, [501862473]). 
problems(17, [530467218]). 
problems(17, [543206817]). 
problems(17, [507218436]). 
problems(17, [325817604]). 
problems(17, [502478316]). 
problems(17, [374218506]). 
problems(17, [520861347]). 
problems(17, [376018245]). 
problems(17, [327518604]). 
problems(17, [315672840]). 
problems(17, [540236871]). 
problems(17, [524036871]). 
problems(17, [502837146]). 
problems(17, [375214806]). 
problems(17, [725413608]). 
problems(17, [730185642]). 
problems(17, [537086142]). 
problems(17, [742360185]). 
problems(17, [734260185]). 
problems(17, [732086145]). 
problems(17, [130654278]). 
problems(17, [105428367]). 
problems(17, [104372856]). 
problems(17, [123065874]). 
problems(17, [130286457]). 
problems(17, [132085467]). 
problems(17, [102385764]). 
problems(17, [102764358]). 
problems(17, [124530678]). 
problems(17, [134206857]). 
problems(17, [342856017]). 
problems(17, [163472085]). 
problems(17, [504721836]). 
problems(17, [512740836]). 
problems(17, [170482635]). 
problems(17, [501827463]). 
problems(17, [524710368]). 
problems(17, [520718364]). 
problems(17, [742138065]). 
problems(17, [547138062]). 
problems(17, [754301268]). 
problems(17, [517286403]). 
problems(17, [563174280]). 
problems(17, [701863245]). 
problems(17, [731248506]). 
problems(17, [537418062]). 
problems(17, [716038245]). 
problems(17, [736210485]). 
problems(17, [583401762]). 
problems(17, [563271480]). 
problems(17, [735412068]). 
problems(17, [723460518]). 
problems(17, [713608245]). 
problems(17, [743126508]). 
problems(17, [174206835]). 
problems(17, [183206745]). 
problems(17, [176042538]). 
problems(17, [160573482]). 
problems(17, [301476582]). 
problems(17, [324815760]). 
problems(17, [175302846]). 
problems(17, [137064852]). 
problems(17, [175306248]). 
problems(17, [362810754]). 
problems(17, [714526038]). 
problems(17, [524817603]). 
problems(17, [701564823]). 
problems(17, [523468710]). 
problems(17, [530867412]). 
problems(17, [542718603]). 
problems(17, [537218460]). 
problems(17, [538214760]). 
problems(17, [583142706]). 
problems(17, [720534861]). 
problems(17, [573214860]). 
problems(17, [701825643]). 
problems(17, [571246803]). 
problems(17, [740238516]). 
problems(17, [718452603]). 
problems(17, [125836047]). 
problems(17, [163085274]). 
problems(17, [138062754]). 
problems(17, [184032765]). 
problems(17, [341082567]). 
problems(17, [162508473]). 
problems(17, [123567480]). 
problems(17, [301674285]). 
problems(17, [321564078]). 
problems(17, [305248167]). 
problems(17, [312804576]). 
problems(17, [154280736]). 
problems(17, [132748506]). 
problems(17, [351064278]). 
problems(17, [376245810]). 
problems(17, [532816740]). 
problems(17, [542813760]). 
problems(17, [783206415]). 
problems(17, [715832640]). 
problems(17, [301824765]). 
problems(17, [314076258]). 
problems(17, [306241857]). 
problems(17, [314072856]). 
problems(17, [350241786]). 
problems(17, [513247608]). 
problems(17, [512437608]). 
problems(17, [561302478]). 
problems(17, [516234078]). 
problems(17, [517203486]). 
problems(17, [354067182]). 
problems(17, [742538160]). 
problems(17, [784016235]). 
problems(17, [105432678]). 
problems(17, [132064587]). 
problems(17, [103264875]). 
problems(17, [102376548]). 
problems(17, [501278463]). 
problems(17, [312786405]). 
problems(17, [318704265]). 
problems(17, [501762438]). 
problems(17, [530264718]). 
problems(17, [532170486]). 
problems(17, [504136872]). 
problems(17, [501763248]). 
problems(17, [308267415]). 
problems(17, [176235840]). 
problems(17, [345208761]). 
problems(17, [138742560]). 
problems(17, [512706348]). 
problems(17, [502376418]). 
problems(17, [503267418]). 
problems(17, [536408172]). 
problems(17, [130524678]). 
problems(17, [124036578]). 
problems(17, [312875406]). 
problems(17, [354128706]). 
problems(17, [352801764]). 
problems(17, [326518074]). 
problems(17, [324705861]). 
problems(17, [312578460]). 
problems(17, [712603845]). 
problems(17, [516278034]). 
problems(17, [528407136]). 
problems(17, [562471038]). 
problems(17, [572308164]). 
problems(17, [508461372]). 
problems(17, [734102865]). 
problems(17, [104236758]). 
problems(17, [103425867]). 
problems(17, [102436857]). 
problems(17, [162408375]). 
problems(17, [125463708]). 
problems(17, [173062548]). 
problems(17, [146208537]). 
problems(17, [137260548]). 
problems(17, [314528760]). 
problems(17, [138402567]). 
problems(17, [106482573]). 
problems(17, [108264573]). 
problems(17, [340725861]). 
problems(17, [354710268]). 
problems(17, [541706832]). 
problems(17, [714235086]). 
problems(17, [720156834]). 
problems(17, [537260418]). 
problems(17, [576012438]). 
problems(17, [582301764]). 
problems(17, [580172436]). 
problems(17, [570431862]). 
problems(17, [712506384]). 
problems(17, [563147208]). 
problems(17, [750231486]). 
problems(17, [731206854]). 
problems(17, [517802436]). 
problems(17, [537081246]). 
problems(17, [712350864]). 
problems(17, [730156284]). 
problems(17, [570281364]). 
problems(17, [702418563]). 
problems(17, [723486105]). 
problems(17, [716283504]). 
problems(17, [315204768]). 
problems(17, [163028574]). 
problems(17, [135082764]). 
problems(17, [102785634]). 
problems(17, [312084567]). 
problems(17, [172430568]). 
problems(17, [104863527]). 
problems(17, [108436275]). 
problems(17, [138052467]). 
problems(17, [123807564]). 
problems(17, [310472586]). 
problems(17, [312076548]). 
problems(17, [170238546]). 
problems(17, [731520468]). 
problems(17, [327564810]). 
problems(17, [580137264]). 
problems(17, [720531846]). 
problems(17, [760238541]). 
problems(17, [718502643]). 
problems(17, [715248630]). 
problems(17, [718260534]). 
problems(17, [745038162]). 
problems(17, [732465180]). 
problems(17, [704582631]). 
problems(17, [780432165]). 
problems(17, [142538067]). 
problems(17, [301724568]). 
problems(17, [147035268]). 
problems(17, [125740368]). 
problems(17, [150824367]). 
problems(17, [360284175]). 
problems(17, [370264185]). 
problems(17, [147358062]). 
problems(17, [501472638]). 
problems(17, [167408235]). 
problems(17, [780215634]). 
problems(17, [718235406]). 
problems(17, [780421536]). 
problems(17, [734086215]). 
problems(17, [730862415]). 
problems(17, [754316208]). 
problems(17, [702856341]). 
problems(17, [742630581]). 
problems(17, [503247168]). 
problems(17, [325176408]). 
problems(17, [138265470]). 
problems(17, [127548603]). 
problems(17, [312476580]). 
problems(17, [371402865]). 
problems(17, [362170485]). 
problems(17, [362075148]). 
problems(17, [308247165]). 
problems(17, [178205436]). 
problems(17, [501428637]). 
problems(17, [143568702]). 
problems(17, [371260548]). 
problems(17, [501374286]). 
problems(17, [510263874]). 
problems(17, [354261078]). 
problems(17, [308271546]). 
problems(17, [740561823]). 
problems(17, [725610843]). 
problems(17, [523017468]). 
problems(17, [347025168]). 
problems(17, [164523870]). 
problems(17, [342570168]). 
problems(17, [341257806]). 
problems(17, [312860745]). 
problems(17, [372105846]). 
problems(17, [174523806]). 
problems(17, [351802467]). 
problems(17, [356041278]). 
problems(17, [712305684]). 
problems(17, [504378162]). 
problems(17, [701362584]). 
problems(17, [503764182]). 
problems(17, [731402568]). 
problems(17, [528403167]). 
problems(17, [357408162]). 
problems(17, [735860412]). 
problems(17, [125308674]). 
problems(17, [350247816]). 
problems(17, [125364078]). 
problems(17, [308147256]). 
problems(17, [527108364]). 
problems(17, [541286037]). 
problems(17, [502764381]). 
problems(17, [563108247]). 
problems(17, [537240168]). 
problems(17, [513804762]). 
problems(17, [731042586]). 
problems(17, [517402863]). 
problems(17, [517206843]). 
problems(17, [531470862]). 
problems(17, [348075162]). 
problems(17, [130762548]). 
problems(17, [164023578]). 
problems(17, [340518726]). 
problems(17, [570216384]). 
problems(17, [504632871]). 
problems(17, [354802761]). 
problems(17, [534127806]). 
problems(17, [530762418]). 
problems(17, [384205761]). 
problems(17, [382504761]). 
problems(17, [318465270]). 
problems(17, [761208435]). 
problems(17, [743261508]). 
problems(17, [724308561]). 
problems(17, [134208756]). 
problems(17, [102835674]). 
problems(17, [143207856]). 
problems(17, [123507846]). 
problems(17, [163025478]). 
problems(17, [132560487]). 
problems(17, [107243856]). 
problems(17, [176403285]). 
problems(17, [361528740]). 
problems(17, [521840736]). 
problems(17, [352840761]). 
problems(17, [354810762]). 
problems(17, [306274185]). 
problems(17, [520817463]). 
problems(17, [345821706]). 
problems(17, [354812706]). 
problems(17, [732416805]). 
problems(17, [740165832]). 
problems(17, [730285614]). 
problems(17, [741356208]). 
problems(17, [708152364]). 
problems(17, [760421583]). 
problems(17, [763021845]). 
problems(17, [708412536]). 
problems(17, [724318506]). 
problems(17, [761340285]). 
problems(17, [743081265]). 
problems(17, [746031285]). 
problems(17, [701863524]). 
problems(17, [740532681]). 
problems(17, [140537268]). 
problems(17, [102843756]). 
problems(17, [130548267]). 
problems(17, [304278165]). 
problems(17, [108467352]). 
problems(17, [312467508]). 
problems(17, [138460275]). 
problems(17, [146258307]). 
problems(17, [162573408]). 
problems(17, [148207653]). 
problems(17, [317205684]). 
problems(17, [342816750]). 
problems(17, [754021836]). 
problems(17, [725610438]). 
problems(17, [743052816]). 
problems(17, [705612834]). 
problems(17, [726510348]). 
problems(17, [783405162]). 
problems(17, [758106432]). 
problems(17, [105786234]). 
problems(17, [173526048]). 
problems(17, [184205736]). 
problems(17, [350182467]). 
problems(17, [157240836]). 
problems(17, [160582734]). 
problems(17, [146523807]). 
problems(17, [308142576]). 
problems(17, [360245178]). 
problems(17, [301567482]). 
problems(17, [510236478]). 
problems(17, [152806734]). 
problems(17, [514273608]). 
problems(17, [517402638]). 
problems(17, [360145287]). 
problems(17, [321705846]). 
problems(17, [360125847]). 
problems(17, [173520846]). 
problems(17, [302548617]). 
problems(17, [305147826]). 
problems(17, [304175826]). 
problems(17, [305721468]). 
problems(17, [352140867]). 
problems(17, [320816547]). 
problems(17, [513068472]). 
problems(17, [701243658]). 
problems(17, [516208437]). 
problems(17, [386102475]). 
problems(17, [361472805]). 
problems(17, [532067184]). 
problems(17, [364072581]). 
problems(17, [710243568]). 
problems(17, [561403278]). 
problems(17, [542603178]). 
problems(17, [752830461]). 
problems(17, [742850613]). 
problems(17, [376051248]). 
problems(17, [508132476]). 
problems(17, [514082736]). 
problems(17, [504281736]). 
problems(17, [516430278]). 
problems(17, [560124837]). 
problems(17, [176524803]). 
problems(17, [520481736]). 
problems(17, [560142738]). 
problems(17, [534160287]). 
problems(17, [524160837]). 
problems(17, [736102485]). 
problems(17, [762810453]). 
problems(17, [105247368]). 
problems(17, [104275368]). 
problems(17, [130428567]). 
problems(17, [142037568]). 
problems(17, [104632578]). 
problems(17, [123075468]). 
problems(17, [501836247]). 
problems(17, [173208645]). 
problems(17, [326540871]). 
problems(17, [354216870]). 
problems(17, [315827406]). 
problems(17, [340861752]). 
problems(17, [384210765]). 
problems(17, [342561780]). 
problems(17, [516287304]). 
problems(17, [518463207]). 
problems(17, [760321548]). 
problems(17, [560471832]). 
problems(17, [751306248]). 
problems(17, [721563048]). 
problems(17, [564173208]). 
problems(17, [721438065]). 
problems(17, [576102483]). 
problems(17, [742503168]). 
problems(17, [563470128]). 
problems(17, [732406518]). 
problems(17, [103542867]). 
problems(17, [143287065]). 
problems(17, [125804673]). 
problems(17, [170284365]). 
problems(17, [162370584]). 
problems(17, [160287345]). 
problems(17, [760134258]). 
problems(17, [537421806]). 
problems(17, [724105863]). 
problems(17, [725410368]). 
problems(17, [731502864]). 
problems(17, [734215068]). 
problems(17, [701582436]). 
problems(17, [714206853]). 
problems(17, [716483205]). 
problems(17, [751804632]). 
problems(17, [142567038]). 
problems(17, [163208754]). 
problems(17, [341207586]). 
problems(17, [127530684]). 
problems(17, [160458237]). 
problems(17, [107458236]). 
problems(17, [146052873]). 
problems(17, [324108567]). 
problems(17, [175034268]). 
problems(17, [340217685]). 
problems(17, [173046285]). 
problems(17, [135078264]). 
problems(17, [108256734]). 
problems(17, [583210764]). 
problems(17, [532846017]). 
problems(17, [702813456]). 
problems(17, [738051462]). 
problems(17, [715806432]). 
problems(17, [728305461]). 
problems(17, [760283451]). 
problems(17, [320714568]). 
problems(17, [312450867]). 
problems(17, [162530847]). 
problems(17, [102876453]). 
problems(17, [150746238]). 
problems(17, [150742836]). 
problems(17, [340152786]). 
problems(17, [312065874]). 
problems(17, [108536247]). 
problems(17, [513264087]). 
problems(17, [367102548]). 
problems(17, [306475182]). 
problems(17, [165470832]). 
problems(17, [708641235]). 
problems(17, [708461253]). 
problems(17, [725830164]). 
problems(17, [754132860]). 
problems(17, [763081254]). 
problems(17, [103264587]). 
problems(17, [371256048]). 
problems(17, [346105872]). 
problems(17, [530128674]). 
problems(17, [531072486]). 
problems(17, [324760185]). 
problems(17, [364072158]). 
problems(17, [531074268]). 
problems(17, [315278406]). 
problems(17, [157432860]). 
problems(17, [345061782]). 
problems(17, [512347068]). 
problems(17, [718530264]). 
problems(17, [734512860]). 
problems(17, [748015236]). 
problems(17, [325716048]). 
problems(17, [370165284]). 
problems(17, [352701846]). 
problems(17, [305827146]). 
problems(17, [501426873]). 
problems(17, [320568741]). 
problems(17, [341760285]). 
problems(17, [152846703]). 
problems(17, [350842167]). 
problems(17, [352416807]). 
problems(17, [371048265]). 
problems(17, [305642871]). 
problems(17, [315642807]). 
problems(17, [341285706]). 
problems(17, [520138764]). 
problems(17, [145823760]). 
problems(17, [381205746]). 
problems(17, [340568127]). 
problems(17, [326514708]). 
problems(17, [542376108]). 
problems(17, [713062584]). 
problems(17, [723061548]). 
problems(17, [721360548]). 
problems(17, [561273084]). 
problems(17, [125704638]). 
problems(17, [302765814]). 
problems(17, [315820746]). 
problems(17, [345610278]). 
problems(17, [502768143]). 
problems(17, [537014862]). 
problems(17, [561238074]). 
problems(17, [508361274]). 
problems(17, [730216584]). 
problems(17, [507164823]). 
problems(17, [581403267]). 
problems(17, [538026147]). 
problems(17, [583201467]). 
problems(17, [701428536]). 
problems(17, [502674831]). 
problems(17, [523760184]). 
problems(17, [513276840]). 
problems(17, [781204635]). 
problems(17, [146053278]). 
problems(17, [150248673]). 
problems(17, [150274836]). 
problems(17, [143280567]). 
problems(17, [134280576]). 
problems(17, [106273854]). 
problems(17, [514807236]). 
problems(17, [560248317]). 
problems(17, [502648731]). 
problems(17, [531860247]). 
problems(17, [701536248]). 
problems(17, [530846127]). 
problems(17, [710425836]). 
problems(17, [541706283]). 
problems(17, [347518062]). 
problems(17, [731458062]). 
problems(17, [763502148]). 
problems(17, [704286531]). 
problems(17, [723461580]). 
problems(17, [713468205]). 
problems(17, [712468503]). 
problems(17, [102758436]). 
problems(17, [320147568]). 
problems(17, [102586473]). 
problems(17, [140258763]). 
problems(17, [135027864]). 
problems(17, [140753268]). 
problems(17, [160542378]). 
problems(17, [105726438]). 
problems(17, [372560814]). 
problems(17, [740628135]). 
problems(17, [731452860]). 
problems(17, [701865342]). 
problems(17, [728310465]). 
problems(17, [780231546]). 
problems(17, [705824136]). 
problems(17, [730581462]). 
problems(17, [750236841]). 
problems(17, [714263850]). 
problems(17, [740256831]). 
problems(17, [107586432]). 
problems(17, [124587603]). 
problems(17, [315406872]). 
problems(17, [372106548]). 
problems(17, [153807462]). 
problems(17, [312754608]). 
problems(17, [316247085]). 
problems(17, [702836514]). 
problems(17, [740832156]). 
problems(17, [748162503]). 
problems(17, [328105467]). 
problems(17, [145807236]). 
problems(17, [304185762]). 
problems(17, [320568174]). 
problems(17, [361240785]). 
problems(17, [341065872]). 
problems(17, [308127546]). 
problems(17, [364120578]). 
problems(17, [315407826]). 
problems(17, [306185247]). 
problems(17, [321806745]). 
problems(17, [317208456]). 
problems(17, [172534806]). 
problems(17, [302781465]). 
problems(17, [327410568]). 
problems(17, [350271846]). 
problems(17, [318204756]). 
problems(17, [351427068]). 
problems(17, [504367182]). 
problems(17, [180526734]). 
problems(17, [143207685]). 
problems(17, [302671854]). 
problems(17, [305621874]). 
problems(17, [543082167]). 
problems(17, [514360782]). 
problems(17, [527036148]). 
problems(17, [701432586]). 
problems(17, [506184237]). 
problems(17, [752816403]). 
problems(17, [102486537]). 
problems(17, [105264837]). 
problems(17, [105372486]). 
problems(17, [135204867]). 
problems(17, [162034578]). 
problems(17, [123067584]). 
problems(17, [340715268]). 
problems(17, [517046238]). 
problems(17, [560143827]). 
problems(17, [531087264]). 
problems(17, [546031278]). 
problems(17, [517042836]). 
problems(17, [537120468]). 
problems(17, [542701368]). 
problems(17, [512830674]). 
problems(17, [513608274]). 
problems(17, [534081267]). 
problems(17, [563012847]). 
problems(17, [561340278]). 
problems(17, [501863274]). 
problems(17, [512607843]). 
problems(17, [534061827]). 
problems(17, [521834067]). 
problems(17, [725108634]). 
problems(17, [132540678]). 
problems(17, [150243876]). 
problems(17, [142305876]). 
problems(17, [102834657]). 
problems(17, [103275864]). 
problems(17, [102843567]). 
problems(17, [540237816]). 
problems(17, [510738264]). 
problems(17, [342815670]). 
problems(17, [384160257]). 
problems(17, [712465083]). 
problems(17, [583204761]). 
problems(17, [714280536]). 
problems(17, [563082741]). 
problems(17, [740632185]). 
problems(17, [527418603]). 
problems(17, [705183264]). 
problems(17, [570428631]). 
problems(17, [730451862]). 
problems(17, [761230485]). 
problems(17, [528701643]). 
problems(17, [706134852]). 
problems(17, [132678045]). 
problems(17, [160475382]). 
problems(17, [153078462]). 
problems(17, [163428075]). 
problems(17, [183207465]). 
problems(17, [107456832]). 
problems(17, [307152648]). 
problems(17, [183207546]). 
problems(17, [105782643]). 
problems(17, [145360782]). 
problems(17, [143258670]). 
problems(17, [165074238]). 
problems(17, [153460782]). 
problems(17, [143762085]). 
problems(17, [342715860]). 
problems(17, [741506238]). 
problems(17, [580176234]). 
problems(17, [703265814]). 
problems(17, [706125843]). 
problems(17, [581702436]). 
problems(17, [706145283]). 
problems(17, [706142853]). 
problems(17, [571803264]). 
problems(17, [536078214]). 
problems(17, [738064152]). 
problems(17, [154802367]). 
problems(17, [182504367]). 
problems(17, [341207865]). 
problems(17, [105864273]). 
problems(17, [105874236]). 
problems(17, [301465782]). 
problems(17, [305174286]). 
problems(17, [145802376]). 
problems(17, [162570348]). 
problems(17, [170563428]). 
problems(17, [301762485]). 
problems(17, [306241785]). 
problems(17, [160285743]). 
problems(17, [138420765]). 
problems(17, [174230865]). 
problems(17, [173450268]). 
problems(17, [321706548]). 
problems(17, [317284605]). 
problems(17, [702841356]). 
problems(17, [781236405]). 
problems(17, [754162803]). 
problems(17, [763180452]). 
problems(17, [708563124]). 
problems(17, [306215847]). 
problems(17, [142570863]). 
problems(17, [341062857]). 
problems(17, [174025836]). 
problems(17, [314502876]). 
problems(17, [315240786]). 
problems(17, [341065287]). 
problems(17, [512703684]). 
problems(17, [504172683]). 
problems(17, [157462803]). 
problems(17, [362471085]). 
problems(17, [526034178]). 
problems(17, [562103478]). 
problems(17, [501376482]). 
problems(17, [506432178]). 
problems(17, [726513840]). 
problems(17, [763142850]). 
problems(17, [742618503]). 
problems(17, [762513804]). 
problems(17, [763542018]). 
problems(17, [301825467]). 
problems(17, [530247618]). 
problems(17, [308167452]). 
problems(17, [506214837]). 
problems(17, [513248067]). 
problems(17, [172548630]). 
problems(17, [325460871]). 
problems(17, [175426803]). 
problems(17, [370281654]). 
problems(17, [540361278]). 
problems(17, [314287650]). 
problems(17, [305817642]). 
problems(17, [317246580]). 
problems(17, [502734186]). 
problems(17, [713254608]). 
problems(17, [701482635]). 
problems(17, [132046578]). 
problems(17, [102634587]). 
problems(17, [130426578]). 
problems(17, [305871246]). 
problems(17, [364521078]). 
problems(17, [531028764]). 
problems(17, [532018746]). 
problems(17, [372610548]). 
problems(17, [345720168]). 
problems(17, [324860157]). 
problems(17, [541320867]). 
problems(17, [325470816]). 
problems(17, [348120765]). 
problems(17, [345712068]). 
problems(17, [324560781]). 
problems(17, [750234168]). 
problems(17, [704256138]). 
problems(17, [507264831]). 
problems(17, [570182634]). 
problems(17, [714502638]). 
problems(17, [547130682]). 
problems(17, [561374208]). 
problems(17, [715234068]). 
problems(17, [706142385]). 
problems(17, [563207481]). 
problems(17, [731208564]). 
problems(17, [706134528]). 
problems(17, [701268534]). 
problems(17, [526408371]). 
problems(17, [108247635]). 
problems(17, [130487562]). 
problems(17, [108364275]). 
problems(17, [143076582]). 
problems(17, [134267508]). 
problems(17, [157203468]). 
problems(17, [542813607]). 
problems(17, [740236158]). 
problems(17, [570184236]). 
problems(17, [560823147]). 
problems(17, [714503268]). 
problems(17, [526430871]). 
problems(17, [517236480]). 
problems(17, [702641385]). 
problems(17, [561270834]). 
problems(17, [706143258]). 
problems(17, [702543618]). 
problems(17, [538107264]). 
problems(17, [705214836]). 
problems(17, [546032871]). 
problems(17, [541267803]). 
problems(17, [532480761]). 
problems(17, [702381456]). 
problems(17, [742035168]). 
problems(17, [725130468]). 
problems(17, [560174823]). 
problems(17, [763108542]). 
problems(17, [132584067]). 
problems(17, [153702468]). 
problems(17, [301274865]). 
problems(17, [125703846]). 
problems(17, [106573428]). 
problems(17, [108453276]). 
problems(17, [102784653]). 
problems(17, [104863275]). 
problems(17, [105763428]). 
problems(17, [157408632]). 
problems(17, [723015864]). 
problems(17, [562430817]). 
problems(17, [701546328]). 
problems(17, [367215840]). 
problems(17, [732041856]). 
problems(17, [560148723]). 
problems(17, [710542836]). 
problems(17, [705368241]). 
problems(17, [760158342]). 
problems(17, [761453208]). 
problems(17, [743085162]). 
problems(17, [705814632]). 
problems(17, [763045182]). 
problems(17, [748012635]). 
problems(17, [715804362]). 
problems(17, [712864305]). 
problems(17, [743068152]). 
problems(17, [104586237]). 
problems(17, [160527348]). 
problems(17, [137042856]). 
problems(17, [130827564]). 
problems(17, [312064857]). 
problems(17, [137046258]). 
problems(17, [310265847]). 
problems(17, [134075826]). 
problems(17, [143705268]). 
problems(17, [124507863]). 
problems(17, [147268305]). 
problems(17, [157463208]). 
problems(17, [502846713]). 
problems(17, [781205364]). 
problems(17, [702864351]). 
problems(17, [740286513]). 
problems(17, [763042815]). 
problems(17, [756140238]). 
problems(17, [738210564]). 
problems(17, [725413860]). 
problems(17, [302516478]). 
problems(17, [502138674]). 
problems(17, [340187562]). 
problems(17, [510362847]). 
problems(17, [512063847]). 
problems(17, [360147582]). 
problems(17, [172840635]). 
problems(17, [521403876]). 
problems(17, [750821436]). 
problems(17, [715830246]). 
problems(17, [763284510]). 
problems(17, [143568270]). 
problems(17, [360184257]). 
problems(17, [174526308]). 
problems(17, [138540762]). 
problems(17, [364021875]). 
problems(17, [514023867]). 
problems(17, [328105746]). 
problems(17, [360281457]). 
problems(17, [346210785]). 
problems(17, [306571248]). 
problems(17, [520341867]). 
problems(17, [374021568]). 
problems(17, [172560843]). 
problems(17, [532016478]). 
problems(17, [510437268]). 
problems(17, [712304865]). 
problems(17, [517304862]). 
problems(17, [572403168]). 
problems(17, [710362485]). 
problems(17, [712063485]). 
problems(17, [134825760]). 
problems(17, [302748516]). 
problems(17, [710426538]). 
problems(17, [346187205]). 
problems(17, [536071248]). 
problems(17, [564102837]). 
problems(17, [560182437]). 
problems(17, [374162580]). 
problems(17, [527108436]). 
problems(17, [308764152]). 
problems(17, [528106437]). 
problems(17, [546103827]). 
problems(17, [506182734]). 
problems(17, [504187623]). 
problems(17, [524173806]). 
problems(17, [315847602]). 
problems(17, [502467831]). 
problems(17, [702165348]). 
problems(17, [507183246]). 
problems(17, [532407861]). 
problems(17, [728104635]). 
problems(17, [762543810]). 
problems(17, [123457068]). 
problems(17, [135072468]). 
problems(17, [105473286]). 
problems(17, [140283765]). 
problems(17, [520817634]). 
problems(17, [327561804]). 
problems(17, [318462750]). 
problems(17, [508321764]). 
problems(17, [542710638]). 
problems(17, [538021467]). 
problems(17, [513247860]). 
problems(17, [356412870]). 
problems(17, [371265840]). 
problems(17, [532801746]). 
problems(17, [502681734]). 
problems(17, [701346258]). 
problems(17, [508136274]). 
problems(17, [740283615]). 
problems(17, [734160582]). 
problems(17, [715360482]). 
problems(17, [705361842]). 
problems(17, [102736845]). 
problems(17, [132058764]). 
problems(17, [160245387]). 
problems(17, [135028467]). 
problems(17, [142530687]). 
problems(17, [150248367]). 
problems(17, [102586347]). 
problems(17, [138264507]). 
problems(17, [364520871]). 
problems(17, [347521806]). 
problems(17, [534028716]). 
problems(17, [502738416]). 
problems(17, [731285064]). 
problems(17, [751604238]). 
problems(17, [731562408]). 
problems(17, [731465208]). 
problems(17, [743218065]). 
problems(17, [732508164]). 
problems(17, [581703462]). 
problems(17, [713286054]). 
problems(17, [761502438]). 
problems(17, [715423806]). 
problems(17, [130526874]). 
problems(17, [172543608]). 
problems(17, [173248065]). 
problems(17, [142863507]). 
problems(17, [361204875]). 
problems(17, [361207548]). 
problems(17, [146280735]). 
problems(17, [183260475]). 
problems(17, [145283706]). 
problems(17, [180472536]). 
problems(17, [148260375]). 
problems(17, [132864705]). 
problems(17, [537086214]). 
problems(17, [704561283]). 
problems(17, [528416703]). 
problems(17, [537148260]). 
problems(17, [702816543]). 
problems(17, [301475862]). 
problems(17, [342160785]). 
problems(17, [342170586]). 
problems(17, [501243768]). 
problems(17, [163078254]). 
problems(17, [360142785]). 
problems(17, [305712648]). 
problems(17, [142860735]). 
problems(17, [123586704]). 
problems(17, [504183672]). 
problems(17, [720536814]). 
problems(17, [708645132]). 
problems(17, [152830764]). 
problems(17, [301862457]). 
problems(17, [124835706]). 
problems(17, [324610578]). 
problems(17, [180532764]). 
problems(17, [371248605]). 
problems(17, [507162348]). 
problems(17, [532068147]). 
problems(17, [541270638]). 
problems(17, [308275641]). 
problems(17, [530286147]). 
problems(17, [364170582]). 
problems(17, [725816304]). 
problems(17, [732856014]). 
problems(17, [758016234]). 
problems(17, [738215460]). 
problems(17, [132407568]). 
problems(17, [301548726]). 
problems(17, [302814756]). 
problems(17, [531246708]). 
problems(17, [374105862]). 
problems(17, [501468273]). 
problems(17, [380176245]). 
problems(17, [368012475]). 
problems(17, [324807561]). 
problems(17, [543061287]). 
problems(17, [145862730]). 
problems(17, [361572084]). 
problems(17, [506138247]). 
problems(17, [385102746]). 
problems(17, [327504861]). 
problems(17, [341860572]). 
problems(17, [308276514]). 
problems(17, [501762384]). 
problems(17, [513802467]). 
problems(17, [761302548]). 
problems(17, [725306148]). 
problems(17, [105327468]). 
problems(17, [130248657]). 
problems(17, [325718064]). 
problems(17, [312865470]). 
problems(17, [340827561]). 
problems(17, [520831467]). 
problems(17, [501736284]). 
problems(17, [318705246]). 
problems(17, [504612837]). 
problems(17, [340862715]). 
problems(17, [731084265]). 
problems(17, [538061472]). 
problems(17, [731082564]). 
problems(17, [701564382]). 
problems(17, [537426108]). 
problems(17, [702813645]). 
problems(17, [563071842]). 
problems(17, [546170382]). 
problems(17, [705426138]). 
problems(17, [145063872]). 
problems(17, [136248075]). 
problems(17, [132764508]). 
problems(17, [172308465]). 
problems(17, [702436815]). 
problems(17, [760214358]). 
problems(17, [546701238]). 
problems(17, [546108723]). 
problems(17, [705128364]). 
problems(17, [508264713]). 
problems(17, [541268730]). 
problems(17, [574108236]). 
problems(17, [560842137]). 
problems(17, [721504863]). 
problems(17, [730184256]). 
problems(17, [704183256]). 
problems(17, [750123864]). 
problems(17, [518704236]). 
problems(17, [761283405]). 
problems(17, [160435872]). 
problems(17, [130578624]). 
problems(17, [164350278]). 
problems(17, [154076238]). 
problems(17, [126507483]). 
problems(17, [154072836]). 
problems(17, [165023874]). 
problems(17, [324061578]). 
problems(17, [315240678]). 
problems(17, [142760538]). 
problems(17, [174026538]). 
problems(17, [162350874]). 
problems(17, [316042578]). 
problems(17, [314208657]). 
problems(17, [132850674]). 
problems(17, [127503864]). 
problems(17, [157043268]). 
problems(17, [154260837]). 
problems(17, [164073258]). 
problems(17, [314208576]). 
problems(17, [365812470]). 
problems(17, [584130267]). 
problems(17, [701526843]). 
problems(17, [701832456]). 
problems(17, [731860542]). 
problems(17, [130758264]). 
problems(17, [108524736]). 
problems(17, [124570836]). 
problems(17, [126540837]). 
problems(17, [108526437]). 
problems(17, [310742568]). 
problems(17, [105824763]). 
problems(17, [108437256]). 
problems(17, [321504876]). 
problems(17, [503462187]). 
problems(17, [370182645]). 
problems(17, [178206534]). 
problems(17, [524830716]). 
problems(17, [725814036]). 
problems(17, [712856304]). 
problems(17, [741528603]). 
problems(17, [718360254]). 
problems(17, [784012536]). 
problems(17, [760542381]). 
problems(17, [320541768]). 
problems(17, [310528467]). 
problems(17, [532410678]). 
problems(17, [364502178]). 
problems(17, [521408367]). 
problems(17, [315608472]). 
problems(17, [325801674]). 
problems(17, [513246078]). 
problems(17, [316572048]). 
problems(17, [532061487]). 
problems(17, [315704862]). 
problems(17, [375104268]). 
problems(17, [513207846]). 
problems(17, [352706148]). 
problems(17, [704835261]). 
problems(17, [103246578]). 
problems(17, [362540178]). 
problems(17, [354206817]). 
problems(17, [302854761]). 
problems(17, [324506871]). 
problems(17, [347201856]). 
problems(17, [365140278]). 
problems(17, [530126784]). 
problems(17, [510732468]). 
problems(17, [360182754]). 
problems(17, [307168254]). 
problems(17, [325810647]). 
problems(17, [340762518]). 
problems(17, [326504817]). 
problems(17, [302587461]). 
problems(17, [560274183]). 
problems(17, [570263184]). 
problems(17, [706123548]). 
problems(17, [710463285]). 
problems(17, [162073548]). 
problems(17, [374015268]). 
problems(17, [107263845]). 
problems(17, [538124067]). 
problems(17, [507146832]). 
problems(17, [701256483]). 
problems(17, [560243871]). 
problems(17, [571402836]). 
problems(17, [508146372]). 
problems(17, [508271436]). 
problems(17, [356172840]). 
problems(17, [702351846]). 
problems(17, [518260437]). 
problems(17, [507463218]). 
problems(17, [368045172]). 
problems(17, [508261473]). 
problems(17, [124803567]). 
problems(17, [105467328]). 
problems(17, [163204857]). 
problems(17, [108432576]). 
problems(17, [173024568]). 
problems(17, [102684735]). 
problems(17, [104762385]). 
problems(17, [302174568]). 
problems(17, [163024875]). 
problems(17, [154306278]). 
problems(17, [108243765]). 
problems(17, [140268573]). 
problems(17, [137026548]). 
problems(17, [524716038]). 
problems(17, [512837064]). 
problems(17, [530724861]). 
problems(17, [502837614]). 
problems(17, [720135864]). 
problems(17, [524316870]). 
problems(17, [524830167]). 
problems(17, [730214856]). 
problems(17, [570138246]). 
problems(17, [703125864]). 
problems(17, [504827136]). 
problems(17, [360578412]). 
problems(17, [531760284]). 
problems(17, [702531486]). 
problems(17, [704135286]). 
problems(17, [716248035]). 
problems(17, [764203518]). 
problems(17, [724801635]). 
problems(17, [712863045]). 
problems(17, [736241508]). 
problems(17, [728301564]). 
problems(17, [715283406]). 
problems(17, [738102564]). 
problems(17, [712843605]). 
problems(17, [718240635]). 
problems(17, [762038145]). 
problems(17, [743208561]). 
problems(17, [152038746]). 
problems(17, [102567834]). 
problems(17, [160432857]). 
problems(17, [104736285]). 
problems(17, [120748365]). 
problems(17, [106238754]). 
problems(17, [102763854]). 
problems(17, [104562783]). 
problems(17, [105427863]). 
problems(17, [146278035]). 
problems(17, [162473580]). 
problems(17, [514820736]). 
problems(17, [142873605]). 
problems(17, [754216038]). 
problems(17, [760135842]). 
problems(17, [780214365]). 
problems(17, [712584306]). 
problems(17, [712564380]). 
problems(17, [751280436]). 
problems(17, [725036841]). 
problems(17, [756031248]). 
problems(17, [746051238]). 
problems(17, [702584613]). 
problems(17, [740821635]). 
problems(17, [713560842]). 
problems(17, [718230654]). 
problems(17, [751260834]). 
problems(17, [301246758]). 
problems(17, [308162547]). 
problems(17, [501362487]). 
problems(17, [138246705]). 
problems(17, [306182745]). 
problems(17, [316072845]). 
problems(17, [163257804]). 
problems(17, [731528406]). 
problems(17, [508762413]). 
problems(17, [741523806]). 
problems(17, [730546281]). 
problems(17, [314058762]). 
problems(17, [316524078]). 
problems(17, [307152864]). 
problems(17, [321807546]). 
problems(17, [502314867]). 
problems(17, [132854760]). 
problems(17, [154708236]). 
problems(17, [502413768]). 
problems(17, [163570284]). 
problems(17, [352107864]). 
problems(17, [318205476]). 
problems(17, [360412875]). 
problems(17, [105867423]). 
problems(17, [312708654]). 
problems(17, [315270846]). 
problems(17, [341276058]). 
problems(17, [310568472]). 
problems(17, [342085167]). 
problems(17, [748216503]). 
problems(17, [312807456]). 
problems(17, [135840726]). 
problems(17, [321546708]). 
problems(17, [327508641]). 
problems(17, [541263708]). 
problems(17, [506248137]). 
problems(17, [540237681]). 
problems(17, [325807641]). 
problems(17, [532064781]). 
problems(17, [360478152]). 
problems(17, [517206384]). 
problems(17, [365402871]). 
problems(17, [501468732]). 
problems(17, [502473861]). 
problems(17, [513462807]). 
problems(17, [367108245]). 
problems(17, [726403185]). 
problems(17, [130285647]). 
problems(17, [105462387]). 
problems(17, [107234586]). 
problems(17, [123068547]). 
problems(17, [132067485]). 
problems(17, [320815746]). 
problems(17, [524316708]). 
problems(17, [561420378]). 
problems(17, [524136807]). 
problems(17, [346712508]). 
problems(17, [381247506]). 
problems(17, [380247561]). 
problems(17, [527310468]). 
problems(17, [361274850]). 
problems(17, [504178326]). 
problems(17, [512760438]). 
problems(17, [734208165]). 
problems(17, [705463128]). 
problems(17, [761203845]). 
problems(17, [125036748]). 
problems(17, [102457836]). 
problems(17, [130427865]). 
problems(17, [176204538]). 
problems(17, [348052716]). 
problems(17, [342580761]). 
problems(17, [325860417]). 
problems(17, [347250816]). 
problems(17, [354218760]). 
problems(17, [358210764]). 
problems(17, [315826704]). 
problems(17, [732165084]). 
problems(17, [704168325]). 
problems(17, [704158362]). 
problems(17, [714602583]). 
problems(17, [760235148]). 
problems(17, [561273840]). 
problems(17, [548203761]). 
problems(17, [712563084]). 
problems(17, [532476801]). 
problems(17, [740281365]). 
problems(17, [706532148]). 
problems(17, [721804536]). 
problems(17, [532468701]). 
problems(17, [705136842]). 
problems(17, [760251348]). 
problems(17, [573208461]). 
problems(17, [104536278]). 
problems(17, [106475832]). 
problems(17, [362104578]). 
problems(17, [137065482]). 
problems(17, [160287534]). 
problems(17, [174063285]). 
problems(17, [712605834]). 
problems(17, [714605238]). 
problems(17, [548213706]). 
problems(17, [536218740]). 
problems(17, [580237461]). 
problems(17, [548130762]). 
problems(17, [560472813]). 
problems(17, [378416205]). 
problems(17, [708456132]). 
problems(17, [716482503]). 
problems(17, [125746038]). 
problems(17, [132578064]). 
problems(17, [126537408]). 
problems(17, [130857462]). 
problems(17, [134760285]). 
problems(17, [153247806]). 
problems(17, [312460875]). 
problems(17, [305128674]). 
problems(17, [104865372]). 
problems(17, [108563427]). 
problems(17, [314256078]). 
problems(17, [312457068]). 
problems(17, [701825364]). 
problems(17, [720516843]). 
problems(17, [562810374]). 
problems(17, [584210736]). 
problems(17, [517203648]). 
problems(17, [560821743]). 
problems(17, [524716803]). 
problems(17, [760538142]). 
problems(17, [705846132]). 
problems(17, [763084215]). 
problems(17, [761352840]). 
problems(17, [726508341]). 
problems(17, [301567248]). 
problems(17, [142580736]). 
problems(17, [143820765]). 
problems(17, [132870456]). 
problems(17, [173520468]). 
problems(17, [170438256]). 
problems(17, [318407562]). 
problems(17, [364108572]). 
problems(17, [503268147]). 
problems(17, [540172638]). 
problems(17, [318702645]). 
problems(17, [318462075]). 
problems(17, [315708642]). 
problems(17, [512370684]). 
problems(17, [705648231]). 
problems(17, [763240851]). 
problems(17, [705826431]). 
problems(17, [754216803]). 
problems(17, [320518476]). 
problems(17, [370148562]). 
problems(17, [357401268]). 
problems(17, [351264870]). 
problems(17, [534201867]). 
problems(17, [342761085]). 
problems(17, [315268470]). 
problems(17, [540173268]). 
problems(17, [520461837]). 
problems(17, [501476328]). 
problems(17, [348052167]). 
problems(17, [730865214]). 
problems(17, [725830416]). 
problems(17, [103257468]). 
problems(17, [104253768]). 
problems(17, [103427568]). 
problems(17, [102437586]). 
problems(17, [314756208]). 
problems(17, [317425806]). 
problems(17, [540218367]). 
problems(17, [340781265]). 
problems(17, [302867514]). 
problems(17, [145826703]). 
problems(17, [375041268]). 
problems(17, [360547128]). 
problems(17, [540137286]). 
problems(17, [354208716]). 
problems(17, [360425871]). 
problems(17, [342507861]). 
problems(17, [165820743]). 
problems(17, [356210874]). 
problems(17, [360175824]). 
problems(17, [360571428]). 
problems(17, [725034168]). 
problems(17, [701365482]). 
problems(17, [730254618]). 
problems(17, [573104862]). 
problems(17, [507462381]). 
problems(17, [724305168]). 
problems(17, [563401872]). 
problems(17, [712603584]). 
problems(17, [750231648]). 
problems(17, [716204358]). 
problems(17, [567102438]). 
problems(17, [712504683]). 
problems(17, [504863172]). 
problems(17, [534087162]). 
problems(17, [143257608]). 
problems(17, [163207584]). 
problems(17, [106438572]). 
problems(17, [531862074]). 
problems(17, [570138462]). 
problems(17, [704218365]). 
problems(17, [504817632]). 
problems(17, [512476830]). 
problems(17, [732046158]). 
problems(17, [502876143]). 
problems(17, [730128564]). 
problems(17, [720158436]). 
problems(17, [703182456]). 
problems(17, [564071238]). 
problems(17, [730251846]). 
problems(17, [125346708]). 
problems(17, [143065782]). 
problems(17, [170246385]). 
problems(17, [164032875]). 
problems(17, [132670485]). 
problems(17, [123760485]). 
problems(17, [160284357]). 
problems(17, [135406827]). 
problems(17, [314206587]). 
problems(17, [312064785]). 
problems(17, [504861273]). 
problems(17, [534821067]). 
problems(17, [514860237]). 
problems(17, [534128760]). 
problems(17, [564120873]). 
problems(17, [516730284]). 
problems(17, [530864217]). 
problems(17, [708146532]). 
problems(17, [708164352]). 
problems(17, [714386205]). 
problems(17, [740285631]). 
problems(17, [718243506]). 
problems(17, [761234580]). 
problems(17, [750248631]). 
problems(17, [301462758]). 
problems(17, [104862357]). 
problems(17, [301642578]). 
problems(17, [136520478]). 
problems(17, [502364187]). 
problems(17, [148263705]). 
problems(17, [308264175]). 
problems(17, [317264085]). 
problems(17, [145287603]). 
problems(17, [347201685]). 
problems(17, [718235064]). 
problems(17, [753206814]). 
problems(17, [781205436]). 
problems(17, [780231654]). 
problems(17, [734526108]). 
problems(17, [576142803]). 
problems(17, [712568304]). 
problems(17, [732518604]). 
problems(17, [730568124]). 
problems(17, [724805136]). 
problems(17, [302514768]). 
problems(17, [340275681]). 
problems(17, [142786305]). 
problems(17, [148352706]). 
problems(17, [340258671]). 
problems(17, [345260178]). 
problems(17, [512430687]). 
problems(17, [185406237]). 
problems(17, [158407236]). 
problems(17, [145807362]). 
problems(17, [512307486]). 
problems(17, [147508362]). 
problems(17, [538720461]). 
problems(17, [708146253]). 
problems(17, [713528460]). 
problems(17, [704562813]). 
problems(17, [718430256]). 
problems(17, [340167852]). 
problems(17, [325406817]). 
problems(17, [304275861]). 
problems(17, [305812674]). 
problems(17, [125836470]). 
problems(17, [302476851]). 
problems(17, [504231768]). 
problems(17, [305247861]). 
problems(17, [530124876]). 
problems(17, [302485761]). 
problems(17, [305471826]). 
problems(17, [502341876]). 
problems(17, [302574861]). 
problems(17, [145860237]). 
problems(17, [370164258]). 
problems(17, [308217564]). 
problems(17, [142586703]). 
problems(17, [563207148]). 
problems(17, [730214685]). 
problems(17, [704132685]). 
problems(17, [702431685]). 
problems(17, [142835760]). 
problems(17, [360541278]). 
problems(17, [360512847]). 
problems(17, [524176308]). 
problems(17, [537214068]). 
problems(17, [364271580]). 
problems(17, [328704561]). 
problems(17, [570163248]). 
problems(17, [506172843]). 
problems(17, [358204761]). 
problems(17, [531264780]). 
problems(17, [564301278]). 
problems(17, [142307865]). 
problems(17, [130286574]). 
problems(17, [123465078]). 
problems(17, [107245638]). 
problems(17, [107263458]). 
problems(17, [104572638]). 
problems(17, [107236485]). 
problems(17, [563017248]). 
problems(17, [503861247]). 
problems(17, [702415368]). 
problems(17, [504812673]). 
problems(17, [532741068]). 
problems(17, [502736481]). 
problems(17, [560241783]). 
problems(17, [563140287]). 
problems(17, [365217804]). 
problems(17, [386105274]). 
problems(17, [375042861]). 
problems(17, [524138706]). 
problems(17, [502671843]). 
problems(17, [361850472]). 
problems(17, [501862734]). 
problems(17, [573014268]). 
problems(17, [347526108]). 
problems(17, [761253048]). 
problems(17, [705184362]). 
problems(17, [730258641]). 
problems(17, [725604138]). 
problems(17, [761243085]). 
problems(17, [743061582]). 
problems(17, [573460182]). 
problems(17, [706138542]). 
problems(17, [105436728]). 
problems(17, [104385267]). 
problems(17, [120573846]). 
problems(17, [102485736]). 
problems(17, [140273856]). 
problems(17, [134065287]). 
problems(17, [134062857]). 
problems(17, [130752468]). 
problems(17, [140265837]). 
problems(17, [103562874]). 
problems(17, [502836417]). 
problems(17, [108457632]). 
problems(17, [165403872]). 
problems(17, [362815407]). 
problems(17, [345612870]). 
problems(17, [342817560]). 
problems(17, [305876214]). 
problems(17, [725316408]). 
problems(17, [763025148]). 
problems(17, [725146308]). 
problems(17, [752401836]). 
problems(17, [518462703]). 
problems(17, [716052843]). 
problems(17, [726501438]). 
problems(17, [702456831]). 
problems(17, [547128603]). 
problems(17, [750162834]). 
problems(17, [762310485]). 
problems(17, [702834615]). 
problems(17, [721806435]). 
problems(17, [736105284]). 
problems(17, [138047562]). 
problems(17, [501423678]). 
problems(17, [104875632]). 
problems(17, [158204736]). 
problems(17, [162574038]). 
problems(17, [316402875]). 
problems(17, [128704536]). 
problems(17, [147260583]). 
problems(17, [341270685]). 
problems(17, [156243807]). 
problems(17, [701568243]). 
problems(17, [740561238]). 
problems(17, [704563218]). 
problems(17, [563280714]). 
problems(17, [715430826]). 
problems(17, [750148236]). 
problems(17, [768102543]). 
problems(17, [132875046]). 
problems(17, [305167428]). 
problems(17, [163508274]). 
problems(17, [310487265]). 
problems(17, [350162847]). 
problems(17, [174205863]). 
problems(17, [134570862]). 
problems(17, [132576480]). 
problems(17, [315247068]). 
problems(17, [342601578]). 
problems(17, [170462853]). 
problems(17, [142538670]). 
problems(17, [172640538]). 
problems(17, [135426870]). 
problems(17, [302574618]). 
problems(17, [360251478]). 
problems(17, [138057264]). 
problems(17, [128507364]). 
problems(17, [783205461]). 
problems(17, [765042831]). 
problems(17, [780264513]). 
problems(17, [301854267]). 
problems(17, [321605874]). 
problems(17, [312570486]). 
problems(17, [320561784]). 
problems(17, [340175286]). 
problems(17, [314068257]). 
problems(17, [307286541]). 
problems(17, [327408561]). 
problems(17, [361284705]). 
problems(17, [715836204]). 
problems(17, [725806413]). 
problems(17, [140263587]). 
problems(17, [372514608]). 
problems(17, [326547108]). 
problems(17, [317285406]). 
problems(17, [360285471]). 
problems(17, [360258741]). 
problems(17, [514602738]). 
problems(17, [172845603]). 
problems(17, [326571408]). 
problems(17, [541327068]). 
problems(17, [328507146]). 
problems(17, [315487206]). 
problems(17, [371504862]). 
problems(17, [532180467]). 
problems(17, [504712638]). 
problems(17, [351806472]). 
problems(17, [328416507]). 
problems(17, [726301548]). 
problems(17, [762103548]). 
problems(17, [105234876]). 
problems(17, [103275486]). 
problems(17, [104238576]). 
problems(17, [361528074]). 
problems(17, [502731846]). 
problems(17, [530714268]). 
problems(17, [361540872]). 
problems(17, [354801267]). 
problems(17, [312865704]). 
problems(17, [308265714]). 
problems(17, [348061257]). 
problems(17, [740135682]). 
problems(17, [716053248]). 
problems(17, [712534608]). 
problems(17, [517382406]). 
problems(17, [512784603]). 
problems(17, [732146085]). 
problems(17, [563072481]). 
problems(17, [703246581]). 
problems(17, [530768142]). 
problems(17, [108267345]). 
problems(17, [160482537]). 
problems(17, [135076482]). 
problems(17, [173062485]). 
problems(17, [160482375]). 
problems(17, [127360584]). 
problems(17, [173240685]). 
problems(17, [732510648]). 
problems(17, [712536048]). 
problems(17, [571346208]). 
problems(17, [743106258]). 
problems(17, [543187206]). 
problems(17, [571342806]). 
problems(17, [512837640]). 
problems(17, [531780462]). 
problems(17, [701368254]). 
problems(17, [547123806]). 
problems(17, [571423806]). 
problems(17, [561342870]). 
problems(17, [730248156]). 
problems(17, [581206743]). 
problems(17, [730146825]). 
problems(17, [750136248]). 
problems(17, [135426708]). 
problems(17, [302465187]). 
problems(17, [132567408]). 
problems(17, [310286547]). 
problems(17, [163502847]). 
problems(17, [306142587]). 
problems(17, [150268743]). 
problems(17, [105842673]). 
problems(17, [321460578]). 
problems(17, [170463258]). 
problems(17, [108426735]). 
problems(17, [301482576]). 
problems(17, [132567084]). 
problems(17, [173042865]). 
problems(17, [145602738]). 
problems(17, [301267845]). 
problems(17, [106475283]). 
problems(17, [320418675]). 
problems(17, [724015836]). 
problems(17, [514732860]). 
problems(17, [572610438]). 
problems(17, [534716208]). 
problems(17, [534712806]). 
problems(17, [741025836]). 
problems(17, [532714860]). 
problems(17, [362574810]). 
problems(17, [532806714]). 
problems(17, [760285134]). 
problems(17, [718352406]). 
problems(17, [708263451]). 
problems(17, [728504136]). 
problems(17, [751263840]). 
problems(17, [732486015]). 
problems(17, [130587264]). 
problems(17, [160534827]). 
problems(17, [315024867]). 
problems(17, [140738265]). 
problems(17, [310564278]). 
problems(17, [301528647]). 
problems(17, [123860457]). 
problems(17, [742508613]). 
problems(17, [735128460]). 
problems(17, [732840615]). 
problems(17, [750268413]). 
problems(17, [783210465]). 
problems(17, [345217608]). 
problems(17, [523106847]). 
problems(17, [312864507]). 
problems(17, [360258174]). 
problems(17, [148237560]). 
problems(17, [164275803]). 
problems(17, [301875642]). 
problems(17, [381206475]). 
problems(17, [317280465]). 
problems(17, [317460528]). 
problems(17, [371406285]). 
problems(17, [342068571]). 
problems(17, [372056148]). 
problems(17, [347106285]). 
problems(17, [362071845]). 
problems(17, [506132487]). 
problems(17, [501372846]). 
problems(17, [163278450]). 
problems(17, [361280475]). 
problems(17, [158702436]). 
problems(17, [371260485]). 
problems(17, [501376248]). 
problems(17, [501268437]). 
problems(17, [307158462]). 
problems(17, [317426508]). 
problems(17, [734520861]). 
problems(17, [724531860]). 
problems(17, [780136254]). 
problems(17, [350187264]). 
problems(17, [312587064]). 
problems(17, [306541872]). 
problems(17, [325408716]). 
problems(17, [314560872]). 
problems(17, [371240865]). 
problems(17, [348021567]). 
problems(17, [350418762]). 
problems(17, [325148706]). 
problems(17, [145732860]). 
problems(17, [502631487]). 
problems(17, [341806275]). 
problems(17, [361075284]). 
problems(17, [514368072]). 
problems(17, [507284136]). 
problems(17, [731206485]). 
problems(17, [142703685]). 
problems(17, [361520847]). 
problems(17, [340851267]). 
problems(17, [106472385]). 
problems(17, [105364872]). 
problems(17, [312745806]). 
problems(17, [164302578]). 
problems(17, [106274583]). 
problems(17, [314527806]). 
problems(17, [345026817]). 
problems(17, [528314067]). 
problems(17, [712038465]). 
problems(17, [541268073]). 
problems(17, [703152846]). 
problems(17, [713420568]). 
problems(17, [534208761]). 
problems(17, [713240586]). 
problems(17, [530761482]). 
problems(17, [504762183]). 
problems(17, [742013568]). 
problems(17, [530476281]). 
problems(17, [712430586]). 
problems(17, [561243807]). 
problems(17, [517246308]). 
problems(17, [724031568]). 
problems(17, [740213586]). 
problems(17, [524163870]). 
problems(17, [715032468]). 
problems(17, [541802673]). 
problems(17, [571206483]). 
problems(17, [531276804]). 
problems(17, [543261807]). 
problems(17, [508237164]). 
problems(17, [702613548]). 
problems(17, [140278365]). 
problems(17, [136042875]). 
problems(17, [143270586]). 
problems(17, [142360875]). 
problems(17, [104762538]). 
problems(17, [102863574]). 
problems(17, [524813067]). 
problems(17, [531826047]). 
problems(17, [580213746]). 
problems(17, [537410268]). 
problems(17, [524810637]). 
problems(17, [580314267]). 
problems(17, [563210874]). 
problems(17, [342568701]). 
problems(17, [543217806]). 
problems(17, [502843761]). 
problems(17, [741268035]). 
problems(17, [734218605]). 
problems(17, [760328145]). 
problems(17, [780213645]). 
problems(17, [715238604]). 
problems(17, [703486152]). 
problems(17, [730286541]). 
problems(17, [741283506]). 
problems(17, [724803165]). 
problems(17, [705463281]). 
problems(17, [160247358]). 
problems(17, [124705368]). 
problems(17, [105248763]). 
problems(17, [105743268]). 
problems(17, [153468072]). 
problems(17, [145368072]). 
problems(17, [348512706]). 
problems(17, [512840763]). 
problems(17, [125478603]). 
problems(17, [524610873]). 
problems(17, [760245183]). 
problems(17, [702584361]). 
problems(17, [708215643]). 
problems(17, [725138406]). 
problems(17, [734052861]). 
problems(17, [715802346]). 
problems(17, [702486351]). 
problems(17, [740536182]). 
problems(17, [705248613]). 
problems(17, [712834506]). 
problems(17, [508762341]). 
problems(17, [764210538]). 
problems(17, [734028561]). 
problems(17, [104526873]). 
problems(17, [306184275]). 
problems(17, [510264378]). 
problems(17, [138247506]). 
problems(17, [142763580]). 
problems(17, [504132678]). 
problems(17, [128706435]). 
problems(17, [306182574]). 
problems(17, [134860572]). 
problems(17, [156470238]). 
problems(17, [148236507]). 
problems(17, [763015284]). 
problems(17, [741526308]). 
problems(17, [741650238]). 
problems(17, [701864253]). 
problems(17, [762480531]). 
problems(17, [152846037]). 
problems(17, [172536408]). 
problems(17, [142836705]). 
problems(17, [142587306]). 
problems(17, [142567380]). 
problems(17, [325061874]). 
problems(17, [301864527]). 
problems(17, [158046237]). 
problems(17, [351062874]). 
problems(17, [370142586]). 
problems(17, [302681574]). 
problems(17, [302547681]). 
problems(17, [135746208]). 
problems(17, [307165248]). 
problems(17, [541308672]). 
problems(17, [518204637]). 
problems(17, [724510863]). 
problems(17, [542860713]). 
problems(17, [756412803]). 
problems(17, [756218403]). 
problems(17, [360512478]). 
problems(17, [321560874]). 
problems(17, [302475816]). 
problems(17, [302581764]). 
problems(17, [301765284]). 
problems(17, [350614278]). 
problems(17, [370215468]). 
problems(17, [301852764]). 
problems(17, [340265718]). 
problems(17, [312740865]). 
problems(17, [562401378]). 
problems(17, [507164238]). 
problems(17, [503274861]). 
problems(17, [504263871]). 
problems(17, [537104268]). 
problems(17, [506427138]). 
problems(17, [530248671]). 
problems(17, [361472580]). 
problems(17, [531267084]). 
problems(17, [130274865]). 
problems(17, [104273865]). 
problems(17, [320546817]). 
problems(17, [324568071]). 
problems(17, [340785162]). 
problems(17, [710235468]). 
problems(17, [516230874]). 
problems(17, [570213486]). 
problems(17, [316278450]). 
problems(17, [315762480]). 
problems(17, [506243817]). 
problems(17, [340768152]). 
problems(17, [532146807]). 
problems(17, [502483716]). 
problems(17, [526031874]). 
problems(17, [520473816]). 
problems(17, [318247560]). 
problems(17, [315782406]). 
problems(17, [514260873]). 
problems(17, [540261873]). 
problems(17, [508123746]). 
problems(17, [760234185]). 
problems(17, [712480635]). 
problems(17, [130456287]). 
problems(17, [150234786]). 
problems(17, [374056218]). 
problems(17, [357042816]). 
problems(17, [315742860]). 
problems(17, [326517804]). 
problems(17, [504812367]). 
problems(17, [583107462]). 
problems(17, [724601538]). 
problems(17, [702481653]). 
problems(17, [730465128]). 
problems(17, [586103247]). 
problems(17, [524807631]). 
problems(17, [561274803]). 
problems(17, [584103762]). 
problems(17, [723416508]). 
problems(17, [142035867]). 
problems(17, [158204367]). 
problems(17, [108463725]). 
problems(17, [136470285]). 
problems(17, [108365472]). 
problems(17, [327540816]). 
problems(17, [713085264]). 
problems(17, [574136208]). 
problems(17, [543802761]). 
problems(17, [561248703]). 
problems(17, [564132870]). 
problems(17, [710538462]). 
problems(17, [735140268]). 
problems(17, [560287314]). 
problems(17, [705243816]). 
problems(17, [751042836]). 
problems(17, [514762803]). 
problems(17, [540827631]). 
problems(17, [753041268]). 
problems(17, [562431870]). 
problems(17, [574213806]). 
problems(17, [706231854]). 
problems(17, [763058142]). 
problems(17, [716284530]). 
problems(17, [756108342]). 
problems(17, [154038762]). 
problems(17, [180247365]). 
problems(17, [142736508]). 
problems(17, [310672548]). 
problems(17, [106538742]). 
problems(17, [126534807]). 
problems(17, [124365870]). 
problems(17, [130865472]). 
problems(17, [145260873]). 
problems(17, [312507684]). 
problems(17, [306217548]). 
problems(17, [153426807]). 
problems(17, [172405836]). 
problems(17, [301762548]). 
problems(17, [135068724]). 
problems(17, [312705648]). 
problems(17, [145270836]). 
problems(17, [145360827]). 
problems(17, [350162478]). 
problems(17, [361024578]). 
problems(17, [720546318]). 
problems(17, [721540836]). 
problems(17, [746218305]). 
problems(17, [746205831]). 
problems(17, [780263415]). 
problems(17, [718245603]). 
problems(17, [718453206]). 
problems(17, [140856237]). 
problems(17, [104785236]). 
problems(17, [341206857]). 
problems(17, [125640873]). 
problems(17, [350127468]). 
problems(17, [542107638]). 
problems(17, [165372840]). 
problems(17, [135872640]). 
problems(17, [356072148]). 
problems(17, [148267503]). 
problems(17, [158703462]). 
problems(17, [328407165]). 
problems(17, [715843206]). 
problems(17, [735802416]). 
problems(17, [738025461]). 
problems(17, [708265413]). 
problems(17, [142830756]). 
problems(17, [103274568]). 
problems(17, [305468271]). 
problems(17, [360248571]). 
problems(17, [531062784]). 
problems(17, [503172864]). 
problems(17, [523108746]). 
problems(17, [504138627]). 
problems(17, [325708146]). 
problems(17, [503176428]). 
problems(17, [521308764]). 
problems(17, [513072846]). 
problems(17, [513270486]). 
problems(17, [315672408]). 
problems(17, [348201765]). 
problems(17, [703164582]). 
problems(17, [701463582]). 
problems(17, [102365487]). 
problems(17, [360248715]). 
problems(17, [321568704]). 
problems(17, [514038267]). 
problems(17, [510248763]). 
problems(17, [304851762]). 
problems(17, [308246715]). 
problems(17, [715206348]). 
problems(17, [531278640]). 
problems(17, [720461385]). 
problems(17, [715230648]). 
problems(17, [548302167]). 
problems(17, [514708632]). 
problems(17, [703261845]). 
problems(17, [703264518]). 
problems(17, [563271048]). 
problems(17, [526803147]). 
problems(17, [305817264]). 
problems(17, [134075682]). 
problems(17, [164203875]). 
problems(17, [136208574]). 
problems(17, [380215764]). 
problems(17, [352810467]). 
problems(17, [162354078]). 
problems(17, [345028716]). 
problems(17, [563081247]). 
problems(17, [560238471]). 
problems(17, [518234706]). 
problems(17, [563142807]). 
problems(17, [506274813]). 
problems(17, [528106743]). 
problems(17, [532761084]). 
problems(17, [724016538]). 
problems(17, [731028465]). 
problems(17, [570461238]). 
problems(17, [507168243]). 
problems(17, [512783406]). 
problems(17, [562413807]). 
problems(17, [714036285]). 
problems(17, [705216438]). 
problems(17, [368217405]). 
problems(17, [302148675]). 
problems(17, [142803657]). 
problems(17, [143267058]). 
problems(17, [153207864]). 
problems(17, [124508673]). 
problems(17, [125607438]). 
problems(17, [302167548]). 
problems(17, [310267548]). 
problems(17, [152437068]). 
problems(17, [126503784]). 
problems(17, [302164875]). 
problems(17, [128034765]). 
problems(17, [134276058]). 
problems(17, [106257834]). 
problems(17, [506248713]). 
problems(17, [701425863]). 
problems(17, [542138760]). 
problems(17, [542831067]). 
problems(17, [524318760]). 
problems(17, [346718205]). 
problems(17, [740123856]). 
problems(17, [715438062]). 
problems(17, [760435182]). 
problems(17, [718260345]). 
problems(17, [763140582]). 
problems(17, [731268540]). 
problems(17, [708261543]). 
problems(17, [105647238]). 
problems(17, [164035278]). 
problems(17, [102675834]). 
problems(17, [150734268]). 
problems(17, [123705864]). 
problems(17, [104582736]). 
problems(17, [142605837]). 
problems(17, [130568427]). 
problems(17, [534810267]). 
problems(17, [137564082]). 
problems(17, [148702635]). 
problems(17, [712836405]). 
problems(17, [735412806]). 
problems(17, [730824561]). 
problems(17, [712465830]). 
problems(17, [718503246]). 
problems(17, [762051843]). 
problems(17, [583162740]). 
problems(17, [723560481]). 
problems(17, [746230518]). 
problems(17, [320145867]). 
problems(17, [302146857]). 
problems(17, [312045867]). 
problems(17, [154708362]). 
problems(17, [314285607]). 
problems(17, [174356208]). 
problems(17, [372401568]). 
problems(17, [164352870]). 
problems(17, [523106478]). 
problems(17, [345162078]). 
problems(17, [157423806]). 
problems(17, [174352806]). 
problems(17, [305672148]). 
problems(17, [502346178]). 
problems(17, [173508462]). 
problems(17, [708521436]). 
problems(17, [563248710]). 
problems(17, [701865423]). 
problems(17, [724810536]). 
problems(17, [364025178]). 
problems(17, [125836704]). 
problems(17, [504126378]). 
problems(17, [308146275]). 
problems(17, [304761285]). 
problems(17, [170564823]). 
problems(17, [314278056]). 
problems(17, [158420736]). 
problems(17, [317206854]). 
problems(17, [302847156]). 
problems(17, [301785246]). 
problems(17, [302584716]). 
problems(17, [560134872]). 
problems(17, [723014568]). 
problems(17, [701523648]). 
problems(17, [542163807]). 
problems(17, [506431872]). 
problems(17, [514237680]). 
problems(17, [512673408]). 
problems(17, [704123586]). 
problems(17, [513248670]). 
problems(17, [571203846]). 
problems(17, [358106742]). 
problems(17, [705183642]). 
problems(17, [150247638]). 
problems(17, [102583674]). 
problems(17, [134062785]). 
problems(17, [105362784]). 
problems(17, [150364278]). 
problems(17, [106237584]). 
problems(17, [124308765]). 
problems(17, [125306847]). 
problems(17, [312840756]). 
problems(17, [372546108]). 
problems(17, [512736408]). 
problems(17, [375142806]). 
problems(17, [514328706]). 
problems(17, [318265740]). 
problems(17, [572130468]). 
problems(17, [375146208]). 
problems(17, [365142870]). 
problems(17, [370528641]). 
problems(17, [364251870]). 
problems(17, [305864721]). 
problems(17, [701584632]). 
problems(17, [752406138]). 
problems(17, [705462183]). 
problems(17, [725361048]). 
problems(17, [120576348]). 
problems(17, [102736584]). 
problems(17, [120563874]). 
problems(17, [124503876]). 
problems(17, [362815074]). 
problems(17, [173264508]). 
problems(17, [501847236]). 
problems(17, [368015274]). 
problems(17, [326570814]). 
problems(17, [517386204]). 
problems(17, [714258036]). 
problems(17, [730481526]). 
problems(17, [573162480]). 
problems(17, [730186524]). 
problems(17, [532478610]). 
problems(17, [702836145]). 
problems(17, [563270841]). 
problems(17, [732085164]). 
problems(17, [140532786]). 
problems(17, [102546783]). 
problems(17, [123578604]). 
problems(17, [163275084]). 
problems(17, [351208647]). 
problems(17, [163087245]). 
problems(17, [316208547]). 
problems(17, [148206573]). 
problems(17, [164370285]). 
problems(17, [732045861]). 
problems(17, [750234816]). 
problems(17, [572413860]). 
problems(17, [712546083]). 
problems(17, [538142760]). 
problems(17, [573142860]). 
problems(17, [731086254]). 
problems(17, [325047168]). 
problems(17, [302657148]). 
problems(17, [143728065]). 
problems(17, [307154268]). 
problems(17, [152807436]). 
problems(17, [314082765]). 
problems(17, [125437860]). 
problems(17, [150834762]). 
problems(17, [108457263]). 
problems(17, [143257860]). 
problems(17, [153428706]). 
problems(17, [302584167]). 
problems(17, [154238706]). 
problems(17, [125348760]). 
problems(17, [107465823]). 
problems(17, [152804763]). 
problems(17, [142576083]). 
problems(17, [180437265]). 
problems(17, [308124567]). 
problems(17, [316405278]). 
problems(17, [730518426]). 
problems(17, [712830456]). 
problems(17, [734510268]). 
problems(17, [702548316]). 
problems(17, [718356204]). 
problems(17, [725806341]). 
problems(17, [301648275]). 
problems(17, [360215487]). 
problems(17, [302761458]). 
problems(17, [351240768]). 
problems(17, [341208756]). 
problems(17, [301582746]). 
problems(17, [301572864]). 
problems(17, [362178045]). 
problems(17, [318264705]). 
problems(17, [348062175]). 
problems(17, [560234178]). 
problems(17, [502437681]). 
problems(17, [532408167]). 
problems(17, [371462508]). 
problems(17, [316278504]). 
problems(17, [104273658]). 
problems(17, [102463875]). 
problems(17, [150234678]). 
problems(17, [512803476]). 
problems(17, [502814637]). 
problems(17, [560134287]). 
problems(17, [503461827]). 
problems(17, [361247580]). 
problems(17, [163574820]). 
problems(17, [308564127]). 
problems(17, [305764281]). 
problems(17, [356214807]). 
problems(17, [312587640]). 
problems(17, [351482706]). 
problems(17, [503281764]). 
problems(17, [507134286]). 
problems(17, [517034268]). 
problems(17, [506231784]). 
problems(17, [527463108]). 
problems(17, [518407632]). 
problems(17, [706243185]). 
problems(17, [762530814]). 
problems(17, [358012746]). 
problems(17, [501642873]). 
problems(17, [340576281]). 
problems(17, [361542807]). 
problems(17, [148203675]). 
problems(17, [326518407]). 
problems(17, [362710584]). 
problems(17, [372541068]). 
problems(17, [318507264]). 
problems(17, [701358462]). 
problems(17, [705164328]). 
problems(17, [576201438]). 
problems(17, [724106583]). 
problems(17, [570436182]). 
problems(17, [506278431]). 
problems(17, [705162384]). 
problems(17, [537062481]). 
problems(17, [741063285]). 
problems(17, [527308461]). 
problems(17, [130245786]). 
problems(17, [164253078]). 
problems(17, [153064872]). 
problems(17, [328510746]). 
problems(17, [163082547]). 
problems(17, [163074528]). 
problems(17, [347510268]). 
problems(17, [537042861]). 
problems(17, [560428371]). 
problems(17, [703158264]). 
problems(17, [536142870]). 
problems(17, [580217643]). 
problems(17, [524807163]). 
problems(17, [730461258]). 
problems(17, [528314706]). 
problems(17, [712630485]). 
problems(17, [702634518]). 
problems(17, [560178243]). 
problems(17, [378412506]). 
problems(17, [701462853]). 
problems(17, [581207463]). 
problems(17, [572403816]). 
problems(17, [741235068]). 
problems(17, [704138526]). 
problems(17, [560187234]). 
problems(17, [527436018]). 
problems(17, [701285463]). 
problems(17, [738062145]). 
problems(17, [760482135]). 
problems(17, [305127648]). 
problems(17, [130486752]). 
problems(17, [108265374]). 
problems(17, [164205837]). 
problems(17, [108257436]). 
problems(17, [137205864]). 
problems(17, [128430567]). 
problems(17, [153260874]). 
problems(17, [134265807]). 
problems(17, [130784265]). 
problems(17, [162504837]). 
problems(17, [163250847]). 
problems(17, [720415863]). 
problems(17, [580147236]). 
problems(17, [365820471]). 
problems(17, [547130826]). 
problems(17, [523817406]). 
problems(17, [527430816]). 
problems(17, [704215863]). 
problems(17, [574120836]). 
problems(17, [743015268]). 
problems(17, [580416237]). 
problems(17, [741258630]). 
problems(17, [742806135]). 
problems(17, [716258304]). 
problems(17, [762340581]). 
problems(17, [780261345]). 
problems(17, [738052164]). 
problems(17, [104568273]). 
problems(17, [310256874]). 
problems(17, [312504786]). 
problems(17, [107542836]). 
problems(17, [312406857]). 
problems(17, [314205786]). 
problems(17, [106538274]). 
problems(17, [307268145]). 
problems(17, [742618035]). 
problems(17, [725318460]). 
problems(17, [732561480]). 
problems(17, [760254813]). 
problems(17, [721568403]). 
problems(17, [730861452]). 
problems(17, [705832614]). 
problems(17, [762541038]). 
problems(17, [761542308]). 
problems(17, [301546278]). 
problems(17, [365124078]). 
problems(17, [314275680]). 
problems(17, [341286507]). 
problems(17, [360281574]). 
problems(17, [126574830]). 
problems(17, [512306784]). 
problems(17, [520347168]). 
problems(17, [125864703]). 
problems(17, [514062378]). 
problems(17, [742518306]). 
problems(17, [705834216]). 
problems(17, [735862140]). 
problems(17, [145836207]). 
problems(17, [501643278]). 
problems(17, [345218067]). 
problems(17, [162548370]). 
problems(17, [137542860]). 
problems(17, [350246871]). 
problems(17, [360471258]). 
problems(17, [501723468]). 
problems(17, [182740536]). 
problems(17, [142863750]). 
problems(17, [520136874]). 
problems(17, [314562807]). 
problems(17, [317506428]). 
problems(17, [702364158]). 
problems(17, [506174832]). 
problems(17, [704152638]). 
problems(17, [712340685]). 
problems(17, [715203468]). 
problems(17, [530486172]). 
problems(17, [546103782]). 
problems(17, [105437682]). 
problems(17, [370218456]). 
problems(17, [350716248]). 
problems(17, [106284537]). 
problems(17, [350712846]). 
problems(17, [504368271]). 
problems(17, [561308274]). 
problems(17, [705214368]). 
problems(17, [560328174]). 
problems(17, [518206473]). 
problems(17, [512487306]). 
problems(17, [730251468]). 
problems(17, [710254836]). 
problems(17, [542801637]). 
problems(17, [701542638]). 
problems(17, [508127643]). 
problems(17, [357162804]). 
problems(17, [702153864]). 
problems(17, [512467380]). 
problems(17, [562170438]). 
problems(17, [710346285]). 
problems(17, [701463258]). 
problems(17, [513708462]). 
problems(17, [130287654]). 
problems(17, [153208467]). 
problems(17, [140376285]). 
problems(17, [160237485]). 
problems(17, [106258437]). 
problems(17, [132508674]). 
problems(17, [125408376]). 
problems(17, [152360478]). 
problems(17, [107256438]). 
problems(17, [501768234]). 
problems(17, [542601873]). 
problems(17, [504731862]). 
problems(17, [364172850]). 
problems(17, [365421870]). 
problems(17, [514670238]). 
problems(17, [534260817]). 
problems(17, [521438760]). 
problems(17, [326571840]). 
problems(17, [534712068]). 
problems(17, [570134826]). 
problems(17, [581034267]). 
problems(17, [731465082]). 
problems(17, [714286035]). 
problems(17, [750182643]). 
problems(17, [753261048]). 
problems(17, [714362580]). 
problems(17, [702583641]). 
problems(17, [130842567]). 
problems(17, [104732865]). 
problems(17, [124508367]). 
problems(17, [123085764]). 
problems(17, [125430876]). 
problems(17, [106532847]). 
problems(17, [504736218]). 
problems(17, [137264580]). 
problems(17, [504732816]). 
problems(17, [325816740]). 
problems(17, [745126038]). 
problems(17, [730465281]). 
problems(17, [760145382]). 
problems(17, [735041862]). 
problems(17, [751243806]). 
problems(17, [761205834]). 
problems(17, [732504861]). 
problems(17, [732560184]). 
problems(17, [702564831]). 
problems(17, [730462851]). 
problems(17, [704265831]). 
problems(17, [720563841]). 
problems(17, [734180265]). 
problems(17, [735124806]). 
problems(17, [701863452]). 
problems(17, [725160834]). 
problems(17, [104536827]). 
problems(17, [143028756]). 
problems(17, [105867342]). 
problems(17, [125863407]). 
problems(17, [165072834]). 
problems(17, [342067185]). 
problems(17, [316074285]). 
problems(17, [137456208]). 
problems(17, [306275148]). 
problems(17, [125467803]). 
problems(17, [302467581]). 
problems(17, [351270648]). 
problems(17, [307261485]). 
problems(17, [712536480]). 
problems(17, [732640518]). 
problems(17, [715640238]). 
problems(17, [526814703]). 
problems(17, [760531248]). 
problems(17, [572810634]). 
problems(17, [576018234]). 
problems(17, [302854176]). 
problems(17, [127538064]). 
problems(17, [350167248]). 
problems(17, [314802567]). 
problems(17, [361205847]). 
problems(17, [341280576]). 
problems(17, [134562870]). 
problems(17, [132567840]). 
problems(17, [316250847]). 
problems(17, [143562780]). 
problems(17, [126543870]). 
problems(17, [153248760]). 
problems(17, [162740583]). 
problems(17, [147502863]). 
problems(17, [146730285]). 
problems(17, [342076158]). 
problems(17, [143276850]). 
problems(17, [530274681]). 
problems(17, [315478602]). 
problems(17, [582710436]). 
problems(17, [506274138]). 
problems(17, [732865041]). 
problems(17, [785106234]). 
problems(17, [782503461]). 
problems(17, [126304578]). 
problems(17, [351420867]). 
problems(17, [320718465]). 
problems(17, [180527436]). 
problems(17, [302817465]). 
problems(17, [354168072]). 
problems(17, [702314568]). 
problems(17, [327564108]). 
problems(17, [521463807]). 
problems(17, [317286504]). 
problems(17, [370284561]). 
problems(17, [540163872]). 
problems(17, [503176842]). 
problems(17, [347065182]). 
problems(17, [506172384]). 
problems(17, [380264571]). 
problems(17, [532470168]). 
problems(17, [531268047]). 
problems(17, [364058172]). 
problems(17, [745612803]). 
problems(17, [762541803]). 
problems(17, [762531840]). 
problems(17, [123084567]). 
problems(17, [106432587]). 
problems(17, [132067548]). 
problems(17, [325708461]). 
problems(17, [520476318]). 
problems(17, [508142367]). 
problems(17, [346217580]). 
problems(17, [361258470]). 
problems(17, [502671384]). 
problems(17, [371804265]). 
problems(17, [385106247]). 
problems(17, [328405761]). 
problems(17, [571032468]). 
problems(17, [560132784]). 
problems(17, [560123874]). 
problems(17, [512347806]). 
problems(17, [360572481]). 
problems(17, [347156208]). 
problems(17, [701458632]). 
problems(17, [527408631]). 
problems(17, [536078142]). 
problems(17, [761203584]). 
problems(17, [140265378]). 
problems(17, [102465837]). 
problems(17, [120743568]). 
problems(17, [140532678]). 
problems(17, [501728364]). 
problems(17, [540217863]). 
problems(17, [530418726]). 
problems(17, [361840275]). 
problems(17, [510832764]). 
problems(17, [345217860]). 
problems(17, [520438716]). 
problems(17, [370541862]). 
problems(17, [501738246]). 
problems(17, [713058462]). 
problems(17, [704238615]). 
problems(17, [730148652]). 
problems(17, [750164238]). 
problems(17, [507286431]). 
problems(17, [762031548]). 
problems(17, [714260583]). 
problems(17, [742501638]). 
problems(17, [706235184]). 
problems(17, [761042538]). 
problems(17, [704265183]). 
problems(17, [562370481]). 
problems(17, [507463821]). 
problems(17, [312704685]). 
problems(17, [135268074]). 
problems(17, [156073248]). 
problems(17, [126573048]). 
problems(17, [562813047]). 
problems(17, [720563418]). 
problems(17, [526801743]). 
problems(17, [743150268]). 
problems(17, [740318265]). 
problems(17, [721508364]). 
problems(17, [720813465]). 
problems(17, [701842536]). 
problems(17, [563170824]). 
problems(17, [568013247]). 
problems(17, [302467158]). 
problems(17, [104768235]). 
problems(17, [173504268]). 
problems(17, [104568732]). 
problems(17, [105476823]). 
problems(17, [126543708]). 
problems(17, [147503268]). 
problems(17, [107832465]). 
problems(17, [128503746]). 
problems(17, [316205487]). 
problems(17, [508741236]). 
problems(17, [560428713]). 
problems(17, [532780416]). 
problems(17, [562710483]). 
problems(17, [783401265]). 
problems(17, [763241580]). 
problems(17, [708265341]). 
problems(17, [763208451]). 
problems(17, [760258431]). 
problems(17, [105748236]). 
problems(17, [150824736]). 
problems(17, [350124867]). 
problems(17, [314502768]). 
problems(17, [130586724]). 
problems(17, [150823764]). 
problems(17, [341205876]). 
problems(17, [170532846]). 
problems(17, [307185642]). 
problems(17, [530172684]). 
problems(17, [147286503]). 
problems(17, [540263178]). 
problems(17, [524306178]). 
problems(17, [372546810]). 
problems(17, [732816504]). 
problems(17, [732814560]). 
problems(17, [738061254]). 
problems(17, [716805234]). 
problems(17, [765120843]). 
problems(17, [783140265]). 
problems(17, [510286437]). 
problems(17, [326801475]). 
problems(17, [510284736]). 
problems(17, [340761582]). 
problems(17, [503261874]). 
problems(17, [540163287]). 
problems(17, [520438167]). 
problems(17, [360481275]). 
problems(17, [350268471]). 
problems(17, [370461285]). 
problems(17, [380164275]). 
problems(17, [304765182]). 
problems(17, [751203648]). 
problems(17, [315807246]). 
problems(17, [135748260]). 
problems(17, [308247516]). 
problems(17, [350472816]). 
problems(17, [307561284]). 
problems(17, [328410765]). 
problems(17, [530217846]). 
problems(17, [348210567]). 
problems(17, [312847506]). 
problems(17, [305741862]). 
problems(17, [325614807]). 
problems(17, [354160827]). 
problems(17, [714062538]). 
problems(17, [741205638]). 
problems(17, [102435768]). 
problems(17, [360524817]). 
problems(17, [147203586]). 
problems(17, [160372485]). 
problems(17, [307524816]). 
problems(17, [136072485]). 
problems(17, [125470638]). 
problems(17, [307541826]). 
problems(17, [350821746]). 
problems(17, [305746218]). 
problems(17, [571246038]). 
problems(17, [583024167]). 
problems(17, [374186205]). 
problems(17, [546107283]). 
problems(17, [521468703]). 
problems(17, [705143286]). 
problems(17, [504782136]). 
problems(17, [524708136]). 
problems(17, [518260374]). 
problems(17, [572431068]). 
problems(17, [536218074]). 
problems(17, [542371806]). 
problems(17, [528107463]). 
problems(17, [534180762]). 
problems(17, [561270483]). 
problems(17, [532461780]). 
problems(17, [731064258]). 
problems(17, [750124368]). 
problems(17, [708163542]). 
problems(17, [105268734]). 
problems(17, [142705638]). 
problems(17, [160248537]). 
problems(17, [314205678]). 
problems(17, [143275068]). 
problems(17, [135260847]). 
problems(17, [105762348]). 
problems(17, [103476852]). 
problems(17, [162038475]). 
problems(17, [514708263]). 
problems(17, [372518640]). 
problems(17, [532670418]). 
problems(17, [538140267]). 
problems(17, [508237416]). 
problems(17, [502746831]). 
problems(17, [743165082]). 
problems(17, [724563108]). 
problems(17, [760182534]). 
problems(17, [728106534]). 
problems(17, [708361245]). 
problems(17, [546708132]). 
problems(17, [104728365]). 
problems(17, [132705846]). 
problems(17, [301265748]). 
problems(17, [301248576]). 
problems(17, [143065827]). 
problems(17, [310248567]). 
problems(17, [150427836]). 
problems(17, [104652873]). 
problems(17, [102874356]). 
problems(17, [153048267]). 
problems(17, [512307648]). 
problems(17, [163287405]). 
problems(17, [573186204]). 
problems(17, [706531842]). 
problems(17, [738120465]). 
problems(17, [716280354]). 
problems(17, [738021564]). 
problems(17, [753208416]). 
problems(17, [726540138]). 
problems(17, [713562804]). 
problems(17, [104538726]). 
problems(17, [104832756]). 
problems(17, [360274158]). 
problems(17, [361208574]). 
problems(17, [306471285]). 
problems(17, [305264871]). 
problems(17, [176205834]). 
problems(17, [312486507]). 
problems(17, [108745632]). 
problems(17, [108763452]). 
problems(17, [360174528]). 
problems(17, [157426308]). 
problems(17, [327405168]). 
problems(17, [178032546]). 
problems(17, [501362748]). 
problems(17, [342176085]). 
problems(17, [731526804]). 
problems(17, [731524860]). 
problems(17, [534860712]). 
problems(17, [735026814]). 
problems(17, [578130264]). 
problems(17, [325614078]). 
problems(17, [145708263]). 
problems(17, [362501478]). 
problems(17, [301768245]). 
problems(17, [321564807]). 
problems(17, [502138467]). 
problems(17, [305178426]). 
problems(17, [301576842]). 
problems(17, [361047285]). 
problems(17, [310678245]). 
problems(17, [308126745]). 
problems(17, [501238476]). 
problems(17, [340278156]). 
problems(17, [305462817]). 
problems(17, [340176825]). 
problems(17, [510238467]). 
problems(17, [530126478]). 
problems(17, [376208145]). 
problems(17, [340187256]). 
problems(17, [345210876]). 
problems(17, [506183274]). 
problems(17, [512468307]). 
problems(17, [532418607]). 
problems(17, [518402367]). 
problems(17, [512476083]). 
problems(17, [516207834]). 
problems(17, [702413586]). 
problems(17, [561072438]). 
problems(17, [703152468]). 
problems(17, [504672138]). 
problems(17, [571402368]). 
problems(17, [531078462]). 
problems(17, [130267845]). 
problems(17, [127034568]). 
problems(17, [102674385]). 
problems(17, [130572648]). 
problems(17, [340516827]). 
problems(17, [501872436]). 
problems(17, [513824067]). 
problems(17, [527031846]). 
problems(17, [507142863]). 
problems(17, [342870615]). 
problems(17, [502836174]). 
problems(17, [560412837]). 
problems(17, [507416238]). 
problems(17, [507412836]). 
problems(17, [315468720]). 
problems(17, [372810645]). 
problems(17, [501836472]). 
problems(17, [346078215]). 
problems(17, [536210847]). 
problems(17, [702683145]). 
problems(17, [760423185]). 
problems(17, [715430682]). 
problems(17, [762053148]). 
problems(17, [547360182]). 
problems(17, [760342185]). 
problems(17, [102657438]). 
problems(17, [104653278]). 
problems(17, [120548637]). 
problems(17, [132074856]). 
problems(17, [123450867]). 
problems(17, [142306857]). 
problems(17, [104376258]). 
problems(17, [130284756]). 
problems(17, [130564287]). 
problems(17, [120564837]). 
problems(17, [104256783]). 
problems(17, [348025761]). 
problems(17, [345802716]). 
problems(17, [502817364]). 
problems(17, [531820467]). 
problems(17, [348056217]). 
problems(17, [724318065]). 
problems(17, [702468315]). 
problems(17, [715234806]). 
problems(17, [740258136]). 
problems(17, [702468153]). 
problems(17, [514872603]). 
problems(17, [735420168]). 
problems(17, [703546182]). 
problems(17, [718203456]). 
problems(17, [574038162]). 
problems(17, [716504238]). 
problems(17, [740182563]). 
problems(17, [701684235]). 
problems(17, [582403761]). 
problems(17, [743160528]). 
problems(17, [528406731]). 
problems(17, [170268534]). 
problems(17, [134268570]). 
problems(17, [174260538]). 
problems(17, [138260574]). 
problems(17, [142863075]). 
problems(17, [163280745]). 
problems(17, [138407265]). 
problems(17, [382510764]). 
problems(17, [701826534]). 
problems(17, [705432816]). 
problems(17, [732405816]). 
problems(17, [562418370]). 
problems(17, [512867430]). 
problems(17, [701854236]). 
problems(17, [725034816]). 
problems(17, [538216704]). 
problems(17, [702814653]). 
problems(17, [750218364]). 
problems(17, [543168720]). 
problems(17, [730561284]). 
problems(17, [532861470]). 
problems(17, [720561834]). 
problems(17, [705436218]). 
problems(17, [765302841]). 
problems(17, [746058132]). 
problems(17, [312804657]). 
problems(17, [312564087]). 
problems(17, [160538472]). 
problems(17, [321508674]). 
problems(17, [123587406]). 
problems(17, [107584236]). 
problems(17, [325108476]). 
problems(17, [108742536]). 
problems(17, [302571684]). 
problems(17, [124583706]). 
problems(17, [361205478]). 
problems(17, [132578406]). 
problems(17, [302581647]). 
problems(17, [105836742]). 
problems(17, [524831760]). 
problems(17, [714520836]). 
problems(17, [763248015]). 
problems(17, [301826547]). 
problems(17, [134528706]). 
problems(17, [302548176]). 
problems(17, [130865724]). 
problems(17, [102473685]). 
problems(17, [148025736]). 
problems(17, [304271856]). 
problems(17, [352017468]). 
problems(17, [370158642]). 
problems(17, [376201485]). 
problems(17, [376102584]). 
problems(17, [345076182]). 
problems(17, [145872603]). 
problems(17, [376104285]). 
problems(17, [760528341]). 
problems(17, [761524803]). 
problems(17, [742830651]). 
problems(17, [125034678]). 
problems(17, [104362587]). 
problems(17, [340217856]). 
problems(17, [123406578]). 
problems(17, [560214387]). 
problems(17, [315764208]). 
problems(17, [513704268]). 
problems(17, [302876541]). 
problems(17, [318702564]). 
problems(17, [362418507]). 
problems(17, [360287154]). 
problems(17, [506217438]). 
problems(17, [367210548]). 
problems(17, [318504762]). 
problems(17, [312857604]). 
problems(17, [307842165]). 
problems(17, [502731684]). 
problems(17, [516240378]). 
problems(17, [308562174]). 
problems(17, [726104538]). 
problems(17, [712364508]). 
problems(17, [102367458]). 
problems(17, [104523678]). 
problems(17, [105236478]). 
problems(17, [302867451]). 
problems(17, [502631874]). 
problems(17, [326541807]). 
problems(17, [504631278]). 
problems(17, [307581246]). 
problems(17, [360247851]). 
problems(17, [534178062]). 
problems(17, [530784162]). 
problems(17, [538062174]). 
problems(17, [512873604]). 
problems(17, [560184732]). 
problems(17, [583402167]). 
problems(17, [541278603]). 
problems(17, [561472308]). 
problems(17, [120435867]). 
problems(17, [102536487]). 
problems(17, [120534768]). 
problems(17, [173206485]). 
problems(17, [106482735]). 
problems(17, [154362078]). 
problems(17, [108274536]). 
problems(17, [107258634]). 
problems(17, [137064528]). 
problems(17, [138206547]). 
problems(17, [324715806]). 
problems(17, [314825706]). 
problems(17, [714236058]). 
problems(17, [530847162]). 
problems(17, [546137208]). 
problems(17, [548201736]). 
problems(17, [518342706]). 
problems(17, [730218654]). 
problems(17, [715023864]). 
problems(17, [731246058]). 
problems(17, [580261374]). 
problems(17, [376280415]). 
problems(17, [734025168]). 
problems(17, [526413870]). 
problems(17, [702541683]). 
problems(17, [581260347]). 
problems(17, [530862471]). 
problems(17, [516247803]). 
problems(17, [715368042]). 
problems(17, [763082145]). 
problems(17, [128405367]). 
problems(17, [154327068]). 
problems(17, [170265438]). 
problems(17, [130862745]). 
problems(17, [135470268]). 
problems(17, [312406785]). 
problems(17, [321604578]). 
problems(17, [132806745]). 
problems(17, [310462785]). 
problems(17, [162054873]). 
problems(17, [153082746]). 
problems(17, [314062587]). 
problems(17, [304261587]). 
problems(17, [125734068]). 
problems(17, [543218760]). 
problems(17, [532718406]). 
problems(17, [701543826]). 
problems(17, [570432816]). 
problems(17, [712863504]). 
problems(17, [780162435]). 
problems(17, [734086152]). 
problems(17, [760184352]). 
problems(17, [716348205]). 
problems(17, [725163840]). 
problems(17, [728430165]). 
problems(17, [760543182]). 
problems(17, [102857463]). 
problems(17, [320156847]). 
problems(17, [130765284]). 
problems(17, [150428763]). 
problems(17, [150832467]). 
problems(17, [173482506]). 
problems(17, [138465072]). 
problems(17, [173462580]). 
problems(17, [146378205]). 
problems(17, [763521048]). 
problems(17, [754312806]). 
problems(17, [712834650]). 
problems(17, [753160824]). 
problems(17, [708542136]). 
problems(17, [753126804]). 
problems(17, [742830165]). 
problems(17, [140835267]). 
problems(17, [371206845]). 
problems(17, [502461387]). 
problems(17, [503174268]). 
problems(17, [362071584]). 
problems(17, [316504872]). 
problems(17, [163570842]). 
problems(17, [142857603]). 
problems(17, [148702563]). 
problems(17, [148356207]). 
problems(17, [318207654]). 
problems(17, [125847603]). 
problems(17, [147238650]). 
problems(17, [513062748]). 
problems(17, [304862175]). 
problems(17, [175430862]). 
problems(17, [316280745]). 
problems(17, [342608175]). 
problems(17, [503271468]). 
problems(17, [538712460]). 
problems(17, [381205467]). 
problems(17, [510238746]). 
problems(17, [504136287]). 
problems(17, [351280746]). 
problems(17, [325046871]). 
problems(17, [326541078]). 
problems(17, [530127486]). 
problems(17, [345170268]). 
problems(17, [314670285]). 
problems(17, [702138645]). 
problems(17, [507138642]). 
problems(17, [503487162]). 
problems(17, [723106548]). 
problems(17, [508362147]). 
problems(17, [506437182]). 
problems(17, [107264385]). 
problems(17, [162840753]). 
problems(17, [346210857]). 
problems(17, [316520874]). 
problems(17, [326510847]). 
problems(17, [542803167]). 
problems(17, [530472861]). 
problems(17, [371468205]). 
problems(17, [502487361]). 
problems(17, [521807643]). 
problems(17, [532164870]). 
problems(17, [501863742]). 
problems(17, [573042168]). 
problems(17, [572104836]). 
problems(17, [703142865]). 
problems(17, [560281347]). 
problems(17, [526413708]). 
problems(17, [726308145]). 
problems(17, [123078564]). 
problems(17, [132706548]). 
problems(17, [106352874]). 
problems(17, [502864317]). 
problems(17, [347086215]). 
problems(17, [507431826]). 
problems(17, [543208716]). 
problems(17, [542730168]). 
problems(17, [348062751]). 
problems(17, [543071826]). 
problems(17, [364270851]). 
problems(17, [740286135]). 
problems(17, [725408136]). 
problems(17, [742068135]). 
problems(17, [705482136]). 
problems(17, [123506874]). 
problems(17, [134260758]). 
problems(17, [107523468]). 
problems(17, [134502867]). 
problems(17, [130582467]). 
problems(17, [132460857]). 
problems(17, [310246578]). 
problems(17, [150426738]). 
problems(17, [163078542]). 
problems(17, [163470582]). 
problems(17, [513820764]). 
problems(17, [325817460]). 
problems(17, [542610837]). 
problems(17, [352816704]). 
problems(17, [328516704]). 
problems(17, [318204675]). 
problems(17, [362850417]). 
problems(17, [342851760]). 
problems(17, [325841760]). 
problems(17, [715408263]). 
problems(17, [732058461]). 
problems(17, [761350248]). 
problems(17, [751246308]). 
problems(17, [586102743]). 
problems(17, [741352806]). 
problems(17, [712438560]). 
problems(17, [712634580]). 
problems(17, [715260843]). 
problems(17, [562803741]). 
problems(17, [718230546]). 
problems(17, [704186523]). 
problems(17, [764013285]). 
problems(17, [120546873]). 
problems(17, [174256038]). 
problems(17, [173405862]). 
problems(17, [143278560]). 
problems(17, [128507643]). 
problems(17, [108752634]). 
problems(17, [106578432]). 
problems(17, [143567082]). 
problems(17, [743056218]). 
problems(17, [721805463]). 
problems(17, [720816534]). 
problems(17, [741260853]). 
problems(17, [734065218]). 
problems(17, [763182540]). 
problems(17, [172508364]). 
problems(17, [340257618]). 
problems(17, [304157862]). 
problems(17, [350218674]). 
problems(17, [182504736]). 
problems(17, [312760548]). 
problems(17, [138542067]). 
problems(17, [306542178]). 
problems(17, [158042736]). 
problems(17, [173504826]). 
problems(17, [346021578]). 
problems(17, [306251874]). 
problems(17, [305146872]). 
problems(17, [153708264]). 
problems(17, [562304178]). 
problems(17, [748132560]). 
problems(17, [170538264]). 
problems(17, [360217458]). 
problems(17, [320814765]). 
problems(17, [312580467]). 
problems(17, [304178256]). 
problems(17, [305612847]). 
problems(17, [317045268]). 
problems(17, [312548067]). 
problems(17, [342160857]). 
problems(17, [128540736]). 
problems(17, [305641278]). 
problems(17, [502387164]). 
problems(17, [361278405]). 
problems(17, [360485172]). 
problems(17, [542108673]). 
problems(17, [347062581]). 
problems(17, [534260178]). 
problems(17, [562043178]). 
problems(17, [517403268]). 
problems(17, [536102847]). 
problems(17, [318264570]). 
problems(17, [702143568]). 
problems(17, [763520841]). 
problems(17, [725831460]). 
problems(17, [502843176]). 
problems(17, [360548172]). 
problems(17, [521704836]). 
problems(17, [370258614]). 
problems(17, [370248651]). 
problems(17, [530742168]). 
problems(17, [532064817]). 
problems(17, [504183726]). 
problems(17, [506421837]). 
problems(17, [356042871]). 
problems(17, [317248650]). 
problems(17, [504362817]). 
problems(17, [348160275]). 
problems(17, [376041285]). 
problems(17, [740163582]). 
problems(17, [508471632]). 
problems(17, [102574368]). 
problems(17, [103265784]). 
problems(17, [103285467]). 
problems(17, [102637548]). 
problems(17, [130452786]). 
problems(17, [360825174]). 
problems(17, [327560418]). 
problems(17, [136274508]). 
problems(17, [325741806]). 
problems(17, [305826741]). 
problems(17, [326508714]). 
problems(17, [340852761]). 
problems(17, [501728436]). 
problems(17, [365047218]). 
problems(17, [730245681]). 
problems(17, [518263704]). 
problems(17, [732081465]). 
problems(17, [740265138]). 
problems(17, [745103268]). 
problems(17, [705263418]). 
problems(17, [704138652]). 
problems(17, [714603285]). 
problems(17, [732081546]). 
problems(17, [751063248]). 
problems(17, [724038165]). 
problems(17, [130425876]). 
problems(17, [102438756]). 
problems(17, [345810267]). 
problems(17, [105487362]). 
problems(17, [162470538]). 
problems(17, [163247085]). 
problems(17, [128360547]). 
problems(17, [180264375]). 
problems(17, [340865217]). 
problems(17, [731542068]). 
problems(17, [512786304]). 
problems(17, [538071264]). 
problems(17, [710528643]). 
problems(17, [516248730]). 
problems(17, [750431268]). 
problems(17, [537082416]). 
problems(17, [701485236]). 
problems(17, [714532068]). 
problems(17, [706485132]). 
problems(17, [708365142]). 
problems(17, [173028465]). 
problems(17, [306412578]). 
problems(17, [160258734]). 
problems(17, [125706483]). 
problems(17, [350241678]). 
problems(17, [302178465]). 
problems(17, [160257843]). 
problems(17, [152704836]). 
problems(17, [125704863]). 
problems(17, [128340765]). 
problems(17, [146250837]). 
problems(17, [312470568]). 
problems(17, [174305268]). 
problems(17, [124806735]). 
problems(17, [704516238]). 
problems(17, [541806723]). 
problems(17, [538046217]). 
problems(17, [523816704]). 
problems(17, [740135826]). 
problems(17, [740568132]). 
problems(17, [781234506]). 
problems(17, [738142506]). 
problems(17, [320158746]). 
problems(17, [301574268]). 
problems(17, [150832746]). 
problems(17, [310467258]). 
problems(17, [340128567]). 
problems(17, [140852736]). 
problems(17, [325016478]). 
problems(17, [124835067]). 
problems(17, [147386205]). 
problems(17, [501364782]). 
problems(17, [502473186]). 
problems(17, [516204387]). 
problems(17, [731845062]). 
problems(17, [758012436]). 
problems(17, [732580461]). 
problems(17, [734518062]). 
problems(17, [738052416]). 
problems(17, [752801463]). 
problems(17, [708526134]). 
problems(17, [340125876]). 
problems(17, [316248705]). 
problems(17, [520418637]). 
problems(17, [351274806]). 
problems(17, [360254871]). 
problems(17, [325461807]). 
problems(17, [542103876]). 
problems(17, [506132748]). 
problems(17, [502438176]). 
problems(17, [512307864]). 
problems(17, [360472518]). 
problems(17, [742815036]). 
problems(17, [728510436]). 
problems(17, [354216708]). 
problems(17, [374106258]). 
problems(17, [146528703]). 
problems(17, [370162854]). 
problems(17, [356021874]). 
problems(17, [531240786]). 
problems(17, [501624837]). 
problems(17, [524130768]). 
problems(17, [324716508]). 
problems(17, [307546128]). 
problems(17, [347215068]). 
problems(17, [306248751]). 
problems(17, [374102856]). 
problems(17, [302675841]). 
problems(17, [542013867]). 
problems(17, [342617508]). 
problems(17, [523140867]). 
problems(17, [308526147]). 
problems(17, [532016847]). 
problems(17, [705324168]). 
problems(17, [526470138]). 
problems(17, [721308465]). 
problems(17, [701382465]). 
problems(17, [714206385]). 
problems(17, [582304167]). 
problems(17, [340567218]). 
problems(17, [153264078]). 
problems(17, [325810476]). 
problems(17, [108263475]). 
problems(17, [370148256]). 
problems(17, [581206437]). 
problems(17, [507238614]). 
problems(17, [701426835]). 
problems(17, [702415683]). 
problems(17, [376052841]). 
problems(17, [704231865]). 
problems(17, [516270843]). 
problems(17, [508136742]). 
problems(17, [523704861]). 
problems(17, [543081762]). 
problems(17, [714032865]). 
problems(17, [528160347]). 
problems(17, [753064182]). 
problems(17, [107248365]). 
problems(17, [160328475]). 
problems(17, [126405837]). 
problems(17, [132750648]). 
problems(17, [150462837]). 
problems(17, [105832647]). 
problems(17, [150264873]). 
problems(17, [341820756]). 
problems(17, [710523846]). 
problems(17, [720145836]). 
problems(17, [541237860]). 
problems(17, [571230864]). 
problems(17, [502846371]). 
problems(17, [572041836]). 
problems(17, [730145286]). 
problems(17, [702516348]). 
problems(17, [543801267]). 
problems(17, [751408362]). 
problems(17, [716405832]). 
problems(17, [716238405]). 
problems(17, [723481506]). 
problems(17, [718402563]). 
problems(17, [712583604]). 
problems(17, [724608135]). 
problems(17, [310257468]). 
problems(17, [130756248]). 
problems(17, [160534278]). 
problems(17, [312047568]). 
problems(17, [130752846]). 
problems(17, [145230786]). 
problems(17, [130675248]). 
problems(17, [157308462]). 
problems(17, [348516207]). 
problems(17, [342567810]). 
problems(17, [725136804]). 
problems(17, [780213564]). 
problems(17, [780132564]). 
problems(17, [753214806]). 
problems(17, [750263814]). 
problems(17, [761048235]). 
problems(17, [706238451]). 
problems(17, [751238406]). 
problems(17, [528714603]). 
problems(17, [764130285]). 
problems(17, [708154263]). 
problems(17, [175426038]). 
problems(17, [308152674]). 
problems(17, [510273468]). 
problems(17, [352604178]). 
problems(17, [306148572]). 
problems(17, [361072485]). 
problems(17, [147236580]). 
problems(17, [304276581]). 
problems(17, [164375208]). 
problems(17, [714830265]). 
problems(17, [702846153]). 
problems(17, [520137468]). 
problems(17, [315068274]). 
problems(17, [160578234]). 
problems(17, [502317468]). 
problems(17, [502147368]). 
problems(17, [306172854]). 
problems(17, [317402856]). 
problems(17, [162534870]). 
problems(17, [135860274]). 
problems(17, [158320764]). 
problems(17, [503127468]). 
problems(17, [132586740]). 
problems(17, [126538470]). 
problems(17, [512037468]). 
problems(17, [128705463]). 
problems(17, [314286057]). 
problems(17, [308154276]). 
problems(17, [317406258]). 
problems(17, [712304586]). 
problems(17, [506173482]). 
problems(17, [154203678]). 
problems(17, [361025874]). 
problems(17, [107243685]). 
problems(17, [302817654]). 
problems(17, [312580746]). 
problems(17, [514267308]). 
problems(17, [357164208]). 
problems(17, [513460872]). 
problems(17, [571304268]). 
problems(17, [532176084]). 
problems(17, [526431078]). 
problems(17, [762518340]). 
problems(17, [132507648]). 
problems(17, [102378564]). 
problems(17, [105238674]). 
problems(17, [134208567]). 
problems(17, [104268537]). 
problems(17, [142306785]). 
problems(17, [512608734]). 
problems(17, [504726138]). 
problems(17, [381246705]). 
problems(17, [368041275]). 
problems(17, [501827634]). 
problems(17, [507214863]). 
problems(17, [507241836]). 
problems(17, [514802376]). 
problems(17, [512840637]). 
problems(17, [504186273]). 
problems(17, [512807346]). 
problems(17, [561230847]). 
problems(17, [345812607]). 
problems(17, [541260783]). 
problems(17, [516038274]). 
problems(17, [712463805]). 
problems(17, [705182634]). 
problems(17, [150236748]). 
problems(17, [150432768]). 
problems(17, [132504876]). 
problems(17, [130285476]). 
problems(17, [123506748]). 
problems(17, [163408572]). 
problems(17, [147263085]). 
problems(17, [342780516]). 
problems(17, [512730864]). 
problems(17, [534026817]). 
problems(17, [164273085]). 
problems(17, [524037816]). 
problems(17, [502814763]). 
problems(17, [532864071]). 
problems(17, [714068235]). 
problems(17, [731065842]). 
problems(17, [704285136]). 
problems(17, [740281536]). 
problems(17, [732180564]). 
problems(17, [708124536]). 
problems(17, [702583164]). 
problems(17, [763012485]). 
problems(17, [560287431]). 
problems(17, [538160742]). 
problems(17, [735201864]). 
problems(17, [538064271]). 
problems(17, [130546278]). 
problems(17, [160458372]). 
problems(17, [125468073]). 
problems(17, [163058472]). 
problems(17, [164238075]). 
problems(17, [135086742]). 
problems(17, [170258643]). 
problems(17, [325108647]). 
problems(17, [174206583]). 
problems(17, [163075482]). 
problems(17, [138074265]). 
problems(17, [125708643]). 
problems(17, [173260584]). 
problems(17, [135476028]). 
problems(17, [530867241]). 
problems(17, [706215834]). 
problems(17, [743501268]). 
problems(17, [701546832]). 
problems(17, [532861704]). 
problems(17, [517806234]). 
problems(17, [548032761]). 
problems(17, [532870614]). 
problems(17, [712460853]). 
problems(17, [768103245]). 
problems(17, [325410678]). 
problems(17, [342018675]). 
problems(17, [184205367]). 
problems(17, [132846507]). 
problems(17, [134852067]). 
problems(17, [135806247]). 
problems(17, [130785462]). 
problems(17, [315062847]). 
problems(17, [126570384]). 
problems(17, [125760384]). 
problems(17, [301486275]). 
problems(17, [130768452]). 
problems(17, [302574186]). 
problems(17, [140853762]). 
problems(17, [325401768]). 
problems(17, [146507238]). 
problems(17, [316207458]). 
problems(17, [508716234]). 
problems(17, [704531826]). 
problems(17, [712540863]). 
problems(17, [761452803]). 
problems(17, [728416305]). 
problems(17, [756213804]). 
problems(17, [143825067]). 
problems(17, [325140768]). 
problems(17, [350146278]). 
problems(17, [352014867]). 
problems(17, [301742865]). 
problems(17, [312546078]). 
problems(17, [310562874]). 
problems(17, [561204378]). 
problems(17, [521408673]). 
problems(17, [346271085]). 
problems(17, [374062185]). 
problems(17, [526301478]). 
problems(17, [530147682]). 
problems(17, [372408165]). 
problems(17, [735821064]). 
problems(17, [726508413]). 
problems(17, [764205813]). 
problems(17, [762810345]). 
problems(17, [732546801]). 
problems(17, [715860234]). 
problems(17, [310527864]). 
problems(17, [301546827]). 
problems(17, [501348762]). 
problems(17, [512438067]). 
problems(17, [325476018]). 
problems(17, [503264817]). 
problems(17, [513280467]). 
problems(17, [503471286]). 
problems(17, [370246581]). 
problems(17, [503186247]). 
problems(17, [138745062]). 
problems(17, [542108367]). 
problems(17, [501473826]). 
problems(17, [541208376]). 
problems(17, [502438617]). 
problems(17, [530167428]). 
problems(17, [702384165]). 
problems(17, [704362185]). 
problems(17, [760542813]). 
problems(17, [105234768]). 
problems(17, [102375468]). 
problems(17, [130256478]). 
problems(17, [370185246]). 
problems(17, [345260817]). 
problems(17, [352418706]). 
problems(17, [341275860]). 
problems(17, [342670518]). 
problems(17, [341570862]). 
problems(17, [541230876]). 
problems(17, [520416873]). 
problems(17, [345170826]). 
problems(17, [361570248]). 
problems(17, [342816075]). 
problems(17, [712068345]). 
problems(17, [523468071]). 
problems(17, [507248631]). 
problems(17, [713082465]). 
problems(17, [537204861]). 
problems(17, [527403861]). 
problems(17, [573062184]). 
problems(17, [508472136]). 
problems(17, [508264371]). 
problems(17, [715062348]). 
problems(17, [507186342]). 
problems(17, [705261348]). 
problems(17, [508462173]). 
problems(17, [102435876]). 
problems(17, [130478652]). 
problems(17, [106287435]). 
problems(17, [164207538]). 
problems(17, [104763582]). 
problems(17, [130764582]). 
problems(17, [301472685]). 
problems(17, [340815762]). 
problems(17, [543068271]). 
problems(17, [740235186]). 
problems(17, [734105268]). 
problems(17, [542361870]). 
problems(17, [710285436]). 
problems(17, [560471283]). 
problems(17, [702651348]). 
problems(17, [705213864]). 
problems(17, [732501468]). 
problems(17, [580134762]). 
problems(17, [713250846]). 
problems(17, [582107436]). 
problems(17, [720418536]). 
problems(17, [570236481]). 
problems(17, [508642137]). 
problems(17, [541806372]). 
problems(17, [531864027]). 
problems(17, [715230486]). 
problems(17, [720416835]). 
problems(17, [754108632]). 
problems(17, [716284305]). 
problems(17, [715284603]). 
problems(17, [134285067]). 
problems(17, [106574238]). 
problems(17, [132807546]). 
problems(17, [130864275]). 
problems(17, [137502468]). 
problems(17, [103765482]). 
problems(17, [135067284]). 
problems(17, [170253846]). 
problems(17, [124805637]). 
problems(17, [532816407]). 
problems(17, [580217364]). 
problems(17, [530842761]). 
problems(17, [540831762]). 
problems(17, [531842706]). 
problems(17, [508236714]). 
problems(17, [580412736]). 
problems(17, [532807416]). 
problems(17, [560238714]). 
problems(17, [547210836]). 
problems(17, [762318045]). 
problems(17, [745018632]). 
problems(17, [753048162]). 
problems(17, [754163208]). 
problems(17, [736214580]). 
problems(17, [714805632]). 
problems(17, [716254803]). 
problems(17, [715428603]). 
problems(17, [760253841]). 
problems(17, [760281543]). 
problems(17, [160523784]). 
problems(17, [124605873]). 
problems(17, [102847653]). 
problems(17, [102765843]). 
problems(17, [163047258]). 
problems(17, [137025846]). 
problems(17, [162530478]). 
problems(17, [301256784]). 
problems(17, [340126578]). 
problems(17, [312487605]). 
problems(17, [362074185]). 
problems(17, [540832716]). 
problems(17, [751802364]). 
problems(17, [731852064]). 
problems(17, [702864513]). 
problems(17, [572814603]). 
problems(17, [734218560]). 
problems(17, [742563018]). 
problems(17, [340178652]). 
problems(17, [305187462]). 
problems(17, [137265840]). 
problems(17, [174803265]). 
problems(17, [173265804]). 
problems(17, [176048235]). 
problems(17, [734521806]). 
problems(17, [712546830]). 
problems(17, [562840731]). 
problems(17, [312578046]). 
problems(17, [364201857]). 
problems(17, [138740265]). 
problems(17, [523014867]). 
problems(17, [142576830]). 
problems(17, [145830762]). 
problems(17, [341506872]). 
problems(17, [327018564]). 
problems(17, [318502467]). 
problems(17, [354071268]). 
problems(17, [308172456]). 
problems(17, [154823706]). 
problems(17, [312860574]). 
problems(17, [324517608]). 
problems(17, [703254168]). 
problems(17, [714203586]). 
problems(17, [570134682]). 
problems(17, [507264183]). 
problems(17, [526308174]). 
problems(17, [745812630]). 
problems(17, [103475682]). 
problems(17, [350612874]). 
problems(17, [325047816]). 
problems(17, [321547806]). 
problems(17, [720146538]). 
problems(17, [537142068]). 
problems(17, [374182506]). 
problems(17, [701265438]). 
problems(17, [740123568]). 
problems(17, [712340568]). 
problems(17, [543076128]). 
problems(17, [702156438]). 
problems(17, [507436128]). 
problems(17, [710265348]). 
problems(17, [368214507]). 
problems(17, [507162834]). 
problems(17, [704321568]). 
problems(17, [501748632]). 
problems(17, [546201837]). 
problems(17, [532068471]). 
problems(17, [526403817]). 
problems(17, [143602578]). 
problems(17, [126430578]). 
problems(17, [132460785]). 
problems(17, [142370568]). 
problems(17, [145230678]). 
problems(17, [702135846]). 
problems(17, [704125368]). 
problems(17, [701342856]). 
problems(17, [502781364]). 
problems(17, [564130278]). 
problems(17, [702513468]). 
problems(17, [703145268]). 
problems(17, [508137246]). 
problems(17, [512734806]). 
problems(17, [514236870]). 
problems(17, [372506841]). 
problems(17, [531246870]). 
problems(17, [347218560]). 
problems(17, [540283716]). 
problems(17, [570468132]). 
problems(17, [752108643]). 
problems(17, [508763142]). 
problems(17, [752360148]). 
problems(17, [140527638]). 
problems(17, [134028765]). 
problems(17, [140732568]). 
problems(17, [140563278]). 
problems(17, [152036847]). 
problems(17, [103486257]). 
problems(17, [137248605]). 
problems(17, [540712836]). 
problems(17, [540716238]). 
problems(17, [146283507]). 
problems(17, [521830764]). 
problems(17, [327541860]). 
problems(17, [754026138]). 
problems(17, [701568432]). 
problems(17, [736140285]). 
problems(17, [761405238]). 
problems(17, [567108234]). 
problems(17, [708126435]). 
problems(17, [736042518]). 
problems(17, [725143806]). 
problems(17, [745201836]). 
problems(17, [740563128]). 
problems(17, [528706134]). 
problems(17, [104538267]). 
problems(17, [130527846]). 
problems(17, [317204865]). 
problems(17, [173068245]). 
problems(17, [164270835]). 
problems(17, [148260537]). 
problems(17, [325170648]). 
problems(17, [163480275]). 
problems(17, [165370248]). 
problems(17, [107486352]). 
problems(17, [173280465]). 
problems(17, [701586234]). 
problems(17, [568012743]). 
problems(17, [514862730]). 
problems(17, [712840536]). 
problems(17, [528713406]). 
problems(17, [758203461]). 
problems(17, [312608745]). 
problems(17, [170528634]). 
problems(17, [143805762]). 
problems(17, [172508436]). 
problems(17, [143862057]). 
problems(17, [315602748]). 
problems(17, [302468517]). 
problems(17, [160572843]). 
problems(17, [730516824]). 
problems(17, [732568401]). 
problems(17, [301586247]). 
problems(17, [128530764]). 
problems(17, [327015468]). 
problems(17, [104865723]). 
problems(17, [301576284]). 
problems(17, [163540827]). 
problems(17, [532167048]). 
problems(17, [512467038]). 
problems(17, [346182507]). 
problems(17, [534162078]). 
problems(17, [360574182]). 
problems(17, [503461782]). 
problems(17, [563102487]). 
problems(17, [524361078]). 
problems(17, [503467128]). 
problems(17, [752816034]). 
problems(17, [783160254]). 
problems(17, [738056214]). 
problems(17, [102367584]). 
problems(17, [320815467]). 
problems(17, [301842756]). 
problems(17, [513048762]). 
problems(17, [365018472]). 
problems(17, [351486207]). 
problems(17, [345218670]). 
problems(17, [540218673]). 
problems(17, [315862407]). 
problems(17, [502637184]). 
problems(17, [360278514]). 
problems(17, [308561472]). 
problems(17, [540162783]). 
problems(17, [501824673]). 
problems(17, [305861742]). 
problems(17, [325861047]). 
problems(17, [317806245]). 
problems(17, [701368542]). 
problems(17, [508274631]). 
problems(17, [713462085]). 
problems(17, [130246875]). 
problems(17, [140327568]). 
problems(17, [342716805]). 
problems(17, [352816047]). 
problems(17, [501648237]). 
problems(17, [364250817]). 
problems(17, [358016247]). 
problems(17, [305872416]). 
problems(17, [370186254]). 
problems(17, [731408265]). 
problems(17, [702458136]). 
problems(17, [517238640]). 
problems(17, [735042168]). 
problems(17, [576103284]). 
problems(17, [570238641]). 
problems(17, [531870642]). 
problems(17, [724160385]). 
problems(17, [752103846]). 
problems(17, [143268507]). 
problems(17, [157304268]). 
problems(17, [153067482]). 
problems(17, [524708361]). 
problems(17, [518703264]). 
problems(17, [538024761]). 
problems(17, [526408713]). 
problems(17, [502876431]). 
problems(17, [730281456]). 
problems(17, [508712643]). 
problems(17, [524806371]). 
problems(17, [537028461]). 
problems(17, [518602743]). 
problems(17, [702538146]). 
problems(17, [730265418]). 
problems(17, [547108263]). 
problems(17, [728403561]). 
problems(17, [130748562]). 
problems(17, [321507648]). 
problems(17, [160483257]). 
problems(17, [124576038]). 
problems(17, [172054836]). 
problems(17, [124375806]). 
problems(17, [154062873]). 
problems(17, [134257806]). 
problems(17, [127543068]). 
problems(17, [130576842]). 
problems(17, [136075284]). 
problems(17, [138205746]). 
problems(17, [124807536]). 
problems(17, [135087246]). 
problems(17, [170238654]). 
problems(17, [305261478]). 
problems(17, [314206875]). 
problems(17, [134076852]). 
problems(17, [170532684]). 
problems(17, [302168574]). 
problems(17, [342107568]). 
problems(17, [701538264]). 
problems(17, [345860712]). 
problems(17, [531860724]). 
problems(17, [504826731]). 
problems(17, [783106245]). 
problems(17, [728413506]). 
problems(17, [718236504]). 
problems(17, [302561487]). 
problems(17, [124830765]). 
problems(17, [105834726]). 
problems(17, [160537428]). 
problems(17, [124560873]). 
problems(17, [104765283]). 
problems(17, [312540687]). 
problems(17, [326470185]). 
problems(17, [158406732]). 
problems(17, [346072185]). 
problems(17, [725813064]). 
problems(17, [742813506]). 
problems(17, [760258314]). 
problems(17, [760248351]). 
problems(17, [723860154]). 
problems(17, [302541786]). 
problems(17, [301528476]). 
problems(17, [314708562]). 
problems(17, [346207518]). 
problems(17, [513602478]). 
problems(17, [374205168]). 
problems(17, [315742608]). 
problems(17, [372504168]). 
problems(17, [532401768]). 
problems(17, [365401278]). 
problems(17, [318602475]). 
problems(17, [516032478]). 
problems(17, [501724638]). 
problems(17, [530217684]). 
problems(17, [361254807]). 
problems(17, [308167245]). 
problems(17, [725103648]). 
problems(17, [760523814]). 
problems(17, [703264185]). 
problems(17, [342058761]). 
problems(17, [540213876]). 
problems(17, [317504826]). 
problems(17, [307165824]). 
problems(17, [302764851]). 
problems(17, [370251864]). 
problems(17, [540127368]). 
problems(17, [372051846]). 
problems(17, [135827460]). 
problems(17, [540132876]). 
problems(17, [312870654]). 
problems(17, [307185264]). 
problems(17, [513240876]). 
problems(17, [721504638]). 
problems(17, [712354068]). 
problems(17, [516283407]). 
problems(17, [370216854]). 
problems(17, [308521746]). 
problems(17, [307526418]). 
problems(17, [160372548]). 
problems(17, [704162358]). 
problems(17, [548103267]). 
problems(17, [531462870]). 
problems(17, [713405268]). 
problems(17, [524801673]). 
problems(17, [572046138]). 
problems(17, [536072418]). 
problems(17, [571260438]). 
problems(17, [702461358]). 
problems(17, [502763841]). 
problems(17, [376180245]). 
problems(17, [517408236]). 
problems(17, [374508162]). 
problems(17, [104358762]). 
problems(17, [143265087]). 
problems(17, [106732548]). 
problems(17, [107254836]). 
problems(17, [102684573]). 
problems(17, [134076528]). 
problems(17, [136052847]). 
problems(17, [153074268]). 
problems(17, [310274568]). 
problems(17, [127340568]). 
problems(17, [105376284]). 
problems(17, [146205387]). 
problems(17, [543028761]). 
problems(17, [530718462]). 
problems(17, [713042856]). 
problems(17, [702315864]). 
problems(17, [702431856]). 
problems(17, [712035864]). 
problems(17, [378140265]). 
problems(17, [512860473]). 
problems(17, [530861427]). 
problems(17, [702136854]). 
problems(17, [538021746]). 
problems(17, [574031268]). 
problems(17, [573021846]). 
problems(17, [702541368]). 
problems(17, [518240736]). 
problems(17, [713046258]). 
problems(17, [763105482]). 
problems(17, [716243580]). 
problems(17, [738201465]). 
problems(17, [708163425]). 
problems(17, [763214508]). 
problems(17, [576204831]). 
problems(17, [761208543]). 
problems(17, [706283415]). 
problems(17, [738104265]). 
problems(17, [160435287]). 
problems(17, [152430867]). 
problems(17, [124730568]). 
problems(17, [104823765]). 
problems(17, [102865347]). 
problems(17, [104638275]). 
problems(17, [104285763]). 
problems(17, [302165478]). 
problems(17, [102853764]). 
problems(17, [154230768]). 
problems(17, [120846537]). 
problems(17, [102584763]). 
problems(17, [146273580]). 
problems(17, [324568710]). 
problems(17, [541830267]). 
problems(17, [176402583]). 
problems(17, [530841726]). 
problems(17, [728105364]). 
problems(17, [702685134]). 
problems(17, [763201854]). 
problems(17, [721563804]). 
problems(17, [764012583]). 
problems(17, [572418630]). 
problems(17, [518742603]). 
problems(17, [713805462]). 
problems(17, [712860435]). 
problems(17, [726531048]). 
problems(17, [745108236]). 
problems(17, [734082516]). 
problems(17, [532867140]). 
problems(17, [534862170]). 
problems(17, [715360824]). 
problems(17, [715326804]). 
problems(17, [104825367]). 
problems(17, [163508742]). 
problems(17, [128705634]). 
problems(17, [307162845]). 
problems(17, [341267085]). 
problems(17, [735028416]). 
problems(17, [572460813]). 
problems(17, [720564813]). 
problems(17, [705812364]). 
problems(17, [302675184]). 
problems(17, [317056248]). 
problems(17, [342081765]). 
problems(17, [136524870]). 
problems(17, [307251846]). 
problems(17, [135824706]). 
problems(17, [153860247]). 
problems(17, [125860734]). 
problems(17, [351408267]). 
problems(17, [503124867]). 
problems(17, [125837406]). 
problems(17, [317052846]). 
problems(17, [302681745]). 
problems(17, [302846175]). 
problems(17, [340286157]). 
problems(17, [351260847]). 
problems(17, [307128564]). 
problems(17, [306418275]). 
problems(17, [506273184]). 
problems(17, [518203674]). 
problems(17, [715862430]). 
problems(17, [307215864]). 
problems(17, [301865247]). 
problems(17, [148530267]). 
problems(17, [710254368]). 
problems(17, [702154368]). 
problems(17, [315486702]). 
problems(17, [536401278]). 
problems(17, [503462871]). 
problems(17, [308476152]). 
problems(17, [376240185]). 
problems(17, [536107248]). 
problems(17, [537024168]). 
problems(17, [346172580]). 
problems(17, [710236548]). 
problems(17, [527401368]). 
problems(17, [328706145]). 
problems(17, [102387465]). 
problems(17, [105427638]). 
problems(17, [106354278]). 
problems(17, [142307586]). 
problems(17, [124603578]). 
problems(17, [160324578]). 
problems(17, [120368574]). 
problems(17, [341758062]). 
problems(17, [531426807]). 
problems(17, [347082516]). 
problems(17, [364208751]). 
problems(17, [318705462]). 
problems(17, [512470863]). 
problems(17, [508143276]). 
problems(17, [348051762]). 
problems(17, [531480267]). 
problems(17, [536140278]). 
problems(17, [713068542]). 
problems(17, [538074162]). 
problems(17, [104723568]). 
problems(17, [132065847]). 
problems(17, [132076458]). 
problems(17, [361248750]). 
problems(17, [325716804]). 
problems(17, [315860724]). 
problems(17, [362507814]). 
problems(17, [510827436]). 
problems(17, [325806714]). 
problems(17, [362547018]). 
problems(17, [753214068]). 
problems(17, [714256308]). 
problems(17, [543186702]). 
problems(17, [760412538]). 
problems(17, [705138624]). 
problems(17, [712803654]). 
problems(17, [708213465]). 
problems(17, [725431068]). 
problems(17, [563472018]). 
problems(17, [708213546]). 
problems(17, [713258064]). 
problems(17, [731254806]). 
problems(17, [750361248]). 
problems(17, [754032168]). 
problems(17, [130526748]). 
problems(17, [104532876]). 
problems(17, [175403268]). 
problems(17, [162803475]). 
problems(17, [105863472]). 
problems(17, [325840716]). 
problems(17, [750214863]). 
problems(17, [574032861]). 
problems(17, [527431860]). 
problems(17, [734160258]). 
problems(17, [704536128]). 
problems(17, [518432760]). 
problems(17, [732160854]). 
problems(17, [504863721]). 
problems(17, [705631248]). 
problems(17, [714250863]). 
problems(17, [748105632]). 
problems(17, [748213605]). 
problems(17, [763084152]). 
problems(17, [125706834]). 
problems(17, [350217648]). 
problems(17, [316205748]). 
problems(17, [341072586]). 
problems(17, [142708653]). 
problems(17, [125346870]). 
problems(17, [174502368]). 
problems(17, [341062785]). 
problems(17, [130864752]). 
problems(17, [312607485]). 
problems(17, [320571648]). 
problems(17, [172534068]). 
problems(17, [742510368]). 
problems(17, [720543816]). 
problems(17, [524806713]). 
problems(17, [523860714]). 
problems(17, [702615843]). 
problems(17, [741530268]). 
problems(17, [723568041]). 
problems(17, [763280154]). 
problems(17, [756032841]). 
problems(17, [741850632]). 
problems(17, [350214876]). 
problems(17, [307125468]). 
problems(17, [340127865]). 
problems(17, [302814567]). 
problems(17, [312605847]). 
problems(17, [342018567]). 
problems(17, [173240856]). 
problems(17, [340251876]). 
problems(17, [504182637]). 
problems(17, [347208165]). 
problems(17, [516204738]). 
problems(17, [524108637]). 
problems(17, [502473618]). 
problems(17, [315287604]). 
problems(17, [502481637]). 
problems(17, [306278541]). 
problems(17, [780165234]). 
problems(17, [752810643]). 
problems(17, [763250814]). 
problems(17, [726530841]). 
problems(17, [784105236]). 
problems(17, [134820756]). 
problems(17, [512068374]). 
problems(17, [531207864]). 
problems(17, [302785641]). 
problems(17, [502371864]). 
problems(17, [307186452]). 
problems(17, [504261837]). 
problems(17, [504371268]). 
problems(17, [312854670]). 
problems(17, [510376284]). 
problems(17, [354160782]). 
problems(17, [510268473]). 
problems(17, [735810264]). 
problems(17, [508364172]). 
problems(17, [130254768]). 
problems(17, [120365478]). 
problems(17, [120543678]). 
problems(17, [130246587]). 
problems(17, [120437568]). 
problems(17, [315647208]). 
problems(17, [350268714]). 
problems(17, [504217836]). 
problems(17, [340581762]). 
problems(17, [382410567]). 
problems(17, [351708246]). 
problems(17, [325840167]). 
problems(17, [374150268]). 
problems(17, [360821475]). 
problems(17, [314752806]). 
problems(17, [342850167]). 
problems(17, [345127806]). 
problems(17, [315760284]). 
problems(17, [380147265]). 
problems(17, [370254816]). 
problems(17, [572413608]). 
problems(17, [750214638]). 
problems(17, [704128635]). 
problems(17, [713264058]). 
problems(17, [713208654]). 
problems(17, [516273480]). 
problems(17, [531764082]). 
problems(17, [530864172]). 
problems(17, [714205683]). 
problems(17, [502784631]). 
problems(17, [571403862]). 
problems(17, [536271408]). 
problems(17, [703248165]). 
problems(17, [125803647]). 
problems(17, [124376508]). 
problems(17, [160273845]). 
problems(17, [132476508]). 
problems(17, [318540267]). 
problems(17, [562318074]). 
problems(17, [740216385]). 
problems(17, [731208456]). 
problems(17, [514807362]). 
problems(17, [741230586]). 
problems(17, [504763281]). 
problems(17, [741305268]). 
problems(17, [540287613]). 
problems(17, [570162843]). 
problems(17, [531287460]). 
problems(17, [731260458]). 
problems(17, [701563428]). 
problems(17, [130467852]). 
problems(17, [150467238]). 
problems(17, [301428675]). 
problems(17, [137420568]). 
problems(17, [312074586]). 
problems(17, [143086275]). 
problems(17, [163072458]). 
problems(17, [180243567]). 
problems(17, [170236584]). 
problems(17, [145237068]). 
problems(17, [504871236]). 
problems(17, [506841237]). 
problems(17, [531780246]). 
problems(17, [372815604]). 
problems(17, [580241736]). 
problems(17, [570318264]). 
problems(17, [725408361]). 
problems(17, [760148532]). 
problems(17, [741286305]). 
problems(17, [723804561]). 
problems(17, [780241635]). 
problems(17, [745106832]). 
problems(17, [716802435]). 
problems(17, [763042581]). 
problems(17, [753061842]). 
problems(17, [143720568]). 
problems(17, [302451768]). 
problems(17, [105823746]). 
problems(17, [130547862]). 
problems(17, [146287305]). 
problems(17, [147382506]). 
problems(17, [147362580]). 
problems(17, [715608234]). 
problems(17, [761523408]). 
problems(17, [760182453]). 
problems(17, [765041238]). 
problems(17, [761345208]). 
problems(17, [714256830]). 
problems(17, [705632841]). 
problems(17, [753128406]). 
problems(17, [708451236]). 
problems(17, [562473810]). 
problems(17, [760158234]). 
problems(17, [301426857]). 
problems(17, [530127648]). 
problems(17, [364201785]). 
problems(17, [328401567]). 
problems(17, [307265184]). 
problems(17, [371206584]). 
problems(17, [164572308]). 
problems(17, [306247581]). 
problems(17, [513062487]). 
problems(17, [135864207]). 
problems(17, [146257803]). 
problems(17, [740825136]). 
problems(17, [715820436]). 
problems(17, [702845613]). 
problems(17, [760148253]). 
problems(17, [742531806]). 
problems(17, [741805236]). 
problems(17, [760512834]). 
problems(17, [340582167]). 
problems(17, [325146807]). 
problems(17, [380142567]). 
problems(17, [314507862]). 
problems(17, [302746581]). 
problems(17, [342801567]). 
problems(17, [360158247]). 
problems(17, [504132786]). 
problems(17, [341265807]). 
problems(17, [302781654]). 
problems(17, [347120568]). 
problems(17, [125746803]). 
problems(17, [520431768]). 
problems(17, [502431786]). 
problems(17, [350168274]). 
problems(17, [307158246]). 
problems(17, [573204168]). 
problems(17, [302846517]). 
problems(17, [154820763]). 
problems(17, [307512846]). 
problems(17, [360127854]). 
problems(17, [563201784]). 
problems(17, [506237481]). 
problems(17, [365170842]). 
problems(17, [502834671]). 
problems(17, [542086137]). 
problems(17, [562301874]). 
problems(17, [308752641]). 
problems(17, [560237184]). 
problems(17, [563240178]). 
problems(17, [572106438]). 
problems(17, [105367248]). 
problems(17, [130467528]). 
problems(17, [150462378]). 
problems(17, [150263847]). 
problems(17, [162053478]). 
problems(17, [356218704]). 
problems(17, [531428706]). 
problems(17, [562310847]). 
problems(17, [502871346]). 
problems(17, [508134726]). 
problems(17, [364280715]). 
problems(17, [530267814]). 
problems(17, [328506741]). 
problems(17, [546012837]). 
problems(17, [730125468]). 
problems(17, [580213467]). 
problems(17, [531670248]). 
problems(17, [360872154]). 
problems(17, [364570128]). 
problems(17, [507216834]). 
problems(17, [563178042]). 
problems(17, [726401583]). 
problems(17, [741280635]). 
problems(17, [731286045]). 
problems(17, [735260148]). 
problems(17, [743261085]). 
problems(17, [102853476]). 
problems(17, [102568437]). 
problems(17, [104528637]). 
problems(17, [130572486]). 
problems(17, [104368257]). 
problems(17, [102573864]). 
problems(17, [102458763]). 
problems(17, [130475286]). 
problems(17, [150436278]). 
problems(17, [107485632]). 
problems(17, [326518740]). 
problems(17, [163284507]). 
problems(17, [346218750]). 
problems(17, [382710546]). 
problems(17, [376045218]). 
problems(17, [701648532]). 
problems(17, [750183246]). 
problems(17, [564072831]). 
problems(17, [760431285]). 
problems(17, [712834065]). 
problems(17, [763042158]). 
problems(17, [527461803]). 
problems(17, [763021584]). 
problems(17, [714802365]). 
problems(17, [537248061]). 
problems(17, [576143208]). 
problems(17, [713254860]). 
problems(17, [120537864]). 
problems(17, [132786045]). 
problems(17, [147305862]). 
problems(17, [314280675]). 
problems(17, [163258407]). 
problems(17, [164270583]). 
problems(17, [183260547]). 
problems(17, [160487235]). 
problems(17, [154273806]). 
problems(17, [128703564]). 
problems(17, [305147682]). 
problems(17, [126708534]). 
problems(17, [730564218]). 
problems(17, [583146207]). 
problems(17, [723415806]). 
problems(17, [701846235]). 
problems(17, [705146823]). 
problems(17, [702583416]). 
problems(17, [523861740]). 
problems(17, [701862354]). 
problems(17, [350247168]). 
problems(17, [132857064]). 
problems(17, [160485273]). 
problems(17, [173506428]). 
problems(17, [351208476]). 
problems(17, [162543807]). 
problems(17, [312608574]). 
problems(17, [183240765]). 
problems(17, [352108467]). 
problems(17, [134275860]). 
problems(17, [301672845]). 
problems(17, [351406278]). 
problems(17, [306174258]). 
problems(17, [340167528]). 
problems(17, [173542068]). 
problems(17, [138075246]). 
problems(17, [360127548]). 
problems(17, [528710463]). 
problems(17, [720815364]). 
problems(17, [782416035]). 
problems(17, [705863421]). 
problems(17, [753802461]). 
problems(17, [708642531]). 
problems(17, [314085267]). 
problems(17, [142735806]). 
problems(17, [302841657]). 
problems(17, [341067258]). 
problems(17, [304186257]). 
problems(17, [317465082]). 
problems(17, [376102845]). 
problems(17, [531064872]). 
problems(17, [734265810]). 
problems(17, [732548610]). 
problems(17, [105237648]). 
problems(17, [105264378]). 
problems(17, [102368547]). 
problems(17, [351708462]). 
problems(17, [341568072]). 
problems(17, [562031478]). 
problems(17, [530271864]). 
problems(17, [315467280]). 
problems(17, [531280476]). 
problems(17, [315862074]). 
problems(17, [317560482]). 
problems(17, [364180275]). 
problems(17, [326805174]). 
problems(17, [356142807]). 
problems(17, [317265480]). 
problems(17, [530461728]). 
problems(17, [532160784]). 
problems(17, [328701546]). 
problems(17, [317460852]). 
problems(17, [521706438]). 
problems(17, [517283604]). 
problems(17, [730281645]). 
problems(17, [102456738]). 
problems(17, [103456278]). 
problems(17, [102437865]). 
problems(17, [362517408]). 
problems(17, [362508417]). 
problems(17, [341870265]). 
problems(17, [342861057]). 
problems(17, [504218763]). 
problems(17, [375120846]). 
problems(17, [724106835]). 
problems(17, [560178432]). 
problems(17, [710286534]). 
problems(17, [508176432]). 
problems(17, [564302871]). 
problems(17, [517362480]). 
problems(17, [712408653]). 
problems(17, [583062147]). 
problems(17, [742061538]). 
problems(17, [541807632]). 
problems(17, [560472381]). 
problems(17, [140235768]). 
problems(17, [163407285]). 
problems(17, [164072538]). 
problems(17, [163082475]). 
problems(17, [138062547]). 
problems(17, [126438075]). 
problems(17, [312845760]). 
problems(17, [108452673]). 
problems(17, [127408536]). 
problems(17, [146073285]). 
problems(17, [142378065]). 
problems(17, [538017462]). 
problems(17, [512867043]). 
problems(17, [701385264]). 
problems(17, [523846107]). 
problems(17, [731062854]). 
problems(17, [743102856]). 
problems(17, [508167423]). 
problems(17, [561280743]). 
problems(17, [703146852]). 
problems(17, [518346207]). 
problems(17, [730158246]). 
problems(17, [561423870]). 
problems(17, [543167280]). 
problems(17, [507832164]). 
problems(17, [724501368]). 
problems(17, [563180274]). 
problems(17, [582106734]). 
problems(17, [784102635]). 
problems(17, [754308162]). 
problems(17, [142608735]). 
problems(17, [143075862]). 
problems(17, [305162487]). 
problems(17, [153086247]). 
problems(17, [126705438]). 
problems(17, [135408726]). 
problems(17, [160275483]). 
problems(17, [310276584]). 
problems(17, [312076485]). 
problems(17, [143608275]). 
problems(17, [310482567]). 
problems(17, [102876534]). 
problems(17, [102867543]). 
problems(17, [135802467]). 
problems(17, [142608573]). 
problems(17, [123576084]). 
problems(17, [152706438]). 
problems(17, [573046218]). 
problems(17, [531742860]). 
problems(17, [548120736]). 
problems(17, [541860327]). 
problems(17, [524816307]). 
problems(17, [538042716]). 
problems(17, [573042816]). 
problems(17, [534802716]). 
problems(17, [560247813]). 
problems(17, [731568042]). 
problems(17, [704586132]). 
problems(17, [725804163]). 
problems(17, [748301265]). 
problems(17, [760283514]). 
problems(17, [784103265]). 
problems(17, [305217468]). 
problems(17, [108532746]). 
problems(17, [143570268]). 
problems(17, [142730865]). 
problems(17, [130587426]). 
problems(17, [302641587]). 
problems(17, [305241768]). 
problems(17, [760185243]). 
problems(17, [780216543]). 
problems(17, [740538612]). 
problems(17, [712586403]). 
problems(17, [706542831]). 
problems(17, [736048215]). 
problems(17, [301428756]). 
problems(17, [307248615]). 
problems(17, [346028175]). 
problems(17, [351276408]). 
problems(17, [307156842]). 
problems(17, [316452807]). 
problems(17, [307285146]). 
problems(17, [125863740]). 
problems(17, [501364827]). 
problems(17, [135862704]). 
problems(17, [304576182]). 
problems(17, [502634178]). 
problems(17, [531402867]). 
problems(17, [510367248]). 
problems(17, [147806235]). 
problems(17, [176523408]). 
problems(17, [315284706]). 
problems(17, [156248703]). 
problems(17, [531208467]). 
problems(17, [325174806]). 
problems(17, [163472850]). 
problems(17, [305762184]). 
problems(17, [361275048]). 
problems(17, [308164725]). 
problems(17, [163572804]). 
problems(17, [531064287]). 
problems(17, [178036245]). 
problems(17, [741203685]). 
problems(17, [712835460]). 
problems(17, [786214503]). 
problems(17, [504216738]). 
problems(17, [510247836]). 
problems(17, [312548670]). 
problems(17, [530241876]). 
problems(17, [372410586]). 
problems(17, [345061827]). 
problems(17, [370218564]). 
problems(17, [352601874]). 
problems(17, [302587614]). 
problems(17, [142865703]). 
problems(17, [341508762]). 
problems(17, [172543860]). 
problems(17, [306187254]). 
problems(17, [148705236]). 
problems(17, [540187632]). 
problems(17, [507182643]). 
problems(17, [531476082]). 
problems(17, [713206584]). 
problems(17, [560372184]). 
problems(17, [104368572]). 
problems(17, [163204785]). 
problems(17, [172304568]). 
problems(17, [126308475]). 
problems(17, [350814267]). 
problems(17, [163402587]). 
problems(17, [126407538]). 
problems(17, [328015764]). 
problems(17, [301865724]). 
problems(17, [501678432]). 
problems(17, [364278015]). 
problems(17, [573026148]). 
problems(17, [740312568]). 
problems(17, [531274860]). 
problems(17, [542308761]). 
problems(17, [531268704]). 
problems(17, [361574802]). 
problems(17, [702138564]). 
problems(17, [517260483]). 
problems(17, [703146528]). 
problems(17, [513862047]). 
problems(17, [562038174]). 
problems(17, [710248365]). 
problems(17, [375218604]). 
problems(17, [516248307]). 
problems(17, [712305846]). 
problems(17, [571204863]). 
problems(17, [512863074]). 
problems(17, [732016548]). 
problems(17, [703156248]). 
problems(17, [701532684]). 
problems(17, [710238564]). 
problems(17, [564107238]). 
problems(17, [104278563]). 
problems(17, [170342568]). 
problems(17, [160432785]). 
problems(17, [320164578]). 
problems(17, [170243586]). 
problems(17, [106473258]). 
problems(17, [106375248]). 
problems(17, [502847163]). 
problems(17, [360578241]). 
problems(17, [513428760]). 
problems(17, [342576801]). 
problems(17, [501846732]). 
problems(17, [530814762]). 
problems(17, [541702863]). 
problems(17, [532840167]). 
problems(17, [528031764]). 
problems(17, [538210467]). 
problems(17, [762413085]). 
problems(17, [761308245]). 
problems(17, [763205184]). 
problems(17, [760182345]). 
problems(17, [706534182]). 
problems(17, [730486125]). 
problems(17, [713258640]). 
problems(17, [741263580]). 
problems(17, [735046182]). 
problems(17, [732068541]). 
problems(17, [102765384]). 
problems(17, [130652874]). 
problems(17, [125038764]). 
problems(17, [132560748]). 
problems(17, [170458632]). 
problems(17, [504821763]). 
problems(17, [156408372]). 
problems(17, [348215760]). 
problems(17, [563278014]). 
problems(17, [740268315]). 
problems(17, [716502834]). 
problems(17, [574218603]). 
problems(17, [705186243]). 
problems(17, [704562381]). 
problems(17, [728105436]). 
problems(17, [702486513]). 
problems(17, [548217603]). 
problems(17, [702586143]). 
problems(17, [703562841]). 
problems(17, [761240835]). 
problems(17, [732416580]). 
problems(17, [102837456]). 
problems(17, [314068572]). 
problems(17, [138065742]). 
problems(17, [142783506]). 
problems(17, [316407285]). 
problems(17, [138075462]). 
problems(17, [318205647]). 
problems(17, [132864570]). 
problems(17, [135760482]). 
problems(17, [502164378]). 
problems(17, [520413678]). 
problems(17, [705813246]). 
problems(17, [761520348]). 
problems(17, [704581236]). 
problems(17, [742503816]). 
problems(17, [508763214]). 
problems(17, [135728064]). 
problems(17, [142856307]). 
problems(17, [125846307]). 
problems(17, [135742806]). 
problems(17, [502143867]). 
problems(17, [360172458]). 
problems(17, [148360257]). 
problems(17, [328014567]). 
problems(17, [316048275]). 
problems(17, [316502847]). 
problems(17, [312465807]). 
problems(17, [160548732]). 
problems(17, [138076254]). 
problems(17, [132876054]). 
problems(17, [154806237]). 
problems(17, [357108642]). 
problems(17, [360415278]). 
problems(17, [342071856]). 
problems(17, [340561287]). 
problems(17, [304751268]). 
problems(17, [310748265]). 
problems(17, [360128457]). 
problems(17, [310548762]). 
problems(17, [302751864]). 
problems(17, [314280756]). 
problems(17, [561243078]). 
problems(17, [507261438]). 
problems(17, [318267504]). 
problems(17, [561207438]). 
problems(17, [531267408]). 
problems(17, [517203864]). 
problems(17, [520463871]). 
problems(17, [503276481]). 
problems(17, [516074238]). 
problems(17, [725860314]). 
