problems(10, [642510837]). 
problems(10, [453107268]). 
problems(10, [230564871]). 
problems(10, [602741538]). 
problems(10, [632510874]). 
problems(10, [207135468]). 
problems(10, [043265871]). 
problems(10, [423507168]). 
problems(10, [037148265]). 
problems(10, [813260475]). 
problems(10, [601257834]). 
problems(10, [230518764]). 
problems(10, [430167285]). 
problems(10, [415307268]). 
problems(10, [047216538]). 
problems(10, [012576438]). 
problems(10, [415302867]). 
problems(10, [430261785]). 
problems(10, [235047168]). 
problems(10, [014256837]). 
problems(10, [032548761]). 
problems(10, [830265741]). 
problems(10, [805142736]). 
problems(10, [413276508]). 
problems(10, [035162874]). 
problems(10, [208134567]). 
problems(10, [034168275]). 
problems(10, [031452867]). 
problems(10, [031256847]). 
problems(10, [401268753]). 
problems(10, [241507836]). 
problems(10, [015832764]). 
problems(10, [801256734]). 
problems(10, [430268175]). 
problems(10, [037142568]). 
problems(10, [230457168]). 
problems(10, [204168375]). 
problems(10, [413275806]). 
problems(10, [630174285]). 
problems(10, [601278345]). 
problems(10, [063215874]). 
problems(10, [801257436]). 
problems(10, [843107265]). 
problems(10, [801265374]). 
problems(10, [830154267]). 
problems(10, [035164278]). 
problems(10, [017236548]). 
problems(10, [408132765]). 
problems(10, [230561847]). 
problems(10, [405138762]). 
problems(10, [023514867]). 
problems(10, [807132465]). 
problems(10, [470215836]). 
problems(10, [415208736]). 
problems(10, [405162873]). 
problems(10, [430276518]). 
problems(10, [430178265]). 
problems(10, [402576138]). 
problems(10, [204158736]). 
problems(10, [804162573]). 
problems(10, [802461573]). 
problems(10, [802563147]). 
problems(10, [640152837]). 
problems(10, [460215873]). 
problems(10, [416203578]). 
problems(10, [034162578]). 
problems(10, [012574836]). 
problems(10, [032741568]). 
problems(10, [843102567]). 
problems(10, [812407536]). 
problems(10, [432560871]). 
problems(10, [412805736]). 
problems(10, [042517836]). 
problems(10, [205463178]). 
problems(10, [016234578]). 
problems(10, [451203867]). 
problems(10, [403168275]). 
problems(10, [460213578]). 
problems(10, [830264571]). 
problems(10, [802731465]). 
problems(10, [805146237]). 
problems(10, [832510764]). 
problems(10, [401267583]). 
problems(10, [201734568]). 
problems(10, [012563847]). 
problems(10, [031465278]). 
problems(10, [630154278]). 
problems(10, [832410567]). 
problems(10, [812506437]). 
problems(10, [401276385]). 
problems(10, [012734568]). 
problems(10, [605173248]). 
problems(10, [601287435]). 
problems(10, [230168475]). 
problems(10, [613270548]). 
problems(10, [602438175]). 
problems(10, [412506738]). 
problems(10, [231547068]). 
problems(10, [012536874]). 
problems(10, [012546837]). 
problems(10, [014268375]). 
problems(10, [614273508]). 
problems(10, [205438761]). 
problems(10, [613208475]). 
problems(10, [215803764]). 
problems(10, [235041867]). 
problems(10, [201568374]). 
problems(10, [031524867]). 
problems(10, [617205843]). 
problems(10, [402518736]). 
problems(10, [807135264]). 
problems(10, [031276485]). 
problems(10, [217506438]). 
problems(10, [230175846]). 
problems(10, [630175248]). 
problems(10, [430521867]). 
problems(10, [617203548]). 
problems(10, [230451867]). 
problems(10, [205461873]). 
problems(10, [415206837]). 
problems(10, [230148765]). 
problems(10, [043157268]). 
problems(10, [601273854]). 
problems(10, [408135267]). 
problems(10, [205841736]). 
problems(10, [612403578]). 
problems(10, [031258746]). 
problems(10, [204163857]). 
problems(10, [601258437]). 
problems(10, [402835167]). 
problems(10, [407163285]). 
problems(10, [615402837]). 
problems(10, [830152764]). 
problems(10, [640235871]). 
problems(10, [602571843]). 
problems(10, [630142578]). 
problems(10, [201568743]). 
problems(10, [235410867]). 
problems(10, [814230567]). 
problems(10, [612507843]). 
problems(10, [640135278]). 
problems(10, [205731468]). 
problems(10, [601234785]). 
problems(10, [602831475]). 
problems(10, [401278635]). 
problems(10, [063271548]). 
problems(10, [015463278]). 
problems(10, [601284537]). 
problems(10, [217504836]). 
problems(10, [453102867]). 
problems(10, [205834167]). 
problems(10, [817206435]). 
problems(10, [402851736]). 
problems(10, [402516837]). 
problems(10, [031264785]). 
problems(10, [401286735]). 
problems(10, [207138564]). 
problems(10, [017438265]). 
problems(10, [043165278]). 
problems(10, [801267345]). 
problems(10, [432517068]). 
problems(10, [425103867]). 
problems(10, [031457268]). 
problems(10, [801247635]). 
problems(10, [435017268]). 
problems(10, [047215836]). 
problems(10, [207431568]). 
problems(10, [014263857]). 
problems(10, [413265870]). 
problems(10, [435012867]). 
problems(10, [430527168]). 
problems(10, [231560874]). 
problems(10, [012548736]). 
problems(10, [215407368]). 
problems(10, [604173285]). 
problems(10, [630271485]). 
problems(10, [470216538]). 
problems(10, [032841765]). 
problems(10, [804176235]). 
problems(10, [801263754]). 
problems(10, [812504367]). 
problems(10, [840215736]). 
problems(10, [402361578]). 
problems(10, [017432568]). 
problems(10, [032564178]). 
problems(10, [063214578]). 
problems(10, [416205873]). 
problems(10, [402738165]). 
problems(10, [214506837]). 
problems(10, [032571846]). 
problems(10, [031527468]). 
problems(10, [640157238]). 
problems(10, [204163785]). 
problems(10, [405172836]). 
problems(10, [412803765]). 
problems(10, [405176238]). 
problems(10, [201834765]). 
problems(10, [017235846]). 
problems(10, [804172536]). 
problems(10, [802471536]). 
problems(10, [805163247]). 
problems(10, [601258743]). 
problems(10, [405832761]). 
problems(10, [802561743]). 
problems(10, [032461578]). 
problems(10, [430562178]). 
problems(10, [016235874]). 
problems(10, [012564873]). 
problems(10, [012834765]). 
problems(10, [830162574]). 
problems(10, [813260547]). 
problems(10, [630152874]). 
problems(10, [430275816]). 
problems(10, [601234857]). 
problems(10, [802435761]). 
problems(10, [401287536]). 
problems(10, [460271538]). 
problems(10, [817204536]). 
problems(10, [412508763]). 
problems(10, [802546137]). 
problems(10, [804135762]). 
problems(10, [430162875]). 
problems(10, [412703568]). 
problems(10, [031562478]). 
problems(10, [413208765]). 
problems(10, [412506873]). 
problems(10, [612504378]). 
problems(10, [830165247]). 
problems(10, [840216537]). 
problems(10, [430172568]). 
problems(10, [247106538]). 
problems(10, [207438165]). 
problems(10, [243160578]). 
problems(10, [031264857]). 
problems(10, [602573148]). 
problems(10, [423501867]). 
problems(10, [614275803]). 
problems(10, [230465178]). 
problems(10, [247105836]). 
problems(10, [431250867]). 
problems(10, [430261857]). 
problems(10, [430218765]). 
problems(10, [012537846]). 
problems(10, [403162578]). 
problems(10, [230176548]). 
problems(10, [601274583]). 
problems(10, [470231568]). 
problems(10, [215804736]). 
problems(10, [241507368]). 
problems(10, [630275841]). 
problems(10, [607148235]). 
problems(10, [802537461]). 
problems(10, [417230568]). 
problems(10, [213560478]). 
problems(10, [630148275]). 
problems(10, [014263785]). 
problems(10, [205471836]). 
problems(10, [201563784]). 
problems(10, [204156837]). 
problems(10, [014258736]). 
problems(10, [812407365]). 
problems(10, [630218475]). 
problems(10, [602548731]). 
problems(10, [215407836]). 
problems(10, [043152867]). 
problems(10, [025413867]). 
problems(10, [841203567]). 
problems(10, [615407238]). 
problems(10, [402563817]). 
problems(10, [614235870]). 
problems(10, [607142538]). 
problems(10, [614208735]). 
problems(10, [208135764]). 
problems(10, [042517368]). 
problems(10, [602538471]). 
problems(10, [602841735]). 
problems(10, [601253847]). 
problems(10, [214508736]). 
problems(10, [412560378]). 
problems(10, [831240567]). 
problems(10, [840231567]). 
problems(10, [612508734]). 
problems(10, [612530478]). 
problems(10, [802463175]). 
problems(10, [213508764]). 
problems(10, [023517468]). 
