Skip to main content
aboutsummaryrefslogtreecommitdiffstats
path: root/bundles/org.sat4j.pb/org/sat4j/pb/UserFriendlyPBStringSolver.class
blob: 547f898cd884c54ac1a49d03ea44d0cfd652be3b (plain)
ofshex dumpascii
0000 ca fe ba be 00 00 00 31 01 11 07 00 02 01 00 27 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 55 73 65 .......1.......'org/sat4j/pb/Use
0020 72 46 72 69 65 6e 64 6c 79 50 42 53 74 72 69 6e 67 53 6f 6c 76 65 72 07 00 04 01 00 22 6f 72 67 rFriendlyPBStringSolver....."org
0040 2f 73 61 74 34 6a 2f 74 6f 6f 6c 73 2f 44 69 6d 61 63 73 53 74 72 69 6e 67 53 6f 6c 76 65 72 07 /sat4j/tools/DimacsStringSolver.
0060 00 06 01 00 16 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 49 50 42 53 6f 6c 76 65 72 01 00 11 46 41 .....org/sat4j/pb/IPBSolver...FA
0080 4b 45 5f 49 5f 43 4f 4e 53 54 52 5f 4d 53 47 01 00 12 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 KE_I_CONSTR_MSG...Ljava/lang/Str
00a0 69 6e 67 3b 01 00 0d 43 6f 6e 73 74 61 6e 74 56 61 6c 75 65 08 00 0b 01 00 0c 46 61 6b 65 20 49 ing;...ConstantValue......Fake.I
00c0 43 6f 6e 73 74 72 01 00 10 73 65 72 69 61 6c 56 65 72 73 69 6f 6e 55 49 44 01 00 01 4a 05 00 00 Constr...serialVersionUID...J...
00e0 00 00 00 00 00 01 01 00 0d 69 6e 64 78 43 6f 6e 73 74 72 4f 62 6a 01 00 01 49 01 00 0f 6e 62 4f .........indxConstrObj...I...nbO
0100 66 43 6f 6e 73 74 72 61 69 6e 74 73 01 00 03 6f 62 6a 01 00 20 4c 6f 72 67 2f 73 61 74 34 6a 2f fConstraints...obj...Lorg/sat4j/
0120 70 62 2f 4f 62 6a 65 63 74 69 76 65 46 75 6e 63 74 69 6f 6e 3b 01 00 08 69 6e 73 65 72 74 65 64 pb/ObjectiveFunction;...inserted
0140 01 00 01 5a 01 00 0b 46 41 4b 45 5f 43 4f 4e 53 54 52 01 00 19 4c 6f 72 67 2f 73 61 74 34 6a 2f ...Z...FAKE_CONSTR...Lorg/sat4j/
0160 73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b 01 00 07 6d 61 70 70 69 6e 67 01 00 0f 4c 6a 61 76 61 specs/IConstr;...mapping...Ljava
0180 2f 75 74 69 6c 2f 4d 61 70 3b 01 00 09 53 69 67 6e 61 74 75 72 65 01 00 27 4c 6a 61 76 61 2f 75 /util/Map;...Signature..'Ljava/u
01a0 74 69 6c 2f 4d 61 70 3c 4c 6a 61 76 61 2f 6c 61 6e 67 2f 49 6e 74 65 67 65 72 3b 54 54 3b 3e 3b til/Map<Ljava/lang/Integer;TT;>;
01c0 01 00 13 24 61 73 73 65 72 74 69 6f 6e 73 44 69 73 61 62 6c 65 64 01 00 08 3c 63 6c 69 6e 69 74 ...$assertionsDisabled...<clinit
01e0 3e 01 00 03 28 29 56 01 00 04 43 6f 64 65 0a 00 22 00 24 07 00 23 01 00 0f 6a 61 76 61 2f 6c 61 >...()V...Code..".$..#...java/la
0200 6e 67 2f 43 6c 61 73 73 0c 00 25 00 26 01 00 16 64 65 73 69 72 65 64 41 73 73 65 72 74 69 6f 6e ng/Class..%.&...desiredAssertion
0220 53 74 61 74 75 73 01 00 03 28 29 5a 09 00 01 00 28 0c 00 1d 00 16 07 00 2a 01 00 29 6f 72 67 2f Status...()Z....(.......*..)org/
0240 73 61 74 34 6a 2f 70 62 2f 55 73 65 72 46 72 69 65 6e 64 6c 79 50 42 53 74 72 69 6e 67 53 6f 6c sat4j/pb/UserFriendlyPBStringSol
0260 76 65 72 24 31 0a 00 29 00 2c 0c 00 2d 00 1f 01 00 06 3c 69 6e 69 74 3e 09 00 01 00 2f 0c 00 17 ver$1..).,..-.....<init>..../...
0280 00 18 01 00 0f 4c 69 6e 65 4e 75 6d 62 65 72 54 61 62 6c 65 01 00 12 4c 6f 63 61 6c 56 61 72 69 .....LineNumberTable...LocalVari
02a0 61 62 6c 65 54 61 62 6c 65 0a 00 03 00 2c 09 00 01 00 34 0c 00 15 00 16 01 00 04 74 68 69 73 01 ableTable....,....4........this.
02c0 00 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 55 73 65 72 46 72 69 65 6e 64 6c 79 50 42 53 74 .)Lorg/sat4j/pb/UserFriendlyPBSt
02e0 72 69 6e 67 53 6f 6c 76 65 72 3b 01 00 16 4c 6f 63 61 6c 56 61 72 69 61 62 6c 65 54 79 70 65 54 ringSolver;...LocalVariableTypeT
0300 61 62 6c 65 01 00 2e 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 55 73 65 72 46 72 69 65 6e 64 6c able...Lorg/sat4j/pb/UserFriendl
0320 79 50 42 53 74 72 69 6e 67 53 6f 6c 76 65 72 3c 54 54 3b 3e 3b 01 00 04 28 49 29 56 0a 00 03 00 yPBStringSolver<TT;>;...(I)V....
0340 3b 0c 00 2d 00 39 01 00 08 69 6e 69 74 53 69 7a 65 01 00 0a 73 65 74 4d 61 70 70 69 6e 67 01 00 ;..-.9...initSize...setMapping..
0360 12 28 4c 6a 61 76 61 2f 75 74 69 6c 2f 4d 61 70 3b 29 56 01 00 2a 28 4c 6a 61 76 61 2f 75 74 69 .(Ljava/util/Map;)V..*(Ljava/uti
0380 6c 2f 4d 61 70 3c 4c 6a 61 76 61 2f 6c 61 6e 67 2f 49 6e 74 65 67 65 72 3b 54 54 3b 3e 3b 29 56 l/Map<Ljava/lang/Integer;TT;>;)V
03a0 09 00 01 00 41 0c 00 19 00 1a 01 00 10 61 64 64 50 73 65 75 64 6f 42 6f 6f 6c 65 61 6e 01 00 61 ....A........addPseudoBoolean..a
03c0 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 4c 6f 72 67 2f 73 (Lorg/sat4j/specs/IVecInt;Lorg/s
03e0 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 3b 5a 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 at4j/specs/IVec;ZLjava/math/BigI
0400 6e 74 65 67 65 72 3b 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 43 6f 6e 73 74 72 nteger;)Lorg/sat4j/specs/IConstr
0420 3b 01 00 0a 45 78 63 65 70 74 69 6f 6e 73 07 00 46 01 00 26 6f 72 67 2f 73 61 74 34 6a 2f 73 70 ;...Exceptions..F..&org/sat4j/sp
0440 65 63 73 2f 43 6f 6e 74 72 61 64 69 63 74 69 6f 6e 45 78 63 65 70 74 69 6f 6e 01 00 79 28 4c 6f ecs/ContradictionException..y(Lo
0460 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 4c 6f 72 67 2f 73 61 74 34 rg/sat4j/specs/IVecInt;Lorg/sat4
0480 6a 2f 73 70 65 63 73 2f 49 56 65 63 3c 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 j/specs/IVec<Ljava/math/BigInteg
04a0 65 72 3b 3e 3b 5a 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 29 4c 6f 72 er;>;ZLjava/math/BigInteger;)Lor
04c0 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b 0a 00 01 00 49 0c 00 4a 00 4b g/sat4j/specs/IConstr;....I..J.K
04e0 01 00 06 67 65 74 4f 75 74 01 00 1a 28 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 ...getOut...()Ljava/lang/StringB
0500 75 66 66 65 72 3b 0b 00 4d 00 4f 07 00 4e 01 00 17 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 uffer;..M.O..N...org/sat4j/specs
0520 2f 49 56 65 63 49 6e 74 0c 00 50 00 51 01 00 04 73 69 7a 65 01 00 03 28 29 49 0b 00 53 00 4f 07 /IVecInt..P.Q...size...()I..S.O.
0540 00 54 01 00 14 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 07 00 56 01 00 18 6a .T...org/sat4j/specs/IVec..V...j
0560 61 76 61 2f 6c 61 6e 67 2f 41 73 73 65 72 74 69 6f 6e 45 72 72 6f 72 0a 00 55 00 2c 09 00 01 00 ava/lang/AssertionError..U.,....
0580 59 0c 00 12 00 11 07 00 5b 01 00 17 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 69 6c Y.......[...java/lang/StringBuil
05a0 64 65 72 0a 00 5a 00 2c 0b 00 53 00 5e 0c 00 5f 00 60 01 00 03 67 65 74 01 00 15 28 49 29 4c 6a der..Z.,..S.^.._.`...get...(I)Lj
05c0 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 0a 00 5a 00 62 0c 00 63 00 64 01 00 06 61 70 70 ava/lang/Object;..Z.b..c.d...app
05e0 65 6e 64 01 00 2d 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 29 4c 6a 61 76 61 2f end..-(Ljava/lang/Object;)Ljava/
0600 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 69 6c 64 65 72 3b 08 00 66 01 00 01 20 0a 00 5a 00 68 0c lang/StringBuilder;..f......Z.h.
0620 00 63 00 69 01 00 2d 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 4c 6a 61 76 61 .c.i..-(Ljava/lang/String;)Ljava
0640 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 69 6c 64 65 72 3b 0b 00 4d 00 6b 0c 00 5f 00 6c 01 00 /lang/StringBuilder;..M.k.._.l..
0660 04 28 49 29 49 0a 00 6e 00 70 07 00 6f 01 00 11 6a 61 76 61 2f 6c 61 6e 67 2f 49 6e 74 65 67 65 .(I)I..n.p..o...java/lang/Intege
0680 72 0c 00 71 00 72 01 00 07 76 61 6c 75 65 4f 66 01 00 16 28 49 29 4c 6a 61 76 61 2f 6c 61 6e 67 r..q.r...valueOf...(I)Ljava/lang
06a0 2f 49 6e 74 65 67 65 72 3b 0b 00 74 00 76 07 00 75 01 00 0d 6a 61 76 61 2f 75 74 69 6c 2f 4d 61 /Integer;..t.v..u...java/util/Ma
06c0 70 0c 00 5f 00 77 01 00 26 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 29 4c 6a 61 p.._.w..&(Ljava/lang/Object;)Lja
06e0 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 08 00 79 01 00 03 20 2b 20 0a 00 5a 00 7b 0c 00 7c va/lang/Object;..y....+...Z.{..|
0700 00 7d 01 00 08 74 6f 53 74 72 69 6e 67 01 00 14 28 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 .}...toString...()Ljava/lang/Str
0720 69 6e 67 3b 0a 00 7f 00 81 07 00 80 01 00 16 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 ing;...........java/lang/StringB
0740 75 66 66 65 72 0c 00 63 00 82 01 00 2c 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b uffer..c....,(Ljava/lang/String;
0760 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 66 66 65 72 3b 08 00 84 01 00 03 3e )Ljava/lang/StringBuffer;......>
0780 3d 20 0a 00 5a 00 86 0c 00 2d 00 87 01 00 15 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e =...Z....-.....(Ljava/lang/Strin
07a0 67 3b 29 56 08 00 89 01 00 03 20 3b 0a 08 00 8b 01 00 03 3c 3d 20 01 00 04 6c 69 74 73 01 00 19 g;)V.......;.......<=....lits...
07c0 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 01 00 06 63 6f 65 66 Lorg/sat4j/specs/IVecInt;...coef
07e0 66 73 01 00 16 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 3b 01 00 08 6d 6f fs...Lorg/sat4j/specs/IVec;...mo
0800 72 65 54 68 61 6e 01 00 01 64 01 00 16 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 reThan...d...Ljava/math/BigInteg
0820 65 72 3b 01 00 03 6f 75 74 01 00 18 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 66 er;...out...Ljava/lang/StringBuf
0840 66 65 72 3b 01 00 01 69 01 00 2e 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 fer;...i...Lorg/sat4j/specs/IVec
0860 3c 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 3e 3b 01 00 14 73 65 74 4f <Ljava/math/BigInteger;>;...setO
0880 62 6a 65 63 74 69 76 65 46 75 6e 63 74 69 6f 6e 01 00 23 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 bjectiveFunction..#(Lorg/sat4j/p
08a0 62 2f 4f 62 6a 65 63 74 69 76 65 46 75 6e 63 74 69 6f 6e 3b 29 56 09 00 01 00 9a 0c 00 13 00 14 b/ObjectiveFunction;)V..........
08c0 01 00 0a 61 64 64 41 74 4c 65 61 73 74 01 00 35 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 ...addAtLeast..5(Lorg/sat4j/spec
08e0 73 2f 49 56 65 63 49 6e 74 3b 49 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 43 6f s/IVecInt;I)Lorg/sat4j/specs/ICo
0900 6e 73 74 72 3b 0b 00 4d 00 9e 0c 00 9f 00 a0 01 00 08 69 74 65 72 61 74 6f 72 01 00 1f 28 29 4c nstr;..M..........iterator...()L
0920 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 74 65 72 61 74 6f 72 49 6e 74 3b 0b 00 a2 00 org/sat4j/specs/IteratorInt;....
0940 a4 07 00 a3 01 00 1b 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 74 65 72 61 74 6f 72 49 .......org/sat4j/specs/IteratorI
0960 6e 74 0c 00 a5 00 51 01 00 04 6e 65 78 74 0a 00 7f 00 a7 0c 00 63 00 a8 01 00 2c 28 4c 6a 61 76 nt....Q...next.......c....,(Ljav
0980 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 a/lang/Object;)Ljava/lang/String
09a0 42 75 66 66 65 72 3b 0b 00 a2 00 aa 0c 00 ab 00 26 01 00 07 68 61 73 4e 65 78 74 08 00 ad 01 00 Buffer;.........&...hasNext.....
09c0 02 2b 20 0a 00 5a 00 af 0c 00 63 00 b0 01 00 1c 28 49 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 .+...Z....c.....(I)Ljava/lang/St
09e0 72 69 6e 67 42 75 69 6c 64 65 72 3b 01 00 08 6c 69 74 65 72 61 6c 73 01 00 06 64 65 67 72 65 65 ringBuilder;...literals...degree
0a00 01 00 1d 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 74 65 72 61 74 6f 72 49 6e 74 3b ...Lorg/sat4j/specs/IteratorInt;
0a20 01 00 09 61 64 64 41 74 4d 6f 73 74 01 00 09 61 64 64 43 6c 61 75 73 65 01 00 34 28 4c 6f 72 67 ...addAtMost...addClause..4(Lorg
0a40 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 29 4c 6f 72 67 2f 73 61 74 34 6a /sat4j/specs/IVecInt;)Lorg/sat4j
0a60 2f 73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b 08 00 b8 01 00 03 2d 3e 20 08 00 ba 01 00 05 20 4e /specs/IConstr;......->........N
0a80 4f 54 20 08 00 bc 01 00 03 4f 52 20 08 00 be 01 00 08 2d 3e 20 66 61 6c 73 65 01 00 03 6c 69 74 OT.......OR.......->.false...lit
0aa0 01 00 09 62 65 67 69 6e 6e 69 6e 67 01 00 0e 67 65 74 45 78 70 6c 61 6e 61 74 69 6f 6e 01 00 20 ...beginning...getExplanation...
0ac0 73 65 74 4c 69 73 74 4f 66 56 61 72 69 61 62 6c 65 73 46 6f 72 45 78 70 6c 61 6e 61 74 69 6f 6e setListOfVariablesForExplanation
0ae0 01 00 1c 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 29 56 01 ...(Lorg/sat4j/specs/IVecInt;)V.
0b00 00 0f 6c 69 73 74 4f 66 56 61 72 69 61 62 6c 65 73 0a 00 7f 00 2c 08 00 c7 01 00 0d 2a 20 23 76 ..listOfVariables....,......*.#v
0b20 61 72 69 61 62 6c 65 3d 20 0a 00 01 00 c9 0c 00 ca 00 51 01 00 05 6e 56 61 72 73 0a 00 7f 00 cc ariable=..........Q...nVars.....
0b40 0c 00 63 00 cd 01 00 1b 28 49 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 66 66 ..c.....(I)Ljava/lang/StringBuff
0b60 65 72 3b 08 00 cf 01 00 0e 20 23 63 6f 6e 73 74 72 61 69 6e 74 3d 20 08 00 d1 01 00 02 20 0a 08 er;.......#constraint=..........
0b80 00 d3 01 00 05 6d 69 6e 3a 20 0a 00 01 00 d5 0c 00 d6 00 d7 01 00 06 64 65 63 6f 64 65 01 00 34 .....min:..............decode..4
0ba0 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 4f 62 6a 65 63 74 69 76 65 46 75 6e 63 74 69 6f 6e (Lorg/sat4j/pb/ObjectiveFunction
0bc0 3b 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 09 00 01 00 d9 0c 00 10 00 11 0a 00 ;)Ljava/lang/Object;............
0be0 7f 00 7b 0a 00 7f 00 dc 0c 00 dd 00 de 01 00 06 69 6e 73 65 72 74 01 00 2d 28 49 4c 6a 61 76 61 ..{.............insert..-(ILjava
0c00 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 /lang/String;)Ljava/lang/StringB
0c20 75 66 66 65 72 3b 01 00 03 74 6d 70 0a 00 e1 00 e3 07 00 e2 01 00 1e 6f 72 67 2f 73 61 74 34 6a uffer;...tmp...........org/sat4j
0c40 2f 70 62 2f 4f 62 6a 65 63 74 69 76 65 46 75 6e 63 74 69 6f 6e 0c 00 e4 00 e5 01 00 07 67 65 74 /pb/ObjectiveFunction........get
0c60 56 61 72 73 01 00 1b 28 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e Vars...()Lorg/sat4j/specs/IVecIn
0c80 74 3b 0a 00 e1 00 e7 0c 00 e8 00 e9 01 00 09 67 65 74 43 6f 65 66 66 73 01 00 18 28 29 4c 6f 72 t;.............getCoeffs...()Lor
0ca0 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 3b 08 00 eb 01 00 01 7e 01 00 04 6f 62 6a g/sat4j/specs/IVec;......~...obj
0cc0 32 01 00 03 73 74 62 01 00 04 76 61 72 73 01 00 26 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 2...stb...vars..&(Ljava/lang/Str
0ce0 69 6e 67 3b 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 08 00 f1 01 00 11 4f 50 42 ing;)Ljava/lang/String;......OPB
0d00 20 6f 75 74 70 75 74 20 73 6f 6c 76 65 72 01 00 06 70 72 65 66 69 78 01 00 06 6e 65 77 56 61 72 .output.solver...prefix...newVar
0d20 0a 00 01 00 f5 0c 00 f6 00 39 01 00 09 73 65 74 4e 62 56 61 72 73 0a 00 7f 00 f8 0c 00 f9 00 51 .........9...setNbVars.........Q
0d40 01 00 06 6c 65 6e 67 74 68 08 00 fb 01 00 01 0a 01 00 07 68 6f 77 6d 61 6e 79 01 00 1a 73 65 74 ...length..........howmany...set
0d60 45 78 70 65 63 74 65 64 4e 75 6d 62 65 72 4f 66 43 6c 61 75 73 65 73 01 00 02 6e 62 01 00 14 67 ExpectedNumberOfClauses...nb...g
0d80 65 74 4f 62 6a 65 63 74 69 76 65 46 75 6e 63 74 69 6f 6e 01 00 22 28 29 4c 6f 72 67 2f 73 61 74 etObjectiveFunction.."()Lorg/sat
0da0 34 6a 2f 70 62 2f 4f 62 6a 65 63 74 69 76 65 46 75 6e 63 74 69 6f 6e 3b 01 00 4e 28 4c 6f 72 67 4j/pb/ObjectiveFunction;..N(Lorg
0dc0 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f /sat4j/specs/IVecInt;Lorg/sat4j/
0de0 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 49 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 specs/IVecInt;I)Lorg/sat4j/specs
0e00 2f 49 43 6f 6e 73 74 72 3b 0a 01 03 01 05 07 01 04 01 00 10 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 /IConstr;...........java/lang/St
0e20 72 69 6e 67 0c 00 71 01 06 01 00 15 28 49 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 ring..q.....(I)Ljava/lang/String
0e40 3b 01 00 60 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 4c 6f ;..`(Lorg/sat4j/specs/IVecInt;Lo
0e60 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 3b 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 rg/sat4j/specs/IVec;Ljava/math/B
0e80 69 67 49 6e 74 65 67 65 72 3b 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 43 6f 6e igInteger;)Lorg/sat4j/specs/ICon
0ea0 73 74 72 3b 01 00 78 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 str;..x(Lorg/sat4j/specs/IVecInt
0ec0 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 3c 4c 6a 61 76 61 2f 6d 61 74 ;Lorg/sat4j/specs/IVec<Ljava/mat
0ee0 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 3e 3b 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 h/BigInteger;>;Ljava/math/BigInt
0f00 65 67 65 72 3b 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b 01 eger;)Lorg/sat4j/specs/IConstr;.
0f20 00 0a 61 64 64 45 78 61 63 74 6c 79 08 01 0b 01 00 02 3d 20 01 00 06 77 65 69 67 68 74 01 00 0a ..addExactly......=....weight...
0f40 53 6f 75 72 63 65 46 69 6c 65 01 00 1f 55 73 65 72 46 72 69 65 6e 64 6c 79 50 42 53 74 72 69 6e SourceFile...UserFriendlyPBStrin
0f60 67 53 6f 6c 76 65 72 2e 6a 61 76 61 01 00 52 3c 54 3a 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a gSolver.java..R<T:Ljava/lang/Obj
0f80 65 63 74 3b 3e 4c 6f 72 67 2f 73 61 74 34 6a 2f 74 6f 6f 6c 73 2f 44 69 6d 61 63 73 53 74 72 69 ect;>Lorg/sat4j/tools/DimacsStri
0fa0 6e 67 53 6f 6c 76 65 72 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 49 50 42 53 6f 6c 76 65 72 ngSolver;Lorg/sat4j/pb/IPBSolver
0fc0 3b 01 00 0c 49 6e 6e 65 72 43 6c 61 73 73 65 73 00 21 00 01 00 03 00 01 00 05 00 09 00 1a 00 07 ;...InnerClasses.!..............
0fe0 00 08 00 01 00 09 00 00 00 02 00 0a 00 1a 00 0c 00 0d 00 01 00 09 00 00 00 02 00 0e 00 02 00 10 ................................
1000 00 11 00 00 00 02 00 12 00 11 00 00 00 02 00 13 00 14 00 00 00 02 00 15 00 16 00 00 00 1a 00 17 ................................
1020 00 18 00 00 00 02 00 19 00 1a 00 01 00 1b 00 00 00 02 00 1c 10 18 00 1d 00 16 00 00 00 17 00 08 ................................
1040 00 1e 00 1f 00 01 00 20 00 00 00 3f 00 02 00 00 00 00 00 1b 12 01 b6 00 21 9a 00 07 04 a7 00 04 ...........?............!.......
1060 03 b3 00 27 bb 00 29 59 b7 00 2b b3 00 2e b1 00 00 00 02 00 30 00 00 00 0a 00 02 00 00 00 30 00 ...'..)Y..+.........0.........0.
1080 10 00 42 00 31 00 00 00 02 00 00 00 01 00 2d 00 1f 00 01 00 20 00 00 00 4e 00 02 00 01 00 00 00 ..B.1.........-.........N.......
10a0 0a 2a b7 00 32 2a 03 b5 00 33 b1 00 00 00 03 00 30 00 00 00 0e 00 03 00 00 00 5e 00 04 00 40 00 .*..2*...3......0.........^...@.
10c0 09 00 5f 00 31 00 00 00 0c 00 01 00 00 00 0a 00 35 00 36 00 00 00 37 00 00 00 0c 00 01 00 00 00 .._.1...........5.6...7.........
10e0 0a 00 35 00 38 00 00 00 01 00 2d 00 39 00 01 00 20 00 00 00 59 00 02 00 02 00 00 00 0b 2a 1b b7 ..5.8.....-.9.......Y........*..
1100 00 3a 2a 03 b5 00 33 b1 00 00 00 03 00 30 00 00 00 0e 00 03 00 00 00 65 00 05 00 40 00 0a 00 66 .:*...3......0.........e...@...f
1120 00 31 00 00 00 16 00 02 00 00 00 0b 00 35 00 36 00 00 00 00 00 0b 00 3c 00 11 00 01 00 37 00 00 .1...........5.6.......<.....7..
1140 00 0c 00 01 00 00 00 0b 00 35 00 38 00 00 00 01 00 3d 00 3e 00 02 00 1b 00 00 00 02 00 3f 00 20 .........5.8.....=.>.........?..
1160 00 00 00 5a 00 02 00 02 00 00 00 06 2a 2b b5 00 40 b1 00 00 00 03 00 30 00 00 00 0a 00 02 00 00 ...Z........*+..@......0........
1180 00 69 00 05 00 6a 00 31 00 00 00 16 00 02 00 00 00 06 00 35 00 36 00 00 00 00 00 06 00 19 00 1a .i...j.1...........5.6..........
11a0 00 01 00 37 00 00 00 16 00 02 00 00 00 06 00 35 00 38 00 00 00 00 00 06 00 19 00 1c 00 01 00 01 ...7...........5.8..............
11c0 00 42 00 43 00 03 00 44 00 00 00 04 00 01 00 45 00 1b 00 00 00 02 00 47 00 20 00 00 01 dc 00 05 .B.C...D.......E.......G........
11e0 00 07 00 00 01 10 2a b6 00 48 3a 05 b2 00 27 9a 00 1a 2b b9 00 4c 01 00 2c b9 00 52 01 00 9f 00 ......*..H:...'...+..L..,..R....
1200 0b bb 00 55 59 b7 00 57 bf 2a 59 b4 00 58 04 60 b5 00 58 1d 99 00 72 03 36 06 a7 00 42 19 05 bb ...UY..W.*Y..X.`..X...r.6...B...
1220 00 5a 59 b7 00 5c 2c 15 06 b9 00 5d 02 00 b6 00 61 12 65 b6 00 67 2a b4 00 40 2b 15 06 b9 00 6a .ZY..\,....]....a.e..g*..@+....j
1240 02 00 b8 00 6d b9 00 73 02 00 b6 00 61 12 78 b6 00 67 b6 00 7a b6 00 7e 57 84 06 01 15 06 2b b9 ....m..s....a.x..g..z..~W.....+.
1260 00 4c 01 00 a1 ff b9 19 05 bb 00 5a 59 12 83 b7 00 85 19 04 b6 00 61 12 88 b6 00 67 b6 00 7a b6 .L.........ZY.........a....g..z.
1280 00 7e 57 a7 00 6f 03 36 06 a7 00 42 19 05 bb 00 5a 59 b7 00 5c 2c 15 06 b9 00 5d 02 00 b6 00 61 .~W..o.6...B....ZY..\,....]....a
12a0 12 65 b6 00 67 2a b4 00 40 2b 15 06 b9 00 6a 02 00 b8 00 6d b9 00 73 02 00 b6 00 61 12 78 b6 00 .e..g*..@+....j....m..s....a.x..
12c0 67 b6 00 7a b6 00 7e 57 84 06 01 15 06 2b b9 00 4c 01 00 a1 ff b9 19 05 bb 00 5a 59 12 8a b7 00 g..z..~W.....+..L.........ZY....
12e0 85 19 04 b6 00 61 12 88 b6 00 67 b6 00 7a b6 00 7e 57 b2 00 2e b0 00 00 00 03 00 30 00 00 00 46 .....a....g..z..~W.........0...F
1300 00 11 00 00 00 6e 00 06 00 6f 00 23 00 70 00 2d 00 71 00 31 00 72 00 37 00 73 00 67 00 74 00 6f .....n...o.#.p.-.q.1.r.7.s.g.t.o
1320 00 73 00 73 00 72 00 81 00 76 00 a0 00 78 00 a6 00 79 00 d6 00 7a 00 de 00 79 00 e2 00 78 00 f0 .s.s.r...v...x...y...z...y...x..
1340 00 7c 01 0c 00 7e 00 31 00 00 00 52 00 08 00 00 01 10 00 35 00 36 00 00 00 00 01 10 00 8c 00 8d .|...~.1...R.......5.6..........
1360 00 01 00 00 01 10 00 8e 00 8f 00 02 00 00 01 10 00 90 00 16 00 03 00 00 01 10 00 91 00 92 00 04 ................................
1380 00 06 01 0a 00 93 00 94 00 05 00 34 00 4d 00 95 00 11 00 06 00 a3 00 4d 00 95 00 11 00 06 00 37 ...........4.M.........M.......7
13a0 00 00 00 16 00 02 00 00 01 10 00 35 00 38 00 00 00 00 01 10 00 8e 00 96 00 02 00 01 00 97 00 98 ...........5.8..................
13c0 00 01 00 20 00 00 00 50 00 02 00 02 00 00 00 06 2a 2b b5 00 99 b1 00 00 00 03 00 30 00 00 00 0a .......P........*+.........0....
13e0 00 02 00 00 00 82 00 05 00 83 00 31 00 00 00 16 00 02 00 00 00 06 00 35 00 36 00 00 00 00 00 06 ...........1...........5.6......
1400 00 13 00 14 00 01 00 37 00 00 00 0c 00 01 00 00 00 06 00 35 00 38 00 00 00 01 00 9b 00 9c 00 02 .......7...........5.8..........
1420 00 44 00 00 00 04 00 01 00 45 00 20 00 00 00 fa 00 04 00 05 00 00 00 72 2a b6 00 48 4e 2a 59 b4 .D.......E.............r*..HN*Y.
1440 00 58 04 60 b5 00 58 2b b9 00 9d 01 00 3a 04 a7 00 33 2d 2a b4 00 40 19 04 b9 00 a1 01 00 b8 00 .X.`..X+.....:...3-*..@.........
1460 6d b9 00 73 02 00 b6 00 a6 57 2d 12 65 b6 00 7e 57 19 04 b9 00 a9 01 00 99 00 0a 2d 12 ac b6 00 m..s.....W-.e..~W..........-....
1480 7e 57 19 04 b9 00 a9 01 00 9a ff c9 2d bb 00 5a 59 12 83 b7 00 85 1c b6 00 ae 12 88 b6 00 67 b6 ~W..........-..ZY.............g.
14a0 00 7a b6 00 7e 57 b2 00 2e b0 00 00 00 03 00 30 00 00 00 2a 00 0a 00 00 00 88 00 05 00 89 00 0f .z..~W.........0...*............
14c0 00 8a 00 1a 00 8b 00 32 00 8c 00 39 00 8d 00 43 00 8e 00 4a 00 8a 00 54 00 91 00 6e 00 92 00 31 .......2...9...C...J...T...n...1
14e0 00 00 00 34 00 05 00 00 00 72 00 35 00 36 00 00 00 00 00 72 00 b1 00 8d 00 01 00 00 00 72 00 b2 ...4.....r.5.6.....r.........r..
1500 00 11 00 02 00 05 00 6d 00 93 00 94 00 03 00 17 00 3d 00 9f 00 b3 00 04 00 37 00 00 00 0c 00 01 .......m.........=.......7......
1520 00 00 00 72 00 35 00 38 00 00 00 01 00 b4 00 9c 00 02 00 44 00 00 00 04 00 01 00 45 00 20 00 00 ...r.5.8...........D.......E....
1540 00 fa 00 04 00 05 00 00 00 72 2a b6 00 48 4e 2a 59 b4 00 58 04 60 b5 00 58 2b b9 00 9d 01 00 3a .........r*..HN*Y..X.`..X+.....:
1560 04 a7 00 33 2d 2a b4 00 40 19 04 b9 00 a1 01 00 b8 00 6d b9 00 73 02 00 b6 00 a6 57 2d 12 65 b6 ...3-*..@.........m..s.....W-.e.
1580 00 7e 57 19 04 b9 00 a9 01 00 99 00 0a 2d 12 ac b6 00 7e 57 19 04 b9 00 a9 01 00 9a ff c9 2d bb .~W..........-....~W..........-.
15a0 00 5a 59 12 8a b7 00 85 1c b6 00 ae 12 88 b6 00 67 b6 00 7a b6 00 7e 57 b2 00 2e b0 00 00 00 03 .ZY.............g..z..~W........
15c0 00 30 00 00 00 2a 00 0a 00 00 00 98 00 05 00 99 00 0f 00 9a 00 1a 00 9b 00 32 00 9c 00 39 00 9d .0...*...................2...9..
15e0 00 43 00 9e 00 4a 00 9a 00 54 00 a1 00 6e 00 a2 00 31 00 00 00 34 00 05 00 00 00 72 00 35 00 36 .C...J...T...n...1...4.....r.5.6
1600 00 00 00 00 00 72 00 b1 00 8d 00 01 00 00 00 72 00 b2 00 11 00 02 00 05 00 6d 00 93 00 94 00 03 .....r.........r.........m......
1620 00 17 00 3d 00 9f 00 b3 00 04 00 37 00 00 00 0c 00 01 00 00 00 72 00 35 00 38 00 00 00 01 00 b5 ...=.......7.........r.5.8......
1640 00 b6 00 02 00 44 00 00 00 04 00 01 00 45 00 20 00 00 01 68 00 03 00 06 00 00 00 aa 2a b6 00 48 .....D.......E.....h........*..H
1660 4d 2a 59 b4 00 58 04 60 b5 00 58 04 36 04 2b b9 00 9d 01 00 3a 05 a7 00 6f 19 05 b9 00 a1 01 00 M*Y..X.`..X.6.+.....:...o.......
1680 3e 1d 9e 00 27 15 04 99 00 0d 2c 12 b7 b6 00 7e 57 03 36 04 2c 2a b4 00 40 1d b8 00 6d b9 00 73 >...'.....,....~W.6.,*..@...m..s
16a0 02 00 b6 00 a6 57 a7 00 22 15 04 9a 00 0a 2c 12 b9 b6 00 7e 57 2c 2a b4 00 40 1d 74 b8 00 6d b9 .....W..".....,....~W,*..@.t..m.
16c0 00 73 02 00 b6 00 a6 57 2c 12 65 b6 00 7e 57 19 05 b9 00 a9 01 00 99 00 0f 15 04 9a 00 0a 2c 12 .s.....W,.e..~W...............,.
16e0 bb b6 00 7e 57 19 05 b9 00 a9 01 00 9a ff 8d 15 04 99 00 0a 2c 12 bd b6 00 7e 57 2c 12 88 b6 00 ...~W...............,....~W,....
1700 7e 57 b2 00 2e b0 00 00 00 03 00 30 00 00 00 56 00 15 00 00 00 a7 00 05 00 a8 00 0f 00 aa 00 12 ~W.........0...V................
1720 00 ab 00 1d 00 ac 00 25 00 ad 00 29 00 ae 00 2e 00 af 00 35 00 b0 00 38 00 b2 00 4d 00 b4 00 52 .......%...).......5...8...M...R
1740 00 b5 00 59 00 b7 00 6c 00 b9 00 73 00 ba 00 82 00 bb 00 89 00 ab 00 93 00 be 00 98 00 bf 00 9f ...Y...l...s....................
1760 00 c1 00 a6 00 c2 00 31 00 00 00 3e 00 06 00 00 00 aa 00 35 00 36 00 00 00 00 00 aa 00 b1 00 8d .......1...>.......5.6..........
1780 00 01 00 05 00 a5 00 93 00 94 00 02 00 25 00 64 00 bf 00 11 00 03 00 12 00 98 00 c0 00 16 00 04 .............%.d................
17a0 00 1a 00 79 00 9f 00 b3 00 05 00 37 00 00 00 0c 00 01 00 00 00 aa 00 35 00 38 00 00 00 01 00 c1 ...y.......7...........5.8......
17c0 00 7d 00 01 00 20 00 00 00 3e 00 01 00 01 00 00 00 02 01 b0 00 00 00 03 00 30 00 00 00 06 00 01 .}.......>...............0......
17e0 00 00 00 cc 00 31 00 00 00 0c 00 01 00 00 00 02 00 35 00 36 00 00 00 37 00 00 00 0c 00 01 00 00 .....1...........5.6...7........
1800 00 02 00 35 00 38 00 00 00 01 00 c2 00 c3 00 01 00 20 00 00 00 47 00 00 00 02 00 00 00 01 b1 00 ...5.8...............G..........
1820 00 00 03 00 30 00 00 00 06 00 01 00 00 00 d9 00 31 00 00 00 16 00 02 00 00 00 01 00 35 00 36 00 ....0...........1...........5.6.
1840 00 00 00 00 01 00 c4 00 8d 00 01 00 37 00 00 00 0c 00 01 00 00 00 01 00 35 00 38 00 00 00 01 00 ............7...........5.8.....
1860 7c 00 7d 00 01 00 20 00 00 00 fc 00 03 00 03 00 00 00 74 2a b6 00 48 4c 2a b4 00 33 9a 00 66 bb |.}...............t*..HL*..3..f.
1880 00 7f 59 b7 00 c5 4d 2c 12 c6 b6 00 7e 57 2c 2a b6 00 c8 b6 00 cb 57 2c 12 ce b6 00 7e 57 2c 2a ..Y...M,....~W,*......W,....~W,*
18a0 b4 00 58 b6 00 cb 57 2c 12 d0 b6 00 7e 57 2a b4 00 99 c6 00 1e 2c 12 d2 b6 00 7e 57 2c 2a 2a b4 ..X...W,....~W*......,....~W,**.
18c0 00 99 b7 00 d4 b6 00 a6 57 2c 12 88 b6 00 7e 57 2b 2a b4 00 d8 2c b6 00 da b6 00 db 57 2a 04 b5 ........W,....~W+*...,......W*..
18e0 00 33 2b b6 00 da b0 00 00 00 03 00 30 00 00 00 3e 00 0f 00 00 00 dd 00 05 00 de 00 0c 00 df 00 .3+.........0...>...............
1900 14 00 e0 00 1b 00 e1 00 24 00 e2 00 2b 00 e3 00 34 00 e4 00 3b 00 e5 00 42 00 e6 00 49 00 e7 00 ........$...+...4...;...B...I...
1920 56 00 e8 00 5d 00 ea 00 6a 00 eb 00 6f 00 ed 00 31 00 00 00 20 00 03 00 00 00 74 00 35 00 36 00 V...]...j...o...1.........t.5.6.
1940 00 00 05 00 6f 00 93 00 94 00 01 00 14 00 5b 00 df 00 94 00 02 00 37 00 00 00 0c 00 01 00 00 00 ....o.........[.......7.........
1960 74 00 35 00 38 00 00 00 02 00 d6 00 d7 00 01 00 20 00 00 01 3e 00 03 00 07 00 00 00 88 bb 00 7f t.5.8...............>...........
1980 59 b7 00 c5 4d 2b b6 00 e0 4e 2b b6 00 e6 3a 04 03 36 06 a7 00 62 2c 19 04 15 06 b9 00 5d 02 00 Y...M+...N+...:..6...b,......]..
19a0 b6 00 a6 57 2c 12 65 b6 00 7e 57 2d 15 06 b9 00 6a 02 00 36 05 15 05 9e 00 19 2c 2a b4 00 40 15 ...W,.e..~W-....j..6......,*..@.
19c0 05 b8 00 6d b9 00 73 02 00 b6 00 a6 57 a7 00 1e 2c 12 ea b6 00 7e 57 2c 2a b4 00 40 15 05 74 b8 ...m..s.....W...,....~W,*..@..t.
19e0 00 6d b9 00 73 02 00 b6 00 a6 57 2c 12 65 b6 00 7e 57 84 06 01 15 06 2d b9 00 4c 01 00 a1 ff 99 .m..s.....W,.e..~W.....-..L.....
1a00 2c b6 00 da b0 00 00 00 03 00 30 00 00 00 3a 00 0e 00 00 00 f1 00 08 00 f2 00 0d 00 f3 00 13 00 ,.........0...:.................
1a20 f5 00 19 00 f6 00 27 00 f7 00 2e 00 f8 00 38 00 f9 00 3d 00 fa 00 53 00 fc 00 5a 00 fd 00 6e 00 ......'.......8...=...S...Z...n.
1a40 ff 00 75 00 f5 00 83 01 02 00 31 00 00 00 48 00 07 00 00 00 88 00 35 00 36 00 00 00 00 00 88 00 ..u.......1...H.......5.6.......
1a60 ec 00 14 00 01 00 08 00 80 00 ed 00 94 00 02 00 0d 00 7b 00 ee 00 8d 00 03 00 13 00 75 00 8e 00 ..................{.........u...
1a80 8f 00 04 00 38 00 40 00 bf 00 11 00 05 00 16 00 6d 00 95 00 11 00 06 00 37 00 00 00 16 00 02 00 ....8.@.........m.......7.......
1aa0 00 00 88 00 35 00 38 00 00 00 13 00 75 00 8e 00 96 00 04 00 01 00 7c 00 ef 00 01 00 20 00 00 00 ....5.8.....u.........|.........
1ac0 49 00 01 00 02 00 00 00 03 12 f0 b0 00 00 00 03 00 30 00 00 00 06 00 01 00 00 01 07 00 31 00 00 I................0...........1..
1ae0 00 16 00 02 00 00 00 03 00 35 00 36 00 00 00 00 00 03 00 f2 00 08 00 01 00 37 00 00 00 0c 00 01 .........5.6.............7......
1b00 00 00 00 03 00 35 00 38 00 00 00 01 00 f3 00 6c 00 01 00 20 00 00 00 7b 00 02 00 03 00 00 00 1b .....5.8.......l.......{........
1b20 2a b6 00 48 4d 2a 1b b6 00 f4 2a 2c b6 00 f7 b5 00 d8 2c 12 fa b6 00 7e 57 1b ac 00 00 00 03 00 *..HM*....*,......,....~W.......
1b40 30 00 00 00 16 00 05 00 00 01 0c 00 05 01 0d 00 0a 01 0f 00 12 01 10 00 19 01 11 00 31 00 00 00 0...........................1...
1b60 20 00 03 00 00 00 1b 00 35 00 36 00 00 00 00 00 1b 00 fc 00 11 00 01 00 05 00 16 00 93 00 94 00 ........5.6.....................
1b80 02 00 37 00 00 00 0c 00 01 00 00 00 1b 00 35 00 38 00 00 00 01 00 fd 00 39 00 01 00 20 00 00 00 ..7...........5.8.......9.......
1ba0 47 00 00 00 02 00 00 00 01 b1 00 00 00 03 00 30 00 00 00 06 00 01 00 00 01 16 00 31 00 00 00 16 G..............0...........1....
1bc0 00 02 00 00 00 01 00 35 00 36 00 00 00 00 00 01 00 fe 00 11 00 01 00 37 00 00 00 0c 00 01 00 00 .......5.6.............7........
1be0 00 01 00 35 00 38 00 00 00 01 00 ff 01 00 00 01 00 20 00 00 00 41 00 01 00 01 00 00 00 05 2a b4 ...5.8...............A........*.
1c00 00 99 b0 00 00 00 03 00 30 00 00 00 06 00 01 00 00 01 19 00 31 00 00 00 0c 00 01 00 00 00 05 00 ........0...........1...........
1c20 35 00 36 00 00 00 37 00 00 00 0c 00 01 00 00 00 05 00 35 00 38 00 00 00 01 00 b4 01 01 00 02 00 5.6...7...........5.8...........
1c40 44 00 00 00 04 00 01 00 45 00 20 00 00 01 2e 00 05 00 06 00 00 00 9c 2a b6 00 48 3a 04 b2 00 27 D.......E..............*..H:...'
1c60 9a 00 1a 2b b9 00 4c 01 00 2c b9 00 4c 01 00 9f 00 0b bb 00 55 59 b7 00 57 bf 2a 59 b4 00 58 04 ...+..L..,..L.......UY..W.*Y..X.
1c80 60 b5 00 58 03 36 05 a7 00 42 19 04 bb 00 5a 59 2c 15 05 b9 00 6a 02 00 b8 01 02 b7 00 85 12 65 `..X.6...B....ZY,....j.........e
1ca0 b6 00 67 2a b4 00 40 2b 15 05 b9 00 6a 02 00 b8 00 6d b9 00 73 02 00 b6 00 61 12 78 b6 00 67 b6 ..g*..@+....j....m..s....a.x..g.
1cc0 00 7a b6 00 7e 57 84 05 01 15 05 2b b9 00 4c 01 00 a1 ff b9 19 04 bb 00 5a 59 12 8a b7 00 85 1d .z..~W.....+..L.........ZY......
1ce0 b6 00 ae 12 88 b6 00 67 b6 00 7a b6 00 7e 57 b2 00 2e b0 00 00 00 03 00 30 00 00 00 2a 00 0a 00 .......g..z..~W.........0...*...
1d00 00 01 1e 00 06 01 1f 00 23 01 20 00 2d 01 21 00 33 01 22 00 63 01 23 00 6b 01 22 00 6f 01 21 00 ........#...-.!.3.".c.#.k.".o.!.
1d20 7d 01 25 00 98 01 26 00 31 00 00 00 3e 00 06 00 00 00 9c 00 35 00 36 00 00 00 00 00 9c 00 b1 00 }.%...&.1...>.......5.6.........
1d40 8d 00 01 00 00 00 9c 00 8e 00 8d 00 02 00 00 00 9c 00 b2 00 11 00 03 00 06 00 96 00 93 00 94 00 ................................
1d60 04 00 30 00 4d 00 95 00 11 00 05 00 37 00 00 00 0c 00 01 00 00 00 9c 00 35 00 38 00 00 00 01 00 ..0.M.......7...........5.8.....
1d80 b4 01 07 00 03 00 44 00 00 00 04 00 01 00 45 00 1b 00 00 00 02 01 08 00 20 00 00 01 38 00 05 00 ......D.......E.............8...
1da0 06 00 00 00 9c 2a b6 00 48 3a 04 b2 00 27 9a 00 1a 2b b9 00 4c 01 00 2c b9 00 52 01 00 9f 00 0b .....*..H:...'...+..L..,..R.....
1dc0 bb 00 55 59 b7 00 57 bf 2a 59 b4 00 58 04 60 b5 00 58 03 36 05 a7 00 42 19 04 bb 00 5a 59 b7 00 ..UY..W.*Y..X.`..X.6...B....ZY..
1de0 5c 2c 15 05 b9 00 5d 02 00 b6 00 61 12 65 b6 00 67 2a b4 00 40 2b 15 05 b9 00 6a 02 00 b8 00 6d \,....]....a.e..g*..@+....j....m
1e00 b9 00 73 02 00 b6 00 61 12 78 b6 00 67 b6 00 7a b6 00 7e 57 84 05 01 15 05 2b b9 00 4c 01 00 a1 ..s....a.x..g..z..~W.....+..L...
1e20 ff b9 19 04 bb 00 5a 59 12 8a b7 00 85 2d b6 00 61 12 88 b6 00 67 b6 00 7a b6 00 7e 57 b2 00 2e ......ZY.....-..a....g..z..~W...
1e40 b0 00 00 00 03 00 30 00 00 00 2a 00 0a 00 00 01 2b 00 06 01 2c 00 23 01 2d 00 2d 01 2e 00 33 01 ......0...*.....+...,.#.-.-...3.
1e60 2f 00 63 01 30 00 6b 01 2f 00 6f 01 2e 00 7d 01 32 00 98 01 33 00 31 00 00 00 3e 00 06 00 00 00 /.c.0.k./.o...}.2...3.1...>.....
1e80 9c 00 35 00 36 00 00 00 00 00 9c 00 b1 00 8d 00 01 00 00 00 9c 00 8e 00 8f 00 02 00 00 00 9c 00 ..5.6...........................
1ea0 b2 00 92 00 03 00 06 00 96 00 93 00 94 00 04 00 30 00 4d 00 95 00 11 00 05 00 37 00 00 00 16 00 ................0.M.......7.....
1ec0 02 00 00 00 9c 00 35 00 38 00 00 00 00 00 9c 00 8e 00 96 00 02 00 01 00 9b 01 01 00 02 00 44 00 ......5.8.....................D.
1ee0 00 00 04 00 01 00 45 00 20 00 00 01 2e 00 05 00 06 00 00 00 9c 2a b6 00 48 3a 04 b2 00 27 9a 00 ......E..............*..H:...'..
1f00 1a 2b b9 00 4c 01 00 2c b9 00 4c 01 00 9f 00 0b bb 00 55 59 b7 00 57 bf 2a 59 b4 00 58 04 60 b5 .+..L..,..L.......UY..W.*Y..X.`.
1f20 00 58 03 36 05 a7 00 42 19 04 bb 00 5a 59 2c 15 05 b9 00 6a 02 00 b8 01 02 b7 00 85 12 65 b6 00 .X.6...B....ZY,....j.........e..
1f40 67 2a b4 00 40 2b 15 05 b9 00 6a 02 00 b8 00 6d b9 00 73 02 00 b6 00 61 12 78 b6 00 67 b6 00 7a g*..@+....j....m..s....a.x..g..z
1f60 b6 00 7e 57 84 05 01 15 05 2b b9 00 4c 01 00 a1 ff b9 19 04 bb 00 5a 59 12 83 b7 00 85 1d b6 00 ..~W.....+..L.........ZY........
1f80 ae 12 88 b6 00 67 b6 00 7a b6 00 7e 57 b2 00 2e b0 00 00 00 03 00 30 00 00 00 2a 00 0a 00 00 01 .....g..z..~W.........0...*.....
1fa0 38 00 06 01 39 00 23 01 3a 00 2d 01 3b 00 33 01 3c 00 63 01 3d 00 6b 01 3c 00 6f 01 3b 00 7d 01 8...9.#.:.-.;.3.<.c.=.k.<.o.;.}.
1fc0 3f 00 98 01 40 00 31 00 00 00 3e 00 06 00 00 00 9c 00 35 00 36 00 00 00 00 00 9c 00 b1 00 8d 00 ?...@.1...>.......5.6...........
1fe0 01 00 00 00 9c 00 8e 00 8d 00 02 00 00 00 9c 00 b2 00 11 00 03 00 06 00 96 00 93 00 94 00 04 00 ................................
2000 30 00 4d 00 95 00 11 00 05 00 37 00 00 00 0c 00 01 00 00 00 9c 00 35 00 38 00 00 00 01 00 9b 01 0.M.......7...........5.8.......
2020 07 00 03 00 44 00 00 00 04 00 01 00 45 00 1b 00 00 00 02 01 08 00 20 00 00 01 38 00 05 00 06 00 ....D.......E.............8.....
2040 00 00 9c 2a b6 00 48 3a 04 b2 00 27 9a 00 1a 2b b9 00 4c 01 00 2c b9 00 52 01 00 9f 00 0b bb 00 ...*..H:...'...+..L..,..R.......
2060 55 59 b7 00 57 bf 2a 59 b4 00 58 04 60 b5 00 58 03 36 05 a7 00 42 19 04 bb 00 5a 59 b7 00 5c 2c UY..W.*Y..X.`..X.6...B....ZY..\,
2080 15 05 b9 00 5d 02 00 b6 00 61 12 65 b6 00 67 2a b4 00 40 2b 15 05 b9 00 6a 02 00 b8 00 6d b9 00 ....]....a.e..g*..@+....j....m..
20a0 73 02 00 b6 00 61 12 78 b6 00 67 b6 00 7a b6 00 7e 57 84 05 01 15 05 2b b9 00 4c 01 00 a1 ff b9 s....a.x..g..z..~W.....+..L.....
20c0 19 04 bb 00 5a 59 12 83 b7 00 85 2d b6 00 61 12 88 b6 00 67 b6 00 7a b6 00 7e 57 b2 00 2e b0 00 ....ZY.....-..a....g..z..~W.....
20e0 00 00 03 00 30 00 00 00 2a 00 0a 00 00 01 45 00 06 01 46 00 23 01 47 00 2d 01 48 00 33 01 49 00 ....0...*.....E...F.#.G.-.H.3.I.
2100 63 01 4a 00 6b 01 49 00 6f 01 48 00 7d 01 4c 00 98 01 4d 00 31 00 00 00 3e 00 06 00 00 00 9c 00 c.J.k.I.o.H.}.L...M.1...>.......
2120 35 00 36 00 00 00 00 00 9c 00 b1 00 8d 00 01 00 00 00 9c 00 8e 00 8f 00 02 00 00 00 9c 00 b2 00 5.6.............................
2140 92 00 03 00 06 00 96 00 93 00 94 00 04 00 30 00 4d 00 95 00 11 00 05 00 37 00 00 00 16 00 02 00 ..............0.M.......7.......
2160 00 00 9c 00 35 00 38 00 00 00 00 00 9c 00 8e 00 96 00 02 00 01 01 09 01 01 00 02 00 44 00 00 00 ....5.8.....................D...
2180 04 00 01 00 45 00 20 00 00 01 2f 00 05 00 06 00 00 00 9d 2a b6 00 48 3a 04 b2 00 27 9a 00 1a 2b ....E...../........*..H:...'...+
21a0 b9 00 4c 01 00 2c b9 00 4c 01 00 9f 00 0b bb 00 55 59 b7 00 57 bf 2a 59 b4 00 58 04 60 b5 00 58 ..L..,..L.......UY..W.*Y..X.`..X
21c0 03 36 05 a7 00 42 19 04 bb 00 5a 59 2c 15 05 b9 00 6a 02 00 b8 01 02 b7 00 85 12 65 b6 00 67 2a .6...B....ZY,....j.........e..g*
21e0 b4 00 40 2b 15 05 b9 00 6a 02 00 b8 00 6d b9 00 73 02 00 b6 00 61 12 78 b6 00 67 b6 00 7a b6 00 ..@+....j....m..s....a.x..g..z..
2200 7e 57 84 05 01 15 05 2b b9 00 4c 01 00 a1 ff b9 19 04 bb 00 5a 59 13 01 0a b7 00 85 1d b6 00 ae ~W.....+..L.........ZY..........
2220 12 88 b6 00 67 b6 00 7a b6 00 7e 57 b2 00 2e b0 00 00 00 03 00 30 00 00 00 2a 00 0a 00 00 01 52 ....g..z..~W.........0...*.....R
2240 00 06 01 53 00 23 01 54 00 2d 01 55 00 33 01 56 00 63 01 57 00 6b 01 56 00 6f 01 55 00 7d 01 59 ...S.#.T.-.U.3.V.c.W.k.V.o.U.}.Y
2260 00 99 01 5a 00 31 00 00 00 3e 00 06 00 00 00 9d 00 35 00 36 00 00 00 00 00 9d 00 b1 00 8d 00 01 ...Z.1...>.......5.6............
2280 00 00 00 9d 00 8e 00 8d 00 02 00 00 00 9d 01 0c 00 11 00 03 00 06 00 97 00 93 00 94 00 04 00 30 ...............................0
22a0 00 4d 00 95 00 11 00 05 00 37 00 00 00 0c 00 01 00 00 00 9d 00 35 00 38 00 00 00 01 01 09 01 07 .M.......7...........5.8........
22c0 00 03 00 44 00 00 00 04 00 01 00 45 00 1b 00 00 00 02 01 08 00 20 00 00 01 39 00 05 00 06 00 00 ...D.......E.............9......
22e0 00 9d 2a b6 00 48 3a 04 b2 00 27 9a 00 1a 2b b9 00 4c 01 00 2c b9 00 52 01 00 9f 00 0b bb 00 55 ..*..H:...'...+..L..,..R.......U
2300 59 b7 00 57 bf 2a 59 b4 00 58 04 60 b5 00 58 03 36 05 a7 00 42 19 04 bb 00 5a 59 b7 00 5c 2c 15 Y..W.*Y..X.`..X.6...B....ZY..\,.
2320 05 b9 00 5d 02 00 b6 00 61 12 65 b6 00 67 2a b4 00 40 2b 15 05 b9 00 6a 02 00 b8 00 6d b9 00 73 ...]....a.e..g*..@+....j....m..s
2340 02 00 b6 00 61 12 78 b6 00 67 b6 00 7a b6 00 7e 57 84 05 01 15 05 2b b9 00 4c 01 00 a1 ff b9 19 ....a.x..g..z..~W.....+..L......
2360 04 bb 00 5a 59 13 01 0a b7 00 85 2d b6 00 61 12 88 b6 00 67 b6 00 7a b6 00 7e 57 b2 00 2e b0 00 ...ZY......-..a....g..z..~W.....
2380 00 00 03 00 30 00 00 00 2a 00 0a 00 00 01 5f 00 06 01 60 00 23 01 61 00 2d 01 62 00 33 01 63 00 ....0...*....._...`.#.a.-.b.3.c.
23a0 63 01 64 00 6b 01 63 00 6f 01 62 00 7d 01 66 00 99 01 67 00 31 00 00 00 3e 00 06 00 00 00 9d 00 c.d.k.c.o.b.}.f...g.1...>.......
23c0 35 00 36 00 00 00 00 00 9d 00 b1 00 8d 00 01 00 00 00 9d 00 8e 00 8f 00 02 00 00 00 9d 01 0c 00 5.6.............................
23e0 92 00 03 00 06 00 97 00 93 00 94 00 04 00 30 00 4d 00 95 00 11 00 05 00 37 00 00 00 16 00 02 00 ..............0.M.......7.......
2400 00 00 9d 00 35 00 38 00 00 00 00 00 9d 00 8e 00 96 00 02 00 03 01 0d 00 00 00 02 01 0e 00 1b 00 ....5.8.........................
2420 00 00 02 01 0f 01 10 00 00 00 0a 00 01 00 29 00 00 00 00 00 00 ..............)......

Back to the top