blob: 35403abbea5a0dced06bdbd4b3579e61c6929961 (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 64 07 00 02 01 00 28 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 72 65 61	.......1.d.....(org/sat4j/pb/rea
0020	64 65 72 2f 4f 50 42 45 63 6c 69 70 73 65 52 65 61 64 65 72 32 30 30 37 07 00 04 01 00 21 6f 72	der/OPBEclipseReader2007.....!or
0040	67 2f 73 61 74 34 6a 2f 70 62 2f 72 65 61 64 65 72 2f 4f 50 42 52 65 61 64 65 72 32 30 30 37 01	g/sat4j/pb/reader/OPBReader2007.
0060	00 10 73 65 72 69 61 6c 56 65 72 73 69 6f 6e 55 49 44 01 00 01 4a 01 00 0d 43 6f 6e 73 74 61 6e	..serialVersionUID...J...Constan
0080	74 56 61 6c 75 65 05 00 00 00 00 00 00 00 01 01 00 0a 76 61 72 45 78 70 6c 61 69 6e 01 00 19 4c	tValue............varExplain...L
00a0	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 3c 69 6e 69 74	org/sat4j/specs/IVecInt;...<init
00c0	3e 01 00 1b 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 49 50 42 53 6f 6c 76 65 72 3b 29 56 01	>...(Lorg/sat4j/pb/IPBSolver;)V.
00e0	00 04 43 6f 64 65 0a 00 03 00 10 0c 00 0c 00 0d 07 00 12 01 00 15 6f 72 67 2f 73 61 74 34 6a 2f	..Code................org/sat4j/
0100	63 6f 72 65 2f 56 65 63 49 6e 74 0a 00 11 00 14 0c 00 0c 00 15 01 00 03 28 29 56 09 00 01 00 17	core/VecInt.............()V.....
0120	0c 00 0a 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	........LineNumberTable...LocalV
0140	61 72 69 61 62 6c 65 54 61 62 6c 65 01 00 04 74 68 69 73 01 00 2a 4c 6f 72 67 2f 73 61 74 34 6a	ariableTable...this..*Lorg/sat4j
0160	2f 70 62 2f 72 65 61 64 65 72 2f 4f 50 42 45 63 6c 69 70 73 65 52 65 61 64 65 72 32 30 30 37 3b	/pb/reader/OPBEclipseReader2007;
0180	01 00 06 73 6f 6c 76 65 72 01 00 18 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 49 50 42 53 6f 6c	...solver...Lorg/sat4j/pb/IPBSol
01a0	76 65 72 3b 01 00 14 62 65 67 69 6e 4c 69 73 74 4f 66 56 61 72 69 61 62 6c 65 73 01 00 12 65 6e	ver;...beginListOfVariables...en
01c0	64 4c 69 73 74 4f 66 56 61 72 69 61 62 6c 65 73 01 00 18 72 65 61 64 56 61 72 69 61 62 6c 65 73	dListOfVariables...readVariables
01e0	45 78 70 6c 61 6e 61 74 69 6f 6e 01 00 0a 45 78 63 65 70 74 69 6f 6e 73 07 00 23 01 00 13 6a 61	Explanation...Exceptions..#...ja
0200	76 61 2f 69 6f 2f 49 4f 45 78 63 65 70 74 69 6f 6e 07 00 25 01 00 25 6f 72 67 2f 73 61 74 34 6a	va/io/IOException..%..%org/sat4j
0220	2f 72 65 61 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 27 01	/reader/ParseFormatException..'.
0240	00 16 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 66 66 65 72 0a 00 26 00 14 0a 00 01	..java/lang/StringBuffer..&.....
0260	00 2a 0c 00 2b 00 15 01 00 0a 73 6b 69 70 53 70 61 63 65 73 0a 00 01 00 2d 0c 00 2e 00 2f 01 00	.*..+.....skipSpaces....-..../..
0280	03 67 65 74 01 00 03 28 29 43 0a 00 01 00 31 0c 00 32 00 33 01 00 07 70 75 74 62 61 63 6b 01 00	.get...()C....1..2.3...putback..
02a0	04 28 43 29 56 09 00 01 00 35 0c 00 36 00 37 01 00 17 68 61 73 56 61 72 69 61 62 6c 65 73 45 78	.(C)V....5..6.7...hasVariablesEx
02c0	70 6c 61 6e 61 74 69 6f 6e 01 00 01 5a 0a 00 01 00 39 0c 00 1e 00 15 0a 00 01 00 3b 0c 00 3c 00	planation...Z....9.........;..<.
02e0	3d 01 00 0e 72 65 61 64 49 64 65 6e 74 69 66 69 65 72 01 00 1b 28 4c 6a 61 76 61 2f 6c 61 6e 67	=...readIdentifier...(Ljava/lang
0300	2f 53 74 72 69 6e 67 42 75 66 66 65 72 3b 29 5a 0a 00 26 00 3f 0c 00 40 00 41 01 00 08 74 6f 53	/StringBuffer;)Z..&.?..@.A...toS
0320	74 72 69 6e 67 01 00 14 28 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 0a 00 01 00	tring...()Ljava/lang/String;....
0340	43 0c 00 44 00 45 01 00 10 74 72 61 6e 73 6c 61 74 65 56 61 72 54 6f 49 64 01 00 15 28 4c 6a 61	C..D.E...translateVarToId...(Lja
0360	76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 49 0b 00 47 00 49 07 00 48 01 00 17 6f 72 67 2f	va/lang/String;)I..G.I..H...org/
0380	73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 0c 00 4a 00 4b 01 00 04 70 75 73 68 01	sat4j/specs/IVecInt..J.K...push.
03a0	00 1c 28 49 29 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 0a 00	..(I)Lorg/sat4j/specs/IVecInt;..
03c0	01 00 4d 0c 00 4e 00 4f 01 00 03 65 6f 66 01 00 03 28 29 5a 0a 00 01 00 51 0c 00 1f 00 15 08 00	..M..N.O...eof...()Z....Q.......
03e0	53 01 00 27 69 6e 70 75 74 20 66 6f 72 6d 61 74 20 65 72 72 6f 72 3a 20 27 65 78 70 6c 61 69 6e	S..'input.format.error:.'explain
0400	3a 27 20 65 78 70 65 63 74 65 64 0a 00 24 00 55 0c 00 0c 00 56 01 00 15 28 4c 6a 61 76 61 2f 6c	:'.expected..$.U....V...(Ljava/l
0420	61 6e 67 2f 53 74 72 69 6e 67 3b 29 56 01 00 01 63 01 00 01 43 01 00 03 76 61 72 01 00 18 4c 6a	ang/String;)V...c...C...var...Lj
0440	61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 66 66 65 72 3b 01 00 12 67 65 74 4c 69 73 74	ava/lang/StringBuffer;...getList
0460	4f 66 56 61 72 69 61 62 6c 65 73 01 00 1b 28 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73	OfVariables...()Lorg/sat4j/specs
0480	2f 49 56 65 63 49 6e 74 3b 0b 00 47 00 5e 0c 00 5f 00 60 01 00 06 6d 6f 76 65 54 6f 01 00 1c 28	/IVecInt;..G.^.._.`...moveTo...(
04a0	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 00 03 74 6d	Lorg/sat4j/specs/IVecInt;)V...tm
04c0	70 01 00 0a 53 6f 75 72 63 65 46 69 6c 65 01 00 19 4f 50 42 45 63 6c 69 70 73 65 52 65 61 64 65	p...SourceFile...OPBEclipseReade
04e0	72 32 30 30 37 2e 6a 61 76 61 00 21 00 01 00 03 00 00 00 02 00 1a 00 05 00 06 00 01 00 07 00 00	r2007.java.!....................
0500	00 02 00 08 00 12 00 0a 00 0b 00 00 00 05 00 01 00 0c 00 0d 00 01 00 0e 00 00 00 4d 00 03 00 02	...........................M....
0520	00 00 00 11 2a 2b b7 00 0f 2a bb 00 11 59 b7 00 13 b5 00 16 b1 00 00 00 02 00 18 00 00 00 0e 00	....*+...*...Y..................
0540	03 00 00 00 38 00 05 00 32 00 10 00 39 00 19 00 00 00 16 00 02 00 00 00 11 00 1a 00 1b 00 00 00	....8...2...9...................
0560	00 00 11 00 1c 00 1d 00 01 00 04 00 1e 00 15 00 01 00 0e 00 00 00 2b 00 00 00 01 00 00 00 01 b1	......................+.........
0580	00 00 00 02 00 18 00 00 00 06 00 01 00 00 00 3f 00 19 00 00 00 0c 00 01 00 00 00 01 00 1a 00 1b	...............?................
05a0	00 00 00 04 00 1f 00 15 00 01 00 0e 00 00 00 2b 00 00 00 01 00 00 00 01 b1 00 00 00 02 00 18 00	...............+................
05c0	00 00 06 00 01 00 00 00 45 00 19 00 00 00 0c 00 01 00 00 00 01 00 1a 00 1b 00 00 00 04 00 20 00	........E.......................
05e0	15 00 02 00 21 00 00 00 06 00 02 00 22 00 24 00 0e 00 00 01 4a 00 03 00 03 00 00 00 b0 bb 00 26	....!.......".$.....J..........&
0600	59 b7 00 28 4d 2a b6 00 29 2a b6 00 2c 3c 1b 10 65 9f 00 09 2a 1b b6 00 30 b1 2a 04 b5 00 34 2a	Y..(M*..)*..,<..e...*...0.*...4*
0620	b6 00 2c 10 78 a0 00 7d 2a b6 00 2c 10 70 a0 00 74 2a b6 00 2c 10 6c a0 00 6b 2a b6 00 2c 10 61	..,.x..}*..,.p..t*..,.l..k*..,.a
0640	a0 00 62 2a b6 00 2c 10 69 a0 00 59 2a b6 00 2c 10 6e a0 00 50 2a b6 00 2c 10 3a a0 00 47 2a b6	..b*..,.i..Y*..,.n..P*..,.:..G*.
0660	00 38 a7 00 32 2a 2c b6 00 3a 57 2a b4 00 16 2a 2c b6 00 3e b6 00 42 b9 00 46 02 00 57 2a b6 00	.8..2*,..:W*...*,..>..B..F..W*..
0680	29 2a b6 00 2c 3c 1b 10 3b a0 00 06 a7 00 0f 2a 1b b6 00 30 2a b6 00 4c 99 ff cd 2a b6 00 50 a7	)*..,<..;......*...0*..L...*..P.
06a0	00 0d bb 00 24 59 12 52 b7 00 54 bf b1 00 00 00 02 00 18 00 00 00 62 00 18 00 00 00 52 00 08 00	....$Y.R..T...........b.....R...
06c0	59 00 0c 00 5a 00 11 00 5b 00 17 00 5d 00 1c 00 5e 00 1d 00 61 00 22 00 62 00 46 00 63 00 61 00	Y...Z...[...]...^...a.".b.F.c.a.
06e0	64 00 65 00 66 00 68 00 67 00 6e 00 68 00 80 00 6a 00 84 00 6b 00 89 00 6c 00 8f 00 6d 00 92 00	d.e.f.h.g.n.h...j...k...l...m...
0700	6f 00 97 00 66 00 9e 00 72 00 a5 00 74 00 a9 00 75 00 ab 00 74 00 af 00 78 00 19 00 00 00 20 00	o...f...r...t...u...t...x.......
0720	03 00 00 00 b0 00 1a 00 1b 00 00 00 11 00 9f 00 57 00 58 00 01 00 08 00 a8 00 59 00 5a 00 02 00	................W.X.......Y.Z...
0740	01 00 5b 00 5c 00 01 00 0e 00 00 00 61 00 02 00 02 00 00 00 1d 2a b4 00 34 99 00 17 bb 00 11 59	..[.\.......a........*..4......Y
0760	b7 00 13 4c 2a b4 00 16 2b b9 00 5d 02 00 2b b0 01 b0 00 00 00 02 00 18 00 00 00 16 00 05 00 00	...L*...+..]..+.................
0780	00 7c 00 07 00 7d 00 0f 00 7e 00 19 00 7f 00 1b 00 81 00 19 00 00 00 16 00 02 00 00 00 1d 00 1a	.|...}...~......................
07a0	00 1b 00 00 00 0f 00 0c 00 61 00 0b 00 01 00 01 00 62 00 00 00 02 00 63	.........a.......b.....c