phyLS/benchmarks/bar.aig

663 lines
14 KiB
Plaintext
Raw Permalink Blame History

This file contains invisible Unicode characters!

This file contains invisible Unicode characters that may be processed differently from what appears below. If your use case is intentional and legitimate, you can safely ignore this warning. Use the Escape button to reveal hidden characters.

This file contains ambiguous Unicode characters that may be confused with others in your current locale. If your use case is intentional and legitimate, you can safely ignore this warning. Use the Escape button to highlight these characters.

aig 3471 135 0 128 3336
1137
1987
2581
3175
3321
3467
3613
3759
3905
4051
4197
4343
4489
4635
4781
4927
4961
4995
5029
5063
5097
5131
5165
5199
5233
5267
5301
5335
5369
5403
5437
5471
5505
5539
5573
5607
5641
5675
5709
5743
5777
5811
5845
5879
5913
5947
5981
6015
6049
6083
6117
6151
6185
6219
6253
6287
6321
6355
6389
6423
6457
6491
6525
6559
6565
6571
6577
6583
6589
6595
6601
6607
6613
6619
6625
6631
6637
6643
6649
6655
6661
6667
6673
6679
6685
6691
6697
6703
6709
6715
6721
6727
6733
6739
6745
6751
6757
6763
6769
6775
6781
6787
6793
6799
6805
6811
6817
6823
6829
6835
6841
6847
6853
6859
6865
6871
6877
6883
6889
6895
6901
6907
6913
6919
6925
6931
6937
6943
f eab
(n&+m*1i/6j3
7D~BG}FMyKRzO
T^v\au`gqelri
n6rF~┐EAB
q≤NM I÷Jё
o^]YюZ
VхмUлсQяьRу
kЙОНУСЗВ
щ
 

ш·°
ы©да
в2гж&ты%ьъ!щД"А
гН.ЛЯ-ПВ)УЭ*Ы
е>=9:
ц6·ё512
а2╠jжфФдиЕхоАмтБя
чНэАМЮГИЕЛЙИ
ЬЧЖШЩЗЫЪЗ
ЁЖУЯ·Р
2феаб
÷фндимхоимтйя
²ЮччЦщБИыГНзК
ЬжЖШуЗяЪр
2h≤ ÷ё
Ё
й·хм²лсяь у
БЮЕДКИПМ
2Ч
Я ÷ё
Ою
Мигнлтявж
К2hръО_МТdРЗ`ВЩcЭ
Аglhk
ъw÷|x{
щotдpагsф
ш2ыв?уэDзБ@ъЕCД
иОGМТLРЗHВЩKЭ
гW\X[
еO÷TPS
ц2вhаЪ©фдлион
Ёывч эДАГ Ф
СЯЬЖЧШ
┴ ░ ⌠ ≥ 
2у╖ ╝ $╠ ╥ #
а '© ф ,д л (и о +н 
ш 7ы Ю <ч Ф 8Ц И ;Х 
С /Я Ь 4Ж Ч 0Ш │
3

2сhр

°
 

÷










и
г
н
°л
т
я
в
ж


А
ъ
Ф
Д
Л
И
О
Н


2Ъ
ъЩ
Д  Ю Ц 
Я
Г ° Л   Х÷ К 
О
 В Э  Ь © Ш 
М
и Ог н Тл т Пя в Сж 
К
2И
 ÷Г Н Л Т Я В ёЖ 
ш      
ы   ·  ё  
в Ё    Ё б ю 
у 2⌠ я ©о ж дт э юы ъ цч 
ц И гГ Н лЛ Т хЯ В кЖ 
а 
в
э

ь
ш

©
о
т·

пё
с

 2я hр
  Ё


д
б

0╓
4

[└
_°
L 
P
л
)
f░
j
"
 

С
 
}≤
Ч Э И
Б гЮ кЖ Т ъ

Н рЛ жу
"И 
Уз
ЫД ТБ ЬЬ ИЖ Мэ з Ёю Ё т р 

л й б÷"г Ч Э ÷б чю Бж ст в Ж ЗШ· ²°   ЯЮ Кч О  Г" HзA╓Eн
л
сБ
Ю
ф
д
и
ъ
Ц
р
ж©Л
Й

Й
Н"щ
р щп АХ нФ рЭ цЗ гЮ Фч Йд б ь ж 
ш
ъп н °Щ"ШH╡ г кЬ
Ж
ЕФ
Л
  Щшп
кх
уХ
Ф
я  Ю
рЛ
хг"  Ё




н
рёН УЛ Ы
Х
Л
ц
гЗ Ь "ёHЙ╗ · УФ  ЪЩБю Ьчй ТСзз юУ жД ╪Ъ ИрР ┌ ц нЭ Чм ъ"² жЧщ  ЮЗГ еЭ
Н ыЬ
Ь ЦТ
з
ёП
ж
Л
° ЯХ
 Ш"
юРЁ Ю
йН э
ьР
ць
БН
мт
Р
п
Э
Шл
┼ Э
шх
Ь
ЕЯ"Ч НБ З Ьч вЖ 
ЯР 
ШмН т Й п ецФ 
Б б
"H
ё
°

ё

х
З Ц

р
Ж М

Ю

Й
"  Х
к
Р
у
М└ ▌ ┼ ┼ У К Ц  Ф© ├ ╓ П ы┌ ╡ ╤ Ъ └ ╤ ╦ ┐ о"
Ч
х
й
д
ф
э
б
ь

к 
у ё
х Ф

р Б
ё "д п Ь ² ю з Т ЪХ р с Р н щ У╢ ┌
  ²
╟ ▄
√ ╖
К 
э К ╗ ╓
ь У А"УHу÷ёЫЗ7ВыЫЦW²я9²ШИццЯВцЕИш²И"·овуЪЕ5⌠Ом²яЫёиЁЩГВКя²акУЪЯ"ГШУгУЦм ²вщс ё еЪгЁШуЕМ╞ шЦШ"А
ц а Щ О ё О ъ
²
я  Щ  в К ы У ъ
в

м
"Ы


Ё К о ы
в
О
Ш
Ё
акм
ё÷
ц
Щ
Г
ъ
КГ │
е"бУкк²АаёЯ м
М© оЦ ⌠²иВМог≥ ≈╫ ш"H▒ГёУсИ÷еасаыУъоЫЫЦЫ÷"тссеИгвЫЪёЕсЕЕШш©я²ЁЁВ"²HоИзбQ©ёъS╠!Еео©вУЦЩВ"ФЪсосИгO╞гКАасцщо©ИуГ"H┴ёАццягЕ АЁ яКЫВ ² ЫЦ²яЩКкЩкц"Ьс

В  ыиЦЫыК СсА ШС  кС я
ёш с

к"аH┴Ш
Ы
ш Цам
сё

м
ёМ
ЯОеяъЦу"Я
ш
©
Кщ
Ё
Е

МА С щЦи ъш Укщ"с Вш мъ
Я
У Ё  ÷ УЫИ▀ ©и Иш ©а ац К вЩ Г"°
в²
²
ги
Щ  ъИ
ЪШ
уВ
÷²
У║ ыЁ ╞У┴ ╠⌡ ┤Ы ▒
ГО"Е7╥SъсВВоУГ²сУъцЩ©Ы"╝ ЫиГКщ5сБЁёИсЕо"В H┐АсЫЯаЁ ▒к Щ©Щ м ыЩКс
ЕккЦЕ"ю!▀
ш
в ЫК цЫсцшС   и ≥ ┐ш сС С
Я ⌠!"┴"HСсяУ Ие
╚!Яя²
Гвя МмЁАЦМВшмуоя²"рЦКъяЁ
Сц
²Щ КУкЩВА╚!ЁешЕЪ╔""⌡#ущ╫"▀КыоЦ!Ц
гц
оыы
┴!⌡÷ШцгА"Д#⌡ШИВе ЫГыОаОО©!УЩуЫ
иК©╫"С
с
яИ
я╥#"╜$Hы"i┘!у≥ ы┼!k╬$Э!вваЯЪо$ёасаКЮ$Са²И
а Я$Ёс
ёШ
Ящ ┌%ЦС  вш⌠%кС©а╓%ЁеАъъСЦ╣%цё©ъ
ыф%Ц²уЪ
Ав%с
Ё
яО и
КХ%С
Ё
Г
Сё
Ы%Ц ц ЦЪ ©ы Щ┼&┐
е Ы÷ Ё Ё⌡&С  яГ ы У╛&к  е  в╫& о
ЦВ
И
н&ш
²м
в©
 Иъ&
АУ
ЁЫ ≥П&Кщ Ио
Ш│'ё С┐ ╚©е▓'ШаМШъмк █ё'Ёов╢'▀сЩОъш÷е'цёоъИж'⌡Е÷ЪЯКГ'с╘ ЁАОиШЬ'╚В²┐!Шц┴(Ц╩!цС Ъо ы (╩┴!╜ц÷∙"▀у╚(См"с┘"А÷ ╪(к⌡"╫у ╖#⌡Г м(ё%©▐&kя#а╩$oч(╡%а·&mВ"≈▒"ИО(Я⌠ шаоЕ
ё─)⌠≈ ╫!≥гс ш К▒)аЕЁ
÷Ё
╒)┐ик
ВеКЩ Ё)КщКъвд)сомВу)асФ)┐УЕц©В)яЦа÷²ц┬*⌠ицаВся≥*АмСсу╙*ёшуяЦЦ╩*ГаЕЫъл*КУщГМщ*ЫксВЯНМЫкЪЪ*и
ш
Е░+▀Щ
©иш║+
Ё
О ВА ²╡+⌡

яы
²К
ёц+ ц Ъ Я т+╚ ² ЦИ Ш Е+а с ©  аЖ+╩ о УЫ а г┤,я
к Ц
я÷

с≤,к
А
 с ы╘,А щ!С Ц ╞ © ║ Е╨,ш С!м ≥!
Е
Кк,ЯО"┐ У!©я!╠В э,К┘#щ╚"В ╩ ЩМ,╜*уу(е÷&⌠СЧ,╗+kт)в≈'│ш)i▐-Ы#╚╫!Ъ в Щ ЯШ ═-Ё"│
щ%О╖#╫Ш$│╠-²мОамбЁм В
 с-В÷ЪОыД-С²гмшЕУ-кИС├.ёгВссо≈.шШ©Ё╗.Ё÷ыЕЦА╧.Коеай.цКВССш.Ш÷коАвЛ.ШуцкЩЩ.шоАЯИ▌/▀Еуш÷/цКАгСШ╟/⌡УГгКа/усСр/╚Ыв©ШЁЦ/ГЦ÷÷Т/╩мГяе┘0кЫС√0къ²ВЦв╖0ш©ц╦0шЯ ╣УИи0К
² ⌠м!о
уа
╩!з0К
┐"еа ┤ ╩ШК0Ш ╞!ё
ъ"ъ Г я м"Э0Ш ∙#у
с!
≥!к
█1Ё*чщ-╥Г#╟
▒'┴
еотЫцФ÷ЬУц÷°ИущГюяЫШреОД²ЦЖ ╜в┬"║а!к #∙с"©
╛$┴Е#ё
н$╣
©$
П$≥
А$К ▓%Щ ┐%о ╢%А ╔%Ё ж%е г% Ь%╘ И%Ш  &█ ▀&ъ ╪&Я ╜&ц ч&у о& ─'╧ Я& ╒'² ⌠'О
д'│ ╣'с
Ф'Е
в'
┬(и
Ы'
╙(╜
⌡(Ъ л(▒
╫(Ц Н(У ъ(г ░)ы │)╚ ╡)╫ ё)▐ т)║ е)СЖ)┘ Г)в≤*И┴*╨*м╚*÷э*╠м*Ч*∙О*Г═+Ы▒+кбЁ+Д+ау+├,╔В+В╗,┴≥,шй,М╩,©Л,ящ,ё▌-╣Ъ,╟-≥║-Крц-оТ-АЕ-Ё√.е┤.╦.╘╘.Шз.█к.ъЭ.ЯМ.ц·/у▐/ю/╧╠/Б/²с/О└0│У/с╕0Е≈0х╧0Й0╜ш0Ъ▄1▒Щ0i0 a[0]
i1 a[1]
i2 a[2]
i3 a[3]
i4 a[4]
i5 a[5]
i6 a[6]
i7 a[7]
i8 a[8]
i9 a[9]
i10 a[10]
i11 a[11]
i12 a[12]
i13 a[13]
i14 a[14]
i15 a[15]
i16 a[16]
i17 a[17]
i18 a[18]
i19 a[19]
i20 a[20]
i21 a[21]
i22 a[22]
i23 a[23]
i24 a[24]
i25 a[25]
i26 a[26]
i27 a[27]
i28 a[28]
i29 a[29]
i30 a[30]
i31 a[31]
i32 a[32]
i33 a[33]
i34 a[34]
i35 a[35]
i36 a[36]
i37 a[37]
i38 a[38]
i39 a[39]
i40 a[40]
i41 a[41]
i42 a[42]
i43 a[43]
i44 a[44]
i45 a[45]
i46 a[46]
i47 a[47]
i48 a[48]
i49 a[49]
i50 a[50]
i51 a[51]
i52 a[52]
i53 a[53]
i54 a[54]
i55 a[55]
i56 a[56]
i57 a[57]
i58 a[58]
i59 a[59]
i60 a[60]
i61 a[61]
i62 a[62]
i63 a[63]
i64 a[64]
i65 a[65]
i66 a[66]
i67 a[67]
i68 a[68]
i69 a[69]
i70 a[70]
i71 a[71]
i72 a[72]
i73 a[73]
i74 a[74]
i75 a[75]
i76 a[76]
i77 a[77]
i78 a[78]
i79 a[79]
i80 a[80]
i81 a[81]
i82 a[82]
i83 a[83]
i84 a[84]
i85 a[85]
i86 a[86]
i87 a[87]
i88 a[88]
i89 a[89]
i90 a[90]
i91 a[91]
i92 a[92]
i93 a[93]
i94 a[94]
i95 a[95]
i96 a[96]
i97 a[97]
i98 a[98]
i99 a[99]
i100 a[100]
i101 a[101]
i102 a[102]
i103 a[103]
i104 a[104]
i105 a[105]
i106 a[106]
i107 a[107]
i108 a[108]
i109 a[109]
i110 a[110]
i111 a[111]
i112 a[112]
i113 a[113]
i114 a[114]
i115 a[115]
i116 a[116]
i117 a[117]
i118 a[118]
i119 a[119]
i120 a[120]
i121 a[121]
i122 a[122]
i123 a[123]
i124 a[124]
i125 a[125]
i126 a[126]
i127 a[127]
i128 shift[0]
i129 shift[1]
i130 shift[2]
i131 shift[3]
i132 shift[4]
i133 shift[5]
i134 shift[6]
o0 result[0]
o1 result[1]
o2 result[2]
o3 result[3]
o4 result[4]
o5 result[5]
o6 result[6]
o7 result[7]
o8 result[8]
o9 result[9]
o10 result[10]
o11 result[11]
o12 result[12]
o13 result[13]
o14 result[14]
o15 result[15]
o16 result[16]
o17 result[17]
o18 result[18]
o19 result[19]
o20 result[20]
o21 result[21]
o22 result[22]
o23 result[23]
o24 result[24]
o25 result[25]
o26 result[26]
o27 result[27]
o28 result[28]
o29 result[29]
o30 result[30]
o31 result[31]
o32 result[32]
o33 result[33]
o34 result[34]
o35 result[35]
o36 result[36]
o37 result[37]
o38 result[38]
o39 result[39]
o40 result[40]
o41 result[41]
o42 result[42]
o43 result[43]
o44 result[44]
o45 result[45]
o46 result[46]
o47 result[47]
o48 result[48]
o49 result[49]
o50 result[50]
o51 result[51]
o52 result[52]
o53 result[53]
o54 result[54]
o55 result[55]
o56 result[56]
o57 result[57]
o58 result[58]
o59 result[59]
o60 result[60]
o61 result[61]
o62 result[62]
o63 result[63]
o64 result[64]
o65 result[65]
o66 result[66]
o67 result[67]
o68 result[68]
o69 result[69]
o70 result[70]
o71 result[71]
o72 result[72]
o73 result[73]
o74 result[74]
o75 result[75]
o76 result[76]
o77 result[77]
o78 result[78]
o79 result[79]
o80 result[80]
o81 result[81]
o82 result[82]
o83 result[83]
o84 result[84]
o85 result[85]
o86 result[86]
o87 result[87]
o88 result[88]
o89 result[89]
o90 result[90]
o91 result[91]
o92 result[92]
o93 result[93]
o94 result[94]
o95 result[95]
o96 result[96]
o97 result[97]
o98 result[98]
o99 result[99]
o100 result[100]
o101 result[101]
o102 result[102]
o103 result[103]
o104 result[104]
o105 result[105]
o106 result[106]
o107 result[107]
o108 result[108]
o109 result[109]
o110 result[110]
o111 result[111]
o112 result[112]
o113 result[113]
o114 result[114]
o115 result[115]
o116 result[116]
o117 result[117]
o118 result[118]
o119 result[119]
o120 result[120]
o121 result[121]
o122 result[122]
o123 result[123]
o124 result[124]
o125 result[125]
o126 result[126]
o127 result[127]
c
top
This file was written by ABC on Thu Mar 5 01:22:31 2015
For information about AIGER format, refer to http://fmv.jku.at/aiger