Updating readme.

i10.aig

@@ -0,0 +1,752 @@
+aig 2932 257 0 224 2675
+886
+1864
+2106
+2108
+2155
+2164
+2389
+2491
+2509
+2461
+2754
+2787
+2789
+2817
+2821
+2834
+2864
+2866
+2868
+2870
+2872
+2912
+2958
+3004
+3056
+3108
+3160
+3214
+3262
+3303
+3325
+3349
+3417
+3487
+3557
+3651
+3745
+3841
+3873
+67
+3876
+3887
+3897
+3907
+3917
+3940
+3948
+2784
+3962
+3955
+93
+766
+578
+4068
+2126
+4072
+2124
+4082
+4084
+4086
+4088
+2128
+2116
+4233
+4234
+555
+4243
+4255
+4276
+4298
+3261
+3213
+3159
+3107
+3055
+3003
+2957
+2911
+979
+1367
+1199
+1319
+2355
+2279
+2317
+3393
+3461
+3531
+3639
+3733
+3829
+887
+4300
+4330
+2136
+2120
+4332
+4334
+4336
+2118
+4338
+4340
+4342
+4344
+4381
+4437
+4449
+4461
+4473
+4485
+4497
+4512
+317
+4516
+4546
+4554
+4564
+4574
+2122
+4595
+2132
+4596
+4598
+4600
+2134
+4604
+4611
+4613
+4635
+4651
+4667
+4672
+4683
+45
+4699
+353
+4755
+4779
+4799
+4735
+4802
+4808
+4823
+4841
+5120
+5266
+5279
+5295
+5301
+5311
+5364
+383
+5367
+5399
+5411
+5423
+5435
+5447
+5459
+5477
+2178
+5487
+5492
+4209
+5499
+2505
+5503
+5517
+413
+5527
+5537
+5547
+5557
+5567
+5577
+5587
+5597
+5607
+5617
+5627
+5637
+5647
+5653
+5662
+385
+423
+81
+5671
+5677
+5683
+5689
+5693
+5697
+4895
+4933
+4983
+5021
+5065
+5103
+4846
+5161
+5175
+5201
+5215
+5235
+5249
+4861
+5131
+5141
+5717
+5735
+5755
+5773
+5785
+5795
+5805
+5813
+5821
+5827
+5833
+5843
+5851
+5859
+5865
+—1––•›<02><03>£Ϊ΅άβδ«ζμ

+<EFBFBD> !
·U<02>»Ή	©Λ
Ρ
ΔXΔ
Κ°ΠΞΨΞΪΨάΒβή
γ
μβξ
η
ό€ƒjη¤
¥
Ω<04>
‘
r—0––•
+


μΛ¨

/‘ζ)2:7!-•2€

M=!
+
X*

©<02>
‹
ΘΓ


^<5E>
j
™©ρΤ
¬²ΰ
λύ6ΈποοσϋΓώύ
+ΔΜΓΠύ<02>ώτ

£
<01>
ΰ>όζ¤<0C>
Γ
Λ8Ύ
„ƒΣ9Ζ
‹
,E%<04>ΐ‹
Υ
ν
<02>Ω	r

<01>

<01>
Δ
½†θΏΕΦ
—ζχ
ζϋ
ζ<03>
τ


+
+


ƒω

')
³Η<02>Έ®‹
ϋ
*
ΦΗ<02>[`bδc

·ύ
·<04>Ε
R

[


c


Yg\
κψ

τό
824
ώ€‹


	

!#
22
9;

Γ
Δ
¥
<02>
VXWX

VV
Ύ


	Ύ

Ι



Μ
Ν

$Ή
Τ
Λ


Ϊ
Ϋ

Φ



†‡
D‘Γζ–<04>ι

έ
²£έ·ΌΎθΏ

’
–

–

<02>
<03>

•
²

™

	
™
3Ξ

<01>
4
	

ίΰΑΖ	‚
‚


„
„


ΤΥ

tt

ώ<02>
 ‰Αή<04>¨α

Υ<02>›Υ―΄¶κ·

Ρ
Χ
¨­
Φ

¬

®―
ΉΕ<02>Ύ¬‘

…ΪΛ…ίδζζη

½ψ
<01>U¬
6Ρβ”A”—B—
νο

«©
Ηµ
όΛc®<03>d
ΠΠ
—d
ύ


ΔΕ
©#Μ<13>

<01>Σ
<


²³
8
“‘
σ
Νΐχ
ϋ
ς?Ό
BΌ


88

€<02>

((

ήί
 
Η
Ε

χuμE<
D
ςσ

«
©

εό
<01>
<01>D<07>	<02>ΌIΌΏJΏ
•—

ΥΣ
ύ§
¤<05>UΦΘ\
††
Ο\
­


μν
ατ―

ϊϋ
<


ΪΫ
8
½»
­»θ±ι
<02>?φBφ

88

¨©

((

†‡
 
ρο
―e”E<
D
<01>›

ΥΣ
<02>
+€<02>
©DμO<02><02>μ<02>ρΤ<02>¤ϊΈ
Έ
‚@ƒ@
<02>
<01> 
<01>
aΩdΧ
¥
λ
¨
ι

Υ
+Π¤:¥:
ιε
μγ

­―
°­

ρAτ?
χ
+ώΖ4Η4
πIρK
ώ3<>5
Τν
Υο

™
+¬Ρε§wmM-
ψ#ω%
Ά7£9
°'±)
†Ρ
‡Σ

Λ
+ΐ
υ¥ψ£
Νχ
Πυ

—»
<01>Ή

Λ]Ξ[
ν
+δ
νΟπΝ
Ε΅Θ<02>
<02>ε’γ
Γ‡Ζ…
<14>
+<02>έP‚<02>ή <0F>«”ελ<02><02>τ?υA
<02>}<7D>
¬a­c
‚ηƒι
Η
+Β–9—;
ΐqΑs
ΞQΟS
¤Ω¥Ϋ
ι
+πΈ3Ή5
βeγg
πAρC
Ζω
Ηϋ

‹	
+<02>Α
<01>	<02>
wmM-
¬<02>
”­
Χ¬°,<2C>Β
„ά
Ό&ΐ$ζ*„½κ,
®ΐ


+κnυφ
ή
ί°®®ƒϊ
ο
›
+ίΊΓΫΡ
»ηΙ

ύό…§‹…«	“

‹	»ύΉοΝ	}
£	σΡ<02>Ώ‰	Ν

—	
Ώ¥”Δ<0C>—

°ΰΡ‹<02><0C>Ό’”

π
+τ
+φ
+Τχ
+
ε£Ίκ<0C>½

Φ†
χ±³®ΊΈΊ

–<02><0B><0B><02>
‹
§ΰ<0C>
’γ

ό¬
<02>
ΧΩΤΎήΰ

ΌΐΒΦΓ
s¦M)Έ
ΚΖΔΒΖΜ<02>Ψ±Μ
΄

―δ

¬«
6―ί
Ω<02>»<12><0C>ππΨ‰

Δ
Α<0C>Ε
λ<12>β
Λ<02>
<01>ΕΫ³
<02>
ιδ<0C>΅Ε5Ϊ

<06>θ
¤ύ ¤²¦Q¬	<02>		aw
―Mε7η0
<01>
¬
Δ¨σ
+Φφ
+Φ
ρ	β	τ	β	
“Δ–Δ
ΪΖΦΆ„θ
	Έ<0F>”«ΔΨ“z
ΨΑ<0F>UξωκεΤψΫΨΧ
	
‘

,Ά
£
•<03>


<02> 

<02>Ά



ΞΞ
³¶

µΈ


ϊ
ϋ
ρτ



€€

0’…ψΠΦ}¨

‹©n£
π

ΎΪ
«ωΊΩ
ƒ
δ
Υ
—‘‘ι<02>•·Ψβ™™
Ό<10>Ψ
ΓΫ
Ω§
‚πΞ<03>

¶ύ
Έ<0F>G<>
Ύ<05>lτ
ιδ
τε

ο
	Ξ	
Π<15><03>

—<03>

ν‡ο΄Ϊ®β<12>ΰΟ―	<09>…
ψ
­ƒ‹³…
»ίγείΝ…½Ά½Ι’Β°•

έΝ±

<01><02>ημξήο

λυιεΚεΛΊκ²½

…υΩ

΄µ―Ί

–<02><10>ΰ<02>

™£‹“ψ“Νθ<11>΄λ

³£‡

βγή
+θ

ΔΘΚβΛ

ΗΡ‰Α¦ΑΟ–Ζ¶™

αΡµ

<01>‘‹Ν‹
<01>
›<02>

+
ψόώδ<02>

ϋ…<13>υΪυΡΚϊΈΝ

•…ι

ΔΕΏΛΏ
Β
ΟΠ

+
¬°²ζ³

―Ή‡©<02>©Σώ®Ί<02>

ΙΉ<02>

ψωσΙσ
φ
ƒ„

+
ΰδζΨη

γν<13>έΒέΥ²βΌµ

ύνΡ

¬­¨Μ©Η©

ΉΊ

–<02><12>Ϊ<02>

™<14>Χβ’Ύε

­<02><02>
ΰ
άέΨΚΩΑΩ

ικ

ΖΚΜάΝ

ΙΗO‘ψΚΩ½ο<02>βζ
βG£<07>βκIδ

<08>Ό
τώ
<01>

 #
ρβ
<02>.-”
“‘

8;1
“΅θ<14><15>λ

„΄¥ίαάΘέΏέ

νξ

ΚΞΠΠΡ

–Ξrq<>Μ
ΥΣ

|u
Χ<15>¬ά<15>―

Θψι£¥ Ζ΅½΅

±²

<01>’”Ξ•

Ϊ’¶
µ
ΠΘ<02>
™—

Β
Ε
»

<10><16>ςΆ<16>υ

<01>Ύ―ιλζΔη»η

χψ

ΤΨΪΜΫ

 Ψό
ϋ
”	Κβ
έΫ

<01>‹<02>
»υτ–‹®	Ζψώ
χυ

¤§<02>ύ›<02>‚†Υ

<01><02>ρΪ— ¨ό

+
ΦΧ<16>ΒΣΙΣ

γδ

ΐΔΖΚΗ

<01>ΔθηA
™σ<02>τι<02>
+ΘΦά
ΣΡ

‚…ϋΫ™°ΰ„³

ϋλΟ¶υώ†Ϊ

+
΄µ°ΐ±Η±

ΑΒ

<01>Ά¤Θ¥

κΆΖΕA
χρ°<02>Ηθ
+Δ°¶Ό
±―

βεΫ»—<02>ΐ‚“

ΫΛ―”ΥήζΊ

+
”•<18>Ζ‘Ε‘

΅Ά

ώ‚„Ζ…

Κ‚¦¥A
Χο<02>²§½ΛΐΙ

Ί½³<04>ΜΆΖΕ	
σ„

ήΰ
γ
Ή
―
Ύ
­
Α
―Ζ
­
Ι
―!Ξ
­%
΅Ό
+Ρ
―	¦ΰ©ρΊ―

ί
	
μΕνΗ
<02>•½
ΐ<02>ΑΆ
ώ
ίό·	ΙΦ–©<02>ώ
+Σ‰θ	πμ¥
ξ	τ΄τψ	£‘ω£α€
+<02>
<02>‡£
Ό¤<02>‹Εω
υ	–Ϊ²<02>άοΤ
 )³[®σΓ<02>΄ΥΦΑ<1B>Η
ΰ
έΰ¦βδT‡<ΎκΔΗ ςςΙΟ<1F>Ζ<03>ό<02><05>Οέ

Μ°²µ΄·Ί³
·α<0F>α¬ΥΟΜηη–.ήά±ΜΓ¨				
Λ ΖφΕ
½ 
Μ
—ζΰΔ
£ΐ
©
	<09>
Ύ
<02>
λ
®θ EζΜ <02>Q‡Π®³

μ<04> 
λτΠ λ
ζΰΈωµ
s<><1C>
“ 

Υ
„ΙΟ<04>
’ dί1Σ
΅!

λ
<02>ζ
ΌΊ
Η‚!Ϋκ‹
°
<01>ρ"
ρ¶<1F>
½!	Υ!ΐ<1F>
Ν!<21>Πά ζ ΰ Ξ–
<01>®Μή!•φ<10>ς
™β
§ζƒ‹γƒ“Ίκ
Φ
Ύ  ―ό8
<01>–ό΅
<02>
―³υ<02>
<02>Φ
Ϊ
ρ<02> Ε!­!Ν!Λ!
¨


<18> "Ί!"
$<24> ').Ό!.
0<> 35:Ύ!:
<† ?AFΐ!F
H„ KMRΆ!R
<04>
ε
‡“<02>•Μ<02>€#υ‚
®β	<09>°N€<1F>δ<02>	θ»<02>®υ	β	

Ν«ξ
ζ
‡#βΝυΌ­<02>#μν ή·#
μ<02>#φζ
Έγ"Κ"ι"θ"ΐ#ς
η
Π"Ε
<06>¨β"Vζ"T<>¶Μ!‰¥Π!
Θ‹ΛΘ!Ζ!Ζ!Ζ!ξ 
4β!θ"γ!λ"
B―"δ"
Μ!τ!Μ!ψ!
Η!Κ!
Ϊ!„"Ϊ!<02>"
½Ρΰζ!ω<10>ΒύΘ¤
ξ!±σ!²§$σ!¦"<22>
¤
Ωωφ!±έ
€"Ι$Γ“$&°ΧΜΠ¤φφΐ$
	<09>
©Χ"›Ώ³“σΣ

©
οΐ
³να«Ήλ
)
Β
.‘£<02><02>Ν<02>
=
δ‚’#Ϋ"
ι<02># !Νμ‡ς΄

<01><02>
ω#ό#


³!€ ›κ 
°ξ£ί¶μ©ε»‰―μ

ΐΎ»ΛύΗ“ΔΣ…Ο‘Λά<02>	
άΌΧη™γ‘ΰο΅λ<05>ηψ©σ•ο<02>²
%'
GI
<02>Ί‰™Λ•<06>’΅Σ<06><06>™<02>Ϋ¥—΅±δ
΄Έ―Ώρ»<06>ΈΗωΓ‹ΏΠ<02>Λ™ΗΧ<02>
%'
ΰ¶Ϋλ<02>η‹δσ¥ο‰λό­χ›σƒ¶
†ΐ<02>‘Γ<07>•<02>™Λ•‡‘ΆΣ<07><07>™©ά
%'
QS
©
«

Όκ<02>Ώη<02>
Ζθ”Ιε—
	
βϊΥ‘ηλά—
πψγ<02>υικ¥


!#
<02>φύΉ<08>η„Ώ
<06>τ‹Η<08>ε’Ν


¬ς<02>Ϋ±γ¦α
Ίπ­ιΏα΄ο


!#
IK
–ά¨&<26>Α	µ
Ϊ$¬&Φ°&<26>

‘•<15>Ώ½
+
¨<15>
€‹Κ$ί™)εΐ&<02>(λ&΄ι&<02>(Δ&T
Ζ&
α$…	»<02>	›	Λ)ιώΝ„	Σ <02>
+ι
+Κ•Β%ά-ί$΄	Ί η%
ύή(όάΡέ%
Λ'†'	Ί	
„' ώ( 
‚'%',€),
&€'138‚)8
2ώ&=?D„)D
>ό&IKPζ(P
φ$»Χϊ
+Κ'χ'…ό
¶&
Τ'dΊ%¦•μ
„
¤Ζ&Σ)Ο&‘
κ*ν&α'
Ές&ξ&ψ
+‚ 
ι'Ψ(
Ά%εΆ%¥%„¥%
¬%η¬%―%‚―%
ζΟµ%Ί%ϋ
Ί%
 <12>Ώ%Δ%ύ
Δ%
„„<02>+Δ$Η‹+
ΪΈ’+<2B><12>•+
Ύή<02>+Βέ<02>+
”’¦+‚§©+
ΪΦ°+ΐσ³+
<04><10>Ί+ώΏ½+
Ό<0F>Δ+Ό‹Η+
θζΞ+τέΡ+
’ΖΨ+¬―Ϋ+
Ί!¨
+β+
VΝΗ&½
™)
<01>
ο)–€ 
ω(
‚έ<18>¬	χ(
”
<0A>υ(
<02>
<0A>σ(
ρ(
φΉ
Σ'
Β
ώ“¦)€Ό ί(
<02>*Π
™'
θ(Β(
³	Ϊ	µ	Ί<02>»	Ϋ	—α½	
ύ(€)


Κ	¦«ίΡ	
<06>,<02>,<02>,<02>,<02>,<02>,
ƒ+<04>+
<10>,¨,¨,
±,―,
<1C>,²,
Ή,·,
(–,Ό,
Η,Ε,
2”,
Ι,Η,
Ξ,
Ω,Χ,
Φ,Χ,

·	ο Ί	ν 
Δ	Δ!†+
<01>+‹+
Ξ	Β!
“+‘+
<02>+
<01>+<04>+
 +΅+	
i0 V32(0)
+i1 V32(1)
+i2 V32(2)
+i3 V32(3)
+i4 V56(0)
+i5 V289(0)
+i6 V10(0)
+i7 V13(0)
+i8 V35(0)
+i9 V203(0)
+i10 V288(6)
+i11 V288(7)
+i12 V248(0)
+i13 V249(0)
+i14 V62(0)
+i15 V59(0)
+i16 V174(0)
+i17 V215(0)
+i18 V66(0)
+i19 V70(0)
+i20 V43(0)
+i21 V214(0)
+i22 V37(0)
+i23 V271(0)
+i24 V40(0)
+i25 V45(0)
+i26 V149(7)
+i27 V149(6)
+i28 V149(5)
+i29 V149(4)
+i30 V1(0)
+i31 V7(0)
+i32 V34(0)
+i33 V243(0)
+i34 V244(0)
+i35 V245(0)
+i36 V246(0)
+i37 V247(0)
+i38 V293(0)
+i39 V302(0)
+i40 V270(0)
+i41 V269(0)
+i42 V274(0)
+i43 V202(0)
+i44 V275(0)
+i45 V257(7)
+i46 V257(5)
+i47 V257(3)
+i48 V257(1)
+i49 V257(2)
+i50 V257(4)
+i51 V257(6)
+i52 V9(0)
+i53 V149(0)
+i54 V149(1)
+i55 V149(2)
+i56 V149(3)
+i57 V169(1)
+i58 V165(0)
+i59 V165(2)
+i60 V165(4)
+i61 V165(5)
+i62 V165(6)
+i63 V165(7)
+i64 V165(1)
+i65 V88(2)
+i66 V88(3)
+i67 V55(0)
+i68 V169(0)
+i69 V52(0)
+i70 V5(0)
+i71 V6(0)
+i72 V12(0)
+i73 V11(0)
+i74 V4(0)
+i75 V165(3)
+i76 V51(0)
+i77 V65(0)
+i78 V290(0)
+i79 V279(0)
+i80 V280(0)
+i81 V288(4)
+i82 V288(2)
+i83 V288(0)
+i84 V258(0)
+i85 V229(5)
+i86 V229(4)
+i87 V229(3)
+i88 V229(2)
+i89 V229(1)
+i90 V229(0)
+i91 V223(5)
+i92 V223(4)
+i93 V223(3)
+i94 V223(2)
+i95 V223(1)
+i96 V223(0)
+i97 V189(5)
+i98 V189(4)
+i99 V189(3)
+i100 V189(2)
+i101 V189(1)
+i102 V189(0)
+i103 V183(5)
+i104 V183(4)
+i105 V183(3)
+i106 V183(2)
+i107 V183(1)
+i108 V183(0)
+i109 V239(4)
+i110 V239(3)
+i111 V239(2)
+i112 V239(1)
+i113 V239(0)
+i114 V234(4)
+i115 V234(3)
+i116 V234(2)
+i117 V234(1)
+i118 V234(0)
+i119 V199(4)
+i120 V199(3)
+i121 V199(2)
+i122 V199(1)
+i123 V199(0)
+i124 V194(4)
+i125 V194(3)
+i126 V194(2)
+i127 V194(1)
+i128 V194(0)
+i129 V257(0)
+i130 V32(8)
+i131 V32(7)
+i132 V32(6)
+i133 V32(5)
+i134 V32(4)
+i135 V32(11)
+i136 V32(10)
+i137 V32(9)
+i138 V88(1)
+i139 V88(0)
+i140 V84(5)
+i141 V84(4)
+i142 V84(3)
+i143 V84(2)
+i144 V84(1)
+i145 V84(0)
+i146 V78(5)
+i147 V78(4)
+i148 V2(0)
+i149 V3(0)
+i150 V14(0)
+i151 V213(0)
+i152 V213(5)
+i153 V213(4)
+i154 V213(3)
+i155 V213(2)
+i156 V213(1)
+i157 V268(5)
+i158 V268(3)
+i159 V268(1)
+i160 V268(2)
+i161 V268(4)
+i162 V8(0)
+i163 V60(0)
+i164 V53(0)
+i165 V57(0)
+i166 V109(0)
+i167 V277(0)
+i168 V278(0)
+i169 V259(0)
+i170 V260(0)
+i171 V67(0)
+i172 V68(0)
+i173 V69(0)
+i174 V216(0)
+i175 V175(0)
+i176 V177(0)
+i177 V172(0)
+i178 V171(0)
+i179 V50(0)
+i180 V63(0)
+i181 V71(0)
+i182 V292(0)
+i183 V291(0)
+i184 V91(0)
+i185 V91(1)
+i186 V294(0)
+i187 V207(0)
+i188 V295(0)
+i189 V204(0)
+i190 V205(0)
+i191 V261(0)
+i192 V262(0)
+i193 V100(0)
+i194 V100(5)
+i195 V100(4)
+i196 V100(3)
+i197 V100(2)
+i198 V100(1)
+i199 V240(0)
+i200 V242(0)
+i201 V241(0)
+i202 V33(0)
+i203 V16(0)
+i204 V15(0)
+i205 V101(0)
+i206 V268(0)
+i207 V288(1)
+i208 V288(3)
+i209 V288(5)
+i210 V301(0)
+i211 V108(0)
+i212 V108(1)
+i213 V108(2)
+i214 V108(3)
+i215 V108(4)
+i216 V108(5)
+i217 V124(5)
+i218 V124(4)
+i219 V124(3)
+i220 V124(2)
+i221 V124(1)
+i222 V124(0)
+i223 V132(7)
+i224 V132(6)
+i225 V132(5)
+i226 V132(4)
+i227 V132(3)
+i228 V132(2)
+i229 V132(1)
+i230 V132(0)
+i231 V118(5)
+i232 V118(4)
+i233 V118(3)
+i234 V118(2)
+i235 V118(1)
+i236 V118(0)
+i237 V118(7)
+i238 V118(6)
+i239 V46(0)
+i240 V48(0)
+i241 V102(0)
+i242 V110(0)
+i243 V134(1)
+i244 V134(0)
+i245 V272(0)
+i246 V78(2)
+i247 V78(3)
+i248 V39(0)
+i249 V38(0)
+i250 V42(0)
+i251 V44(0)
+i252 V41(0)
+i253 V78(1)
+i254 V78(0)
+i255 V94(0)
+i256 V94(1)
+o0 V321(2)
+o1 V356
+o2 V357
+o3 V373
+o4 V375(0)
+o5 V377
+o6 V393(0)
+o7 V398(0)
+o8 V410(0)
+o9 V423(0)
+o10 V432
+o11 V435(0)
+o12 V500(0)
+o13 V508(0)
+o14 V511(0)
+o15 V512
+o16 V527
+o17 V537
+o18 V538
+o19 V539
+o20 V540
+o21 V541
+o22 V542
+o23 V543
+o24 V544
+o25 V545
+o26 V546
+o27 V547
+o28 V548
+o29 V572(9)
+o30 V572(8)
+o31 V572(7)
+o32 V572(6)
+o33 V572(5)
+o34 V572(4)
+o35 V572(3)
+o36 V572(2)
+o37 V572(1)
+o38 V572(0)
+o39 V585(0)
+o40 V587
+o41 V591(0)
+o42 V597(0)
+o43 V603(0)
+o44 V609(0)
+o45 V620
+o46 V621
+o47 V630
+o48 V634(0)
+o49 V640(0)
+o50 V657
+o51 V707
+o52 V763
+o53 V775
+o54 V778
+o55 V779
+o56 V780
+o57 V781
+o58 V782
+o59 V783
+o60 V784
+o61 V787
+o62 V789
+o63 V798(0)
+o64 V801
+o65 V802(0)
+o66 V821(0)
+o67 V826(0)
+o68 V966
+o69 V986
+o70 V1213(11)
+o71 V1213(10)
+o72 V1213(9)
+o73 V1213(8)
+o74 V1213(7)
+o75 V1213(6)
+o76 V1213(5)
+o77 V1213(4)
+o78 V1213(3)
+o79 V1213(2)
+o80 V1213(1)
+o81 V1213(0)
+o82 V1243(9)
+o83 V1243(8)
+o84 V1243(7)
+o85 V1243(6)
+o86 V1243(5)
+o87 V1243(4)
+o88 V1243(3)
+o89 V1243(2)
+o90 V1243(1)
+o91 V1243(0)
+o92 V1256
+o93 V1257
+o94 V1258
+o95 V1259
+o96 V1260
+o97 V1261
+o98 V1262
+o99 V1263
+o100 V1264
+o101 V1265
+o102 V1266
+o103 V1267
+o104 V1274(0)
+o105 V1281(0)
+o106 V1297(4)
+o107 V1297(3)
+o108 V1297(2)
+o109 V1297(1)
+o110 V1297(0)
+o111 V1365
+o112 V1375
+o113 V1378
+o114 V1380
+o115 V1382
+o116 V1384
+o117 V1386
+o118 V1387
+o119 V1392(0)
+o120 V1423
+o121 V1426
+o122 V1428
+o123 V1429
+o124 V1431
+o125 V1432
+o126 V1439(0)
+o127 V1440(0)
+o128 V1451(0)
+o129 V1459(0)
+o130 V1467(0)
+o131 V1470
+o132 V1480(0)
+o133 V1481(0)
+o134 V1492(0)
+o135 V1495(0)
+o136 V1512(3)
+o137 V1512(2)
+o138 V1512(1)
+o139 V1536(0)
+o140 V1537
+o141 V1539
+o142 V1552(1)
+o143 V1552(0)
+o144 V1613(0)
+o145 V1613(1)
+o146 V1620(0)
+o147 V1629(0)
+o148 V1645(0)
+o149 V1652(0)
+o150 V1669
+o151 V1671(0)
+o152 V1679(0)
+o153 V1693(0)
+o154 V1709(4)
+o155 V1709(3)
+o156 V1709(2)
+o157 V1709(1)
+o158 V1709(0)
+o159 V1717(0)
+o160 V1719
+o161 V1726(0)
+o162 V1736
+o163 V1741(0)
+o164 V1745(0)
+o165 V1757(0)
+o166 V1758(0)
+o167 V1759(0)
+o168 V1760(0)
+o169 V1771(1)
+o170 V1771(0)
+o171 V1781(1)
+o172 V1781(0)
+o173 V1829(9)
+o174 V1829(8)
+o175 V1829(7)
+o176 V1829(6)
+o177 V1829(5)
+o178 V1829(4)
+o179 V1829(3)
+o180 V1829(2)
+o181 V1829(1)
+o182 V1829(0)
+o183 V1832
+o184 V1833(0)
+o185 V1863(0)
+o186 V1864(0)
+o187 V1896(0)
+o188 V1897(0)
+o189 V1898(0)
+o190 V1899(0)
+o191 V1900(0)
+o192 V1901(0)
+o193 V1921(5)
+o194 V1921(4)
+o195 V1921(3)
+o196 V1921(2)
+o197 V1921(1)
+o198 V1921(0)
+o199 V1953(1)
+o200 V1953(7)
+o201 V1953(6)
+o202 V1953(5)
+o203 V1953(4)
+o204 V1953(3)
+o205 V1953(2)
+o206 V1953(0)
+o207 V1960(1)
+o208 V1960(0)
+o209 V1968(0)
+o210 V1992(1)
+o211 V1992(0)
+o212 V650
+o213 V651
+o214 V652
+o215 V653
+o216 V654
+o217 V655
+o218 V656
+o219 V1370
+o220 V1371
+o221 V1372
+o222 V1373
+o223 V1374
+c
+i10
+This file was written by ABC on Sat Mar 12 12:08:09 2011
+For information about AIGER format, refer to http://fmv.jku.at/aiger

readme

@@ -15,24 +15,41 @@ the calling application. A simple demo program (file src/demo.c) shows how to
 create a stand-alone program performing DAG-aware AIG rewriting, by calling 
 APIs of ABC compiled as a static library.
 
-To build demo program
+To build the demo program
 - Copy demo.cc and libabc.a to the working directory
 - Run "gcc -Wall -g -c demo.c -o demo.o"
 - Run "gcc -g -o demo demo.o libabc.a -lm -ldl -rdynamic -lreadline -ltermcap -lpthread"
 
-To run demo program, give it a file with the logic network in AIGER or BLIF. For example:
+To run the demo program, give it a file with the logic network in AIGER or BLIF. For example:
 
-[alanmi@mima] ~/abc> demo i10.aig
-i10          : i/o =  257/  224  lat =    0  and =   2396  lev = 37
-i10          : i/o =  257/  224  lat =    0  and =   1851  lev = 35
-Networks are equivalent.
-Reading =   0.00 sec   Rewriting =   0.18 sec   Verification =   0.41 sec
+> [alanmi@mima] ~/abc> demo i10.aig
+> i10          : i/o =  257/  224  lat =    0  and =   2396  lev = 37
+> i10          : i/o =  257/  224  lat =    0  and =   1851  lev = 35
+> Networks are equivalent.
+> Reading =   0.00 sec   Rewriting =   0.18 sec   Verification =   0.41 sec
+
+The same can be produced by running the binary in the command-line mode:
+
+> [alanmi@mima] ~/abc> ./abc
+> UC Berkeley, ABC 1.01 (compiled Oct  6 2012 19:05:18)
+> abc 01> r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec
+> i10          : i/o =  257/  224  lat =    0  and =   2396  lev = 37
+> i10          : i/o =  257/  224  lat =    0  and =   1851  lev = 35
+> Networks are equivalent.
+
+or in the batch mode:
+
+> [alanmi@mima] ~/abc> ./abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec"
+> ABC command line: "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec".
+> i10          : i/o =  257/  224  lat =    0  and =   2396  lev = 37
+> i10          : i/o =  257/  224  lat =    0  and =   1851  lev = 35
+> Networks are equivalent.
 
 
 
 Compiling as C or C++
 
-The current version of ABC can be compiled with both C compiler and C++ compiler.
+The current version of ABC can be compiled with C compiler or C++ compiler.
 
 To compile as C code (default): make sure that CC=gcc and ABC_NAMESPACE is not defined.
 To compile as C++ code without namespaces: make sure that CC=g++ and ABC_NAMESPACE is not defined.
@@ -58,10 +75,10 @@ Trouble shooting:
 (1) If compilation does not start because of the cyclic dependency check, 
 try touching all files as follows:    find ./ -type f -exec touch "{}" \;
 
-(2) If compilation fails because 'readline' is missing, install 'readline' or
-comment out line 26 "#define ABC_USE_READ_LINE" in file "src/base/main/mainUtils.c"
+(2) If compilation fails because readline is missing, install 'readline' library or
+comment out line 26 "#define ABC_USE_READLINE" in file "src/base/main/mainUtils.c"
 
-(4) If compilation fails because 'pthread' is missing, install 'pthreads' library or
+(4) If compilation fails because pthreads are missing, install 'pthread' library or
 comment out line 29 "#define ABC_USE_PTHREADS" in file "src/base/cmd/cmdStarter.c" 
 and in file "src/proof/abs/absPth.c"
 
@@ -69,6 +86,8 @@ and in file "src/proof/abs/absPth.c"
 - Remove "src/base/main/libSupport.c" from "src/base/main/module.make"
 - Comment out calls to Libs_Init() and Libs_End() in "src/base/main/mainInit.c"
 
+(6) On some systems, readline requires adding '-lcurses' to Makefile.
+
 
 The following comment was added by Krish Sundaresan:
 

src/base/main/mainUtils.c

@@ -23,10 +23,10 @@
 
 #if !defined(_WIN32) && !defined(AIX) 
 // comment out the following line if 'readline' is not available
-#define ABC_USE_READ_LINE
+#define ABC_USE_READLINE
 #endif
 
-#ifdef ABC_USE_READ_LINE
+#ifdef ABC_USE_READLINE
 #include <readline/readline.h>
 #include <readline/history.h>
 #endif
@@ -76,7 +76,7 @@ char * Abc_UtilsGetUsersInput( Abc_Frame_t * pAbc )
 {
     static char Prompt[5000];
     sprintf( Prompt, "abc %02d> ", pAbc->nSteps );
-#ifdef ABC_USE_READ_LINE
+#ifdef ABC_USE_READLINE
     {
     static char * line = NULL;
     if (line != NULL) ABC_FREE(line);