problems(13, [720514836]). 
problems(13, [720513864]). 
problems(13, [702518643]). 
problems(13, [732460581]). 
problems(13, [501264387]). 
problems(13, [364201578]). 
problems(13, [342057168]). 
problems(13, [702861453]). 
problems(13, [780216435]). 
problems(13, [708235461]). 
problems(13, [502368174]). 
problems(13, [370156248]). 
problems(13, [340256817]). 
problems(13, [318405267]). 
problems(13, [360572148]). 
problems(13, [530164782]). 
problems(13, [345120867]). 
problems(13, [306245871]). 
problems(13, [507234168]). 
problems(13, [517302468]). 
problems(13, [762510843]). 
problems(13, [327516408]). 
problems(13, [570134268]). 
problems(13, [342810765]). 
problems(13, [541208763]). 
problems(13, [540182736]). 
problems(13, [701284365]). 
problems(13, [301257648]). 
problems(13, [132506847]). 
problems(13, [130476258]). 
problems(13, [134076285]). 
problems(13, [130472856]). 
problems(13, [107462583]). 
problems(13, [731248065]). 
problems(13, [573108264]). 
problems(13, [730146258]). 
problems(13, [712405863]). 
problems(13, [530821764]). 
problems(13, [705148632]). 
problems(13, [708142635]). 
problems(13, [325107468]). 
problems(13, [170456238]). 
problems(13, [148206735]). 
problems(13, [102864753]). 
problems(13, [312508647]). 
problems(13, [712560834]). 
problems(13, [701835462]). 
problems(13, [735062841]). 
problems(13, [325417068]). 
problems(13, [513064278]). 
problems(13, [302864157]). 
problems(13, [312805467]). 
problems(13, [162540873]). 
problems(13, [530162487]). 
problems(13, [501423867]). 
problems(13, [340172856]). 
problems(13, [305841267]). 
problems(13, [543027168]). 
problems(13, [514263807]). 
problems(13, [345216807]). 
problems(13, [524107836]). 
problems(13, [534061278]). 
problems(13, [130287465]). 
problems(13, [130287546]). 
problems(13, [108263547]). 
problems(13, [701456238]). 
problems(13, [543176208]). 
problems(13, [563170248]). 
problems(13, [342516870]). 
problems(13, [532417806]). 
problems(13, [342570816]). 
problems(13, [513268740]). 
problems(13, [512807463]). 
problems(13, [701285634]). 
problems(13, [730182546]). 
problems(13, [160438275]). 
problems(13, [154037268]). 
problems(13, [130576428]). 
problems(13, [341206578]). 
problems(13, [154207836]). 
problems(13, [163052874]). 
problems(13, [150248736]). 
problems(13, [301258674]). 
problems(13, [147263508]). 
problems(13, [754106238]). 
problems(13, [708231564]). 
problems(13, [732561048]). 
problems(13, [315207864]). 
problems(13, [316270485]). 
problems(13, [512306478]). 
problems(13, [305421867]). 
problems(13, [312508476]). 
problems(13, [137245806]). 
problems(13, [725803461]). 
problems(13, [520417368]). 
problems(13, [307248561]). 
problems(13, [512430768]). 
problems(13, [361250874]). 
problems(13, [326501874]). 
problems(13, [320518764]). 
problems(13, [523460178]). 
problems(13, [501287643]). 
problems(13, [142503678]). 
problems(13, [103268574]). 
problems(13, [530824167]). 
problems(13, [732054168]). 
problems(13, [740231685]). 
problems(13, [714230685]). 
problems(13, [502437816]). 
problems(13, [531280764]). 
problems(13, [317245860]). 
problems(13, [340528761]). 
problems(13, [513248706]). 
problems(13, [324518706]). 
problems(13, [523408761]). 
problems(13, [371245806]). 
problems(13, [504187236]). 
problems(13, [507182436]). 
problems(13, [143268075]). 
problems(13, [104527368]). 
problems(13, [146208375]). 
problems(13, [102576384]). 
problems(13, [125340867]). 
problems(13, [142508637]). 
problems(13, [134025867]). 
problems(13, [760153248]). 
problems(13, [760143285]). 
problems(13, [730186245]). 
problems(13, [701286354]). 
problems(13, [524803761]). 
problems(13, [701523864]). 
problems(13, [157406238]). 
problems(13, [170235864]). 
problems(13, [157402836]). 
problems(13, [317208645]). 
problems(13, [702856134]). 
problems(13, [780231465]). 
problems(13, [723508461]). 
problems(13, [360278145]). 
problems(13, [324560178]). 
problems(13, [301745268]). 
problems(13, [302781546]). 
problems(13, [163275840]). 
problems(13, [503162847]). 
problems(13, [360274581]). 
problems(13, [742530861]). 
problems(13, [340562817]). 
problems(13, [502671438]). 
problems(13, [302568714]). 
problems(13, [364205871]). 
problems(13, [307245816]). 
problems(13, [317265804]). 
problems(13, [724103568]). 
problems(13, [507463182]). 
problems(13, [102536748]). 
problems(13, [130278564]). 
problems(13, [104287365]). 
problems(13, [104562378]). 
problems(13, [143062875]). 
problems(13, [163042578]). 
problems(13, [130468572]). 
problems(13, [570146238]). 
problems(13, [507238461]). 
problems(13, [512806743]). 
problems(13, [531740268]). 
problems(13, [760132548]). 
problems(13, [523801764]). 
problems(13, [570142836]). 
problems(13, [508234761]). 
problems(13, [143256807]). 
problems(13, [132564807]). 
problems(13, [104735268]). 
problems(13, [126504873]). 
problems(13, [712806534]). 
problems(13, [760218345]). 
problems(13, [730168254]). 
problems(13, [741250836]). 
problems(13, [730286415]). 
problems(13, [712805643]). 
problems(13, [708152436]). 
problems(13, [746213508]). 
problems(13, [714258603]). 
problems(13, [341257068]). 
problems(13, [304165872]). 
problems(13, [305168472]). 
problems(13, [341260875]). 
problems(13, [361240578]). 
problems(13, [132568470]). 
problems(13, [307245168]). 
problems(13, [740265813]). 
problems(13, [541206738]). 
problems(13, [513047268]). 
problems(13, [530126847]). 
problems(13, [354210867]). 
problems(13, [531270468]). 
problems(13, [506172438]). 
problems(13, [104352867]). 
problems(13, [132054867]). 
problems(13, [512708364]). 
problems(13, [540186237]). 
problems(13, [560241837]). 
problems(13, [560271384]). 
problems(13, [502761483]). 
problems(13, [315842706]). 
problems(13, [327514806]). 
problems(13, [518207436]). 
problems(13, [730462185]). 
problems(13, [130485267]). 
problems(13, [150246837]). 
problems(13, [130468257]). 
problems(13, [130276854]). 
problems(13, [135076248]). 
problems(13, [130268754]). 
problems(13, [130285764]). 
problems(13, [312408675]). 
problems(13, [537018264]). 
problems(13, [701246853]). 
problems(13, [532418760]). 
problems(13, [705128436]). 
problems(13, [351207468]). 
problems(13, [342160578]). 
problems(13, [123564870]). 
problems(13, [302764185]). 
problems(13, [371204568]). 
problems(13, [318204567]). 
problems(13, [704532861]). 
problems(13, [712548603]). 
problems(13, [708435162]). 
problems(13, [340158762]). 
problems(13, [501427368]). 
problems(13, [346108275]). 
problems(13, [340168257]). 
problems(13, [502361847]). 
problems(13, [314267580]). 
problems(13, [314287506]). 
problems(13, [130462587]). 
problems(13, [103265478]). 
problems(13, [104273586]). 
problems(13, [501832467]). 
problems(13, [512436807]). 
problems(13, [523804167]). 
problems(13, [324516807]). 
problems(13, [347018265]). 
problems(13, [307548162]). 
problems(13, [516270438]). 
problems(13, [541206873]). 
problems(13, [504732168]). 
problems(13, [530267481]). 
problems(13, [360521874]). 
problems(13, [507132846]). 
problems(13, [712503648]). 
problems(13, [502478631]). 
problems(13, [703162485]). 
problems(13, [120543867]). 
problems(13, [102874635]). 
problems(13, [147302568]). 
problems(13, [504831267]). 
problems(13, [537216408]). 
problems(13, [541803762]). 
problems(13, [740132865]). 
problems(13, [508431762]). 
problems(13, [713268045]). 
problems(13, [716208345]). 
problems(13, [142806537]). 
problems(13, [107435862]). 
problems(13, [163048275]). 
problems(13, [102586734]). 
problems(13, [142530768]). 
problems(13, [102835746]). 
problems(13, [162503874]). 
problems(13, [304172586]). 
problems(13, [124530867]). 
problems(13, [138042765]). 
problems(13, [135460872]). 
problems(13, [740526138]). 
problems(13, [718230465]). 
problems(13, [730258416]). 
problems(13, [715802634]). 
problems(13, [312708465]). 
problems(13, [356104278]). 
problems(13, [501462378]). 
problems(13, [501237684]). 
problems(13, [315240867]). 
problems(13, [351206874]). 
problems(13, [351207846]). 
problems(13, [302871645]). 
problems(13, [360172584]). 
problems(13, [307182546]). 
problems(13, [142538706]). 
problems(13, [342051867]). 
problems(13, [308165274]). 
problems(13, [135842760]). 
problems(13, [315462870]). 
problems(13, [542301867]). 
problems(13, [502463781]). 
problems(13, [132057468]). 
problems(13, [102674538]). 
problems(13, [751204368]). 
problems(13, [731254068]). 
problems(13, [706231548]). 
problems(13, [514706238]). 
problems(13, [701365248]). 
problems(13, [325814706]). 
problems(13, [518402736]). 
problems(13, [546102873]). 
problems(13, [732041568]). 
problems(13, [730421568]). 
problems(13, [563204871]). 
problems(13, [716402538]). 
problems(13, [135427068]). 
problems(13, [301472568]). 
problems(13, [154032867]). 
problems(13, [714253806]). 
problems(13, [724506138]). 
problems(13, [740532168]). 
problems(13, [702563481]). 
problems(13, [715430268]). 
problems(13, [713286405]). 
problems(13, [132845067]). 
problems(13, [138045267]). 
problems(13, [340276185]). 
problems(13, [105837462]). 
problems(13, [742516038]). 
problems(13, [763240518]). 
problems(13, [715802463]). 
problems(13, [712534860]). 
problems(13, [734215806]). 
problems(13, [314286705]). 
problems(13, [302517864]). 
problems(13, [327506148]). 
problems(13, [308164257]). 
problems(13, [172540836]). 
problems(13, [501248367]). 
problems(13, [350218746]). 
problems(13, [147265803]). 
problems(13, [501248673]). 
problems(13, [530267148]). 
problems(13, [102368475]). 
problems(13, [104257638]). 
problems(13, [142306578]). 
problems(13, [701264358]). 
problems(13, [701354268]). 
problems(13, [540138267]). 
problems(13, [524310867]). 
problems(13, [316275840]). 
problems(13, [543021867]). 
problems(13, [517263408]). 
problems(13, [130257864]). 
problems(13, [125460378]). 
problems(13, [102864375]). 
problems(13, [132468075]). 
problems(13, [730165482]). 
problems(13, [730428165]). 
problems(13, [720514368]). 
problems(13, [703165284]). 
problems(13, [342815706]). 
problems(13, [362570841]). 
problems(13, [543162870]). 
problems(13, [531248760]). 
problems(13, [502847631]). 
problems(13, [537048162]). 
problems(13, [731260845]). 
problems(13, [517264803]). 
problems(13, [130568274]). 
problems(13, [107486235]). 
problems(13, [147308265]). 
problems(13, [160572438]). 
problems(13, [132860475]). 
problems(13, [173205846]). 
problems(13, [760145238]). 
problems(13, [725310864]). 
problems(13, [532860741]). 
problems(13, [542810736]). 
problems(13, [702834561]). 
problems(13, [704235816]). 
problems(13, [724501836]). 
problems(13, [316247508]). 
problems(13, [308241567]). 
problems(13, [350241867]). 
problems(13, [302518467]). 
problems(13, [514207638]). 
problems(13, [563201478]). 
problems(13, [360271854]). 
problems(13, [513260784]). 
problems(13, [514360278]). 
problems(13, [502741638]). 
problems(13, [327501846]). 
problems(13, [571203468]). 
problems(13, [503468172]). 
problems(13, [104365278]). 
problems(13, [140253867]). 
problems(13, [130258467]). 
problems(13, [143072568]). 
problems(13, [106472538]). 
problems(13, [712406835]). 
problems(13, [702463518]). 
problems(13, [703146285]). 
problems(13, [502861374]). 
problems(13, [732160548]). 
problems(13, [701352864]). 
problems(13, [560142873]). 
problems(13, [704235168]). 
problems(13, [716204583]). 
problems(13, [132508746]). 
problems(13, [702648135]). 
problems(13, [705126834]). 
problems(13, [531840762]). 
problems(13, [713260854]). 
problems(13, [701834265]). 
problems(13, [721508436]). 
problems(13, [713258406]). 
problems(13, [105846237]). 
problems(13, [170526438]). 
problems(13, [305126847]). 
problems(13, [314065278]). 
problems(13, [301247856]). 
problems(13, [314276085]). 
problems(13, [132547806]). 
problems(13, [104835762]). 
problems(13, [132850746]). 
problems(13, [307162584]). 
problems(13, [145702836]). 
problems(13, [708145236]). 
problems(13, [705812436]). 
problems(13, [725801436]). 
problems(13, [763205841]). 
problems(13, [315804267]). 
problems(13, [506134278]). 
problems(13, [365014278]). 
problems(13, [503167248]). 
problems(13, [354160278]). 
problems(13, [501237846]). 
problems(13, [513042867]). 
problems(13, [503461278]). 
problems(13, [130284567]). 
problems(13, [104283567]). 
problems(13, [508231467]). 
problems(13, [560174238]). 
problems(13, [534120867]). 
problems(13, [701236584]). 
problems(13, [345218706]). 
problems(13, [731062548]). 
problems(13, [134257068]). 
problems(13, [105426837]). 
problems(13, [104237856]). 
problems(13, [125703468]). 
problems(13, [134260875]). 
problems(13, [163208475]). 
problems(13, [740238165]). 
problems(13, [701526438]). 
problems(13, [704236518]). 
problems(13, [740263518]). 
problems(13, [751204836]). 
problems(13, [532470816]). 
problems(13, [570234861]). 
problems(13, [560218743]). 
problems(13, [537214806]). 
problems(13, [125806437]). 
problems(13, [108456237]). 
problems(13, [301467285]). 
problems(13, [302481567]). 
problems(13, [123574806]). 
problems(13, [304182567]). 
problems(13, [148207536]). 
problems(13, [512403678]). 
problems(13, [750216834]). 
problems(13, [704538162]). 
problems(13, [730561842]). 
problems(13, [708431265]). 
problems(13, [501243876]). 
problems(13, [306178245]). 
problems(13, [145802763]). 
problems(13, [340267581]). 
problems(13, [302465871]). 
problems(13, [350412867]). 
problems(13, [361274508]). 
problems(13, [512408637]). 
problems(13, [546103278]). 
problems(13, [542106837]). 
problems(13, [501276843]). 
problems(13, [325417806]). 
problems(13, [325801746]). 
problems(13, [531460278]). 
problems(13, [312854706]). 
problems(13, [701243586]). 
problems(13, [530471268]). 
problems(13, [365012874]). 
problems(13, [530467182]). 
problems(13, [701283645]). 
problems(13, [104357268]). 
problems(13, [105236847]). 
problems(13, [125034867]). 
problems(13, [104258367]). 
problems(13, [508137462]). 
problems(13, [560218374]). 
problems(13, [518206734]). 
problems(13, [506178234]). 
problems(13, [512860347]). 
problems(13, [532710468]). 
problems(13, [502781436]). 
problems(13, [502734861]). 
problems(13, [530248716]). 
problems(13, [723408165]). 
problems(13, [125804367]). 
problems(13, [301265487]). 
problems(13, [301254876]). 
problems(13, [104276853]). 
problems(13, [132576048]). 
problems(13, [153460278]). 
problems(13, [125408763]). 
problems(13, [107534268]). 
problems(13, [106478235]). 
problems(13, [740231856]). 
problems(13, [715230864]). 
problems(13, [704531268]). 
problems(13, [314057268]). 
problems(13, [326504178]). 
problems(13, [305164827]). 
problems(13, [730528461]). 
problems(13, [748106235]). 
problems(13, [302865174]). 
problems(13, [307145862]). 
problems(13, [315476208]). 
problems(13, [521406837]). 
problems(13, [542307168]). 
problems(13, [360247518]). 
problems(13, [532160478]). 
problems(13, [370152846]). 
problems(13, [316245807]). 
problems(13, [318205764]). 
problems(13, [315472806]). 
problems(13, [742516803]). 
problems(13, [130278645]). 
problems(13, [543108762]). 
problems(13, [530462817]). 
problems(13, [541703268]). 
problems(13, [512463870]). 
problems(13, [512807634]). 
problems(13, [516208743]). 
problems(13, [534068172]). 
problems(13, [163054278]). 
problems(13, [143067285]). 
problems(13, [301247685]). 
problems(13, [714238065]). 
problems(13, [731068245]). 
problems(13, [704163852]). 
problems(13, [538012764]). 
problems(13, [730142856]). 
problems(13, [142805367]). 
problems(13, [132748065]). 
problems(13, [173408265]). 
problems(13, [127530468]). 
problems(13, [160275834]). 
problems(13, [170452836]). 
problems(13, [143258706]). 
problems(13, [745016238]). 
problems(13, [702536841]). 
problems(13, [725410836]). 
problems(13, [745012836]). 
problems(13, [346210578]). 
problems(13, [340176258]). 
problems(13, [302564781]). 
problems(13, [305742168]). 
problems(13, [362410578]). 
problems(13, [501342867]). 
problems(13, [531062478]). 
problems(13, [732540816]). 
problems(13, [102534678]). 
problems(13, [104237685]). 
problems(13, [513268074]). 
problems(13, [560143278]). 
problems(13, [516208374]). 
problems(13, [502763184]). 
problems(13, [532061874]). 
problems(13, [530128746]). 
problems(13, [150234867]). 
problems(13, [105463782]). 
problems(13, [560138274]). 
problems(13, [583104267]). 
problems(13, [701562348]). 
problems(13, [581203764]). 
problems(13, [372510846]). 
problems(13, [540238761]). 
problems(13, [508162743]). 
problems(13, [701452836]). 
problems(13, [734012568]). 
problems(13, [543172806]). 
problems(13, [730182465]). 
problems(13, [301275684]). 
problems(13, [124537068]). 
problems(13, [173240568]). 
problems(13, [145230867]). 
problems(13, [312408567]). 
problems(13, [301462875]). 
problems(13, [713256804]). 
problems(13, [721506834]). 
problems(13, [750231864]). 
problems(13, [702861345]). 
problems(13, [754102836]). 
problems(13, [321506847]). 
problems(13, [315604278]). 
problems(13, [325106874]). 
problems(13, [325107846]). 
problems(13, [301564872]). 
problems(13, [170524836]). 
problems(13, [730562814]). 
problems(13, [705842631]). 
problems(13, [357106248]). 
problems(13, [543062178]). 
problems(13, [302546871]). 
problems(13, [357102846]). 
problems(13, [104253876]). 
problems(13, [130268547]). 
problems(13, [107243568]). 
problems(13, [725104368]). 
problems(13, [504186732]). 
problems(13, [560173284]). 
problems(13, [530246817]). 
problems(13, [528103764]). 
problems(13, [512708436]). 
problems(13, [370245861]). 
problems(13, [361245870]). 
problems(13, [512438706]). 
problems(13, [518302764]). 
problems(13, [701283564]). 
problems(13, [105468372]). 
problems(13, [104257863]). 
problems(13, [160473285]). 
problems(13, [137064285]). 
problems(13, [102784536]). 
problems(13, [102578634]). 
problems(13, [310462578]). 
problems(13, [730158462]). 
problems(13, [702513846]). 
problems(13, [563270418]). 
problems(13, [502863714]). 
problems(13, [715360248]). 
problems(13, [701534862]). 
problems(13, [701524836]). 
problems(13, [702415836]). 
problems(13, [142560837]). 
problems(13, [143520867]). 
problems(13, [315208467]). 
problems(13, [346102578]). 
problems(13, [702845136]). 
problems(13, [702568341]). 
problems(13, [708163254]). 
problems(13, [780214536]). 
problems(13, [712538406]). 
problems(13, [302856147]). 
problems(13, [360524178]). 
problems(13, [345061278]). 
problems(13, [135820764]). 
problems(13, [302851467]). 
problems(13, [315602874]). 
problems(13, [347012568]). 
problems(13, [531264078]). 
problems(13, [512476308]). 
problems(13, [302576814]). 
problems(13, [530461872]). 
problems(13, [302745861]). 
problems(13, [324508761]). 
problems(13, [360245817]). 
problems(13, [517208634]). 
problems(13, [714302568]). 
problems(13, [125406738]). 
problems(13, [102567348]). 
problems(13, [130286745]). 
problems(13, [126503478]). 
problems(13, [134270568]). 
problems(13, [130482765]). 
problems(13, [160274385]). 
problems(13, [532814067]). 
problems(13, [538014267]). 
problems(13, [713065248]). 
problems(13, [731260584]). 
problems(13, [502468713]). 
problems(13, [502817436]). 
problems(13, [701258364]). 
problems(13, [712804635]). 
problems(13, [137246508]). 
problems(13, [108463257]). 
problems(13, [102735864]). 
problems(13, [730185264]). 
problems(13, [734018265]). 
problems(13, [712530846]). 
problems(13, [753160248]). 
problems(13, [312806547]). 
problems(13, [314278605]). 
problems(13, [340168572]). 
problems(13, [317264508]). 
problems(13, [501364278]). 
problems(13, [142563870]). 
problems(13, [340182765]). 
problems(13, [308162475]). 
problems(13, [702568413]). 
problems(13, [362514078]). 
problems(13, [371246508]). 
problems(13, [370145268]). 
problems(13, [342710568]). 
problems(13, [701254638]). 
problems(13, [104265387]). 
problems(13, [130267584]). 
problems(13, [713054268]). 
problems(13, [702416538]). 
problems(13, [530862147]). 
problems(13, [704163528]). 
problems(13, [712604538]). 
problems(13, [501824736]). 
problems(13, [702368145]). 
problems(13, [130458762]). 
problems(13, [160248375]). 
problems(13, [108246537]). 
problems(13, [130562784]). 
problems(13, [102863457]). 
problems(13, [125406873]). 
problems(13, [102567483]). 
problems(13, [135072846]). 
problems(13, [163074285]). 
problems(13, [147208635]). 
problems(13, [712563408]). 
problems(13, [760241385]). 
problems(13, [562410873]). 
problems(13, [732051864]). 
problems(13, [704125836]). 
problems(13, [310468275]). 
problems(13, [304251867]). 
problems(13, [314052867]). 
problems(13, [140528736]). 
problems(13, [305164782]). 
problems(13, [712564803]). 
problems(13, [340185267]). 
problems(13, [350417268]). 
problems(13, [307246518]). 
problems(13, [312560784]). 
problems(13, [530162748]). 
problems(13, [301528764]). 
problems(13, [308152746]). 
problems(13, [732518460]). 
problems(13, [130274586]). 
problems(13, [342516708]). 
problems(13, [560213847]). 
problems(13, [513246807]). 
problems(13, [507136248]). 
problems(13, [518304267]). 
problems(13, [506147238]). 
problems(13, [364270518]). 
problems(13, [502436871]). 
problems(13, [305862471]). 
problems(13, [531270846]). 
problems(13, [314268750]). 
problems(13, [573102468]). 
problems(13, [512473806]). 
problems(13, [527406138]). 
problems(13, [741208365]). 
problems(13, [730265184]). 
problems(13, [714308265]). 
problems(13, [725104836]). 
problems(13, [713052864]). 
problems(13, [514268703]). 
problems(13, [701286543]). 
problems(13, [702486135]). 
problems(13, [763201548]). 
problems(13, [715208643]). 
problems(13, [142708365]). 
problems(13, [135048762]). 
problems(13, [301267458]). 
problems(13, [123576408]). 
problems(13, [163075248]). 
problems(13, [105863247]). 
problems(13, [302471586]). 
problems(13, [340162587]). 
problems(13, [160452873]). 
problems(13, [130574826]). 
problems(13, [108452736]). 
problems(13, [341062578]). 
problems(13, [302476185]). 
problems(13, [760138245]). 
problems(13, [712546308]). 
problems(13, [702851643]). 
problems(13, [750218436]). 
problems(13, [760281435]). 
problems(13, [304187265]). 
problems(13, [317208564]). 
problems(13, [501234786]). 
problems(13, [347201568]). 
problems(13, [312806475]). 
problems(13, [312708546]). 
problems(13, [302761584]). 
problems(13, [315702468]). 
problems(13, [501273486]). 
problems(13, [305128746]). 
problems(13, [705831264]). 
problems(13, [760245831]). 
problems(13, [530164827]). 
problems(13, [340561872]). 
problems(13, [560132478]). 
problems(13, [307541268]). 
problems(13, [532461078]). 
problems(13, [530276184]). 
problems(13, [130275468]). 
problems(13, [501738462]). 
problems(13, [704126538]). 
problems(13, [507236418]). 
problems(13, [517308264]). 
problems(13, [730246185]). 
problems(13, [502871634]). 
problems(13, [534062871]). 
problems(13, [514702836]). 
problems(13, [527401836]). 
problems(13, [712406583]). 
problems(13, [160523478]). 
problems(13, [105428736]). 
problems(13, [107482536]). 
problems(13, [730145862]). 
problems(13, [720516438]). 
problems(13, [704238561]). 
problems(13, [705163824]). 
problems(13, [735061248]). 
problems(13, [760214583]). 
problems(13, [730284516]). 
problems(13, [705168342]). 
problems(13, [142576308]). 
problems(13, [107538462]). 
problems(13, [302671548]). 
problems(13, [160524873]). 
problems(13, [712536804]). 
problems(13, [732514806]). 
problems(13, [712563840]). 
problems(13, [740521836]). 
problems(13, [501347268]). 
problems(13, [307186245]). 
problems(13, [501283746]). 
problems(13, [315706248]). 
problems(13, [317460285]). 
problems(13, [302578641]). 
problems(13, [315702846]). 
problems(13, [356102874]). 
problems(13, [516203847]). 
problems(13, [124307568]). 
problems(13, [105362478]). 
problems(13, [106273548]). 
problems(13, [507134862]). 
problems(13, [502468371]). 
problems(13, [531068274]). 
problems(13, [325804761]). 
problems(13, [504167283]). 
problems(13, [507162483]). 
problems(13, [542108736]). 
problems(13, [308245761]). 
problems(13, [506234871]). 
problems(13, [702361485]). 
problems(13, [105463827]). 
problems(13, [102764583]). 
problems(13, [105238746]). 
problems(13, [174203568]). 
problems(13, [740218635]). 
problems(13, [760213485]). 
problems(13, [507186234]). 
problems(13, [732048165]). 
problems(13, [547130268]). 
problems(13, [541802736]). 
problems(13, [514802763]). 
problems(13, [514238760]). 
problems(13, [342518760]). 
problems(13, [741208536]). 
problems(13, [560274831]). 
problems(13, [730168542]). 
problems(13, [140526837]). 
problems(13, [306241578]). 
problems(13, [160475238]). 
problems(13, [142708536]). 
problems(13, [130568742]). 
problems(13, [501234678]). 
problems(13, [306172548]). 
problems(13, [702863154]). 
problems(13, [702534816]). 
problems(13, [508732461]). 
problems(13, [730268451]). 
problems(13, [712543806]). 
problems(13, [318207465]). 
problems(13, [341068275]). 
problems(13, [501246378]). 
problems(13, [374102568]). 
problems(13, [318207546]). 
problems(13, [563104278]). 
problems(13, [501287364]). 
problems(13, [541260378]). 
problems(13, [530176482]). 
problems(13, [503176284]). 
problems(13, [301845762]). 
problems(13, [340258716]). 
problems(13, [521408736]). 
problems(13, [345062871]). 
problems(13, [102547638]). 
problems(13, [102763485]). 
problems(13, [103476285]). 
problems(13, [107263584]). 
problems(13, [715203846]). 
problems(13, [512830467]). 
problems(13, [325810764]). 
problems(13, [705432168]). 
problems(13, [701238654]). 
problems(13, [740162538]). 
problems(13, [537041268]). 
problems(13, [140532867]). 
problems(13, [163270485]). 
problems(13, [732418065]). 
problems(13, [734216508]). 
problems(13, [723560148]). 
problems(13, [743160285]). 
problems(13, [716408235]). 
problems(13, [105738264]). 
problems(13, [301478265]). 
problems(13, [142536807]). 
problems(13, [145706238]). 
problems(13, [301562847]). 
problems(13, [312570648]). 
problems(13, [320561478]). 
problems(13, [105862743]). 
problems(13, [341270568]). 
problems(13, [301278456]). 
problems(13, [317205468]). 
problems(13, [142573806]). 
problems(13, [732810465]). 
problems(13, [708156234]). 
problems(13, [524107368]). 
problems(13, [312568074]). 
problems(13, [506231478]). 
problems(13, [308156247]). 
problems(13, [342561078]). 
problems(13, [501236874]). 
problems(13, [147235860]). 
problems(13, [520413867]). 
problems(13, [746215803]). 
problems(13, [508432167]). 
problems(13, [502641837]). 
problems(13, [312568740]). 
problems(13, [563102874]). 
problems(13, [537012468]). 
problems(13, [530478162]). 
problems(13, [723401568]). 
problems(13, [716203485]). 
problems(13, [154207368]). 
problems(13, [160453278]). 
problems(13, [120547368]). 
problems(13, [143260785]). 
problems(13, [104523867]). 
problems(13, [312064578]). 
problems(13, [173206548]). 
problems(13, [173402568]). 
problems(13, [704165382]). 
problems(13, [502816734]). 
problems(13, [740136285]). 
problems(13, [716240538]). 
problems(13, [524801736]). 
problems(13, [504812736]). 
problems(13, [517234860]). 
problems(13, [583102764]). 
problems(13, [713264580]). 
problems(13, [713284506]). 
problems(13, [143527068]). 
problems(13, [170435268]). 
problems(13, [170532468]). 
problems(13, [108245736]). 
problems(13, [712805364]). 
problems(13, [730256814]). 
problems(13, [735120864]). 
problems(13, [760152843]). 
problems(13, [706235841]). 
problems(13, [748102536]). 
problems(13, [350216847]). 
problems(13, [318206745]). 
problems(13, [312540768]). 
problems(13, [360172845]). 
problems(13, [315408762]). 
problems(13, [321508746]). 
problems(13, [501283467]). 
problems(13, [318402765]). 
problems(13, [532064178]). 
problems(13, [102436578]). 
problems(13, [501247863]). 
problems(13, [374108265]). 
problems(13, [512460837]). 
problems(13, [504176382]). 
problems(13, [302547816]). 
problems(13, [302861754]). 
problems(13, [305812746]). 
problems(13, [340268751]). 
problems(13, [302847561]). 
problems(13, [506142837]). 
problems(13, [506132874]). 
problems(13, [504178632]). 
problems(13, [712306548]). 
problems(13, [104267358]). 
problems(13, [106238475]). 
problems(13, [134027568]). 
problems(13, [160432578]). 
problems(13, [124305867]). 
problems(13, [104258673]). 
problems(13, [701524368]). 
problems(13, [701254863]). 
problems(13, [518406237]). 
problems(13, [701532468]). 
problems(13, [712460385]). 
problems(13, [701435268]). 
problems(13, [504168723]). 
problems(13, [530428761]). 
problems(13, [346215870]). 
problems(13, [507234816]). 
problems(13, [706134285]). 
problems(13, [705163482]). 
problems(13, [102856437]). 
problems(13, [143078265]). 
problems(13, [143562078]). 
problems(13, [143260857]). 
problems(13, [123560847]). 
problems(13, [145360278]). 
problems(13, [102837564]). 
problems(13, [102587436]). 
problems(13, [146270538]). 
problems(13, [740168235]). 
problems(13, [714230856]). 
problems(13, [572410836]). 
