https://github.com/lsils/benchmarks
Tip revision: 7770275a0e07a27b8ea9f65b6a3f767282fb8226 authored by Alessandro Tempia Calvino on 06 June 2023, 12:30:24 UTC
New best results 2023
New best results 2023
Tip revision: 7770275
voter.aig
aig 14759 1001 0 1 13758
29519
´µ¸¹ÆÇÊË
Ç
Ê!µ!¸ )òóö÷
#ó!#ö RI N_f!i
¨!$ÔÕÕÚÜÝÝâ
ð
ãü!Û$GI¡«§=Haqj cu %3¢Ý1
¬°±¾¿ÂÃ
¿
Â!!° )êëîïüý
ý
#ë!#î RIX NgÆÇÊËØÙÜÝ
Ù
Ü!Ç!Ê )
#
!# RI N_f!iݥ
Ð+Û Ö×
¦
%±¦§§¬®¯¯´
Â
µÎ!$úûû
¢!$GIÔÕÕÚÜÝÝâ
ð
ãü!Û$¨
©
©
®
°
±
±
¶
Ä
·
Ð
!¯
$GI
¤
°!$ÜÝÝâäååê
ø
ë!ã$GI¶··¼¾¿¿Ä
Ò
ÅÞ!½$
¦
²!$GI±³êñý÷
ÝÖûHÙ¯¨ ¡³Þ·HÛëäÝç 0;u²
¯¨ÍHñ«úóý °«ÉÂçHÅ Ê%3=1
cq}o
ßíòéë
èéìíúûþÿ
û
þ!é!ì )¦§ª«¸¹¼½
¹
¼#§!#ª RIX Ng
!! )ÀÁÄÅÒÓÖ×
Ó
Ö#Á!#Ä RI N_f!iÝ¥
Ð+Û
ª
¶!$âããèêëëð
þ
ñ!é$GI¼½½ÂÄÅÅÊ
Ø
Ëä!Ã$
¬
¸!$GI²¹Å¿
»´ÙHý·ÿ ¼7UNsHQ§ «V%3=1
cqºµo
äåèéö÷úû
÷
ú!å!è )¢£¦§´µ¸¹
µ
¸#£!#¦ RI N_f!i°±±¶¸¹¹¾
Ì
¿Ø!·$
¬!$GI¡«§=Haqj cu %3¢Ý1
ÜÝàáîïòó
ï
ò!Ý!à )¬°±
°#!# RIX Ngö÷úû
!÷!ú )´µ¸¹ÆÇÊË
Ç
Ê#µ!#¸ RI N_f!iÝ¥
Ð+Û Ö×
¦
%±È±É³
Ú
%å¬éë
Â
%Í
#¡#¡#¦#¨#©#©#®#
¼#
¯#È#!§#$î#ï#ï#ô#$$$$
$õ#$$$GI$$$¤$¦$§$§$¬$
º$
$Æ$!¥$$ò$ó$ó$ø$ú$û$û$%
%
%%!ù$$GI%%%%%%%%
¦%
%²%!%$Þ%ß%ß%ä%æ%ç%ç%ì%
ú%
í%&!å%$GI¸&¹&¹&¾&À&Á&Á&Æ&
Ô&
Ç&à&!¿&$''''''''
¨'
'´'!'$GI±³â&ã&ã&è&ê&ë&ë&ð&
þ&
ñ&'!é&$¶'·'·'¼'¾'¿'¿'Ä'
Ò'
Å'Þ'!½'$GI((((((((
¬(
(¸(!($ä(å(å(ê(ì(í(í(ò(
)
ó()!ë($GIÄ)Å)Å)Ê)Ì)Í)Í)Ò)
à)
Ó)ì)!Ë)$**** *¡*¡*¦*
´*
§*À*!*$GIò*ó*ó*ø*ú*û*û*+
+
++!ù*$Æ+Ç+Ç+Ì+Î+Ï+Ï+Ô+
â+
Õ+î+!Í+$GI±³éë******* *
®*
¡*º*!*$æ*ç*ç*ì*î*ï*ï*ô*
+
õ*+!í*$GIÀ+Á+Á+Æ+È+É+É+Î+
Ü+
Ï+è+!Ç+$,,,,,,,¢,
°,
£,¼,!,$GIô,õ,õ,ú,ü,ý,ý,-
-
--!û,$È-É-É-Î-Ð-Ñ-Ñ-Ö-
ä-
×-ð-!Ï-$GI¢.£.£.¨.ª.«.«.°.
¾.
±.Ê.!©.$ö.÷.÷.ü.þ.ÿ.ÿ./
/
//!ý.$GI±³Ü/Ý/Ý/â/ä/å/å/ê/
ø/
ë/0!ã/$°0±0±0¶0¸0¹0¹0¾0
Ì0
¿0Ø0!·0$GI11111111
¦1
1²1!1$Þ1ß1ß1ä1æ1ç1ç1ì1
ú1
í12!å1$GI¾2¿2¿2Ä2Æ2Ç2Ç2Ì2
Ú2
Í2æ2!Å2$3333333 3
®3
¡3º3!3$GIì3í3í3ò3ô3õ3õ3ú3
4
û34!ó3$À4Á4Á4Æ4È4É4É4Î4
Ü4
Ï4è4!Ç4$GI±³éëÙ Û ÔÕÁÍÇ
ïèH±ëÁº ³Åð«¤ÉHí§ýöïù ¬§0;²
ÁºßH½
½ÛÔùHצ ±Ü%3=1
cq}o
»Hßïèáë ·°ÕHù³ û¸%3=1
»
Hß
ï
è
á
ó
ÙÒ÷HÕ«¤§ ÚÕ
0;µ²
nyÝê
êõïÚ
HÑáÚÓÝ ©¢ÇHë¥ûô íÿª%3=1
HÑáÚ ÓåËÄéHÇ ÌÇ0;§²
ny¹ê
ÍÆëHÉ £Î§HË
ÛÔÍ×
0;²
íæH¯é¿¸±» îÿ«"²ÑHõ¯
þ ÷´%3=1
cq}o
ßíùë
×åñã
ÇÕ¡Ó
Ø6Ù6Ü6Ý6ê6ë6î6ï6
ë6
î6!Ù6!Ü6 )7777¨7©7¬77
©7
¬7#7!#7 RIX Ngò7ó7ö7÷78
888
8
8!ó7!ö7 )°8±8´8µ8Â8Ã8Æ8Ç8
Ã8
Æ8#±8!#´8 RI N_f!iÝ¥
Ð+Û þ9ÿ9ÿ9:::::
:
:¦:!
:$Ò:Ó:Ó:Ø:Ú:Û:Û:à:
î:
á:ú:!Ù:$GI¬;;;²;´;µ;µ;º;
È;
»;Ô;!³;$<<<<<<<<
<
<¨<!<$GI²¹Å¿
»´ÙHý·ÿ ¼7UNsHQ§ «V%3=1
cqºµo
LL L¡L®L¯L²L³L
¯L
²L!L! L )ÚLÛLÞLßLìLíLðLñL
íL
ðL#ÛL!#ÞL RIX Ng¶M·MºM»MÈMÉMÌMÍM
ÉM
ÌM!·M!ºM )ôMõMøMùMNNNN
N
N#õM!#øM RI N_f!iÝ¥
Ð+Û @@@@@@@@
¢@
@®@!@$
PPPPPPPPP P ì@í@í@ò@BB£
aZ5;¡PâPUPîPQP;¾AKó@ KC@
K
Q_]
äPåPèPéPöP÷PúPûP
÷P
úP!åP!èP )¢Q£Q¦Q§Q´QµQ¸Q¹Q
µQ
¸Q#£Q!#¦Q RI N_f!i°R±R±R¶R¸R¹R¹R¾R
ÌR
¿RØR!·R$S
S
SSSSSS
S
S¬S!S$GI¡«§=Haqj cu %3¢Ý1
ÜSÝSàSáSîSïSòSóS
ïS
òS!ÝS!àS )TTTT¬TT°T±T
T
°T#T!#T RIX NgöT÷TúTûTUUUU
U
U!÷T!úT )´UµU¸U¹UÆUÇUÊUËU
ÇU
ÊU#µU!#¸U RI N_f!iÝ¥
Ð+Û Ö×
¦
%±¶·É
Ü'ç þ±ÿ³
%
#JJJJJJJJ
J
JªJ!J$ÖJ×J×JÜJÞJßJßJäJ
òJ
åJþJ!ÝJ$GI°K±K±K¶K¸K¹K¹K¾K
ÌK
¿KØK!·K$L
L
LLLLLL
L
L¬L!L$GIäLåLåLêLìLíLíLòL
M
óLM!ëL$¸M¹M¹M¾MÀMÁMÁMÆM
ÔM
ÇMàM!¿M$GINNNNNNN N
®N
¡NºN!N$æNçNçNìNîNïNïNôN
O
õNO!íN$GI±³ÌOÍOÍOÒOÔOÕOÕOÚO
èO
ÛOôO!ÓO$ P¡P¡P¦P¨P©P©P®P
¼P
¯PÈP!§P$GIúPûPûPQQQQQ
Q
Q¢Q!Q$ÎQÏQÏQÔQÖQ×Q×QÜQ
êQ
ÝQöQ!ÕQ$GI®R¯R¯R´R¶R·R·R¼R
ÊR
½RÖR!µR$SSSSSSSS
S
SªS!S$GIÜSÝSÝSâSäSåSåSêS
øS
ëST!ãS$°T±T±T¶T¸T¹T¹T¾T
ÌT
¿TØT!·T$GI±³éëÚ ã ï é
±ªÏHóüõÿ ²ËÄéHÇ ¡Ì%3=1
±ªÏHó ü õ ²í æ
H¯
é ¿
¸
±
»
î é0;ɲ
nyñê
ÍÆëHÉ £Î§HË
ÛÔÍ×
0;å²
½Háñêãí ¹²×Hûµ ýº%3=1
cq}o
ßíùë
×åä Ó
ã
cccccc¢c£c
c
¢c!c!c )ÊcËcÎcÏcÜcÝcàcác
Ýc
àc#Ëc!#Îc RIX Ng¦d§dªd«d¸d¹d¼d½d
¹d
¼d!§d!ªd )ädådèdédöd÷dúdûd
÷d
úd#åd!#èd RI N_f!iÝ¥
Ð+Û ²f³f³f¸fºf»f»fÀf
Îf
ÁfÚf!¹f$gggggggg
¢g
g®g!g$GIàgágágægègégégîg
üg
ïgh!çg$´hµhµhºh¼h½h½hÂh
Ðh
ÃhÜh!»h$GI²¹Å¿
»´ÙHý·ÿ ¼7UNsHQ§ «V%3=1
cqºµo
iiiiiiii
i
i!i!i )ÆiÇiÊiËiØiÙiÜiÝi
Ùi
Üi#Çi!#Êi RI N_f!iÔjÕjÕjÚjÜjÝjÝjâj
ðj
ãjüj!Ûj$¨k©k©k®k°k±k±k¶k
Äk
·kÐk!¯k$GI¡«§=Haqj cu %3¢Ý1
lll
lllll
l
l!l!l )¾l¿lÂlÃlÐlÑlÔlÕl
Ñl
Ôl#¿l!#Âl RIX Ngmmmm¬mm°m±m
m
°m!m!m )ØmÙmÜmÝmêmëmîmïm
ëm
îm#Ùm!#Üm RI N_f!iÝ¥
Ð+Û Ö×
¦
%±È±É³
Ú
%åþpÿpÿpqqqqq
q
q¦q!
q$ÒqÓqÓqØqÚqÛqÛqàq
îq
áqúq!Ùq$GI¬rrr²r´rµrµrºr
Èr
»rÔr!³r$ssssssss
s
s¨s!s$GIàsásásæsèsésésîs
üs
ïst!çs$´tµtµtºt¼t½t½tÂt
Ðt
ÃtÜt!»t$GIuuuuuuuu
ªu
u¶u!u$âuãuãuèuêuëuëuðu
þu
ñuv!éu$GI±³ÈvÉvÉvÎvÐvÑvÑvÖv
äv
×vðv!Ïv$www¢w¤w¥w¥wªw
¸w
«wÄw!£w$GIöw÷w÷wüwþwÿwÿwx
x
xx!ýw$ÊxËxËxÐxÒxÓxÓxØx
æx
Ùxòx!Ñx$GIªy«y«y°y²y³y³y¸y
Æy
¹yÒy!±y$þyÿyÿyzzzzz
z
z¦z!
z$GIØzÙzÙzÞzàzázázæz
ôz
çz{!ßz$¬{{{²{´{µ{µ{º{
È{
»{Ô{!³{$GI±³éëÚ á í ç
±ªÏHóüõÿ ²ËÄéHÇ ¡Ì%3=1
±ªÏHó ü õ ²í æ
H¯
é ¿
¸
±
»
î é0;ɲ
nyñê
ÍÆëHÉ £Î§HË
ÛÔÍ×
0;å²
½Háñêãí ¹²×Hûµ ýº%3=1
cq}o
ßíùë
×åâ Ñ
ã
|||
|||||
|
|!|!| )¾|¿|Â|Ã|Ð|Ñ|Ô|Õ|
Ñ|
Ô|#¿|!#Â| RI N_f!iÌ}Í}Í}Ò}Ô}Õ}Õ}Ú}
è}
Û}ô}!Ó}$ ~¡~¡~¦~¨~©~©~®~
¼~
¯~È~!§~$GI¡«§=Haqj cu %3¢Ý1
ø~ù~ü~ý~
!ù~!ü~ )¶·º»ÈÉÌÍ
É
Ì#·!#º RIX Ng¤¥¨©
¥
¨!! )ÐÑÔÕâãæç
ã
æ#Ñ!#Ô RI N_f!iÝ¥
Ð+Û Ö×
¦
%±òóóøúûû
!ù$ÆÇÇÌÎÏÏÔ
â
Õî!Í$GI ¡¡¦¨©©®
¼
¯È!§$ôõõúüýý
!û$GIÔ
Õ
Õ
Ú
Ü
Ý
Ý
â
ð
ã
ü
!Û
$¨©©®°±±¶
Ä
·Ð!¯$GI
ª!$Ö××ÜÞßßä
ò
åþ!Ý$GI±³êñý÷
ÝÖûHÙ¯¨ ¡³Þ·HÛëäÝç 0;u²
¯¨ÍHñ«úóý °«ÉÂçHÅ Ê%3=1
cq}o
ßíòéë
´µ¸¹ÆÇÊË
Ç
Ê!µ!¸ )òóö÷
#ó!#ö RIX NgÎÏÒÓàáäå
á
ä!Ï!Ò )¢£
¢#!# RI N_f!iÝ¥
Ð+Û ÚÛÛàâããè
ö
é!á$®¯¯´¶··¼
Ê
½Ö!µ$GI
¤
°!$ÜÝÝâäååê
ø
ë!ã$GI²¹Å¿
»´ÙHý·ÿ ¼7UNsHQ§ «V%3=1
cqºµo
°±´µÂÃÆÇ
Ã
Æ!±!´ )îïòó
#ï!#ò RI N_f!iüýý
¤!$ÐÑÑÖØÙÙÞ
ì
ßø!×$GI¡«§=Haqj cu %3¢Ý1
¨©¬º»¾¿
»
¾!©!¬ )æçêëøùüý
ù
ü#ç!#ê RIX NgÂÃÆÇÔÕØÙ
Õ
Ø!Ã!Æ )
#!# RI N_f!iݥ
Ð+Û Ö×
¦
%±È±É³
Ú
%å¬éë
Â
%Í
ôÙ õÛ
%:Ù :à ñC
´6Î^Ï^ 5Í6
W-®6*ç6æ6ÉDÆDñDÖîDÓKÒKåKGäKLL£LLL M"¢M üK!NÊNéO]âOPP×PÒPîOÛNUÔNëNüNÁO¼OàN>>GIxxF FÉIÈIáIÚIÛJ"äJJ" JæIÕKUÎKåKöK»L¶LÚK>>GÊGéH]âHII×IÒIîHÛGUÔGëGüGÁH¼HàG>>GI¡¨¨SS¡S S¹S²SéT"òT¥T"®T¾ST
TV"¤V×U"àUT>>WÊW÷X]ðXY YåYàYüXéWUâWùWXÏXÊXîW>>GI £¥ÚÚÛ:Ú:í:ì:ÿ:þ:;;«?"´?ç>"ð>;ë;
ä;Ý@"æ@@"¢@ð;>>Á<*¾<ý<ö<¥B"®BáA"êA=û<
ô<×C"àCC"C=>>GI>h>÷>ö>??µE"¾EñD"úD?ã?
Ü?çF"ðF£F"¬Fè?>>ç>*ä>£??¯H"¸HëG"ôG¨?¡?
?áI"êII"¦I¦?>>GI¡ÆÆÐÓÕ¼¼µ"´"Ç"Æ"Ù"Ø"ë"ê"#ü"'" 'Ó&"Ü&#×#
Ð#É("Ò(
("(Ü#>>$*ª$é$â$*"*Í)"Ö)î$ç$
à$Ã+"Ì+ÿ*"+ì$>>GIï%hì%ã&â&û&ô&¡-"ª-Ý,"æ,'Ï'
È'Ó."Ü..".Ô'>>Ó&*Ð&''0"¤0×/"à/''
'Í1"Ö11"1'>>GI¡ÆÆå2Ôâ2Å9Ä9×9Ö9ï9è9;"¨;Û:"ä:ô9Ã:
¼:Ñ<"Ú<<"<È:>>Ñ=ÊÎ=?]¦?Å?Ö?@@²?>U>¯>À>
??¤>>>GI4 ª4Ù7Ø7ñ7ê7ë8"ô8§8"°8ö7å9UÞ9õ9:Ë:Æ:ê9>>5Ê5ù6]ò67¢7ç7â7þ6ë5Uä5û56Ñ6Ì6ð5>>GI¡ÆÆÏѦ¦õ¼
ò½¼ÏÎáàùò"¦Ù"âþÍ
ÆÏ"Ø"Ò>>£* ßØ " Ó"ÜäÝ
ÖÉ!"Ò!
!"!â>>GIÕ" Ò"&&&&'"'Ï&"Ø&&(U((®(ó(î((>>Å#ÊÂ#¡%]%¹%Ê%&&¦%$U$£$´$ù$ô$$>>GI¡ÆÆíÔêÍÌßÞ÷ð§"°ã"ìüË
ÄÙ"â"Ð>>ÙÊÖµ]®ÍÞ£º§U ·È¬>>GIµ ²áàùòó"ü¯"¸þíUæýÓÎò>>¥Ê¢]úªïêóUìÙÔø>>GI¡ÆÆÏѦ¦¯±æ
æ
ï
ñ
¼¼ÝhÜhïhîhiiii¥i¤i½i¶iË"ÔÂij
jÑ"Ú"j>>çj*äj£kkË"Ô"¨k¡k
ký"¹"¦k>>GI©lh¦lmmµm®m¹|"Â|õ{"þ{ºmn
në}"ô}§}"°}n>>m*mÉmÂm³"¼ï~"ø~ÎmÇm
Àmå"î¡"ªÌm>>GI¡ÆÆ¿oä¼o¯q®qÁqÀqÙqÒqt"tËs"ÔsÞqr
¦rÁu"Êuýt"u²r>>s*s¿s¸sw"wÅv"ÎvÄs½s
¶s»x"Äx÷w"xÂs>>GIûphøpïqîqrrz"¢zÕy"ÞyrÛr
ÔrË{"Ô{{"{àr>>ßq*Üqrr}"}Ï|"Ø| rr
rÅ~"Î~~"~r>>GI¡ÆÆÏѦ¦½¼
º
©¨Áºå"î¡"ªÆ
" Ó"Ü>>ë*è§ ß"è"¤¬¥
"Í"Öª>>GI ɢȢá¢Ú¢Û£"䣣" £æ¢Õ¤UΤå¤ö¤»¥¶¥Ú¤>> Ê é¡]â¡¢¢×¢Ò¢î¡Û UÔ ë ü Á¡¼¡à >>GI¡ÆƵԲ§¦¿¸ï"ø«"´Ä
¡"ªÝ"æ>>¡Êý]ö¦ëæïUèÿÕÐô>>GIý ú©¨Áº»"Ä÷"ƵU®ÅÖº>>íÊêÉ]Âáò·²Î»U´ËÜ¡À>>GI¡ÆÆÏѦ¦¯±æ
æ
ð
¸ó
÷
ð
¾ð
°ü °¯ÐдÐÃ È ×HèÜHë¤ñ÷ò±·±¸ 'ã
éï
ì
©
ø¯
©
°
'/1ffë
Hüð
Hÿ
¸
©¦¥¦Å´ËÅÌ '÷°ý¡Ê½öÃ½Ä '/1ffsuîî Ð £H´¨H·ð½Ãá×$Ý×Þý %ý '¯èµ»ÙÏ(ÕÏÖõ&ûõü '/1ff·HȼHËÑ×õëÜñëòÞ 'ÃüÉÏíãÌéãêø '/1ffsuîîûýþþëÐðÐÿ À H¤H§à³ÑÇê5ÍÇÎíø6óíô 'Ø¥«É¿ä9Å¿Æåð7ëåì '/1ff§H¸¬H»ôÁÇåÛ>áÛâ¬? '³ì¹¿ÝÓÂ:ÙÓÚùî9ÿù '/1ffsuîîË Ð ßHðäHó¬ùÿ'¹'¿¹À 'ë¤ñ÷Î'±ú&·±¸ '/1ffóHøHÀ±§æ$§®Íè$ÓÍÔ 'ÿ¸
©Ö#¥¦Å#ËÅÌ '/1ffsuîîûýþþµî$ÀÏ!!ô$¨!É"×" ú$Ü" ë"Hü#ð"Hÿ"¸#
##©##ÚG¥##¦#Å#èHË#Å#Ì# '÷#°$ý#$¡$$ÔK$$$½$àIÃ$½$Ä$ '/1ffÿ$Hò%%E
%à%ýKù%é%å%ù%©%â%¯%µ%Ó%É%ÚNÏ%É%Ð%ï%èOõ%ï%ö% '00IKY[ÔÔ#H¬$ #H¯#è#µ#»#Ù#Ï#èWÕ#Ï#Ö#õ#öXû#õ#ü# '§$à$$³$Ñ$Ç$TÍ$Ç$Î$í$¸Só$í$ô$ '/1ffsxyÞÞ¿! $Ä! Ó!Hä"Ø!Hç! "í!ó!"" ?""""¢?³""´" 'ß"#å"ë"#ÿ"â?
#ÿ"#¥#?«#¥#¬# '/1ffç#Hø$ì#Hû#´$$$¥$$ú<¡$$¢$Á$ü<Ç$Á$È$ 'ó$¬%ù$ÿ$%%ê;%%%¹%;¿%¹%À% '/1ffsuîîûòò´
´
Ù
°ºÞ
°í
Ðò
Ð Â H¦H©â¯µÓɺÏÉÐïÈõïö '¡Ú§ËÁ´ÇÁÈçÀíçî '/1ff©Hº®H½öÃÉçÝîãÝäü 'µî»ÁßÕÛÕÜû¾û '/1ffsuîîÍ Ò áHòæHõ®ûÚ »è¡Á»Â 'í¦óùÔ¤³à¢¹³º '/1ffõHúH³©¤¯©°Ï¦ÕÏÖ 'º«¡§¡¨ÇÀÍÇÎ '/1ffsuîîûýþþ©Ðʮн þ ÑHâÖHåëñ
r
«r±«² 'ÝãéýÚrý£r©£ª '/1ffåHöêHù²ÿ
£¼s ¿¾sÅ¿Æ 'ñª÷ý¬r·Øq½·¾ '/1ffsuîî Ê H®¢H±ê·½ÛÑÆm×ÑØ÷Èmý÷þ '©â¯µÓÉnÏÉÐï´mõïö '/1ff±H¶HÅþËÑïå këåì¢k '½öÃÉçÝjãÝä ¼i '/1ffsuîîûýþþ¬ð¯³ÃòÈÙüÄ
ÞÿÛ
í
tÄ
ò
wç÷ZÆ
üZF
´£
ÊÑ
0â
0
¿
Î
â
Ñ
¦
º
©
#+-NNÝ0¾ã0éª
¾
#,/1
tö
t¡
0§
0
ß
î
ñ
Æ
Ú
É
#Á0¢Ç0Íÿ
¢
æ
úé
#+-^^loqýüü¥tªt¹0¿0Å÷
Þ
òá
#Ù0ºß0å¦
º©
þ
#+-^^töt¡0§0ßî
ñ
Æ
ÚÉ
#Á0¢Ç0Íÿ
¢
æ
úé
#+-^^kmÞÞüüt¢t±0·0½ïþ
Ö
êÙ
#Ñ0²×0Ý
²¡
ö
ù
#+-^^
tît0ú0¥×æ
úé
¾
ÒÁ
#¹0¿0Å÷
Þ
òá
#+-^^kmÞÞëíÞÞëí»ÔÀÏüÈ
ÔüãtÌèt÷0Øý0µÄ
ØÇ
°
#0ø0£Õä
øç
¼
п
#+-^^Ë t´Ð tß 0À
å 0ë
¬
À
¯
#ÿ
0à
0½Ì
àÏ
¤
¸§
#+-^^kmÞÞÇüÀÌüÛtÄàtï0Ð
õ0û
¼
Ð
¿
¨
#0ð0ÍÜ
ðß
´
È·
#+-^^Ãt¬Èt×0¸Ý0ã¤
¸§
ü
ÿ
#÷0Øý0µÄ
ØÇ
°
#+-^^kmÞÞëíÞÞì
ïóì
ììðì«l°l¿,Å,ËùÝßéð㡨
+ß,¸å,ëýÿµ·ÁÈ»
+35nnlìl§,,³áÅÇÑØËýÿ
+Ç, Í,Ó åçñøë © ° £
+35nn{}þþ
k
+É×, Ý,ãõ÷û©
¦#Ýßéðã@ <Iý
,Ö,·§®¡ÓÕßæÙ
+3<9¡²²×ì°ÜìëlÄðlÿ,Ø
,¹©°£Õ×áèÛ
+,ø¥,«Ù½¿ÉÐÃõ÷û
+35nnÓl¬Ølç,Àí,ó¡
½¿ÉÐÃ
+,à,Á¥§±¸«Ýßéðã
+35nn{}þþΣ Ш ¹4¾;óÕ×åðÛÎÁ¢½ÅÐà 13||4³4¹ïÿ
×ÙçòÝ
+Ý4Æã4鯱¿Êµ¢
+35nn{}ÄÄé|âî|ý4æ4¿ÏÑßêÕ§©·Â
+4³4¹ïÿ
×ÙçòÝ
+35nn|Ð|Ò|0¤±¨µ4»4Á÷ÓÕãîÙ£®
+44=
KMq4Úw4}³ªÏÑßêÕ
+47;MDHeguk^=?MXC.%"
+JOP^3_8òòÿ{ÖÖæçõ¸
¸
Ç
ðµÌ
ëÞÞî«ï°â*â*ñ*ô
ã5ö*ï
®GÍGËGÍGãÔ ®GËGãGÇGÕËGØ+/;?KO[_ko{wW,C54A=?<}B@FDC+C3C;ALåOá^J×Ý÷íYS*C@I §ßÔ¥§âÔO _H`d;_YX a giA(f I qk·
}sÈ
Ñzi0 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 A[128]
i129 A[129]
i130 A[130]
i131 A[131]
i132 A[132]
i133 A[133]
i134 A[134]
i135 A[135]
i136 A[136]
i137 A[137]
i138 A[138]
i139 A[139]
i140 A[140]
i141 A[141]
i142 A[142]
i143 A[143]
i144 A[144]
i145 A[145]
i146 A[146]
i147 A[147]
i148 A[148]
i149 A[149]
i150 A[150]
i151 A[151]
i152 A[152]
i153 A[153]
i154 A[154]
i155 A[155]
i156 A[156]
i157 A[157]
i158 A[158]
i159 A[159]
i160 A[160]
i161 A[161]
i162 A[162]
i163 A[163]
i164 A[164]
i165 A[165]
i166 A[166]
i167 A[167]
i168 A[168]
i169 A[169]
i170 A[170]
i171 A[171]
i172 A[172]
i173 A[173]
i174 A[174]
i175 A[175]
i176 A[176]
i177 A[177]
i178 A[178]
i179 A[179]
i180 A[180]
i181 A[181]
i182 A[182]
i183 A[183]
i184 A[184]
i185 A[185]
i186 A[186]
i187 A[187]
i188 A[188]
i189 A[189]
i190 A[190]
i191 A[191]
i192 A[192]
i193 A[193]
i194 A[194]
i195 A[195]
i196 A[196]
i197 A[197]
i198 A[198]
i199 A[199]
i200 A[200]
i201 A[201]
i202 A[202]
i203 A[203]
i204 A[204]
i205 A[205]
i206 A[206]
i207 A[207]
i208 A[208]
i209 A[209]
i210 A[210]
i211 A[211]
i212 A[212]
i213 A[213]
i214 A[214]
i215 A[215]
i216 A[216]
i217 A[217]
i218 A[218]
i219 A[219]
i220 A[220]
i221 A[221]
i222 A[222]
i223 A[223]
i224 A[224]
i225 A[225]
i226 A[226]
i227 A[227]
i228 A[228]
i229 A[229]
i230 A[230]
i231 A[231]
i232 A[232]
i233 A[233]
i234 A[234]
i235 A[235]
i236 A[236]
i237 A[237]
i238 A[238]
i239 A[239]
i240 A[240]
i241 A[241]
i242 A[242]
i243 A[243]
i244 A[244]
i245 A[245]
i246 A[246]
i247 A[247]
i248 A[248]
i249 A[249]
i250 A[250]
i251 A[251]
i252 A[252]
i253 A[253]
i254 A[254]
i255 A[255]
i256 A[256]
i257 A[257]
i258 A[258]
i259 A[259]
i260 A[260]
i261 A[261]
i262 A[262]
i263 A[263]
i264 A[264]
i265 A[265]
i266 A[266]
i267 A[267]
i268 A[268]
i269 A[269]
i270 A[270]
i271 A[271]
i272 A[272]
i273 A[273]
i274 A[274]
i275 A[275]
i276 A[276]
i277 A[277]
i278 A[278]
i279 A[279]
i280 A[280]
i281 A[281]
i282 A[282]
i283 A[283]
i284 A[284]
i285 A[285]
i286 A[286]
i287 A[287]
i288 A[288]
i289 A[289]
i290 A[290]
i291 A[291]
i292 A[292]
i293 A[293]
i294 A[294]
i295 A[295]
i296 A[296]
i297 A[297]
i298 A[298]
i299 A[299]
i300 A[300]
i301 A[301]
i302 A[302]
i303 A[303]
i304 A[304]
i305 A[305]
i306 A[306]
i307 A[307]
i308 A[308]
i309 A[309]
i310 A[310]
i311 A[311]
i312 A[312]
i313 A[313]
i314 A[314]
i315 A[315]
i316 A[316]
i317 A[317]
i318 A[318]
i319 A[319]
i320 A[320]
i321 A[321]
i322 A[322]
i323 A[323]
i324 A[324]
i325 A[325]
i326 A[326]
i327 A[327]
i328 A[328]
i329 A[329]
i330 A[330]
i331 A[331]
i332 A[332]
i333 A[333]
i334 A[334]
i335 A[335]
i336 A[336]
i337 A[337]
i338 A[338]
i339 A[339]
i340 A[340]
i341 A[341]
i342 A[342]
i343 A[343]
i344 A[344]
i345 A[345]
i346 A[346]
i347 A[347]
i348 A[348]
i349 A[349]
i350 A[350]
i351 A[351]
i352 A[352]
i353 A[353]
i354 A[354]
i355 A[355]
i356 A[356]
i357 A[357]
i358 A[358]
i359 A[359]
i360 A[360]
i361 A[361]
i362 A[362]
i363 A[363]
i364 A[364]
i365 A[365]
i366 A[366]
i367 A[367]
i368 A[368]
i369 A[369]
i370 A[370]
i371 A[371]
i372 A[372]
i373 A[373]
i374 A[374]
i375 A[375]
i376 A[376]
i377 A[377]
i378 A[378]
i379 A[379]
i380 A[380]
i381 A[381]
i382 A[382]
i383 A[383]
i384 A[384]
i385 A[385]
i386 A[386]
i387 A[387]
i388 A[388]
i389 A[389]
i390 A[390]
i391 A[391]
i392 A[392]
i393 A[393]
i394 A[394]
i395 A[395]
i396 A[396]
i397 A[397]
i398 A[398]
i399 A[399]
i400 A[400]
i401 A[401]
i402 A[402]
i403 A[403]
i404 A[404]
i405 A[405]
i406 A[406]
i407 A[407]
i408 A[408]
i409 A[409]
i410 A[410]
i411 A[411]
i412 A[412]
i413 A[413]
i414 A[414]
i415 A[415]
i416 A[416]
i417 A[417]
i418 A[418]
i419 A[419]
i420 A[420]
i421 A[421]
i422 A[422]
i423 A[423]
i424 A[424]
i425 A[425]
i426 A[426]
i427 A[427]
i428 A[428]
i429 A[429]
i430 A[430]
i431 A[431]
i432 A[432]
i433 A[433]
i434 A[434]
i435 A[435]
i436 A[436]
i437 A[437]
i438 A[438]
i439 A[439]
i440 A[440]
i441 A[441]
i442 A[442]
i443 A[443]
i444 A[444]
i445 A[445]
i446 A[446]
i447 A[447]
i448 A[448]
i449 A[449]
i450 A[450]
i451 A[451]
i452 A[452]
i453 A[453]
i454 A[454]
i455 A[455]
i456 A[456]
i457 A[457]
i458 A[458]
i459 A[459]
i460 A[460]
i461 A[461]
i462 A[462]
i463 A[463]
i464 A[464]
i465 A[465]
i466 A[466]
i467 A[467]
i468 A[468]
i469 A[469]
i470 A[470]
i471 A[471]
i472 A[472]
i473 A[473]
i474 A[474]
i475 A[475]
i476 A[476]
i477 A[477]
i478 A[478]
i479 A[479]
i480 A[480]
i481 A[481]
i482 A[482]
i483 A[483]
i484 A[484]
i485 A[485]
i486 A[486]
i487 A[487]
i488 A[488]
i489 A[489]
i490 A[490]
i491 A[491]
i492 A[492]
i493 A[493]
i494 A[494]
i495 A[495]
i496 A[496]
i497 A[497]
i498 A[498]
i499 A[499]
i500 A[500]
i501 A[501]
i502 A[502]
i503 A[503]
i504 A[504]
i505 A[505]
i506 A[506]
i507 A[507]
i508 A[508]
i509 A[509]
i510 A[510]
i511 A[511]
i512 A[512]
i513 A[513]
i514 A[514]
i515 A[515]
i516 A[516]
i517 A[517]
i518 A[518]
i519 A[519]
i520 A[520]
i521 A[521]
i522 A[522]
i523 A[523]
i524 A[524]
i525 A[525]
i526 A[526]
i527 A[527]
i528 A[528]
i529 A[529]
i530 A[530]
i531 A[531]
i532 A[532]
i533 A[533]
i534 A[534]
i535 A[535]
i536 A[536]
i537 A[537]
i538 A[538]
i539 A[539]
i540 A[540]
i541 A[541]
i542 A[542]
i543 A[543]
i544 A[544]
i545 A[545]
i546 A[546]
i547 A[547]
i548 A[548]
i549 A[549]
i550 A[550]
i551 A[551]
i552 A[552]
i553 A[553]
i554 A[554]
i555 A[555]
i556 A[556]
i557 A[557]
i558 A[558]
i559 A[559]
i560 A[560]
i561 A[561]
i562 A[562]
i563 A[563]
i564 A[564]
i565 A[565]
i566 A[566]
i567 A[567]
i568 A[568]
i569 A[569]
i570 A[570]
i571 A[571]
i572 A[572]
i573 A[573]
i574 A[574]
i575 A[575]
i576 A[576]
i577 A[577]
i578 A[578]
i579 A[579]
i580 A[580]
i581 A[581]
i582 A[582]
i583 A[583]
i584 A[584]
i585 A[585]
i586 A[586]
i587 A[587]
i588 A[588]
i589 A[589]
i590 A[590]
i591 A[591]
i592 A[592]
i593 A[593]
i594 A[594]
i595 A[595]
i596 A[596]
i597 A[597]
i598 A[598]
i599 A[599]
i600 A[600]
i601 A[601]
i602 A[602]
i603 A[603]
i604 A[604]
i605 A[605]
i606 A[606]
i607 A[607]
i608 A[608]
i609 A[609]
i610 A[610]
i611 A[611]
i612 A[612]
i613 A[613]
i614 A[614]
i615 A[615]
i616 A[616]
i617 A[617]
i618 A[618]
i619 A[619]
i620 A[620]
i621 A[621]
i622 A[622]
i623 A[623]
i624 A[624]
i625 A[625]
i626 A[626]
i627 A[627]
i628 A[628]
i629 A[629]
i630 A[630]
i631 A[631]
i632 A[632]
i633 A[633]
i634 A[634]
i635 A[635]
i636 A[636]
i637 A[637]
i638 A[638]
i639 A[639]
i640 A[640]
i641 A[641]
i642 A[642]
i643 A[643]
i644 A[644]
i645 A[645]
i646 A[646]
i647 A[647]
i648 A[648]
i649 A[649]
i650 A[650]
i651 A[651]
i652 A[652]
i653 A[653]
i654 A[654]
i655 A[655]
i656 A[656]
i657 A[657]
i658 A[658]
i659 A[659]
i660 A[660]
i661 A[661]
i662 A[662]
i663 A[663]
i664 A[664]
i665 A[665]
i666 A[666]
i667 A[667]
i668 A[668]
i669 A[669]
i670 A[670]
i671 A[671]
i672 A[672]
i673 A[673]
i674 A[674]
i675 A[675]
i676 A[676]
i677 A[677]
i678 A[678]
i679 A[679]
i680 A[680]
i681 A[681]
i682 A[682]
i683 A[683]
i684 A[684]
i685 A[685]
i686 A[686]
i687 A[687]
i688 A[688]
i689 A[689]
i690 A[690]
i691 A[691]
i692 A[692]
i693 A[693]
i694 A[694]
i695 A[695]
i696 A[696]
i697 A[697]
i698 A[698]
i699 A[699]
i700 A[700]
i701 A[701]
i702 A[702]
i703 A[703]
i704 A[704]
i705 A[705]
i706 A[706]
i707 A[707]
i708 A[708]
i709 A[709]
i710 A[710]
i711 A[711]
i712 A[712]
i713 A[713]
i714 A[714]
i715 A[715]
i716 A[716]
i717 A[717]
i718 A[718]
i719 A[719]
i720 A[720]
i721 A[721]
i722 A[722]
i723 A[723]
i724 A[724]
i725 A[725]
i726 A[726]
i727 A[727]
i728 A[728]
i729 A[729]
i730 A[730]
i731 A[731]
i732 A[732]
i733 A[733]
i734 A[734]
i735 A[735]
i736 A[736]
i737 A[737]
i738 A[738]
i739 A[739]
i740 A[740]
i741 A[741]
i742 A[742]
i743 A[743]
i744 A[744]
i745 A[745]
i746 A[746]
i747 A[747]
i748 A[748]
i749 A[749]
i750 A[750]
i751 A[751]
i752 A[752]
i753 A[753]
i754 A[754]
i755 A[755]
i756 A[756]
i757 A[757]
i758 A[758]
i759 A[759]
i760 A[760]
i761 A[761]
i762 A[762]
i763 A[763]
i764 A[764]
i765 A[765]
i766 A[766]
i767 A[767]
i768 A[768]
i769 A[769]
i770 A[770]
i771 A[771]
i772 A[772]
i773 A[773]
i774 A[774]
i775 A[775]
i776 A[776]
i777 A[777]
i778 A[778]
i779 A[779]
i780 A[780]
i781 A[781]
i782 A[782]
i783 A[783]
i784 A[784]
i785 A[785]
i786 A[786]
i787 A[787]
i788 A[788]
i789 A[789]
i790 A[790]
i791 A[791]
i792 A[792]
i793 A[793]
i794 A[794]
i795 A[795]
i796 A[796]
i797 A[797]
i798 A[798]
i799 A[799]
i800 A[800]
i801 A[801]
i802 A[802]
i803 A[803]
i804 A[804]
i805 A[805]
i806 A[806]
i807 A[807]
i808 A[808]
i809 A[809]
i810 A[810]
i811 A[811]
i812 A[812]
i813 A[813]
i814 A[814]
i815 A[815]
i816 A[816]
i817 A[817]
i818 A[818]
i819 A[819]
i820 A[820]
i821 A[821]
i822 A[822]
i823 A[823]
i824 A[824]
i825 A[825]
i826 A[826]
i827 A[827]
i828 A[828]
i829 A[829]
i830 A[830]
i831 A[831]
i832 A[832]
i833 A[833]
i834 A[834]
i835 A[835]
i836 A[836]
i837 A[837]
i838 A[838]
i839 A[839]
i840 A[840]
i841 A[841]
i842 A[842]
i843 A[843]
i844 A[844]
i845 A[845]
i846 A[846]
i847 A[847]
i848 A[848]
i849 A[849]
i850 A[850]
i851 A[851]
i852 A[852]
i853 A[853]
i854 A[854]
i855 A[855]
i856 A[856]
i857 A[857]
i858 A[858]
i859 A[859]
i860 A[860]
i861 A[861]
i862 A[862]
i863 A[863]
i864 A[864]
i865 A[865]
i866 A[866]
i867 A[867]
i868 A[868]
i869 A[869]
i870 A[870]
i871 A[871]
i872 A[872]
i873 A[873]
i874 A[874]
i875 A[875]
i876 A[876]
i877 A[877]
i878 A[878]
i879 A[879]
i880 A[880]
i881 A[881]
i882 A[882]
i883 A[883]
i884 A[884]
i885 A[885]
i886 A[886]
i887 A[887]
i888 A[888]
i889 A[889]
i890 A[890]
i891 A[891]
i892 A[892]
i893 A[893]
i894 A[894]
i895 A[895]
i896 A[896]
i897 A[897]
i898 A[898]
i899 A[899]
i900 A[900]
i901 A[901]
i902 A[902]
i903 A[903]
i904 A[904]
i905 A[905]
i906 A[906]
i907 A[907]
i908 A[908]
i909 A[909]
i910 A[910]
i911 A[911]
i912 A[912]
i913 A[913]
i914 A[914]
i915 A[915]
i916 A[916]
i917 A[917]
i918 A[918]
i919 A[919]
i920 A[920]
i921 A[921]
i922 A[922]
i923 A[923]
i924 A[924]
i925 A[925]
i926 A[926]
i927 A[927]
i928 A[928]
i929 A[929]
i930 A[930]
i931 A[931]
i932 A[932]
i933 A[933]
i934 A[934]
i935 A[935]
i936 A[936]
i937 A[937]
i938 A[938]
i939 A[939]
i940 A[940]
i941 A[941]
i942 A[942]
i943 A[943]
i944 A[944]
i945 A[945]
i946 A[946]
i947 A[947]
i948 A[948]
i949 A[949]
i950 A[950]
i951 A[951]
i952 A[952]
i953 A[953]
i954 A[954]
i955 A[955]
i956 A[956]
i957 A[957]
i958 A[958]
i959 A[959]
i960 A[960]
i961 A[961]
i962 A[962]
i963 A[963]
i964 A[964]
i965 A[965]
i966 A[966]
i967 A[967]
i968 A[968]
i969 A[969]
i970 A[970]
i971 A[971]
i972 A[972]
i973 A[973]
i974 A[974]
i975 A[975]
i976 A[976]
i977 A[977]
i978 A[978]
i979 A[979]
i980 A[980]
i981 A[981]
i982 A[982]
i983 A[983]
i984 A[984]
i985 A[985]
i986 A[986]
i987 A[987]
i988 A[988]
i989 A[989]
i990 A[990]
i991 A[991]
i992 A[992]
i993 A[993]
i994 A[994]
i995 A[995]
i996 A[996]
i997 A[997]
i998 A[998]
i999 A[999]
i1000 A[1000]
o0 maj
c
top
This file was written by ABC on Thu Mar 5 17:49:49 2015
For information about AIGER format, refer to http://fmv.jku.at/aiger