From c38a38d0d4616e673fc0d0043eeea91d7ee6095e Mon Sep 17 00:00:00 2001
From: royus <vimvimmervimmest@gmail.com>
Date: Thu, 25 Jul 2019 14:12:38 +0900
Subject: [PATCH] solve 2, 3, (6), 7

---
 .gitignore                              |   8 -
 main                                    | Bin 20236 -> 26956 bytes
 main.dSYM/Contents/Resources/DWARF/main | Bin 17831 -> 18512 bytes
 router/Makefile                         |   0
 router/ap_int.h                         |   0
 router/etc/ap_fixed_sim.h               |   0
 router/etc/ap_int_sim.h                 |   0
 router/etc/ap_private.h                 |   0
 solver.c                                | 417 +++++++++++++++++++-----
 9 files changed, 330 insertions(+), 95 deletions(-)
 delete mode 100644 .gitignore
 mode change 100755 => 100644 router/Makefile
 mode change 100755 => 100644 router/ap_int.h
 mode change 100755 => 100644 router/etc/ap_fixed_sim.h
 mode change 100755 => 100644 router/etc/ap_int_sim.h
 mode change 100755 => 100644 router/etc/ap_private.h

diff --git a/.gitignore b/.gitignore
deleted file mode 100644
index b9ace87..0000000
--- a/.gitignore
+++ /dev/null
@@ -1,8 +0,0 @@
-# Ignore ctags
-tags
-tags.lock
-
-# Ignore binaries
-.x_*
-*.gch
-*.out
diff --git a/main b/main
index 67aa4ccdaf209575a449595dc19fbd81593764bc..f2575dc283c9b9a9f662703d121d36e87cd618c4 100755
GIT binary patch
literal 26956
zcmeHw4SZD9nfIMZhC(FXNWqU*CDl?*iyACcL2wgg+`%#!l&E#<4k5{qEFp>cP_Rt}
zCu13}7h(&3y?#(%?fUk^qQx$?Y67w*QVRiHwbs{{Qc7niT_cMSVw&v#|D1DY?o7gm
zyT9H2y}w@u=H7Fj^PJ~-&U2pgJm;Qs=4MCVUj{y77@jP{Sm8Ac!^C%k&oH7!K2nBp
z7QO*|L!px5zxChZzy3Nx(?6c{?65h~c^8PG&;tL>3(`@fen~pa(0RyaKpgoJBNS??
zT-L;t`ef2ue<~V-q7ScB<;-VmT)AZ%E8N*osIjSeQDYL6Nv|!a=zUpZIC-bSXiaaF
z1}J)=s>+)B$_BtP>Aj@s-Kg=Ir{0sFA@Y?sHZ@e&F4hQ{^v2Co^8G+}0`u-q8f_GW
zLd~^zRM%F7s%yh_l27lCjp$#JVxRNFd?pQ5qOPfaon5@3*j0l56Ol@4lxm#*%~Lq+
zSJ<4ZUu$bZjmwuVs;ddrH#I=c;pyq>2JM6Ooe!Cirt=Af7T3AVWC*=H)Tex-bp_@#
z>5XxS;T{UrlpRmLGc~=-bsgs2^e9_S8oi3Lrm_?uv%Mu5@;Uibjr3F~R9?4qX<e-Y
z&7`+b)7w+5`vZvXaUp%>RK`6u?&r>#_jUj5InJ0}Uo%Q@^EC28b)T!1#df-Bod>^C
zNR)+2*Q0TFbVP6w@>RG$gZpk68g1=Nd^^ew<Eyw&U5q?{ryz|cq<uIh`E~bG8Uivs
zVZ%5r6No(Af{~B!SbQ&OZfv-urh3sO70YWXkmu*~_)?DOH$VRQRr6+KKRfD-yDMhg
zQ+g?2`S?m3PeqU7%e3@$))o)taa4n(aUt4IIz^{5m->(|^}sT=+0(Zd-Qh{e0(ov&
z-q=*R^x~^7hFsN)fP~MN@Fo3K&=2)mp!1uMcWfD;k<W+*Ml>*@fe{UiXkbJGBO3Vs
zRs*Gh*dIIn{gi)YOMlULJfYex$aMO935&G!`b_&90yv}qhq6q28j=Cqw`MbL<-z{I
zlGo1-c)F16MRJr%9twA62L=Z%|Di~SC+0tt*gQBmm>><y-z%Wr#A7K?zkvD^w*#aF
zinR0xOnW|Rq@)4hBE|gq{4B-1`t>$K6n`>xb9j9yho=F$^;L7?3e+;#{=muu8%V+O
z{e2N{Mj+<zjqe#491Pga-JSkTMC|l$<UF*~PgLA~!dt+ebrBwfHyH7kW=ZaR<O24z
z8;cAh=6?$CrvNwGbNv8Bj)Lxbb4?y9n(e+z3F<Y>HJm<!&|iRw3X5@z`5y&fzmRPH
zF@S$B$yxs_w`qNULzIUAzXkwMPXHj)*CwgIO^}QF4}ggZV{nW4+t@B}xJ>~K+>j$@
z$o{NQzYoaqnL_<Bp^j>+Ok2ykNLBn55Mut;PXAV_#`154EOo%1-es<N95Z&!CP!gE
z3~aEOCTyDDi1}B5M=OAlmN&9v(Ql($%r%(tGY>0-DH2^*E+MPvGT;E#EtEtvvlY?Z
z3epveHUR~6Cj$^^=>pw)7u~KD-Iss>yxuEFw?^o;ps%Hq<L?97>F<C9u!ZPClv@6d
zEBsxiy%7%+0h^d&07-KY8;L(9^<L8TZYI@o|4Zg8bA8<}P62fKHggT1x{}by(dp)z
zF95Q{zaa<X2e=DzyFJ~Jcwx-H0Zgda#35W=RlZ_I`FNvwCw8Wn7MjsQltx;9VwkO;
zI~M5#A0$BmA`T|*O{Xx~jQ*2Q*Z_5%t?+O~2XB%=x=A-aQO0_<Z`I2v3vLR>wgt+Y
zw+5CRJ~t5S40w(pw-Gt`gCpVC8CJ04_!u{Nt>6YXil-+<p(h+G$p(|iW=|{#0b~?f
z!HtsN=m<p3yA)-Z(We24w6GzcMJm}{(s_xW5#9E6q1u0o{Kpde0>~krakz`+e@V3d
zQewkjX@{Gv;2V*I2V<;N50Ou%iz#1(TP(VO9SVBrtq!Tzktjkv4caQ8t%;I;n5N~c
zg}u_>S#aDS7#%}}tlUcF-ui01`*Mu`Q^FUU6I)5pFeer%e;GNDk5TwN#r7A(YM<5!
zQfB)Ep=i&FQWpOq46p}Lto?b+-(&gv;Une%7wqi+1ESisBPO8WVqMUJ0(8ud&xwog
z4Y*xA2uuxt{l$v?WuR|0qw<80W}vJ0d#1k~^B*vyTn_-&ScP>OuwwprLi?{?WFgxp
zml3*G>&6L6x1}`b1SLN}Xavk1YGn&z;6*PtM+th*ixi?i84F`u0-kMV`?w^)(`B{?
zypU&w;=EEg?*=jHkp2XNQXsN5|JGOA(moQOA_wxc3gdH+4i3hTe9bW84Tw)uI#4Ii
zT}R{Rhdcd!cNw_$8oVBsG$J_C1MDdOz^oOJ-LzlF6~KN0_G{qds#!aVp?|YII1t$U
z`_T-rNcV>$GXwA}m8=ai0QEu>tGPH5w)_KO#7+(GV;{TVeSkxG!9y<me&8R{@WU>A
z!VgQw$OV+axWfZzf8qwGgM^=g4kRuF6oA7(flwkC8LfFn3D(D|nh^zFbEj(KpNmu*
z`(15BeKE0p&@;^BElhXJ_GZ*B?WJ|~B(3XNh46DAz~~(7dPG4V6KH&>{G8%A&;i}5
zfduAC+5%D|F5Kqye>m2w8rCupzY&DlWgd=^L0A&I#ca=;zSCSYNwvy9zh+d}!psaZ
zLzQDo(iHg5RFy;Em2?7Jpo_<+a`5C1VsSZOPk2-?E`9jOKx7Mg;GJ-+rEe}(8NSMz
zS&UpSbA6K2@EG7$5-vGc2i~KaO2gIjuk{y#q2>Dkn$z>IaA&mkoxwqA<L5;Hn|a;L
z0yfiZ7nE>ktG`}Q!<GVwNk}sBiZnGvsv8{4b~mXR7}a1_<1k~N0)u(Y3}b_u-Z`)Y
z+Q{919h73WucI`$kDm`?DItJ0a32f6%)s=4<V5wCs)F!Dd3GRdtrda8qE3}gd`mH@
zQB0yI%Or{kC&ZNoYN<K8piYW><w>yyt_nZU9~+@eQj&>3!^>z}9irQxqRib*O)^f>
zbgRU;;7hbdM*)uJ)|Rr@lyMHFO%t(vzo8)x4Nx=}1gJ}}TAUuBocNSC#LwLVQHJ=r
zOO$+nnmL@GlP8I^akB+N4IQ`-ii!CL#8m4cFoq*Mhz!S{D+Ukr!*mpQd?3;Xx0|mD
zT2L_MbrhA-=adwD6prnXTsStf1RZ!QE84kV+9>8;IuKa03zMtu0ngjv&QW4+8s^y<
z?kx5Sgv@6K0`OC@-iO;cp*}MB@R7kKyK+Q?fYsasgn0$;gp1)+X2-JUrTNjz(42TB
z<_F<UUmGT?XqLp7usLzIeqKU6qJE{pcLBxK;4am!r$5mRR?lO~+0bP~db7<n-&9B?
z(2f#GKR?os=?6%&y(F88TKzeNyTBoc5f_MT@rGk>hhtL%PH&`w1A7CC`(heC2u06S
zgidh^!q)hJ8iC`JWK!PvJZd5I31~TuS972Yf2<k?e#>ZzDL4EjI29di1~495xrYI)
z)qP4W@Yc!>R{sf7fk>Z+=zXG{9SYPdpk4v}P{}^=d8IJ*z%7#u>aS1f3=@uq>`Z++
z59DV1vTXRI=rxMczdSco^(oYJ)&KUWTj(u08LIEq5v(^6gwC7}>C@1@#1|c?Q<Unf
zt#BamKFny8l3nx5JRR?n`aKhmPbb#z#c86_d_I+a+cEK_0{`>+ZPt`9VAawHs2)qd
z%X|Mz_4`Qg5dE$^&;f&lis4#*jfbFsHK78oFkp=f#7Z&Gh`up6K+nDfHwlg%PU00w
zKu7C{BHqZe(`;X!7eTa)a?=mhwxh^nB*tU1jofRJLx^HRtoa2F1`R;)j&`HKSmB23
z5(p}9V*(v72|YQzMFs3Gr-%t%biNv9XIv)!+-B|6w9Y1Ca^StM2ErT9LKZvsk6)7-
z>r{<BnC$LkBUO#5^O3eygPq>A*_x!UQe!KoNG=CS;0r0YqGGSXZIi01x(m<6Z=3B`
z7952i=G0o?@W-v|s1Q&fcfwPu?sm|ic~tMlsP-o7i-K7{O7-c{79|lK(3wp9+7-|#
zqAp`HvDQ^aA$1v(i7QmFXPS;F)tmcOt0O;^PCc%g^33)ZXiC!$nyYo_oqNJ+VGGV+
z9jn2Co^wKU1P(9Q&``;yP)YYkJn%zz$B`~<l_03BV?9T8nJPfQ<*1;lGHvp0gjp0(
z!&1bAw#g?@1lCe5uzB~GfNl4nG~n4xsB}-~?3G?BRm@N8$a8RI-wFtC+MnlDVWI^T
z(9@-8-&eraoq%@sN_gdgF@}MMMLYNXAESmn;p4Anf#wU^MqgGIHhAuwSl1j+uOH8<
zqh@=y2g>o__a}@6Jh;6;LBT4C8t@#QZMM%DEqL28dAW8vo{KKW02Dq=ijRFFK4VXk
z&#CEry3ugqGgk4LbRs_EPLj{~bUsxMpQnB#dVBfO6X@;CljQTcG(N2--I0Z(Po~F@
z;docM9Ix4apE%x?M~xNm-K~!(E7KMs?#*mpYtt1KbaN%y#+(~EcX>9B53_xvxT}JX
z3c6y^O@JgO9*>g3u>=$5<hW>zigjvKY$KG$29vti^IABDwZobB(#RFN`^39tNUe=C
zDK#Bnrqmioyey>_9FcmXOX}e%#iGQq<oYS3K9(b?f-hx@MA^f-1ca%Toc=}+;c%YD
zjKqtiAI@_3LnKi|#cyB}@=}Tit^!(8q*V&!$Wg2j{sh>joutDyYdX)k=m?l}2(;AI
zX4UDN&DFs)UdNQ{DHlDqR^%ekit-wZt|vl35z`FQi3w0O@=@aIMka+L(2DY^h*?5X
zTNYd@1BYj))AEOqGwt)-8g%1Om1}{Lpl-C<K}u+JiR>)31Se^x5;IaP+R|B2P_PiU
zO)<#gJ{JpBuHCw@V5ucImQ7+*H~r8s@`$RA+nQA_R_uWE*09uy@*0b_5)-GK$R|^%
zbUvyyy-6!rTWc+|b}Y(LORkEKCEP5V-NEKv3CDC2R{m`=$+U6;E$kji+sNAK>tzHD
zYvoNSap*`5S~-E1y4tMzDXhHSMK5XP1X|dAqHb%5aFSMD<sz08jzBBQt0IPl8cA0W
z`RSDQ+})erX{z&6!-00VkhPC#>MXSc=UArxO<=f26Q#{G^_yKRRJq&KS!zY)YLnQ1
z%G4LQSPeCGmRi^yp$1Ec`5!j*xh_6Ko5WHp%B$jI3Ab33J!Q!?9OKN-dDKAUd!Ywq
z`q_X4u_X4uaNz;_Yo0AEP+X_p-JXY?qk<z`$4SF?O)as!vr@v46N`j_S|DXIaoxws
zhjxia?&pCsQFe?8@5ivYV@!BoQAG^bGOC%FwStbt{;n$8>J%}di%L+G)(AaK9@1zc
zk)+I}RZB?*OIj<r=!$iMVd=PZVl7zdRVzP8Bz|>_3ZIg3w3aPYF&*QD5^|Se@^H}T
zRSK&5(WdxZv?cCvDmbR-z)vpRl8Ej*CKHbz=UHyCt1QzV3SDI!MQ(dIijBl$*u!U!
zZ4Z3X4o6;=#RM~2dcsCJb07Q5CqxZPSH{+ncEI*c{KqWpK_#EODSlw{p5zFN9SL~e
zfr90+9`^+g;)!o;8){GqEJ)T+59%7c-~r&xZS!JzJX2faoW(7aWoqkp&?F3kvPI(9
zH`yGH*<2a{DsKTR_rr70;ntXdRf_G`omh9d7H~6)brUp0G7n)lmTNUw?7j-mf#xY0
z>yKu8%Rpoh^F&M&jl@f=n7Nl{DPSM1)8D5@+d=^4`RTwUS@<Z$_LsBjQHsaCso2D5
z87SzT{+by*7r0RF7KMq$vD9W@pIYA4z6D!AYBR1caeqoLu6>^{px7$D63ym{H?~7p
zp;6djYrrZm_5t-;t82qKwVto`zlOAK*Kn=-M@r1)SNMq0c<BAp*~rT%@}q6ziz9tr
zGg_mX_2)0Dwg0qcIjclb8Irc|H6TrSoiZ1oo3?{CjwZ>YF&%FU_7<luOPnqQXT6EG
zph-_4uA)f^PL$ma*rlXvhgH%<rKGbUvsTjmiegYG_Bd;$Y3tEN;aGP#_7Nk&Tr2lM
zXf<e!nHvjoecyi|91HHp?qM98bHV*{(0z0532zd|vyGqwSEIexM*3iSr$Ach_+PPn
zR}GV*68CE*K8Xrii3gMtJ!UHx)qxY|Tq9W-4W5k3ptFzt?LWZM)!0@`qj$Zchc+I-
zu6>|<i_<grjinHlf1kFdeH0=|LNamScZnU^6LN$O9~*;^EBo3=uh$%o1f;mjv@@l6
z1G+`4M2amZA%!L(Qgpba;7J?o`JYgVebSJE3|(BKq@cPFU`Q2XaTc8bJ?`ZxDl*fZ
zaE=Sn=>#=ET}Zt!6sM<1&CB8YnLSHJf#@Fg7Zt_rsnr;WLVi!UbGE;SS`Y3C<46q*
zW{>P<gX*40M;5dVj36*Tsr~m$M$wRlr2)x@r{Q&I$ga_HMMKMBr_13z77glK<d7C!
z1{%~ig%9>{U8WQ=6=K!T))s`e$dLhH`1gvT?j=5At-Sy(k9#m=33&L(QQ6dJ-VJ&!
zd&5>!3(gxgf56;s$tie@aLa+KoPV!ovN!Q4MlS4j4~81}`1f+L+rABqsKuE7-T3_z
z6u%d<0W8=SD}C!>EBMxtqgL~~*wEujN6YTHtck7kZ~Gxa%LmNvR#{yVV~Le4QCXK1
zcT<XFdqsv)HMgQvbFnMf6-i`ad$21O+-iRJT$b5B9yG%-Ae`YGzY4R=!9C!s#w{0W
zr|gofL@~4dC=NsHkKc{WF|)m!s}!v+w{a;5CAO<Zt5J)cF%W=a(A&ZNIJyK6YPRE$
z$l>^vLZb_d5@|GG`9|ViMMDi+mk{hxj8`SZU;Bm?;-@4qM-hM!7_=Ee(8L`feknAD
z2vJQM5>}CLrdcjMbAko4NDj@rVNA}bb6nYwp?Rwd$vx1aoqxrI-~$+ldqUvfqP?o+
z-|`R~e-Y*ZGd>F=I;9NUpTu_`z85fJ=rdY+evluI!F*uVIIj~!$iX=vv5LcT#d$(N
z4vJwO)H4EZ$^eKVjyCmZpd1XeeVym17<teY`mu*R9?fs=$9RjzprLT2<q*1YI+K?F
zAlM$p9a8uiBZI20J>l=zMCB-Zpn+>KW9#%Ef`W@s5r!E0zZlha?k%{5tx}LV4L4B9
zqpm?j0{ZDfgpW~R01u~H<uwwoDk7&JOJK3qn}H;gpAXMglOK>xPJYlXnf&z0<foMr
z0Kt9rIJo_4qI5o)yQHii&!(oNL{OEvlnW)8fuap90ZP<jkM=D+3D=Yzx>auNU}7eE
zAJni(j1^pj2KL=y$>gfcAx6X2e97Q^nmudbIGLSzWN(f~!FX;7@q*kiB=Nub@QW}7
zBmU$OXjPx3g6ZL8nrnX+^9^nuuKqq+Xic~PCYjtk^dEo@N)Kf24Z2*!?-0~54ZMto
zOiX*$dk_b6rX^V0fi>)xYup3b-baHlxxkr$Ep$+}?`(2}If1^j6&H*r_u=%$^$KOn
zh;^X0j~%!Q9>c#+ta?@Occ!h?vnSH)F(2Oy(7pcOJ>${S=uK3Icu-w&udevs(2DQf
z>whm<kuC!=F8dyDx%cz*A{w~QWnJ*VvYU7e`PDvRX7qBbAr)yVFyb9(a+;KwKtI5M
zjXsawp=3F5zgu6)BLiAx+rpMQGJxq}QxK*<?Md{6bjmSx9LPq8U5%bXhrM_zG&S4u
z?++K#Br(_AAM?K@k~!kVwXwz%Q(&x6Yh0`}&RD=e+=9NEau|B@1BB2PpMjVV<}67a
zZ%q|^^lxZ1H<$<_f_uWLRu<UVD8-C17$<Q#c0u&8g}_H9C_?0D0-s%Q`-)FJRi(-(
zz{3ZXW7qQB3ARc=)RppNMGRhd#S#i=YnZM*R}<59FCq#sl2WRZywPHSl&!kO&j-{c
zm;qWCrl}6^R-v8~#qR>uQF#iX2P#kXhEtyEl17xnU^~}PplLredBcEA_C1er?=ag<
zKw2>32JtJ8-q~h*5l^y~q3>Y={{(A|`Mcwhf05qBlLJI#EE@-EX|Zg3GL~(3Vp%OJ
zyAN==&pUQI&og%J1(1)%g~O#fp5ZtsrbDFzL7ayQ#(o|2yopDjEO6$*#0>D&-W1HU
zv)F8(pTjV)`Zj9U_HA3uTkaoDSEE%QvEp8R*!oTmT8qa>(iDd#d-#CO8|C+O%_;BJ
zLz`HADJ)Mn0D;kh(t+)(;`oGj&=Ct1!*3{t4PXemB;E|-&Y^kK{9A0kZV8klD(%DO
z>qkH$ZH?sV0Y(wFU4gNMu@5IFY@d%b(QVFo6YPTL@qw=O8_E^-dTDX$FcF?E*zR4h
zRCg7oha6E^t3>`GaqZmp2}5**T3Ec0(+Jd8HZ_r{FE<X#Pd&csT-c&UuS<>FVPuIV
zN~Up2rmsMzVblmJ&5%oed;p%GIj%-s$f8}ZTf5GvNu6_g-WgRG6$A18zr`4mLt?J@
zn5W|7<8NUW1G{CLcq(r`*J|v1)qs^KJl@&ADffxeuN^-`={Pka6w^%d8dyzdp!^+I
zv~k(2+5R2xFm+%@tOGlmpKc8}S&|c9^A~Xs&sams<h)PoI%P?#SZ?S3;Ik(wDE9o5
zg34LOq+oMmo9D<7U7iwF!Eh#_7-s;qus4c8?lC#MO0etyAL4{l0H2Z*_WhHb<m^zo
zaKkDeX8<&pp~}yTk2@gB{|cUipdZ)BUUqu?@Smm399njE{5@6nZ!vd03H;$s=YXi5
zJcT=p01+#0eb=$#)ai4VJ>z+T=g)C&aoUP8?Cn{1j~4g8X_N#moL}Vno$aefDWt_R
zo1B0Bx-#_#cFLrFB91>|T#BdULLARkwJ<k!IllZ+$2>)K5vbz)D*d^hKJ+D?klBrI
z5Ez`bMV|!eu;u#@dEj8G>f4JX2=@Q72t~2&v2F2Zakg--?K=bPr@W3R5bWntSAdIn
zU6Ku79m@{H@7O759jjP>+7m*ilmRB#AH*~>7~6uCG6asC6v)#Bi<CI{jn9Z8euhUy
z%%$Vs+AeVrhhydEMU*H0T__jY>qUgu2R%VreuQw3(oeXJ3)kwneqY#{+Qtz94PmNs
z80*w+-uPZTzX`2x9Re+x9u=y(GrAo&g5Gf*A;yE>%#!${m?MBK#mNW0khqyMEVpX^
zLCquZGyv~C;7s;c0DqYES7`zKUN;so@XW`@|3gA~S{Rx@A3loC!^Gfmlq;L4!sG=0
z;R`tD7`EnPEnR}1K4r;Y#uP>d;1)S^68Tnfn?WXc%>couZrYJ{Lb5`iK!uX{yNB_C
zm3`a@OaAup0|*f5tuXJy5-J5cO9_-qfzbnET8RRb#rcXBwVDwBKKd>G3Jf8Ed5eDV
z{{mB2P&t+_1|rH9ecwSc;Q=^-a(z15{rpWPC-vK#Z>iwiFM4-=dm|fRw(o{h#hVWM
z+nX~`k3FTW=)dH*H&A<b?l2-Keao4ls66o6zGsHRLr4igO^c}^+ZP=Ug`_wWvu7!!
zg+S5)QG%FrV6qgQJoConIY)R_d0gjVNc^}3JDerb5vdD|J9WtT2TrsGG<ClFc0kp*
zfONlt89<lNr#P*flsM0|3e+{P6M=YSa|ajN!5Q8x$Y&Sr?Dc_6r?dz=MlP1$7YF9Y
zfR<lC*}noC^dg42_yYUK$jh)y{eVe)1g3U`^M_4PMDiC@YZd|y;eYf8u7>8GKh}x9
zskMxLxDwgO;jFB0b^)Tzj?{1IIM!HjSQYR%J=mla*XCGwS}PVgP_VuW5AtArr##P>
za_yk6;Gpvxq06Bb{IaY0a0)aX3YHGXw4b8?4Jw8^ReG8b8O^0YS-wT_c~0@Iuj0oC
z=nZ_F{jVt<vCjAn0LZ=?yACdC$2N@NTXx{`@o#ion+abRU(8=SsvpV?PP*G`7=x2q
z<$8}?SIPBWx!xz&)wmkQT>Bh962&(RPMU^$TNQx`>}d>Eao;2HK2u+0Y8O*nVoY=~
zbtO};Fva+n*vJ$Yof1DnDt}U=kw2-b!tggV)HTe=zoWXMsVWDcatBgXS-rTbDaXk!
zs;Mhq(nySCon^_w<;j$w<rq2n7hP05?}nTF*I#r|evWa&oLl^;c=M!+9AnZ~EAWo2
z$;MT4ue<u|=TEB0FS>A2#pFp91t|Jjg+T~EbE|7BQ6;~ky0N^jwzjgosS=eN>y}nF
zRpCWx`FAwb;dN=5*e+DvFij^%qc$}xM_U^zXXJ~d;NX;8#RigNL*;GFz-Y{`Q6daM
zsIMt2uXM|;q`1C#-q&x)zp$aKc8R7wIlsQHy0!@|lO}=q416aG(;QYRYr?Ca>Y?NX
zb#?hm%W9YB<1KJyHH}}$;V)hcgQ0^T_nk(;_uWm!onOAIjvuCBs(9Cx2k(wzZTTb<
z4#0hX19ge;w!ZJy_x<{QNZ$waee^tqAHbXAJSiS-k|XI64UA}DL<1ul7}3Cp21Yb6
zqJa?&jA&p)10xz3(ZGlX{)aSh+IeSkIng++D8yISmz6IGl~*kZEp9Grs4(U?<h2#?
zrP%V4{Lmu2Hy$swUlGSDk$gODM#GsIHN$1qH3s1MfG@6WYGnFCr0ek#`=&5+g~(wk
zq=M<ok!~z6tCfNxW}K1$GELP>D}f~+Pss2Y<3dZTLY2!Z%bS}j@s9m6iqqz4FxGnN
zjlG_wW!1IDBi=^iDQ|N<UawwBHcJ|f54_d2)lDH;acMN--ZJAa-pYou#>x=aag0Z@
z%Il0LvhdRRx3X?Beu8D;=d;7r4UJ79SqL&VW#3_J&8{-GWiK+ivlrKu)foTVCkt>{
zmB!N^urPk(t5|Bh<ukGxE1Qf?Pgw<;TeqmDa;fqEJWK0tuhf+8%{IKD`m%;HELBxD
zG#c-Dj6Zm@jP>VWd1gI+mYPK!g^a&?xQrAsKFs18k@1?(@Rrp!-hsBR^De4G$AlJD
z;@$C2plWvks&-7qrDrl;=w8(v4%bMtE9#aSzx6gRQmr=HvMS3O%Bw<Lpelo4#=5M!
zn%gUl2eMJUknArdjj!R-jT3TN6=;Dlx3X?$hrW`f)}tDYS5Tw-3gB(H5|_4O)~LWc
z%w-|Ycs>h%t$-SN%m>0@kMP=&g$9u6wk+dgRNq~NN<B@ev^>NWw?<=s78+QC9y8XH
z{Bjg2-M41LP*gXyWoH{3?)G3yqz8v-vW*T~uJ?P;|35@o&-a<{enhV8dEF(~x8(Y^
zTzAWL53Yuni+aZIvqhiAO6a)J_%J&pZ{`04<n{_`kG^90%qvCr`$YE-`m&9--DAO|
z?YUgJVpk?>nem)&xv|N2r_t{78Ec>0@KxCC1M2pWx~*5Y4R=4svW_=#lh68dR(Ln$
z^mq%qvvzyBvv+$}cz5Gp$N4>;_1?CzyR&zX?(lW{R%CDR?#A|xaq|qm2Ojo>v^mBw
zt}jvRZ#)pnyz}=0uvci9o;+Mr>xL$p-;E>9T;IdKl;Gc}>rY`GYmD_ee>w9&T!=+P
z;$Q8QcdPt$I$xpj=}cI^?dB}OFW33JLY1#$9)ya}Zqi$(^Yv&C^HJtm|6PT@Mwgdh
z^_u1Xi+Qwff#&y&#$S7;`nv=_)A<K<{ues`kj}rX^NV!-4(36)8w;tV{~Mj>`}&!G
zQ|CLbQTadUd||Q5_b?B6*K7Jmbb0r9Rqg{3(y!O_WNQrgh4?!Rq<;>}k?*Kh`SUdX
zdQ;Ue)cGDLp7>Yld_8_uz`S4Qx$evSO*-F}ukuwoUxXb2mM_!!4s3ogf0xde=yhD4
zQ=`0va7Qfvp3e8oQTfMop07A%`7=77f0oMsf_b!Oq1Nv&kyrnLjL)w#@*ia6_h#e|
zWaJNK<d0_LIUp2B@f($q|1!Yvl*UE)UX1T0_!i<zyXOW8K1E-_<#>4cMkru}Zo=OL
z85)g3Wl7f=(rfsQMyO1jsJe+KQ~^PG8<hr@%eU*axE%at59M5)grZPhr(JEx70W{I
zz=c17QdYCfklS)~yVD3&8Ti{Tsc;yQs40P=GL&?-I<K6t4h1TN14lxU&beh4#~*4y
zC=4|qHYZ~sa;_kV9HXSVxuapIF(XEW8q?!hs8M2;y5Ud6G$zAah(SjM5G0+b5=xr|
ngzi9xxu!TWQAvZSNspSfsOE(sCTA*oj-qELYF;vAUS#|`IUJvg

literal 20236
zcmeHPdw7)9nLjg05F+qJ3*J^>ykJcg5({*}!ZskY4l6+rP?whdm?SeK4<Si&;o_E>
zIGNRP_#|DW)K*)%TWj53%(LPnwdw?<CQu&?t`GL&KBd-b#>e#ul!cI{$^L%lGV{$O
zT<jm+fAYb6-+ABj-p+g8bIyCtH<LH||7Y+bAv`%kG<$^*7C!BHLPUiRB_XcFCxDM_
zFJE}Oe~tgHJBiJ_JelB#5as+5gtooPfA6YH63Jhji4z)zZ35=V4=HTBF|?(TC3R)X
zD`8_$b>F8|J>gtUD<8R{*$vuuLt|4}Lkg8G@5Px)-W8g{z=mP0mN!NtlsvmKR9zRU
z2QFLQTUy>+O;4D9PhG?8D{pA5uc}$E39{vlFH-jXNY@i~Um3DdVcShLo2zOn?5dh@
zt%NiCW3QISKIcU^TZXDp_jJE5Ubt$Zs|Nii`*rsQ<r>q!1&RjUA`o+~eyypt8@6sN
ztF5-{8tY-_$nrG1V0@6@TvX!jXWL$1>k5-$@(RFD`^IVkgtO(DJ|&55R|n5!-xXS(
zPs=0hmdEz;V=mjS2sQ={MERNRovY;;8w{N0$Sm1*dF{rHwKWEtEw4n&yX$e?A0Tx5
zOZJsv#xp(cmo8a$hkx-BGiJLtjFGejnz%$g$6M;jHo9e9i+KgAg(y+J9*d`meTfE)
z|DqYU8@(#lIM%usaSjq<=^a9Jz>ycDyc{21>-1+Dp7-Npe1zh#%Ljh)W?vJ5@ZmEa
zpQ5IQ`l9NpvZ9Ku)fIqw{S7{}qwqUpV;zsrDt-B$``3)U?SuT!0_Vd=wsB&<5csex
z`#NX8=QAi9*PtkFMAIne7!|rM>ZKo8hh_^;|9j{TPudpPvvO-gV`$^dMKfVnRT+qI
z-GC3}{{a4hY*DCT`fK$1>w92zAohn&{{R)YY#S(<gca1;2B6d5M_goEU!LXsqePrk
zh?6;%GY7?hllKOCFi>7P5ZG{VYQWQlVjqfQRPkiEGdD0a6!)Kuba-O^lgWKULqkc*
zi2M5_sxSFu8Z{tM1IbN5X@er$1_G9|0vu^;fS93_pLo!#lvf>WBSz_`Qn!YK!!<kw
z)Y@0AY0cmgY=5BTqjpM&=e_c2K13kq@9TMYaA+vtG<A3S_mZ&FzlY<b(@#=7<boA&
z7CeZEZWlczcmUcaA9KD9IWhnDfWHw4D>1<VB60?DcUwCc{#GK7D}1C+SUWBO4A$F~
zpySiY`UDV*rL3kOLdv^90y9lXUnHe}1NcM0L;5X7`eP~SQ?sQ136x-XR7!7SyCClu
z3fYPWpndW&=VK^|`L~0(8VE@LZy+LPfP2Vtw5=~GMn4`ge`}}z09_OJ9{}~Upq|%d
z?f5ok6s@L0QBT1GYIev+)9W#RGjxmv6xsHAZY=s0bc?kEGZJA$AwrSln)%n)LsfJO
zXn^~S5<$;&0T0Zr3ey#fHi88BcHkr1x*)gCCATXr_cCyR?g1&cTFTvqzLuTb69%@^
z-vJ8{3(<9`jr%)3@9(mlJ(%nQ4k={-q{2bQNY6~k_mbwjmr~39FIlfF&Fg;g7GUQc
zvUbd(P=k$}nP=^|2AB>0_I!*V(5{-$?dgv66vzDSP(sHhPvY)kxyg!h`qjFVM>1=R
zt!Oc7Binu?tk$c}COUbMk^mEjk`HG}xY>%nASJZJT~{kQ+|j{%<sjXw8=nl4&&gvS
z#7p;vV}}CeO$P!SPE8HOIs=~5fc5~wd~iA(yF6anac+uxyz$a@H;Jb=Eul9YTb>Ig
zk$s+6DGZRKFkZSx!h4KC^t{Va!iqixOk^7y@+p*3-6cCO`7Ftuys>{R`_E=J#;TAr
z<4Cu-|0U`5my+#&W*qK~m%biJdN9UX^$=NotqkQCuHg__#SVo$^j3%D>qwS>PooY<
z)Pdyk0fc5e?=Uzy-^DR;Ltu0q9nx}u&RzRz&l(7{E)LJMrnOR_u%?x$`7-j64`c2l
zRAU5{kSa0fIf$|nlYc^q&Vt|47XL|9UxSjK&tv}HxPJh1L<~ew=R5<UdTPg-fQlMj
z!4(J{V?7|J_`ZO9iid#N0jPLLso&>AQ=7m%`4%uoKJ?5x8uNc-MK6;g7K9bmw?Gy1
z_aycFb(g|MCH6h-8?z{VIqgBSDEWaxBRr6)T5u2oILj@OTJl~47;hR#t%b4u0nZ^T
zacK(S>9P_5FRcDGRKhD4OU=h1Om@gXl8aIxa=^Ft)wYaFu1}GV3bYG*mYx|J>UkQO
zV^2NSr&~I}Q{d(?^x;nbAUniAxS$y}TF$@W4kT83AO|#ZGm!A}r=NkJtppbGeZL#a
zg%ssM?dJJDY494Tv=U7Nk-_`1IHuftk*b}KS}yV0y?+FVM&2N?z0$p5G&PL2hGYJL
z<bB4&zz%BcVDe7o0yHNba&2r6+v1^}E1^x9Rxs~~wc|Qv{kX4f7$Ys_+V2q=GCLtN
z#Xc#M{VlN5BT{sqY+osYONyqqpm1uX7HuUa1*C`Qm3b#DXNn?l+Kle_q(C^bAMKkI
zNG?;A$JU>PJIc(LeM6rkj2>YY4Rv1_Q5x#h?2zF@q*iKBXSDY+V2AlHfcT*kluq6C
zYao@amq-&2*euhI%b!;9FzAYh0hL*0*sy;@8+N&UzI$p$m))lnycULMoC!Nn39qgm
z3~YE4YsTS#=V-Wd3<g39=Q$GYT<Db;M&$eeQmEco-{T4938#l1KRvYJ&3xJUfp}9d
z2$mJT9bOpg3onl4F3a!?(}13zU?vQA=6RqOy)K7NI@YXdi*-Jz{UrnAx9DkC%<WVS
z$YTSD)?Sfe#DNv*%e8jUw{T-SSe0!$KW2C91ldX~&yDnpRM+nb8G-IVf*i(kdgMGl
zqQ_UWZEtc)&uUUwjh`4+&oki|ti|X<r}xX2<*AnS>yUpEy3hiErGtpcR?ZEe?eh@Z
zC);HMg?9ZCIRV?%Z}NVWP2$gXah|{!iC(41e^sHH2Fa5Gk^TAM*wJuocEC&veR=}u
zOFm{AXR7*jRe!P+Rm|B<zP=9q7moEIhVGy-@yWUJacLm7x-T4yzCJXFeva<PgN=xG
zn8GWv0ONO(M24N`h?Uq{5JB=8<sKK*hf(Db$+xlZ2K1VQtb{B`H$0DZ03swJ+}RrK
zrqE_L=1qwK^C1@CKv^&&5A3MwGF2?-s_Q7($=mhsa{M{uP7gtcgwltMn|G9Rmtvz2
zFN74wPQ~#qCh;R|q~e&p0%b=vSZ&k*vRSEE+>$$Q(2B;C$TR3S5J*vON5x*l_@q?D
z`X=(aqgLYY3eRA`amkQ)47}EzbjU~&Jl%#2o(FrkmDu7<@hg9VKT7xM7?5sKVIYgi
zUtrlYbu>}ev6y_!RYxOr9gE4&qi)3B{7|(z2dzGzn+mMN^9&^f_al0$eErJvv4!IW
z;n+^Hp=X~wFF6K~7it)&RKrvre4+F5h2zV;&_h1so@^IjW~B@0s_dA2JnyVAS%xY&
zMzRI=9UB*LoL)A@vyWItSh#a>i<i@c3_tB7&xw})W*BcdJc`nk2nrhL=~D5&y^yUt
zkL=tQbojnpA&~4i6TXC{GT=;Z+U<qR=XH#}tYUj;>XKO35>KBWxz?D)p2LB1EMOmC
zEMVq&o`ynIiZtLkv)D>387t`yV_E-)dA(M2E(V~~bMkVjXTtgPjK4rV6EpR6qv2A|
zcBSX3@0_PSmtLTrNtt>ojh^e3o(1RAbHxSfxhg|X>jih@AH5gS<7b(8A978+R${xH
zcw5ehX3X8K-&9eiBSKDZR^l;-Q&C|z&siKMUAJ_&<|U2~E3rpTSB1w5yJFG3z$B-g
zOOm3AOG<>3nW8Z&cB)Zvh*&-EKJ0ld9K+ss{=*D%rEa^N-LkCK!I`p}6JWO0nnupD
zv|7?gtM|C99$8W>N}9O5e*&w|Hjz|fE@g|Pvqzi~uuQcuy^#kAnljQ;BKrYTS-Kx0
z$r3ugolPi6J07$O8JAVsr6A@(RP;xnww#n4wpq*hflH1=Qx1`Fb$7_>*~e1`GkxrP
zAD#EI>b%p$k`HP83nR4<e4hQRAQ2{w2NDI?yceEk&Y3~)njMjfwn$GJcS;3vFQk^V
z?fqw8(pIDHEOYk%o;{CvMO884<lM`GnsS{7Rn-Ag#e%L{u7_84w+?GGTS}2~IZ!R7
z7^L4V$Riw{bY(bW_=*u<)#6p#B@~iBI}5`nR2;2I2M{8L7IKe%^GMj}B864`=+Jy_
z#7O&zOb5N$oJA=_ryMLMzkQB$WWB2{J06N%b?ggwigQNpU`AZSKXvwaV6qsFye#u!
zE4uo;jWom8`OJAq!?G)5J1HB9$~#x&V8@b59#ts4ixKv`9AUB30ngiTu*^*HT(t{H
z%lI~M&<U(aaj0BVqgQ<$bW7X3;ke2;T%+ewvui+Iwzqx*Pa;-nTcihja}0ck**!@4
z2*fA6j`x0n__#oPHBP{eVC(RG;H@YRGC)M&8#oZ-b^`}uORz!6JP?!n5o|=Tu^J5T
z^@wk{H{Y)FGNgdr;n;Cb6HA>5yPy<_GFW1z17Pjv9&af(y`|U)m&Sfk>iI8_<^bJ4
z9DSQNjq@B?XeCzU%bjGLedXlc$`&~jR_>B}2(!0l?jDYRH6J;TA8%Dsdv4-^TQ<h;
z=~`0W9oQ%L4y5WIfoiOx!iu&c9N#twic;*|<(|Syz|(d4J@Mn1%vLE=o`t_)O4rw!
z+^nYBCXk!sVJNvBY1;lk`H8^3_mQR@2NAVuB2O<UN|2y|Vn6oT3$e#?^1eu!8G4r&
zMEa2c+%Lo5-$z|~zq+0inv-{977N+k`&H?^7nR8a6Qs$LVKT_v-XjPux$S``bLpdO
zPr7MPKk>Xy&0<*QJ-dTJ>av>7&h44n3ukXomM>D4e{tuC&IWfAte1!Ju<W99`rSn=
z`@rk&1HFp*)BE=AX1>Zke$e}MJwB|&w!z2{asq59M3M*d!_J==!aSegqUG<`%hEa^
zWv<-(nCcW9Q<@#_YNYnFS5R_c-@MnXC=Pbm<992{j04SnbyQ=_PoFJ(Ej@v_PFlhS
z>mJeSJVl<T$-{@kI3mDq<by}OIF0agJgC@}`;cA?&AC}9y)}6wP<~p){D~|A@NDsB
z;mCwxKqj;S-^xL~j!b!Yk>B%m^Z*9h7idmqojllR-Khq`G->XHxiB|PCb#w2$7f*>
zB!7?1O=qC|ZRu`#I+vnZ65F>#&OKXctTIO7VC+I{cE|@~?{*t>4o%qJ{6(6u-T8!?
zu)#@bl7}SjF>WQknr=@(+DkuRv!k`FknM3zdRq#5uEdgznA<;YSlwkkf99c_llT4M
zbyxTNPSrh}Q77LVggecVr=DEHoh86<xX6>cJHUe3z#LXj!k&tg5obl7+<mNOLY(q(
z6v-p2qbdNVYF()}_F&;D9?oLAQYVs+DcTcbReKbzv<qEr$nkcgK9_KM{@;?%LnQ8=
z(Bk)&t3y8+g+sp&Q-^+^Rl;{_;c0F?i%(GXO`lkK0hQwnhsxKFtQ<8{KC#@(Tym|m
z%KbTBr_vi2?yRd_a$mS}WM`o@+3y9J5~zI8-=CafCf+0|GY*Q6A}D(j?<4xuk+6A(
zmwG=Wa~AZ@f>UGg+HA;UMR}qXj_17(7#gqz%KHt9m|F*aT7s(B;n<;`8K-3!;&n{&
zVc=NVQ}rQmcqzn*TZJ4P(Z|d?2ogBGYa(+(_y#itQk~gtvS207Scy|e0o%MiM^7<N
zgRCE;5auqi6;l<L0&4OZP4{y%<aWRgd7@?BYz$w1QtvDI{sYE^BipbkZ9So6V=yTV
zu(1z|5~EokhRYp^llL*tzMKh9Z<76knZinpUy(|9iX($KR=5wsARwY>)LV+4o#+|a
z4wY;>d2f}fE`|agf>-E6aK?;8we)i%X+45tY)D&h5a(TZgZ3W2L_y2d+qD}|*K-s4
zG)XGp2U2?v*K4#Q`UGE{K|AF_D{nbK4tI}!-$4!cQ(m8xdP<g0D)-YXsdtF~jKQhY
za=LNv8lAk~Z<mV-=7aP*M7+0{AAlW~gO6f#Ts(q7$Y|y32)wwJ_<qET<HBQImlN7a
z?#eWtsq#sUKjoq){uH`k-AE?T-!1*}j3}yK7|tDuPG<+}rT_CLk3=H74)NnGP(;0P
zuejwPgBguRMq&=gS7TVszdLoVt!w4s_v!(@nOZK#Yx<Tka=&W^we*mBWjdJL#DFsI
zLGM6VxPtW_WzIr{&Cc6-ME?di9?(1nT&I-5eB-7M;7x4_wpXq|dK57OZ)1p-vKJhV
z3Bc$XIl7%60tQ1rypNtu_3n;G6#f+Oa73yXcdP>*y>x3C0>zo|+`}dbNhfmym>gs>
zheg-lzqk;K?i=ZM|C}ILaY|M29a4tl+F-Al2-9zs%M2E(Egn8P6Y}MHxf-F@)L(c)
zzO;Qi9Gi=NM07QsN~7jsHsI#K8Lv!#L&m=<|6IoOSe!?ts{hkeBV}~Yw>?k)9+PqX
zySQ!q6K)S-;a~ge(DZvjKQw)fynjjF{|R?|XVjT81BHbvho(=#v#pZIB*y(vC0`UL
z-(l%`mfmEEU+GMCq2!z1Abis+D}=wkzPA2W-{z`{#>#x4$_=J6RJFdcG2eh?)wSgt
z8c31i*^;W<nkq@Me39>)F=OGfmG}7XnlZzdFIFyD;|Jrt(<}1D^jQ@mU)(GfExq%$
zJFc5v;VZdudd1DtD+*CnAy(Da`Zfk@w)%pN_&#V|W5YG-JExq*c)6eG8o}?p&&HFV
zpUuP#7t4rmeBafB?~h715uGX!a9{6%kCh+mXP<t0vC0u2z`wIHy9JGwM?Em=fl&{P
zdSKK8qaGObz^DgCJuvElQ4frIVAKPn9{7Lvz$MpSv5H1qQeyL`>%sC3c6sFndwo-|
zzCx_1FK8>_k7DJI<n1#2ZX7>qZ|=caiM%{*qW+33&Tz1*S^)0@etoF1f#n-fuEUSm
z8^eT(0X38dYY5;l!4`Sq5_@B%9oiBqZ)yzTxAQ@&+2yGh-}2On_dOefRW;%XZ&Mw9
zG99w(gEbo(#P_{bHC2svT`i<Gh<0zVqCx@Ud2fSw(Tksu|H>Px4>pAC>Z+QMaB}Vu
z&*lWgo}6%1eM6%y&t$|;b2f`taw^5EIc1_Nr@R(FwTE=!<nkCrcthf858-d-ikyZ}
zqd4dZLQ8#ZS#@Zm_?>5C?WT|x^shO>Yu5$qgBwGQq51~#jz|2^n<F|V;?Si7-^<Ej
z>uoXQsScKhZ1G1g?G}&b3U9EcVKZCnEvtpg?XnPl75-hY_Fe_nV^eTzo66EO+;(4!
zTle)W;Vj!53f7lb+I0{aghk>lZ*BFaka!{o%s318ZnZa8)rZ8#R8bAjiKkH0ybv|2
z@ekz$@pk~EcXpv>_d?3O9k<>9ZtZswT!l{f4^(#CO=vA{d)MLiB5yD8*1_BUbr8z4
zF!8G#*$QzS{%8;%<fvb{e*_5!NZ3t6`NQ{?T-nkGb8|)Sck=O5^xj@|ACGWoKK|ob
zc(m>R34iP-ua1e$-uC=nZ*jM$!`tq~Py9S>SNfXA036rr+3h`sS1r7rz@b!yD$4tF
zSunn1BEmTy@umHrTT23fVkT}pGh>-w3cKC~6UU=MbJ#_A8E^dPhvdf@J5d)QawNZo
zi6eh8UnAfmOnx^^{yKd7fOV5Kzk!J(e;Et7_#nT5uLHf075cg%3ogupZ_a{?vf#hX
zf^W-$slS3ZeP#RmPSCske>dQf{LSCPQw+XsA^l}w;@DoktKmhM?RCTF(*Lb2{om92
z*Jky10lwu!*?-Xb4Q%xD3&y;RemBhiI;Qzg8~ZhE_)A!D@w;L2`|u4ZlH}n~mhoa>
z;$*zAfQt{dzt{znfBB`VZoK9<Fv-a8wwL^FSn9{mIZ1n^(XZhP<?q$>*K2+Q8~!#P
z`Qsu?{cf20n|-Qoj^;Nos-*p>mKS02`xGeUk$*Q3c!)1(eghN7_G7Y<7h&?dVab1;
z;$Ld`HEj6Z{vy8{CVw52koI29Z(zgUkt@|p8uGhg@)s8>{;=jZu;K4j>?wXXOnx7}
zSxDMVn%}^N-^T(jKB(UflfUF9Rkuy^8<_O;-#XxV8GbiR{@wb0z(bnfz=ogSB;aNE
z4crELpR7^0C$r#Zvf$^k;1{!C%6HEP7>>dkC&aDAN;jun!shR%@KvbgDZpLT^WBLB
zAwC_?SU821kMX7XXK8q`hCi?2y1ic6w%aw_yF<Y%P5s;)S<gj=@^@dS^i>gtJ@d7^
zO`3j@hPP^ZGoJrN!)AWmu3-}|PiT0zPsx9VFzj#MqW(@xyRJ9u$txN*^If;5FZiya
zKdS3X^!oLl;n(rbSO3yqdj2|N==J(}G1|&{Gap>7VH2PHg_iV(j-Q(}Y~t^88gBNf
z_LOMY%(skXwy#9{YXxBSABNy6&w@8)!C%ROTeIMJ7JNTsw&3#sJ`sFc@xfKnj9Ye{
zPuKxr--Ey9Gd!EM(+R3d8C7Pa$_>JHWq-OX(<J;=ADxrhu4LAB=dgCAz#nr;=fbv3
zmt|TQvQrtJhE?XLGi8;NgGOec8gd&VlVQ6a`FJYp1>{P50WmLD4|o1+H)JKJc7se#
z)dPRtiHWw#N>S9As-2PH+neD?*Oo+XEHW@^lcIJR%KEU-JBwkPmZH@S$jgiBYqu6H
zs@+l~t*I{(RkbtAMbV~UeNni!8oQ2$qPqKvii;cVxpu{tVtdYKH*Z<LVdLDoFIUdF
zub9{Rnxa)jRkbrh!QkBT;LO^Q+Mek!x$#Lk8PS0lLDSG{vNPECOr1?U$oyIMJ^S%5
zv5tH*=FJMuo;!>7$#78Z{Y#`N&KYHM=LUnHqde6fcbH^$n+}PLkaPwAu)s)nKX)=_
kLzNNknK7rx(vhtr%N0?|W|28e+!m)tmE1t06S>X%Kbt1Ya{vGU

diff --git a/main.dSYM/Contents/Resources/DWARF/main b/main.dSYM/Contents/Resources/DWARF/main
index 2ce32e73f4be60b8e4cb499a93e09eeba7ab9fbb..6b46e0d1f86d7739777c7754adb13685ce867e9a 100644
GIT binary patch
delta 6079
zcmaJ_3v^V+d7gVmGkbR>q16h#g;?>>TPtA$5?F=>VIHE#2V-ZwBDM7vU<6X74PXhh
zib5$)oMgo~t|5k!p41Muc{s$*sqIp^#;%gnV%beZ>^#84CN{wsW48{CWA&T4cNQr<
z?LGQ+=lfqX^UwVM%-tuyVT{F$Sh4r0>&%tMYj3@{_ufZ3pFG<&d$?wfyMPel^%2rB
z+}>#fhlex7h?y{arQ8!sA;f_2qkx!YtaJ}9v0<tBD`S=W83%>L%f>3xTq-=~o#x4<
zVuQIVF=#82u`PUfcskt8GlJr}Im>W~bXsmXVoTgGa}Bp>zsaf*2WYP05zo;w_c}+7
z4}Y~tcoY1dCWmqHWwAJ6X_mK>%fS(^{D;SRZx_P}RoQ+=SY^wI-+r$v7H=n1yB+Dl
z=^}@%Og%W?R=%X%5pqzx%!<TgEGu<zp)C=PmqF3Yi^T^l)0b9lO9maAwCdsEd{M>y
zK2c*!K5^MbqDD#vA=w+WC6;5e7qQM4W89zmt!1`knQ7a6OWfru7Zt8F-|Ka@q>0*+
z*XyKBx6ALVTxCn<IAg0^B_$(}-0eu-awK;viP!S`%2!XdDPMhRS=wpWey`<QAGFtu
z!6?N|$hx4&@#aUHX4vc^$@UP^?Wo=A;5G-}=HS?<skY222YZj$_--v<O_lsUi4g}s
z9LaEOmKfdM6SVPmi9IArS{%lMk^#+Fo~^Lg!Bv?ye%Qe$Yi#_ugZ<b6vV)@%V**F^
zZBg6iq$3|mx8<iD+~oKhQ~FUts-CqC#vKPEZ`t^ljzP?8JNUrC*PI!B=HRAWTmFUC
zcaqABQOOAf^KE&7gR8P^JWt{;;op%(HlxN-2s()ubnu16wtTIFi8EtqD?9LJ+wxY4
z5rL+lxSaYMvu&$*)wd>j(^on=I@=q2nzyxeZ9SEkHj=d8Ut-2mM4A6@&6xMp8Gnmu
zj--p?+2=ELth1Qud9R^iyUB@R^m#@8oHCD&8_gC6=H|OvJD8W#e6e%R?NL1=T4XTG
zbBUR}p1F7fr(fz|9$FS*$@MI;mYD&?;Iur#C{)~Gmd@8e`vquk;Ph^(U2#*JF}{%{
zaVsE=eYK3$vV>Zwu4SAbW*)pL-tKS|?S`8k?~xw){c7yQZR+UI1qO3@tUa8rj-j6#
z^b@g11=Ed~%n(L%2)33VeSDeIJEYoelhiD}k<%41mPl(OY+8gR)iN5OD>|YqnbX_H
zVKu~ZV=R4$O^-2GfYzxHEs0<rLo74Qm{m)chnbJlrQ?{_5G#nW+#!}7V<iDr-oXM9
zhS?_t=rUzELbN3fTIh<?S4fy;&<De4V~{3qV(D~8m^C?Lrk*gTFGl6CUxlrn9#|bL
zlhfD0vp7OO#4<2S6?w}KDXh*CtAi0ve;AFKF047?rnfa6BXYsr&%jFpr#~m+^xPS_
zPXT%8xa>x+tz==4=ftOTZ@W)tF}+A+*b(*bDvS3fTSyixE`gWG!x-E~ygOJ@J)^bs
z0E8}1--j@VThB08Eqx3u#_0#*;liREUAX8~)q{l%^ljC}$Ku}$i}SyUw#DhEFrOjK
zbL*KEpbvw~IsH$OR#cGIptp$5P<lhGENZyr#(*;2XGB;Qw+^%1TKWgD^65TfoK=Al
zFlYIsH_63nK4geDidydY7zn;&F!OWkI-40`JV393o5<-fxE^rnM+0DUx?gEYKepOc
zTTO_a#U0kAfiMP5zbh^k&vv~FNhW<<cuQuveyiGtRQsZ8A4YqIh?Zo{-iTcoliLz$
z;zlH=^Xtsr!7}8g{nY@DX8L{cLP?(MZPk84{JNwxdTs!-IBEpwxdC&fp<8#xTWjO3
zFUMQW@z&;et0Ug(jJN)Oe@#+vqw4tocF4H7!N=09QI?Hl&*J7>AWX2H`K%5)jwoUG
z95ZB6JP=O`icCwVo5DJiX>M4=inGO@(jC_5z&M-D>2rdXby{bz5`IqqN$e<F<v%@O
zE;KkjgJm&2$8-+pvxWYv_^_<VI)#w0L9&Rv^70h^A~R9qPGA(%IDJ!u%JZ$`P{0QL
znb=jHmHRXRHt@K;AJhhZ3aqs<MNX7gNCydU@B|#7lKxU$F89xDW~ujLQZLBlj&DzW
zgwhM5q@tqWpzZf}MocC~J<G0VnE_dE4%ofFFLqRvdh{tpe=nY{sPV)g!!SQK#>KQi
zrN|4cne+957`mZ<!1!|cyJ$AxElV*r%wDK_=zkmHY++G!4**i>Pf8J~gfjLuu-u$}
z0aiY@##tWrT7V9Liy2RVn}U4i{2Zr)m|hAUG$X9|I!mbqhG$N{3dT%nIpaF>1n9(W
z)x{9FULK}j>>ig&dz8}JxYp;k)?YhXf3&s!W~!?jw$eUZ34{0rr~kDZ)tA$6n4+(;
zG*RCmXv`ERDl4tu!6JpzgW^(UMXNrH>Gw>7rF-6E)<%S;9>H-PLz~mLpq)scg!^gr
z&JiG4r~^MR<rxrW{&!`u`URL-oF0XuTNbxbdJY_<{!^m6DsM^p9<+z}*BY3611q2r
zWU9UL&`1fxAOSgS(rsZnJ*?}Lz6j8N7H6s|te4;q;eJ)zsJcIVYBvfT_9nVR(L%d}
z{?P94b+9tH<zu{qK8rx$uo?pkRk5BW*V2>rINva1I3z3-Cyd1M(G$=_xqnlfm^U}~
zY3O+9&tVm>_L7C^jf;=wHCo>XKq~!Ogl<`Aeb2VMARf8pmi31rft%l&5l#=;tMD$|
za4wH?`nWB94;-_>#6?mbJo@@W-^U81dR|mVrODS0H#7+3gh;vd2T8Z%s$-HpxJ`F4
z@ye}tM0?t{lFPV&b@y!E7HMqhYVK)kY-x`)lRRklPPqe-2f+GDcUyBr-HNvKl9OQc
zwD-10$VId^Z`&Mc?Cye}UNRj$G`F?ckhB2xwm0{*ZfflAY;J9C>1-!?xVJ}o+8%7&
zvAL(6tN@at_QsaZuGTGNKX7|bb8mZN=jLtg<W0by_N`spwcMAW^>ID3bvA(2+ts<f
zog70ef_qzUCx%M$nHZbD-NbxXFQ_TiUv4)rXZh$$>MVJ^$D?n(Er$BsTi|u;yItY%
zaHhDnz#G*Ux>s!rqHl5M9jq@-b<Q`7z7WWJtbFtlf5wJHAINVzSf8qIrrHc$O#fv2
zYlwduXa~Av{TTC>kIvJJHjLks<;7V(IvwssROO>LjxbzV;@ZM|dCB!wXGZmRCjAR2
zG1FX+*HVz-a?|xe`|fPsqnU0uZPLupBxZ|dhBY(MP4(B2*$Czdkdf@B`V%TacEU!*
z6V-*L_lP)Koh?W7LG=<`yG2ROkL0cUe9fkm_{u=tQ<W(~i}Dw3!8+Puu#gmlB#}?>
zKM$<=c<ZH`iLW;Eb1>9&GTii@pg6WDlcl<8Y*hSYQ3*?P)2e61XNzX!Om|cLX=LWZ
z<p|7-Oen4vfyKE|vk1J0BrnTN^(T;}JCb|E2$ey_$Z?y)0|zC}mAwM(lAmHWBG%+x
zWQ1y^MR5`=<j0FqtSyv%iG%vq8Tbw~G~BsfswzaR$(zs!g`{MmJ7M_h@u+f9tz6)@
zjN?%?2#v2DkIJthqgu|0Sd+J|5!xmtcg3f%Uiyf}=b<36Chu+|6p<#aag#PZ57ntc
z=*0Pwmiylb4N8kHIrFcpmb3ucwLgyFtxrv&8?vYj<WA*ILPC;t`ivlbjL-pT)~B2#
z4FB6izjCTDqH%4a|EQGrufVPW{^>-&a=c6G1CLJhE6*CgHqn0=5<}xN6aCTS(t&3D
z%S6AdiE%tO(f_=}yZ_SeU}U2IC5Z=|4o*+>zY@nJS%0AVWGA7YO34{DbR7+ah&8Dq
zVEse?Ar(jCAscl}b{&&$H0o1XrjU%7n&(fXCfqq6=CYm`q4Uz)JJOp9`8#T;SO8^l
z(LsGGE<jP~U~&O6LYJk3EAio6nd0EXDGn4O(<T=zBlMZHPc@`s3i?$mW<#%Dd7qL3
z?zFeBjY+D$gvd%~gg6SOG0T7xJBwy%D|;@pHS9~0igCCz^(G{#lZ&Mh%9Em?fu8MD
zUKZ6(>||c1VPB!tT(05HvMF$T)f5<6a1)YLU5;e{jL>2!+N^q1rQiYOk|ane-%3RB
zl6R^D2$zosv*@(NiMO$$>@{gi@zX{MBc{VzlZIbA=1+mC0pnEV(#6I~c?0-gr~jXw
z{Jrh%ZKQ`pwsudw0I0*d7f0<Du{ZduD1PuEeozufK3D}1kGExEMj{Xkgx_08A}ASz
zAAX43^B5(`0O6M=k^@3vATvQt1q<`uIG<Tv&|TU7@$H9p`BERHy;mNcP5<uX)w;fh
zPp5yf=IHz{_C;S>@T0`Dg@=}t*G?DYoO^zE=*N%zZ1<+`EF;DLurG1n@>Sl4`cv~R
z@4oNO2cidey-+;w`XBFFJox!@Cdqr=B(>ix`^OK_PDXpi`gaNgFW&FH^Y{MNk6Mep
zO_)hHXb=<w9RbNi9|4VlE`Y8XZ5S$6%M0>@<QfM->p)GQZqOho208*d2^s;7fi8fq
zfe4OdFUSw70tG?qKx!92{P!*~vOGh)R_7HRE4-!Zm;n0-ROF+!C*Jd%pIB8Y0YAz`
za79L`I)?zaIqIr#0FTN=!K11*-W>^Iur4D<of?2w9rZ!X5`W~e1Tj{ZAr@i~87sUV
zbu55AKS4Cr6$)PG^{CPX))6KyK=b+KUQt-*%~7QV><oKL5P6}H4p$Q4t;;A?g#$3;
ah*kaq|Hi?pmIGf(5W%{PQ+rnw82<yv&0NO-

delta 5532
zcmZWt33L=i8m{h|>gkzWlL?SJObFy6nS|3o#wCKlBOnh@hXjO}zytzWh{=eUK!!_K
z7LW`js4Qr7pU)LRaq);;f+CA9LRb-R!CluyIm95iJkjh|)!iYyt@r-v{{E}}s`~$`
z>S=FLo?oN1WV>>n)>j{Ra?l<7riP~JqyFOz7xi`YCWKsyC1i3qP^%P%!@c+c)fPUV
z=Pa=kqCnV~#rr5@9J{>+OyKt^V;v_=RKyP|W7Wt4?o=nLZ3TRqIyR!vP$aGMwQ#rx
z+zn6)d579ZvGJZXPdCLnzosTD8V}rHdH9nwS+VoiXn#kMsiuXOXK|O!<18^5Q=a6*
zZ6gxe=W8N3;u1e-=JPflwiPCxF@-RZ&0{>C@5ev0-QqB%?l_*r#<<;=4duT}cZ9eH
zg~MsQg?VDX{K=4T!<u}_?_*i~EK6|LT`?rfOq;qP!lqF3#9q2;NTy@*M7zWfvTVLu
zi+7Lz&5-<T2*~)~37dA!;~v>*ND@>-G;)NHc<i3oX-cgeWgayo)3{>K<4f&v?uTuL
zq_64i;oF7H0lUY&&6Ip<O14RfOZT`}vYTyIj^4FAZohqlOLq@9Czrt}#z9C?Ay0Cp
zg*<V_Qf3LZlaNWK+8`6(ZsKAS*R`oKWyYHL(s~2mX~~PIl+O?tbJv<-_^%Nd-TF*_
ziwyk`8EG;eGz})X4TFbGd?wn!YfW63W8f_&ZuJ=W1%WYuWs8le-f7C~q73<d6T4yz
z+%EM)NULWIgHxtLiEb!-V>!SAh$QGRu?LkT@HG=#MHB(181W@@MpI1e$u;ydOx$YL
zReynp;HRX&p)k}`SmrTsiHXmc5l<8tBP=Q8PWM;*f_u!aQE~es`Mvs(4W1me#LoMB
z9#>2BU57kXs#+JtvolV|Tho`oROi3T%NMB{QIw8op4PX2j5QTBUSW3UD!$X3Xb)5~
zmqt_g;=Z?rtd40vA)lbpvTEj}*+CXn$|8JB^$G^nXikthwKCRI3oupN&FtEAjovL(
z``=Jyx;96ncU7|pnipizr7Y6Ns8=xT8qE))(-s!f!t7ppXEkFQ^#<9zNH}G?>69`S
zsnLQU>jj-2Ev&bf^{HlkOIZfIc<E%RUl@c^8J)D7#lv42>opaT?M6H^SWntmCIZuF
zRGErwRft2i7Lg9WG4zqu%%;&1{LReN#1awy0dgaL3J!*PkpGxjJj2RSdXz|WjlL2R
z2FJS_2o@~b!Hd8^Fn&C%S!5}rKKe3*82CRROw#o2%<iKvfrWv8$X91&C0k`lKaoA?
zeKh)<?Ba96uNP#c{TV>l=vS~$752%cO!v}f!PPW+n!B>o-PTa8e5Bv<+q26Dt~D&L
zz%oJ8pJK^Ax(2K?dWD=~g<yEqK5pSmaNQccO8D{Ys?n<q*T2Hdqv;*2caUjbx)R(7
zjs6C%6I{9?1hz&yrIzqxs4X|tmhnY7)%vyOGQ><D;oszB*ne)WX7O}2zc)8EQqv01
zon-v+2IGoktN~+4Mh%NX3PcAP^DzhJvxnBf9M#ARq}GLI96yxvw%io^Ir+Ykf1aB=
z`)o7D@`U1L{nUIn1zI6dUm(_F1=D;iPCvpDwF#IGwV#{C!Fwrl>(%sI1d0XRsvw)_
z9PzGukViBLsZIkTrGT-BX=VJ;oJ4NRdqDrB`4r2*Qt_2}wff0sF;{d4|2c1L!Lep_
zsG{19?6WGI?ot%g<qnJAYF0jdgU`&*(%-?*$7yswUzeX3jqdhn^Z;Ut7HN1SKTUrN
za%9Xq{9=AW@?HQ0^R6NnNM_U?u*PfjFi-d9M<cgk-v)cs_j`PX*VDU-#adNTQ7$(I
zRED)-(_?&#H$Q#5;r1h?MI>q|ODtvaUQwnm8l9iw-+ObNb><#PKjmo!Mb2j-LzJhL
zQ+#<r0bgG*PT$hpBIfQ}ex{&@{RzmO^eq3SAUm`P@5tnHh&x$ivhJfB!E$KyJXmR(
zeu|}FmA&*aa52CO;KrbyH0@)JZoqJ2=tZ!yJ6Mbl7>+gi0~o!9Woid=dTH3`;u5$n
z>=7+kBq()ArSV-_j~ZH+O|5l?)|H!Gtud6Y8cGP_6J#=iz%pD@_=UpU2<v>JzbU-W
zfCBy6(rUzubT1!}Kf^i;=z3LQJ)J9=I)~YJFdg}O9(ob<F}2&~C|Ib#jp`{3yo`Ci
z5!=K$FcUPo35pJ}tsJ4>gM*@boPReUrAS*<&K%QNI=vrtVXQ7>(PdDzp<-0Ju#Co)
zS&MBQJ@iFBYGA(J4o{fkSNP(AGt2(A6nlzBccUY06nL+uhmD^0fYnRW-At>d?=CGv
zQPRC&VIwMKQ9gReh;X0Ug1uPBhJZ+PH+=`1*kAW^@1TCkZ$ZaN55lVJED<aW>}|ea
zP=($GfZBPFe>7;Q{+eNVl*bJoIPR~Iz|C<rh(IC0%(ughhC*gOy3>%J07osic0lXI
zr6)1#s&jmK`E<zm<AeVa*#~E;N><@o_OXqRA2K>rS6{OrSW&gGvVL|&RUlYN?9jNs
zZgyobP*GpGV15G`21b3LArK_<@m8~-CRkCo5JnATD{$rP*#;!%fEogo^|R(y)YVqb
zs;sIFkmt}*u>Qe{2WsjA<O2X92~<?oE}S)=B;yJ=E>K_D5U8lFSr8!8f$IamU%1Fp
z_!Ah0LFIzkhR)YuH7u-M6d?U<!gb|>hFXM5HraT?&_yZ+b#7=;u60EbR~FH%D^4GA
z8AP-0NL30x4ifXgQOPhwhno<Zb%n?bhvP%nrBF<mA++ug?@CoDo0k=Fu@TKWXwyw>
z9i4{^F|iK14@_*GRx2Y7#xjp_8N#hlw0We}V=yiw1ktSh%5rFJMQ>m}M6>Ggp9UmW
z3C5ZMStT$PGbx&tEJ+wG=S6AB*5qx#eP1nw#t4vNcTn7*j}|5Qt&6pKmnCyJsP!qM
z`nxf$tFBsRF(Vw*x?rmnV7?4eq8xNmA@>a%q+VLj?;DmVZgy*j{SG%festKY;$pXA
z_}rMTRe_1~Of<hXJWc)3#uJNElC3q_h7UhgESQYAr-S+m`K01_=5o-wHeOqt!`u$)
zdWLT<PECq)Q0wNbreSIhh)8-tv5222P7djoPqEI5KMNX4f<p~AZx%RFbO5wOT*?hZ
z^zNCU_=|)^W|u|QO%@Uny?d@G{?Wps*suuU)pwJLL`3hNPKtlLFu9|vlZiK3NQ6$z
z>$ylc#XnV8lt*G9mGVtk04=HMLh#nO8T}Jwn(1z_9Hm4gs(ZdF{yJecM>?^Ek9Iam
zrxH7C;Y*!O%Y=OHcBCfo`<+d4_G+YGTlh$4lk{xi!<|h}iGG36KMW3aHa#R9SPE}<
zHvOSHZtrYbC-A&OMh6Evo4CO9%?|dX!!AssmU$pU2conT|1(1Jstnzl4T*@}>OucP
zQIwqG-zF5>x~8nnG+DAkxUo>9%w&l$fs5rh-xQi~mjOMzh=Nu8uM2O-g*Q3n$7QHk
z0BO-~qQ;P%7zv5qy}}j$LE+%Du5doP$-(EA18FZ2iR!*1DE?!@zEkLlb(ae!QM6ch
z5h79K`~w>cFECn6_l-pHe<|F!6lfVG5i7L-m;6gex?tnk8<50w-+UDRWg*JD;UmAx
z$4nW27jFDjXnHO2VjOhc;3E4?Fc^6Q5?9yuCWhvZ6{5QpKE33-%)vxWpwYu4irF}n
zNQ@UTyR{ONm6bRm5ueIlva9K~;Y#ZNos!*8NdC*nFG4s5NE*o8#^s7DL<5Hqaq5Ua
zPw;mD!S}4x!B@Wgg9jhiq$emIlmJ4nBpH+ny6~Dxu7ggTj=yE_Z;$L9@@mAfd((%e
z%nNN^67{-DQb2Pz-bQ|yl^t?DGIFeIbyIB0_e*C?%-lMX(5H7^+?_q3<Kx$t`qS$Q
z0&hHaa_KLVhcBCW&NIumuK$}oE{}Vm;rynI!~4^dMm3iI<lQsV_2aEum!wYlI&%W1
z`yNm&XbEU7XbWgNXfNm}=nK$!&~;Fx8X_bGbDIb9fhK_N0o8(*fYySxfVPA7f{uc|
z0G$V22SwsAN&!v5sNs){0f{D#AAxfPKx+jFEdDwWP1Yu!lS5*T(d3SZ=MU!TCKnty
zNz6amMUb$ag-%5i$Cbc!0-%XAP2lMQpy>btzi;X%m^jJwFE?$-)qRwY8<QDo#=Foz
z4iZgP8=k$5OdxXC0nRbwmHRPpx_Nq^z`L*)Gb`G4ka&H`?0>b1ui`11+<@_1XxN8{
z++V<W+U!7{T)^dKz_R9mUoZob=M?Z7Q!b8b(cwcN(PW+D88G$ZAQbZdngPk}2>7(@
KZ&&`<4CQ~6z`?fw

diff --git a/router/Makefile b/router/Makefile
old mode 100755
new mode 100644
diff --git a/router/ap_int.h b/router/ap_int.h
old mode 100755
new mode 100644
diff --git a/router/etc/ap_fixed_sim.h b/router/etc/ap_fixed_sim.h
old mode 100755
new mode 100644
diff --git a/router/etc/ap_int_sim.h b/router/etc/ap_int_sim.h
old mode 100755
new mode 100644
diff --git a/router/etc/ap_private.h b/router/etc/ap_private.h
old mode 100755
new mode 100644
diff --git a/solver.c b/solver.c
index ff92493..e3b4893 100644
--- a/solver.c
+++ b/solver.c
@@ -1,16 +1,17 @@
 /* solver.c */
-/* Last Change: 2019/07/23 (Tue) 17:13:18. */
+/* Last Change: 2019/07/25 (Thu) 14:03:43. */
 
 #include<stdio.h>
 #include<limits.h>
+#include<stdlib.h>
+#include<time.h>
 #include"solver.h"
 #include"io.h"
-/* #include<stdlib.h> */
 /* #include<string.h> */
 /* #include<math.h> */
-/* #include<time.h> */
-#define DEBUG 0
-#define abs(a) ((a) < 0 ? - (a) : (a))
+#define DEBUG 1
+#define ABS(a) ((a) < 0 ? - (a) : (a))
+#define MAX(a, b) ((a) > (b) ? (a) : (b))
 
 /* short int connected[MAXLINE+1]={0}; //if line connected:2, if one end:1, otherwize:0 */
 short int board_beta[MAXSIZE][MAXSIZE]; //big board data
@@ -20,13 +21,30 @@ short int point[MAXBLOCK+1]; //XYZ
 //X: search priority, Y: number of edges in board, Z: number of edges in block
 short int first_block=1;
 short int costrank[1+MAXBLOCK*MAXBLOCK][2]; //ranking of cost: block being in (costrank[ranking][0],costrank[ranking][0])
+short int rdm[MAXBLOCK+1]; //random no
+short int attempts=1;
 
 void print_board_beta(void){
 	short int i,j;
+	short int minw=MAXSIZE-1,maxw=0,minh=MAXSIZE-1,maxh=0;
 	for(i=0;i<MAXSIZE;i++){
 		for(j=0;j<MAXSIZE;j++){
-			printf("%d",board_beta[j][i]);
-			if(j==MAXSIZE-1)
+			if(board_beta[i][j]){
+				if(i>maxw)
+					maxw=i;
+				if(i<minw)
+					minw=i;
+				if(j>maxh)
+					maxh=j;
+				if(j<minh)
+					minh=j;
+			}
+		}
+	}
+	for(i=minh;i<=maxh;i++){
+		for(j=minw;j<=maxw;j++){
+			printf("%6d",board_beta[j][i]);
+			if(j==maxw)
 				printf("\n");
 			else
 				printf(",");
@@ -35,33 +53,48 @@ void print_board_beta(void){
 	return;
 }
 
-void update_ranks(void){
-	short int i,j;
+void shuffle_random(short int seed){ //edit this to randomly place blocks
+	short int i,r,tmp;
+	srand(seed);
+	for(i=1;i<=blocks;i++)
+		rdm[i]=i;
 	for(i=1;i<=blocks;i++){
-		rank[i]=1;
+		r=rand()%blocks+1;
+		tmp=rdm[i];
+		rdm[i]=rdm[r];
+		rdm[r]=tmp;
 	}
+	return;
+}
+
+void update_ranks(void){
+	short int i,j,blocksrank[MAXBLOCK+1];
 	for(i=1;i<=blocks;i++){
-		for(j=1;j<=blocks;j++)
-			if(point[i]<point[j])
-				rank[i]++;
-			else if(point[i]==point[j] && i>j)
-				rank[i]++;
+		blocksrank[i]=1;
 	}
-	if(DEBUG){
-		for(i=1;i<=blocks;i++){
-			printf("%d ",rank[i]);
+	for(i=1;i<=blocks;i++){
+		for(j=1;j<=blocks;j++){
+			if(point[rdm[i]]<point[rdm[j]])
+				blocksrank[rdm[i]]++;
+			else if(point[rdm[i]]==point[rdm[j]] && i>j)
+				blocksrank[rdm[i]]++;
+			/* else */
+			/* printf("%d %d no\n",rdm[i],rdm[j]); */
 		}
-		printf("\n");
 	}
+	for(i=1;i<=blocks;i++)
+		rank[blocksrank[i]]=i;
 	return;
 }
 
 void reset(void){ //excluding init_points
 	short int i,j;
-	for(i=0;i<MAXSIZE;i++)
+	for(i=0;i<MAXSIZE;i++) //clear board
 		for(j=0;j<MAXSIZE;j++)
 			board_beta[i][j]=0;
-	for(i=1;i<=blocks;i++){
+	for(i=1;i<=blocks;i++){ //clear blocks' places
+		if(point[i]<0)
+			point[i]=-point[i];
 		block_data[i][0][0]=-1;
 		block_data[i][0][1]=-1;
 		point[i]-=((point[i]/10)%10)*10; //reset Y
@@ -80,25 +113,38 @@ void init_points(void){ //use only once
 		point[i]=0;
 		for(j=1;j<=4;j++)
 			if(block_data[i][j][2]>0) //if edge exists
-				point[i]++;
+				point[i]+=2;
+		if(point[i]==0)
+			point[i]++;
 	}
 	update_ranks();
 	return;
 }
 
-void add_point(short int blockid,short int lineid){ //use only once
-	short int i,j;
+void add_point(short int blockid){
+	short int i,j,k;
 	for(i=1;i<=blocks;i++)
-		if(i!=blockid)
+		if(i!=blockid&&point[i]>0)
 			for(j=1;j<=4;j++)
-				if(block_data[i][j][2]==lineid) //if edge exists
-					point[i]+=10;
+				for(k=1;k<=4;k++)
+					if(block_data[i][j][2]==block_data[blockid][k][2]&&block_data[blockid][k][2]>0)
+						point[i]+=10;
+	update_ranks();
+	return;
+}
+
+void sub_point(short int blockid){
+	short int i,j,k;
+	for(i=1;i<=blocks;i++)
+		if(i!=blockid&&point[i]>0)
+			for(j=1;j<=4;j++)
+				for(k=1;k<=4;k++)
+					if(block_data[i][j][2]==block_data[blockid][k][2]&&block_data[blockid][k][2]>0)
+						point[i]+=10;
+	update_ranks();
 	return;
 }
 
-/* short int random(short int id){ //edit this to randomly place blocks */
-/* return id; */
-/* } */
 
 short int search_placable(short int blockid){ //calc the cost (sum of Euclidean distance of lines), returns the number of places
 	short int cost[MAXSIZE][MAXSIZE][2]; //cost[x][y][0]:cost, cost[x][y][1]:rank
@@ -116,7 +162,7 @@ short int search_placable(short int blockid){ //calc the cost (sum of Euclidean
 			for(j=0;j<MAXSIZE;j++)
 				if(board_beta[i][j]>0 && board_beta[i][j]==block_data[blockid][k][2]){
 					place[k][0]=i-block_data[blockid][k][0];
-					place[k][1]=i-block_data[blockid][k][1];
+					place[k][1]=j-block_data[blockid][k][1];
 				}
 		}
 		/* printf("%d, %d\n",place[k][0],place[k][1]); */
@@ -140,23 +186,19 @@ short int search_placable(short int blockid){ //calc the cost (sum of Euclidean
 				cost[i][j][0]=-1;
 			else{
 				cost[i][j][0]=0;
-				/* printf("%d, %d\n",abs(i-place[k][0]),abs(j-place[k][1])); */
-				/* printf("%d\n",abs(i-place[k][0])+abs(j-place[k][1])); */
 				for(k=1;k<=4;k++){
 					if(place[k][0]!=SHRT_MIN)
-						cost[i][j][0]+=abs(i-place[k][0]);
+						cost[i][j][0]+=ABS(i-place[k][0]);
 					if(place[k][1]!=SHRT_MIN)
-						cost[i][j][0]+=abs(j-place[k][1]);
+						cost[i][j][0]+=ABS(j-place[k][1]);
 				}
 				if(cost[i][j][0]==0)
-					cost[i][j][0]=abs(i-MAXSIZE/2)+abs(j-MAXSIZE/2);
-				/* cost[i][j][0]+=(short int)abs((int)(i-place[k][0]))+(short int)abs((int)(j-place[k][1])); */
+					cost[i][j][0]=MAX(MAX(ABS(i-MAXSIZE/2),ABS(j-MAXSIZE/2)),MAX(ABS(i+blockw-MAXSIZE/2),ABS(j+blockh-MAXSIZE/2)));//*100+ABS(i-MAXSIZE/2)+ABS(j-MAXSIZE/2)+ABS(i+blockw-MAXSIZE/2)+ABS(j+blockh-MAXSIZE/2);
 				cost[i][j][0]=10000-cost[i][j][0];
 				/* printf("%d\n",cost[i][j][0]); */
 			}
 		}
 	}
-	//ok
 	/* calc costrank */
 	for(i=0;i<MAXSIZE;i++)
 		for(j=0;j<MAXSIZE;j++)
@@ -177,7 +219,212 @@ short int search_placable(short int blockid){ //calc the cost (sum of Euclidean
 	return index-1;
 }
 
-short int try_wire(short int blockid){
+void erase_line(short int lineid){
+	short int i,j;
+	if(lineid==0)
+		return;
+	for(i=0;i<MAXSIZE;i++)
+		for(j=0;j<MAXSIZE;j++)
+			if(board_beta[i][j]==-lineid)
+				board_beta[i][j]=0;
+	if(DEBUG)
+		printf("#%d     Line %d disconnected\n",attempts,lineid);
+	return;
+}
+
+
+short int avail[MAXSIZE][MAXSIZE]={}; //start=3,path=2,avail=1,nonavail=0,goal=-1
+short int goalx,goaly,goalz;
+
+
+void connect(short int lineid){ //connect line
+	short int i,j;
+	for(i=0;i<MAXSIZE;i++)
+		for(j=0;j<MAXSIZE;j++)
+			if(avail[i][j]==2){
+				if(board_beta[i][j]==0)
+					board_beta[i][j]=-lineid;
+				else{
+					printf("something wrong");
+					return;
+				}
+			}
+	if(DEBUG)
+		printf("#%d     Line %d connected\n",attempts,lineid);
+	return;
+}
+
+short int available(short int nowx,short int nowy, short int start){ //return 1 when (nowx,nowy) can be connected to goal
+	if(avail[nowy][nowx]==-1) //goal
+		return 1;
+	if(avail[nowy][nowx]!=1&&start==0)
+		return 0;
+	short int isbranch=-1;
+	if(nowx>0&&avail[nowy][nowx-1]>=2)
+		isbranch++;
+	if(nowy>0&&avail[nowy-1][nowx]>=2)
+		isbranch++;
+	if(nowx<MAXSIZE-1&&avail[nowy][nowx+1]>=2)
+		isbranch++;
+	if(nowy<MAXSIZE-1&&avail[nowy+1][nowx]>=2)
+		isbranch++;
+	if(isbranch>0){
+		avail[nowy][nowx]=1;
+		return 0;
+	}
+	if(avail[nowy][nowx]==1)
+		avail[nowy][nowx]=2;
+	short int i,src=0;
+	short int searchorder[4]; //x+-,y+-
+	/* for(i=0;i<4;i++) */
+	/* searchorder[i]=-1; */
+	if(nowx>goalx){
+		searchorder[src]=0;
+		src++;
+	}else
+		searchorder[3+src]=0;
+	if(nowy>goaly){
+		searchorder[src]=1;
+		src++;
+	}else
+		searchorder[2+src]=1;
+	if(nowx<goalx){
+		searchorder[src]=2;
+		src++;
+	}else
+		searchorder[1+src]=2;
+	searchorder[src]=3;
+	if(nowy<goaly)
+		src++;
+	/* shuffle(searchorder,0,src); */
+	/* shuffle(searchorder,src,4); */
+	/* printf("1: "); */
+	/* for(i=0;i<4;i++) */
+	/* 	printf("%d ",searchorder[i]); */
+	/* printf("\n"); */
+	short int j,t;
+	for(i=0;i<src;i++){
+		j=rand()%(src);
+		t=searchorder[i];
+		searchorder[i]=searchorder[j];
+		searchorder[j]=t;
+	}
+	for(i=src;i<4;i++){
+		j=src+rand()%(4-src);
+		t=searchorder[i];
+		searchorder[i]=searchorder[j];
+		searchorder[j]=t;
+	}
+	/* printf("2: "); */
+	/* for(i=0;i<4;i++) */
+	/* 	printf("%d ",searchorder[i]); */
+	/* printf("\n"); */
+	for(i=0;i<4;i++)
+		switch(searchorder[i]){
+			case 0:
+				if(nowx>0&&available(nowx-1,nowy,0))
+					return 1;
+				break;
+			case 1:
+				if(nowy>0&&available(nowx,nowy-1,0))
+					return 1;
+				break;
+			case 2:
+				if(nowx<MAXSIZE-1&&available(nowx+1,nowy,0))
+					return 1;
+				break;
+			case 3:
+				if(nowy<MAXSIZE-1&&available(nowx,nowy+1,0))
+					return 1;
+				break;
+			default:
+				break;
+		}
+	if(avail[nowy][nowx]==2)
+		avail[nowy][nowx]=1;
+	return 0;
+}
+
+short int connectable(short int linea,short int lineb){ //return 1 if linea can be connected when lineb is deleted
+	short int startx=-1,starty=-1,notfound=1;
+	short int i,j;
+	for(i=0;i<MAXSIZE;i++)
+		for(j=0;j<MAXSIZE;j++)
+			if(board_beta[i][j]==linea){
+				if(notfound){ //start
+					starty=i;
+					startx=j;
+					avail[i][j]=3;
+					notfound=0;
+					/* printf("1\n"); */
+				}else{ //goal
+					goaly=i;
+					goalx=j;
+					avail[i][j]=-1;
+					notfound=2;
+					/* printf("2\n"); */
+				}
+			}else if(board_beta[i][j]==0||board_beta[i][j]==-lineb||board_beta[i][j]==-linea){
+				avail[i][j]=1;
+			}else{
+				avail[i][j]=0;
+			}
+	if(startx==-1||starty==-1||notfound!=2){
+		printf("Error: Line %d\n",linea);
+		return 0;
+	}
+	return available(startx,starty,1);
+}
+
+short int try_wires(short int blockid){
+	if(block_data[blockid][2][2]==-1){ //if monomino
+		return 1;
+	}
+	if(DEBUG)
+		printf("#%d   try wire: block %d\n",attempts,blockid);
+	short int line[4],lines=0,i,j,k,found;
+	for(i=1;i<=4;i++)
+		if(block_data[blockid][i][2]>0){
+			found=0;
+			for(j=0;j<MAXSIZE&&found<=1;j++)
+				for(k=0;k<MAXSIZE&&found<=1;k++)
+					if(board_beta[j][k]==block_data[blockid][i][2])
+						found++;
+			if(found==2){
+				line[lines]=block_data[blockid][i][2];
+				printf("#%d   Block %d requires line %d\n",attempts,blockid,block_data[blockid][i][2]);
+				lines++;
+			}
+		}
+	for(i=0;i<lines;i++){
+		if(connectable(line[i],0))
+			connect(line[i]);
+		else if(i==0)
+			return 0;
+		else
+			for(j=0;j<i;j++){
+				if(connectable(line[i],line[j])){
+					erase_line(line[j]);
+					connect(line[i]);
+					if(connectable(line[j],0)){
+						connect(line[j]);
+						break;
+					}else{
+						erase_line(line[i]);
+						connect(line[j]);
+					}
+				}
+				if(j==i-1){
+					for(j=0;j<i;j++)
+						erase_line(line[j]);
+					return 0;
+				}
+			}
+	}
+	if(DEBUG){
+		printf("#%d   Block %d placed @(%d,%d)\n",attempts,blockid,block_data[blockid][0][0],block_data[blockid][0][1]);
+		print_board_beta();
+	}
 	return 1;
 }
 
@@ -188,7 +435,7 @@ void place_block(short int blockid,short int x,short int y){
 	block_data[blockid][0][1]=y;
 	if(block_data[blockid][1][2]>0){
 		board_beta[x+block_data[blockid][1][0]] [y+block_data[blockid][1][1]]=block_data[blockid][1][2];
-		add_point(blockid,block_data[blockid][1][2]);
+		update_ranks();
 	}else{
 		board_beta[x+block_data[blockid][1][0]] [y+block_data[blockid][1][1]]=SHRT_MIN;
 	}
@@ -196,27 +443,18 @@ void place_block(short int blockid,short int x,short int y){
 		for(i=2;i<=4;i++)
 			if(block_data[blockid][i][2]>0){
 				board_beta[x+block_data[blockid][i][0]] [y+block_data[blockid][i][1]]=block_data[blockid][i][2];
-				add_point(blockid,block_data[blockid][i][2]);
+				update_ranks();
 			}else{
 				board_beta[x+block_data[blockid][i][0]] [y+block_data[blockid][i][1]]=SHRT_MIN;
 			}
 	}
-	return;
-}
-
-void erase_line(short int lineid){
-	short int i,j;
-	if(lineid==0)
-		return;
-	for(i=0;i<MAXSIZE;i++)
-		for(j=0;j<MAXSIZE;j++)
-			if(board_beta[i][j]==-lineid)
-				board_beta[i][j]=0;
+	add_point(blockid);
 	return;
 }
 
 void remove_block(short int blockid){ //not for monomino
-	short int i,j;
+	if(point[blockid]<0)
+		point[blockid]=-point[blockid];
 	board_beta[block_data[blockid][0][0]+block_data[blockid][1][0]] [block_data[blockid][0][1]+block_data[blockid][1][1]]=0;
 	erase_line(block_data[blockid][1][2]);
 	if(block_data[blockid][2][2]!=-1){ //if not monomino
@@ -229,66 +467,68 @@ void remove_block(short int blockid){ //not for monomino
 	}
 	block_data[blockid][0][0]=-1;
 	block_data[blockid][0][1]=-1;
-	for(i=1;i<=blocks;i++)
-		if(i!=blockid)
-			for(j=1;j<=4;j++){
-				if(block_data[i][j][2]>0){ //if block exists
-					if(block_data[i][j][2]==block_data[blockid][1][2]){ //if edge exists
-						point[i]-=10;
-					}else if(block_data[blockid][2][2]!=-1){ //if not monomino
-						if(block_data[i][j][2]==block_data[blockid][2][2]){ //if edge exists
-							point[i]-=10;
-						}
-						if(block_data[i][j][2]==block_data[blockid][3][2]){ //if edge exists
-							point[i]-=10;
-						}
-						if(block_data[i][j][2]==block_data[blockid][4][2]){ //if edge exists
-							point[i]-=10;
-						}
-					}
-				}
-			}
-	update_ranks();
+	sub_point(blockid);
 	return;
 }
 
 short int place_and_line(short int blockid){
 	short int i,j;
+	if(DEBUG){
+		printf("#%d   RANKS (rank: block, point)\n",attempts);
+		for(i=1;i<=blocks;i++){
+			printf("      %d: %d, %d\n",i,rank[i],point[rank[i]]);
+		}
+	}
 	if(first_block==1){
 		first_block--;
 		place_block(blockid,MAXSIZE/2,MAXSIZE/2);
+		point[blockid]=-point[blockid];
+		update_ranks();
+		if(DEBUG){
+			printf("#%d   Block %d placed @(%d,%d)\n",attempts,blockid,block_data[blockid][0][0],block_data[blockid][0][1]);
+			print_board_beta();
+		}
 		return 1;
 	}
 	j=search_placable(blockid);
 	for(i=1;i<=j;i++){
+		/* printf("place: block %d\n",blockid); */
 		place_block(blockid,costrank[i][0],costrank[i][1]);
-		if(try_wire(blockid))
+		if(try_wires(blockid)){
+			point[blockid]=-point[blockid];
+			update_ranks();
 			return 1;
+		}
 		remove_block(blockid);
 	}
 	return 0;
 }
 
-void solve(void){ //solver part
-	short int i, flag, in_process=1;
+void solve(short int seed){ //solver part
+	short int i, in_process=1;
+	srand(seed);
 	while(in_process){
-		flag=1;
-		for(i=1;i<=blocks;i++)
-			if(block_data[rank[i]][0][0]<0){ //not placed
-				if(!place_and_line(rank[i])){ //if not placable
+		if(DEBUG){
+			printf("\n#%d attempt\n",attempts);
+		}
+		while(1){
+			i=rank[1];
+			if(block_data[i][0][0]<0){ //not placed
+				if(!place_and_line(i)){ //if not placable
 					point[i]+=100;
-					if(point[i]>10000){ //no answer
-						printf("Too many attempts!\n");
+					if(point[i]>10000||attempts>=100){ //no answer
+						printf("Too many trials!\n");
 						in_process=0; //end solver
 						break;
 					}
+					shuffle_random(rand());
 					reset();
 					break; //solve from beginning
 				}
-				flag=0;
-			}
-		if(flag)
-			break;
+			}else
+				return;
+		}
+		attempts++;
 	}
 	return;
 }
@@ -339,9 +579,12 @@ void translate(void){ //translate bigboard to minimal board
 }
 
 void solver(void){
+	short int seed=time(NULL); //edit here
+	/* short int seed=1; //edit here */
+	shuffle_random(seed);
 	init_points();
 	reset();
-	solve();
+	solve(seed);
 	/* shape(); */
 	/* print_board_beta(); */
 	translate();
-- 
2.22.0