aig 18548 64 0 128 18484 2 0 132 140 159 186 226 270 336 402 490 582 686 792 902 1032 1173 1322 1486 1654 1828 2014 2206 2398 2602 2826 3060 3300 3540 3792 4068 4336 4632 4912 5224 5536 5855 6188 6542 6892 7256 7618 7996 8388 8796 9202 9638 10050 10524 10972 11424 11894 12375 12854 13341 13848 14380 14912 15458 15984 16544 17108 17694 18282 18879 19458 20039 20604 21162 21696 22236 22774 23283 23776 24273 24744 25234 25692 26150 26596 27034 27452 27889 28298 28708 29104 29497 29854 30221 30562 30912 31252 31583 31894 32197 32480 32774 33058 33327 33576 33836 34060 34301 34532 34747 34946 35142 35324 35503 35674 35833 35984 36127 36252 36369 36482 36583 36678 36767 36838 36908 36966 37002 37040 37062 37080 37092 37097 ~ @$ '&,4704  75!Nr   + ;= ? @B> A1/?D    :<ca  !EGU\" VbB^aIGQL5LN NQ O  WUe ,-   !m   #%WU_ZX   ?=&`  {"lt k$$k HL rtq>X     ECnnwtD^~~    pq   ! 53zz4.J/J     w W"         IKP  ">A          "$w$     ,,0 x $             "    "$$ *  HJIJ    c$ "   !   b          PP$        "$ } (   ;9cg h2n3nS   "      [] *&  ">00P>7  $        SUb(  '*30'  "  2  q.&   ::Z "*#%,, Kec h   0`c_,     (            FF2*       &"  .   !#<>NN *)(         4 #!15 D&0  !#)+221U6& 6}  ""&qs  .       $\\},(~$  GE 4!**b "80    BB]_egnn#F1 PQ:2 %#59 ."  .     * &  6zz<BEA8  OSdd4     $  @@:  &  ,      ! $   !!!!    (qszzD!!  !*!" !!!"!!" !!!!"""2".   ""*  ">" "" """"  $#IK#:##%#BB"NNT! '#,#0 #$ $$$!$$$($$ $@$8$#    $$$$  $4$%%%% WY  %<'%&NN&!&%&& &B& !+-&%& !&2&&'&.&$&"&*  ''''' ``  ''>''     '(''  \\TRS(( (((( _  ( (0( ()   ))) ) )&)) )()$ ca,,')@/349a")R)h*)**8*4 *D #%,,?=FFaf#! +(# +.  +++++++ +"+,++, +F+>++ ,:,,      ,,,,  WU0@@$ ,B,/17;<AM;o"?wZ!#--.- -.-,  V-.-4.$  .+#.. .,.( .H.D. .-..<.8    /// / =?bdln>> %(0/0000  >FF0, 0 + 060" 001001 1',0b0 1:1 111B1>1011111&'$12  1. ac$#1F2!')/17:C@eh$$ 242$+28   3 333 3  3( &3* "  303, caz~ "3H!!%#4,4,44 4<4   4L4D44 445445 ;9BBxx|%5N%555  f g $n  OQYWll 6>666 666!!6666  (6: 6&WUnr 76707B777 ! 7777 76 +7*  72 frr$q+Z44 O"  #%+.|$}$8P8H88$ $9494 + 90 98909<9 99  ]_99:9 9:" $::::8:(:.:: :L%%$$#*d&);N;-/75[$;;;R;J;<<;;< AC<:<&< 26< 7 <<<''<<<= <18>(> 36>> a_>:|:) >4>0 CA>0">=>H>>?'# ??? ?  ?0?.?? ?D?  ge ?T?P''  ?@?$?@..  ((|| "f!#),H{O,j&`-ARA )+139<gu=AN AVAJAB$ABBB &  BBB* ( 5B4  B6B. BBB,'BBBC BBB"CBBC Y[ ! 2C2C>C*CC 66ddDD&DD DDD)#  D D  D@D4 D :DB  D2+A H:H6  -1IIII /I4IFI&II%")III/ "DF "" (  << 5%@- u JHJ J<KJ JK%KDK(KK ^^mowuK\KLKKKV KL0L=2LL L0 (%, LLL L * &LLLL L@L<LI <<$f^^MX..  13::RRb" ; /3 [X}N8(N @NO NBN.  NZON,O O^OVON )%%OOOO / &. PPP1PCPOP:$ PP P"!&HP8  P:P2 PQP95PQPQ PBPNP8 PQPFQ&   "ac4 (jQHQ,QRQD QN R@ R< >  ",,;>JJ(THTSTTT TT !+-bNN    qtyz#"0UFUBMUU UU34UUUU UFU8$%UVUJU*   UZ UUVV VV4 (/VVVV M9VFVV V:UdUJVUVWVVRVN +0( WWWW FF"2  #&"h"?W^X..WZ_ #`+4 XIX:"'% XPX( XYYD7YYYY YdY\YX YIUY<+YZ YTY   3&/YZZZ  MYKZHZ,ZZZT LZ:ZZ Z@#5!3 FZ[Z< _a``  -+"[`::jj&E&&RRV% \fhkg\b\\  #$\\\\\]  G1\R]&]];/6]]]]   ]N]N]]&+ ]]].  ]< L]> ]F]2 ]^]B"6 K ^>^:>^^^^ []"!#`^^^]^^ __ _Z_V !# =? ""  &&tt  /_``\`_````g$`d::$$_]W `D`Xa$``a  \bb&%(35wy,aY SaTb(  aP  b@Kb]H  b<bLbH Sbbbb )$b,%+ bb bcA 4< ccc c   cD$C$ c4^^zzcbc^cc d&d"*+dccd 5'(&)dddd  SdR%dN%% d<RdJd2  dF  dVe*e@%edde]_eBe:CH ee?2;Cee   fEBefef hhZZ Jfff!jj    (**G )eglgh>>  9h+< hh hhA 4>hhhB;=^`hjsudBB"&&GEiXi$i:2$3  iiE!>Giji@i< iai>&%6ijiTj,   cjhji  j`j\ jjjPj0RjL jH Q! jD!_azz"  ')!+,kVk*k@'lk klk VFkJk6kl MOUX`bjll4mljlfm&m"6'mllm @@<FHv';Mm@  mB mnmLLmnmn mRmN[nnnn nmm>mn nfn^ no0(B=nnnHnDJ5! oo  a_&   #'(-oTo,]oB(  opG'>Oopp@ pBp[F1 pPp4 2"+-p. pp ppFL7pqp q p@PpBpq qH acqpqpqhqpq `q`q$qr !>>   qlTT  ""36?A "d?BJLr\s(r`ssss53NVU' $$b$>> !((KI tB\tD" tRt2 tuC/2;#uuuu  <OFuuuu  caz~ utuuut  ujub uvu&u"10vuuv uNvJZvvvv vFvl&G vvK Pvwvw vD+vb80vw vZv.  \\wrwnww  ,,;=CEKNVU{.f#!53g& xpJJ')"xx""  &&][yypytydyly$y 5/zyyz yo)CyzyPz4  zXzT`zz zzI5&Azzzz ATFL IzJWY0{qV {H% {{'Ko$M{D {\{(|{{| WYsv%,5^!#)+31-HX|f |F|> |}|B}VV  }6}21>}}}} }n}j}| t}H8}b}*}~ ?=}D,}i n }Z~. }~~ v~ i[~~~N. :.,:18~"~ ~M9/E!  ~6eP~BY v   ca  $XXX]"r)&;>IFacik/aof#%+-53|x lh 46H B)ށ$   P <#H߁ w1B T8 x"W zL<  FFxtOO  T 3) )nF.X0$V|-L HD n s`؃, acll&  ||  %(1.SV^]g^Zr ȅm5B܅V6 GYTۅ QfhL܅njƀ "$v%(ZYcf$ "  &&HL‡ 3HȇR. ܇>  /(XH 'Y J^OЈֈ  lp  rf ؈*܈&6=ĈɈ R863  ceڇ É ̉lЉh ! j_a\4H(:@F, ˊL^Y  >5RL#  |t (‹T   qlH!Nj ЋT8  m6JP@ -V2R,W،HD  d`Ì_a$""<<xii)+=?}["`&&HH^b||""&~h&׏  K =0B1 ^J'V   ;=_aoq x   -Z7ON   J f.đ ΑXX wzđ^ܑ2   Α ґϒڑ rn *&A: BB  'BA:b<ddh$i$  ((9<DFNP,d:P)/d~ H5N.C;,( U#X&B:  `/Д ڔ[H.]Wڔޔ  nV   @D84     tp >>  #' & o  pXD%j(d,a͖ΖTҖP  =?WYik*-p==ZM>T~  ((9;ACKI&hN:4X8T#J˜F  ;=Y[ZZ"&(.H. ʇZ2G67LH9ϙ֙"ڙ  U"G)M, V6 \^ i^74vКК00 Ԛ.ؚ*J:šȚ ֚ ߚΛ jf BB  !$  v"A|\  /2qj  hd <&&iksv*.ޕt Y"K4Q+  8T(n ̞B@̞R4  `$ G@(^J?Þʞ0Ξ,   L.Ϟ՞ PH0d Ɵbfڟ * ?Rbb MO  "" |%( GYN0 0O-̠*Ҡ2ޠ bɡԠ٠С rj6> pch c9)ΡVR+l   ¡fơbօܑҎ ϡQ8Y*K;*& آ8^F  ac  "" "DDn  22IKUS &tΣJ-գ ޣZ6 N   LLbY &؎ͤФ$$;=EH     ..  &&GIORP(%x{`\ gjT0Ŧ̦Ц  tp٦ߦ @<FP{{nrb  X0T0  0LH6f§2j  ˧S8,0  \'b$X5$  ]_X+>\>;ETFB jm W0 k=xnЩ xrud ݩ 94j֩D'ߩ'QO!fb S;4`V<Ȫ*̪&  "_+Ū -t1o)zҫZV  62LI @@ ^ZZ  #%/- "DD &&?=FF!1Jl    LP p0 or\+ TP!ܮ ^/f"W2Ǯή$Ү   JONK@< ][&zd` 9g=c1L#!.xD4 ƯX`zzqk j/1Dhh  &(02LKu )'_ "" >>**  &&CEj4ܲ HUHUNOB²>  yn nnyJJ!Գnf  13g)m(c.γҳ ɳuxa'  J0>g *ހڴ'7r RN `0e.^:ʹش&;=VV  ! d&li%̵j )+,CAe<BB::  ((IGP4Ҷ ׶̶<ж8RMjj L̕Ag@ , "̌ hd  0,XC "!CE6u..XT θa4AMd4ĸ$  Dĸ k  WYqt}!+,;^g#W VR:u1~1~ ڻ*&e5  @B  ʻjлb# l)se4 w totļƅWYqt}FG3~"؏+̆ȽXT  "  k^  HL (*g0н82 *rھ L0>mm h4;Z_>žξ(Ҿ$ Ծ@AI`־M[  pʀ  84[L OQ``  %'-0,  !#)+139;#{P  !((KIfJX : 8  0}}b0Ԇ9}0҆ZV }@VAs N.  l4?fc=&" ca\\"  #'(-F2 w}ss UON_<  >6 fhf^^w$`13{ """  o/BUf=$  sct  84[Oss 4={4چXT 0,f@ >> .p L<tt Q_VY:w.D@ []cekmsu{%6B|}$$ &&YW@Xs+b"    wgx  s_j||^LhPdHlF&j=p*& >> 6B2 U^"YV>:  xt( bakmsu{},Bu9Ђ PH k>3{hB,( 7‡45\X $ m4 vV9x% x[R|WZD Y[xx&&IGB x 4̕t| t̕ZZ WZmk %`ZW x% B2:  @@[Y"V""  !((p,ZQZTZZ:6  ~  Z,Gu6?}NJ F*&q9   {'N]r&x XX""",5\,D[ |\1~#x=Is8A}LHP t&z5s6$  @8bPƲVf  <    40bOݘ UW&D         FIrq||-"s *V \cLn Fw 88 D}#|>RN ΂   (eO2.  _a6      8<  x'?tt9&" nnV   tt  $s+ |Dƀ(Pz y1  Pr>|GvH*   0,hKxx ބ xSU&eS@nn8   <@ f@@$'%  PPZK^^ %( KzgGkG06.  HH_ahhO (R   --~!  >& ]]4 ʊ VNF []g HH,(n8  JyHIPL HDNv ȁ%€. 4Tj$"  Ҙ Ȋ<06  Y[HH   .b"  1/>B   J!4R: x,t1qC&" Ԍl:  &N ҄Є*΄(  nKr>Wf2. UWJZiItRn>e'%8<>>"  km$Z%#44  3R""QVV  &&) |9xBu3$   2}} ]hLqUq@< ,֐{Б VVRzV44CFKLq? A8g  66  &&$J 2*xK WqQv6TFB ܐ    []& `[2   Ԁ1.: DD Yp`bVuD@   ށ3}"z8   80sU|| LORjj,(w7ݤ  **<<LL* H#%+.%.&|E %9|:L/mHded_62 >>"F *     ]pKM^`!$K@ ">>! %'57=?EHRQ}"  '%*a0,t?=Ԉe[ ,Js|>n=vYWpt ,Y\%{ ]s\tZzD@  iPWvag8 <  BEtv~.&?oyy j[XuaY2t ʂ$LU~0 "$BDMKvv     BQSuyz\>   (*24;=  %7`k22  }uO,  ҧ(4$$  WYX 1$   %'79?AHH_ahh<CgG rbsb !((IGwgcF!as:6 %JxH *  "}e7mG aR{äŤ>TT%#!|  SE#} ^ʜ ]y]s\ff 80 Gb04  BB.11  %'-127!WFkX_SW+-53˞: ͞ȝ {  ҏ(Œ%| >6fZ J{}< & $&EG$$  &&SH)mZ( ,  ($~4zz    bd%   kdhljX84 )ڀ}$}   ^^2 C  ʁҁ6 z  RRwuv;:‚ y=gHpMтڂ*ނ& ԑ[_č%w fhdxx#A vwUS ($zK  x2o^0RMOig~%Ԅ؄̄8, ԇ,   @?ILTS)˥ͥ2ԅYhhtER*mc.*  IGqs"u|7 u _X!ۆvډ1   Pqnȝ ӇkQffy4((vS4sH,  F|5Tk-jhΈ$҈ 8xx  _ahh,͉ ؉0>Ɖ̉ G<މii   x@ғvǦ. ɦ,.75 66  /1  0P!$ yA3$s\ʋ($ ‹ Ƌ9::6WeĎ)  dNЖWU 44 :  ,0 ' ޗޗR77.((3Bԍ ۍ ');> Z  !$8  *!ig܎$Ά?}A}; + {y(y[Yrv yEЏ,2 -0dee15"u^Ȁ-x',ϐސؐؐ   ;&7xR" "ևԇ3 BB8"**M څ(j|"}"ƀ=}>)) %#fj’( (('%dHeH ܉*&  !$$"_JՓޓ U<HH{y   "`F6Ԕc~_a?}HB  )zAڃ2ƕ  @@Y] k_>AD"][ ք1/Ԅ2Ŗ Ȗ  ޕ ږ J>>Y] ^  `4 5 .~1 qR֖ȗϗܗ ؗԦց7֗  BC@L6M6?= .SЀ>ĘȘ И Ìց q E ZZ}  uf'˙ϙ™  ֙ݙ cA?{y}   kisn Ԉ RT?{\CҚ К֚ <ٝ۝A/188ecll h ,-o a Ć#,Ѓ) ڛ)כĠrBB_]gbFЊΊ FikaSU\\ Z / # rt‹i+z| <<aUP@I 44J &ݝ R I"ÔŔHHPP#%A?A}ĉž!GNGNJ68 iK CJ ? 22̊ և‰şҟΟ'%/*$$% ( '! ' )mm  ڠ ߠi0 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] o0 asquared[0] o1 asquared[1] o2 asquared[2] o3 asquared[3] o4 asquared[4] o5 asquared[5] o6 asquared[6] o7 asquared[7] o8 asquared[8] o9 asquared[9] o10 asquared[10] o11 asquared[11] o12 asquared[12] o13 asquared[13] o14 asquared[14] o15 asquared[15] o16 asquared[16] o17 asquared[17] o18 asquared[18] o19 asquared[19] o20 asquared[20] o21 asquared[21] o22 asquared[22] o23 asquared[23] o24 asquared[24] o25 asquared[25] o26 asquared[26] o27 asquared[27] o28 asquared[28] o29 asquared[29] o30 asquared[30] o31 asquared[31] o32 asquared[32] o33 asquared[33] o34 asquared[34] o35 asquared[35] o36 asquared[36] o37 asquared[37] o38 asquared[38] o39 asquared[39] o40 asquared[40] o41 asquared[41] o42 asquared[42] o43 asquared[43] o44 asquared[44] o45 asquared[45] o46 asquared[46] o47 asquared[47] o48 asquared[48] o49 asquared[49] o50 asquared[50] o51 asquared[51] o52 asquared[52] o53 asquared[53] o54 asquared[54] o55 asquared[55] o56 asquared[56] o57 asquared[57] o58 asquared[58] o59 asquared[59] o60 asquared[60] o61 asquared[61] o62 asquared[62] o63 asquared[63] o64 asquared[64] o65 asquared[65] o66 asquared[66] o67 asquared[67] o68 asquared[68] o69 asquared[69] o70 asquared[70] o71 asquared[71] o72 asquared[72] o73 asquared[73] o74 asquared[74] o75 asquared[75] o76 asquared[76] o77 asquared[77] o78 asquared[78] o79 asquared[79] o80 asquared[80] o81 asquared[81] o82 asquared[82] o83 asquared[83] o84 asquared[84] o85 asquared[85] o86 asquared[86] o87 asquared[87] o88 asquared[88] o89 asquared[89] o90 asquared[90] o91 asquared[91] o92 asquared[92] o93 asquared[93] o94 asquared[94] o95 asquared[95] o96 asquared[96] o97 asquared[97] o98 asquared[98] o99 asquared[99] o100 asquared[100] o101 asquared[101] o102 asquared[102] o103 asquared[103] o104 asquared[104] o105 asquared[105] o106 asquared[106] o107 asquared[107] o108 asquared[108] o109 asquared[109] o110 asquared[110] o111 asquared[111] o112 asquared[112] o113 asquared[113] o114 asquared[114] o115 asquared[115] o116 asquared[116] o117 asquared[117] o118 asquared[118] o119 asquared[119] o120 asquared[120] o121 asquared[121] o122 asquared[122] o123 asquared[123] o124 asquared[124] o125 asquared[125] o126 asquared[126] o127 asquared[127] c top This file was written by ABC on Thu Mar 5 01:55:55 2015 For information about AIGER format, refer to http://fmv.jku.at/aiger