problems(12, [423560178]). 
problems(12, [412806537]). 
problems(12, [405831267]). 
problems(12, [017235468]). 
problems(12, [654102837]). 
problems(12, [031274586]). 
problems(12, [034251867]). 
problems(12, [604187235]). 
problems(12, [031257864]). 
problems(12, [023518764]). 
problems(12, [823401567]). 
problems(12, [632570841]). 
problems(12, [073241568]). 
problems(12, [025813764]). 
problems(12, [215460378]). 
problems(12, [243065178]). 
problems(12, [230178564]). 
problems(12, [870231465]). 
problems(12, [430172856]). 
problems(12, [430176258]). 
problems(12, [406172538]). 
problems(12, [453160278]). 
problems(12, [430528761]). 
problems(12, [615304278]). 
problems(12, [601283745]). 
problems(12, [631250874]). 
problems(12, [615430278]). 
problems(12, [608142735]). 
problems(12, [640178235]). 
problems(12, [602748135]). 
problems(12, [830172546]). 
problems(12, [812507463]). 
problems(12, [032861475]). 
problems(12, [804163527]). 
problems(12, [032468175]). 
problems(12, [605842731]). 
problems(12, [240531867]). 
problems(12, [401258673]). 
problems(12, [205863147]). 
problems(12, [430168572]). 
problems(12, [406235871]). 
problems(12, [430561872]). 
problems(12, [407135862]). 
problems(12, [601238754]). 
problems(12, [630172584]). 
problems(12, [612508473]). 
problems(12, [630271854]). 
problems(12, [043172568]). 
problems(12, [840135267]). 
problems(12, [812703465]). 
problems(12, [214307568]). 
problems(12, [043268175]). 
problems(12, [802735164]). 
problems(12, [203468175]). 
problems(12, [245106837]). 
problems(12, [813276405]). 
problems(12, [205837461]). 
problems(12, [425107368]). 
problems(12, [473102568]). 
problems(12, [430267581]). 
problems(12, [620514837]). 
problems(12, [640231857]). 
problems(12, [604172583]). 
problems(12, [602471583]). 
problems(12, [407538162]). 
problems(12, [602851437]). 
problems(12, [832041567]). 
problems(12, [830421567]). 
problems(12, [613275840]). 
problems(12, [043162875]). 
problems(12, [013468275]). 
problems(12, [046213578]). 
problems(12, [031287465]). 
problems(12, [045216837]). 
problems(12, [802517436]). 
problems(12, [815402736]). 
problems(12, [243051867]). 
problems(12, [812507634]). 
problems(12, [851203764]). 
problems(12, [201576384]). 
problems(12, [853104267]). 
problems(12, [860213475]). 
problems(12, [830165472]). 
problems(12, [201738465]). 
problems(12, [647215803]). 
problems(12, [802563714]). 
problems(12, [208431765]). 
problems(12, [263105874]). 
problems(12, [063275841]). 
problems(12, [207163584]). 
problems(12, [208435167]). 
problems(12, [805732461]). 
problems(12, [401735268]). 
problems(12, [430258716]). 
problems(12, [450218736]). 
problems(12, [412536807]). 
problems(12, [460271385]). 
problems(12, [417265803]). 
problems(12, [602473185]). 
problems(12, [614238075]). 
problems(12, [041253867]). 
problems(12, [801234756]). 
problems(12, [024531867]). 
problems(12, [012835467]). 
problems(12, [834012567]). 
problems(12, [061245873]). 
problems(12, [032845167]). 
problems(12, [642517803]). 
problems(12, [207135846]). 
problems(12, [231740568]). 
problems(12, [204176385]). 
problems(12, [260143578]). 
problems(12, [213574806]). 
problems(12, [230478165]). 
problems(12, [205476138]). 
problems(12, [430562817]). 
problems(12, [641203578]). 
problems(12, [418206735]). 
problems(12, [640231785]). 
problems(12, [630521874]). 
problems(12, [653102874]). 
problems(12, [612805743]). 
problems(12, [015472836]). 
problems(12, [812405763]). 
problems(12, [801267453]). 
problems(12, [035176248]). 
problems(12, [043562178]). 
problems(12, [802641537]). 
problems(12, [062513874]). 
problems(12, [823407165]). 
problems(12, [843160275]). 
problems(12, [215406738]). 
problems(12, [830276415]). 
problems(12, [431062578]). 
problems(12, [430162587]). 
problems(12, [401257863]). 
problems(12, [205738164]). 
problems(12, [417302568]). 
problems(12, [451207836]). 
problems(12, [407235816]). 
problems(12, [417235860]). 
problems(12, [640137285]). 
problems(12, [602518743]). 
problems(12, [025417368]). 
problems(12, [018432765]). 
problems(12, [015438762]). 
problems(12, [230164857]). 
problems(12, [073216548]). 
problems(12, [043178265]). 
problems(12, [201547638]). 
problems(12, [835014267]). 
problems(12, [401523867]). 
problems(12, [215703468]). 
problems(12, [231564078]). 
problems(12, [243108765]). 
problems(12, [241506873]). 
problems(12, [217530468]). 
problems(12, [243176508]). 
problems(12, [230568741]). 
problems(12, [421506837]). 
problems(12, [402537816]). 
problems(12, [460138275]). 
problems(12, [432517806]). 
problems(12, [612408537]). 
problems(12, [473108265]). 
problems(12, [601278453]). 
problems(12, [632514078]). 
problems(12, [617402538]). 
problems(12, [802415736]). 
problems(12, [035421867]). 
problems(12, [054213867]). 
problems(12, [801246375]). 
problems(12, [801253746]). 
problems(12, [024537168]). 
problems(12, [012738465]). 
problems(12, [612548703]). 
problems(12, [670215843]). 
problems(12, [038142765]). 
problems(12, [813245706]). 
problems(12, [812506743]). 
problems(12, [063175248]). 
problems(12, [063148275]). 
problems(12, [035148762]). 
problems(12, [830167254]). 
problems(12, [832514067]). 
problems(12, [245301867]). 
problems(12, [230574816]). 
problems(12, [813265740]). 
problems(12, [215406873]). 
problems(12, [201578634]). 
problems(12, [035842761]). 
problems(12, [870216435]). 
problems(12, [425310867]). 
problems(12, [415702836]). 
problems(12, [601237584]). 
problems(12, [460175238]). 
problems(12, [612704538]). 
problems(12, [463270518]). 
problems(12, [635012874]). 
problems(12, [831260574]). 
problems(12, [825103764]). 
problems(12, [230164785]). 
problems(12, [235064178]). 
problems(12, [204178635]). 
problems(12, [235061874]). 
problems(12, [401365278]). 
problems(12, [215804367]). 
problems(12, [260514873]). 
problems(12, [412530768]). 
problems(12, [412563870]). 
problems(12, [620517438]). 
problems(12, [615208437]). 
problems(12, [613247508]). 
problems(12, [645012837]). 
problems(12, [640527138]). 
problems(12, [071234568]). 
problems(12, [018234567]). 
problems(12, [816203547]). 
problems(12, [205361478]). 
problems(12, [063271485]). 
problems(12, [804163752]). 
problems(12, [401237685]). 
problems(12, [245108736]). 
problems(12, [213576408]). 
problems(12, [405163827]). 
problems(12, [407182536]). 
problems(12, [415802763]). 
problems(12, [601275384]). 
problems(12, [645017238]). 
problems(12, [803162547]). 
problems(12, [043167285]). 
problems(12, [014286735]). 
problems(12, [045218736]). 
problems(12, [830245716]). 
problems(12, [853102764]). 
problems(12, [860241537]). 
problems(12, [230561784]). 
problems(12, [246105873]). 
problems(12, [245307168]). 
problems(12, [401257638]). 
problems(12, [231548760]). 
problems(12, [425107836]). 
problems(12, [402368175]). 
problems(12, [413256807]). 
problems(12, [412538706]). 
problems(12, [601435278]). 
problems(12, [602517834]). 
problems(12, [032518746]). 
problems(12, [612804735]). 
problems(12, [023561478]). 
problems(12, [642517038]). 
problems(12, [031528764]). 
problems(12, [024516837]). 
problems(12, [031564872]). 
problems(12, [047231568]). 
problems(12, [017238564]). 
problems(12, [801534762]). 
problems(12, [046215873]). 
problems(12, [073215846]). 
problems(12, [830267145]). 
problems(12, [807431265]). 
problems(12, [243175806]). 
problems(12, [405126837]). 
problems(12, [402761583]). 
problems(12, [402563781]). 
problems(12, [402863157]). 
problems(12, [432810765]). 
problems(12, [435062871]). 
problems(12, [402578631]). 
problems(12, [427506138]). 
problems(12, [630247518]). 
problems(12, [031284567]). 
problems(12, [670241538]). 
problems(12, [031562847]). 
problems(12, [801257643]). 
problems(12, [647213508]). 
problems(12, [230156847]). 
problems(12, [812560347]). 
problems(12, [208145736]). 
problems(12, [230576418]). 
problems(12, [243165870]). 
problems(12, [406231578]). 
problems(12, [430185267]). 
problems(12, [402781536]). 
problems(12, [408163257]). 
problems(12, [402763185]). 
problems(12, [463201578]). 
problems(12, [402856137]). 
problems(12, [402568713]). 
problems(12, [417263508]). 
problems(12, [457102836]). 
problems(12, [613245807]). 
problems(12, [612570348]). 
problems(12, [053412867]). 
problems(12, [630274581]). 
problems(12, [017243568]). 
problems(12, [061243578]). 
problems(12, [012568374]). 
problems(12, [806142537]). 
problems(12, [802463517]). 
problems(12, [206134578]). 
problems(12, [802751436]). 
problems(12, [842510736]). 
problems(12, [401265387]). 
problems(12, [270145836]). 
problems(12, [403176285]). 
problems(12, [237048165]). 
problems(12, [421508736]). 
problems(12, [430256817]). 
problems(12, [412805367]). 
problems(12, [408156237]). 
problems(12, [604182537]). 
problems(12, [640172538]). 
problems(12, [602481537]). 
problems(12, [612805437]). 
problems(12, [014268753]). 
problems(12, [025417836]). 
problems(12, [053417268]). 
problems(12, [043527168]). 
problems(12, [042518763]). 
problems(12, [815207436]). 
problems(12, [860213547]). 
problems(12, [401357268]). 
problems(12, [430182765]). 
problems(12, [451207368]). 
problems(12, [423508761]). 
problems(12, [405168372]). 
problems(12, [402837561]). 
problems(12, [612503748]). 
problems(12, [602518437]). 
problems(12, [462510873]). 
problems(12, [601287543]). 
problems(12, [612803475]). 
problems(12, [607134285]). 
problems(12, [640238175]). 
problems(12, [602835174]). 
problems(12, [015834267]). 
problems(12, [230471568]). 
problems(12, [231460578]). 
problems(12, [830562147]). 
problems(12, [203168574]). 
problems(12, [815206734]). 
problems(12, [805137462]). 
problems(12, [804532761]). 
problems(12, [240518736]). 
problems(12, [832460571]). 
problems(12, [260174538]). 
problems(12, [860271435]). 
problems(12, [407235168]). 
problems(12, [460153278]). 
problems(12, [407531268]). 
problems(12, [640132875]). 
problems(12, [425801736]). 
problems(12, [630245817]). 
problems(12, [013462578]). 
problems(12, [612534870]). 
problems(12, [602573814]). 
problems(12, [630572148]). 
problems(12, [608145237]). 
problems(12, [643108275]). 
problems(12, [670213548]). 
problems(12, [814302567]). 
problems(12, [201364578]). 
problems(12, [605832471]). 
problems(12, [824103567]). 
problems(12, [801276354]). 
problems(12, [031478265]). 
problems(12, [201536874]). 
problems(12, [830462175]). 
problems(12, [817230465]). 
problems(12, [204168753]). 
problems(12, [401283567]). 
problems(12, [807435162]). 
problems(12, [430158762]). 
problems(12, [412708365]). 
problems(12, [602371548]). 
problems(12, [615208743]). 
problems(12, [605172843]). 
problems(12, [624507138]). 
problems(12, [612573408]). 
problems(12, [840152736]). 
problems(12, [830246517]). 
problems(12, [071246538]). 
problems(12, [025814736]). 
problems(12, [201835467]). 
problems(12, [241703568]). 
problems(12, [270134568]). 
problems(12, [802476135]). 
problems(12, [870214536]). 
problems(12, [847106235]). 
problems(12, [415230867]). 
problems(12, [413258706]). 
problems(12, [407236518]). 
problems(12, [460218375]). 
problems(12, [402861753]). 
problems(12, [437216508]). 
problems(12, [012436578]). 
problems(12, [640532178]). 
problems(12, [654107238]). 
problems(12, [605148732]). 
problems(12, [024518736]). 
problems(12, [830172465]). 
problems(12, [830162745]). 
problems(12, [812406573]). 
problems(12, [815304267]). 
problems(12, [801275634]). 
problems(12, [812406735]). 
problems(12, [830175264]). 
problems(12, [214530867]). 
problems(12, [401527368]). 
problems(12, [432160578]). 
problems(12, [405128736]). 
problems(12, [408152736]). 
problems(12, [460152873]). 
problems(12, [412576308]). 
problems(12, [601527438]). 
problems(12, [463205871]). 
problems(12, [623504178]). 
problems(12, [623501874]). 
problems(12, [641250837]). 
problems(12, [640218735]). 
problems(12, [618204537]). 
problems(12, [014276385]). 
problems(12, [642530871]). 
problems(12, [812530467]). 
problems(12, [230158746]). 
problems(12, [814307265]). 
problems(12, [823504167]). 
problems(12, [841207365]). 
problems(12, [205463817]). 
problems(12, [208146537]). 
problems(12, [246103578]). 
problems(12, [814265703]). 
problems(12, [460132578]). 
problems(12, [432057168]). 
problems(12, [412560837]). 
problems(12, [470152836]). 
problems(12, [416270538]). 
problems(12, [470156238]). 
problems(12, [614230857]). 
problems(12, [615302874]). 
problems(12, [012364578]). 
problems(12, [625103874]). 
problems(12, [653104278]). 
problems(12, [031287546]). 
problems(12, [063142578]). 
problems(12, [014267583]). 
problems(12, [031467285]). 
problems(12, [016238475]). 
problems(12, [804126537]). 
problems(12, [206135874]). 
problems(12, [032568471]). 
problems(12, [042563871]). 
problems(12, [037164285]). 
problems(12, [830176245]). 
problems(12, [205416837]). 
problems(12, [230184567]). 
problems(12, [831247065]). 
problems(12, [840235761]). 
problems(12, [216504873]). 
problems(12, [413052867]). 
problems(12, [241803765]). 
problems(12, [247130568]). 
problems(12, [230568174]). 
problems(12, [402536871]). 
problems(12, [031258467]). 
problems(12, [460275831]). 
problems(12, [025134867]). 
problems(12, [032516847]). 
problems(12, [203165478]). 
problems(12, [014287536]). 
problems(12, [018235764]). 
problems(12, [018435267]). 
problems(12, [802516734]). 
problems(12, [234061578]). 
problems(12, [805162743]). 
problems(12, [213560847]). 
problems(12, [230167584]). 
problems(12, [241506738]). 
problems(12, [814235760]). 
problems(12, [401273586]). 
problems(12, [413057268]). 
problems(12, [215806437]). 
problems(12, [832560741]). 
problems(12, [204835761]). 
problems(12, [235460871]). 
problems(12, [401835762]). 
problems(12, [408235761]). 
problems(12, [406178235]). 
problems(12, [614230785]). 
problems(12, [630524178]). 
problems(12, [615207834]). 
problems(12, [035172846]). 
problems(12, [015462873]). 
problems(12, [802361475]). 
problems(12, [031278645]). 
problems(12, [032576148]). 
problems(12, [015476238]). 
problems(12, [830524167]). 
problems(12, [071245836]). 
problems(12, [038145267]). 
problems(12, [816205743]). 
problems(12, [204167583]). 
problems(12, [216503478]). 
problems(12, [213564870]). 
problems(12, [260571438]). 
problems(12, [205846137]). 
problems(12, [405732168]). 
problems(12, [412708536]). 
problems(12, [402735861]). 
problems(12, [417208635]). 
problems(12, [437215806]). 
problems(12, [470235861]). 
problems(12, [635014278]). 
problems(12, [640521837]). 
problems(12, [015238746]). 
problems(12, [214305867]). 
problems(12, [230175468]). 
problems(12, [831250764]). 
problems(12, [043276518]). 
problems(12, [063218475]). 
problems(12, [014278635]). 
problems(12, [830261754]). 
problems(12, [830145762]). 
problems(12, [204187536]). 
problems(12, [802547631]). 
problems(12, [254103867]). 
problems(12, [814263507]). 
problems(12, [243057168]). 
problems(12, [231570846]). 
problems(12, [807163254]). 
problems(12, [401237856]). 
problems(12, [263170548]). 
problems(12, [450231867]). 
problems(12, [615203847]). 
problems(12, [612408375]). 
problems(12, [012534678]). 
problems(12, [012536748]). 
problems(12, [054132867]). 
problems(12, [031268754]). 
problems(12, [015732468]). 
problems(12, [042713568]). 
problems(12, [031276854]). 
problems(12, [043261857]). 
problems(12, [043218765]). 
problems(12, [640275813]). 
problems(12, [823501764]). 
problems(12, [812705436]). 
problems(12, [061274538]). 
problems(12, [234017568]). 
problems(12, [201567348]). 
problems(12, [032748165]). 
problems(12, [834017265]). 
problems(12, [237041568]). 
problems(12, [253401867]). 
problems(12, [241508763]). 
problems(12, [231840765]). 
problems(12, [401253876]). 
problems(12, [270531468]). 
problems(12, [207463185]). 
problems(12, [205861743]). 
problems(12, [412573806]). 
problems(12, [601247385]). 
problems(12, [415706238]). 
problems(12, [613270485]). 
problems(12, [054137268]). 
problems(12, [815302764]). 
problems(12, [841207536]). 
problems(12, [017463285]). 
problems(12, [832047165]). 
problems(12, [830427165]). 
problems(12, [240516837]). 
problems(12, [230467185]). 
problems(12, [215408763]). 
problems(12, [270146538]). 
problems(12, [241805736]). 
problems(12, [420517368]). 
problems(12, [412508637]). 
problems(12, [432710568]). 
problems(12, [407162583]). 
problems(12, [631240578]). 
problems(12, [651204837]). 
problems(12, [625410837]). 
problems(12, [614258703]). 
problems(12, [043261785]). 
problems(12, [031286745]). 
problems(12, [012568743]). 
problems(12, [201567483]). 
problems(12, [802741635]). 
problems(12, [063174285]). 
problems(12, [804165372]). 
problems(12, [234150867]). 
problems(12, [412306578]). 
problems(12, [401562378]). 
problems(12, [270514836]). 
problems(12, [402671538]). 
problems(12, [431068275]). 
problems(12, [470135268]). 
problems(12, [427501836]). 
problems(12, [402871635]). 
problems(12, [417308265]). 
problems(12, [602534817]). 
problems(12, [034176285]). 
problems(12, [618207435]). 
problems(12, [063154278]). 
problems(12, [042813765]). 
problems(12, [830521764]). 
problems(12, [201587436]). 
problems(12, [205418736]). 
problems(12, [201854736]). 
problems(12, [832417065]). 
problems(12, [260513478]). 
problems(12, [860215743]). 
problems(12, [234068175]). 
problems(12, [253407168]). 
problems(12, [412503678]). 
problems(12, [437012568]). 
problems(12, [435061278]). 
problems(12, [408231567]). 
problems(12, [601532478]). 
problems(12, [603172548]). 
problems(12, [602851743]). 
problems(12, [617240538]). 
problems(12, [012563784]). 
problems(12, [043521867]). 
problems(12, [012835746]). 
problems(12, [042516738]). 
problems(12, [234015867]). 
problems(12, [801734265]). 
problems(12, [617408235]). 
problems(12, [027514836]). 
problems(12, [043275816]). 
problems(12, [015842736]). 
problems(12, [816204573]). 
problems(12, [201586734]). 
problems(12, [413260857]). 
problems(12, [235810764]). 
problems(12, [402861375]). 
problems(12, [430276185]). 
problems(12, [432561078]). 
problems(12, [405812736]). 
problems(12, [643102578]). 
problems(12, [407238561]). 
problems(12, [407186235]). 
problems(12, [604135872]). 
problems(12, [031472568]). 
problems(12, [063152874]). 
problems(12, [840156237]). 
problems(12, [813274506]). 
problems(12, [204186735]). 
problems(12, [260145873]). 
problems(12, [401276853]). 
problems(12, [430168257]). 
problems(12, [471203568]). 
problems(12, [405163782]). 
problems(12, [416208375]). 
problems(12, [413268075]). 
problems(12, [601524837]). 
problems(12, [602513847]). 
problems(12, [457106238]). 
problems(12, [602435871]). 
problems(12, [045312867]). 
problems(12, [031267584]). 
problems(12, [031462875]). 
problems(12, [801234675]). 
problems(12, [630278145]). 
problems(12, [042561378]). 
problems(12, [804125736]). 
problems(12, [042516873]). 
problems(12, [203461578]). 
problems(12, [812460375]). 
problems(12, [803167245]). 
problems(12, [835012764]). 
problems(12, [263104578]). 
problems(12, [813264570]). 
problems(12, [401352867]). 
problems(12, [420513867]). 
problems(12, [431270568]). 
problems(12, [413260785]). 
problems(12, [401287365]). 
problems(12, [435120867]). 
problems(12, [450216837]). 
problems(12, [430268751]). 
problems(12, [402568371]). 
problems(12, [432570816]). 
problems(12, [630172845]). 
problems(12, [625104837]). 
problems(12, [624501837]). 
problems(12, [612543807]). 
problems(12, [012854736]). 
problems(12, [045317268]). 
problems(12, [802416537]). 
problems(12, [813246507]). 
problems(12, [830265174]). 
problems(12, [401258367]). 
problems(12, [401267358]). 
problems(12, [235417068]). 
problems(12, [270516438]). 
problems(12, [431260875]). 
problems(12, [431257068]). 
problems(12, [460173285]). 
problems(12, [601452837]). 
problems(12, [437018265]). 
problems(12, [432518760]). 
problems(12, [612530847]). 
problems(12, [651203874]). 
problems(12, [425803761]). 
problems(12, [603178245]). 
problems(12, [602845137]). 
problems(12, [612574803]). 
problems(12, [615802734]). 
problems(12, [032564817]). 
problems(12, [042815736]). 
problems(12, [830274516]). 
problems(12, [230185764]). 
problems(12, [230176485]). 
problems(12, [230168547]). 
problems(12, [815406237]). 
problems(12, [816203475]). 
problems(12, [814207635]). 
problems(12, [847102536]). 
problems(12, [208163547]). 
problems(12, [413065278]). 
problems(12, [415360278]). 
problems(12, [418207536]). 
problems(12, [632410578]). 
problems(12, [601457238]). 
problems(12, [472510836]). 
problems(12, [608132475]). 
problems(12, [051234867]). 
problems(12, [640273518]). 
problems(12, [608135274]). 
problems(12, [015236847]). 
problems(12, [614253807]). 
problems(12, [605138472]). 
problems(12, [803162475]). 
problems(12, [032851746]). 
problems(12, [802361547]). 
problems(12, [201537846]). 
problems(12, [016273548]). 
problems(12, [803165274]). 
problems(12, [027516438]). 
problems(12, [230461875]). 
problems(12, [207136548]). 
problems(12, [860214573]). 
problems(12, [806147235]). 
problems(12, [241560378]). 
problems(12, [432051867]). 
