From ca260167a0be4246e242ecb4458c716a32bfcd8c Mon Sep 17 00:00:00 2001 From: jfoug Date: Fri, 22 Apr 2016 15:10:48 -0500 Subject: [PATCH 1/3] Rule dupe removal and simplification removing s cycles and s dupes, and extra : commands --- rules/T0XlCv1.rule | 25 ++++++++--------------- rules/dive.rule | 49 ++++++++++++++++++++-------------------------- 2 files changed, 29 insertions(+), 45 deletions(-) diff --git a/rules/T0XlCv1.rule b/rules/T0XlCv1.rule index b5fd69073..1df7c998c 100644 --- a/rules/T0XlCv1.rule +++ b/rules/T0XlCv1.rule @@ -7,7 +7,6 @@ }}}}}'5 }}}}'4 }}}} -}}}: }}} }}D1{ }} @@ -57,7 +56,6 @@ x31 x23p1 x23d x23 -x21: x21 x14p2 x14dp2'6 @@ -71,7 +69,7 @@ x03d x03 x02{ x02d -x02+2: +x02+2 x02 u$~$!$@$#$$ u$z @@ -124,7 +122,7 @@ u tt t ss5sa@se3si1so0 -ss5sa@sa4se3sl7si1si|so0 +ss5sa@se3sl7si1so0 ss5sa4sl7si|so0 ss5 so0se3 @@ -8377,7 +8375,6 @@ i0! i0 f'4y4 dx27f'4y4 -d: d$~$!$@$#$$ d$z d$y @@ -9656,7 +9653,7 @@ c$2$" c$2$! c$2$ c$2 -c$1: +c$1 c$1$~ c$1$} c$1$| @@ -10457,7 +10454,7 @@ c ^e^n^o^t^s ^e^n^i^l ^e^l^e^t -^e^h^t: +^e^h^t ^e^h^t ^e^e^r^f ^e^e^n^k @@ -10736,7 +10733,6 @@ c [^i [^h [^g -[^f: [^f [^d [^c @@ -10795,19 +10791,16 @@ T1 T0] T0 Kx32p2*A5'4 -K: K*54x31'4 K E$sT0 E -D5: D5 D4 D3D2 -D3: D3 D2] -D2D4: +D2D4 D2D3 D2D2z3x13 D2D1 @@ -10969,8 +10962,7 @@ C$a$c$l$e C$a$b$l$e C$a C$S -:x03l -:so0 +x03l : .3$J'4y4 .2 @@ -11608,7 +11600,7 @@ $1$6 $1$5 $1$4 $1$3 -$1$2: +$1$2 $1$2$3z3x13 $1$2$3$4$5$6$7$8$9$0 $1$2$3$4$5$6$7$8$9 @@ -11629,11 +11621,10 @@ $1$1$1$1$1$1 $1$1$1$1 $1$1$1 $1$1 -$1$0: $1$0 $1 $0Z1 -$0Y1: +$0Y1 $0*44 $0$9 $0$8 diff --git a/rules/dive.rule b/rules/dive.rule index 27268f2f7..8f6a29aa4 100644 --- a/rules/dive.rule +++ b/rules/dive.rule @@ -1173,7 +1173,7 @@ x81i9T ss5 se3 [ [ [ KT0 -R0se5s5& +R0se& i54 } $e T0 T7 T1 @@ -6734,7 +6734,7 @@ xA9x64.6 $1 $5 $7 l $5 $9 c$1$2$3$* -s\3s\F[ +s\3[ $b $i $t K.2 ^nx82x75 @@ -10310,7 +10310,7 @@ i7as$S ls10 $l Z1 ^X $X $x ^x -s.hx13sh< +s. D0 r +1 l o48 K -sTDo5OsT* +sTDo5O t ,3 o1b o0r x54 p3 @@ -25932,12 +25932,11 @@ $]$[ *B0 x07 -4 +2 $A x02 +6 -so! $= s!= +so=$= i74 i5a o0k *46 i7* x62 +3 i13 i34 -so! s!= $= $v $i $m ^. *10 x08 z1 @@ -31692,7 +31691,7 @@ i6k i7a i81 $5 *56 i3a i76 i51 $2 -oA[s2dsdX +oA[s2X o7ns8w$x si1 T5 x53 i4l @@ -36687,7 +36686,6 @@ i5a i53 +3 } u ^X ^x $X $x $&$= -s9Cs9W .4xB8R4 x63 i4s o4) @@ -37265,7 +37263,7 @@ D3 D6 k i6c ]sKG$a d o6y -sDJ*7AsD@ +sDJ*7A $A o00 x32 *46 '9 i2l @@ -44062,7 +44060,7 @@ p4 *32 $9 $6 $! $! x82 +7 y4 x46 -s7ys7) +s7y ssZy2 i67 i72 o9e K @@ -45216,7 +45214,7 @@ i14 i7a *A8 [ x16 i2n i37 i73 -sDk*20sDF +sDk*20 c ^f ^a x56*34 o1G @@ -52036,7 +52034,7 @@ $Ay1 i70 i5b [ $z *A7q -: x03 l +x03 l x28*BAZ4 i5e i1d i3- r } @@ -52209,7 +52207,7 @@ o6t ^u ] ] *13 Y2 y2 *05 *32 -s^6s6I +s^I D2 smP T4 'A scE @@ -57273,7 +57271,6 @@ Z2 $* i2h } +D -B -C c T4 sa@ -siN sNk +4 +8 +5 +E -C -C i4k D5 @@ -63995,7 +63992,7 @@ c $7 $0 $0 $! *31 x29 *57R6o1k i0b Z1 -sOusOG +sOu lsz Date: Fri, 22 Apr 2016 15:20:41 -0500 Subject: [PATCH 2/3] dive.rule: de-duplicate by sorting s operations. --- rules/dive.rule | 200 ------------------------------------------------ 1 file changed, 200 deletions(-) diff --git a/rules/dive.rule b/rules/dive.rule index 8f6a29aa4..0891fdcc1 100644 --- a/rules/dive.rule +++ b/rules/dive.rule @@ -1214,7 +1214,6 @@ T0 T3 T7 T0 T7 T3 c se3 so0 +5+6 -c so0 se3 T0 T2 T7 T0 T7 T2 R5+B @@ -1321,7 +1320,6 @@ c $2 $0 $0 $9 ^f s1,x39$i R9 -si1 se3 +7D1 *78D4 i70 i70 @@ -1792,7 +1790,6 @@ EK *7A} c $1 $9 $8 $7 } o6u -so0 se3 +5 +5 +5 [ ^v .Ax37T7 @@ -2116,7 +2113,6 @@ Y3 D4 $8xA5 ^1 ^1 sa@ se3 si1 -sa@ si1 se3 *56^jT6 +8*8Bs*r { o41 @@ -2301,7 +2297,6 @@ s%NK *05^j $4s3/ ss5 si1 se3 -ss5 se3 si1 sLax61 $# o5n @@ -2545,7 +2540,6 @@ ko3o[ +9swS $d $o ss5 se3 sa@ -ss5 sa@ se3 o6- *51o5u o0c @@ -3319,7 +3313,6 @@ sh;+9 ss5 se3 so0 $1xAB *10,1 -ss5 so0 se3 $9 $6 $6 c '8 $5 *84 @@ -3849,7 +3842,6 @@ sJ!.2 sa@ si1 so0 *31 o3p *35 xB6 -sa@ so0 si1 $e $2 o7- .Bu @@ -3961,7 +3953,6 @@ sa@ se3 so0 ^7 ^4 +5-8 u '9 $4 -sa@ so0 se3 s#=^B c '9 $0 +8 ,9 @@ -4079,7 +4070,6 @@ u $1 $2 c $1 $9 $7 $0 s`qi0L+9 se3 so0 si1 -se3 si1 so0 $y{ 'AiBkc $e $c @@ -4128,12 +4118,7 @@ $4 DA D8 x73 ss5 sa@ se3 si1 y1} -ss5 si1 sa@ se3 l $p $a $s $s -ss5 se3 sa@ si1 -ss5 se3 si1 sa@ -ss5 si1 se3 sa@ -ss5 sa@ si1 se3 ^8 ^4 o0j $4 $1 $5 @@ -4345,7 +4330,6 @@ $4 $1 $9 o1d ss5 sa@ si1 o69 -ss5 si1 sa@ i71 i89 i99 iA4 $b $a $y i69 @@ -4827,7 +4811,6 @@ $w $i $n z1k '8 $1 u $1 $9 $7 $2 -ss5 si1 so0 c '6 $9 $t $o $o $1 DB @@ -4864,13 +4847,8 @@ s/n*14*26 o2@ ss5 si1 so0 se3 saUx6BD7 -ss5 se3 si1 so0 -ss5 so0 se3 si1 szis6/*79 $f $l $y -ss5 se3 so0 si1 -ss5 si1 se3 so0 -ss5 so0 si1 se3 snCZ1 ^2 ^6 ^2 ^1 ^1 @@ -6339,7 +6317,6 @@ x2A Z1xB9 sa@ se3 so0 si1 ^3 ^2 ^2 -sa@ si1 so0 se3 x43o5q ^2 ^3 ^1 x47T3 @@ -6347,12 +6324,8 @@ x47T3 oAi s0]i7b l $9 $8 -sa@ so0 se3 si1 -sa@ se3 si1 so0 c $6 $1 $9 +7 -8 -8 -sa@ so0 si1 se3 -sa@ si1 se3 so0 ^hsQb $( x69*A4$$ @@ -6913,7 +6886,6 @@ $n $o $n *6A^z 'Ay3 ss5 sa@ so0 -ss5 so0 sa@ T3*B5 ^0 ^3 ^3 c $4 $0 $0 @@ -7072,17 +7044,12 @@ i53 i53 r $1 $4 ss5 se3 so0 sa@ *6A*74 -ss5 sa@ se3 so0 o1E x83*B0d -ss5 sa@ so0 se3 -ss5 so0 se3 sa@ -ss5 se3 sa@ so0 $U i5i xA8i66xB6 $1 $8 $8 -ss5 so0 sa@ se3 p1x52 ^7 ^1 ^0 ^2 C { @@ -7536,20 +7503,15 @@ $j $a $y u 'A ss5 si1 so0 sa@ $A i0a -ss5 so0 sa@ si1 i4@ 'B,9 *24.BY1 $2 xA2 -ss5 sa@ so0 si1 $m $e $t +5*5B +7 -3 -ss5 so0 si1 sa@ i1b i1e -ss5 si1 sa@ so0 ^2 ^5 ^0 -ss5 sa@ si1 so0 x4BT1] l $6 y4u @@ -7572,43 +7534,20 @@ C $8 ^E i1l c ^8 ^0 ^l x17 -ss5 sa@ so0 si1 se3 -ss5 se3 so0 sa@ si1 -ss5 so0 sa@ se3 si1 s45 '8 $2 -ss5 se3 si1 sa@ so0 -ss5 so0 se3 si1 sa@ -ss5 si1 so0 sa@ se3 -ss5 sa@ so0 se3 si1 -ss5 sa@ si1 so0 se3 Y5 x47 +2 -ss5 si1 sa@ so0 se3 *80T2*5B -ss5 sa@ se3 so0 si1 *68oA' -ss5 si1 se3 sa@ so0 i4a x31 -ss5 si1 so0 se3 sa@ -ss5 se3 so0 si1 sa@ c '6 $0 [ K -ss5 se3 sa@ si1 so0 -ss5 so0 sa@ si1 se3 o2r [ -ss5 se3 si1 so0 sa@ -ss5 so0 si1 se3 sa@ +B -D Y5 +2 x47 $3 $5 $7 *50 y3 -ss5 si1 se3 so0 sa@ ]-8 -ss5 so0 si1 sa@ se3 -ss5 si1 sa@ se3 so0 -ss5 sa@ si1 se3 so0 -ss5 se3 sa@ so0 si1 -ss5 so0 se3 sa@ si1 ^ysVn s'{x8A*32 ^f } @@ -11045,7 +10984,6 @@ i0d fiAD'7 +5 swV $4 +9 -c se3 si1 x87i78iB) $-iB,x96 $5 $0 $3 @@ -12653,7 +12591,6 @@ $yo45T5 d '8 $5 x36+0sT6 x03 q -c so0 si1 $1o3c o6N x27x95$A @@ -12908,7 +12845,6 @@ $r $i $b $4 $0 $9 ^9 ^4 ^3 i56 i58 -si1 sa@ $2*7AT6 o4c x02 $h $u $m @@ -13169,7 +13105,6 @@ sa4 si1 se3 -4sC! *02 o1a s-So92$S -sa4 se3 si1 i5o i6u $5 $7 $6 $8 $0 $6 @@ -14485,7 +14420,6 @@ $8 $7 $1 $8 $7 $5 $8 $7 $4 ^f ^4 -se3 sa@ x0Ao3fr $D'B +0 $s @@ -15678,7 +15612,6 @@ i31 i39 i52 c o74 *97 ^A c -c sa4 so0 scfT6xB9 *02 x42 oBli6mx91 @@ -17075,7 +17008,6 @@ l*32 x17sbl T5 T6 T7 T8 x21 ^r -so0 si1 s0I,6 i2s k i7c i7e @@ -17500,7 +17432,6 @@ s0o -0 ,3 i0n i1o i1o i2l i3l -sa4 so0 se3 o4c +4 i9! ,0i6h @@ -19354,7 +19285,6 @@ c T2 T6 T4 T8 ,1s}% qx18sQX +0 -9 +1 -sa4 si1 so0 xABx34 x91i2k $1 $1 $0 $9 @@ -19639,7 +19569,6 @@ c $7 $1 $3 qs{cx48 +1 x23 *B7^g -so0 se3 si1 $9 $9 $! $! $k $e $g [ $. @@ -19762,7 +19691,6 @@ o4C +2K c $x ^x $X ^X o4( -so0 si1 se3 Y5KxB7 -Ao6h +A +A -8 @@ -20702,7 +20630,6 @@ $1 ^* u d $3 +7 i7_ ]{} -so0 sa4 i5i i6n iBd *80i72 @@ -22918,7 +22845,6 @@ o15 [ i2y l x56s `R8 i6f *64 -c so0 sa@ $x Z1 k +5 x43q @@ -24600,7 +24526,6 @@ i0q *1B$5Z2 [*09Z2 Z4 x38 -so0 sa@ LB *47*80 x84 x98 @@ -25959,7 +25884,6 @@ sau x43 suiD8 ^n D1 x61 $ksy# -c se3 sa@ sdy DA $v x67Y3D1 @@ -26508,7 +26432,6 @@ c ^@ ^1 ^1 z2 i01 i19 i28 i34 s2Y -c so0 sl1 i65 '9 o5Y k i3E K @@ -29442,7 +29365,6 @@ p5 o4@ i70 i7d soEo68[ xA2 p2 K -c sl1 se3 x0B,B+3 xA9+8 *ABo2R @@ -29603,7 +29525,6 @@ Z5 *75 '5 { x02 *B7i7L tZ1 o1; -c sa@ si1 D7 o3d *B1i0r i4$ @@ -29931,7 +29852,6 @@ i75 i5a *10 i1b T9sApsu2 +7 o46 -c se3 so0 sa@ i7+ x53 $O $Qt x48d'8 @@ -30066,7 +29986,6 @@ i5c i72 sOZ^9 i01 i19 i26 i36 '4o3l} -c se3 sa@ so0 i15 i34 uY2 i6c i7a @@ -30142,7 +30061,6 @@ D6 *24 iB-stTi8z sITD8+5 s2+ p4 -c so0 se3 sa@ '6i48 D4 $5 sr0 @@ -30198,7 +30116,6 @@ o4l x53 c ^f ^1 *96[ i1c i1d -c sa@ so0 se3 i7a i3c '6 Z1 c $0 $8 $7 @@ -30298,7 +30215,6 @@ stk .6 Z4 +6 s57 +3 +5 +8 -c so0 sa@ se3 Y3roA* *30 i4l Y5*94'A @@ -31655,7 +31571,6 @@ x04ux37 sa4 se3 si1 so0 i31 i59 o50 l -sa4 si1 so0 se3 $Fo9] i37 i47 sWB @@ -31684,7 +31599,6 @@ i3e *60 o4e ^j ^b -3 s5@*26 -sa4 so0 se3 si1 +3 $4 '8 o5p K i6k i7a i81 @@ -31695,7 +31609,6 @@ oA[s2X o7ns8w$x si1 T5 x53 i4l -sa4 si1 se3 so0 $@$& ^D i86 *41 [ x21 @@ -31803,7 +31716,6 @@ $. $i $n o94 l k o4k .9sC_ -sa4 so0 si1 se3 l *20 x74 $y $h xB3 @@ -31902,7 +31814,6 @@ k *13 -5 i31 i52 ^-xA6 ^h ^s ^a -sa4 se3 so0 si1 l $l $o $o $p ^o ,2 *31,7^D @@ -32261,7 +32172,6 @@ i78 i87 i6h i7a so% i6d i7o -so0 se3 sa@ E sLs u d 'B $2 f x53 @@ -32506,7 +32416,6 @@ x03 $2 x42 i2h i82 i90 iA2 iB3 k i3f -c ss5 se3 $1 $9 $5 $3 x82 D5 Y3o7uo8R @@ -32764,7 +32673,6 @@ c i5e +4 +4 -2 xA2 +A i6Ks(HiBo -so0 sa@ se3 +7 -5 -3 i4G +6 $! @@ -37149,7 +37057,6 @@ c $k i31i49i57i67 ^hx45 Y2 x32 -ss5 sa4 so0 k *31 c $0 $4 $3 *64 K @@ -39711,7 +39618,6 @@ r i7l *10 l i6e i7r i8s $A z1 -c sa@ sl1 i3a i4t i5a Y1sFV i73 i3f @@ -44822,7 +44728,6 @@ y4 x86 t -7 *65 i9e iAn R1x64 -so0 si! se3 l s1a o86*53o9F l i0M @@ -45012,7 +44917,6 @@ x52 R4 -5 o0h i0m i1u i2s Y1 ^1 -c sa@ si! c x53 Z3 x32 $8 c ^I @@ -45677,7 +45581,6 @@ sGj*6B-A x24 $8 ^8iB`x46 i6a i7t i8e -si1 sa@ se3 D5*5Ay1 c ^e ^3 x52 i01 @@ -45868,7 +45771,6 @@ p1svj,B Z2 x06 *B6 x62 *46 $v -si1 se3 sa@ y3 p5 s9* -1[o3Z Z3x6B @@ -46578,7 +46480,6 @@ l-8o8` o2r x43 $y o4f D4i5DsP0 -c so0 si! L7 l c T3 i3_ *57K @@ -47348,7 +47249,6 @@ i2t i3t o2m .6 sgCR6*61 ^M *68 -so0 se3 si1 sa@ sbjt sye Z1 +7 -1 @@ -47366,9 +47266,7 @@ i5h i6a i7n D6 i66 o7o o0d D8 i0l i1u i2i -so0 si1 sa@ se3 +1 $0 -so0 sa@ se3 si1 D7 T6 *54 $s o1b syc @@ -47414,7 +47312,6 @@ i3d i4a i5n D1 r { x51 ^' i6n i7g i81 -so0 se3 sa@ si1 i5i i6k *17 *06 Z3 $8 @@ -47430,7 +47327,6 @@ s21 p1 x36 l +1 o3w i1V x31 $M -so0 sa@ si1 se3 *90p4T0 i5e i6m i8u i9s @@ -47521,7 +47417,6 @@ o0s x46 ^i -4 ^F T6 .1 o48 k -so0 si1 se3 sa@ L6 $V $. $p $k Z1 i7n @@ -49939,7 +49834,6 @@ $4 i8! i1o i2m i3p ^R z1 ^r stm -c si! se3 x01Z5,9 y1 o6K $. *43 @@ -51107,7 +51001,6 @@ s8Z D5 spz $a *38 k ^8 -se3 ss$ x13 $g z1 i11 i73 x27 ^M @@ -51439,7 +51332,6 @@ c ^e ^h ^t ^W -6 ^H *63 slx -c si1 sa@ se3 s3q T2 [ d *51 D5 @@ -51477,7 +51369,6 @@ t sBZ x54 $a o2d x32 i0r ^z -c se3 sa@ si1 x63 $a q x48 i8v { @@ -51646,7 +51537,6 @@ i7Ro4%s^y p3u i6a z1 *78 i6k -c se3 si1 sa@ $0 x26 Z2 L4o2Ik o3}L5 @@ -51696,7 +51586,6 @@ i0fY4 o35 Z2 z3 o3j [ r +5 -o3U sUe ssa .6sXv c$1$2$3$< c$1$2$3$> @@ -53100,7 +52989,6 @@ i88*12*19 ^_sV= *65] +3*1A -c sa@ se3 si1 D1 $L x78*67 xB5s|i^H @@ -53120,7 +53008,6 @@ i9~ sse kxB5sSO iA9i6jiAf -c ss$ si1 +1x7B x03,B $ s)3 @@ -53425,7 +53312,6 @@ i7s i8t i9e $s $o $m $e i5r i6d i20 i30 i40 -c sa@ si1 se3 i5n i6y i4t i5h i6a i1o i2r i3n @@ -54684,7 +54570,6 @@ Y2 RB ^X x13 +4 sfh x74 i7| -c ss$ so0 x19 Z4 sfz y5 x42 @@ -56195,7 +56080,6 @@ D8 Z2 *21y1x24 i5e R0 L0 c i1- -si1 ss5 [ i0g $,{x01 s7Vo4F @@ -56856,7 +56740,6 @@ c $8 $9 $! $! $9 $1 $@ $@ $8 $9 $* $* $2 $9 $$ $$ -se3 si! o66 $/ $9 $7 $$ $$ c $5 $3 $! @@ -57008,7 +56891,6 @@ $5 $8 $0 $2 p2 'A K s4G oA2 xB2 -sa@ so0 si! x47 Z4 *74 $k $U .2 @@ -57265,7 +57147,6 @@ C o21 -0 -4 -8 D4 *87 l +C +E +E -c se3 ss$ Z2 $* +6 +C i2h } @@ -57331,7 +57212,6 @@ x05 -9 { Z2 +1 *69 o95 *54 o5l -c ss$ sa@ *10 t x81 Z1 o39 Z2 x94 @@ -59355,7 +59235,6 @@ L6 $r dY2 i3. .4 i50 T6 -so0 si1 sa@ x71 o4s .6 $S ^m *42 @@ -59398,7 +59277,6 @@ $5 x15 Z2 x46 Z2 c K *30 i31 ,5 -so0 sa@ si1 i03 i12 i03 i10 i00 z1 @@ -60504,7 +60382,6 @@ c i7a x42x57s*Q i72 i80 oA7 Z5 l x95 -c se3 si1 so0 $L*47 R4 *46 Y1 '8Z5o81 @@ -60566,7 +60443,6 @@ T3o4L T7o2J i81 [ o92$l -c si1 se3 so0 *74 k x24 o9jsOei1a $Ni2R] @@ -60724,7 +60600,6 @@ i0c i5C p3 t x45 Z1 *10 $0 x72 [ l -c se3 so0 si1 o2f s24 *40 ^G z1 Z5 @@ -62910,7 +62785,6 @@ c o3R z5,4 suL x72$z$k -c so0 se3 si1 l '6 $7 i34 i5d T4 TB @@ -62978,7 +62852,6 @@ se3 sg9 so0 x93 *78 i0z u K *B6 -so0 ss$ se3 x53x53*89 Cx56x87 { x21 o5n @@ -63227,7 +63100,6 @@ i2i i3e o4d *76 l $. $m $a s9r -c si1 so0 se3 o6k*8B x57 i0a s!( @@ -63352,7 +63224,6 @@ i53 i10 ^l{ p4 xA3 s0T Z1 ^p -se3 ss$ si1 i3e i35 y3 x54 *20 i04 ^! @@ -63829,7 +63700,6 @@ R1 ^p sAjx0A *BA c $f $a $i $r $y -se3 so0 sg9 sCO i01sn` u i26 @@ -63846,7 +63716,6 @@ o7X +0 x02 Z2 sBD i54 x62 o60 *98 -se3 sg9 si1 o71 +8 K,7s?Y i9hsiqo6U @@ -68064,7 +67933,6 @@ i5I u szj o54 s4y o3i +2 T3 T8 T5 T7 -c sl1 si! x05 o3t $e *34 -2 Y1 x02 { @@ -69823,7 +69691,6 @@ i39 R2 oAa x73 z1 sd}-5 T0 o4O -se3 so0 sg9 si1 i6. o6o x72 o5o -6 ^4 *70 @@ -70852,7 +70719,6 @@ Z3*34 s+Ii37L3 u ^2 ^b -0 o2p -se3 si1 so0 sg9 o62 .5 l $8 $9 $4 x52 o1P @@ -70964,7 +70830,6 @@ s_j D3s>h*87 i47 o1g $e R3 -c si1 ss$ se3 i6bx4B^G i0c i1o i2c d r x0B @@ -71686,7 +71551,6 @@ RA x37 l $. $m $r R5 +2 k *54 R3 -c so0 si! se3 xA6 y2 s3`*53 c*B9x71 @@ -71734,7 +71598,6 @@ l $. $m $d x71x48y2 sP1x42T9 x65 x03 -se3 so0 si1 sg9 T0*A1 $E x04 t srS Y2 @@ -72143,7 +72006,6 @@ y1 o2| sJIi3C ^E o6b .2 *41 -c se3 ss$ si1 c o9$ *26 x65 T0 T7 T6 T4 T5 @@ -72678,7 +72540,6 @@ i3d i57 s!E x32 D1 $1 +8 R7 -c ss$ si1 se3 z4z3 x59 T1 L5 ^d @@ -72800,7 +72661,6 @@ x41 Y5 x34 *43x29^X ^s ^a ^m o7i *25 +3 -c si! se3 so0 i2u x72 sB8 ^a ^t ^n ^i ^c @@ -73139,7 +72999,6 @@ x26 $a ^+ ^7 c ^* $2 *40*97 -c ss$ se3 si1 c ^) $0 R5 st3 *30 x32 $t @@ -73177,7 +73036,6 @@ Z1 R7 D4 R9C y3z2l '7 Y1 -se3 sg9 so0 si1 i70 i87 c ^4 $* i0y $c @@ -73451,7 +73309,6 @@ D4 Z4 x32 R6 x41 d 'E $9 [ o0m $i $a i4o -c so0 se3 si! *A2^vsMK i4S x53 c ^1 $/ @@ -73791,7 +73648,6 @@ $* ^4 z3 x27 c ^! $3 $* ^9 -so0 si! ss$ T3 TA T7 T6 +1o5b +5s1S,4 @@ -74316,7 +74172,6 @@ i5t x72 T0 T8 T3 T7 sWF,1*7A D4 i4C -c si1 se3 ss$ T1 T9 T2 T6 *83 x73 L5 i5h @@ -74410,7 +74265,6 @@ R3 R3 $" u T2 T7 T3 T4 $. $a $n -sa4 sg9 se3 $N*58 i76 i3b sCM @@ -74728,7 +74582,6 @@ Y1f i44 $h T0 T3 T9 T2 x71x53 -sc< si1 so0 spM o7t i6n t sw,i8$ @@ -74947,7 +74800,6 @@ sua p1 *A5 *A6 ^m ^i ^k x29'B*3A -c si! so0 se3 c $F $C x46 -1 T2 T6 T3 T9 @@ -75806,7 +75658,6 @@ $f *16 ] R3 spk sbF*A0'A K i4+ -se3 si1 sg9 so0 s_I*25*93 *83R4 Es#U @@ -76289,7 +76140,6 @@ i78 i39 .8x02 K i00 o6f z1 -c se3 si! so0 ^x z3 T1 T3 T9 T0 d [ @@ -77473,7 +77323,6 @@ l $. $g $f s+qT9x81 o5w ^3 c ^y ^k ^s -[ s8M soA sO+o2YT1 x56*14'B ^" D4 @@ -84006,7 +83855,6 @@ Z5s|j} t ^I slI ss$ T8 -sgv sbg L0 Z2 Z2 C i4i } k u @@ -86482,7 +86330,6 @@ $n $e $x $u $s $r $o $l $l o7n t $p $o $t $t $y -sa@ si! se3 $s $n $o $w $b $a $g $g $y $l $o $r $d @@ -86579,7 +86426,6 @@ $g $r $a $s $s ^a ^t ^s ^i ^s ^d ^a ^a ^n ^i ^h ^s -sa4 ss5 ^h ^o ^o ^p ^i ^m ^i ^m ^a ^g ^o ^y @@ -92112,7 +91958,6 @@ x19slt Y3s=R o5l '9 ^k $z -sg9 si1 so0 $4p5 o2@TA*B8 i8# *84 x42 @@ -92831,7 +92676,6 @@ Z4 $r i8e iA0 i91 y3x5B p5x3Ao5e -se1 i32 sl7 st3 o75 [ x37 x41 *16x83*8A r *21 *05 @@ -95933,7 +95777,6 @@ z5xB9 u s6& +4 *16 T1 T3 T8 TB -sl1 sa@ o0[*60 l $. $s $m Z4 x05 @@ -96668,7 +96511,6 @@ c ^# $6 T2 TD T7 *78 x92 $1 +4 -^9 o6f $d su3 se6 x26 f u ^| ^8 $1 +2 @@ -98102,7 +97944,6 @@ x61 sjx D4 oAl x72 *53 o5z c $5 $1 $7 -^4 i2b so2 sa3 o56 T1 TA T8 T7 sh. x93 r *86 Y1 @@ -99259,7 +99100,6 @@ i5e L2 L6 i5e L2 L7 i38 R7 L3 i44 i43 i42 i41 -+1 i67 sc5 ss0 o7a D9 $1 i3a L5 L0 i71 L5 R1 @@ -101062,7 +100902,6 @@ D1 -3 '6 ^a ^m ^a ^k *48 T7 x1A x5B -x34 ssm som i5a i6n i72 T1 T9 TA T2 } ^F c @@ -101337,7 +101176,6 @@ u$6$E u$6$f C D5 sx| -^0 $6 so0 sm0 ,6 C D4 u^b^c u^f^A @@ -102278,7 +102116,6 @@ l $8 $5 $1 l $8 $5 $3 l $8 $5 $2 x4A } -su3 o79 sa0 sk8 o5k T3 T7 TB T6 si$ u ^D ^7 @@ -102376,7 +102213,6 @@ R0 z3 T0 T5 T3 T9 T6 o6? *45 $d o4R -^0 ,6 $6 so0 sm0 T0 T5 T2 T4 T8 slW x63 Z3 @@ -102387,7 +102223,6 @@ T1 T5 TB T6 s8$ saDxB7i5A Z2 -4 i38 -^0 ,6 sm0 so0 $6 l $7 $2 $4 T0 T2 TA T8 T6 u $9 $0 $5 @@ -102524,7 +102359,6 @@ T0 ^1 x13 l $9 $8 $6 { x54 ^1 *01 $0 -su3 sk8 sa0 o79 o5k o0L p1 T0 T8 T5 T2 T4 T0 T8 T5 T2 T1 @@ -102699,7 +102533,6 @@ T0 T6 T2 T8 TA i96 i7s x37 l $4 $3 $7 T1 T2 TA T5 -^0 so0 sm0 ,6 $6 l $4 $3 $2 l $4 $3 $0 L2 i4e $- @@ -103301,7 +103134,6 @@ $6 ^1 K ^0 +0 $! ^/ k -1 o0k -su3 sa0 sk8 o5k o79 $- $8 $+ ^# x95s?[ @@ -103767,7 +103599,6 @@ s?@i4- $b $l $i $n $k $b $l $i $n $d o8$ E -+1 ss0 sc5 i67 o7a i9g iAo iBn i5i i6e i71 ^m ^a ^I @@ -103869,7 +103700,6 @@ p1 i5@ $f $i $l $e $s i62 i80 i70 i96 o2#] -c so0 sa@ si! $h $a $l $e ^9 su3 o6f $d se6 p4 ,3 @@ -104089,8 +103919,6 @@ o0z o3i i5a o2l i6d iBPsn=L9 i0? $! d *64 -o1y $f sl1 se2 $l -c si! so0 sa@ $c $a $n $s $t $i $m $e $s T1 T7 T8 T6 @@ -104153,7 +103981,6 @@ i5n i61 i73 ^Y z2 i89q o1c o75 o3j o69 o5d -c sa@ ss$ se3 $m $a $n $e $g $r $o $w $l ^V +3 @@ -104285,7 +104112,6 @@ x54 x31 i44 i53 i62 $p $a $l $s i2s i4r i3e -c sa@ si! so0 $l $i $o $n $s R3 E Z3 sy7 @@ -104371,7 +104197,6 @@ $c $r $u $e $l T0 TB T3 T2 -3 ,2 -1 o26 -c ss$ se3 sa@ $b $i $r $d i5u i6s i71 sy5 @@ -104384,7 +104209,6 @@ $b $o $a $r $d $s $t $e $w $i $7 i6d x13 -c so0 si! sa@ c i11 i31 i51 i71 $i $r $o $n $s c $. $m $t @@ -104476,7 +104300,6 @@ Y3 D3 $r $a $d $i $o o87 xA2 T4 TA T7 T8 -c sa@ se3 ss$ o2> u i11 i31 i51 Z1o1Lo1c @@ -104613,7 +104436,6 @@ i00 i15 i20 $Q Z1 x78 $j $Y $2 -c ss$ si! $d $e $l $t $a i82 iA1 i92 i10 i20 @@ -104672,11 +104494,9 @@ o0W *31 $! i4- l ^0 ^k T6 T8 T9 T7 -c si! sa@ so0 $d $o $d $g $e x25 Z3 $c $u $b $e -c se3 sa@ ss$ ^o ^l ^b ^a ^p i3t i5e i4l i36 i45 @@ -104763,7 +104583,6 @@ $f $a $s $t $e $a $g $l $e x29 K y4 $0 $_ -c se3 ss$ sa@ $i $t $e $m $g $r $a $m ,6 i75 x41 @@ -105175,7 +104994,6 @@ $. $b $t ^t ^e ^k ^o ^i ^l i1h D4 -se1 i32 o75 sl7 st3 ^m ^r ^e i14 ss6 i35 $9 $3 i1w i2e i3r @@ -105263,7 +105081,6 @@ si!T6 ^i ^d ^n ^a ^m D5 i89 i97 o6g RA ^a ^d ^n ^a ^j -^9 $d o6f su3 se6 ^a ^d ^n ^a ^p i4c i6t i5a ^Q u @@ -105441,7 +105258,6 @@ i4t i5a i61 ^c T1 ^i ^r ^o ^n ^t ^s ^u ^l -^0 $6 ,6 so0 sm0 Z1 sjv [ o0/ ^y ^k ^c ^i ^r @@ -105467,7 +105283,6 @@ T0 T1 TA T3 T4 TA T8 TB s5m [ *98 x12 ^z -so0 ss5 T1 T2 T6 TA ^h ^t ^o ^g ^o ^b ^m ^a ^r @@ -106653,7 +106468,6 @@ sD5 z2 x81 { T0 TA T6 TE y2*70$4 -si! so0 D3 sKs *58 x05 d sC. x64 @@ -106876,7 +106690,6 @@ $s $e $a $l $s z3*A0x51 ^n ^u ^a ^h ^s sNj -^9 se6 su3 $d o6f } i31 +0 oA< x14 ^u ^d ^a ^r @@ -107479,7 +107292,6 @@ T2 TA T9 T4 ^a ^n ^i ^h T6q i8H x72 Y5 -se3 ss5 l q ^e ^d ^a ^h ^j ^v ^d ^a @@ -107769,7 +107581,6 @@ s}< ^F*B0 $5 sLN swe o3a -+1 i67 o7a ss0 sc5 c $0 $4 $2 $! ^r ^e ^l ^y ^t ^u ^o ^n ^i ^m @@ -107857,7 +107668,6 @@ c $2 $5 $3 $! $j $o $r $g $e ^g ^l ^t c $0 $8 $6 $! -sa@ ss5 o0e o4_ i8a ,9 o6a c $0 $1 $9 $! *1Bx85z3 @@ -107869,7 +107679,6 @@ siq ^k ^s ^i ^d [LB o2j D6 o7d o34 -o1y sl1 se2 $f $l T0 T8 TB T3 d i4b x3B R2 @@ -107915,7 +107724,6 @@ xB9x41*38 *BAx01 $n $o $v $2 $1 TA^$,2 -^9 su3 se6 o6f $d ^n ^z ^a l $. $w $s +6 p4 $6 @@ -108135,7 +107943,6 @@ p3z1 ^8 x36 y2*36 i3y x51 Z2 -c sa4 si! o3W i4A T0 T5 TA T7 ^c ^e ^l ^a @@ -109751,7 +109558,6 @@ $z $e $a $l *80 T5 T0 T7 TB TA y2 x61 *05 -^9 $d su3 se6 o6f D0 ^E z3*02u c $3 $4 $8 $! @@ -109811,7 +109617,6 @@ c $m $o x1B u i0A sl x4B c $9 $5 $7 $! -se3 ss$ si! si! ss$ u i5t i7e i6t -3 s0b @@ -109947,7 +109752,6 @@ c $1 $8 $2 $! *19 x24 ^\ z3 E^f -^9 o6f su3 se6 $d ^so3Rx9A c $6 $4 $3 $! ^p Z2 @@ -110542,7 +110346,6 @@ $a $u $s $t i4a k x71 i5o o2n $f $l $y $s -^4 so2 sa3 i2b o56 Z2 *90 $e o1y sl1 $f se2 $l $s $d $o $l @@ -110990,7 +110793,6 @@ sFi x94 x35 x43 i3t ^l ^u ^j c -^0 so0 sm0 $6 ,6 $6 d D4 $6 d D7 $6 x43 @@ -110999,7 +110801,6 @@ y2 x62 i8@ x16 x53 $h L3 z1 -se1 sl7 st3 i32 o75 [ r x51 +7 -A -6 s#p @@ -111328,7 +111129,6 @@ D1 +2 o3y i61 Y1x38z2 o7k l D3 r s6k -^4 i2b o56 sa3 so2 sI, p2s u x37 ^p From aa8e8e100df038bf48f6f16ed8eebbf08598b1dd Mon Sep 17 00:00:00 2001 From: jfoug Date: Fri, 22 Apr 2016 16:28:33 -0500 Subject: [PATCH 3/3] rule duplicates. Sorting s commands, and a few straggler s chain removals --- rules/T0XlCv1.rule | 3 --- rules/generated2.rule | 10 +++------- rules/rockyou-30000.rule | 1 - 3 files changed, 3 insertions(+), 11 deletions(-) diff --git a/rules/T0XlCv1.rule b/rules/T0XlCv1.rule index 1df7c998c..dcb45b819 100644 --- a/rules/T0XlCv1.rule +++ b/rules/T0XlCv1.rule @@ -9762,7 +9762,6 @@ c$1$# c$1$" c$1$! c$1$ -c$1 c$0$~ c$0$} c$0$| @@ -10455,7 +10454,6 @@ c ^e^n^i^l ^e^l^e^t ^e^h^t -^e^h^t ^e^e^r^f ^e^e^n^k ^e^d^i^s @@ -11610,7 +11608,6 @@ $1$2$3$4$5$6 $1$2$3$4$5 $1$2$3$4 $1$2$3 -$1$2 $1$1$1$1$1$1$1$1$1$1$1$1 $1$1$1$1$1$1$1$1$1$1$1 $1$1$1$1$1$1$1$1$1$1 diff --git a/rules/generated2.rule b/rules/generated2.rule index 4e2c06815..30d2be49d 100644 --- a/rules/generated2.rule +++ b/rules/generated2.rule @@ -45089,8 +45089,7 @@ sMT .5 sm> sa> sms $ smr x32 -smR sRx $c -smR $c sRx +smx $c smr smq u smq +2 @@ -45617,9 +45616,8 @@ sei $* $. sei ^s E D7 se_ d [ -sec y2 scp +sep y2 sec Y1 -sec scp y2 sec ,3 se@ c $S E $B @@ -45782,8 +45780,7 @@ sbT i3k ] sbt $7 sbt ,3 sbS Y2 -sbs ssK o5* -sbs o5* ssK +sbK o5* sb sBO sbs *25 sbs @@ -46428,7 +46425,6 @@ s21 y1 ^S *21 R2 s$2 ^1 } s21 -s20 s0@ ^s *20 D4 s20 +5 $S *20 *35 diff --git a/rules/rockyou-30000.rule b/rules/rockyou-30000.rule index 8481c1c4d..b33d6d6b2 100644 --- a/rules/rockyou-30000.rule +++ b/rules/rockyou-30000.rule @@ -13907,7 +13907,6 @@ o51 i69 i77 o84 o0a i3e i47 i58 o66 +3 $o -se3 so0 o4a o5z r $h $1 $2 $3 o2k ,3