problems(11, [570216438]). 
problems(11, [508142736]). 
problems(11, [702641538]). 
problems(11, [102738465]). 
problems(11, [134062578]). 
problems(11, [702841635]). 
problems(11, [143057268]). 
problems(11, [134250867]). 
problems(11, [142803765]). 
problems(11, [301267584]). 
problems(11, [317402568]). 
problems(11, [360152874]). 
problems(11, [530427168]). 
problems(11, [532047168]). 
problems(11, [540218736]). 
problems(11, [701268453]). 
problems(11, [714263508]). 
problems(11, [142506738]). 
problems(11, [124506837]). 
problems(11, [107463285]). 
problems(11, [146205873]). 
problems(11, [712408365]). 
problems(11, [135064278]). 
problems(11, [130467285]). 
problems(11, [102568743]). 
problems(11, [315206847]). 
problems(11, [340527168]). 
problems(11, [325410867]). 
problems(11, [302564817]). 
problems(11, [532417068]). 
problems(11, [530182764]). 
problems(11, [541207836]). 
problems(11, [735012864]). 
problems(11, [718204536]). 
problems(11, [145302867]). 
problems(11, [153402867]). 
problems(11, [132570846]). 
problems(11, [301562478]). 
problems(11, [143265870]). 
problems(11, [345017268]). 
problems(11, [501734268]). 
problems(11, [507431268]). 
problems(11, [106234578]). 
problems(11, [102563784]). 
problems(11, [702851436]). 
problems(11, [163204578]). 
problems(11, [301274586]). 
problems(11, [107238564]). 
problems(11, [125407836]). 
problems(11, [145307268]). 
problems(11, [132840765]). 
problems(11, [170245836]). 
problems(11, [301257864]). 
problems(11, [312804765]). 
problems(11, [342517068]). 
problems(11, [504128736]). 
problems(11, [501834762]). 
problems(11, [760241538]). 
problems(11, [715206834]). 
problems(11, [142805736]). 
problems(11, [370241568]). 
problems(11, [512460378]). 
problems(11, [530268174]). 
problems(11, [130276485]). 
problems(11, [301524867]). 
problems(11, [160274538]). 
problems(11, [127506438]). 
problems(11, [316208475]). 
problems(11, [502863147]). 
problems(11, [740156238]). 
problems(11, [743102568]). 
problems(11, [740152836]). 
problems(11, [712560348]). 
problems(11, [730264581]). 
problems(11, [107236548]). 
problems(11, [123508764]). 
problems(11, [301287546]). 
problems(11, [340172568]). 
problems(11, [125803764]). 
problems(11, [324501867]). 
problems(11, [340268175]). 
problems(11, [307164285]). 
problems(11, [312574806]). 
problems(11, [516203478]). 
problems(11, [530168247]). 
problems(11, [503168274]). 
problems(11, [508163247]). 
problems(11, [701246385]). 
problems(11, [712408536]). 
problems(11, [701258643]). 
problems(11, [170234568]). 
problems(11, [105834267]). 
problems(11, [124508736]). 
problems(11, [301452867]). 
problems(11, [302516847]). 
problems(11, [340162875]). 
problems(11, [302845167]). 
problems(11, [501247638]). 
problems(11, [503162478]). 
problems(11, [502416837]). 
problems(11, [312564870]). 
problems(11, [517230468]). 
problems(11, [530268741]). 
problems(11, [760213548]). 
problems(11, [703168245]). 
problems(11, [714265803]). 
problems(11, [301457268]). 
problems(11, [305176248]). 
problems(11, [315208746]). 
problems(11, [312546807]). 
problems(11, [308145267]). 
problems(11, [501267348]). 
problems(11, [502476138]). 
problems(11, [530178264]). 
problems(11, [530274816]). 
problems(11, [702835164]). 
problems(11, [740235861]). 
problems(11, [715208436]). 
problems(11, [730562148]). 
problems(11, [712803465]). 
problems(11, [107235468]). 
problems(11, [130528764]). 
problems(11, [146203578]). 
problems(11, [312504678]). 
problems(11, [145206837]). 
problems(11, [312506748]). 
problems(11, [315460278]). 
problems(11, [340562178]). 
problems(11, [524103867]). 
problems(11, [502738164]). 
problems(11, [701234856]). 
problems(11, [702361548]). 
problems(11, [732410568]). 
problems(11, [705138462]). 
problems(11, [106235874]). 
problems(11, [143065278]). 
problems(11, [743108265]). 
problems(11, [705162843]). 
problems(11, [714235860]). 
problems(11, [163205874]). 
problems(11, [732560841]). 
problems(11, [305148762]). 
problems(11, [360218475]). 
problems(11, [308142765]). 
problems(11, [340276518]). 
problems(11, [501267483]). 
problems(11, [530168472]). 
problems(11, [570214836]). 
problems(11, [130462875]). 
problems(11, [132460578]). 
problems(11, [716205843]). 
problems(11, [107235846]). 
problems(11, [301527468]). 
problems(11, [314260857]). 
problems(11, [340261857]). 
problems(11, [312576408]). 
problems(11, [360175248]). 
problems(11, [530184267]). 
problems(11, [501287436]). 
problems(11, [530261784]). 
problems(11, [530172846]). 
problems(11, [530176248]). 
problems(11, [347215806]). 
problems(11, [507163284]). 
problems(11, [502861743]). 
problems(11, [715304268]). 
problems(11, [730162584]). 
problems(11, [730261854]). 
problems(11, [103468275]). 
problems(11, [314268075]). 
problems(11, [362510874]). 
problems(11, [512804367]). 
problems(11, [501286734]). 
problems(11, [702461583]). 
problems(11, [130264857]). 
problems(11, [713245806]). 
problems(11, [102835467]). 
problems(11, [143208765]). 
problems(11, [154203867]). 
problems(11, [142703568]). 
problems(11, [713265840]). 
problems(11, [108235764]). 
problems(11, [143276508]). 
problems(11, [163270548]). 
problems(11, [304176285]). 
problems(11, [340261785]). 
problems(11, [312805746]). 
problems(11, [360174285]). 
problems(11, [360271485]). 
problems(11, [530421867]). 
problems(11, [504126837]). 
problems(11, [523407168]). 
problems(11, [530276418]). 
problems(11, [702463185]). 
problems(11, [704182536]). 
problems(11, [753104268]). 
problems(11, [702481536]). 
problems(11, [712805436]). 
problems(11, [130478265]). 
problems(11, [105462873]). 
problems(11, [360154278]). 
problems(11, [502418736]). 
problems(11, [130264785]). 
problems(11, [712508634]). 
problems(11, [143052867]). 
problems(11, [104278635]). 
problems(11, [301284567]). 
problems(11, [108432765]). 
problems(11, [340521867]). 
problems(11, [340275816]). 
problems(11, [370215846]). 
problems(11, [534017268]). 
problems(11, [532810764]). 
problems(11, [741203568]). 
problems(11, [730524168]). 
problems(11, [730521864]). 
problems(11, [730245816]). 
problems(11, [704186235]). 
problems(11, [753102864]). 
problems(11, [105732468]). 
problems(11, [760215843]). 
problems(11, [145208736]). 
problems(11, [504168372]). 
problems(11, [735014268]). 
problems(11, [132740568]). 
problems(11, [127504836]). 
problems(11, [312704568]). 
problems(11, [314258706]). 
problems(11, [713260485]). 
problems(11, [732514068]). 
problems(11, [108234567]). 
problems(11, [702548631]). 
problems(11, [320517468]). 
problems(11, [351204867]). 
problems(11, [143275806]). 
problems(11, [345012867]). 
problems(11, [531260874]). 
problems(11, [130256847]). 
problems(11, [742510836]). 
problems(11, [104286735]). 
problems(11, [137042568]). 
problems(11, [132564078]). 
problems(11, [160245873]). 
problems(11, [142506873]). 
problems(11, [301465278]). 
problems(11, [302851746]). 
problems(11, [540231867]). 
problems(11, [514230867]). 
problems(11, [701265384]). 
problems(11, [731240568]). 
problems(11, [716203548]). 
problems(11, [312406578]). 
problems(11, [153407268]). 
problems(11, [135062874]). 
problems(11, [134068275]). 
problems(11, [142508763]). 
problems(11, [105842736]). 
problems(11, [317240568]). 
problems(11, [317408265]). 
problems(11, [703162548]). 
problems(11, [302468175]). 
problems(11, [302861475]). 
problems(11, [501276384]). 
problems(11, [516204873]). 
problems(11, [102568374]). 
problems(11, [513260847]). 
problems(11, [513274806]). 
problems(11, [704135862]). 
problems(11, [730268145]). 
problems(11, [104268753]). 
problems(11, [135420867]). 
problems(11, [102854736]). 
problems(11, [301287465]). 
problems(11, [125804736]). 
problems(11, [325104867]). 
problems(11, [137048265]). 
problems(11, [312560847]). 
problems(11, [132548760]). 
problems(11, [316270548]). 
problems(11, [302568471]). 
problems(11, [347216508]). 
problems(11, [502463817]). 
problems(11, [513264870]). 
problems(11, [560271438]). 
problems(11, [502837461]). 
problems(11, [730162845]). 
problems(11, [706142538]). 
problems(11, [507438162]). 
problems(11, [702435861]). 
problems(11, [301258467]). 
problems(11, [360142578]). 
problems(11, [315802764]). 
problems(11, [530462178]). 
problems(11, [360275841]). 
problems(11, [504832761]). 
problems(11, [713246508]). 
problems(11, [103462578]). 
problems(11, [301278645]). 
problems(11, [305172846]). 
problems(11, [302576148]). 
problems(11, [512806437]). 
problems(11, [501278634]). 
problems(11, [570231468]). 
problems(11, [547102836]). 
problems(11, [547106238]). 
problems(11, [532460871]). 
problems(11, [751203864]). 
problems(11, [715402836]). 
problems(11, [715406238]). 
problems(11, [130258746]). 
problems(11, [702563814]). 
problems(11, [718206435]). 
problems(11, [130564872]). 
problems(11, [354102867]). 
problems(11, [324507168]). 
problems(11, [512406738]). 
problems(11, [530172468]). 
problems(11, [514302867]). 
problems(11, [540216837]). 
problems(11, [502846137]). 
problems(11, [560214873]). 
problems(11, [702516834]). 
problems(11, [714208635]). 
problems(11, [123560478]). 
problems(11, [708132465]). 
problems(11, [130472568]). 
problems(11, [130562847]). 
problems(11, [708135264]). 
problems(11, [147230568]). 
problems(11, [705832461]). 
problems(11, [301276854]). 
problems(11, [301268754]). 
problems(11, [302748165]). 
problems(11, [340178265]). 
problems(11, [370216548]). 
problems(11, [354107268]). 
problems(11, [314256807]). 
problems(11, [541207368]). 
problems(11, [514307268]). 
problems(11, [523401867]). 
problems(11, [512703468]). 
problems(11, [305842761]). 
problems(11, [342560871]). 
problems(11, [513276408]). 
problems(11, [508146237]). 
problems(11, [730246518]). 
problems(11, [160243578]). 
problems(11, [104276385]). 
problems(11, [706148235]). 
problems(11, [340218765]). 
problems(11, [341250867]). 
problems(11, [360148275]). 
problems(11, [531247068]). 
problems(11, [560213478]). 
problems(11, [504163827]). 
problems(11, [512406873]). 
problems(11, [102364578]). 
problems(11, [731250864]). 
problems(11, [102537846]). 
problems(11, [102536874]). 
problems(11, [125407368]). 
problems(11, [104267583]). 
problems(11, [142560378]). 
problems(11, [320514867]). 
problems(11, [301286745]). 
problems(11, [342517806]). 
problems(11, [512408763]). 
problems(11, [530167284]). 
problems(11, [701234685]). 
problems(11, [701253846]). 
problems(11, [740135268]). 
problems(11, [712530468]). 
problems(11, [723501864]). 
problems(11, [704162583]). 
problems(11, [723504168]). 
problems(11, [712508463]). 
problems(11, [712506843]). 
problems(11, [104287536]). 
problems(11, [108435267]). 
problems(11, [314260785]). 
problems(11, [502361478]). 
problems(11, [532041867]). 
problems(11, [530148762]). 
problems(11, [543160278]). 
problems(11, [725103864]). 
problems(11, [715302864]). 
problems(11, [105476238]). 
problems(11, [105472836]). 
problems(11, [302518746]). 
problems(11, [340167285]). 
problems(11, [534012867]). 
problems(11, [504163782]). 
problems(11, [702518436]). 
problems(11, [170246538]). 
problems(11, [105438762]). 
problems(11, [312548706]). 
