blob: 9d233a83b636dc2ab95d15455af324959a32349c (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 ff 07 00 02 01 00 40 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e	.......1.......@org/sat4j/pb/con
0020	73 74 72 61 69 6e 74 73 2f 41 62 73 74 72 61 63 74 50 42 43 6c 61 75 73 65 43 61 72 64 43 6f 6e	straints/AbstractPBClauseCardCon
0040	73 74 72 44 61 74 61 53 74 72 75 63 74 75 72 65 07 00 04 01 00 37 6f 72 67 2f 73 61 74 34 6a 2f	strDataStructure.....7org/sat4j/
0060	70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 41 62 73 74 72 61 63 74 50 42 44 61 74 61 53 74 72	pb/constraints/AbstractPBDataStr
0080	75 63 74 75 72 65 46 61 63 74 6f 72 79 01 00 10 73 65 72 69 61 6c 56 65 72 73 69 6f 6e 55 49 44	uctureFactory...serialVersionUID
00a0	01 00 01 4a 01 00 0d 43 6f 6e 73 74 61 6e 74 56 61 6c 75 65 05 00 00 00 00 00 00 00 01 01 00 0d	...J...ConstantValue............
00c0	4d 41 58 5f 49 4e 54 5f 56 41 4c 55 45 01 00 16 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e	MAX_INT_VALUE...Ljava/math/BigIn
00e0	74 65 67 65 72 3b 01 00 04 69 70 62 63 01 00 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f	teger;...ipbc..)Lorg/sat4j/pb/co
0100	6e 73 74 72 61 69 6e 74 73 2f 49 50 42 43 6f 6e 73 74 72 75 63 74 6f 72 3b 01 00 06 69 63 61 72	nstraints/IPBConstructor;...icar
0120	64 63 01 00 2b 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 49	dc..+Lorg/sat4j/pb/constraints/I
0140	43 61 72 64 43 6f 6e 73 74 72 75 63 74 6f 72 3b 01 00 08 69 63 6c 61 75 73 65 63 01 00 2d 4c 6f	CardConstructor;...iclausec..-Lo
0160	72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 49 43 6c 61 75 73 65 43	rg/sat4j/pb/constraints/IClauseC
0180	6f 6e 73 74 72 75 63 74 6f 72 3b 01 00 13 24 61 73 73 65 72 74 69 6f 6e 73 44 69 73 61 62 6c 65	onstructor;...$assertionsDisable
01a0	64 01 00 01 5a 01 00 08 3c 63 6c 69 6e 69 74 3e 01 00 03 28 29 56 01 00 04 43 6f 64 65 0a 00 18	d...Z...<clinit>...()V...Code...
01c0	00 1a 07 00 19 01 00 0f 6a 61 76 61 2f 6c 61 6e 67 2f 43 6c 61 73 73 0c 00 1b 00 1c 01 00 16 64	........java/lang/Class........d
01e0	65 73 69 72 65 64 41 73 73 65 72 74 69 6f 6e 53 74 61 74 75 73 01 00 03 28 29 5a 09 00 01 00 1e	esiredAssertionStatus...()Z.....
0200	0c 00 12 00 13 05 00 00 00 00 7f ff ff ff 0a 00 22 00 24 07 00 23 01 00 14 6a 61 76 61 2f 6d 61	................".$..#...java/ma
0220	74 68 2f 42 69 67 49 6e 74 65 67 65 72 0c 00 25 00 26 01 00 07 76 61 6c 75 65 4f 66 01 00 19 28	th/BigInteger..%.&...valueOf...(
0240	4a 29 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 09 00 01 00 28 0c 00 0a	J)Ljava/math/BigInteger;....(...
0260	00 0b 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
0280	61 62 6c 65 54 61 62 6c 65 01 00 06 3c 69 6e 69 74 3e 01 00 84 28 4c 6f 72 67 2f 73 61 74 34 6a	ableTable...<init>...(Lorg/sat4j
02a0	2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 49 43 6c 61 75 73 65 43 6f 6e 73 74 72 75 63 74	/pb/constraints/IClauseConstruct
02c0	6f 72 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 49 43 61	or;Lorg/sat4j/pb/constraints/ICa
02e0	72 64 43 6f 6e 73 74 72 75 63 74 6f 72 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73	rdConstructor;Lorg/sat4j/pb/cons
0300	74 72 61 69 6e 74 73 2f 49 50 42 43 6f 6e 73 74 72 75 63 74 6f 72 3b 29 56 0a 00 03 00 2e 0c 00	traints/IPBConstructor;)V.......
0320	2b 00 15 09 00 01 00 30 0c 00 10 00 11 09 00 01 00 32 0c 00 0e 00 0f 09 00 01 00 34 0c 00 0c 00	+......0.........2.........4....
0340	0d 01 00 04 74 68 69 73 01 00 42 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61	....this..BLorg/sat4j/pb/constra
0360	69 6e 74 73 2f 41 62 73 74 72 61 63 74 50 42 43 6c 61 75 73 65 43 61 72 64 43 6f 6e 73 74 72 44	ints/AbstractPBClauseCardConstrD
0380	61 74 61 53 74 72 75 63 74 75 72 65 3b 01 00 0c 63 72 65 61 74 65 43 6c 61 75 73 65 01 00 3a 28	ataStructure;...createClause..:(
03a0	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 4c 6f 72 67 2f 73	Lorg/sat4j/specs/IVecInt;)Lorg/s
03c0	61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72 3b 01 00 0a 45 78 63 65	at4j/minisat/core/Constr;...Exce
03e0	70 74 69 6f 6e 73 07 00 3b 01 00 26 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 43 6f 6e 74	ptions..;..&org/sat4j/specs/Cont
0400	72 61 64 69 63 74 69 6f 6e 45 78 63 65 70 74 69 6f 6e 0a 00 01 00 3d 0c 00 3e 00 3f 01 00 0d 67	radictionException....=..>.?...g
0420	65 74 56 6f 63 61 62 75 6c 61 72 79 01 00 20 28 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69	etVocabulary...()Lorg/sat4j/mini
0440	73 61 74 2f 63 6f 72 65 2f 49 4c 69 74 73 3b 09 00 01 00 41 0c 00 42 00 43 01 00 06 73 6f 6c 76	sat/core/ILits;....A..B.C...solv
0460	65 72 01 00 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 55 6e 69 74 50 72 6f 70 61 67	er..)Lorg/sat4j/specs/UnitPropag
0480	61 74 69 6f 6e 4c 69 73 74 65 6e 65 72 3b 0a 00 45 00 47 07 00 46 01 00 29 6f 72 67 2f 73 61 74	ationListener;..E.G..F..)org/sat
04a0	34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 63 6e 66 2f 43 6c 61 75 73	4j/minisat/constraints/cnf/Claus
04c0	65 73 0c 00 48 00 49 01 00 0b 73 61 6e 69 74 79 43 68 65 63 6b 01 00 7b 28 4c 6f 72 67 2f 73 61	es..H.I...sanityCheck..{(Lorg/sa
04e0	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 6d 69 6e	t4j/specs/IVecInt;Lorg/sat4j/min
0500	69 73 61 74 2f 63 6f 72 65 2f 49 4c 69 74 73 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73	isat/core/ILits;Lorg/sat4j/specs
0520	2f 55 6e 69 74 50 72 6f 70 61 67 61 74 69 6f 6e 4c 69 73 74 65 6e 65 72 3b 29 4c 6f 72 67 2f 73	/UnitPropagationListener;)Lorg/s
0540	61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 0a 00 01 00 4b 0c 00 4c 00 38 01 00 0f	at4j/specs/IVecInt;....K..L.8...
0560	63 6f 6e 73 74 72 75 63 74 43 6c 61 75 73 65 01 00 08 6c 69 74 65 72 61 6c 73 01 00 19 4c 6f 72	constructClause...literals...Lor
0580	67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 01 00 01 76 01 00 18 63 72 65	g/sat4j/specs/IVecInt;...v...cre
05a0	61 74 65 55 6e 72 65 67 69 73 74 65 72 65 64 43 6c 61 75 73 65 0a 00 01 00 52 0c 00 53 00 38 01	ateUnregisteredClause....R..S.8.
05c0	00 15 63 6f 6e 73 74 72 75 63 74 4c 65 61 72 6e 74 43 6c 61 75 73 65 01 00 11 63 6f 6e 73 74 72	..constructLearntClause...constr
05e0	61 69 6e 74 46 61 63 74 6f 72 79 01 00 50 28 5b 49 5b 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67	aintFactory..P([I[Ljava/math/Big
0600	49 6e 74 65 67 65 72 3b 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 29 4c	Integer;Ljava/math/BigInteger;)L
0620	6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72 3b 0a 00	org/sat4j/minisat/core/Constr;..
0640	22 00 57 0c 00 58 00 59 01 00 06 73 69 67 6e 75 6d 01 00 03 28 29 49 09 00 22 00 5b 0c 00 5c 00	".W..X.Y...signum...()I..".[..\.
0660	0b 01 00 03 4f 4e 45 0a 00 22 00 5e 0c 00 5f 00 60 01 00 06 65 71 75 61 6c 73 01 00 15 28 4c 6a	....ONE..".^.._.`...equals...(Lj
0680	61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 29 5a 07 00 62 01 00 15 6f 72 67 2f 73 61 74 34	ava/lang/Object;)Z..b...org/sat4
06a0	6a 2f 63 6f 72 65 2f 56 65 63 49 6e 74 0a 00 61 00 64 0c 00 2b 00 65 01 00 05 28 5b 49 29 56 0a	j/core/VecInt..a.d..+.e...([I)V.
06c0	00 01 00 67 0c 00 68 00 69 01 00 16 63 6f 65 66 66 69 63 69 65 6e 74 73 45 71 75 61 6c 54 6f 4f	...g..h.i...coefficientsEqualToO
06e0	6e 65 01 00 1a 28 5b 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 29 5a 0a	ne...([Ljava/math/BigInteger;)Z.
0700	00 22 00 6b 0c 00 6c 00 6d 01 00 09 63 6f 6d 70 61 72 65 54 6f 01 00 19 28 4c 6a 61 76 61 2f 6d	.".k..l.m...compareTo...(Ljava/m
0720	61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 29 49 07 00 6f 01 00 18 6a 61 76 61 2f 6c 61 6e 67	ath/BigInteger;)I..o...java/lang
0740	2f 41 73 73 65 72 74 69 6f 6e 45 72 72 6f 72 0a 00 6e 00 2e 0a 00 22 00 72 0c 00 73 00 59 01 00	/AssertionError..n....".r..s.Y..
0760	08 69 6e 74 56 61 6c 75 65 0a 00 01 00 75 0c 00 76 00 77 01 00 0d 63 6f 6e 73 74 72 75 63 74 43	.intValue....u..v.w...constructC
0780	61 72 64 01 00 3b 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	ard..;(Lorg/sat4j/specs/IVecInt;
07a0	49 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72	I)Lorg/sat4j/minisat/core/Constr
07c0	3b 0a 00 01 00 79 0c 00 7a 00 55 01 00 0b 63 6f 6e 73 74 72 75 63 74 50 42 01 00 02 5b 49 01 00	;....y..z.U...constructPB...[I..
07e0	05 63 6f 65 66 73 01 00 17 5b 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b	.coefs...[Ljava/math/BigInteger;
0800	01 00 06 64 65 67 72 65 65 01 00 17 6c 65 61 72 6e 74 43 6f 6e 73 74 72 61 69 6e 74 46 61 63 74	...degree...learntConstraintFact
0820	6f 72 79 01 00 4f 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73	ory..O(Lorg/sat4j/pb/constraints
0840	2f 70 62 2f 49 44 61 74 61 53 74 72 75 63 74 75 72 65 50 42 3b 29 4c 6f 72 67 2f 73 61 74 34 6a	/pb/IDataStructurePB;)Lorg/sat4j
0860	2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72 3b 0b 00 82 00 84 07 00 83 01 00 2c	/minisat/core/Constr;..........,
0880	6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70 62 2f 49 44 61 74	org/sat4j/pb/constraints/pb/IDat
08a0	61 53 74 72 75 63 74 75 72 65 50 42 0c 00 85 00 86 01 00 09 67 65 74 44 65 67 72 65 65 01 00 18	aStructurePB........getDegree...
08c0	28 29 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 0a 00 61 00 2e 07 00 89	()Ljava/math/BigInteger;..a.....
08e0	01 00 12 6f 72 67 2f 73 61 74 34 6a 2f 63 6f 72 65 2f 56 65 63 0a 00 88 00 2e 0b 00 82 00 8c 0c	...org/sat4j/core/Vec...........
0900	00 8d 00 8e 01 00 1b 62 75 69 6c 64 43 6f 6e 73 74 72 61 69 6e 74 46 72 6f 6d 43 6f 6e 66 6c 69	.......buildConstraintFromConfli
0920	63 74 01 00 32 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	ct..2(Lorg/sat4j/specs/IVecInt;L
0940	6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 3b 29 56 0b 00 82 00 90 0c 00 91 00	org/sat4j/specs/IVec;)V.........
0960	59 01 00 13 67 65 74 41 73 73 65 72 74 69 76 65 4c 69 74 65 72 61 6c 0b 00 93 00 95 07 00 94 01	Y...getAssertiveLiteral.........
0980	00 17 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 0c 00 96 00 97 01 00	..org/sat4j/specs/IVecInt.......
09a0	03 67 65 74 01 00 04 28 49 29 49 0b 00 93 00 99 0c 00 9a 00 9b 01 00 03 73 65 74 01 00 05 28 49	.get...(I)I.............set...(I
09c0	49 29 56 0b 00 82 00 9d 0c 00 9e 00 1c 01 00 0d 69 73 43 61 72 64 69 6e 61 6c 69 74 79 0a 00 01	I)V.............isCardinality...
09e0	00 a0 0c 00 a1 00 80 01 00 13 63 6f 6e 73 74 72 75 63 74 4c 65 61 72 6e 74 43 61 72 64 0a 00 01	..........constructLearntCard...
0a00	00 a3 0c 00 a4 00 80 01 00 11 63 6f 6e 73 74 72 75 63 74 4c 65 61 72 6e 74 50 42 01 00 04 64 73	..........constructLearntPB...ds
0a20	70 62 01 00 2e 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70	pb...Lorg/sat4j/pb/constraints/p
0a40	62 2f 49 44 61 74 61 53 74 72 75 63 74 75 72 65 50 42 3b 01 00 08 72 65 73 43 6f 65 66 73 01 00	b/IDataStructurePB;...resCoefs..
0a60	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 06 69 6e 64 4c 69 74	.Lorg/sat4j/specs/IVec;...indLit
0a80	01 00 01 49 01 00 03 74 6d 70 01 00 16 4c 6f 63 61 6c 56 61 72 69 61 62 6c 65 54 79 70 65 54 61	...I...tmp...LocalVariableTypeTa
0aa0	62 6c 65 01 00 2e 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	ble...Lorg/sat4j/specs/IVec<Ljav
0ac0	61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 3e 3b 01 00 67 28 4c 6f 72 67 2f 73 61 74	a/math/BigInteger;>;..g(Lorg/sat
0ae0	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 73 70 65 63	4j/specs/IVecInt;Lorg/sat4j/spec
0b00	73 2f 49 56 65 63 3b 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 5a 29 4c	s/IVec;Ljava/math/BigInteger;Z)L
0b20	6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72 3b 01 00	org/sat4j/minisat/core/Constr;..
0b40	09 53 69 67 6e 61 74 75 72 65 01 00 7f 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49	.Signature...(Lorg/sat4j/specs/I
0b60	56 65 63 49 6e 74 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	VecInt;Lorg/sat4j/specs/IVec<Lja
0b80	76 61 2f 6d 61 74 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	va/math/BigInteger;>;Ljava/math/
0ba0	42 69 67 49 6e 74 65 67 65 72 3b 5a 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f	BigInteger;Z)Lorg/sat4j/minisat/
0bc0	63 6f 72 65 2f 43 6f 6e 73 74 72 3b 0b 00 93 00 b2 0c 00 b3 00 59 01 00 04 73 69 7a 65 0b 00 93	core/Constr;.........Y...size...
0be0	00 b5 0c 00 b6 00 65 01 00 06 63 6f 70 79 54 6f 0b 00 b8 00 b2 07 00 b9 01 00 14 6f 72 67 2f 73	......e...copyTo...........org/s
0c00	61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 0b 00 b8 00 bb 0c 00 b6 00 bc 01 00 16 28 5b 4c 6a	at4j/specs/IVec.............([Lj
0c20	61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 29 56 0a 00 be 00 c0 07 00 bf 01 00 23 6f 72 67	ava/lang/Object;)V..........#org
0c40	2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70 62 2f 50 73 65 75 64 6f 73	/sat4j/pb/constraints/pb/Pseudos
0c60	0c 00 c1 00 c2 01 00 23 6e 69 63 65 43 68 65 63 6b 65 64 50 61 72 61 6d 65 74 65 72 73 46 6f 72	.......#niceCheckedParametersFor
0c80	43 6f 6d 70 65 74 69 74 69 6f 6e 01 00 48 28 5b 49 5b 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67	Competition..H([I[Ljava/math/Big
0ca0	49 6e 74 65 67 65 72 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	Integer;ZLjava/math/BigInteger;)
0cc0	4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 0a 00 88 00 c4 0c 00 2b 00 bc	Ljava/math/BigInteger;.......+..
0ce0	0a 00 01 00 c6 0c 00 a1 00 c7 01 00 66 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49	............f(Lorg/sat4j/specs/I
0d00	56 65 63 49 6e 74 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 3b 4c 6a 61	VecInt;Lorg/sat4j/specs/IVec;Lja
0d20	76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d	va/math/BigInteger;)Lorg/sat4j/m
0d40	69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72 3b 0a 00 01 00 c9 0c 00 a4 00 c7 01 00 08	inisat/core/Constr;.............
0d60	6d 6f 72 65 54 68 61 6e 01 00 04 6c 69 74 73 01 00 02 62 63 01 00 1e 6c 65 61 72 6e 74 41 74 4c	moreThan...lits...bc...learntAtL
0d80	65 61 73 74 43 6f 6e 73 74 72 61 69 6e 74 46 61 63 74 6f 72 79 01 00 7e 28 4c 6f 72 67 2f 73 61	eastConstraintFactory..~(Lorg/sa
0da0	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 73 70 65	t4j/specs/IVecInt;Lorg/sat4j/spe
0dc0	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 65 72 3b 3e 3b	cs/IVec<Ljava/math/BigInteger;>;
0de0	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 67 2f 73 61 74 34	Ljava/math/BigInteger;)Lorg/sat4
0e00	6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72 3b 0a 00 01 00 d0 0c 00 7f 00 ae	j/minisat/core/Constr;..........
0e20	01 00 1d 6c 65 61 72 6e 74 41 74 4d 6f 73 74 43 6f 6e 73 74 72 61 69 6e 74 46 61 63 74 6f 72 79	...learntAtMostConstraintFactory
0e40	01 00 01 69 0b 00 d4 00 d6 07 00 d5 01 00 2b 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73	...i..........+org/sat4j/pb/cons
0e60	74 72 61 69 6e 74 73 2f 49 43 6c 61 75 73 65 43 6f 6e 73 74 72 75 63 74 6f 72 0c 00 4c 00 d7 01	traints/IClauseConstructor..L...
0e80	00 81 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 55 6e 69 74 50 72 6f 70 61 67 61 74	..(Lorg/sat4j/specs/UnitPropagat
0ea0	69 6f 6e 4c 69 73 74 65 6e 65 72 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63	ionListener;Lorg/sat4j/minisat/c
0ec0	6f 72 65 2f 49 4c 69 74 73 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49	ore/ILits;Lorg/sat4j/specs/IVecI
0ee0	6e 74 3b 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73	nt;)Lorg/sat4j/minisat/core/Cons
0f00	74 72 3b 0b 00 d9 00 db 07 00 da 01 00 29 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74	tr;..........)org/sat4j/pb/const
0f20	72 61 69 6e 74 73 2f 49 43 61 72 64 43 6f 6e 73 74 72 75 63 74 6f 72 0c 00 76 00 dc 01 00 82 28	raints/ICardConstructor..v.....(
0f40	4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 55 6e 69 74 50 72 6f 70 61 67 61 74 69 6f 6e	Lorg/sat4j/specs/UnitPropagation
0f60	4c 69 73 74 65 6e 65 72 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65	Listener;Lorg/sat4j/minisat/core
0f80	2f 49 4c 69 74 73 3b 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	/ILits;Lorg/sat4j/specs/IVecInt;
0fa0	49 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72	I)Lorg/sat4j/minisat/core/Constr
0fc0	3b 01 00 07 74 68 65 4c 69 74 73 0a 00 01 00 df 0c 00 e0 00 e1 01 00 11 73 75 6d 4f 66 43 6f 65	;...theLits.............sumOfCoe
0fe0	66 66 69 63 69 65 6e 74 73 01 00 2f 28 5b 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65	fficients../([Ljava/math/BigInte
1000	67 65 72 3b 29 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 0b 00 e3 00 e5	ger;)Ljava/math/BigInteger;.....
1020	07 00 e4 01 00 27 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 49	.....'org/sat4j/pb/constraints/I
1040	50 42 43 6f 6e 73 74 72 75 63 74 6f 72 0c 00 7a 00 e6 01 00 ad 28 4c 6f 72 67 2f 73 61 74 34 6a	PBConstructor..z.....(Lorg/sat4j
1060	2f 73 70 65 63 73 2f 55 6e 69 74 50 72 6f 70 61 67 61 74 69 6f 6e 4c 69 73 74 65 6e 65 72 3b 4c	/specs/UnitPropagationListener;L
1080	6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 49 4c 69 74 73 3b 5b 49 5b	org/sat4j/minisat/core/ILits;[I[
10a0	4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 4c 6a 61 76 61 2f 6d 61 74 68	Ljava/math/BigInteger;Ljava/math
10c0	2f 42 69 67 49 6e 74 65 67 65 72 3b 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65	/BigInteger;Ljava/math/BigIntege
10e0	72 3b 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74	r;)Lorg/sat4j/minisat/core/Const
1100	72 3b 0b 00 d4 00 e8 0c 00 53 00 e9 01 00 58 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73	r;.......S....X(Lorg/sat4j/minis
1120	61 74 2f 63 6f 72 65 2f 49 4c 69 74 73 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49	at/core/ILits;Lorg/sat4j/specs/I
1140	56 65 63 49 6e 74 3b 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f	VecInt;)Lorg/sat4j/minisat/core/
1160	43 6f 6e 73 74 72 3b 0b 00 d9 00 eb 0c 00 a1 00 ec 01 00 6d 28 4c 6f 72 67 2f 73 61 74 34 6a 2f	Constr;............m(Lorg/sat4j/
1180	6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 49 4c 69 74 73 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62	minisat/core/ILits;Lorg/sat4j/pb
11a0	2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70 62 2f 49 44 61 74 61 53 74 72 75 63 74 75 72 65 50 42	/constraints/pb/IDataStructurePB
11c0	3b 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72	;)Lorg/sat4j/minisat/core/Constr
11e0	3b 07 00 ee 01 00 21 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f	;.....!org/sat4j/pb/constraints/
1200	70 62 2f 4d 61 70 50 62 0a 00 ed 00 f0 0c 00 2b 00 f1 01 00 48 28 4c 6f 72 67 2f 73 61 74 34 6a	pb/MapPb.......+....H(Lorg/sat4j
1220	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 73 70 65 63 73 2f	/specs/IVecInt;Lorg/sat4j/specs/
1240	49 56 65 63 3b 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 29 56 0b 00 e3	IVec;Ljava/math/BigInteger;)V...
1260	00 f3 0c 00 a4 00 ec 09 00 22 00 f5 0c 00 f6 00 0b 01 00 04 5a 45 52 4f 0a 00 22 00 f8 0c 00 f9	........."..........ZERO..".....
1280	00 fa 01 00 03 61 64 64 01 00 2e 28 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65	.....add...(Ljava/math/BigIntege
12a0	72 3b 29 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 01 00 08 73 75 6d 43	r;)Ljava/math/BigInteger;...sumC
12c0	6f 65 66 73 01 00 01 63 01 00 0a 53 6f 75 72 63 65 46 69 6c 65 01 00 2c 41 62 73 74 72 61 63 74	oefs...c...SourceFile..,Abstract
12e0	50 42 43 6c 61 75 73 65 43 61 72 64 43 6f 6e 73 74 72 44 61 74 61 53 74 72 75 63 74 75 72 65 2e	PBClauseCardConstrDataStructure.
1300	6a 61 76 61 04 21 00 01 00 03 00 00 00 06 00 1a 00 05 00 06 00 01 00 07 00 00 00 02 00 08 00 18	java.!..........................
1320	00 0a 00 0b 00 00 00 12 00 0c 00 0d 00 00 00 12 00 0e 00 0f 00 00 00 12 00 10 00 11 00 00 10 18	................................
1340	00 12 00 13 00 00 00 13 00 08 00 14 00 15 00 01 00 16 00 00 00 42 00 02 00 00 00 00 00 1a 12 01	.....................B..........
1360	b6 00 17 9a 00 07 04 a7 00 04 03 b3 00 1d 14 00 1f b8 00 21 b3 00 27 b1 00 00 00 02 00 29 00 00	...................!..'......)..
1380	00 0e 00 03 00 00 00 2d 00 10 00 36 00 16 00 35 00 2a 00 00 00 02 00 00 00 00 00 2b 00 2c 00 01	.......-...6...5.*.........+.,..
13a0	00 16 00 00 00 6c 00 02 00 04 00 00 00 14 2a b7 00 2d 2a 2b b5 00 2f 2a 2c b5 00 31 2a 2d b5 00	.....l........*..-*+../*,..1*-..
13c0	33 b1 00 00 00 02 00 29 00 00 00 16 00 05 00 00 00 3c 00 04 00 3e 00 09 00 3f 00 0e 00 40 00 13	3......).........<...>...?...@..
13e0	00 41 00 2a 00 00 00 2a 00 04 00 00 00 14 00 35 00 36 00 00 00 00 00 14 00 10 00 11 00 01 00 00	.A.*...*.......5.6..............
1400	00 14 00 0e 00 0f 00 02 00 00 00 14 00 0c 00 0d 00 03 00 01 00 37 00 38 00 02 00 39 00 00 00 04	.....................7.8...9....
1420	00 01 00 3a 00 16 00 00 00 55 00 03 00 03 00 00 00 13 2b 2a b6 00 3c 2a b4 00 40 b8 00 44 4d 2a	...:.....U........+*..<*..@..DM*
1440	2c b6 00 4a b0 00 00 00 02 00 29 00 00 00 0a 00 02 00 00 00 45 00 0d 00 46 00 2a 00 00 00 20 00	,..J......).........E...F.*.....
1460	03 00 00 00 13 00 35 00 36 00 00 00 00 00 13 00 4d 00 4e 00 01 00 0d 00 06 00 4f 00 4e 00 02 00	......5.6.......M.N.......O.N...
1480	01 00 50 00 38 00 01 00 16 00 00 00 3a 00 02 00 02 00 00 00 06 2a 2b b6 00 51 b0 00 00 00 02 00	..P.8.......:........*+..Q......
14a0	29 00 00 00 06 00 01 00 00 00 4b 00 2a 00 00 00 16 00 02 00 00 00 06 00 35 00 36 00 00 00 00 00	).........K.*...........5.6.....
14c0	06 00 4d 00 4e 00 01 00 04 00 54 00 55 00 02 00 39 00 00 00 04 00 01 00 3a 00 16 00 00 00 f5 00	..M.N.....T.U...9.......:.......
14e0	04 00 05 00 00 00 73 2b be 9a 00 0c 2d b6 00 56 9d 00 05 01 b0 2d b2 00 5a b6 00 5d 99 00 26 bb	......s+....-..V.....-..Z..]..&.
1500	00 61 59 2b b7 00 63 2a b6 00 3c 2a b4 00 40 b8 00 44 3a 04 19 04 c7 00 05 01 b0 2a 19 04 b6 00	.aY+..c*..<*..@..D:........*....
1520	4a b0 2c b8 00 66 99 00 2c b2 00 1d 9a 00 15 2d b2 00 27 b6 00 6a 9b 00 0b bb 00 6e 59 b7 00 70	J.,..f..,......-..'..j.....nY..p
1540	bf 2a bb 00 61 59 2b b7 00 63 2d b6 00 71 b6 00 74 b0 2a 2b 2c 2d b6 00 78 b0 00 00 00 02 00 29	.*..aY+..c-..q..t.*+,-..x......)
1560	00 00 00 36 00 0d 00 00 00 58 00 0c 00 59 00 0e 00 5b 00 18 00 5c 00 20 00 5d 00 28 00 5c 00 2d	...6.....X...Y...[...\...].(.\.-
1580	00 5e 00 32 00 5f 00 34 00 61 00 3b 00 63 00 42 00 64 00 5a 00 65 00 6b 00 67 00 2a 00 00 00 34	.^.2._.4.a.;.c.B.d.Z.e.k.g.*...4
15a0	00 05 00 00 00 73 00 35 00 36 00 00 00 00 00 73 00 4d 00 7b 00 01 00 00 00 73 00 7c 00 7d 00 02	.....s.5.6.....s.M.{.....s.|.}..
15c0	00 00 00 73 00 7e 00 0b 00 03 00 2d 00 0e 00 4f 00 4e 00 04 00 04 00 7f 00 80 00 01 00 16 00 00	...s.~.....-...O.N..............
15e0	01 10 00 04 00 06 00 00 00 72 2b b9 00 81 01 00 b2 00 5a b6 00 5d 99 00 51 bb 00 61 59 b7 00 87	.........r+.......Z..]..Q..aY...
1600	4d bb 00 88 59 b7 00 8a 4e 2b 2c 2d b9 00 8b 03 00 2b b9 00 8f 01 00 36 04 15 04 02 a4 00 25 2c	M...Y...N+,-.....+.....6......%,
1620	15 04 b9 00 92 02 00 36 05 2c 15 04 2c 03 b9 00 92 02 00 b9 00 98 03 00 2c 03 15 05 b9 00 98 03	.......6.,..,...........,.......
1640	00 2a 2c b6 00 51 b0 2b b9 00 9c 01 00 99 00 09 2a 2b b6 00 9f b0 2a 2b b6 00 a2 b0 00 00 00 03	.*,..Q.+........*+....*+........
1660	00 29 00 00 00 36 00 0d 00 00 00 72 00 0f 00 73 00 17 00 74 00 1f 00 75 00 27 00 77 00 2f 00 78	.)...6.....r...s...t...u.'.w./.x
1680	00 35 00 79 00 3f 00 7a 00 4e 00 7b 00 57 00 7d 00 5d 00 7f 00 66 00 80 00 6c 00 82 00 2a 00 00	.5.y.?.z.N.{.W.}.]...f...l...*..
16a0	00 3e 00 06 00 00 00 72 00 35 00 36 00 00 00 00 00 72 00 a5 00 a6 00 01 00 17 00 46 00 4d 00 4e	.>.....r.5.6.....r.........F.M.N
16c0	00 02 00 1f 00 3e 00 a7 00 a8 00 03 00 2f 00 2e 00 a9 00 aa 00 04 00 3f 00 18 00 ab 00 aa 00 05	.....>......./.........?........
16e0	00 ac 00 00 00 0c 00 01 00 1f 00 3e 00 a7 00 ad 00 03 00 02 00 7f 00 ae 00 02 00 af 00 00 00 02	...........>....................
1700	00 b0 00 16 00 00 01 34 00 05 00 07 00 00 00 80 2b b9 00 b1 01 00 bc 0a 3a 05 2b 19 05 b9 00 b4	.......4........+.......:.+.....
1720	02 00 2c b9 00 b7 01 00 bd 00 22 3a 06 2c 19 06 b9 00 ba 02 00 19 05 19 06 15 04 2d b8 00 bd 4e	..,.......":.,.............-...N
1740	2d b2 00 5a b6 00 5d 99 00 11 2a bb 00 61 59 19 05 b7 00 63 b6 00 51 b0 19 06 b8 00 66 99 00 1b	-..Z..]...*..aY....c..Q.....f...
1760	2a bb 00 61 59 19 05 b7 00 63 bb 00 88 59 19 06 b7 00 c3 2d b6 00 c5 b0 2a bb 00 61 59 19 05 b7	*..aY....c...Y.....-....*..aY...
1780	00 63 bb 00 88 59 19 06 b7 00 c3 2d b6 00 c8 b0 00 00 00 03 00 29 00 00 00 42 00 10 00 00 00 8d	.c...Y.....-.........)...B......
17a0	00 0a 00 8e 00 12 00 8f 00 1d 00 90 00 25 00 91 00 29 00 92 00 2c 00 91 00 30 00 94 00 3a 00 95	.............%...)...,...0...:..
17c0	00 48 00 97 00 50 00 98 00 5a 00 99 00 64 00 98 00 68 00 9b 00 7b 00 9c 00 7c 00 9b 00 2a 00 00	.H...P...Z...d...h...{...|...*..
17e0	00 48 00 07 00 00 00 80 00 35 00 36 00 00 00 00 00 80 00 4d 00 4e 00 01 00 00 00 80 00 7c 00 a8	.H.......5.6.......M.N.......|..
1800	00 02 00 00 00 80 00 7e 00 0b 00 03 00 00 00 80 00 ca 00 13 00 04 00 0a 00 76 00 cb 00 7b 00 05	.......~.................v...{..
1820	00 1d 00 63 00 cc 00 7d 00 06 00 ac 00 00 00 0c 00 01 00 00 00 80 00 7c 00 ad 00 02 00 04 00 cd	...c...}...............|........
1840	00 c7 00 02 00 af 00 00 00 02 00 ce 00 16 00 00 00 63 00 05 00 04 00 00 00 09 2a 2b 2c 2d 04 b7	.................c........*+,-..
1860	00 cf b0 00 00 00 03 00 29 00 00 00 06 00 01 00 00 00 a2 00 2a 00 00 00 2a 00 04 00 00 00 09 00	........)...........*...*.......
1880	35 00 36 00 00 00 00 00 09 00 4d 00 4e 00 01 00 00 00 09 00 7c 00 a8 00 02 00 00 00 09 00 7e 00	5.6.......M.N.......|.........~.
18a0	0b 00 03 00 ac 00 00 00 0c 00 01 00 00 00 09 00 7c 00 ad 00 02 00 04 00 d1 00 c7 00 02 00 af 00	................|...............
18c0	00 00 02 00 ce 00 16 00 00 00 63 00 05 00 04 00 00 00 09 2a 2b 2c 2d 03 b7 00 cf b0 00 00 00 03	..........c........*+,-.........
18e0	00 29 00 00 00 06 00 01 00 00 00 a8 00 2a 00 00 00 2a 00 04 00 00 00 09 00 35 00 36 00 00 00 00	.)...........*...*.......5.6....
1900	00 09 00 4d 00 4e 00 01 00 00 00 09 00 7c 00 a8 00 02 00 00 00 09 00 7e 00 0b 00 03 00 ac 00 00	...M.N.......|.........~........
1920	00 0c 00 01 00 00 00 09 00 7c 00 ad 00 02 00 08 00 68 00 69 00 01 00 16 00 00 00 62 00 02 00 02	.........|.......h.i.......b....
1940	00 00 00 1e 03 3c a7 00 14 2a 1b 32 b2 00 5a b6 00 5d 9a 00 05 03 ac 84 01 01 1b 2a be a1 ff ec	.....<...*.2..Z..].........*....
1960	04 ac 00 00 00 02 00 29 00 00 00 16 00 05 00 00 00 ac 00 05 00 ad 00 11 00 ae 00 13 00 ac 00 1c	.......)........................
1980	00 b1 00 2a 00 00 00 16 00 02 00 00 00 1e 00 7c 00 7d 00 00 00 02 00 1a 00 d2 00 aa 00 01 00 04	...*...........|.}..............
19a0	00 4c 00 38 00 01 00 16 00 00 00 47 00 04 00 02 00 00 00 13 2a b4 00 2f 2a b4 00 40 2a b6 00 3c	.L.8.......G........*../*..@*..<
19c0	2b b9 00 d3 04 00 b0 00 00 00 02 00 29 00 00 00 06 00 01 00 00 00 b5 00 2a 00 00 00 16 00 02 00	+...........)...........*.......
19e0	00 00 13 00 35 00 36 00 00 00 00 00 13 00 4f 00 4e 00 01 00 04 00 76 00 77 00 02 00 39 00 00 00	....5.6.......O.N.....v.w...9...
1a00	04 00 01 00 3a 00 16 00 00 00 5a 00 05 00 03 00 00 00 14 2a b4 00 31 2a b4 00 40 2a b6 00 3c 2b	....:.....Z........*..1*..@*..<+
1a20	1c b9 00 d8 05 00 b0 00 00 00 02 00 29 00 00 00 0e 00 03 00 00 00 ba 00 0d 00 bb 00 0e 00 ba 00	............)...................
1a40	2a 00 00 00 20 00 03 00 00 00 14 00 35 00 36 00 00 00 00 00 14 00 dd 00 4e 00 01 00 00 00 14 00	*...........5.6.........N.......
1a60	7e 00 aa 00 02 00 04 00 7a 00 55 00 02 00 39 00 00 00 04 00 01 00 3a 00 16 00 00 00 69 00 07 00	~.......z.U...9.......:.....i...
1a80	04 00 00 00 19 2a b4 00 33 2a b4 00 40 2a b6 00 3c 2b 2c 2d 2c b8 00 de b9 00 e2 07 00 b0 00 00	.....*..3*..@*..<+,-,...........
1aa0	00 02 00 29 00 00 00 0e 00 03 00 00 00 c0 00 0d 00 c1 00 13 00 c0 00 2a 00 00 00 2a 00 04 00 00	...)...................*...*....
1ac0	00 19 00 35 00 36 00 00 00 00 00 19 00 dd 00 7b 00 01 00 00 00 19 00 7c 00 7d 00 02 00 00 00 19	...5.6.........{.......|.}......
1ae0	00 7e 00 0b 00 03 00 04 00 53 00 38 00 01 00 16 00 00 00 43 00 03 00 02 00 00 00 0f 2a b4 00 2f	.~.......S.8.......C........*../
1b00	2a b6 00 3c 2b b9 00 e7 03 00 b0 00 00 00 02 00 29 00 00 00 06 00 01 00 00 00 c5 00 2a 00 00 00	*..<+...........)...........*...
1b20	16 00 02 00 00 00 0f 00 35 00 36 00 00 00 00 00 0f 00 4d 00 4e 00 01 00 04 00 a1 00 80 00 01 00	........5.6.......M.N...........
1b40	16 00 00 00 43 00 03 00 02 00 00 00 0f 2a b4 00 31 2a b6 00 3c 2b b9 00 ea 03 00 b0 00 00 00 02	....C........*..1*..<+..........
1b60	00 29 00 00 00 06 00 01 00 00 00 c9 00 2a 00 00 00 16 00 02 00 00 00 0f 00 35 00 36 00 00 00 00	.)...........*...........5.6....
1b80	00 0f 00 a5 00 a6 00 01 00 04 00 a1 00 c7 00 02 00 af 00 00 00 02 00 ce 00 16 00 00 00 7a 00 07	.............................z..
1ba0	00 04 00 00 00 18 2a b4 00 31 2a b6 00 3c bb 00 ed 59 2b 2c 2d b7 00 ef b9 00 ea 03 00 b0 00 00	......*..1*..<...Y+,-...........
1bc0	00 03 00 29 00 00 00 0e 00 03 00 00 00 ce 00 0c 00 cf 00 12 00 ce 00 2a 00 00 00 2a 00 04 00 00	...)...................*...*....
1be0	00 18 00 35 00 36 00 00 00 00 00 18 00 4d 00 4e 00 01 00 00 00 18 00 7c 00 a8 00 02 00 00 00 18	...5.6.......M.N.......|........
1c00	00 7e 00 0b 00 03 00 ac 00 00 00 0c 00 01 00 00 00 18 00 7c 00 ad 00 02 00 04 00 a4 00 80 00 01	.~.................|............
1c20	00 16 00 00 00 43 00 03 00 02 00 00 00 0f 2a b4 00 33 2a b6 00 3c 2b b9 00 f2 03 00 b0 00 00 00	.....C........*..3*..<+.........
1c40	02 00 29 00 00 00 06 00 01 00 00 00 d3 00 2a 00 00 00 16 00 02 00 00 00 0f 00 35 00 36 00 00 00	..)...........*...........5.6...
1c60	00 00 0f 00 a5 00 a6 00 01 00 04 00 a4 00 c7 00 02 00 af 00 00 00 02 00 ce 00 16 00 00 00 7a 00	..............................z.
1c80	07 00 04 00 00 00 18 2a b4 00 33 2a b6 00 3c bb 00 ed 59 2b 2c 2d b7 00 ef b9 00 f2 03 00 b0 00	.......*..3*..<...Y+,-..........
1ca0	00 00 03 00 29 00 00 00 0e 00 03 00 00 00 d8 00 0d 00 d9 00 12 00 d8 00 2a 00 00 00 2a 00 04 00	....)...................*...*...
1cc0	00 00 18 00 35 00 36 00 00 00 00 00 18 00 4d 00 4e 00 01 00 00 00 18 00 7c 00 a8 00 02 00 00 00	....5.6.......M.N.......|.......
1ce0	18 00 7e 00 0b 00 03 00 ac 00 00 00 0c 00 01 00 00 00 18 00 7c 00 ad 00 02 00 19 00 e0 00 e1 00	..~.................|...........
1d00	01 00 16 00 00 00 74 00 02 00 06 00 00 00 26 b2 00 f4 4c 2a 59 3a 05 be 36 04 03 3e a7 00 11 19	......t.......&...L*Y:..6..>....
1d20	05 1d 32 4d 2b 2c b6 00 f7 4c 84 03 01 1d 15 04 a1 ff ef 2b b0 00 00 00 02 00 29 00 00 00 16 00	..2M+,...L.........+......).....
1d40	05 00 00 00 dd 00 04 00 de 00 15 00 df 00 1b 00 de 00 24 00 e1 00 2a 00 00 00 20 00 03 00 00 00	..................$...*.........
1d60	26 00 7c 00 7d 00 00 00 04 00 22 00 fb 00 0b 00 01 00 15 00 06 00 fc 00 0b 00 02 00 01 00 fd 00	&.|.}.....".....................
1d80	00 00 02 00 fe	.....