blob: a11b8cc43a1eb8933d4bcf6993ad06ac4b827c4a (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 87 07 00 02 01 00 17 6f 72 67 2f 73 61 74 34 6a 2f 72 65 61 64 65 72	.......1........org/sat4j/reader
0020	2f 52 65 61 64 65 72 07 00 04 01 00 10 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 01 00 07	/Reader......java/lang/Object...
0040	76 65 72 62 6f 73 65 01 00 01 5a 01 00 06 3c 69 6e 69 74 3e 01 00 03 28 29 56 01 00 04 43 6f 64	verbose...Z...<init>...()V...Cod
0060	65 0a 00 03 00 0b 0c 00 07 00 08 09 00 01 00 0d 0c 00 05 00 06 01 00 0f 4c 69 6e 65 4e 75 6d 62	e.......................LineNumb
0080	65 72 54 61 62 6c 65 01 00 12 4c 6f 63 61 6c 56 61 72 69 61 62 6c 65 54 61 62 6c 65 01 00 04 74	erTable...LocalVariableTable...t
00a0	68 69 73 01 00 19 4c 6f 72 67 2f 73 61 74 34 6a 2f 72 65 61 64 65 72 2f 52 65 61 64 65 72 3b 01	his...Lorg/sat4j/reader/Reader;.
00c0	00 0d 70 61 72 73 65 49 6e 73 74 61 6e 63 65 01 00 2e 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74	..parseInstance...(Ljava/lang/St
00e0	72 69 6e 67 3b 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 50 72 6f 62 6c 65 6d 3b	ring;)Lorg/sat4j/specs/IProblem;
0100	01 00 0a 45 78 63 65 70 74 69 6f 6e 73 07 00 16 01 00 25 6f 72 67 2f 73 61 74 34 6a 2f 72 65 61	...Exceptions.....%org/sat4j/rea
0120	64 65 72 2f 50 61 72 73 65 46 6f 72 6d 61 74 45 78 63 65 70 74 69 6f 6e 07 00 18 01 00 13 6a 61	der/ParseFormatException......ja
0140	76 61 2f 69 6f 2f 49 4f 45 78 63 65 70 74 69 6f 6e 07 00 1a 01 00 26 6f 72 67 2f 73 61 74 34 6a	va/io/IOException.....&org/sat4j
0160	2f 73 70 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 08 00 1c	/specs/ContradictionException...
0180	01 00 07 68 74 74 70 3a 2f 2f 0a 00 1e 00 20 07 00 1f 01 00 10 6a 61 76 61 2f 6c 61 6e 67 2f 53	...http://...........java/lang/S
01a0	74 72 69 6e 67 0c 00 21 00 22 01 00 0a 73 74 61 72 74 73 57 69 74 68 01 00 15 28 4c 6a 61 76 61	tring..!."...startsWith...(Ljava
01c0	2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 5a 07 00 24 01 00 0c 6a 61 76 61 2f 6e 65 74 2f 55 52	/lang/String;)Z..$...java/net/UR
01e0	4c 0a 00 23 00 26 0c 00 07 00 27 01 00 15 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67	L..#.&....'...(Ljava/lang/String
0200	3b 29 56 0a 00 23 00 29 0c 00 2a 00 2b 01 00 0a 6f 70 65 6e 53 74 72 65 61 6d 01 00 17 28 29 4c	;)V..#.)..*.+...openStream...()L
0220	6a 61 76 61 2f 69 6f 2f 49 6e 70 75 74 53 74 72 65 61 6d 3b 07 00 2d 01 00 17 6a 61 76 61 2f 69	java/io/InputStream;..-...java/i
0240	6f 2f 46 69 6c 65 49 6e 70 75 74 53 74 72 65 61 6d 0a 00 2c 00 26 08 00 30 01 00 03 2e 67 7a 0a	o/FileInputStream..,.&..0....gz.
0260	00 1e 00 32 0c 00 33 00 22 01 00 08 65 6e 64 73 57 69 74 68 07 00 35 01 00 1d 6a 61 76 61 2f 75	...2..3."...endsWith..5...java/u
0280	74 69 6c 2f 7a 69 70 2f 47 5a 49 50 49 6e 70 75 74 53 74 72 65 61 6d 0a 00 34 00 37 0c 00 07 00	til/zip/GZIPInputStream..4.7....
02a0	38 01 00 18 28 4c 6a 61 76 61 2f 69 6f 2f 49 6e 70 75 74 53 74 72 65 61 6d 3b 29 56 08 00 3a 01	8...(Ljava/io/InputStream;)V..:.
02c0	00 04 2e 62 7a 32 0a 00 3c 00 3e 07 00 3d 01 00 11 6a 61 76 61 2f 6c 61 6e 67 2f 52 75 6e 74 69	...bz2..<.>..=...java/lang/Runti
02e0	6d 65 0c 00 3f 00 40 01 00 0a 67 65 74 52 75 6e 74 69 6d 65 01 00 15 28 29 4c 6a 61 76 61 2f 6c	me..?.@...getRuntime...()Ljava/l
0300	61 6e 67 2f 52 75 6e 74 69 6d 65 3b 07 00 42 01 00 17 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69	ang/Runtime;..B...java/lang/Stri
0320	6e 67 42 75 69 6c 64 65 72 08 00 44 01 00 0b 62 75 6e 7a 69 70 32 20 2d 63 20 0a 00 41 00 26 0a	ngBuilder..D...bunzip2.-c...A.&.
0340	00 41 00 47 0c 00 48 00 49 01 00 06 61 70 70 65 6e 64 01 00 2d 28 4c 6a 61 76 61 2f 6c 61 6e 67	.A.G..H.I...append..-(Ljava/lang
0360	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 75 69 6c 64 65	/String;)Ljava/lang/StringBuilde
0380	72 3b 0a 00 41 00 4b 0c 00 4c 00 4d 01 00 08 74 6f 53 74 72 69 6e 67 01 00 14 28 29 4c 6a 61 76	r;..A.K..L.M...toString...()Ljav
03a0	61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 0a 00 3c 00 4f 0c 00 50 00 51 01 00 04 65 78 65 63 01	a/lang/String;..<.O..P.Q...exec.
03c0	00 27 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 2f 6c 61 6e 67	.'(Ljava/lang/String;)Ljava/lang
03e0	2f 50 72 6f 63 65 73 73 3b 0a 00 53 00 55 07 00 54 01 00 11 6a 61 76 61 2f 6c 61 6e 67 2f 50 72	/Process;..S.U..T...java/lang/Pr
0400	6f 63 65 73 73 0c 00 56 00 2b 01 00 0e 67 65 74 49 6e 70 75 74 53 74 72 65 61 6d 0a 00 01 00 58	ocess..V.+...getInputStream....X
0420	0c 00 12 00 59 01 00 31 28 4c 6a 61 76 61 2f 69 6f 2f 49 6e 70 75 74 53 74 72 65 61 6d 3b 29 4c	....Y..1(Ljava/io/InputStream;)L
0440	6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 50 72 6f 62 6c 65 6d 3b 0a 00 5b 00 5d 07 00	org/sat4j/specs/IProblem;..[.]..
0460	5c 01 00 13 6a 61 76 61 2f 69 6f 2f 49 6e 70 75 74 53 74 72 65 61 6d 0c 00 5e 00 08 01 00 05 63	\...java/io/InputStream..^.....c
0480	6c 6f 73 65 0a 00 60 00 62 07 00 61 01 00 1f 6a 61 76 61 2f 6c 61 6e 67 2f 49 6c 6c 65 67 61 6c	lose..`.b..a...java/lang/Illegal
04a0	53 74 61 74 65 45 78 63 65 70 74 69 6f 6e 0c 00 63 00 64 01 00 08 67 65 74 43 61 75 73 65 01 00	StateException..c.d...getCause..
04c0	17 28 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 54 68 72 6f 77 61 62 6c 65 3b 07 00 66 01 00 1d 6a 61	.()Ljava/lang/Throwable;..f...ja
04e0	76 61 2f 69 6f 2f 46 69 6c 65 4e 6f 74 46 6f 75 6e 64 45 78 63 65 70 74 69 6f 6e 01 00 08 66 69	va/io/FileNotFoundException...fi
0500	6c 65 6e 61 6d 65 01 00 12 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 01 00 02 69 6e	lename...Ljava/lang/String;...in
0520	01 00 15 4c 6a 61 76 61 2f 69 6f 2f 49 6e 70 75 74 53 74 72 65 61 6d 3b 01 00 07 70 72 6f 62 6c	...Ljava/io/InputStream;...probl
0540	65 6d 01 00 1a 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 50 72 6f 62 6c 65 6d 3b 01	em...Lorg/sat4j/specs/IProblem;.
0560	00 01 65 01 00 1f 4c 6a 61 76 61 2f 69 6f 2f 46 69 6c 65 4e 6f 74 46 6f 75 6e 64 45 78 63 65 70	..e...Ljava/io/FileNotFoundExcep
0580	74 69 6f 6e 3b 01 00 27 4c 6f 72 67 2f 73 61 74 34 6a 2f 72 65 61 64 65 72 2f 50 61 72 73 65 46	tion;..'Lorg/sat4j/reader/ParseF
05a0	6f 72 6d 61 74 45 78 63 65 70 74 69 6f 6e 3b 01 00 15 4c 6a 61 76 61 2f 69 6f 2f 49 4f 45 78 63	ormatException;...Ljava/io/IOExc
05c0	65 70 74 69 6f 6e 3b 01 00 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 43 6f 6e 74 72	eption;..(Lorg/sat4j/specs/Contr
05e0	61 64 69 63 74 69 6f 6e 45 78 63 65 70 74 69 6f 6e 3b 01 00 21 4c 6a 61 76 61 2f 6c 61 6e 67 2f	adictionException;..!Ljava/lang/
0600	49 6c 6c 65 67 61 6c 53 74 61 74 65 45 78 63 65 70 74 69 6f 6e 3b 01 00 2c 28 4c 6a 61 76 61 2f	IllegalStateException;..,(Ljava/
0620	69 6f 2f 52 65 61 64 65 72 3b 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 50 72 6f	io/Reader;)Lorg/sat4j/specs/IPro
0640	62 6c 65 6d 3b 01 00 0a 44 65 70 72 65 63 61 74 65 64 01 00 19 52 75 6e 74 69 6d 65 56 69 73 69	blem;...Deprecated...RuntimeVisi
0660	62 6c 65 41 6e 6e 6f 74 61 74 69 6f 6e 73 01 00 16 4c 6a 61 76 61 2f 6c 61 6e 67 2f 44 65 70 72	bleAnnotations...Ljava/lang/Depr
0680	65 63 61 74 65 64 3b 07 00 78 01 00 27 6a 61 76 61 2f 6c 61 6e 67 2f 55 6e 73 75 70 70 6f 72 74	ecated;..x..'java/lang/Unsupport
06a0	65 64 4f 70 65 72 61 74 69 6f 6e 45 78 63 65 70 74 69 6f 6e 08 00 7a 01 00 27 55 73 65 20 23 70	edOperationException..z..'Use.#p
06c0	61 72 73 65 49 6e 73 74 61 6e 63 65 28 49 6e 70 75 74 53 74 72 65 61 6d 29 20 69 6e 73 74 65 61	arseInstance(InputStream).instea
06e0	64 0a 00 77 00 26 01 00 10 4c 6a 61 76 61 2f 69 6f 2f 52 65 61 64 65 72 3b 01 00 06 64 65 63 6f	d..w.&...Ljava/io/Reader;...deco
0700	64 65 01 00 16 28 5b 49 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 01 00 1a 28 5b	de...([I)Ljava/lang/String;...([
0720	49 4c 6a 61 76 61 2f 69 6f 2f 50 72 69 6e 74 57 72 69 74 65 72 3b 29 56 01 00 09 69 73 56 65 72	ILjava/io/PrintWriter;)V...isVer
0740	62 6f 73 65 01 00 03 28 29 5a 01 00 0c 73 65 74 56 65 72 62 6f 73 69 74 79 01 00 04 28 5a 29 56	bose...()Z...setVerbosity...(Z)V
0760	01 00 01 62 01 00 0a 53 6f 75 72 63 65 46 69 6c 65 01 00 0b 52 65 61 64 65 72 2e 6a 61 76 61 04	...b...SourceFile...Reader.java.
0780	21 00 01 00 03 00 00 00 01 00 02 00 05 00 06 00 00 00 08 00 01 00 07 00 08 00 01 00 09 00 00 00	!...............................
07a0	3c 00 02 00 01 00 00 00 0a 2a b7 00 0a 2a 03 b5 00 0c b1 00 00 00 02 00 0e 00 00 00 0e 00 03 00	<........*...*..................
07c0	00 00 31 00 04 00 b1 00 09 00 31 00 0f 00 00 00 0c 00 01 00 00 00 0a 00 10 00 11 00 00 00 01 00	..1.......1.....................
07e0	12 00 13 00 02 00 14 00 00 00 08 00 03 00 15 00 17 00 19 00 09 00 00 01 c7 00 04 00 06 00 00 00	................................
0800	9d 01 4d 2b 12 1b b6 00 1d 99 00 12 bb 00 23 59 2b b7 00 25 b6 00 28 4d a7 00 0c bb 00 2c 59 2b	..M+..........#Y+..%..(M.....,Y+
0820	b7 00 2e 4d 2b 12 2f b6 00 31 99 00 0f bb 00 34 59 2c b7 00 36 4d a7 00 26 2b 12 39 b6 00 31 99	...M+./..1.....4Y,..6M..&+.9..1.
0840	00 1d b8 00 3b bb 00 41 59 12 43 b7 00 45 2b b6 00 46 b6 00 4a b6 00 4e b6 00 52 4d 2a 2c b6 00	....;..AY.C..E+..F..J..N..RM*,..
0860	57 4e 2d 3a 05 2c c6 00 07 2c b6 00 5a 19 05 b0 4e 2d bf 4e 2d bf 4e 2d bf 4e 2d bf 4e 2d b6 00	WN-:.,...,..Z...N-.N-.N-.N-.N-..
0880	5f c1 00 19 99 00 0b 2d b6 00 5f c0 00 19 bf 2d bf 3a 04 2c c6 00 07 2c b6 00 5a 19 04 bf 00 07	_......-.._....-.:.,...,..Z.....
08a0	00 02 00 64 00 6f 00 65 00 02 00 64 00 72 00 15 00 02 00 64 00 75 00 17 00 02 00 64 00 78 00 19	...d.o.e...d.r.....d.u.....d.x..
08c0	00 02 00 64 00 7b 00 60 00 02 00 64 00 90 00 00 00 6f 00 90 00 90 00 00 00 02 00 0e 00 00 00 7e	...d.{.`...d.....o.............~
08e0	00 1f 00 00 00 45 00 02 00 47 00 0b 00 48 00 1a 00 4a 00 23 00 4c 00 2c 00 4d 00 38 00 4e 00 41	.....E...G...H...J.#.L.,.M.8.N.A
0900	00 4f 00 57 00 50 00 5a 00 4f 00 5b 00 53 00 61 00 54 00 64 00 64 00 68 00 65 00 6c 00 54 00 6f	.O.W.P.Z.O.[.S.a.T.d.d.h.e.l.T.o
0920	00 55 00 70 00 56 00 72 00 57 00 73 00 58 00 75 00 59 00 76 00 5a 00 78 00 5b 00 79 00 5c 00 7b	.U.p.V.r.W.s.X.u.Y.v.Z.x.[.y.\.{
0940	00 5d 00 7c 00 5e 00 86 00 5f 00 8e 00 61 00 90 00 63 00 92 00 64 00 96 00 65 00 9a 00 67 00 0f	.].|.^..._...a...c...d...e...g..
0960	00 00 00 5c 00 09 00 00 00 9d 00 10 00 11 00 00 00 00 00 9d 00 67 00 68 00 01 00 02 00 9b 00 69	...\.................g.h.......i
0980	00 6a 00 02 00 61 00 07 00 6b 00 6c 00 03 00 70 00 02 00 6d 00 6e 00 03 00 73 00 02 00 6d 00 6f	.j...a...k.l...p...m.n...s...m.o
09a0	00 03 00 76 00 02 00 6d 00 70 00 03 00 79 00 02 00 6d 00 71 00 03 00 7c 00 14 00 6d 00 72 00 03	...v...m.p...y...m.q...|...m.r..
09c0	04 01 00 12 00 59 00 01 00 14 00 00 00 08 00 03 00 15 00 19 00 17 00 01 00 12 00 73 00 04 00 14	.....Y.....................s....
09e0	00 00 00 08 00 03 00 15 00 19 00 17 00 74 00 00 00 00 00 75 00 00 00 06 00 01 00 76 00 00 00 09	.............t.....u.......v....
0a00	00 00 00 46 00 03 00 02 00 00 00 0a bb 00 77 59 12 79 b7 00 7b bf 00 00 00 02 00 0e 00 00 00 0e	...F..........wY.y..{...........
0a20	00 03 00 00 00 91 00 04 00 92 00 06 00 91 00 0f 00 00 00 16 00 02 00 00 00 0a 00 10 00 11 00 00	................................
0a40	00 00 00 0a 00 69 00 7c 00 01 04 01 00 7d 00 7e 00 02 00 74 00 00 00 00 00 75 00 00 00 06 00 01	.....i.|.....}.~...t.....u......
0a60	00 76 00 00 04 01 00 7d 00 7f 00 00 00 01 00 80 00 81 00 01 00 09 00 00 00 2f 00 01 00 01 00 00	.v.....}................./......
0a80	00 05 2a b4 00 0c ac 00 00 00 02 00 0e 00 00 00 06 00 01 00 00 00 aa 00 0f 00 00 00 0c 00 01 00	..*.............................
0aa0	00 00 05 00 10 00 11 00 00 00 01 00 82 00 83 00 01 00 09 00 00 00 3e 00 02 00 02 00 00 00 06 2a	......................>........*
0ac0	1b b5 00 0c b1 00 00 00 02 00 0e 00 00 00 0a 00 02 00 00 00 ae 00 05 00 af 00 0f 00 00 00 16 00	................................
0ae0	02 00 00 00 06 00 10 00 11 00 00 00 00 00 06 00 84 00 06 00 01 00 01 00 85 00 00 00 02 00 86	...............................