-
Notifications
You must be signed in to change notification settings - Fork 0
/
db3.txt
56 lines (55 loc) · 15.1 KB
/
db3.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
Ones that have been marked off were verified as unsuccesful (and should have been added to excluded.sml).
# ./submitty.py --prob 24 --seed 18 --tag db3_0 --sol 'hog1exkexsextexuexwexxfffyff2ffaffgffhffiffjff4fflffmffnffoff ff5ffdffqffrffvffzff1ffkffsfftffuffwffxfyyfy2fyafygfyhfyifyjfy4fylfymfynfyofy fy5fydfyqfyrfyvfyzfy1fykfysfytfyufywfyxf2yf22f2af2gf2hf2if2jf24f2lf2mf2nf2of2 f25f2df2qf2rf2vf2zf21f2kf2sf2tf2uf2wf2xfayfa2faafagfahfaifajfa4falfamfanfaofa fa5fadfaqfarfavfazfa1fakfasfatfaufawfaxfgyfg2fgafggfghfgifgjfg4fglfgmfgnfgofg fg5fgdfgqfgrfgvfgzfg1fgkfgsfgtfgufgwfgxfhyfh2fhafhgfhhfhifhjfh4fhlfhmfhnfhofh fh5fh'
./submitty.py --prob 2 --seed 29639 --tag db3_1 --sol 'hogh44h4lh4mh4nh4oh4 h45h4dh4qh4rh4vh4zh41h4kh4sh4th4uh4wh4xhlihljhl4hllhlmhlnhlohl hl5hldhlqhlrhlvhlzhl1hlkhlshlthluhlwhlxhmihmjhm4hmlhmmhmnhmohm hm5hmdhmqhmrhmvhmzhm1hmkhmshmthmuhmwhmxhnihnjhn4hnlhnmhnnhnohn hn5hndhnqhnrhnvhnzhn1hnkhnshnthnuhnwhnxhoihojho4holhomhonhooho ho5hodhoqhorhovhozho1hokhoshothouhowhoxh ih jh 4h lh mh nh oh h 5h dh qh rh vh zh 1h kh sh th uh wh xh5ih5jh54h5lh5mh5nh5o'
./submitty.py --prob 2 --seed 15385 --tag db3_2 --sol '4ji44i4li4mi4ni4oi4 i45i4di4qi4ri4vi4zi41i4ki4si4ti4ui4wi4xiljil4illilmilniloil il5ildilqilrilvilzil1ilkilsiltiluilwilximjim4imlimmimnimoim im5imdimqimrimvimzim1imkimsimtimuimwimxinjin4inlinminninoin in5indinqinrinvinzin1inkinsintinuinwinxiojio4ioliomioniooio io5iodioqiorioviozio1iokiosiotiouiowioxi ji 4i li mi ni oi i 5i di qi ri vi zi 1i ki si ti ui wi xi5ji54i5li5mi5ni5oi5 '
./submitty.py --prob 2 --seed 13948 --tag db3_3 --sol 'ig4jg44g4lg4mg4ng4og4 g45g4dg4qg4rg4vg4zg41g4kg4sg4tg4ug4wg4xglhgligljgl4gllglmglnglogl gl5gldglqglrglvglzgl1glkglsgltgluglwglxgmhgmigmjgm4gmlgmmgmngmogm gm5gmdgmqgmrgmvgmzgm1gmkgmsgmtgmugmwgmxgnhgnignjgn4gnlgnmgnngnogn gn5gndgnqgnrgnvgnzgn1gnkgnsgntgnugnwgnxgohgoigojgo4golgomgongoogo go5godgoqgorgovgozgo1gokgosgotgougowgoxg hg ig jg 4g lg mg ng og g 5g dg qg rg vg zg 1g '
# ./submitty.py --prob 24 --seed 18 --tag db3_4 --sol '4bblbbmbbnbbobb bb5bbdbbqbbrbbvbbzbb1bbkbbsbbtbbubbwbbxbccbcebcfbcybc2bcabcgbchbcibcjbc4bclbcmbcnbcobc bc5bcdbcqbcrbcvbczbc1bckbcsbctbcubcwbcxbecbeebefbeybe2beabegbehbeibejbe4belbembenbeobe be5bedbeqberbevbezbe1bekbesbetbeubewbexbfcbfebffbfybf2bfabfgbfhbfibfjbf4bflbfmbfnbfobf bf5bfdbfqbfrbfvbfzbf1bfkbfsbftbfubfwbfxbycbyebyfbyyby2byabygbyhbyibyjby4bylbymbynbyoby by5by'
# ./submitty.py --prob 24 --seed 18 --tag db3_5 --sol 'hog1fxkfxsfxtfxufxwfxxyyy2yyayygyyhyyiyyjyy4yylyymyynyyoyy yy5yydyyqyyryyvyyzyy1yykyysyytyyuyywyyxy22y2ay2gy2hy2iy2jy24y2ly2my2ny2oy2 y25y2dy2qy2ry2vy2zy21y2ky2sy2ty2uy2wy2xya2yaayagyahyaiyajya4yalyamyanyaoya ya5yadyaqyaryavyazya1yakyasyatyauyawyaxyg2ygayggyghygiygjyg4yglygmygnygoyg yg5ygdygqygrygvygzyg1ygkygsygtyguygwygxyh2yhayhgyhhyhiyhjyh4yhlyhmyhnyhoyh yh5yh'
# ./submitty.py --prob 24 --seed 18 --tag db3_6 --sol 'hogdbyqbyrbyvbyzby1bykbysbytbyubywbyxb2cb2eb2fb2yb22b2ab2gb2hb2ib2jb24b2lb2mb2nb2ob2 b25b2db2qb2rb2vb2zb21b2kb2sb2tb2ub2wb2xbacbaebafbayba2baabagbahbaibajba4balbambanbaoba ba5badbaqbarbavbazba1bakbasbatbaubawbaxbgcbgebgfbgybg2bgabggbghbgibgjbg4bglbgmbgnbgobg bg5bgdbgqbgrbgvbgzbg1bgkbgsbgtbgubgwbgxbhcbhebhfbhybh2bhabhgbhhbhibhjbh4bhlbhmbhnbhobh'
# ./submitty.py --prob 24 --seed 18 --tag db3_7 --sol 'hog1bxkbxsbxtbxubxwbxxccceccfccycc2ccaccgcchcciccjcc4cclccmccnccocc cc5ccdccqccrccvcczcc1cckccscctccuccwccxceecefceyce2ceacegcehceicejce4celcemcenceoce ce5cedceqcercevcezce1cekcescetceucewcexcfecffcfycf2cfacfgcfhcficfjcf4cflcfmcfncfocf cf5cfdcfqcfrcfvcfzcf1cfkcfscftcfucfwcfxcyecyfcyycy2cyacygcyhcyicyjcy4cylcymcyncyocy cy5cydcyqcyrcyvcy'
# ./submitty.py --prob 24 --seed 18 --tag db3_8 --sol 'hog1cxkcxscxtcxucxwcxxeeefeeyee2eeaeegeeheeieejee4eeleemeeneeoee ee5eedeeqeereeveezee1eekeeseeteeueeweexeffefyef2efaefgefhefiefjef4eflefmefnefoef ef5efdefqefrefvefzef1efkefseftefuefwefxeyfeyyey2eyaeygeyheyieyjey4eyleymeyneyoey ey5eydeyqeyreyveyzey1eykeyseyteyueyweyxe2fe2ye22e2ae2ge2he2ie2je24e2le2me2ne2oe2 e25e2de2qe2re2ve2ze21e2ke2'
# ./submitty.py --prob 24 --seed 18 --tag db3_9 --sol 'hogzcy1cykcyscytcyucywcyxc2ec2fc2yc22c2ac2gc2hc2ic2jc24c2lc2mc2nc2oc2 c25c2dc2qc2rc2vc2zc21c2kc2sc2tc2uc2wc2xcaecafcayca2caacagcahcaicajca4calcamcancaoca ca5cadcaqcarcavcazca1cakcascatcaucawcaxcgecgfcgycg2cgacggcghcgicgjcg4cglcgmcgncgocg cg5cgdcgqcgrcgvcgzcg1cgkcgscgtcgucgwcgxchechfchych2chachgchhchichjch4chlc'
./submitty.py --prob 24 --seed 18 --tag db3_10 --sol 'hog1yxkyxsyxtyxuyxwyxx222a22g22h22i22j22422l22m22n22o22 22522d22q22r22v22z22122k22s22t22u22w22x2aa2ag2ah2ai2aj2a42al2am2an2ao2a 2a52ad2aq2ar2av2az2a12ak2as2at2au2aw2ax2ga2gg2gh2gi2gj2g42gl2gm2gn2go2g 2g52gd2gq2gr2gv2gz2g12gk2gs2gt2gu2gw2gx2ha2hg2hh2hi2hj2h42hl2hm2hn2ho2h 2h52hd2hq2hr2hv2hz2h12hk2hs2ht2h'
./submitty.py --prob 2 --seed 16783 --tag db3_11 --sol 'jltjlujlwjlxjm4jmljmmjmnjmojm jm5jmdjmqjmrjmvjmzjm1jmkjmsjmtjmujmwjmxjn4jnljnmjnnjnojn jn5jndjnqjnrjnvjnzjn1jnkjnsjntjnujnwjnxjo4joljomjonjoojo jo5jodjoqjorjovjozjo1jokjosjotjoujowjoxj 4j lj mj nj oj j 5j dj qj rj vj zj 1j kj sj tj uj wj xj54j5lj5mj5nj5oj5 j55j5dj5qj5rj5vj5zj51j5kj5sj5tj5uj5wj5'
./submitty.py --prob 24 --seed 18 --tag db3_12 --sol ' bh5bhdbhqbhrbhvbhzbh1bhkbhsbhtbhubhwbhxbicbiebifbiybi2biabigbihbiibijbi4bilbimbinbiobi bi5bidbiqbirbivbizbi1bikbisbitbiubiwbixbjcbjebjfbjybj2bjabjgbjhbjibjjbj4bjlbjmbjnbjobj bj5bjdbjqbjrbjvbjzbj1bjkbjsbjtbjubjwbjxb4cb4eb4fb4yb42b4ab4gb4hb4ib4jb44b4lb4mb4nb4ob4 b45b4db4qb4rb4vb4zb41b4kb4sb4tb'
./submitty.py --prob 2 --seed 23862 --tag db3_13 --sol 'hogdfhqfhrfhvfhzfh1fhkfhsfhtfhufhwfhxfiyfi2fiafigfihfiifijfi4filfimfinfiofi fi5fidfiqfirfivfizfi1fikfisfitfiufiwfixfjyfj2fjafjgfjhfjifjjfj4fjlfjmfjnfjofj fj5fjdfjqfjrfjvfjzfj1fjkfjsfjtfjufjwfjxf4yf42f4af4gf4hf4if4jf44f4lf4mf4nf4of4 f45f4df4qf4rf4vf4zf41f4kf4sf4tf4uf4wf4xflyfl2flaflgflhfliflj'
./submitty.py --prob 2 --seed 23862 --tag db3_14 --sol 'hog1jxkjxsjxtjxujxwjxx444l44m44n44o44 44544d44q44r44v44z44144k44s44t44u44w44x4ll4lm4ln4lo4l 4l54ld4lq4lr4lv4lz4l14lk4ls4lt4lu4lw4lx4ml4mm4mn4mo4m 4m54md4mq4mr4mv4mz4m14mk4ms4mt4mu4mw4mx4nl4nm4nn4no4n 4n54nd4nq4nr4nv4nz4n14nk4ns4nt4nu4nw4nx4ol4om4on4oo4o 4o54od4oq4or4ov4oz4o14ok4os4ot4o'
./submitty.py --prob 2 --seed 679 --tag db3_15 --sol 'hoglzal1alkalsaltalualwalxamgamhamiamjam4amlammamnamoam am5amdamqamramvamzam1amkamsamtamuamwamxanganhanianjan4anlanmannanoan an5andanqanranvanzan1ankansantanuanwanxaogaohaoiaojao4aolaomaonaooao ao5aodaoqaoraovaozao1aokaosaotaouaowaoxa ga ha ia ja 4a la ma na oa a 5a da qa ra va'
./submitty.py --prob 2 --seed 16783 --tag db3_16 --sol 'se2te2ue2we2xeafeayea2eaaeageaheaieajea4ealeameaneaoea ea5eadeaqeareaveazea1eakeaseateaueaweaxegfegyeg2egaeggeghegiegjeg4eglegmegnegoeg eg5egdegqegregvegzeg1egkegsegteguegwegxehfehyeh2ehaehgehhehiehjeh4ehlehmehnehoeh eh5ehdehqehrehvehzeh1ehkehsehtehuehwehxeifeiyei2eiaeigeihe'
./submitty.py --prob 24 --seed 18 --tag db3_17 --sol 'hmchnchoch ch5chdchqchrchvchzch1chkchschtchuchwchxciecifciyci2ciacigcihciicijci4cilcimcincioci ci5cidciqcircivcizci1cikciscitciuciwcixcjecjfcjycj2cjacjgcjhcjicjjcj4cjlcjmcjncjocj cj5cjdcjqcjrcjvcjzcj1cjkcjscjtcjucjwcjxc4ec4fc4yc42c4ac4gc4hc4ic4jc44c4lc4mc4nc4oc4 c45c4dc4'
./submitty.py --prob 2 --seed 0 --tag db3_18 --sol 'hogdyhqyhryhvyhzyh1yhkyhsyhtyhuyhwyhxyi2yiayigyihyiiyijyi4yilyimyinyioyi yi5yidyiqyiryivyizyi1yikyisyityiuyiwyixyj2yjayjgyjhyjiyjjyj4yjlyjmyjnyjoyj yj5yjdyjqyjryjvyjzyj1yjkyjsyjtyjuyjwyjxy42y4ay4gy4hy4iy4jy44y4ly4my4ny4oy4 y45y4dy4qy4ry4vy4zy41y4ky4sy4ty4uy4wy4xyl2ylaylg'
./submitty.py --prob 2 --seed 23862 --tag db3_19 --sol 'u2hw2hx2ia2ig2ih2ii2ij2i42il2im2in2io2i 2i52id2iq2ir2iv2iz2i12ik2is2it2iu2iw2ix2ja2jg2jh2ji2jj2j42jl2jm2jn2jo2j 2j52jd2jq2jr2jv2jz2j12jk2js2jt2ju2jw2jx24a24g24h24i24j24424l24m24n24o24 24524d24q24r24v24z24124k24s24t24u24w24x2la2lg2lh2li2lj2l42ll2lm2ln2lo2l 2l52ld2lq2'
./submitty.py --prob 24 --seed 18 --tag db3_20 --sol 'hogqc4rc4vc4zc41c4kc4sc4tc4uc4wc4xcleclfclycl2claclgclhclicljcl4cllclmclnclocl cl5cldclqclrclvclzcl1clkclscltcluclwclxcmecmfcmycm2cmacmgcmhcmicmjcm4cmlcmmcmncmocm cm5cmdcmqcmrcmvcmzcm1cmkcmscmtcmucmwcmxcnecnfcnycn2cnacngcnhcnicnjcn4cnlcnmcnncnocn cn5cndc'
./submitty.py --prob 24 --seed 18 --tag db3_21 --sol 'hogl2elaelgelhelieljel4ellelmelneloel el5eldelqelrelvelzel1elkelselteluelwelxemfemyem2emaemgemhemiemjem4emlemmemnemoem em5emdemqemremvemzem1emkemsemtemuemwemxenfenyen2enaengenhenienjen4enlenmennenoen en5endenqenrenvenzen1enkensentenuenwenxeofeoyeo2e'
./submitty.py --prob 24 --seed 18 --tag db3_22 --sol 'hogdfnqfnrfnvfnzfn1fnkfnsfntfnufnwfnxfoyfo2foafogfohfoifojfo4folfomfonfoofo fo5fodfoqforfovfozfo1fokfosfotfoufowfoxf yf 2f af gf hf if jf 4f lf mf nf of f 5f df qf rf vf zf 1f kf sf tf uf wf xf5yf52f5af5gf5hf5if5jf54f5lf5mf5nf5of5 f55f5df5qf5rf5vf5'
./submitty.py --prob 2 --seed 13639 --tag db3_23 --sol 'hogiieijei4eileimeineioei ei5eideiqeireiveizei1eikeiseiteiueiweixejfejyej2ejaejgejhejiejjej4ejlejmejnejoej ej5ejdejqejrejvejzej1ejkejsejtejuejwejxe4fe4ye42e4ae4ge4he4ie4je44e4le4me4ne4oe4 e45e4de4qe4re4ve4ze41e4ke4se4te4ue4we4xelfelye'
./submitty.py --prob 12 --seed 12700 --tag db3_24 --sol 'gsagtaguagwagxahgahhahiahjah4ahlahmahnahoah ah5ahdahqahrahvahzah1ahkahsahtahuahwahxaigaihaiiaijai4ailaimainaioai ai5aidaiqairaivaizai1aikaisaitaiuaiwaixajgajhajiajjaj4ajlajmajnajoaj aj5ajdajqajrajvajza'
./submitty.py --prob 24 --seed 18 --tag db3_25 --sol 'oaeogeoheoieojeo4eoleomeoneooeo eo5eodeoqeoreoveozeo1eokeoseoteoueoweoxe fe ye 2e ae ge he ie je 4e le me ne oe e 5e de qe re ve ze 1e ke se te ue we xe5fe5ye52e5ae5ge5he5ie5je54e5le5me5ne5oe5 e55e5'
./submitty.py --prob 24 --seed 18 --tag db3_26 --sol 'hogrbmvbmzbm1bmkbmsbmtbmubmwbmxbncbnebnfbnybn2bnabngbnhbnibnjbn4bnlbnmbnnbnobn bn5bndbnqbnrbnvbnzbn1bnkbnsbntbnubnwbnxbocboebofboybo2boabogbohboibojbo4bolbombonboobo bo5bodboqborbovbozbo1bokbosbotboubo'
./submitty.py --prob 24 --seed 18 --tag db3_27 --sol 'nqcnrcnvcnzcn1cnkcnscntcnucnwcnxcoecofcoyco2coacogcohcoicojco4colcomconcooco co5codcoqcorcovcozco1cokcoscotcoucowcoxc ec fc yc 2c ac gc hc ic jc 4c lc mc nc oc c 5c dc qc rc vc zc 1c kc sc tc uc '
./submitty.py --prob 24 --seed 18 --tag db3_28 --sol 'wboxb cb eb fb yb 2b ab gb hb ib jb 4b lb mb nb ob b 5b db qb rb vb zb 1b kb sb tb ub wb xb5cb5eb5fb5yb52b5ab5gb5hb5ib5jb54b5lb5mb5nb5ob5 b55b5db5qb5rb5vb5zb51b5kb5sb5tb5ub5wb5xbdcbdebdfbdybd2b'
./submitty.py --prob 12 --seed 24762 --tag db3_29 --sol 'hogxkaxsaxtaxuaxwaxxggghggiggjgg4gglggmggnggogg gg5ggdggqggrggvggzgg1ggkggsggtgguggwggxghhghighjgh4ghlghmghnghogh gh5ghdghqghrghvghzgh1ghkghsghtghughwghxgihgiigijgi4gilgimgingiogi gi5gidgiqgirgi'
./submitty.py --prob 24 --seed 18 --tag db3_30 --sol 'u2nw2nx2oa2og2oh2oi2oj2o42ol2om2on2oo2o 2o52od2oq2or2ov2oz2o12ok2os2ot2ou2ow2ox2 a2 g2 h2 i2 j2 42 l2 m2 n2 o2 2 52 d2 q2 r2 v2 z2 12 k2 s2 t2 u2 w2 x25a25g25h25i25j25425l25m25n25o25 25525'
./submitty.py --prob 24 --seed 18 --tag db3_31 --sol 'ylhyliyljyl4yllylmylnyloyl yl5yldylqylrylvylzyl1ylkylsyltyluylwylxym2ymaymgymhymiymjym4ymlymmymnymoym ym5ymdymqymrymvymzym1ymkymsymtymuymwymxyn2ynayngynhyniynjyn4ynlynmynnynoyn yn5yn'
./submitty.py --prob 24 --seed 18 --tag db3_32 --sol 'fl4fllflmflnflofl fl5fldflqflrflvflzfl1flkflsfltfluflwflxfmyfm2fmafmgfmhfmifmjfm4fmlfmmfmnfmofm fm5fmdfmqfmrfmvfmzfm1fmkfmsfmtfmufmwfmxfnyfn2fnafngfnhfnifnjfn4fnlfnmfnnfnofn fn5fn'
./submitty.py --prob 2 --seed 29639 --tag db3_33 --sol 'hogxkixsixtixuixwixxjjj4jjljjmjjnjjojj jj5jjdjjqjjrjjvjjzjj1jjkjjsjjtjjujjwjjxj44j4lj4mj4nj4oj4 j45j4dj4qj4rj4vj4zj41j4kj4sj4tj4uj4wj4xjl4jlljlmjlnjlojl jl5jldjlqjlrjlvjlzjl1jlkjls'
./submitty.py --prob 24 --seed 18 --tag db3_34 --sol 'hogdynqynrynvynzyn1ynkynsyntynuynwynxyo2yoayogyohyoiyojyo4yolyomyonyooyo yo5yodyoqyoryovyozyo1yokyosyotyouyowyoxy 2y ay gy hy iy jy 4y ly my ny oy y 5y dy qy ry vy zy 1y ky sy ty '
./submitty.py --prob 24 --seed 18 --tag db3_35 --sol 'hoglr2lv2lz2l12lk2ls2lt2lu2lw2lx2ma2mg2mh2mi2mj2m42ml2mm2mn2mo2m 2m52md2mq2mr2mv2mz2m12mk2ms2mt2mu2mw2mx2na2ng2nh2ni2nj2n42nl2nm2nn2no2n 2n52nd2nq2nr2nv2nz2n12nk2ns2nt2n'
./submitty.py --prob 24 --seed 18 --tag db3_36 --sol 'wc xc5ec5fc5yc52c5ac5gc5hc5ic5jc54c5lc5mc5nc5oc5 c55c5dc5qc5rc5vc5zc51c5kc5sc5tc5uc5wc5xcdecdfcdycd2cdacdgcdhcdicdjcd4cdlcdmcdncdocd cd5cddcdqcdrcdvcdzcd1cd'
./submitty.py --prob 24 --seed 18 --tag db3_37 --sol 'hog1nxknxsnxtnxunxwnxxooo oo5oodooqooroovoozoo1ookoosootoouoowooxo o 5o do qo ro vo zo 1o ko so to uo wo xo5 o55o5do5qo5ro5vo5zo51o5ko5so5to5uo5wo5xod od5oddo'
./submitty.py --prob 24 --seed 18 --tag db3_38 --sol '4ub4wb4xblcbleblfblybl2blablgblhblibljbl4bllblmblnblobl bl5bldblqblrblvblzbl1blkblsbltblublwblxbmcbmebmfbmybm2bmabmgbmhbmibmjbm4bmlbmmbmnbmobm bm5bmdbmqbm'
./submitty.py --prob 2 --seed 679 --tag db3_39 --sol 'u4ow4ox4 l4 m4 n4 o4 4 54 d4 q4 r4 v4 z4 14 k4 s4 t4 u4 w4 x45l45m45n45o45 45545d45q45r45v45z45145k45s45t45u45w45x4dl4dm4dn4do4d 4d54dd4dq4dr4dv4dz4d14d'
./submitty.py --prob 24 --seed 18 --tag db3_40 --sol 'hog1mxkmxsmxtmxumxwmxxnnnonn nn5nndnnqnnrnnvnnznn1nnknnsnntnnunnwnnxnoono no5nodnoqnornovnozno1noknosnotnounownoxn on n 5n dn qn rn vn zn 1n kn sn tn '
./submitty.py --prob 2 --seed 0 --tag db3_41 --sol ' za 1a ka sa ta ua wa xa5ga5ha5ia5ja54a5la5ma5na5oa5 a55a5da5qa5ra5va5za51a5ka5sa5ta5ua5wa5xadgadhadiadjad4adladmadnadoad ad5addadqadradvadzad1ad'
./submitty.py --prob 2 --seed 0 --tag db3_42 --sol 'hog12xk2xs2xt2xu2xw2xxaaagaahaaiaajaa4aalaamaanaaoaa aa5aadaaqaaraavaazaa1aakaasaataauaawaaxaggaghagiagjag4aglagmagnagoag ag5agdagqagragvagzag1agka'
./submitty.py --prob 24 --seed 18 --tag db3_43 --sol 'uy wy xy52y5ay5gy5hy5iy5jy54y5ly5my5ny5oy5 y55y5dy5qy5ry5vy5zy51y5ky5sy5ty5uy5wy5xyd2ydaydgydhydiydjyd4ydlydmydnydoyd yd5yddydqydrydvydzyd1yd'
./submitty.py --prob 24 --seed 18 --tag db3_44 --sol 'hogrmovmozmo1mokmosmotmoumowmoxm nm om m 5m dm qm rm vm zm 1m km sm tm um wm xm5nm5om5 m55m5dm5qm5rm5vm5zm51m5km5sm5tm5um5wm5xmdnmdomd md5mddm'
./submitty.py --prob 2 --seed 0 --tag db3_45 --sol 'hogxkhxshxthxuhxwhxxiiijii4iiliimiiniioii ii5iidiiqiiriiviizii1iikiisiitiiuiiwiixijjij4ijlijmijnijoij ij5ijdijqijrijvijzij1ijkijsijtijuijwijxi'
./submitty.py --prob 24 --seed 18 --tag db3_46 --sol 'hogxk4xs4xt4xu4xw4xxlllmllnlloll ll5lldllqllrllvllzll1llkllslltllullwllxlmmlmnlmolm lm5lmdlmqlmrlmvlmzlm1lmklmslmtlmulmwlmxlnmlnnlnoln ln5ln'
./submitty.py --prob 24 --seed 18 --tag db3_47 --sol 'hog1lxklxslxtlxulxwlxxmmmnmmomm mm5mmdmmqmmrmmvmmzmm1mmkmmsmmtmmummwmmxmnnmnomn mn5mndmnqmnrmnvmnzmn1mnkmnsmntmnumnwmnxmonmoomo mo5modmoqmo'
./submitty.py --prob 12 --seed 19102 --tag db3_48 --sol 'hogj1ajkajsajtajuajwajxa4ga4ha4ia4ja44a4la4ma4na4oa4 a45a4da4qa4ra4va4za41a4ka4sa4ta4ua4wa4xalgalhalialjal4allalmalnaloal al5aldalqalralva'
./submitty.py --prob 2 --seed 0 --tag db3_49 --sol 'kg sg tg ug wg xg5hg5ig5jg54g5lg5mg5ng5og5 g55g5dg5qg5rg5vg5zg51g5kg5sg5tg5ug5wg5xgdhgdigdjgd4gdlgdmgdngdogd gd5gddgdqgdrgdvgdzgd1gd'
./submitty.py --prob 24 --seed 18 --tag db3_50 --sol 'hogdlnqlnrlnvlnzln1lnklnslntlnulnwlnxlomlonloolo lo5lodloqlorlovlozlo1lokloslotloulowloxl ml nl ol l 5l dl ql rl vl zl 1l kl sl tl '
./submitty.py --prob 2 --seed 23862 --tag db3_51 --sol 'hog1oxkoxsoxtoxuoxwoxx 5 d q r v z 1 k s t u w x 55 5d 5q 5r 5v 5z 51 5k 5s 5t 5u 5w 5x d5 dd dq dr dv dz d1 d'
# ./submitty.py --prob 20 --seed 0 --tag db3_52 --sol 'ohi hi5hidhiqhirhivhizhi1hikhishithiuhiwhixhjihjjhj4hjlhjmhjnhjohj hj5hjdhjqhjrhjvhjzhj1hjkhjshjthjuhjwhjxh4ih4j'
# ./submitty.py --prob 11 --seed 0 --tag db3_53 --sol 'hog1gxkgxsgxtgxugxwgxxhhhihhjhh4hhlhhmhhnhhohh hh5hhdhhqhhrhhvhhzhh1hhkhhshhthhuhhwhhxhiihijhi4hilhimhinhi'